Results 21 to 30 of about 112,777 (227)

Towards Patterns for Heaps and Imperative Lambdas

, 2015
In functional programming, point-free relation calculi have been fruitful for general theories of program construction, but for specific applications pointwise expressions can be more convenient and comprehensible.
Naumann, David A.
core   +1 more source

Process algebra modelling styles for biomolecular processes [PDF]

, 2009
We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling ...
A. Regev, C. Priami, C. Versari, C.A.R. Hoare, D. Gillespie, F. Ciocchetta, J. Hillston, L. Bortolussi, L. Brim, L. Cardelli, L. Cardelli, L. Cardelli, M. Calder, M. Calder, M. Tribastone, N. Chabrier-Rivier, O. Tymchyshyn, P. Degano, R. Alur, R. Barbuti, R. Milner, R. Milner, V. Danos   +22 more
core   +1 more source

Antibiotic sensitivity pattern for non-beta lactam antibiotics and carbapenems in extended-spectrum beta-lactamase (ESBL) producing uropathogens versus non-ESBL producing uropathogens

Sri Lankan Journal of Infectious Diseases, 2017
Introduction and Objectives: Urinary tract infections (UTIs) are frequent and predominantly caused by coliforms. ESBL producers are increasing in number limiting therapeutic options.
W. R. P. L. I. Wijesooriya, Y. B. Herath, R. A. I. Sugandhi, A. Weerawardhana, D. S. Ediriweera   +4 more
doaj   +1 more source

Pediatric kidney transplant recipients are at an increased risk for dysbiosis

Frontiers in Microbiology
IntroductionThis study aimed to compare the gut microbiota composition in pediatric kidney transplant (KTx) recipient with that of healthy children.MethodsThis cross-sectional observational study included 30 pediatric KTx recipients aged between 7 and 21
Gizem Yılmaz, Seha Saygılı, Ayşe Ağbaş, Esra Karabağ Yılmaz, Ahmet Variş, Nur Canpolat   +5 more
doaj   +1 more source

Simulation of non-Markovian Processes in BlenX [PDF]

, 2008
BlenX is a programming language explicitly designed for modeling biological processes inspired by Beta-binders. The actual framework assumes biochemical interactions being exponentially distributed, i.e., an underlying Markov process is associated with ...
Prandi, Davide, Priami, Corrado, Romanel, Alessandro   +2 more
core  

Parent Quality of Life at Two Years Following Their Child's Completion of Acute Lymphoblastic Leukemia Treatment

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Parents of children treated for acute lymphoblastic leukemia (ALL) often experience significant caregiver burden and disruption to their well‐being. While parent quality of life (QoL) during treatment is well characterized, little is known about outcomes during early survivorship.
Sara Dal Pra, Maria McCarthy, Michael Takagi, Cinzia De Luca   +3 more
wiley   +1 more source

pwrEWAS: a user-friendly tool for comprehensive power estimation for epigenome wide association studies (EWAS)

BMC Bioinformatics, 2019
Background When designing an epigenome-wide association study (EWAS) to investigate the relationship between DNA methylation (DNAm) and some exposure(s) or phenotype(s), it is critically important to assess the sample size needed to detect a hypothesized
Stefan Graw, Rosalyn Henn, Jeffrey A. Thompson, Devin C. Koestler   +3 more
doaj   +1 more source

From Solvable to Executable Models of Biological Systems [PDF]

, 2008
Classical modeling approaches for biology are mainly grounded in mathematics, and specifically on ordinary differential equations (ODE). Process calculi-based conceptual and computational tools are an alternative and emergent approach.
Palmisano, Alida, Priami, Corrado
core  

Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study

, 2010
The logics of knowledge are modal logics that have been shown to be effective in representing and reasoning about knowledge in multi-agent domains. Relatively few computational frameworks for dealing with computation of models and useful transformations ...
C. BARAL, E. PONTELLI, Fagin, G. GELFOND, Halpern, T. SON   +5 more
core   +1 more source

Interplay between circadian and other transcription factors—Implications for cycling transcriptome reprogramming

FEBS Letters, EarlyView.
This perspective highlights emerging insights into how the circadian transcription factor CLOCK:BMAL1 regulates chromatin architecture, cooperates with other transcription factors, and coordinates enhancer dynamics. We propose an updated framework for how circadian transcription factors operate within dynamic and multifactorial chromatin landscapes ...
Xinyu Y. Nie, Jerome S. Menet
wiley   +1 more source