Search results for "formal"
showing 10 items of 1654 documents
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 …
Asymptotic bit frequency in Fibonacci words
2021
It is known that binary words containing no $k$ consecutive 1s are enumerated by $k$-step Fibonacci numbers. In this note we discuss the expected value of a random bit in a random word of length $n$ having this property.
Collective excitations of 3He clusters
1991
Collective excitations of3He clusters are studied by treating the cluster as a quantum liquid drop. We have used the Random-Phase Approximation sum rules technique within a Density Functional Formalism. Results forL=2 to 10 surface modes and theL=0 volume mode are presented.
Etude des effets collisionnels dans les molécules tétraédriques. Applications au méthane perturbé par l'argon
1996
This thesis is devoted to the study of relaxational and collisional line-broadening processes in the first vibrational polyads of tetrahedral molecules. In a first part, the particular internal dynamics of such molecules is discussed. The second chapter reviews the literature on phenomena induced by intermolecular interactions involving this type of molecules. More theoretical aspects are developed in the second part. The so-called tetrahedral tensorial formalism adapted to the construction of Hamiltonians and transition moments of tetrahedral molecules is described. Main features of the infrared line-shapes theories and of semi-classical line-broadening and line-shifting calculations are a…
Information Spatiale et Archéologie
2011
L'information archéologique est spatiale par nature. Quels que soient l'échelle (fouille, habitat, ville, région), le contexte (urbain, rural), le thème (peuplement, territoires, matières premières, réseaux d'échanges, culture matérielle...) ou la démarche (terrain, documentation), la localisation est une donnée fondamentale et la production de documents (carto) graphiques est une constante. Pour autant, si le positionnement dans l'espace est un préliminaire indispensable, il ne constitue pas à lui seul une réflexion sur la dimension spatiale des questions archéologiques. L'application des méthodes de l'analyse spatiale est intervenue en archéologie dès les années 1970. Elle est maintenant …
Formalization of scientific process and conceptual modelling for the study of territorial and products distribution dynamics (ArchaeDyn II programme)
2012
International audience; The ArchaeDyn team has investigated territorial dynamics by comparing areas over long time spans between the Neolithic and Modern times. Datasets on various themes have been shared and indicators and analytical models produced. This paper presents both the formalization of the scientific process used in the ArchaeDyn programme and a conceptual model of the systems and components so that synchronic and diachronic comparisons can be made. The aim is to clarify the transition from an archaeological feature (a site or an artefact) or a recording unit (survey area) as the input, to the characterization of spaces describing a system as the output. The approach is described…
"La forme emporte le fond". Temperate Formalism in the Pre-Enactment Discussions of the Napoleonic Code of Civil Procedure (1806)
2009
Formal and non-Formal education in Djibouti
2014
International audience
Le choix de localisation, un générateur de la dynamique urbaine
2004
Gogol entre le baroque et l’expressionisme : la ligne « gogolienne » dans le formalisme européen
2021
International audience