Results 171 to 180 of about 17,292 (295)

Lung maneuvers of large amplitudes for probing physiological alterations in mouse models of asthma

Animal Models and Experimental Medicine, EarlyView.
Lung maneuvers of small amplitudes, such as the ones performed in oscillometry, are the current gold standard to probe lung mechanics in animals, but they are insensitive to detect baseline physiological alterations in mouse models of asthma. Herein, lung maneuvers of different amplitudes were compared in two mouse models of asthma.
Magali Boucher, Cyndi Henry, Marie‐Josée Beaulieu, Andrés Rojas‐Ruiz, Ynuk Bossé   +4 more
wiley   +1 more source

Color‐Pure Organic Luminophores: Characteristics, Definitions, Physical Basis and Fundamental Design Principles

Angewandte Chemie, EarlyView.
Color‐pure all‐organic emitters, i.e., with narrow spectral characteristics, are intensively studied for high‐definition organic LEDs and multi‐color bioimaging. In order to guide targeted materials design, this educative review discusses spectral characteristics, proper definitions and units, and the physical basis of spectral broadening, to distill ...
Johannes Gierschner, Sunwu Song, Siyang Feng, Liangxuan Wang, Miguel Ródenas, Begoña Milián‐Medina, Min Sang Kwon   +6 more
wiley   +2 more sources

A Simulation of Natural Deduction and Gentzen Sequent Calculus

, 2017
We consider four natural deduction systems: Fitch-style systems, Gentzen-style systems (in the form of dags), general deduction Frege systems and nested deduction Frege systems, as well as dag-like Gentzen-style sequent calculi. All these calculi soundly
Kozhemiachenko, Daniil
core  

Integrated Estimates of Forest Expansion Opportunity in New York State. [PDF]

Environ Manage
Armstrong A, Stedman RC, Richardson D, Walsh KB, Zimmerman C.   +4 more
europepmc   +1 more source

Automated quantification of the Alberta Stroke Programme Early CT Score (ASPECTS) and infarct core on diffusion-weighted imaging in acute ischaemic stroke: multi-centre validation and severity stratification. [PDF]

Brain Commun
Wei L, Xiao T, Wang H, Shi L, Xi Q, Liu M, Xu H, Zhang K, Zhou X, Luo Y, Wang P.   +10 more
europepmc   +1 more source

Neuro-symbolic reasoning engine for tax optimisation. [PDF]

Front Artif Intell
Veeramani K, Joseph N A, M P.
europepmc   +1 more source

Too deductive too soon? Toward an inductive renewal of implementation science. [PDF]

Implement Sci
Nilsen P, Kislov R, Birken SA, Mittman BS.   +3 more
europepmc   +1 more source

A note on natural deduction.

Notre Dame Journal of Formal Logic, 1966
openaire   +3 more sources

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
von Plato J.
europepmc   +1 more source

Depression as inferential rigidity: a meta-abductive account. [PDF]

Front Psychol
Sun J, Jin L.
europepmc   +1 more source