During the attempts to build an Abstract State Machine (ASM) model for the semantics of C# programs, we tried to directly and faithfully reflect the intuitions and design decisions which are expressed in the C# Language Specification. This work and the comparison between the corresponding ASM models for C# and Java brought to light a few gaps and mistakes in the C# reference manual, inconsisten...

We apply the ASM semantics framework to define the await construct in the context of concurrent ASMs. We link CAL programs to concurrent control state ASMs with turbo ASM submachines.

Alzheimer's disease (AD) is characterized by severe neuronal loss as well as the accumulation of amyloid-β (Aβ), which ultimately leads to plaque formation. Although there is now a general agreement that the aggregation of Aβ can be initiated by prion-like seeding, the impact and functional consequences of induced Aβ deposits (Aβ seeding) on neurons still remain open questions. Here, we find th...

Leptomeningeal seeding is a strong negative prognostic factor for medulloblastoma (MB). The mechanism of leptomeningeal seeding is unclear but may involve epigenetic regulation. In this study, we evaluated the feasibility of a histone deacetylase (HDAC) inhibitor, panobinostat, in the suppression of MB leptomeningeal seeding. Panobinostat decreased the cell viability and proliferation, inducing...

Biopsies of liver masses that prove to be hepatocellular carcinomas (HCCs) are associated with a risk of seeding the abdominal or chest wall with tumor cells. The reported frequency of seeding varies greatly in the literature. We performed a retrospective cohort study in a large integrated health care system to examine rates of seeding in patients with HCC who had targeted liver biopsies, ablat...

BACKGROUND Shorter growing season and water stress near wheat maturity are the main factors that presumably limit the yield potential of spring wheat due to late seeding in Saskatchewan, Canada. Advancing seeding dates can be a strategy to help producers mitigate the impact of climate change on spring wheat. It is unknown, however, how early farmers can seed while minimizing the risk of spring ...

This research work has addressed demand side flexibility in a smart grid oriented building. The principal purpose has been to build a short term forecasting model that will predict the next hour consumption. Three advanced methods of forecasting have been investigated for this purpose, the ARIMA (Autoregressive Integrated Moving Average) model, Artificial Neural Networks (ANN) and Support Vecto...

This research paper will analyze security threats and proposes the self-propagating model of seeding attacks in cloud computing. Threat modeling on distributed and self-organizing systems is a very important modeling paradigm which discusses and analyzes the different ways malware may propagate in such systems. The paper introduces Randomized Generic Lucas Seed Algorithm (RGLSA) with TailBoosti...

State Machines for the Classroom – The Basics –