Search results for "Formelle"
showing 10 items of 14 documents
L'article 48 du code de procédure civile est inapplicable aux clauses d'arbitrage et la clause d'arbitrage, stipulée dans un contrat d'assurance, n'e…
2019
International audience; (Cass. 5 sept. 2018, n° S 17-13.837, F-D, Soc. RSUI Indemnity Company c/ Soc. Tenergie Developpement et autres, inédit)
Comprehending city and its production in Africa through a systemic approach : example of the city of Diamniadio, Dakar
2022
For a long time, the analysis of the production of the city in Africa was based on an exogenous perception according to urban models theorized and experimented with in the Occidental countries, then diffused and applied through different mechanisms in the South, bearing witness to historical relations - through the making of the colonial city - and present relations - in the context of the making of new towns. After independence, researchers looked at the redefinition of the city in Africa with its complexity and plurality according to geographical and historical trajectories, proposing new urban theories that were more nuanced and linked to local and contextual realities. Therefore, follow…
Safety assurance of an industrial robotic control system using hardware/software co-verification
2022
As a general trend in industrial robotics, an increasing number of safety functions are being developed or re-engineered to be handled in software rather than by physical hardware such as safety relays or interlock circuits. This trend reinforces the importance of supplementing traditional, input-based testing and quality procedures which are widely used in industry today, with formal verification and model-checking methods. To this end, this paper focuses on a representative safety-critical system in an ABB industrial paint robot, namely the High-Voltage electrostatic Control system (HVC). The practical convergence of the high-voltage produced by the HVC, essential for safe operation, is f…
What Sense Can We Make of the Possibility of Vocational Didactics? An Approach from the Spanish School-Based System Complemented by Non-Formal Vocati…
2015
International journal for research in vocational education and training 2 (2015) 3, S. 170-181
La convergence des systèmes nationaux de gouvernance: une perspective contingente
2009
The objective of this paper is to show that the answer to the question of convergence of national systems of governance is contingent on a number of assumptions. The first assumption bears on the functions and the formal mechanisms characterizing the systems of governance. The second concerns the possibility to define a unique national system of governance for all the firms of a nation. The third focuses on the process of homogenization of national systems of governance attributed to globalization.
Promoting youth entrepreneurship and employability through non-formal and informal learning: the Latvia case
2019
This paper presents some results of the research on ‘Adult education resources to reduce youth unemployment’, which is a part of the project ‘Implementation of the European agenda for adult learning’. The research applies a mixed-method approach (quantitative and qualitative data analysis). The purpose of the paper is to identify the most/least-efficient non-formal and informal learning methods, forms, and initiatives to promote youth entrepreneurship and employability in Latvia as well as to show the relationship between the profile of young adults and their opinion on these methods, forms, and initiatives. The findings show that the young adults stressed the importance of cooperation with…
The role of informal learning in adults' literacy proficiency
2021
This study used the Programme for International Assessment of Adult Competencies (PIAAC) dataset to examine informal literacy learning’s effects on adults’ literacy proficiency. Also, the factors associated with informal literacy learning at and outside of work were studied. The study participants were Nordic adults aged 35–65 years. The statistical method was regression analysis, and the results indicate that informal literacy activities at work are associated primarily with occupation, and informal literacy activities outside of work with education, parents’ education and gender. Initial education, occupation, language background and age exerted the strongest estimated associations with r…
OntoVersionGraph : a change management methodology dedicated to formal ontologies and their user views in a collaborative context
2014
The world changes over time, impacting the knowledge of every subdomain it contains. Therefore systems describing the knowledge of a certain domain should be able to consider changes occurred to keep its knowledge representation up-to-date. Formal ontologies are one of them: they explicitly and formally represent the knowledge of a domain in all its forms and modes of existence. Collaboratively developed, a formal ontology allows the domain users to understand each other by sharing the same terminology despite the different assumptions they have on the domain conceptualization. However, due to its completeness, the complexity of its conceptualization can sometimes make the domain knowledge …
L'aide à un parent âgé, seul et dépendant : déterminants structurels et interactions
2016
With population ageing, the demand for home care of the disabled elderly is increasing and a large part of care is provided by informal caregivers. This paper focuses on the determinants of care provision by children to an old, single and disabled parent. We focus on two-child families and apply a semi-structural methodology, already implemented on European data (survey SHARE). It makes it possible to distinguish between two types of determinants: structural determinants (individual, parental and family characteristics) and interactions (effect of the care provision of one child on the care provision of the other). The estimation of this model on data of the French survey "Handicap Santé Mé…
ScaleSem : model checking and semantic web
2012
The increasing development of networks and especially the Internet has greatly expanded the gap between heterogeneous information systems. In a review of studies of interoperability of heterogeneous information systems, we find that all the work in this area tends to be in solving the problems of semantic heterogeneity. The W3C (World Wide Web Consortium) standards proposed to represent the semantic ontology. Ontology is becoming an indispensable support for interoperability of information systems, and in particular the semantics. The structure of the ontology is a combination of concepts, properties and relations. This combination is also called a semantic graph. Several languages have bee…