Search results for "Program"

Spatialization of the Semantic Web

2012

syntax for Horn-like rules. The SWRL as the form, antecedentconsequent, where both antecedent and consequent are conjunctions of atoms written a1^ ... ^ an. Atoms in rules can be of the form C(x), P(x,y), Q(x,z), sameAs(x,y), differentFrom(x,y), or builtIn(pred, z1, ..., zn), where C is an OWL description, P is an OWL individual-valued property, Q is an OWL data-valued property, pred is a datatype predicate URIref, x and y are either individual-valued variables or OWL individuals, and z, z1, ... zn are either data-valued variables or OWL data literals. An OWL data literal is either a typed literal or a plain literal. Variables are indicated by using the standard convention of prefixing the…

Working with Multiple Ontologies on the Semantic Web.

2016

The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with multiple distinct, but linked, ontologies. OWL provides the owl:imports construct which, roughly, allows Web ontologies to include other Web ontologies, but only by merging all the linked ontologies into a single logical "space". Recent work on multidimensional logics, fusions and other combinations of modal logics, distributed and contextual logics, and the like have tried to find formalisms wherein knowledge bases (and their logic) are kept more distinct but yet affect each other. These formalisms have various …

Specific protocol (SENSLOG) over TCP/IP for sensors applications

2005

The objective is to obtain an embedded system using a microcontroller that will communicate with other devices over a specific protocol (SENSLOG) over TCP/IP for sensors applications. The protocol has been designed for this application, but the commands are generic. They can be used for any type of sensing. We must take into account that this program will run in a microcontroller and it will communicate with another program running in a PC. The protocol is based on commands, like SMTP. From the PC we will send commands to the microcontroller to do specific tasks, and if it is necessary, the microcontroller will answer to the PC. Some of the functions designed for this protocol are: to contr…

OntoSTEP: Enriching product model data using ontologies

2012

The representation and management of product lifecycle information is critical to any manufacturing organization. Different modeling languages are used at different lifecycle stages, for example STEP's EXPRESS may be used at a detailed design stage, while UML may be used for initial design stages. It is necessary to consolidate product information created using these different languages to build a coherent knowledge base. In this paper, we present an approach to enable the translation of STEP schema and its instances to Ontology Web Language (OWL). This gives a model-which we call OntoSTEP-that can easily be integrated with any OWL ontologies to create a semantically rich model. As an examp…

1983 mayo. Las elecciones autonómicas y locales. 8 de mayo de 1983. Comunidad Valenciana. Materiales, Publicaciones

2006

Este documento contiene diversos papeles sobre Las elecciones autonómicas y locales. 8 de mayo de 1983 en la Comunidad Valenciana. Programa electoral PSPV-PSOE. Generalitat Valenciana. Manual del candidato. «Por el pueblo». Sondeos de opinión. Instituciones de la Generalitat 1984, etc.

Model wielowymiarowej profilaktyki pozytywnej w teorii i praktyce pedagogicznej

2019

Artykuł opisuje teoretyczne oraz empiryczne założenia autorskiego modelu wielowymiarowej profilaktyki pozytywnej. Ponadto prezentuje sposób jego urzeczywistnienia w praktyce pedagogicznej, przedstawiając strukturę autorskiego programu profilaktycznego Wsparcie wielowymiarowego rozwoju młodzieży, zrealizowanego wśród wychowanków Domu Dziecka w Chmielowicach. Teoretyczne podstawy modelu odnoszą się do teorii głównych i teorii szczegółowych. Natomiast założenia empiryczne sprowadzają się do metodyki konstruowania programów profilaktycznych, a więc kryteriów doboru i metod oddziaływań profilaktycznych, uczestników oraz strategii ewaluacyjnej. Model wielowymiarowej profilaktyki pozytywnej w prak…

Une formation pédagogique peut-elle modifier les conceptions de jeunes enseignants universitaires sur l’apprentissage et l’enseignement ?

2012

Nous analysons l’évolution des conceptions de l’apprentissage et de l’enseignement de jeunes enseignants universitaires à l’issue d’une formation en pédagogie universitaire, grâce à des informations de formations collectées lors de sessions de formation de l’Université de Bourgogne. Nous montrons que les conceptions à l’entrée et à la sortie de formation apparaissent variées et que celles-ci sont liées aux disciplines, à l’expérience et au projet professionnel. Les participants considèrent avoir changé de conceptions au terme de la formation. Ceux qui ont des visions nuancées et centrées d’emblée sur l’apprenant sont toutefois davantage influencés par la formation pédagogique.

An effective approach for the maintenance scheduling in large systems with required reliability level: A case study

2015

This paper deals with the problem of the maintenance scheduling in a multi-component system for which a required reliability level has to be warranted until the next planned stop for maintenance. Particularly, the tackled problem concerns both the determination of the elements set on which to perform preventive maintenance and the optimal number of maintenance crews in order to warranty the required reliability level at the minimum maintenance cost. The problem is formulated as a mathematical programming model that becomes very hard to solve for large practical systems. For such reason, a new effective approach based on a constrained genetic algorithm is herein proposed and tested with refe…

Il problema della continuità educativa nella scuola dell’obbligo: continuità e programmi nella scuola di base. Parte Seconda.

2004

The accreditation system of Italian medical residency programs: fostering quality and sustainability of the National Health Service

2020

Summary. Background and aim: In June 2017, University and Health Ministries jointly enacted a decree imple-menting a new accreditation system for the Italian post-graduate medical schools (residency programs). We report the innovations introduced through the reform. Methods: Universities were called to submit post-gradu-ate medical school projects to the National Observatory on medical residency programs, the inter-institutional committee responsible for the entire accreditation process, through an interactive web platform. The adherence to minimum standards, requirements and the performances were measured. After this first assessment, universities were asked to provide programs of improvem…