On futures for streaming data in abs

Many modern distributed software applications require a continuous interaction between their components exploiting streaming data from the server to the client. The Abstract Behavioral Specification (ABS) language has been developed for the modeling and analysis of distributed systems. In ABS, concurrent objects communicate by calling each other’s methods asynchronously. Return values are communicated asynchronously too via the return statement and so-called futures. In this paper, we extend the basic ABS model of asynchronous method invocation and return in order to support the streaming of data. We introduce the notion of a “Future-based Data Stream” to extend the ABS. The application of this notion and its impact on performance are illustrated by means of a case study in the domain of social networks simulation

A high-level and scalable approach for generating scale-free graphs using active objects

The Barabasi-Albert model (BA) is designed to generate scale-free networks using the preferential attachment mechanism. In the preferential attachment (PA) model, new nodes are sequentially introduced to the network and they attach preferentially to existing nodes. PA is a classical model with a natural intuition, great explanatory power and a simple mechanism. Therefore, PA is widely-used for network generation. However the sequential mechanism used in the PA model makes it an inefficient algorithm. The existing parallel approaches, on the other hand, suffer from either changing the original model or explicit complex low-level synchronization mechanisms. In this paper we investigate a high-level Actor-based model of the parallel algorithm of network generation and its scalable multicore implementation in Haskell

A formal actor-based model for streaming the future

Asynchronous Actor-based programming has gained increasing attention as a model of concurrency and distribution. The Abstract Behavioral Specification (ABS) language is an actor-based programming language that has been developed for both the modeling and formal analysis of distributed systems. In ABS, actors are modeled as concurrent objects that communicate by asynchronous method calls. Return values are also communicated asynchronously via return statements and so-called futures. Many modern distributed software

Effects of the Dietary Approaches to Stop Hypertension (DASH) Eating Plan on Cardiovascular Risks Among Type 2 Diabetic Patients: A randomized crossover clinical trial

Objective: To determine the effects of the Dietary Approaches to Stop Hypertension (DASH) eating pattern on cardiometabolic risks in type 2 diabetic patients. Research design and methods: A randomized crossover clinical trial was undertaken in 31 type 2 diabetic patients. For 8 weeks, participants were randomly assigned to a control diet or the DASH eating pattern. Results: After following the DASH eating pattern, body weight (P = 0.007) and waist circumference (P = 0.002) reduced significantly. Fasting blood glucose levels and A1C decreased after adoption of the DASH diet (−29.4 ± 6.3 mg/dl; P = 0.04 and −1.7 ± 0.1%; P = 0.04, respectively). After the DASH diet, the mean change for HDL cholesterol levels was higher (4.3 ± 0.9 mg/dl; P = 0.001) and LDL cholesterol was reduced (−17.2 ± 3.5 mg/dl; P = 0.02). Additionally, DASH had beneficial effects on systolic (−13.6 ± 3.5 vs. −3.1 ± 2.7 mmHg; P = 0.02) and diastolic blood pressure (−9.5 ± 2.6 vs. −0.7 ± 3.3 mmHg; P = 0.04). Conclusions: Among diabetic patients, the DASH diet had beneficial effects on cardiometabolic risks

Deadlock detection for actor-based coroutines

The actor-based language studied in this paper features asynchronous method calls and supports coroutines which allow for the cooperative scheduling of the method invocations belonging to an actor. We model the local behavior of an actor as a well-structured transition system by means of predicate abstraction and derive the decidability of the occurrence of deadlocks caused by the coroutine mode of method execution

Histopathology and cholinergic assessment of Pterocarya fraxinifolia on chicken embryo

There are no reports of toxicological studies of Pterocarya fraxinifolia. The leaves are used for fishing, which also an anesthetic agent. Currently, many drugs utilized in anesthesia practice are modified cholinergic transmission and acetylcholine esterase inhibitors; these are parts of anaesthetic pharmacy. Therefore, cholinergic assessment was surveyed in chicken embryo, which Pterocarya fraxinifolia extractes were injected in 0.1, 1 and 10 mg concentration at day 4 of incubation. Serum and brain cholinesterase were analyzed on day 20 of incubation. The signs were not due to the changes of cholinesterase activity. In histopathology examination, massive necrosis was observed in the spinal cord. Other tissues such as heart, kidneys, skeletal bones and muscles, trachea and lungs, digestive system and endocrine glands were completely developed. This data suggests that the spinal cord is a target organ of the bioactive component of this plant

