15,080 research outputs found
PrIC3: Property Directed Reachability for MDPs
IC3 has been a leap forward in symbolic model checking. This paper proposes
PrIC3 (pronounced pricy-three), a conservative extension of IC3 to symbolic
model checking of MDPs. Our main focus is to develop the theory underlying
PrIC3. Alongside, we present a first implementation of PrIC3 including the key
ingredients from IC3 such as generalization, repushing, and propagation
Measurement of the intrinsic damping constant in individual nanodisks of YIG and YIG{\textbar}Pt
We report on an experimental study on the spin-waves relaxation rate in two
series of nanodisks of diameter 300, 500 and 700~nm, patterned out of
two systems: a 20~nm thick yttrium iron garnet (YIG) film grown by pulsed laser
deposition either bare or covered by 13~nm of Pt. Using a magnetic resonance
force microscope, we measure precisely the ferromagnetic resonance linewidth of
each individual YIG and YIG{\textbar}Pt nanodisks. We find that the linewidth
in the nanostructure is sensibly smaller than the one measured in the extended
film. Analysis of the frequency dependence of the spectral linewidth indicates
that the improvement is principally due to the suppression of the inhomogeneous
part of the broadening due to geometrical confinement, suggesting that only the
homogeneous broadening contributes to the linewidth of the nanostructure. For
the bare YIG nano-disks, the broadening is associated to a damping constant
. A 3 fold increase of the linewidth is observed for
the series with Pt cap layer, attributed to the spin pumping effect. The
measured enhancement allows to extract the spin mixing conductance found to be
for our
YIG(20nm){\textbar}Pt interface, thus opening large opportunities for the
design of YIG based nanostructures with optimized magnetic losses.Comment: 4 pages, 3 figure
On the full Boltzmann equations for Leptogenesis
We consider the full Boltzmann equations for standard and soft leptogenesis,
instead of the usual integrated Boltzmann equations which assume kinetic
equilibrium for all species. Decays and inverse decays may be inefficient for
thermalising the heavy-(s)neutrino distribution function, leading to
significant deviations from kinetic equilibrium. We analyse the impact of using
the full kinetic equations in the case of a previously generated lepton
asymmetry, and find that the washout of this initial asymmetry due to the
interactions of the right-handed neutrino is larger than when calculated via
the integrated equations. We also solve the full Boltzmann equations for soft
leptogenesis, where the lepton asymmetry induced by the soft SUSY-breaking
terms in sneutrino decays is a purely thermal effect, since at T=0 the
asymmetry in leptons cancels the one in sleptons. In this case, we obtain that
in the weak washout regime (K ~< 1) the final lepton asymmetry can change up to
a factor four with respect to previous estimates.Comment: 34 pages, 6 figures, to be published in JCA
In Silico Approaches and the Role of Ontologies in Aging Research
The 2013 Rostock Symposium on Systems Biology and Bioinformatics in Aging Research was again dedicated to dissecting the aging process using in silico means. A particular focus was on ontologies, as these are a key technology to systematically integrate heterogeneous information about the aging process. Related topics were databases and data integration. Other talks tackled modeling issues and applications, the latter including talks focussed on marker development and cellular stress as well as on diseases, in particular on diseases of kidney and skin
Irreversibility in a simple reversible model
This paper studies a parametrized family of familiar generalized baker maps,
viewed as simple models of time-reversible evolution. Mapping the unit square
onto itself, the maps are partly contracting and partly expanding, but they
preserve the global measure of the definition domain. They possess periodic
orbits of any period, and all maps of the set have attractors with well defined
structure. The explicit construction of the attractors is described and their
structure is studied in detail. There is a precise sense in which one can speak
about absolute age of a state, regardless of whether the latter is applied to a
single point, a set of points, or a distribution function. One can then view
the whole trajectory as a set of past, present and future states. This
viewpoint is then applied to show that it is impossible to define a priori
states with very large "negative age". Such states can be defined only a
posteriori. This gives precise sense to irreversibility -- or the "arrow of
time" -- in these time-reversible maps, and is suggested as an explanation of
the second law of thermodynamics also for some realistic physical systems.Comment: 15 pages, 12 Postscript figure
Stability of quantized time-delay nonlinear systems: A Lyapunov-Krasowskii-functional approach
Lyapunov-Krasowskii functionals are used to design quantized control laws for
nonlinear continuous-time systems in the presence of constant delays in the
input. The quantized control law is implemented via hysteresis to prevent
chattering. Under appropriate conditions, our analysis applies to stabilizable
nonlinear systems for any value of the quantization density. The resulting
quantized feedback is parametrized with respect to the quantization density.
Moreover, the maximal allowable delay tolerated by the system is characterized
as a function of the quantization density.Comment: 31 pages, 3 figures, to appear in Mathematics of Control, Signals,
and System
A multilingual SLU system based on semantic decoding of graphs of words
In this paper, we present a statistical approach to Language
Understanding that allows to avoid the effort of obtaining new semantic
models when changing the language. This way, it is not necessary to acquire
and label new training corpora in the new language. Our approach
consists of learning all the semantic models in a target language and
to do the semantic decoding of the sentences pronounced in the source
language after a translation process. In order to deal with the errors and
the lack of coverage of the translations, a mechanism to generalize the
result of several translators is proposed. The graph of words generated
in this phase is the input to the semantic decoding algorithm specifically
designed to combine statistical models and graphs of words. Some experiments
that show the good behavior of the proposed approach are also
presented.Calvo Lance, M.; Hurtado Oliver, LF.; García Granada, F.; Sanchís Arnal, E. (2012). A multilingual SLU system based on semantic decoding of graphs of words. En Advances in Speech and Language Technologies for Iberian Languages. Springer Verlag (Germany). 328:158-167. doi:10.1007/978-3-642-35292-8_17S158167328Hahn, S., Dinarelli, M., Raymond, C., Lefèvre, F., Lehnen, P., De Mori, R., Moschitti, A., Ney, H., Riccardi, G.: Comparing stochastic approaches to spoken language understanding in multiple languages. IEEE Transactions on Audio, Speech, and Language Processing 6(99), 1569–1583 (2010)Raymond, C., Riccardi, G.: Generative and discriminative algorithms for spoken language understanding. In: Proceedings of Interspeech 2007, pp. 1605–1608 (2007)Tur, G., Mori, R.D.: Spoken Language Understanding: Systems for Extracting Semantic Information from Speech, 1st edn. Wiley (2011)Maynard, H.B., Lefèvre, F.: Investigating Stochastic Speech Understanding. In: Proc. of IEEE Automatic Speech Recognition and Understanding Workshop, ASRU (2001)Segarra, E., Sanchis, E., Galiano, M., García, F., Hurtado, L.: Extracting Semantic Information Through Automatic Learning Techniques. IJPRAI 16(3), 301–307 (2002)He, Y., Young, S.: Spoken language understanding using the hidden vector state model. Speech Communication 48, 262–275 (2006)De Mori, R., Bechet, F., Hakkani-Tur, D., McTear, M., Riccardi, G., Tur, G.: Spoken language understanding: A survey. IEEE Signal Processing Magazine 25(3), 50–58 (2008)Hakkani-Tür, D., Béchet, F., Riccardi, G., Tur, G.: Beyond ASR 1-best: Using word confusion networks in spoken language understanding. Computer Speech & Language 20(4), 495–514 (2006)Tur, G., Wright, J., Gorin, A., Riccardi, G., Hakkani-Tür, D.: Improving spoken language understanding using word confusion networks. In: Proceedings of the ICSLP. Citeseer (2002)Tur, G., Hakkani-Tür, D., Schapire, R.E.: Combining active and semi-supervised learning for spoken language understanding. Speech Communication 45, 171–186 (2005)Ortega, L., Galiano, I., Hurtado, L.F., Sanchis, E., Segarra, E.: A statistical segment-based approach for spoken language understanding. In: Proc. of InterSpeech 2010, Makuhari, Chiba, Japan, pp. 1836–1839 (2010)Sim, K.C., Byrne, W.J., Gales, M.J.F., Sahbi, H., Woodland, P.C.: Consensus network decoding for statistical machine translation system combination. In: IEEE Int. Conference on Acoustics, Speech, and Signal Processing (2007)Bangalore, S., Bordel, G., Riccardi, G.: Computing Consensus Translation from Multiple Machine Translation Systems. In: Proceedings of IEEE Automatic Speech Recognition and Understanding Workshop, ASRU 2001, pp. 351–354 (2001)Larkin, M.A., Blackshields, G., Brown, N.P., Chenna, R., McGettigan, P.A., McWilliam, H., Valentin, F., Wallace, I.M., Wilm, A., Lopez, R., Thompson, J.D., Gibson, T.J., Higgins, D.G.: ClustalW and ClustalX version 2.0. Bioinformatics 23(21), 2947–2948 (2007)Benedí, J.M., Lleida, E., Varona, A., Castro, M.J., Galiano, I., Justo, R., López de Letona, I., Miguel, A.: Design and acquisition of a telephone spontaneous speech dialogue corpus in Spanish: DIHANA. In: Proceedings of LREC 2006, Genoa, Italy, pp. 1636–1639 (May 2006
Inverse Spin Hall Effect in nanometer-thick YIG/Pt system
High quality nanometer-thick (20 nm, 7 nm and 4 nm) epitaxial YIG films have
been grown on GGG substrates using pulsed laser deposition. The Gilbert damping
coefficient for the 20 nm thick films is 2.3 x 10-4 which is the lowest value
reported for sub-micrometric thick films. We demonstrate Inverse spin Hall
effect (ISHE) detection of propagating spin waves using Pt. The amplitude and
the lineshape of the ISHE voltage correlate well to the increase of the Gilbert
damping when decreasing thickness of YIG. Spin Hall effect based
loss-compensation experiments have been conducted but no change in the
magnetization dynamics could be detected
Production of the neutral top-pion in association with a high- jet at the
In the framework of the topcolor-assisted technicolor model, we study
production of the neutral top-pion in association with a
high- jet at the , which proceeds via the partonic processes
, ,
, , and . We find
that it is very challenging to detect the neutral top-pion via
the process , while the
possible signatures of might be detected via the process
at the .Comment: 13 pages, 4 figures; typos correcte
- …