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