Defining trajectories of response in patients with psoriasis treated with biologic therapies

From Wiley via Jisc Publications RouterHistory: accepted 2021-04-03, pub-electronic 2021-06-04Article version: VoRPublication status: PublishedFunder: Medical Research Council; Id: http://dx.doi.org/10.13039/501100000265; Grant(s): MR/K006665/1, MR/L011808/1, MR/N00583X/1Summary: Background: The effectiveness and cost‐effectiveness of biologic therapies for psoriasis are significantly compromised by variable treatment responses. Thus, more precise management of psoriasis is needed. Objectives: To identify subgroups of patients with psoriasis treated with biologic therapies, based on changes in their disease activity over time, that may better inform patient management. Methods: We applied latent class mixed modelling to identify trajectory‐based patient subgroups from longitudinal, routine clinical data on disease severity, as measured by the Psoriasis Area and Severity Index (PASI), from 3546 patients in the British Association of Dermatologists Biologics and Immunomodulators Register, as well as in an independent cohort of 2889 patients pooled across four clinical trials. Results: We discovered four discrete classes of global response trajectories, each characterized in terms of time to response, size of effect and relapse. Each class was associated with differing clinical characteristics, e.g. body mass index, baseline PASI and prevalence of different manifestations. The results were verified in a second cohort of clinical trial participants, where similar trajectories following the initiation of biologic therapy were identified. Further, we found differential associations of the genetic marker HLA‐C*06:02 between our registry‐identified trajectories. Conclusions: These subgroups, defined by change in disease over time, may be indicative of distinct endotypes driven by different biological mechanisms and may help inform the management of patients with psoriasis. Future work will aim to further delineate these mechanisms by extensively characterizing the subgroups with additional molecular and pharmacological data

Food Composition of the Diet in Relation to Changes in Waist Circumference Adjusted for Body Mass Index

Dietary factors such as low energy density and low glycemic index were associated with a lower gain in abdominal adiposity. A better understanding of which food groups/items contribute to these associations is necessary.To ascertain the association of food groups/items consumption on prospective annual changes in "waist circumference for a given BMI" (WC(BMI)), a proxy for abdominal adiposity.We analyzed data from 48,631 men and women from 5 countries participating in the European Prospective Investigation into Cancer and Nutrition (EPIC) study. Anthropometric measurements were obtained at baseline and after a median follow-up time of 5.5 years. WC(BMI) was defined as the residuals of waist circumference regressed on BMI, and annual change in WC(BMI) (ΔWC(BMI), cm/y) was defined as the difference between residuals at follow-up and baseline, divided by follow-up time. The association between food groups/items and ΔWC(BMI) was modelled using centre-specific adjusted linear regression, and random-effects meta-analyses to obtain pooled estimates.Higher fruit and dairy products consumption was associated with a lower gain in WC(BMI) whereas the consumption of white bread, processed meat, margarine, and soft drinks was positively associated with ΔWC(BMI). When these six food groups/items were analyzed in combination using a summary score, those in the highest quartile of the score--indicating a more favourable dietary pattern--showed a ΔWC(BMI) of -0.11 (95% CI -0.09 to -0.14) cm/y compared to those in the lowest quartile.A dietary pattern high in fruit and dairy and low in white bread, processed meat, margarine, and soft drinks may help to prevent abdominal fat accumulation

Search for low-mass dark matter via bremsstrahlung radiation and the Migdal effect in SuperCDMS

We present a new analysis of previously published SuperCDMS data using a profile likelihood framework to search for sub-GeV dark matter (DM) particles through two inelastic scattering channels: bremsstrahlung radiation and the Migdal effect. By considering these possible inelastic scattering channels, experimental sensitivity can be extended to DM masses that are undetectable through the DM-nucleon elastic scattering channel, given the energy threshold of current experiments. We exclude DM masses down to 220 MeV/c2 at 2.7×10-30 cm2 via the bremsstrahlung channel. The Migdal channel search provides overall considerably more stringent limits and excludes DM masses down to 30 MeV/c2 at 5.0×10-30 cm2