Filetype
We present the DEAL language for heap assertions that are efficiently evaluated during garbage collection time. DEAL is a rich, declarative, logic-based language whose programs are guaranteed to be executable with good whole-heap locality, i.e., within a single traversal over every live object on the heap and a finite neighborhood around each object. As a result, evaluating DEAL programs incurs ne
We present SMITE, a toolbox for the measurement of eye movements using eye trackers manufactured by SMI GmbH. The toolbox provides a wrapper around the iViewX SDK provided by SMI, allowing simple integration of SMI eye trackers into Psychophysics Toolbox and PsychoPy programs. The toolbox provides a graphical interface for participant setup and calibration that is implemented natively in Psychophy
The paper suggests conditions for presence of quadratic Lyapunov functions for nonlinear observer based feedback systems with an 'input nonlinearity' in the feedback path. Provided that the system using state feedback satisfies the Circle Criterion (i.e., when all states can be measured), we show that the extended system with only output feedback control from a (full state) Luenberger-type observe
We present post-compression of a TW class laser in a planar hollow waveguide. The viability of the compressed pulses for applications in strong-field physics is demonstrated by generating high-order harmonics in a gas jet.
For a firm in an open source software (OSS) ecosystem, the requirements engineering (RE) process is rather multifaceted. Apart from its typical RE process, there is a competing process, external to the firm and inherent to the firm’s ecosystem. When trying to impose an agenda in competition with other firms, and aiming to align internal product planning with the ecosystem’s RE process, firms need
A new carbon isotope record with conodont biostratigraphy is presented for the entire Early Triassic from the Musandam Peninsula, United Arab Emirates (UAE). This is a near-continuous and exclusively shallow marine carbonate succession that allows analysis of a high-resolution primary carbon cycling signature in the absence of significant depth-dependent or lithologic controls. The Musandam carbon
The possibility of analysis by the detection of elastically scattered particles for carbon, nitrogen, oxygen and also hydrogen determination in the fine mode of aerosols has been investigated. The main objectives in this study have been to find suitable projectiles (protons or alpha particles) and projectile energy, in order to obtain separated peaks for the elements of interest and to achieve hig
Despite the initial promise of immunotherapy for CNS disease, multiple recent clinical trials have failed. This may be due in part to characteristically low penetration of antibodies to cerebrospinal fluid (CSF) and brain parenchyma, resulting in poor target engagement. We here utilized transcranial macroscopic imaging to noninvasively evaluate in vivo delivery pathways of CSF fluorescent tracers.
The fourth version of the Ariadne program for generating QCD cascades in the colour dipole approximation is presented. The underlying physics issues are discussed and a manual for using the program is given together with a few sample programs.The major changes from previous versions are the introduction of photon radiation from quarks and inclusion of interfaces to the LEPTO and PYTHIA programs.
Portugal has a unitary system in which the central government transfers funds to lower government levels for their public functions. In 2007, Portugal introduced Ecological Fiscal Transfers (EFT), where municipalities receive transfers for hosting protected areas (PA). We study whether introducing EFT in Portugal incentivized municipalities to designate PA and has led to a decentralization of cons
Along with the review of the technological frame that will be available at the Extreme Light Infrastructure Attosecond Light Pulse Source (ELI-ALPS) we present considerations applicable to large-scale attosecond sources driven by high-power laser pulses.
We propose that impaired complement function enhances a pathogenetic vicious circle in SLE. In this process, induction and clearance of apoptotic cells is central. Apoptosis could be triggered by various etiological factors, such as infection, UV light, and drug reactions. Clearance of apoptotic material is reduced when complement function is impaired. Apoptosis leads to increased exposure of nucl
To date, the best daylighting assessment technique is provided by climate-based simulation tools, which require remarkable efforts to create and calibrate realistic models. The data-driven approaches represent an interesting opportunity to support the physics-based modelling. This work proposes a novel method aimed at the optimization of energy use and luminous environment for a set of lighting co
Although researchers across the social sciences speak of a linguistic turn, most research exploring culture still assumes a traditional perspective on language, which conceives meaning as representation. Yet, Wittgenstein convincingly criticized the epistemological basis of such a perspective, offering an alternative view on language. The paper begins by explaining the central points of a performa
AimThe aim was an in‐depth exploration of uncertainty and self‐efficacy among parents of a child with congenital cataract by means of two theoretical frameworks to re‐design family care.DesignA directed content analysis in accordance with Hsieh & Shannon, using Mishel's theory of uncertainty and Bandura's self‐efficacy theory.MethodsOpen‐ended, in‐depth interviews were conducted with 23 parent
A series of comparative studies is suggested, focused on perceptions of outrigger canoes, and aimed at an increased understanding of the relationship between social relations, biodiversity, and sustainable development in Oceanic societies on small islands and in coastal areas undergoing rapid cultural change. After a critique of the recent notion that canoe-building in Polynesia developed as a res
Abstract—Denna artikel beskriver hur undervisningen i grundkursen i mekanik för maskinteknik förändrades för att främja djupinlärning hos studenterna och öka examinationsfrekvensen. Strategin var baserad på utökade möjligheter för aktiv inlärning och styrning av inlärning genom att införa förändringar i examinationen. Under kursens gång implementerades kontinuerlig examination med inlämningsuppgif
Abstract not available.
