Results 71 to 80 of about 173,633 (234)

Formal proof for delayed finite field arithmetic using floating point operators [PDF]

, 2008
Formal proof checkers such as Coq are capable of validating proofs of correction of algorithms for finite field arithmetics but they require extensive training from potential users.
Boldo, Sylvie, Daumas, Marc, Giorgi, Pascal   +2 more
core   +3 more sources

Caesarean Scar Ectopic Pregnancy in Early Gestation: A Scoping Review of Definitions and Diagnostic Approach

BJOG: An International Journal of Obstetrics &Gynaecology, Volume 133, Issue 5, Page 888-899, April 2026.
ABSTRACT Background Caesarean scar ectopic pregnancy (CSEP) is defined by the implantation and development of a gestational sac inside a caesarean scar defect, but variations in classification systems and diagnostic criteria exist. Objectives This study aimed to systematically review the different criteria used in the medical literature to diagnose ...
Simrit Nijjar, Lucrezia V. De Braud, Ewelina Rogozińska, Cecilia Bottomley, Davor Jurkovic, Eric Jauniaux   +5 more
wiley   +1 more source

EFFECTS OF MELATONIN AND PHYSICAL EXERCISE ON SECONDARY BILIARY CIRRHOSIS

Annals of Hepatology
Introduction and Objectives: Cirrhosis is characterized by the formation of septa and fibrotic nodules in the liver parenchyma, and it is a relevant public health problem. Bile duct ligation (BDL) is an effective experimental model for inducing secondary
Marilda da Silva Brasil, Elizângela Gonçalves Schemitt, Sandielly Rebeca Benitez da Fonseca, Gabriela dos Santos Martins, Millena de Oliveira Engeroff, Giorgia Assoni, Lorenzo Cercal Britto, Cláudio Augusto Marroni, Norma Possa Marroni   +8 more
doaj   +1 more source

Os conceitos de avaliação de dois professores de lígua inglesa da rede pública muinicipal de Goiânia

Signótica, 2006
O presente artigo apresenta os conceitos de avaliação contidos na Lei de Diretrizes e Bases (LDB) e nos Parâmetros Curriculares Nacionais (PCN), para então examinar como dois professores da rede pública municipal da ...
Dilys Karen Rees
doaj   +1 more source

PROGRAMACIÓN DE LA CONSTRUCCIÓN DEL TERCER ANILLO DE MUROS ANCLADOS DE UNA EDIFICACIÓN APLICANDO EL MÉTODO DE LÍNEAS DE BALANCE

Investigación & Desarrollo, 2020
En la industria de la construcción, planificar y controlar el cronograma de obra son importantes, debido a que se cometen errores al realizar la programación inicial del proyecto, ya que durante la ejecución de la obra se generan retrasos entre ...
Steven Paredes_Gutierrez, Hubert Torres_Tacuri, Rosmery Gómez_Minaya   +2 more
doaj   +1 more source

Ages, Distances, and the Initial Mass Functions of Stellar Clusters [PDF]

, 2000
We provide a review of the current status of several topics on the ages, distances, and mass functions of open clusters, with a particular emphasis on illuminating the areas of uncertainty.
Jeffries, R. D., Martin, E. L., Stauffer, J. R., Terndrup, D. M.   +3 more
core   +2 more sources

Many-body calculations with Deuteron based single-particle bases and their associated natural orbits

, 2018
We use the recently introduced single-particle states obtained from localized Deuteron wave-functions as a basis for nuclear many-body calculations. We show that energies can be substantially lowered if the natural orbits obtained from this basis are ...
Puddu, Giovanni
core   +1 more source

Spin polarization control by electric field gradients [PDF]

, 2006
We show that the propagation of spin polarized carriers may be dramatically affected by {\em inhomogeneous} electric fields. Surprisingly, the spin diffusion length is found to strongly depend on the sign and magnitude of electric field \emph{gradients},
Csontos, Dan, Ulloa, Sergio E.
core   +1 more source

Knowledge of Local Anesthetic Toxicity Among Healthcare Workers in Surgical Departments: A Hospital‐Based, Cross‐Sectional Study in Vietnam

Health Science Reports, Volume 9, Issue 3, March 2026.
ABSTRACT Background and Aims Local anesthetic systemic toxicity (LAST) is a rare but potentially life‐threatening complication associated with the use of local anesthetics. Prompt recognition and effective management are critical to preventing severe outcomes. However, studies have shown that healthcare workers' knowledge regarding LAST remains limited,
Vu Tri Thanh, Le Ngo Khai Vy, Giap Thi Mai Linh, Tran Hoai Huy, Le Diep Bao Liem, Nguyen Huu Khanh Linh, Vo Y Lan, Nguyen Kim Anh, Ho Tat Bang   +8 more
wiley   +1 more source

Using rotation, magnetic activity and lithium to estimate the ages of low mass stars

, 2014
The rotation rate, level of magnetic activity and surface lithium abundance are age-dependent quantities in stars of about a solar mass and below. The physical reasons for the evolution of these phenomena are qualitatively understood, but accurate ...
Jeffries, R. D.
core   +1 more source