Results 41 to 50 of about 476,385 (316)

Road Safety Audit for the Intersection of US 59 and IA 9 in Osceola County, Iowa Final Report, March 2012 [PDF]

, 2012
The Iowa Department of Transportation (DOT) requested a road safety audit (RSA) of the US 59/IA 9 intersection in northwestern Iowa, just south of the Minnesota border, to assess intersection environmental issues and crash history and recommend ...

core  

Intersection types for unbind and rebind [PDF]

, 2010
We define a type system with intersection types for an extension of lambda-calculus with unbind and rebind operators. In this calculus, a term with free variables, representing open code, can be packed into an "unbound" term, and passed around as a value.
DEZANI CIANCAGLINI M, GIANNINI P, Paola Giannini, Elena Zucca, GIANNINI, Paola, ZUCCA, ELENA, ZUCCA E., Mariangiola Dezani-Ciancaglini   +7 more
core   +1 more source

Replicating human characteristics: A promising animal model of central fatigue

Brain Research Bulletin
Central fatigue is a common pathological state characterized by psychological loss of drive, lack of appetite, drowsiness, and decreased psychic alertness.
Yifei Zhang, Zehan Zhang, Qingqian Yu, Bijuan Lan, Qinghuan Shi, Ruting Li, Ziheng Jiao, Weiyue Zhang, Feng Li   +8 more
doaj   +1 more source

The intersection of retracts of A∗

Theoretical Computer Science, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Cell geometry and membrane protein crowding constrain Escherichia coli growth rate, overflow metabolism, respiration, and maintenance energy

FEBS Letters, EarlyView.
The physical dimensions and shape of bacterial cells define the surface area available to acquire nutrients and the volume available for synthesizing proteins and DNA. Here, we use computational systems biology to decode the importance of cell geometry as a major determinant of prokaryotic phenotype, including growth rate and metabolic efficiency. This
Ross P. Carlson, Tomáš Gedeon, Mauricio Garcia Benitez, Campbell Putnam, William R. Harcombe, Radhakrishnan Mahadevan, Ashley E. Beck   +6 more
wiley   +1 more source

At the intersection of disability and masculinity: Exploring gender and bodily difference in India [PDF]

, 2011
This is the accepted version of the following article: STAPLES, J. (2011), At the intersection of disability and masculinity: exploring gender and bodily difference in India. Journal of the Royal Anthropological Institute, 17: 545–562.
Staples, J, JAMES STAPLES
core   +1 more source

Evaluation of reports received on a digital platform for monitoring and self-care of individuals facing the COVID-19 pandemic in Brazil: Contributions to public health

Clinical Epidemiology and Global Health
Objectives: To evaluate the contribution of the digital platform “Meu Diário de Quarentena (MDQ)'' or My Quarantine Diary concerning the monitoring and self-care of individuals with COVID-19 in Brazil.
Luiz Ricardo Albano dos Santos, Luana Michelly Aparecida Costa dos Santos, Guilherme José Aguilar, Wilbert Dener Lemos Costa, Dantony de Castro Barros Donato, Valdes Roberto Bollela, Alan Maicon de Oliveira   +6 more
doaj   +1 more source

Sustainable leadership pre- and within the 21st century [PDF]

Environmental Economics, 2017
This paper reviews literature on sustainable leadership pre- and within the 21st century, using the following nuances: (1) selected dynamics attributable to socio-demographics, (2) implications and barriers that skew gender and leadership bias, and (3 ...
Bloodless Dzwairo, Ntombenhle Nombela, Manoshni Perumal   +2 more
doaj   +1 more source

Microbiome−host proteostasis crosstalk—An emerging perspective on mechanisms and interventions toward healthy longevity

FEBS Letters, EarlyView.
Proteostasis and the gut microbiota play a key role in shaping host physiology. Microbiota‐derived metabolites, vitamins, and RNA modulate host proteostasis. Findings from model systems, including C. elegans, indicate microbes can either stabilize or disrupt host proteostasis.
Abhishek Anil Dubey, Maria Ermolaeva
wiley   +1 more source

Session Types = Intersection Types + Union Types [PDF]

, 2011
We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting ...
Luca Padovani, Padovani, Luca
core   +1 more source