Results 41 to 50 of about 5,798 (263)

Proving termination of evaluation for System F with control operators [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
We present new proofs of termination of evaluation in reduction semantics (i.e., a small-step operational semantics with explicit representation of evaluation contexts) for System F with control operators.
Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok   +3 more
doaj   +1 more source

Leukemia and Exposure to Potential Benzene Sources in Children From the Mexico City Metropolitan Area, 2010–2021: A Geospatial Analysis

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Leukemia is the most common childhood cancer in Mexico, and acute lymphoblastic leukemia (ALL) is the most frequent subtype. Exposure to high concentrations of benzene has been associated with ALL incidence, particularly in urban areas. This study evaluated the relationship between distance to benzene emission sources and the number
Orlando Rivera Zurita, Norma Candelaria López Santiago, Claudia Maria García Cuellar, Karla Maldonado Silva, Nancy Reynoso Noverón, Leticia Hernández Cadena   +5 more
wiley   +1 more source

Reducibility of zero curvature equations

Electronic Journal of Differential Equations, 2004
By introducing a natural reducibility definition for zero curvature equations, we give a Floquet representation for such systems and show applications to the reducibility problem for quasiperiodic 2-dimensional linear systems and to fiberwise linear ...
Ruben Flores-Espinoza
doaj  

A review to elucidate the influence of promoters on the acidity/basicity, reducibility, and metal-support interaction of catalysts in methane dry reforming

Alexandria Engineering Journal
Past researches had identified the importance the acidity/basicity, reducibility, and metal-support interactions of catalyst in impacting its performances in methane dry reforming (MDR).
Osarieme Uyi Osazuwa, Kim Hoong Ng
doaj   +1 more source

An [Imperfect] Case for Dyadic Research in Pediatric Psychosocial Oncology

Pediatric Blood &Cancer, EarlyView.
Stephanie M. Nanos, Lindsay A. Jibb, Gary Rodin   +2 more
wiley   +1 more source

Early Impact of Childhood Opportunity on Neurocognitive Outcomes in Sickle Cell Disease

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction Neurocognitive impairment is a well‐recognized complication of sickle cell disease (SCD) that begins early in childhood and persists across development. While cerebrovascular injury contributes substantially to risk, neurocognitive deficits are also observed in children without overt or silent cerebral infarctions, suggesting ...
Julia E. LaMotte, Hannah Koch, Olivia A. Coughlin, Jillian R. Bouck, Allie Carter, Seethal A. Jacob   +5 more
wiley   +1 more source

Analysis of Sedimentary Environment Conditions for Lacustrine Fine-Grained Sedimentary Rocks and Its Control of Lithofacies Development: A Case Study of the Lower Submember of Member 3 of Shahejie Formation in FY-1 Well, Dongying Sag, Bohai Bay Basin, China

Geofluids, 2021
In recent years, the studies on fine-grained sedimentation mainly focus on the rock type, sedimentary environment, sedimentation, and sequence stratigraphy, while those on the relationship between sedimentary environment and lithofacies development are ...
Jun Peng, Ledan Yu, Tianyu Xu, Yubin Wang, Haodong Han   +4 more
doaj   +1 more source

Psychosocial Functioning After Pediatric Bone Sarcoma: Generic and Survivor‐Specific Outcomes in Adolescent and Young Adult Patients

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Pediatric bone sarcoma patients and survivors may experience psychosocial challenges related to childhood cancer after their intensive, body‐altering treatment. This cross‐sectional study aimed to evaluate generic and survivor‐specific psychosocial outcomes in a national cohort of pediatric bone sarcoma patients and survivors, and ...
Hinke van der Hoek, Heleen Maurice‐Stam, Laura R. Beek, Jennifer van Dijk, Marjolein E. M. Langemeijer, Relinde W. Slooff‐Lentink, Alied M. van der Aa‐van Delden, Anne Westerweel, Marloes van Gorp, Hendrik W. B. Schreuder, Lianne M. Haveman, W. Peter Bekkering, Leonie G. Tigelaar, Johannes H. M. Merks, Martha A. Grootenhuis   +14 more
wiley   +1 more source

Preparation of a Novel Super Active Fischer-Tropsch Cobalt Catalyst Supported on Carbon Nanotubes [PDF]

Iranian Journal of Chemistry & Chemical Engineering, 2009
The potential of carbon nanotubes (CNT) supported cobalt catalysts for Fischer-Tropsch (FT) reaction is shown. Using the wet impregnation method cobalt on carbon nanotubes catalysts were prepared with cobalt loading varying from 15 to 45 wt. %.
Ahmad Tavasoli, Mohammad Irani, Ali Nakhaeipour, Yadollah Mortazavi, Abas Ali Khodadadi, Ajay K. Dalai   +5 more
doaj  

On the Relations between the Attacks on Symmetric Homomorphic Encryption over the Residue Ring

Безопасность информационных технологий, 2017
The paper considers the security of symmetric homomorphic cryptosystems (HC) over the residue ring. The main task is to establish an equivalence between ciphertexts only attack (COA) and known plaintexts attack (KPA) for HC.
Alina V. Trepacheva
doaj   +1 more source