Results 11 to 20 of about 101,625 (182)
A Classification of Models for Concurrency [PDF]
, 1993 Models for concurrency can be classified with respect to the three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling a process, a choice concerning such parameters corresponds to choosing the level
Nielsen, M., Sassone, V., Winskel, G.
core +1 more source
Towards a Uniform Theory of Effectful State Machines
, 2020 Using recent developments in coalgebraic and monad-based semantics, we present a uniform study of various notions of machines, e.g. finite state machines, multi-stack machines, Turing machines, valence automata, and weighted automata.
Goncharov, Sergey +2 more
core +2 more sources
Molecular Oncology, EarlyView.Pre‐analytical handling critically determines liquid biopsy performance. This study defines practical best‐practice conditions for cell‐free DNA (cfDNA) and extracellular vesicle–derived DNA (evDNA), showing how processing time, storage conditions, tube type, and plasma input volume affect DNA integrity and mutation detection.
Jonas Dohmen +11 more
wiley +1 more source
When Are Two Workflows the Same? [PDF]
, 2005 In the area of workflow management, one is confronted with a large number of competing languages and the relations between them (e.g. relative expressiveness) are usually not clear.
Arthur H.M. ter Hofstede +4 more
core +2 more sources
Algebraic Approach to Interacting Quantum Systems
, 2004 We present an algebraic framework for interacting extended quantum systems to study complex phenomena characterized by the coexistence and competition of different states of matter.
Anderson PW +16 more
core +2 more sources
FEBS Open Bio, EarlyView.This study investigated a novel WST‐8‐based assay for evaluating d‐Amino acid oxidase (DAO) inhibitors. We confirmed its effectiveness using known inhibitors and found that uremic toxins possess relatively weak inhibitory activity compared to existing drugs.
Kahoko Miyake +4 more
wiley +1 more source
FEBS Open Bio, EarlyView.Bisphenol A (BPA), a common chemical in plastics, exerts dual effects on bladder cancer cells: low doses promote growth and migration, while high doses suppress growth and migration. Multi‐omics and bioinformatics reveal BPA acts via MAPK and inflammatory pathways.
Shaomin Niu +10 more
wiley +1 more source
CSF Monoamine Metabolites and Cognitive Trajectory in Early Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Imaging and postmortem studies indicate that abnormalities in monoaminergic neurotransmission contribute to cognitive impairment in Parkinson's disease (PD). However, it remains uncertain if cerebrospinal fluid (CSF) monoamine metabolites can serve as biomarkers of cognitive decline in early PD.
Jing‐Yu Shao +7 more
wiley +1 more source
Graph Interpolation Grammars as Context-Free Automata [PDF]
, 1998 A derivation step in a Graph Interpolation Grammar has the effect of scanning an input token. This feature, which aims at emulating the incrementality of the natural parser, restricts the formal power of GIGs.
Larcheveque, John
core +4 more sources
Arthritis Care &Research, EarlyView.Objective The objective was to identify factors determining acute arthritis resolution and safety with colchicine and prednisone in acute calcium pyrophosphate (CPP) crystal arthritis. Methods We conducted a post hoc analysis of the COLCHICORT trial, which compared colchicine and prednisone for the treatment of acute CPP crystal arthritis, using a ...
Tristan Pascart +14 more
wiley +1 more source