38,037 research outputs found
From Monologue to Dialogue: Natural Language Generation in OVIS
This paper describes how a language generation system that was originally designed for monologue generation, has been adapted for use in the OVIS spoken dialogue system. To meet the requirement that in a dialogue, the system's utterances should make up a single, coherent dialogue turn, several modifications had to be made to the system. The paper also discusses the influence of dialogue context on information status, and its consequences for the generation of referring expressions and accentuation
Multiple verification in computational modeling of bone pathologies
We introduce a model checking approach to diagnose the emerging of bone
pathologies. The implementation of a new model of bone remodeling in PRISM has
led to an interesting characterization of osteoporosis as a defective bone
remodeling dynamics with respect to other bone pathologies. Our approach allows
to derive three types of model checking-based diagnostic estimators. The first
diagnostic measure focuses on the level of bone mineral density, which is
currently used in medical practice. In addition, we have introduced a novel
diagnostic estimator which uses the full patient clinical record, here
simulated using the modeling framework. This estimator detects rapid (months)
negative changes in bone mineral density. Independently of the actual bone
mineral density, when the decrease occurs rapidly it is important to alarm the
patient and monitor him/her more closely to detect insurgence of other bone
co-morbidities. A third estimator takes into account the variance of the bone
density, which could address the investigation of metabolic syndromes, diabetes
and cancer. Our implementation could make use of different logical combinations
of these statistical estimators and could incorporate other biomarkers for
other systemic co-morbidities (for example diabetes and thalassemia). We are
delighted to report that the combination of stochastic modeling with formal
methods motivate new diagnostic framework for complex pathologies. In
particular our approach takes into consideration important properties of
biosystems such as multiscale and self-adaptiveness. The multi-diagnosis could
be further expanded, inching towards the complexity of human diseases. Finally,
we briefly introduce self-adaptiveness in formal methods which is a key
property in the regulative mechanisms of biological systems and well known in
other mathematical and engineering areas.Comment: In Proceedings CompMod 2011, arXiv:1109.104
Method for finding metabolic properties based on the general growth law. Liver examples. A General framework for biological modeling
We propose a method for finding metabolic parameters of cells, organs and
whole organisms, which is based on the earlier discovered general growth law.
Based on the obtained results and analysis of available biological models, we
propose a general framework for modeling biological phenomena and discuss how
it can be used in Virtual Liver Network project. The foundational idea of the
study is that growth of cells, organs, systems and whole organisms, besides
biomolecular machinery, is influenced by biophysical mechanisms acting at
different scale levels. In particular, the general growth law uniquely defines
distribution of nutritional resources between maintenance needs and biomass
synthesis at each phase of growth and at each scale level. We exemplify the
approach considering metabolic properties of growing human and dog livers and
liver transplants. A procedure for verification of obtained results has been
introduced too. We found that two examined dogs have high metabolic rates
consuming about 0.62 and 1 gram of nutrients per cubic centimeter of liver per
day, and verified this using the proposed verification procedure. We also
evaluated consumption rate of nutrients in human livers, determining it to be
about 0.088 gram of nutrients per cubic centimeter of liver per day for males,
and about 0.098 for females. This noticeable difference can be explained by
evolutionary development, which required females to have greater liver
processing capacity to support pregnancy. We also found how much nutrients go
to biomass synthesis and maintenance at each phase of liver and liver
transplant growth. Obtained results demonstrate that the proposed approach can
be used for finding metabolic characteristics of cells, organs, and whole
organisms, which can further serve as important inputs for many applications in
biology (protein expression), biotechnology (synthesis of substances), and
medicine.Comment: 20 pages, 6 figures, 4 table
Quantum Cryptography Beyond Quantum Key Distribution
Quantum cryptography is the art and science of exploiting quantum mechanical
effects in order to perform cryptographic tasks. While the most well-known
example of this discipline is quantum key distribution (QKD), there exist many
other applications such as quantum money, randomness generation, secure two-
and multi-party computation and delegated quantum computation. Quantum
cryptography also studies the limitations and challenges resulting from quantum
adversaries---including the impossibility of quantum bit commitment, the
difficulty of quantum rewinding and the definition of quantum security models
for classical primitives. In this review article, aimed primarily at
cryptographers unfamiliar with the quantum world, we survey the area of
theoretical quantum cryptography, with an emphasis on the constructions and
limitations beyond the realm of QKD.Comment: 45 pages, over 245 reference
- …