983 resultados para answer set programming
Resumo:
L'objectiu d'aquest projecte és aconseguir una distribució basada en el projecte Metadistros capaç d'arrencar des del CD. L'avantatge d'aquest tipus de distribucions és disposar de tot un sistema operatiu juntament amb tot un lot d'aplicacions sense necessitat d'instal·lar res al disc dur.
Resumo:
This guidance follows on from the publication of the Government's obesity strategy Healthy Weight, Healthy Lives: A Cross-Government strategy for England. The guidance provides advice to PCTs and local authorities on how to set child obesity goals as part of the Vital Signs and the National Indicator Set. This will be followed shortly with full guidance on developing local plans.
Resumo:
El treball realitzat analitza la manera com l'estàndard SQL:1999 ha incorporat a la seva especificació una sèrie de característiques pròpies de la tecnologia d'orientació a l'objecte. D'aquesta manera, l'estàndard mira de proporcionar als sistemes de gestió de bases de dades algunes de les funcionalitats exigides als sistemes de tercera generació. Aquests sistemes han d'incorporar altres característiques, que estan recollides a l'article Third Generation Database System Manifesto.
Resumo:
We present a method for segmenting white matter tracts from high angular resolution diffusion MR. images by representing the data in a 5 dimensional space of position and orientation. Whereas crossing fiber tracts cannot be separated in 3D position space, they clearly disentangle in 5D position-orientation space. The segmentation is done using a 5D level set method applied to hyper-surfaces evolving in 5D position-orientation space. In this paper we present a methodology for constructing the position-orientation space. We then show how to implement the standard level set method in such a non-Euclidean high dimensional space. The level set theory is basically defined for N-dimensions but there are several practical implementation details to consider, such as mean curvature. Finally, we will show results from a synthetic model and a few preliminary results on real data of a human brain acquired by high angular resolution diffusion MRI.
Resumo:
El proyecto pretende definir y crear un conjunto de utilidades y pautas de programación que permitan al programador implementar aplicaciones J2EE siguiendo el patrón de diseño MVC.
Resumo:
El projecte pretén definir i crear un conjunt d'utilitats i pautes de programació que permetin al programador implementar aplicacions J2EE seguint el patró de disseny MVC.
Analysis of a complete disjunctive table in which all the questions have the same set of categories.
Resumo:
Es discuteixen breument algunes consideracions sobre l'aplicació de la Teoria delsConjunts difusos a la Química quàntica. Es demostra aqui que molts conceptes químics associats a la teoria són adequats per ésser connectats amb l'estructura dels Conjunts difusos. També s'explica com algunes descripcions teoriques dels observables quàntics espotencien tractant-les amb les eines associades als esmentats Conjunts difusos. La funciódensitat es pren com a exemple de l'ús de distribucions de possibilitat al mateix temps queles distribucions de probabilitat quàntiques
Resumo:
Traditionally, compositional data has been identified with closed data, and the simplex has been considered as the natural sample space of this kind of data. In our opinion, the emphasis on the constrained nature ofcompositional data has contributed to mask its real nature. More crucial than the constraining property of compositional data is the scale-invariant property of this kind of data. Indeed, when we are considering only few parts of a full composition we are not working with constrained data but our data are still compositional. We believe that it is necessary to give a more precisedefinition of composition. This is the aim of this oral contribution
Resumo:
There are no validated criteria for the diagnosis of sensory neuronopathy (SNN) yet. In a preliminary monocenter study a set of criteria relying on clinical and electrophysiological data showed good sensitivity and specificity for a diagnosis of probable SNN. The aim of this study was to test these criteria on a French multicenter study. 210 patients with sensory neuropathies from 15 francophone reference centers for neuromuscular diseases were included in the study with an expert diagnosis of non-SNN, SNN or suspected SNN according to the investigations performed in these centers. Diagnosis was obtained independently from the set of criteria to be tested. The expert diagnosis was taken as the reference against which the proposed SNN criteria were tested. The set relied on clinical and electrophysiological data easily obtainable with routine investigations. 9/61 (16.4 %) of non-SNN patients, 23/36 (63.9 %) of suspected SNN, and 102/113 (90.3 %) of SNN patients according to the expert diagnosis were classified as SNN by the criteria. The SNN criteria tested against the expert diagnosis in the SNN and non-SNN groups had 90.3 % (102/113) sensitivity, 85.2 % (52/61) specificity, 91.9 % (102/111) positive predictive value, and 82.5 % (52/63) negative predictive value. Discordance between the expert diagnosis and the SNN criteria occurred in 20 cases. After analysis of these cases, 11 could be reallocated to a correct diagnosis in accordance with the SNN criteria. The proposed criteria may be useful for the diagnosis of probable SNN in patients with sensory neuropathy. They can be reached with simple clinical and paraclinical investigations.
Resumo:
This paper describes a new reliable method, based on modal interval analysis (MIA) and set inversion (SI) techniques, for the characterization of solution sets defined by quantified constraints satisfaction problems (QCSP) over continuous domains. The presented methodology, called quantified set inversion (QSI), can be used over a wide range of engineering problems involving uncertain nonlinear models. Finally, an application on parameter identification is presented
Resumo:
In This work we present a Web-based tool developed with the aim of reinforcing teaching and learning of introductory programming courses. This tool provides support for teaching and learning. From the teacher's perspective the system introduces important gains with respect to the classical teaching methodology. It reinforces lecture and laboratory sessions, makes it possible to give personalized attention to the student, assesses the degree of participation of the students and most importantly, performs a continuous assessment of the student's progress. From the student's perspective it provides a learning framework, consisting in a help environment and a correction environment, which facilitates their personal work. With this tool students are more motivated to do programming
Resumo:
Our purpose is to provide a set-theoretical frame to clustering fuzzy relational data basically based on cardinality of the fuzzy subsets that represent objects and their complementaries, without applying any crisp property. From this perspective we define a family of fuzzy similarity indexes which includes a set of fuzzy indexes introduced by Tolias et al, and we analyze under which conditions it is defined a fuzzy proximity relation. Following an original idea due to S. Miyamoto we evaluate the similarity between objects and features by means the same mathematical procedure. Joining these concepts and methods we establish an algorithm to clustering fuzzy relational data. Finally, we present an example to make clear all the process
Resumo:
The aim of this work was to establish a modified pre-diagnostic polymerase chain reaction (PCR) protocol using a single primer set that enables successful amplification of a highly conserved mammalian sequence in order to determine overall sample DNA quality for multiple mammalian species that inhabit areas endemic for leishmaniasis. The gene encoding interphotoreceptor retinoid-binding protein (IRBP), but not other conserved genes, was efficiently amplified in DNA samples from tail skin, ear skin, bone marrow, liver and spleen from all of the species tested. In tissue samples that were PCR-positive for Leishmania, we found that DNA from 100%, 55% and 22% of the samples tested resulted in a positive PCR reaction for the IRBP, beta-actin and beta-globin genes, respectively. Nucleotide sequencing of an IRBP amplicon resolved any questions regarding the taxonomical classification of a rodent, which was previously based simply on the morphological features of the animal. Therefore, PCR amplification and analysis of the IRBP amplicon are suitable for pre-diagnostically assessing DNA quality and identifying mammalian species living in areas endemic to leishmaniasis and other diseases.
Resumo:
Este Proyecto Fin de Carrera tiene como principal objetivo el desarrollo de una aplicación web que permita el registro de profesores y usuarios dentro de ella, con el fin de que los profesores elaboren cuestionarios con preguntas de diversa índole (preguntas con más de una respuesta correcta, con varias respuestas entre las que se deberá elegir una de ellas, respuestas textuales, etc.) y los alumnos responder a ellas.