Results 31 to 40 of about 23,621 (170)

Morpho‐functional analyses of the jaw apparatus in the Blue‐and‐yellow Macaw (Ara ararauna, Psittaciformes, Aves): Adaptations to feeding behavior

The Anatomical Record, EarlyView.
Abstract Macaws are renowned for processing dry, mechanically resistant fruits, yet the species‐level anatomical and functional correlates of this performance remain incompletely resolved. We examined the feeding apparatus of the Blue‐and‐yellow Macaw (Ara ararauna) using an integrated approach that combines osteology, myology, and bite‐force estimates
Sérgio R. Posso, Ana Caroline M. Barbosa, Victor R. Caciatori   +2 more
wiley   +1 more source

Inherited metabolic epilepsies–established diseases, new approaches

Epilepsia Open, EarlyView.
Abstract Inherited metabolic epilepsies (IMEs) represent the inherited metabolic disorders (IMDs) in which epilepsy is a prevailing component, often determining other neurodevelopmental outcomes associated with the disorder. The different metabolic pathways affected by individual IMEs are the basis of their rarity and heterogeneity.
Itay Tokatly Latzer, Phillip L. Pearl
wiley   +1 more source

Extraction in Coq: An Overview [PDF]

, 2008
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of Coq definitions for Euclidean division, as well as some more advanced examples.
openaire   +3 more sources

mattam82/Coq-Equations: Equations v1.2-beta for Coq 8.9

, 2019
<p>Release 1.2beta of Coq-Equations, see announcement here:</p> <p><a href="http://mattam82.github.io/Coq-Equations/equations/2019/01/28/1.2beta.html">http://mattam82.github.io/Coq-Equations/equations/2019/01/28/1.2beta.html</a&
Matthieu Sozeau, Robin Green, Anton Trunov, Pierre-Marie Pédrot, Enrico, Joachim Breitner, Siddharth, Guillaume Claret, Cyprien Mangin, Gaëtan Gilbert, Emilio Jesús Gallego Arias, Maxime Dénès, Hugo Herbelin   +12 more
core   +1 more source

Regional Mitochondrial Density Maps Selective Posterior Atrophy in Parkinson's Disease

Movement Disorders, EarlyView.
Abstract Background Mitochondrial dysfunction has been implicated in the pathobiology of Parkinson's disease (PD), yet the spatial relationship between regional energetic demand and patterns of neurodegeneration remains poorly understood, limiting mechanistic insight and development of disease‐modifying therapies.
Ajay Konuri, Lachlan Churchill, Jack Anderson, Anna Ignatavicius, Glenda Halliday, Ramon Landin‐Romero, Simon J.G. Lewis, Elie Matar   +7 more
wiley   +1 more source

The Coq Proof Assistant Reference Manual : Version 6.1 [PDF]

, 1997
Projet COQCoq is a proof assistant based on a higher-order logic allowing powerful definitions of functions. Coq V6.1 is available by anonymous ftp at ftp.inria.fr:/INRIA/Projects/coq/V6.1 and ftp.ens-lyon.fr:/pub/LIP/COQ/V6.
Parent, Catherine, Paulin-Mohring, Christine, Cornes, Cristina, Muñoz, César, Murthy, Chetan, Filliâtre, Jean-Christophe, Werner, Benjamin, Courant, Judicaël, Herbelin, Hugo, Giménez, Eduardo, Huet, Gérard, Saïbi, Amokrane, Barras, Bruno, Boutin, Samuel   +13 more
core   +2 more sources

PFOA Exposure Elicits Quantitative Lipidomic Changes in the Pancreas in a Mouse Model of Pancreatic Cancer

Environmental Toxicology, EarlyView.
ABSTRACT Pancreatic cancer is the fourth leading cause of cancer deaths in the US and predicted to rise to second by 2030. Several risk factors have been identified as potential contributors to pancreatic cancer development including lifestyle factors and long‐term exposure to occupational and environmental carcinogens.
Barbara A. Hocevar, Lisa M. Kamendulis
wiley   +1 more source

Single‐dose enflicoxib versus a 7‐day course of firocoxib for postoperative pain control in dogs undergoing orthopaedic surgery: A multicentre, randomised, masked, non‐inferiority study

Veterinary Record, EarlyView.
Abstract Background Perioperative analgesia is essential in dogs undergoing orthopaedic surgery, and enflicoxib's long duration makes single‐dose administration attractive. Methods A prospective, multicentre, randomised, masked trial compared enflicoxib (8 mg/kg) given 24 hours before surgery with firocoxib (5 mg/kg) given daily for 7 days. Two hundred
Marta Salichs, José I. Redondo, Anabel Blasco‐Moreno, Llorenç Badiella, Josep Homedes   +4 more
wiley   +1 more source

mattam82/Coq-Equations: Equations 1.0 for Coq 8.8

, 2018
<p>Equations is a function definition plugin for Coq (supporting Coq 8.6, 8.7 and 8.8), that allows the definition of functions by dependent pattern-matching and well-founded, mutual or nested structural recursion and compiles them into core terms.
Matthieu Sozeau, Robin Green, Guillaume Claret, Cyprien Mangin, Pierre-Marie Pédrot, Gaëtan Gilbert, Emilio Jesús Gallego Arias, Enrico, Maxime Dénès, Joachim Breitner   +9 more
core   +1 more source

Arsenite methyltransferase 3 is required for mitochondrial function and hepatic lipid metabolism

The FEBS Journal, EarlyView.
AS3MT is a protein that helps the body process arsenic, a naturally occurring toxin found in water and soil. We discovered it also helps cells make and use energy properly. Without AS3MT, cells' mitochondria do not work well, leading to fatty liver and reduced activity. Increasing AS3MT in liver cells restores energy and protects against arsenic damage,
Patrice Delaney, James Griffin, Nouf Khan, Balnur Ibrash, Matthew J. O'Connor, Tomas Venit, Elizabeth Mayela Ambrosio, Spiros A. Pergantis, Elke Ober, Piergiorgio Percipalle, Kirsten C. Sadler   +10 more
wiley   +1 more source