Results 21 to 30 of about 106,077 (229)

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

Express determination of ceftriaxone using immobilized copper sulfate (II) [PDF]

Известия Саратовского университета. Новая серия: Серия Химия. Биология. Экология
Indicator papers based on immobilized copper (II) sulfate have been obtained for the determination of the β-lactam antibiotic ceftriaxone. The interaction of immobilized copper (II) sulfate with ceftriaxone has been assessed using diff use refl ...
Скородумова, Екатерина Александровна, Karateeva, Evgenia Dmitrievna, Kosyreva, Irina Vladimirovna   +2 more
doaj   +1 more source

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

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

(Leftmost-Outermost) Beta Reduction is Invariant, Indeed [PDF]

, 2015
Slot and van Emde Boas' weak invariance thesis states that reasonable machines can simulate each other within a polynomially overhead in time. Is lambda-calculus a reasonable machine?
Accattoli, Beniamino, Lago, Ugo Dal
core   +5 more sources

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

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

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  

TRIQS: A Toolbox for Research on Interacting Quantum Systems [PDF]

, 2015
We present the TRIQS library, a Toolbox for Research on Interacting Quantum Systems. It is an open-source, computational physics library providing a framework for the quick development of applications in the field of many-body quantum physics, and in ...
Ayral, Thomas, Ferrero, Michel, Hafermann, Hartmut, Krivenko, Igor, Messio, Laura, Parcollet, Olivier, Seth, Priyanka   +6 more
core   +4 more sources

A large‐scale retrospective study in metastatic breast cancer patients using circulating tumour DNA and machine learning to predict treatment outcome and progression‐free survival

Molecular Oncology, EarlyView.
There is an unmet need in metastatic breast cancer patients to monitor therapy response in real time. In this study, we show how a noninvasive and affordable strategy based on sequencing of plasma samples with longitudinal tracking of tumour fraction paired with a statistical model provides valuable information on treatment response in advance of the ...
Emma J. Beddowes, Mario Ortega Duran, Solon Karapanagiotis, Alistair Martin, Meiling Gao, Riccardo Masina, Ramona Woitek, James Tanner, Fleur Tippin, Justine Kane, Jonathan Lay, Anja Brouwer, Stephen‐John Sammut, Suet‐Feung Chin, Davina Gale, Dana W. Y. Tsui, Sarah‐Jane Dawson, Nitzan Rosenfeld, Maurizio Callari, Oscar M. Rueda, Carlos Caldas   +20 more
wiley   +1 more source