Results 31 to 40 of about 2,103,936 (264)
Enriching an Effect Calculus with Linear Types [PDF]
We define an enriched effect calculus by extending a type theory for computational effects with primitives from linear logic. The new calculus provides a formalism for expressing linear aspects of computational effects; for example, the linear usage of imperative features such as state and/or continuations.
Egger, Jeff +2 more
openaire +2 more sources
ABSTRACT Primary lung carcinomas and bronchial carcinoid tumors (BC) are very rare malignancies in childhood. While typical BC and mucoepidermoid carcinomas are mostly low‐grade, localized tumors with a more favorable prognosis than in adults, necessitating avoidance of overtreatment, adenocarcinomas of the lung are often diagnosed at advanced disease ...
Michael Abele +19 more
wiley +1 more source
Antisymmetric linear magnetoresistance and the planar Hall effect
Magnetoresitance (MR) is a tool to study electronic transport and spin order in metals. Here, the authors demonstrate two different microscopic origins of antisymmetric linear MR from both Zeeman-split Fermi surface and anomalous electron velocity.
Yishu Wang +9 more
doaj +1 more source
Short-term debt and trade credit: Evidence on a non-linear relationship
The literature on the relationship between bank credit and trade credit is mixed between the substitution and complementarity effects. The extant studies only investigate the linear relationship between the two factors, thus missing some important ...
Lap Luu, Liem Nguyen
doaj +1 more source
Linear Induction Motors in Transportation Systems
This paper provides an overview of the Linear Transportation System (LTS) and focuses on the application of a Linear Induction Motor (LIM) as a major constituent of LTS propulsion.
Ryszard Palka, Konrad Woronowicz
doaj +1 more source
Linearity, Control Effects, and Behavioral Types [PDF]
Mainstream programming idioms intensively rely on state mutation, sharing, and concurrency. Designing type systems for handling and disciplining such idioms is challenging, due to long known conflicts between internal non-determinism, linearity, and control effects such as exceptions.
Luís Caires, Jorge A. Pérez 0001
openaire +1 more source
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source
The effect of Coriolis force on the Soret driven ferrothermohaline convection in a densely packed porous medium has been studied. A linear stability analysis is carried out using normal mode technique.
R. Sekar, D. Murugan
doaj +1 more source
ABSTRACT Background Sickle cell disease (SCD) is a chronic, inherited hemoglobinopathy that requires frequent hospitalization for disease‐related complications. Canadian data on inpatient care is limited. This study compared caregiver‐reported hospital experiences of children with SCD to those with cystic fibrosis (CF), a chronic, autosomal recessive ...
Hailey M. Zwicker +11 more
wiley +1 more source
Colisão com o 'efeito estilingue'
Abordamos teoricamente a colisão com o 'efeito estilingue' onde um corpo transfere momento linear e energia cinética para um segundo corpo de massa menor, fazendo com que a energia mecânica desse segundo corpo cresça de forma surpreendente. Mostramos que,
Fernando Lang da Silveira +2 more
doaj +1 more source

