Search
Now showing items 11-20 of 50
Rooted branching bisimulation as a congruence for probabilistic transition systems
(2015)
We propose a probabilistic transition system specification format, referred to as probabilistic RBB safe, for which rooted branching bisimulation is a congruence. The congruence theorem is based on the approach of Fokkink ...
Zoom : a corpus of natural language descriptions of map locations
(2015)
This paper describes an experiment to elicit referring expressions from human subjects for research in natural language generation and related fields, and preliminary results of a computational model for the generation of ...
Examples of extensions of hopf algebrasEjemplos de extensiones de álgebras de Hopf
(2015)
We give some examples of, and raise some questions on, extensions of semisimple Hopf algebras.
Smart sampling for lightweight verification of Markov decision processes
(2015)
Markov decision processes (MDP) are useful to model optimisation problems in concurrent systems. To verify MDPs with efficient Monte Carlo techniques requires that their nondeterminism be resolved by a scheduler. Recent ...
Dynamic characterization of crystalline and glass phases of deuterated 1,1,2,2 tetrachloroethane
(2015)
A thorough characterization of the γ, β, and glass phases of deuterated 1,1,2,2 tetrachloroethane (C2D2Cl4) via nuclear quadrupole resonance and Molecular Dynamic Simulations (MDSs) is reported. The presence of molecular ...
Structural and magnetic changes induced by electron and ion irradiation on HOPG
(2015)
In recent decades, many studies reported magnetism in carbon-based materials. This phenomenon was attributed to structural defects within the sample. Many authors showed an increase of magnetization in HOPG (Highly Oriented ...
Reaction rate in an evanescent random walkers system
(2015)
Diffusion mediated reaction models are particularly ubiquitous in the description of phys-ical, chemical or biological processes. The random walk schema is a useful tool for formu-lating these models. Recently, evanescent ...
A comparison of preschool and elementary school children learning computer science concepts through a multilanguage robot programming platform
(2015)
This paper describes a school intervention to teach fundamental Computer Science (CS) concepts to 3-11 year old students with a multilanguage robot programming platform (using drag and drop, Python and C++ languages) in ...
Monte Carlo simulation of characteristic secondary fluorescence in electron probe microanalysis of homogeneous samples using the splitting technique
(2015)
Electron probe microanalysis (EPMA) is based on the comparison of characteristic intensities induced by monoenergetic electrons. When the electron beam ionizes inner atomic shells and these ionizations cause the emission ...
Searches for continuous gravitational waves from nine young supernova remnants
(2015)
We describe directed searches for continuous gravitational waves (GWs) in data from the sixth Laser Interferometer Gravitational-wave Observatory (LIGO) science data run. The targets were nine young supernova remnants not ...