2,474 research outputs found
Scientific publications and presentations relating to planetary quarantine. Volume 5: The 1972 supplement
The sixth annual supplement to the bibliography on planetary quarantine contains 191 references, an author index and a permuted title index
Control and modeling of a CELSS (Controlled Ecological Life Support System)
Research topics that arise from the conceptualization of control for closed life support systems which are life support systems in which all or most of the mass is recycled are discussed. Modeling and control of uncertain and poorly defined systems, resource allocation in closed life support systems, and control structures or systems with delay and closure are emphasized
Polarized light ions and spectator nucleon tagging at EIC
An Electron-Ion Collider (EIC) with suitable forward detection capabilities
would enable a unique experimental program of deep-inelastic scattering (DIS)
from polarized light nuclei (deuterium 2H, helium 3He) with spectator nucleon
tagging. Such measurements promise significant advances in several key areas of
nuclear physics and QCD: (a) neutron spin structure, by using polarized
deuterium and eliminating nuclear effects through on-shell extrapolation in the
spectator proton momentum; (b) quark/gluon structure of the bound nucleon at x
> 0.1 and the dynamical mechanisms acting on it, by measuring the spectator
momentum dependence of nuclear structure functions; (c) coherent effects in
QCD, by exploring shadowing in tagged DIS on deuterium at x << 0.1. The JLab
MEIC design (CM energy sqrt{s} = 15-50 GeV/nucleon, luminosity ~ 10^{34}
cm^{-2} s^{-1}) provides polarized deuterium beams and excellent coverage and
resolution for forward spectator tagging. We summarize the physics topics, the
detector and beam requirements for spectator tagging, and on-going R&D efforts.Comment: 6 pages, 2 figures. Prepared for proceedings of DIS 2014, XXII.
International Workshop on Deep-Inelastic Scattering and Related Subjects,
University of Warsaw, Poland, April 28 - May 2, 201
Structure of the universe (metalanguage aspects) and mythological bases of contemporary science
For ancient people cognition of laws of physics and human existence consisted in mythological description of the existing things. The system of mythological beliefs about the world model reflects laws of classical physics.Для людей древнего мира познание физических законов мира и человеческого бытия состояло в мифологическом осмыслении сущего. Как ни парадоксально, система мифологических представлений о модели мира отражает законы классической физики
Christianity and paganism – conceptual projections of Russian proverbs
The article describes the process of creation of lingo-cultural reference book “Christianity and Paganism in proverbs, phraseological units, riddles, signs of the Russians”. On the basis of the word “God” the author shows how different meanings of this lexeme are coined in Russian proverbs.Рассказывается, как создавался лингвокультурологический справочник «Христианство и язычество в пословицах, фразеологизмах, загадках, приметах русского народа». На примере слова «Бог» демонстрируется, как проявляются различные значения этой лексемы в русских пословицах
"Weasel" (the fifth chapter of the novel by R. Rolland «Colas Breugnon») as a unity and opposition of meta signs of “life” and “death”
It is demonstrated how, with the help of space and time indications, events described in the novel “Colas Breugnon” are inserted by R.Rolland in the frames of traditional European culture with its understanding of circles of life and world of the dead.Демонстрируется, как с помощью пространственных и временных указаний Р. Роллан вписывает события романа «Кола Брюньон» в рамки традиционной европейской культуры с ее представлениями о цикличности жизни и о мире мертвых
Neutron spin structure with polarized deuterons and spectator proton tagging at EIC
The neutron's deep-inelastic structure functions provide essential
information for the flavor separation of the nucleon parton densities, the
nucleon spin decomposition, and precision studies of QCD phenomena in the
flavor-singlet and nonsinglet sectors. Traditional inclusive measurements on
nuclear targets are limited by dilution from scattering on protons, Fermi
motion and binding effects, final-state interactions, and nuclear shadowing at
x << 0.1. An Electron-Ion Collider (EIC) would enable next-generation
measurements of neutron structure with polarized deuteron beams and detection
of forward-moving spectator protons over a wide range of recoil momenta (0 <
p_R < several 100 MeV in the nucleus rest frame). The free neutron structure
functions could be obtained by extrapolating the measured recoil momentum
distributions to the on-shell point. The method eliminates nuclear
modifications and can be applied to polarized scattering, as well as to
semi-inclusive and exclusive final states. We review the prospects for neutron
structure measurements with spectator tagging at EIC, the status of R&D
efforts, and the accelerator and detector requirements.Comment: 11 pages, 3 figures. To appear in proceedings of Tensor Polarized
Solid Target Workshop, Jefferson Lab, March 10-12, 201
Automated Benchmarking of Incremental SAT and QBF Solvers
Incremental SAT and QBF solving potentially yields improvements when
sequences of related formulas are solved. An incremental application is usually
tailored towards some specific solver and decomposes a problem into incremental
solver calls. This hinders the independent comparison of different solvers,
particularly when the application program is not available. As a remedy, we
present an approach to automated benchmarking of incremental SAT and QBF
solvers. Given a collection of formulas in (Q)DIMACS format generated
incrementally by an application program, our approach automatically translates
the formulas into instructions to import and solve a formula by an incremental
SAT/QBF solver. The result of the translation is a program which replays the
incremental solver calls and thus allows to evaluate incremental solvers
independently from the application program. We illustrate our approach by
different hardware verification problems for SAT and QBF solvers.Comment: camera-ready version (8 pages + 2 pages appendix), to appear in the
proceedings of the 20th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning (LPAR), LNCS, Springer, 201
Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API
We consider the incremental computation of minimal unsatisfiable cores (MUCs)
of QBFs. To this end, we equipped our incremental QBF solver DepQBF with a
novel API to allow for incremental solving based on clause groups. A clause
group is a set of clauses which is incrementally added to or removed from a
previously solved QBF. Our implementation of the novel API is related to
incremental SAT solving based on selector variables and assumptions. However,
the API entirely hides selector variables and assumptions from the user, which
facilitates the integration of DepQBF in other tools. We present implementation
details and, for the first time, report on experiments related to the
computation of MUCs of QBFs using DepQBF's novel clause group API.Comment: (fixed typo), camera-ready version, 6-page tool paper, to appear in
proceedings of SAT 2015, LNCS, Springe
Investigating Gaze of Children with ASD in Naturalistic Settings.
BACKGROUND: Visual behavior is known to be atypical in Autism Spectrum Disorders (ASD). Monitor-based eye-tracking studies have measured several of these atypicalities in individuals with Autism. While atypical behaviors are known to be accentuated during natural interactions, few studies have been made on gaze behavior in natural interactions. In this study we focused on i) whether the findings done in laboratory settings are also visible in a naturalistic interaction; ii) whether new atypical elements appear when studying visual behavior across the whole field of view.
METHODOLOGY/PRINCIPAL FINDINGS: Ten children with ASD and ten typically developing children participated in a dyadic interaction with an experimenter administering items from the Early Social Communication Scale (ESCS). The children wore a novel head-mounted eye-tracker, measuring gaze direction and presence of faces across the child's field of view. The analysis of gaze episodes to faces revealed that children with ASD looked significantly less and for shorter lapses of time at the experimenter. The analysis of gaze patterns across the child's field of view revealed that children with ASD looked downwards and made more extensive use of their lateral field of view when exploring the environment.
CONCLUSIONS/SIGNIFICANCE: The data gathered in naturalistic settings confirm findings previously obtained only in monitor-based studies. Moreover, the study allowed to observe a generalized strategy of lateral gaze in children with ASD when they were looking at the objects in their environment
- …