Results 91 to 100 of about 3,542,799 (379)

Compositional semantics for real-time distributed computing

Information and Computation, 1985
AbstractWe give a compositional denotational semantics for a real-time distributed language, based on the linear history semantics for CSP of Francez et al. Concurrent execution is not modelled by interleaving but by an extension of the maximal parallelism model of Salwicki and Müldner, that allows for the modelling of transmission time for ...
Willem P. de Roever, Willem P. de Roever, R. K. Shyamasundar, S. Arun-Kumar, Ron Koymans, Rob Gerth   +5 more
openaire   +4 more sources

Subpar reporting of pre‐analytical variables in RNA‐focused blood plasma studies

Molecular Oncology, EarlyView.
Pre‐analytical variables strongly influence the analysis of extracellular RNA (cell‐free RNA; exRNA) derived from blood plasma. Their reporting is essential to allow interpretation and replication of results. By evaluating 200 exRNA studies, we pinpoint a lack of reporting pre‐analytical variables associated with blood collection, plasma preparation ...
Céleste Van Der Schueren, Philippe Decruyenaere, Francisco Avila Cobos, Johanna Bult, Jill Deleu, Laudonia Lidia Dipalo, Hetty Hilde Helsmoortel, Eva Hulstaert, Annelien Morlion, Elena Ramos Varas, Kathleen Schoofs, Wim Trypsteen, Eveline Vanden Eynde, Hanne Van Droogenbroeck, Kimberly Verniers, Jo Vandesompele, Anneleen Decock   +16 more
wiley   +1 more source

An Architecture-Based Adaptation Framework for Soft Real-Time Applications

Dianxin kexue, 2012
Driven by the proliferation of mobile and pervasive computing, real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature over time.
Xiaoan Bao, Na Zhang, Ning Gui, Jinyu Song   +3 more
doaj   +2 more sources

Real-Time scheduling: from hard to soft real-time systems [PDF]

arXiv, 2015
Real-time systems are traditionally classified into hard real-time and soft real-time: in the first category we have safety critical real-time systems where missing a deadline can have catastrophic consequences, whereas in the second class we find systems or which we need to optimise the Quality of service provided to the user.
arxiv  

Clinical applications of next‐generation sequencing‐based ctDNA analyses in breast cancer: defining treatment targets and dynamic changes during disease progression

Molecular Oncology, EarlyView.
Circulating tumor DNA (ctDNA) offers a possibility for different applications in early and late stage breast cancer management. In early breast cancer tumor informed approaches are increasingly used for detecting molecular residual disease (MRD) and early recurrence. In advanced stage, ctDNA provides a possibility for monitoring disease progression and
Eva Valentina Klocker, Samantha Hasenleithner, Rupert Bartsch, Simon P. Gampenrieder, Daniel Egle, Christian F. Singer, Gabriel Rinnerthaler, Michael Hubalek, Katja Schmitz, Zsuzsanna Bago‐Horvath, Andreas Petzer, Sonja Heibl, Ellen Heitzer, Marija Balic, Michael Gnant   +14 more
wiley   +1 more source

LiReD: A Light-Weight Real-Time Fault Detection System for Edge Computing Using LSTM Recurrent Neural Networks

Italian National Conference on Sensors, 2018
Monitoring the status of the facilities and detecting any faults are considered an important technology in a smart factory. Although the faults of machine can be analyzed in real time using collected data, it requires a large amount of computing ...
Donghyun Park, Seulgi Kim, Yelin An, Jae-Yoon Jung   +3 more
semanticscholar   +1 more source

Robust MPC for temperature management on electrical transmission lines [PDF]

arXiv, 2018
In the current context of high integration of renewable energies, maximizing infrastructures capabilities for electricity transmission is a general need for Transmission System Operators (TSO). The French TSO, RTE, is developing levers to control power flows in real-time: renewable production curtailment is already employed and large battery storage ...
arxiv  

Cell‐free and extracellular vesicle microRNAs with clinical utility for solid tumors

Molecular Oncology, EarlyView.
Cell‐free microRNAs (cfmiRs) are small‐RNA circulating molecules detectable in almost all body biofluids. Innovative technologies have improved the application of cfmiRs to oncology, with a focus on clinical needs for different solid tumors, but with emphasis on diagnosis, prognosis, cancer recurrence, as well as treatment monitoring.
Yoshinori Hayashi, Janelle‐Cheri Millen, Romela Irene Ramos, Jennifer A. Linehan, Timothy G. Wilson, Dave S. B. Hoon, Matias A. Bustos   +6 more
wiley   +1 more source

KRAS and GNAS mutations in cell‐free DNA and in circulating epithelial cells in patients with intraductal papillary mucinous neoplasms—an observational pilot study

Molecular Oncology, EarlyView.
This study demonstrates that KRAS and GNAS mutations are more prevalent in patients with resected intraductal papillary mucinous neoplasms (IPMN) compared to those under clinical surveillance. GNAS mutations significantly differ between the two patient cohorts, indicating that their absence may serve as a potential biomarker to support conservative ...
Christine Nitschke, Marie Tölle, Philipp Walter, Kira Meißner, Mara Goetz, Jolanthe Kropidlowski, Andreas W. Berger, Jakob R. Izbicki, Felix Nickel, Thilo Hackert, Klaus Pantel, Harriet Wikman, Faik G. Uzunoglu   +12 more
wiley   +1 more source

PCGen: A Fully Parallelizable Point Cloud Generative Model

Sensors
Generative models have the potential to revolutionize 3D extended reality. A primary obstacle is that augmented and virtual reality need real-time computing.
Nicolas Vercheval, Remco Royen, Adrian Munteanu, Aleksandra Pižurica   +3 more
doaj   +1 more source