Results 121 to 130 of about 1,260 (226)

Identifiability of Level-1 Species Networks from Gene Tree Quartets. [PDF]

Bull Math Biol
Allman ES, Baños H, Garrote-Lopez M, Rhodes JA.   +3 more
europepmc   +1 more source

Semantic Cut Elimination for the Logic of Bunched Implications and Structural Extensions, Formalized in Coq

, 2022
Frumin D.
europepmc   +1 more source

Upper and lower bounds for the cut elimination theorem /

, 1993
Ying-Tyug Leou
openalex   +1 more source

Velocity Spectrum Imaging Using Velocity Encoding Preparation Pulses

Magnetic Resonance in Medicine, EarlyView.
ABSTRACT Purpose The goal of this article is to introduce a technique to measure the velocity distribution of water inside each voxel of an MR image. The method is based on the use of motion sensitizing gradients with changing first moment to encode velocity. As such, it is completely non‐invasive and requires no contrast injections.
Luis Hernandez‐Garcia, Alberto L. Vazquez, Douglas C. Noll   +2 more
wiley   +1 more source

Timing Is Everything: How Subtle Timing Changes in MRI Echo Planar Imaging Can Significantly Alter Mechanical Vibrations and Sound Level

Magnetic Resonance in Medicine, EarlyView.
ABSTRACT Purpose Echo‐Planar Imaging (EPI) is central to fMRI, diffusion MRI, and many dynamic clinical applications, yet rapid gradient switching induces strong mechanical vibrations, generates acoustic noise, and contributes to ghosting artifacts—effects that intensify at ultra‐high fields.
Amir Seginer, Alexander Bratch, Shahar Goren, Edna Furman‐Haran, Noam Harel, Essa Yacoub, Rita Schmidt   +6 more
wiley   +1 more source

Treating Spin-Orbit Coupling and Spin-Spin Coupling in the Framework of the Iterative Configuration Expansion Selected CI. [PDF]

J Chem Theory Comput
Lang L, Chilkuri VG, Neese F.
europepmc   +1 more source

Kinetic Compensation of Barrel Launch Under High‐Speed Solid‐Phase Particulate Impacts

International Journal of Mechanical System Dynamics, EarlyView.
ABSTRACT An accurate launch‐dynamics computational method is critical for barrel weapon service life assessment and multiphase physics field refinement. Given the lack of studies on the solid‐phase buildup behavior at the projectile base, this paper provides an improved method for calculating the launching dynamics under high pressure and high speed ...
Zhiyi He, Guolai Yang, Quanzhao Sun, Shuli Li   +3 more
wiley   +1 more source

Solving olympiad geometry without human demonstrations. [PDF]

Nature
Trinh TH, Wu Y, Le QV, He H, Luong T.
europepmc   +1 more source

Trajectory Control of Manipulator Robots With Uncertainties: A Saturated Continuous Integral Sliding Mode Approach

International Journal of Mechanical System Dynamics, EarlyView.
ABSTRACT This study addresses the trajectory tracking control for manipulator robots with uncertainties. The main objective is to ensure that the robot follows a desired trajectory despite the presence of uncertainties/disturbances and considering control input constraints. The approach is developed in the framework of continuous integral sliding modes.
Emanuel Ortiz‐Ortiz, Juan Eduardo Velázquez‐Velázquez, Ramón Silva‐Ortigoza, Rosalba Galván‐Guerra   +3 more
wiley   +1 more source

Comparison of different AI systems for diagnosing sepsis, septic shock, and cardiogenic shock: a retrospective study. [PDF]

Sci Rep
Obmann D, Münch P, Graf B, von Jouanne-Diedrich H, Zausig YA.   +4 more
europepmc   +1 more source