11 resultados para Ontological proof

em Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Published as an article in: Studies in Nonlinear Dynamics & Econometrics, 2004, vol. 8, issue 1, pages 5.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In 1972, Maschler, Peleg and Shapley proved that in the class of convex the nucleolus and the kernel coincide. The only aim of this note is to provide a shorter, alternative proof of this result.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Impact detection in aeronautical structures allows predicting their future reliability and performance. An impact can produce microscopic fissures that could evolve into fractures or even the total collapse of the structure, so it is important to know the location and severity of each impact. For this purpose, optical fibers with Bragg gratings are used to analyze each impact and the vibrations generated by them. In this paper it is proven that optical fibers with Bragg gratings can be used to detect impacts, and also that a high-frequency interrogator is necessary to collect valuable information about the impacts. The use of two interrogators constitutes the main novelty of this paper.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

[ES] En este trabajo se argumenta y se evidencia (con el análisis de algunos casos de empresas vascas), que para las empresas de servicios, la calidad y más concretamente la gestión de la calidad basada en los postulados de la filosofía de Gestión de Calidad Total y recogidos en modelos como el modelo EFQM de excelencia, es la vía esencial de diferenciación, competitividad y fidelización de la clientela. De ello se deriva también el papel esencial que en la competitividad de las empresas de servicios despeña el Marketing Interno.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

[ES] En el presente artículo se aborda el problema de la causalidad en las Ciencias Económicas. Partiendo de la diferenciación entre ciencias duras y blandas, y de la supuesta clasificicación de la economía en este segundo grupo, se realiza un análisis de los diferentes paradigmas ontológicos que soportan la investigación científica, para a continuación trasladar la causalidad desde el ámbito ontológico al gnoseológico. Posteriormente se profundiza en la conjunción de la metodología hipotético-deductiva con el método correlacional, generando una causalidad probabilística. Dicha causalidad, contextualizada de forma científica, permite la realización y contrastación de inferencias predictivas, a través de las cuales las Ciencias Ecnómicas pueden encontrar su ubicación en los niveles mas extrictos de la investigación científica.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

[ES]Los cateterismos venosos periféricos son los dispositivos que con mayor frecuencia se emplean en el acceso vascular para pacientes que se encuentran ingresados en unidades hospitalarias. Estos catéteres son reemplazados sistemáticamente cada tres o cuatro días para tratar de prevenir la flebitis como refleja la guía de Center for Disease control and prevention (CDC) y por extensión, nuestro sistema de salud de Osakidetza. Sin embargo, la evidencia que apoya esta práctica no está del todo cimentada.El objetivo de esta revisión bibliográfica es evaluar la efectividad de esta práctica clínica tan integrada en la vida diaria de los profesionales de enfermería mediante la evaluación de la evidencia científica existente hasta el momento.Se realizo una búsqueda exhaustiva en diferentes bases de datos electrónicas desde Octubre de 2012 hasta Abril del año 2013. Se descargaron los textos completos de aquellos artículos que pudiesen ser potencialmente útiles en el estudio y se analizaron bajo los criterios de inclusión y selección. Los siete artículos seleccionados como válidos no demuestran que sea necesario sustituir de forma sistemática el catéter venoso periférico así como lo defiende la CDC. Debido a ello, se podría abolir esta práctica clínica que reduciría significativamente el dolor y las molestias que sufren los pacientes día a día, el tiempo que el personal de enfermería dedica en este tipo de prácticas, además de todo el coste sanitario que ello con lleva.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Traditional software development captures the user needs during the requirement analysis. The Web makes this endeavour even harder due to the difficulty to determine who these users are. In an attempt to tackle the heterogeneity of the user base, Web Personalization techniques are proposed to guide the users’ experience. In addition, Open Innovation allows organisations to look beyond their internal resources to develop new products or improve existing processes. This thesis sits in between by introducing Open Personalization as a means to incorporate actors other than webmasters in the personalization of web applications. The aim is to provide the technological basis that builds up a trusty environment for webmasters and companion actors to collaborate, i.e. "an architecture of participation". Such architecture very much depends on these actors’ profile. This work tackles three profiles (i.e. software partners, hobby programmers and end users), and proposes three "architectures of participation" tuned for each profile. Each architecture rests on different technologies: a .NET annotation library based on Inversion of Control for software partners, a Modding Interface in JavaScript for hobby programmers, and finally, a domain specific language for end-users. Proof-of-concept implementations are available for the three cases while a quantitative evaluation is conducted for the domain specific language.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science

Relevância:

10.00% 10.00%

Publicador:

Resumo:

[EN] A new concept for fluid flow manipulation in microfluidic paper-based analytical devices ( µPADs) is presented by introducing ionogel materials as passive pumps. µPADs were fabricated using a new doubleside contact stamping process and ionogels were precisely photopolymerised at the inlet of the µPADs.The ionogels remain mainly on the surface of the paper and get absorbed in the superficial paper-fibers allowing for the liquid to flow from the ionogel into the paper easily. As a proof of concept the fluid flow and mixing behaviour of two different ionogels µPADs were compared with the non-treated µPADs.It was demonstrated that both ionogels highly affect the fluid flow by delaying the flow due to their different physical and chemical properties and water holding capacities.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Background Ubiquitination is known to regulate physiological neuronal functions as well as to be involved in a number of neuronal diseases. Several ubiquitin proteomic approaches have been developed during the last decade but, as they have been mostly applied to non-neuronal cell culture, very little is yet known about neuronal ubiquitination pathways in vivo. Methodology/Principal Findings Using an in vivo biotinylation strategy we have isolated and identified the ubiquitinated proteome in neurons both for the developing embryonic brain and for the adult eye of Drosophila melanogaster. Bioinformatic comparison of both datasets indicates a significant difference on the ubiquitin substrates, which logically correlates with the processes that are most active at each of the developmental stages. Detection within the isolated material of two ubiquitin E3 ligases, Parkin and Ube3a, indicates their ubiquitinating activity on the studied tissues. Further identification of the proteins that do accumulate upon interference with the proteasomal degradative pathway provides an indication of the proteins that are targeted for clearance in neurons. Last, we report the proof-of-principle validation of two lysine residues required for nSyb ubiquitination. Conclusions/Significance These data cast light on the differential and common ubiquitination pathways between the embryonic and adult neurons, and hence will contribute to the understanding of the mechanisms by which neuronal function is regulated. The in vivo biotinylation methodology described here complements other approaches for ubiquitome study and offers unique advantages, and is poised to provide further insight into disease mechanisms related to the ubiquitin proteasome system.