Results 111 to 120 of about 1,124,332 (277)

Functional programming languages for verification tools: experiences with ML and Haskell [PDF]

, 2001
We compare Haskell with ML as programming languages for verification tools, based on our experience developing TRUTH in Haskell and the Edinburgh Concurrency Workbench (CWB) in ML.
Leucker, Martin, Noll, Thomas, Stevens, Perdita, Weber, Michael   +3 more
core   +3 more sources

High‐Sublimation‐Temperature Additives for Efficient Perovskite Solar Cells via Single‐Source Evaporation

Advanced Energy Materials, EarlyView.
The introduction of high‐sublimation‐temperature additives during the mechanosynthesis of FAPbI3 powders enables the single‐source evaporation of phase‐pure, additive‐free FAPbI3 thin films of high optoelectronic quality. The additive‐engineered deposition process yields photovoltaic devices with stabilized efficiencies exceeding 18% for an active ...
Zongbao Zhang, Ran Ji, Tim Schramm, Elena Siliavka, Chunqiu Zheng, Julius Brunner, Bekcy Joseph, Kashimul Hossain, Angelika Wrzesinska‐Lashkova, Vladimir Shilovskikh, Tianyu Zhao, Nathaniel P. Gallop, Boris Rivkin, Yana Vaynzof   +13 more
wiley   +1 more source

Recent work at the World Data Centre for Geomagnetism (Edinburgh) [PDF]

, 2010
Observatory data holdings at the World Data Centre for Geomagnetism (Edinburgh) www.wdc.bgs.ac.uk include minute, hourly and annual mean values of the geomagnetic field from over 500 observatories since the early 19th century.
Dawson, Ewan, Macmillan, Susan, Reay, Sarah   +2 more
core  

Comparative Meta‐Analysis of Antimicrobial Peptides in Aquatic and Terrestrial Livestock Species

Animal Research and One Health, EarlyView.
A global meta‐analysis of 58 studies (926 effect sizes and 29 species across five taxa) revealed that dietary antimicrobial peptides generally improve growth performance, blood metabolites, and immune responses. The greatest benefits were observed in omnivorous livestock, such as pigs and chickens. Dose‐duration effects were evident. An optimal outcome
Lily Liu, Xu Luo, Qin Zhang, Jinhai Wang, Alan E. Wilson   +4 more
wiley   +1 more source

Multi‐Method Geophysical Surveys Between and Around the Kerlescan and the Manio Megalithic Alignments in Carnac (Morbihan, France)

Archaeological Prospection, EarlyView.
ABSTRACT The Carnac alignments in Morbihan (France) are among the most famous Neolithic sites of the world. Paradoxically, they have benefited little from a thorough renewal of archaeological data over the past century. There are many reasons for this, but it is mainly because the site has been regarded more as a monument to visit and protect than as ...
Guillaume Bruniaux, Vivien Mathé, Olivier Agogué, Sylvia Lopez, Philippe Paillou, Reena Perschke, Vincent Ard   +6 more
wiley   +1 more source

Clinical pharmacology and prescribing education: An updated medical school curriculum from the British Pharmacological Society

British Journal of Clinical Pharmacology, EarlyView.
Aims Prescribing is a complex, essential skill that doctors must acquire to practice medicine safely and effectively. The British Pharmacological Society has historically provided a core curriculum to guide clinical pharmacology and prescribing education in UK medical schools.
Dagan O. Lonsdale, Clare Guilding, Jennifer Koenig, Michael Okorie, Reecha Sofat, Simon Maxwell   +5 more
wiley   +1 more source

Pharmacokinetics, safety, tolerability and fluorescence imaging of nizaracianine triflutate administered in three divided doses to healthy volunteers

British Journal of Clinical Pharmacology, EarlyView.
Aim Fluorescence‐guided surgery enhances intraoperative visualization of anatomical structures. Nizaracianine is a near‐infrared fluorescent agent that is exclusively renally cleared in animal models. It enables real‐time ureteral imaging and identification, potentially reduces risk of injury and facilitates assessment before surgical closure.
Lisanne K. A. Neijenhuis, Cedric M. W. Pesch, John V. Frangioni, Alexander L. Vahrmeijer, Jacobus Burggraaf, Naomi B. Klarenbeek   +5 more
wiley   +1 more source

HLA genotype testing for carbamazepine, oxcarbazepine and eslicarbazepine: A guideline developed by the UK Centre of Excellence in Regulatory Science and Innovation in Pharmacogenomics (CERSI‐PGx)

British Journal of Clinical Pharmacology, EarlyView.
Carbamazepine is licensed in the United Kingdom for the treatment of epilepsy, bipolar disorder and trigeminal neuralgia. The related compounds oxcarbazepine and eslicarbazepine are licensed for the treatment of epilepsy. These drugs can cause immune‐mediated hypersensitivity reactions, which typically affect the skin, and can be of variable severity ...
Lucy Galloway, Cinzia Dello Russo, Nicholas Bass, Elvira Bramon, Helen Cross, Natalie Curley, Sarah Curran, Helen Davies, Jana De Villiers, William Evans, Bernhard Frank, Alice Groves, Judith Hayward, Jon Higham, Dyfrig A. Hughes, Shwe Sin Kyaw, Anthony G. Marson, Ailsa McLellan, Seth Mensah, Francis O'Neill, Jane Sargison, Sanjay M. Sisodiya, Jill Swan, Joanna M. Zakrewska, Munir Pirmohamed   +24 more
wiley   +1 more source

Using SimVenture in Information Systems [PDF]

A case study from the Developing Enterprising Students project, a strategic teaching and learning project at the University of Huddersfield. The case study is based on an interview with Ms Jyoti Bhardwaj (17th June 2014) and a 2011 case study from the ...
Jensen, Kathrine, Yip, Daniel
core  

Learning to ‘be’ an activist: Exploring the relationship between activism and informal education in a youth activism group case study

British Educational Research Journal, EarlyView.
Abstract Young people in the United States (and beyond) access spaces for activism in varied ways, including the out‐of‐school time sector, where youth activism (YA) groups draw on informal learning pedagogies to engage young people in collective action.
Laura Weiner
wiley   +1 more source