Faced with the need to quantify software (un)reliability in the presence of faults, the semantics of state-based systems is urged to evolve towards quantified (e.g. probabilistic) nondeterminism. When one is approaching such semantics from a categorical perspective, this inevitably calls for some technical elaboration, in a monadic setting. This paper proposes that such an evolution be undertaken without sacrif...
This paper presents an optical fiber sensor, that uses surface plasmon resonance on metallic wires to directly and simultaneously measure both the refractive index and the temperature. The sensor is constituted by gold wires on a D-type fiber engineered, using numerical simulations based on the finite-element method to support plasmon modes with strong dependencies to either one of the measured parameters. In p...
Human pluripotent stem cell-based in vitro models that reflect human physiology have the potential to reduce the number of drug failures in clinical trials and offer a cost-effective approach for assessing chemical safety. Here, human embryonic stem (ES) cell-derived neural progenitor cells, endothelial cells, mesenchymal stem cells, and microglia/macrophage precursors were combined on chemically defined polyet...
Aim of study: The study aims to evaluate the maximum potential stocking level in cork oak (Quercus suber L.) woodlands, using the ecologically-based size-density relationship of the self-thinning law. Area of study: The study area refers to cork oak forests in mainland Portugal, distributed along its 18 districts from north to south. Material and Methods: A dataset with a total of 2181 observations regarding pu...
A critical question in tapping behavior is to understand whether the temporal control is exerted on the duration and trajectory of the downward-upward hand movement or on the pause between hand movements. In the present study, we determined the duration of both the movement execution and pauses of monkeys performing a synchronization-continuation task (SCT), using the speed profile of their tapping behavior. We...
In this work a theoretical and experimental analysis of the spectrum of methylene blue is made in order to clarify the nature of the shoulder appearing at ∼620 nm. This shoulder has been several times attributed to the existence of an hypothetical methylene blue dimer. The results here obtained do not agree with the existence of such a dimeric specie, and point out differences in the ionic strength of the...
We describe the use of a phase-sensitive optical time domain reflectometer (phi OTDR) over an ultra-long Raman fiber laser cavity allowing fully distributed detection of vibrations over 125 km. Compared to a first-order Raman-assisted phi OTDR, this scheme shows an enhanced signal-to-noise ratio (SNR). This is due to the fact that the relative intensity noise introduced by the Raman amplification is mostly tran...
The use of keyboard and mouse combinations to navigate 3D environments of virtual worlds requires the coordination of both hands in order for the 2D degrees of motion of the mouse to transform into the variety of motions available in a 3D space. Such coordination may pose a challenge to people with motor disabilities. 3D controllers known as "3D mice" are presented by manufacturers as significant interface alte...