Search results for "Format"
showing 10 items of 24643 documents
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value
2023
We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of "is defined" is extended to terms and formulas via a straightforward recursive algorithm. The "is defined" formulas are constructed so that they themselves are always defined. The completeness proof relies on the Henkin construction. For each formula, precisely one of the formula, its negation, and the negation of its "is defined" formula is true on the constructed model. Many other ternary logics in the literature can be reduced to ours. Partial functions …
ACCEM observation strategy.
2006
International audience; ACCEM is an NGO that works in favour of refugees and immigrants in Spain. Since 1996, ACCEM has developed a strategy of observation that articulates national observation and local observatories. The objective of the local observatories is to improve the services which are offered to the migrants, thanks to a better knowledge of their needs and to the use of tools of territorial intelligence, CATALYSE and the trees of knowledge. Since 1996, the Gorion national observatory has gathered in Madrid the individual data of migrants from the regional centres and from the different programmes that were carried out by ACCEM. It provides a wider knowledge of the migrants and of…
L'acteur culturel en son territoire
2011
National audience
Invitation, scène, territoire
2009
Based on a study of an online diploma we propose a model to analyse collective media spaces. The model takes into account the spatial turn for online mediated spaces and seeks to acknowledge the spatial nature of such spaces. Our model allows us to include notions like change, cultural identity and emerging communities. It can be used to analyse other media spaces, beyond its initial target, online learning spaces, be it traditionnel media (TV, radio, print) or other online spaces (intranets, social websites and networks...).
L'Inculture pour tous. La nouvelle utopie des politiques culturelles
2010
L'ouvrage analyse l'évolution du concept de culture et les influences sur les politiques culturelles mises en place.
ModeLTER : modelling of landscapes and territories over the long term, the members of an European Associated Laboratory (EAL) in CAENTI.
2006
International audience; The aim of this new project is the modelisation of landscapes and territories over the long term. This has been a topic that engaged the proposed research team for several years, particularly in the frame of two European projects, Archeomedes I & II, during the 1990s (Van der Leeuw S., Favory F., Fiches J.- L. (eds.) 2003, Favory F., Girardot J.-J., van der Leeuw S. 2004). Both French and Slovenian teams were involved in the project by Professors S. Van der Leeuw and Z. Stančič. Since this period, the collaboration of French and Slovenian researchers increased in activity, and it finds now a new organization in an European Associated Laboratory, linking archaeologist…
Terveystietoa etsimässä : selvitys 15-69 -vuotiaiden suomalaisten etsimän terveystiedon aihepiireistä
2006
The role of age and digital competence on the use of online health and social care services: A cross-sectional population-based survey
2022
Objective Online health and social care services are getting widespread which increases the risk that less advantaged groups may not be able to access these services resulting in digital exclusion. We examined the combined effects of age and digital competence on the use of online health and social care services. Methods We used a large representative population-based sample of 4495 respondents from Finland. Paper-based self-assessment questionnaire with an online response option was mailed to participants. The associations were analyzed using survey weighted logistic regression, exploring potential non-linear effects of age and controlling for potential sex differences. Results Higher age,…
Feasibility of conductive embroidered threads for I 2 C sensors in microcontroller-based wearable electronics
2023
Abstract In recent years, the importance of flexible and textile electronics in the field of wearable devices has continuously increased, as they are expected to replace conventional wires that exhibit limited resistance to the mechanical stress occurring in on-body applications. Wearable health devices (WHDs) can provide physiological information about various body parts and employ distributed sensor networks. Among the sensors typically integrated within WHDs, those based on the I2C communication protocol are very common and exploit signals transmitted at frequencies up to hundreds of kilohertz. Therefore, robust communication is required to guarantee a proper transmission of the signal a…