Results 51 to 60 of about 526,453 (338)
Using schedulers to test probabilistic distributed systems [PDF]
, 2012 This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the
B Sarikaya +28 more
core +1 more source
Molecular Oncology, EarlyView.In luminal (ER+) breast carcinoma (BC), miRNA profiling identified miR‐195‐5p as a key regulator of proliferation that targets CHEK1, CDC25A, and CCNE1. High CHEK1 expression correlates with worse relapse‐free survival after chemotherapy, especially in patients with luminal A subtype.
Veronika Boušková +14 more
wiley +1 more source
Table‐based formal specification approaches for control engineers—empirical studies of usability
IET Cyber-Physical Systems, 2021 The dependability characteristic of the control software of manufacturing systems is highlighted more than before, going through repeated changes to cope with various and varying requirements.
Suhyun Cha +4 more
doaj +1 more source
FEBS Open Bio, EarlyView.Two biomarkers of Alzheimer's disease, amyloid β‐peptide (Aβ) and tau, induce the transformation of U‐251 and other glioblastoma cell lines into neurotoxic A1‐like reactive astrocytes. This transformation is produced by cytokines and is followed by upregulation of PMCA activity and isoform expression, and is closely associated with inflammation, as ...
María Berrocal +2 more
wiley +1 more source
AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B
Jordanian Journal of Computers and Information Technology, 2020 Transforming natural software requirements into a more formal specification is difficult and may be an excellent application for natural language processing. This problem is not recent.
Kheira-Zineb Bousmaha Ossoukine +1 more
doaj +1 more source
Weighted Modal Transition Systems [PDF]
, 2012 Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention.
Bauer, Sebastian S. +5 more
core +5 more sources
CSF Biomarker‐Based Cognitive Trajectories in Parkinson's Disease‐Subjective Cognitive Decline
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Cognitive complaints without objective cognitive impairment in Parkinson's Disease, termed Parkinson's Disease‐Subjective Cognitive Decline (PD‐SCD), have been associated with cognitive decline. However, its progression is heterogeneous, highlighting the need for improved identification of patients at greater risk for deterioration ...
Jon Rodriguez‐Antiguedad +7 more
wiley +1 more source
Method specification for automated evaluation of documents formal quality
Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2009 Automated documents processing allows production of large amount of documents. Formal quality of the documents is very important as it contributes to better understanding and information transmission.
Petra Talandová, Jiří Rybička
doaj +1 more source
Precision‐Optimised Post‐Stroke Prognoses
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Current medicine cannot confidently predict who will recover from post‐stroke impairments. Researchers have sought to bridge this gap by treating the post‐stroke prognostic problem as a machine learning problem, reporting prediction error metrics across samples of patients whose outcomes are known.
Thomas M. H. Hope +4 more
wiley +1 more source
ON THE CORRECTNESS OF A TRANSLATION MAP BETWEEN SPECIFICATIONS IN Z AND SETL2 PROTOTYPE
International Journal of Information and Communication Technology Research, 2009 Formal specification as a precise description of software requirements plays an important role in the software development processes. It can be used as a measurement for validating the artifacts of almost all stages in the development process.
Behnaz Changizi +1 more
doaj