Search results for "Formalism"

COBieOWL, an OWL ontology based on COBie standard

2015

International audience; Building Information Modelling (BIM) standards have been recognized by construction and political actors as a highly promising tool for resolving issues of data dematerialization, notably in the field of Architecture, Engineering, Construction and Facility Management. Among worldwide-adopted BIM standards, there is COBie. COBie’s goals are to dematerialize building data and to enhance building information interoperability. Nevertheless, COBie data is available in static formats such as STEP or spreadsheet templates. Such formats lack logical formalisms and semantic features provided by languages such as OWL. Because of this, in this paper, we propose a method for sem…

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…

"La forme emporte le fond". Temperate Formalism in the Pre-Enactment Discussions of the Napoleonic Code of Civil Procedure (1806)

2009

Gogol entre le baroque et l’expressionisme : la ligne « gogolienne » dans le formalisme européen

2021

International audience

La critique du rythme chez Henri Meschonnic et dans le formalisme russe

2019

International audience; No abstract

Symetry and its formalisms : mathematical aspects

2009

International audience; This article explores the relation between the concept of symmetry and its formalisms. The standard view among philosophers and physicists is that symmetry is completely formalized by mathematical groups. For some mathematicians however, the groupoid is a competing and more general formalism. An analysis of symmetry that justifies this extension has not been adequately spelled out. After a brief explication of how groups, equivalence, and symmetries classes are related, we show that, while it’s true in some instances that groups are too restrictive, there are other instances for which the standard extension to groupoids is too unrestrictive. The connection between gr…

Virikkeitä antiikin Kreikan vaasimaalauksesta modernistien ilmaisuun : tapaustutkimuksina Gustav Klimt ja Pablo Picasso

2014

Tässä tutkielmassa tarkastelen antiikin Kreikan vaasimaalausten modernistien ilmaisuun antamia virikkeitä keskittyen formaalien piirteiden suoraan vaikutukseen, sivuten aiheita ja symboleita sekä epäsuoraa vaikutusta. Tutkielman rakenteen muotoutumiseen ja kuva-aineiston, lähinnä formalistiseen, purkuun on löytynyt työkaluja sekä taidehistorian että semiotiikan metodeista: tärkeimpinä Panofskyn kolmitasoinen malli, Gombrichin skeeman käsite sekä Kandinskyn, Arnheimin ja Rieglin näkemykset. Olen rajannut tarkasteltavan kuvaston antiikin Kreikasta alueellisesti Attikan niemimaahan keskittyen Ateenaan, mikä antaa luontevasti aikarajaukseksi geometrisen, arkaaisen ja klassisen kauden. Modernist…

The bending triad of the quasi-spherical top molecule SO2F2 in the 550 cm(-1) region

2006

International audience; The analysis of the v(3)/v(7)/v(9) bending triad of SO2F2 has been recently performed with the Watson's Hamiltonian up to octic terms employing 79 rovibrational parameters but including only the first order Coriolis interaction terms, fixed to ab initio values [H. Burger, J. Demaison, F. Hegelund, L. Margules, I. Merke, J. Mol. Struct. 612 (2002) 133-141]. Since SO2F2 is a quasi-spherical top, it can also be considered as derived from the SO42- sulfate ion. We have thus developed a new tensorial formalism in the O(3) > Td > C2v group chain [M. Rotger, V. Boudon, M. Loete, J. Mol. Spectrosc. 216 (2002) 297-307]. This approach allows a systematic development of rovibra…

AN AGENT BASED ARCHITECTURE FOR MANUFACTURING E-MARKETPLACES

2005

This chapter presents the Agent Based Architecture developed within the research project, titled "Process and Production Planning in manufacturing Enterprise Networks". As mentioned in Chapter 1, the architecture has been developed to support “added value services” in neutral linear e-marketplaces, i.e. in virtual districts. In this chapter the architecture will be described from a functional and dynamic point of view by using the formalisms used in the project. In particular, from a functional perspective, the architecture is described by using the IDEF0 formalism, while its dynamics are specified by UML activity diagrams.