The use of relations, represented as tables, for documenting the requirements and behaviour of software is motivated and explained. A formal model of tabular expressions, defining the meaning of a large class of tabular forms, is presented. Finally, we discuss the transformation of tabular expressions from one form to another, and illustrate some useful transformations. 1 A Relational model of ...

UDDSketch is a recent algorithm for accurate tracking of quantiles in data streams, derived from the DDSketch algorithm. provides accuracy guarantees covering full range independently input distribution and greatly improves with regard to DDSketch. In this paper we show how compress fuse two or more streams (or datasets) by leveraging mergeability summaries. general, summaries on are said be me...

In this paper, we study quantum Ordered Binary Decision Diagrams(\(\mathrm {OBDD}\)) model; it is a restricted version of read-once branching programs, with respect to “width” complexity. It known that the maximal gap between deterministic and complexities exponential. But there are few examples functions such gap. We present new technique (“reordering”) for proving lower bounds upper OBDD an a...

Fabaceae are associated with a high antioxidant activity (AA) and total phenolic (TPC), flavonoid (TFC), selenium content (SeC). In this study, the aqueous extracts from ten species that medicinally used by Aucan Tribal Peoples Suriname (South America), were evaluated for AA using DPPH FRAP assay, TPC, TFC, SeC Folin-Ciocalteu’s, an AlCl3 colorimetric, azure B-based method. Associations between...

Background: An early treatment start with disease modifying therapies (DMT) and long-term adherence is crucial in the of people multiple sclerosis (PwMS) to prevent future disability. Objectives: To gain information on diagnostic process, decision making, regard DMT as well satisfaction PwMS Switzerland optimize management PwMS. Methods: A survey was conducted between June 2017 March 2018 six h...

The usage of internet’s becoming widespread and the rapid expansion its area use come with some negative consequences. One these consequences is internet addiction. Internet addiction an important risk factor for adolescents, especially in our country. In this context, objective study to determine relationships among addiction, parental acceptance-rejection perceptions, regulation emotions, psy...

Purpose This study aims to investigate the consequence of quality governance (QoG) in moderating effect healthcare spending on human development. Design/methodology/approach The authors employ a two-step Windmeijer finite sample-corrected system-generalized method moments (sys-GMM) estimation technique panel dataset 161 countries from 2005 2019. use expenditure as main explanatory variable and ...

Internet of Things (IoT) contributes to improve the quality life as it supports many applications, especially healthcare systems. Data generated from IoT devices is sent Cloud Computing (CC) for processing and storage, despite latency caused by distance. Because revolution in devices, data CC has been increasing. As a result, another problem added was increasing congestion on cloud network. Fog...

An Ad hoc network is a collection of mobile nodes forming a temporary network without the help of any centralized access point or existing infrastructure. In such an environment, routing protocols are required to transfer packets from source to destination as some mobile nodes can act as intermediate nodes to forward a packet to its destination, due to the limited range of each mobile node’s wi...

2. Vehicles can be designed to provide crash protection to the occu little or no penalty to the weight and cost of the vehicle. 3. Vehicle crashworthiness can be improved by providing the principles to designers and by emphasizing the importance of this design responsibility. Decisions and design choices can then be · and in cases where two or more comparable choices are possible, the in favor ...