Toward a simulation approach for alkene ring-closing metathesis : scope and limitations of a model for RCM

A published model for revealing solvent effects on the ring-closing metathesis (RCM) reaction of di-Et diallylmalonate 7 has been evaluated over a wider range of conditions, to assess its suitability for new applications. Unfortunately, the model is too flexible and the published rate consts. do not agree with exptl. studies in the literature. However, by fixing the values of important rate consts. and restricting the concn. ranges studied, useful conclusions can be drawn about the relative rates of RCM of different substrates, precatalyst concn. can be simulated accurately and the effect of precatalyst loading can be anticipated. Progress has also been made toward applying the model to precatalyst evaluation, but further modifications to the model are necessary to achieve much broader aims

The state, civil society and social rights in contemporary Russia

peerreview_statement: The publishing and review policy for this title is described in its Aims & Scope. aims_and_scope_url: http://www.tandfonline.com/action/journalInformation?show=aimsScope&journalCode=fjcs21peerreview_statement: The publishing and review policy for this title is described in its Aims & Scope. aims_and_scope_url: http://www.tandfonline.com/action/journalInformation?show=aimsScope&journalCode=fjcs2

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

The Radioecology Exchange

The Radioecology Exchange (www.radioecology-exchange.org) was created in 2011 under the EU FP7 STAR (STrategy for Allied Radioecology, www.star-radioecology.org) Network of Excellence; (2011-2015). This project aims to integrate radioecological research efforts of European organisations into a sustainable network. In 2013, the EU FP7 COMET (COordination and iMplementation of a pan-European instrumenT for radioecology (2013- 2017); www.comet-radioecology.org) project commenced; COMET will build upon the work initiated under STAR. The Radioecology Exchange has therefore become the web resource for activities from both projects which will ultimately be maintained by the European Radioecology Alliance (ALLIANCE; www.er-alliance.org). The Radioecology Exchange is intended to become a ‘gateway’ for information related to European (and wider) radioecological research

Linac-LHC EP Collider Options

We describe various parameter scenarios for a ring-linac ep collider based on LHC and an independent electron linac. Luminosities between $10^{31}$ and $10^{33} cm^{-2}s^{-1}$ can be achieved with a s.c. linac, operated either in pulsed or in cw mode, with optional recirculation, at a total electric wallplug power of order 20 MW. Higher luminosities, of several $10^{33} cm^{-2}s^{-1}$ can be reached by investing more electric power or by energy recovery. Finally, merits of a linac-ring ep collider are discussed

The radiolarian fauna at the ice edge in the Greenland Sea during summer, 1988

Radiolaria were sampled from the plankton at 18 stations during two cruises in the Greenland Sea during summer, 1988. A total of 43 species or categories of radiolaria was found, but over 90% of the radiolarian fauna was dominated by adults or juveniles of 4 species: the spumellarian, Actinomma leptodermum and the nassellaria, Amphimelissa setosa, Pseudodictyophimus gracilipes, and Peridium longispinum. The stations sampled ranged from ice-covered areas high in nutrients to open water areas which were depleted in nutrients. These stations encompassed a gradient in the composition of the radiolarian fauna from an assemblage dominated by juveniles and adults of A. setosa and P. gracilipes at the ice edge to one dominated by Actinomma juveniles, A. leptodermum, and P. longispinum in open water. The total abundance of radiolaria correlated with integrated phaeopigment, but not with chlorophyll a. In discriminant function analysis the \u27ice edge\u27 radiolarian species listed above correlated well with chlorophyll a and phaeopigments, while the \u27open water\u27 species did not. Several water masses occur in the area, which complicates the interpretation considerably, but the data are consistent with the development of a radiolarian population in tempo with, and in all probability linked successionally to the development of the phytoplankton—microplankton bloom

The multimodal space of learning: Report from an ICT-project in teacher education at BUC/HiB - Norway

report from an ICT-Project in teacher education BUC/HiB - NorwayThis report describes an experimental development in teacher education. The main goal with the project was to increase the students’ learning outcome by creating a better ICT-supported learning environment. The research question was focusing on how our variant of blended learning influenced the learning environment within the frames of teacher education in Norway. The didactical design was based on a mix of blended learning, flipped classroom, traditional lectures and strictly organized seminar-groups. The conclusions of the project focuses on how the challenges are no longer ICT-skills or hardware, but the need of pedagogical, professional judgment to act in a holistic, complex multimodal space of learnin

The Large Hadron-Electron Collider (LHEC) at the LHC

Sub-atomic physics at the energy frontier probes the structure of the fundamental quanta of the Universe. The Large Hadron Collider (LHC) at CERN opens for the first time the ‘terascale’ (TeV energy scale) to experimental scrutiny, exposing the physics of the Universe at the subattometric (∼ 10−19 m, 10−10 as) scale. The LHC will also take the science of nuclear matter to hitherto unparalleled energy densities. The hadron beams, protons or ions, in the LHC underpin this horizon, and also offer new experimental possibilities at this energy scale. A Large Hadron electron Collider, LHeC, in which an electron (positron) beam of energy 60 to 140 GeV is in collision with one of the LHC hadron beams, makes possible terascale leptonhadron physics. The LHeC is presently being evaluated in the form of two options, ‘ring-ring’ and ‘linac-ring’, either of which operate simultaneously with pp or ion-ion collisions in other LHC interaction regions. Each option takes advantage of recent advances in radio-frequency, in linear acceleration, and in other associated technologies, to achieve ep luminosity as large as 1033 cm−2s−1

A Large Hadron Electron Collider at CERN

This document provides a brief overview of the recently published report on the design of the Large Hadron Electron Collider (LHeC), which comprises its physics programme, accelerator physics, technology and main detector concepts. The LHeC exploits and develops challenging, though principally existing, accelerator and detector technologies. This summary is complemented by brief illustrations of some of the highlights of the physics programme, which relies on a vastly extended kinematic range, luminosity and unprecedented precision in deep inelastic scattering. Illustrations are provided regarding high precision QCD, new physics (Higgs, SUSY) and electron-ion physics. The LHeC is designed to run synchronously with the LHC in the twenties and to achieve an integrated luminosity of O(100) fb$^{-1}$. It will become the cleanest high resolution microscope of mankind and will substantially extend as well as complement the investigation of the physics of the TeV energy scale, which has been enabled by the LHC