Results 21 to 30 of about 23,030,725 (282)
A Fabry‐Perot Imaging Search for Lyα Emission in Quasar Absorbers atz∼ 2.4 [PDF]
The Astrophysical Journal, 2006 We have carried out a deep narrowband imaging survey of six fields with heavy-element quasar absorption lines, using the Goddard Fabry-Perot (FP) system at the Apache Point Observatory (APO) 3.5 m telescope. The aim of these observations was to search for redshifted Lyα emission from the galaxies underlying the absorbers at z = 2.3-2.5 and their ...
Varsha P. Kulkarni +6 more
openaire +1 more source
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies [PDF]
Logical Methods in Computer Science, 2011 We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved through pattern-based blocking. Previous approaches to related logics all rely
Mark Kaminski +2 more
doaj +1 more source
A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving [PDF]
Logical Methods in Computer Science, 2012 We propose a synthesis of the two proof styles of interactive theorem proving: the procedural style (where proofs are scripts of commands, like in Coq) and the declarative style (where proofs are texts in a controlled natural language, like in Isabelle ...
Freek Wiedijk
doaj +1 more source
Executable First-Order Queries in the Logic of Information Flows [PDF]
Logical Methods in Computer ScienceThe logic of information flows (LIF) has recently been proposed as a general framework in the field of knowledge representation. In this framework, tasks of procedural nature can still be modeled in a declarative, logic-based fashion.
Heba Aamer +4 more
doaj +1 more source
Spatial logics with connectedness predicates [PDF]
Logical Methods in Computer Science, 2010 We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological connectedness of regions and restrict the number of their connected components.
Roman Kontchakov +3 more
doaj +1 more source
Antibiotics, 2023 Concern about zoonoses and wildlife has increased. Few studies described the role of wild mammals and environments in the epidemiology of Salmonella. Antimicrobial resistance is a growing problem associated with Salmonella that threatens global health ...
Ernesto Rojas-Sánchez +6 more
doaj +1 more source
THE SPECTRALLY RESOLVED Lyα EMISSION OF THREE Lyα-SELECTED FIELD GALAXIES ATz∼ 2.4 FROM THE HETDEX PILOT SURVEY [PDF]
The Astrophysical Journal, 2013 We present new results on the spectrally resolved Lyα emission of three Lyα-emitting field galaxies at z ~ 2.4 with high Lyα equivalent width (>100 A) and Lyα luminosity (~1043 erg s–1). At 120 km s–1 (FWHM) spectral resolution, the prominent double-peaked Lyα profile straddles the systemic velocity, where the velocity zero point is determined from ...
Taylor S. Chonis +13 more
openaire +1 more source
Ocular Motility Abnormalities in Ehlers-Danlos Syndrome: An Observational Study
Applied Sciences, 2023 Purpose: To evaluate ocular motility (OM) abnormalities associated with Ehlers-Danlos Syndrome (EDS). Materials and methods: In this cross-sectional observational study, patients with EDS underwent a complete orthoptic examination.
Anna Maria Comberiati +9 more
doaj +1 more source
Infrared Space ObservatoryObservations of the 53W002 Group at 6.7 Microns: In Search of the Oldest Stellar Populations atz= 2.4 [PDF]
Publications of the Astronomical Society of the Pacific, 2004 We present a deep Infrared Space Observatory (ISO) observation at 6.7 μm of the 53W002 group of galaxies and active galactic nuclei (AGNs) at z = 2.4. This approximately samples the emitted K band. Faint, blue star-forming objects are not detected, as expected from their very blue color across the emitted optical and UV spectrum. However, 53W002 itself
William C. Keel +7 more
openaire +3 more sources
Sensors, 2022 In this paper, a self-threshold voltage (Vth) compensated Radio Frequency to Direct Current (RF-DC) converter operating at 900 MHz and 2.4 GHz is proposed for RF energy harvesting applications.
Muhammad Basim +9 more
doaj +1 more source