Results 71 to 80 of about 663,881 (275)
The long and the short of the high energy emission in GRB090926A: an external shock
, 2012 SSC emission from a reverse shock has been suggested as the origin for the high energy component lasting 2 s in the prompt phase of GRB98080923 (Fraija et al. 2012).
Ackermann +39 more
core +1 more source
Hemi-field memory for attractiveness [PDF]
, 2003 In order to determine whether or not facial attractiveness plays a role in hemispheric facial memory, 35 right-handed participants first assigned attractiveness ratings to faces and then performed a recognition test on those faces in the left visual half-
Deblieck, Choi, Zaidel, Dahlia W.
core +1 more source
Deciding Kleene Algebras in Coq [PDF]
Logical Methods in Computer Science, 2012 We present a reflexive tactic for deciding the equational theory of Kleene algebras in the Coq proof assistant. This tactic relies on a careful implementation of efficient finite automata algorithms, so that it solves casual equations instantaneously and
Thomas Braibant, Damien Pous
doaj +1 more source
European Journal of Orthodontics, 2006 The aim of this study was to examine the effect of combined use of a toothpaste/mouthrinse containing amine fluoride/stannous fluoride (AmF/SnF2; meridol) on the development of white spot lesions, plaque, and gingivitis on maxillary anterior teeth in ...
B. Øgaard +3 more
semanticscholar +1 more source
Molecular Oncology, EarlyView.Alectinib resistance in ALK+ NSCLC depends on treatment sequence and EML4‐ALK variants. Variant 1 exhibited off‐target resistance after first‐line treatment, while variant 3 and later lines favored on‐target mutations. Early resistance involved off‐target alterations, like MET and NF2, while on‐target mutations emerged with prolonged therapy.
Jie Hu +11 more
wiley +1 more source
Tarski's influence on computer science [PDF]
Logical Methods in Computer Science, 2006 The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of ...
Solomon Feferman
doaj +1 more source
Vector-Boson-Induced Neutrino Mass [PDF]
, 2012 One-loop radiative Majorana neutrino masses through the exchange of scalars have been considered for many years. We show for the first time how such a one-loop mass is also possible through the exchange of vector gauge bosons.
Ma, Ernest, Wudka, Jose
core +2 more sources
From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata [PDF]
Logical Methods in Computer Science, 2007 In this paper we revisit Safra's determinization constructions for automata on infinite words. We show how to construct deterministic automata with fewer states and, most importantly, parity acceptance conditions.
Nir Piterman
doaj +1 more source
Multi‐institutional study on image quality for a novel CBCT solution on O‐ring linac
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Introduction This work presents a multi‐institutional study on image quality provided by a novel cone beam computed tomography (CBCT). The main goal is to investigate the consistency of imaging performance across multiple institutions.
Luis Agulles‐Pedrós +11 more
wiley +1 more source
Envelope Structure of Starless Core L694-2 Derived from a Near-Infrared Extinction Map
, 2003 We present a near-infrared extinction study of the dark globule L694-2, a starless core that shows strong evidence for inward motions in molecular line profiles.
Bastien P. +14 more
core +2 more sources