Search
Now showing items 111-120 of 225
Multi-characterization of electron-induced defects in highly oriented pyrolytic graphite
(2016)
Engineering the properties of materials through defects is at the forefront of research in Materials Science. Here, we investigate the defects produced on highly oriented pyrolytic graphite (HOPG) samples irradiated with ...
Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
(2014)
Probabilistic transition system specifications (PTSS) provide structural operational semantics for reactive probabilistic labeled transition systems. Bisimulation equivalences and bisimulation metrics are fundamental notions ...
Improved upper limits on the stochastic gravitational-wave background from 2009-2010 LIGO and Virgo data
(2014)
Gravitational waves from a variety of sources are predicted to superpose to create a stochastic
background. This background is expected to contain unique information from throughout the history of
the Universe that is ...
Modeling spatial patterns in the visual cortex
(2014)
We propose a model for the formation of patterns in the visual cortex. The dynamical units of the model are Kuramoto phase oscillators that interact through a complex network structure embedded in two dimensions. In this ...
Magnetite NPs@C with highly-efficient peroxidase-like catalytic activity as an improved biosensing strategy for selective glucose detection
(2014)
This work reports the novel application of carbon-coated magnetite nanoparticles (mNPs@C) as catalytic nanomaterial included in a composite electrode material (mNPs@C/CPE) taking advantages of their intrinsic peroxidase-like ...
Improving furosemide polymorphs properties through supramolecular complexes of beta-cyclodextrin
(2014)
In this work, complexes of β-cyclodextrin and the two solid forms of furosemide were prepared and characterized for their potential pharmaceutical applications, with the interactions between the two compounds being studied ...
Time-reversal focusing and space-time control of interferences :
(2010-03)
La focalización de ondas acústicas que se propagan por un medio inhomogéneo fue lograda con éxito a través del procedimiento conocido como espejo de reversión temporal (TRM). En este experimento, las ondas salientes son ...
Magnitude modelling of HRTF using principal component analysis applied to complex values
(2014)
Principal components analysis (PCA) is frequently used for modelling the magnitude of the head related transfer functions (HRTFs). Assuming that the HRTFs are minimum phase systems, the phase is obtained from the Hilbert ...
Pure type systems with explicit substitutions
(2015)
We introduce a new formulation of pure type systems (PTSs) with explicit substitution and
de Bruijn indices and formally prove some of its meta-theory. Using techniques based on
Normalisation by Evaluation, we prove that ...
Geometrical guidance and trapping transition of human sperm cells
(2014)
The guidance of human sperm cells under confinement in quasi-2D microchambers is investigated using a purely physical method to control their distribution. Transport property measurements and simulations are performed with ...