Results 21 to 30 of about 156,076 (268)

A feasible algorithm for typing in Elementary Affine Logic

, 2004
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction.
A. Asperti, J.-Y. Girard, J.-Y. Girard, J.-Y. Girard, L. Roversi, P. Baillot, P. Coppola, P. Coppola, V. Danos, V. Danos, Y. Lafont   +10 more
core   +4 more sources

Outcomes of an Equine Assisted Learning Curriculum to Support Well-Being of Medical Students and Residents

Journal of Medical Education and Curricular Development, 2021
Objectives of this study were to evaluate an equine assisted learning (EAL) curriculum designed for medical students and resident physicians, and to determine impacts of the curriculum on participant perceptions of burnout and well-being.
Nicole L Artz, Jesse Robbins, Suzanne T Millman   +2 more
doaj   +1 more source

Procedure for implementation of temperature-dependent mechanical property capability in the Engineering Analysis Language (EAL) system [PDF]

A procedure is presented to allow the use of temperature dependent mechanical properties in the Engineering Analysis Language (EAL) System for solid structural elements. This is accomplished by including a modular runstream in the main EAL runstream. The
David E. Glass, James C. Robinson
openalex   +2 more sources

Links between generalized Montr\'eal-functors [PDF]

, 2016
Let $o$ be the ring of integers in a finite extension $K/\mathbb{Q}_p$ and $G=\mathbf{G}(\mathbb{Q}_p)$ be the $\mathbb{Q}_p$-points of a $\mathbb{Q}_p$-split reductive group $\mathbf{G}$ defined over $\mathbb{Z}_p$ with connected centre and split Borel $
Erdélyi, Márton, Zábrádi, Gergely
core   +2 more sources

Patterns of abundance, chromosomal localization, and domain organization among c-di-GMP-metabolizing genes revealed by comparative genomics of five alphaproteobacterial orders

BMC Genomics, 2022
Background Bis-(3′-5′)-cyclic dimeric guanosine monophosphate (c-di-GMP) is a bacterial second messenger that affects diverse processes in different bacteria, including the cell cycle, motility, and biofilm formation.
Sonja Koppenhöfer, Andrew S. Lang
doaj   +1 more source

CP Violation with Heavy Hadrons [PDF]

, 1996
I review several topics involving CP violation with heavy hadrons. In particular, I discuss (i) Hyperons: CP violation in the decay $\Lambda^0 \to p \pi^-$, (ii) Charm: indirect CP violation in the D^0 system, both within and beyond the SM, and (iii ...
Abbott, Ali, Ali, Anjos, Babu, Barger, Barger, Barnett, Blaylock, Branco, Branco, Browder, Buchalla, Buras, Chang, Chang, Cheng, Datta, David London, Davidson, Donoghue, Donoghue, Dunietz, Georgi, Grossman, Hall, He, He, He, Hewett, Leurer, Leurer, Leurer, Marshak, Nir, Nir, Nir, Ohl, Overseth, Overseth, Pakvasa, Roper, Silverman, Wolfenstein   +43 more
core   +2 more sources

Understanding EAL Writers’ Needs in Canadian First-Year Composition (FYC) Courses: A Critical Literature Review

Canadian Journal for New Scholars in Education, 2021
In recent years, Canadian universities and colleges have experienced increased enrollment in students who speak English as an additional language (EAL).
Jing Mao
doaj  

Targeting Multiple Management Objectives in Sustainable Fisheries [PDF]

, 2014
Modern fisheries management must balance between return (economic value) and risk (harvest uncertainty and stock collapse). Management tools should target multiple simultaneous management objectives.
Li, EAL
core   +1 more source

Integrated analysis for drug repositioning in migraine using genetic evidence and claims database

Frontiers in Big Data
IntroductionMigraine is a prevalent neurological disorder with a substantial socioeconomic burden, underscoring the need for continued identification of therapeutic targets.
Shoichiro Inokuchi, Takumi Tajima
doaj   +1 more source

‘Here to support anybody who needs to come’? An investigation of the provision for EAL pupils in secondary school libraries in England [PDF]

, 2017
This paper presents the findings of a mixed methods investigation of the effectiveness of provision for EAL pupils by secondary school libraries in England.
Anja Badock, Briony Birdi, Bryman A., Creswell J. W., De Souza M., DES, DfES, Goley E. P., Institute of Education, Kotler A., Lance K. C., Lance K. C., LAPPG (Libraries All Part Parliamentary Group), McCorriston M., Murphy V. A., National Literacy Trust, National Literacy Trust and MLA, Ofsted, QCA (Qualifications and Curriculum Authority), School Library Association (SLA), Silverman D., Strand S., Williams D., —, —, —   +25 more
core   +1 more source