Search
Results: 11977
Satisfiability checking and symbolic computation
E. Ábrahám, John Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm
Dec 01, 2016
Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories....
Ionic diodes based on regenerated α-cellulose films deposited asymmetrically onto a microhole
Barak D. B. Aaronson, Daping He, Elena Madrid, Marcus A. Johns, Janet L. Scott, Lian Fan, James Doughty, Marco A. S. Kadowaki, Igor Polikarpov, Neil B. Mckeown, Frank Marken
Jan 23, 2017
Cellulose films of approximately 5 mm thickness, reconstituted from ionic liquid media onto a poly-ethylene-terephthalate (PET) film with a 5, 10, 20, or 40 mm diameter microhole, show current rectification when immersed in...
Insights into the influence of solvent polarity on the crystallization of poly(ethylene oxide) spin-coated thin films via <i>in situ</i> grazing incidence wide-angle X-ray scattering
Daniel T W Toolan, Anna Isakova, Richard Hodgkinson, Nik Reeves-McLaren, Oliver S. Hammond, Karen J. Edler, Wuge H. Briscoe, Thomas Arnold, Tim Gough, Paul D. Topham, Jonathan R. Howse
Jun 28, 2016
Controlling polymer thin-film morphology and crystallinity is crucial for a wide range of applications, particularly in thin-film organic electronic devices. In this work, the crystallization behavior of a model polymer...
Alemtuzumab CARE-MS II 5-year follow-up
AJ Coles, JA Cohen, EJ Fox, G Giovannoni, HP Hartung, E Havrdova, S Schippling, KW Selmaj, A Traboulsee, AS Compston, DH Margolin, K Thangavelu, MC Chirieac, D Jody, P Xenopoulos, RJ Hogan, MA Panzara, DL Arnold
Sep 11, 2017
Neurodegenerative Neurosciences Multiple Sclerosis Brain Disorders Clinical Research Autoimmune Disease Neurological Alemtuzumab Antibodies Monoclonal Humanized Atrophy Brain Disability Evaluation Follow-Up Studies Humans Immunologic Factors Kaplan-Meier Estimate Multiple Sclerosis Relapsing-Remitting Organ Size Time Factors Treatment Outcome
Plasma exchange and glucocorticoid dosing in the treatment of anti-neutrophil cytoplasm antibody associated vasculitis (PEXIVAS)
Overexpression of the JmjC histone demethylase KDM5B in human carcinogenesis
Shinya Hayami, Masanori Yoshimatsu, Abhimanyu Veerakumarasivam, Motoko Unoki, Yukiko Iwai, Tatsuhiko Tsunoda, Helen I Field, John D Kelly, David E Neal, Hiroki Yamaue, Bruce AJ Ponder, Yusuke Nakamura, Ryuji Hamamoto
Sep 12, 2011
Cell Line Tumor Cell Proliferation E2F1 Transcription Factor E2F2 Transcription Factor Female Gene Expression Regulation Neoplastic Humans Jumonji Domain-Containing Histone Demethylases Male Nuclear Proteins Oligonucleotide Array Sequence Analysis Precancerous Conditions Repressor Proteins Reproducibility of Results Retinoblastoma Protein Signal Transduction Tissue Array Analysis Up-Regulation
Deterministic progenitor behavior and unitary production of neurons in the neocortex.
A Highly Emissive Surface Layer in Mixed-Halide Multication Perovskites.
Zahra Andaji-Garmaroudi, Mojtaba Abdi-Jalebi, Dengyang Guo, Stuart Macpherson, Aditya Sadhanala, Elizabeth M Tennyson, Edoardo Ruggeri, Miguel Anaya, Krzysztof Galkowski, Ravichandran Shivanna, Kilian Lohmann, Kyle Frohna, Sebastian Mackowski, Tom J Savenije, Richard H Friend, Samuel D Stranks
Aug 28, 2019
Mixed-halide lead perovskites have attracted significant attention in the field of photovoltaics and other optoelectronic applications due to their promising bandgap tunability and device performance. Here, the changes in...
Targeting of Fumarate Hydratase from Mycobacterium tuberculosis Using Allosteric Inhibitors with a Dimeric-Binding Mode.
Andrew J Whitehouse, M Daben J Libardo, Monica Kasbekar, Paul D Brear, Gerhard Fischer, Craig J Thomas, Clifton E Barry, Helena IM Boshoff, Anthony G Coyne, Chris Abell
Sep 16, 2019
With the growing worldwide prevalence of antibiotic-resistant strains of tuberculosis (TB), new targets are urgently required for the development of treatments with novel modes of action. Fumarate hydratase (fumarase), a...
Multi-site repeatability and reproducibility of MR fingerprinting of the healthy brain at 1.5 and 3.0 T.
Guido Buonincontri, Laura Biagi, Alessandra Retico, Paolo Cecchi, Mirco Cosottini, Ferdia A Gallagher, Pedro A Gómez, Martin J Graves, Mary A McLean, Frank Riemer, Rolf F Schulte, Michela Tosetti, Fulvio Zaccagna, Joshua D Kaggie
Apr 05, 2019
Fully-quantitative MR imaging methods are useful for longitudinal characterization of disease and assessment of treatment efficacy. However, current quantitative MRI protocols have not been widely adopted in the clinic, mostly...
Exposing the Interplay Between Enzyme Turnover, Protein Dynamics and the Membrane Environment in Monoamine Oxidase B
Hannah B L Jones, Rory M Crean, Anna Mullen, Emanuele Kendrick, Steven D Bull, Stephen A Wells, David Ross Carbery, Fraser MacMillan, Marc W van der Kamp, Christopher Roland Pudney
May 07, 2019
There is an increasing realization that structure-based drug design may show improved success by understanding the ensemble of conformations accessible to an enzyme and how the environment affects this ensemble. Human...
DTI Profiles for Rapid Description of Cohorts at the Clinical-Research Interface.
Christine Lock, Janell Kwok, Sumeet Kumar, Azlina Ahmad-Annuar, Vairavan Narayanan, Adeline SL Ng, Yi Jayne Tan, Nagaendran Kandiah, Eng-King Tan, Zofia Czosnyka, Marek Czosnyka, John D Pickard, Nicole C Keong
Feb 22, 2019
Normal pressure hydrocephalus (NPH) is a syndrome comprising gait disturbance, cognitive decline and urinary incontinence that is an unique model of reversible brain injury, but it presents as a challenging spectrum of disease...
Exposure of Monocytic Cells to Lipopolysaccharide Induces Coordinated Endotoxin Tolerance, Mitochondrial Biogenesis, Mitophagy, and Antioxidant Defenses.
Weakly haemolytic variants of Brachyspira hyodysenteriae newly emerged in Europe belong to a distinct subclade with unique genetic properties.
Roderick M Card, Tom La, Eric R Burrough, Richard J Ellis, Javier Nunez-Garcia, Jill R Thomson, Maxime Mahu, Nyree D Phillips, David J Hampson, Judith Rohde, Alexander W Tucker
May 28, 2019
Brachyspira (B.) hyodysenteriae is widespread globally, and can cause mucohaemorrhagic colitis (swine dysentery, SD) with severe economic impact in infected herds. Typical strains of B. hyodysenteriae are strongly haemolytic on...
Dopaminergic drug treatment remediates exaggerated cingulate prediction error responses in obsessive-compulsive disorder
Graham K. Murray, Franziska Knolle, Karen D. Ersche, Kevin J. Craig, Sanja Abbott, Shaila S. Shabbir, Naomi A. Fineberg, John Suckling, Barbara J. Sahakian, Edward T. Bullmore, Trevor W. Robbins
Jun 15, 2020
Abstract: Rationale: Patients with obsessive-compulsive disorder (OCD) have been found to show exaggerated error responses and prediction error learning signals in a variety of EEG and fMRI tasks, with data converging on the...
Glutamatergic and dopaminergic function and the relationship to outcome in people at clinical high risk of psychosis
Challenges of early renal cancer detection
Naveen S Vasudev, Michelle Wilson, Grant D Stewart, Adebanji Adeyoju, Jon Cartledge, Michael Kimuli, Shibendra Datta, Damian Hanbury, David Hrouda, Grenville Oades, Poulam Patel, Naeem Soomro, Mark Sullivan, Jeff Webster, Peter J Selby, Rosamonde E Banks
Apr 08, 2020
OBJECTIVES: To describe the frequency and nature of symptoms in patients presenting with suspected renal cell carcinoma (RCC) and examine their reliability in achieving early diagnosis. DESIGN: Multicentre prospective...
Re-evaluating herd protection by Vi typhoid vaccine in a cluster randomized trial.
Mohammad Ali, Dipika Sur, Suman Kanungo, Firdausi Qadri, Deok Ryun Kim, Taufiqul Islam, Justin Im, Faisal Ahmmed, Yun Chon, Ashraful Islam Khan, K Zaman, Florian Marks, Shanta Dutta, Sujit K Bhattacharya, John D Clemens
Nov 26, 2019
BACKGROUND: In a cluster randomized trial (CRT) of a Vi polysaccharide vaccine against typhoid in the slums of Kolkata we found evidence of vaccine herd protection. However, transmission of typhoid into clusters from the outside...
Clinical trial registration: ClinicalTrials.gov NCT00125008 Vi polysaccharide vaccine Cluster randomized trial fried egg design Typhoid Fever vaccine effectiveness Adolescent Adult Child Child Preschool Cluster Analysis Female Humans Immunity Herd india Male Poverty Areas Typhoid Fever Typhoid-Paratyphoid Vaccines
A combination of chitooligosaccharide and lipochitooligosaccharide recognition promotes arbuscular mycorrhizal associations in Medicago truncatula.
Feng Feng, Jongho Sun, Guru V Radhakrishnan, Tak Lee, Zoltán Bozsóki, Sébastien Fort, Aleksander Gavrin, Kira Gysel, Mikkel B Thygesen, Kasper Røjkjær Andersen, Simona Radutoiu, Jens Stougaard, Giles E D Oldroyd
Dec 10, 2019
Plants associate with beneficial arbuscular mycorrhizal fungi facilitating nutrient acquisition. Arbuscular mycorrhizal fungi produce chitooligosaccharides (COs) and lipo-chitooligosaccharides (LCOs), that promote symbiosis...
Pulmonary rehabilitation referral and uptake from primary care for people living with COPD
Frances Early, Patricia Mary Wilson, Christi Deaton, Ian Wellwood, Hena Wali Haque, Sarah Emma Fox, Azka Yousaf, Oliver D Meysner, James R Ward, Sally J Singh, Jonathan Paul Fuld
Dec 19, 2019
Behavioral and Social Science Chronic obstructive pulmonary disease Clinical Research Lung Rehabilitation Health Services 7 Management of diseases and conditions 7.1 Individual care needs 8.1 Organisation and delivery of services 8 Health and social care services research Respiratory 3 Good Health and Well Being
|
366 |