1,951 research outputs found
Using NLP tools in the specification phase
The software quality control is one of the main topics in the Software
Engineering area. To put the effort in the quality control during the
specification phase leads us to detect possible mistakes in an early
steps and, easily, to correct them before the design and implementation
steps start. In this framework the goal of SAREL system, a
knowledge-based system, is twofold. On one hand, to help software
engineers in the creation of quality Software Requirements
Specifications. On the other hand, to analyze the correspondence between
two different conceptual representations associated with two different
Software Requirements Specification documents.
For the first goal, a set of NLP and Knowledge management tools is
applied to obtain a conceptual representation that can be validated and
managed by the software engineer.
For the second goal we have established some correspondence measures in
order to get a comparison between two conceptual representations. This
information will be useful during the interaction.Postprint (published version
The Synonym management process in SAREL
The specification phase is one of the most important and least supported
parts of the software development process. The SAREL system has been
conceived as a knowledge-based tool to improve the specification phase.
The purpose of SAREL (Assistance System for Writing Software
Specifications in Natural Language) is to assist engineers in the
creation of software specifications written in Natural Language (NL).
These documents are divided into several parts. We can distinguish the
Introduction and the Overall Description as parts that should be used in
the Knowledge Base construction. The information contained in the
Specific Requirements Section corresponds to the information represented
in the Requirements Base. In order to obtain high-quality software
requirements specification the writing norms that define the linguistic
restrictions required and the software engineering constraints related
to the quality factors have been taken into account. One of the controls
performed is the lexical analysis that verifies the words belong to the
application domain lexicon which consists of the Required and the
Extended lexicon. In this sense a synonym management process is needed
in order to get a quality software specification. The aim of this paper
is to present the synonym management process performed during the
Knowledge Base construction. Such process makes use of the Spanish
Wordnet developed inside the Eurowordnet project. This process generates
both the Required lexicon and the Extended lexicon that will be used
during the Requirements Base construction.Postprint (published version
Perspectives in Neutrino Physics: Monochromatic Neutrino Beams
In the last few years spectacular results have been achieved with the
demonstration of non vanishing neutrino masses and flavour mixing. The ultimate
goal is the understanding of the origin of these properties from new physics.
In this road, the last unknown mixing must be determined. If it is
proved to be non-zero, the possibility is open for Charge Conjugation-Parity
(CP) violation in the lepton sector. This will require precision experiments
with a very intense neutrino source. Here a novel method to create a
monochromatic neutrino beam, an old dream for neutrino physics, is proposed
based on the recent discovery of nuclei that decay fast through electron
capture. Such nuclei will generate a monochromatic directional neutrino beam
when decaying at high energy in a storage ring with long straight sections. We
also show that the capacity of such a facility to discover new physics is
impressive, so that fine tuning of the boosted neutrino energy allows precision
measurements of the oscillation parameters even for a mixing as
small as 1 degree. We can thus open a window to the discovery of CP violation
in neutrino oscillations.Comment: 15 pages, 7 figures. Contribution to the proceedings of GUSTAVOFEST -
Symposium in Honour of Gustavo C. Branco: CP Violation and the Flavour
Puzzle, Lisbon, Portugal, 19-20 July 200
Sports foods and dietary supplements for optimal function and performance enhancement in track and field athletes
Numerous nutritional products are marketed with claims of optimizing athlete health and function and/or enhancing performance. Products that fall under the banner of “Sports Foods” or “Dietary Supplements,” may be used to support performance during training and competition or for enhancing aspects of training adaptation, recovery, immune function, and/or overall athlete health. Effective marketing campaigns and athlete endorsements may convince us that certain sports foods and supplements are fundamental in allowing athletes to reach their sporting goals. However, this approach is naive in understanding the true foundations of athlete success, such as the inherent genetic predisposition for athletic characteristics, the many hours of well-structured/periodized training, appropriate underlying nutrition, adequate sleep and recovery, and of course, good overall physical and mental health. Nevertheless, if these variables are all accounted for, there may be a role for sports foods and dietary supplements in an athlete’s training and competition routine, particularly within elite sport where marginal performance gains are pursued. The following review presents general considerations for track-and-field athletes using sports foods and dietary supplements to enhance performance, in addition to exploring the potential therapeutic/prophylactic use of these nutritional aids
Physics Potential of the SPL Super Beam
Performances of a neutrino beam generated by the CERN SPL proton driver are
computed considering a 440 kton water Cerenkov detector at 130 km from the
target. sensitivity down to and a
sensitivity comparable to a Neutrino Factory, for ,
are within the reach of such a project.Comment: Invited talk at the Nufact02 Workshop, Imperial College of Science,
Technology and Medicine, London, July 200
Physics Potential of Very Intense Conventional Neutrino Beams
The physics potential of high intensity conventional beams is explored. We
consider a low energy super beam which could be produced by a proposed new
accelerator at CERN, the Super Proton Linac. Water Cherenkov and liquid oil
scintillator detectors are studied as possible candidates for a neutrino
oscillation experiment which could improve our current knowledge of the
atmospheric parameters and measure or severely constrain the parameter
connecting the atmospheric and solar realms. It is also shown that a very large
water detector could eventually observe leptonic CP violation. The reach of
such an experiment to the neutrino mixing parameters would lie in-between the
next generation of neutrino experiments (MINOS, OPERA, etc) and a future
neutrino factory.Comment: Talk given at the Venice Conference on Neutrino Telescopes, Venice,
March, 200
- …