The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

Las células madre embrionarias humanas son células pluripotentes con potenciales aplicaciones en medicina regenerativa e interés considerable en investigación y biotecnología. Sin embargo, dada la estrecha relación con principios morales y bioéticos, ha existido una considerable discusión sobre la posibilidad de patentar o no este tipo de células madre. En el presente artículo, se revisa la legislación europea en materia de propiedad industrial, y la tradición del sistema jurídico continental en el reconocimiento de la dignidad humana como principio fundamental y (...) su relación con la protección de invenciones biotecnológicas, centrados en la reciente sentencia del caso Brüstle v. Greenpeace e.V. (shrink)

In Del Carmen Guadalupe v. Agosto, the U.S. Court of Appeals for the First Circuit held that a hospital fulfills its statutory duty to screen patiens in is emergency room if it provides for a “screening examination reasonably calculated to identify critical medical conditions” that may be afflicting symptomatic patients and if it “provides that level of screening uniformly to all those who present substantially similar complaints.” The First Circuit affirmed the lower court's decision to grant summary judgment to the (...) hospital in a claim raised under the Emergency Medical Treatment and Active Labor Act.Maria del Carmen Guadalupe brought her husband, Narciso Figueroa, to the Hospital Interamericano De Medicina Avanzada, Inc., on October 3, 1998, with symptoms of urinary retention, edema in the legs, high blood pressure, pain, increased respiratory difficulty, a dry cough, fever, and drowsiness. (shrink)

In Del Carmen Guadalupe v. Agosto, the U.S. Court of Appeals for the First Circuit held that a hospital fulfills its statutory duty to screen patiens in is emergency room if it provides for a “screening examination reasonably calculated to identify critical medical conditions” that may be afflicting symptomatic patients and if it “provides that level of screening uniformly to all those who present substantially similar complaints.” The First Circuit affirmed the lower court's decision to grant summary judgment to the (...) hospital in a claim raised under the Emergency Medical Treatment and Active Labor Act.Maria del Carmen Guadalupe brought her husband, Narciso Figueroa, to the Hospital Interamericano De Medicina Avanzada, Inc., on October 3, 1998, with symptoms of urinary retention, edema in the legs, high blood pressure, pain, increased respiratory difficulty, a dry cough, fever, and drowsiness. (shrink)

Для широкого круга читателей (слушателей, аспирантов, преподавателей) интересующихся данной проблемой.

We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.

This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

We study increasing F-sequences, where F is a dilator: an increasing F-sequence is a sequence (indexed by ordinal numbers) of ordinal numbers, starting with 0 and terminating at the first step x where F(x) is reached (at every step x + 1 we use the same process as in decreasing F-sequences, cf. [2], but with "+ 1" instead of "- 1"). By induction on dilators, we shall prove that every increasing F-sequence terminates and moreover we can determine for every dilator (...) F the point where the increasing F-sequence terminates. We apply these results to inverse Goodstein sequences, i.e. increasing (1 + Id) (ω) -sequences. We show that the theorem every inverse Goodstein sequence terminates (a combinatorial theorem about ordinal numbers) is not provable in ID 1 . For a general presentation of the results stated in this paper, see [1]. We use notions and results concerning the category ON (ordinal numbers), dilators and bilators, summarized in [2, pp. 25-31]. (shrink)

Издание представляет результаты исследования малоизученной темы социально-экономических доктрин консерватизма. Оно отражает их развитие от времени выражения их в виде утопий, погруженных в более общие социально-философские и политические учения.

The institution of the principle of distribution in accordance with work performed in the process of the building of socialism and the consistent implementation of this principle under the conditions of developed socialism are powerful factors in the establishment and consistent implementation of the principle of the universality of work. In the course of the building of communism, payment in accordance with work done will remain the principal source of growth of incomes. Therefore, the completeness of satisfaction of people's requirements (...) and their prosperity depend predominantly on the amount and quality of the work given to society. However, a high level of communist consciousness presumes not merely participation in social labor but a perceived need to work as efficiently and productively as possible. (shrink)

This study offers a critical analysis of Husserl's theory of meaning. The author commences by delineating the position and function of Husserl's meaning theory in the sum total of his phenomenological philosophy. He goes on to demonstrate that this theory was conceived as an integral component of Husserl's theory of knowledge. (edited).

V. C. Chappell; IV*—Stuff and Things, Proceedings of the Aristotelian Society, Volume 71, Issue 1, 1 June 1971, Pages 61–76, https://doi.org/10.1093/aristotelia.

This set reprints volumes that were orginally published by Routledge and Kegan Paul Ltd. in 1953. Landmark volumes at the time of their original publication, these titles do not merely expound the theoretical constructions of Russian philosophers, but also relate these constructions to the general conditions of Russian life. Volume One examines the historical conditions of the development of philosophy in Russia and explores the general features of Russian philosophy. It also surveys the principal works on the history of Russian (...) philosophy. Volume Two includes biographies and examination of the themes of the following philosophers; Vladimir Solovyov, V.D. Kudryavtsev, N.F. Fyodorov and Later Hegelians such as Chicherin, Debolski and Bakunin. This volume also provides analysis of various schools of thought in Russian philosophy in the twentieth century, for example; Neo-Leibzianism, Modern Positivism and New-Marxism to name but a few. (shrink)

We define proof nets for cyclic multiplicative linear logic as edge bi-coloured graphs. Our characterization is purely graph theoretical and works without further complication for proof nets with cuts, which are usually harder to handle in the non-commutative case. This also provides a new characterization of the proof nets for the Lambek calculus (with the empty sequence) which simply are a restriction on the formulas to be considered (which are asked to be intuitionistic).