Search results for " formal"

showing 10 items of 273 documents

Inclusive Legal Positivism, Legal Interpretation, and Value-Judgments

2009

In this paper I put forward some arguments in defence of inclusive legal positivism. The general thesis that I defend is that inclusive positivism represents a more fruitful and interesting research program than that proposed by exclusive positivism. I introduce two arguments connected with legal interpretation in favour of my thesis. However, my opinion is that inclusive positivism does not sufficiently succeed in estranging itself from the more traditional legal positivist conceptions. This is the case, for instance, with regard to the value-freedom principle, which is commonly accepted by inclusive positivist scholars. In contrast with this approach, I try to show, in the concluding sect…

Value (ethics)Research programLegal positivismInterpretation (philosophy)Legal formalismSociologyLawPositivismEpistemologyRatio Juris
researchProduct

Informal and Formal Practices within the EU Security Approach in Kosovo

2018

The hesitant path of Western Balkans towards EU’s integration, the enduring borders and constitutional disputes and the unsettled ethnic tensions in the region trigger new security threats for Europe. The chapter explores the link between informal and formal actors and rules in EU security domain choosing as a case study, EULEX, the Common Security and Defence Policy (CSDP) operation in Kosovo. The chapter addresses the following questions: how pragmatically EULEX has transformed itself reacting to operational needs in the field? Which is the framework of mobilization of informal networks, the source of their legitimacy and the ways they affect formal and international policies in high-inst…

Western Balkans EULEX Formal and informal practices CSDPSettore SPS/04 - Scienza Politica
researchProduct

Symmetry-adapted tensorial formalism to model rovibrational and rovibronic spectra of molecules pertaining to various point groups

2004

International audience; We present a short review on the tensorial formalism developed by the Dijon group to solve molecular spectroscopy problems. This approach, originally devoted to the rovibrational spectroscopy of highly symmetrical species (spherical tops) has been recently extended in several directions: quasi-spherical tops, some symmetric and asymmetric tops, and rovibronic spectroscopy of spherical tops in a degenerate electronic state. Despite its apparent complexity (heavy notations, quite complex mathematical tools), these group theoretical tensorial methods have a great advantage of flexibility: a systematic expansion of effective terms for any rovib- rational/rovibronic probl…

[ PHYS.QPHY ] Physics [physics]/Quantum Physics [quant-ph]Rovibrational spectroscopyRovibronic spectroscopySymmetrizationTensorial formalism02 engineering and technologyMolecular spectroscopyPoint group01 natural sciencesSpectral lineTheoretical physics[PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph]Quantum mechanics0103 physical sciencesPhysics::Atomic and Molecular ClustersMoleculeLineshapesPhysical and Theoretical ChemistrySpectroscopySpectroscopyPhysics010304 chemical physicsDegenerate energy levelsRotational–vibrational spectroscopy021001 nanoscience & nanotechnologyAtomic and Molecular Physics and OpticsFormalism (philosophy of mathematics)Group theory0210 nano-technology
researchProduct

High-resolution far-infrared synchrotron FTIR spectroscopy and analysis of the ν 7 , ν 19 and ν 20 bands of trioxane

2022

Rovibrational bands spectra of three ν20, ν7 and ν19 bands of 1, 3, 5 – trioxane (H2CO)3 were recorded in the 50–650 cm−1 range using a long path absorption cell coupled to a high resolution Fourier transform spectrometer and synchrotron radiation at the AILES beamline of the SOLEIL synchrotron. More than 16 000 lines were assigned with a dRMS better than 0.17 × 10−3 cm−1. Two different formalisms (tensorial and Watson) were used to derive accurate rotational and quartic parameters for the three bands and for the first time, a precise determination of Coriolis parameter and q+ l−doubling constant for both ν20 and ν19 perpendicular bands was obtained. Last, each set of spectroscopic paramete…

[CHIM.THEO] Chemical Sciences/Theoretical and/or physical chemistryLine positionsSynchrotron radiationHigh-Resolution Infrared SpectroscopyTensorial FormalismWatson’s Formalism
researchProduct

Topological properties of cellular automata on trees

2012

We prove that there do not exist positively expansive cellular automata defined on the full k-ary tree shift (for k>=2). Moreover, we investigate some topological properties of these automata and their relationships, namely permutivity, surjectivity, preinjectivity, right-closingness and openness.

[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]FOS: Computer and information sciencesDiscrete Mathematics (cs.DM)Formal Languages and Automata Theory (cs.FL)FOS: Physical sciencesComputer Science - Formal Languages and Automata Theory0102 computer and information sciences[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Computational Complexity (cs.CC)Topology01 natural scienceslcsh:QA75.5-76.95[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]0101 mathematicsF.1.1;F.1.2;F.1.3MathematicsCellular Automata and Lattice Gases (nlin.CG)lcsh:Mathematics010102 general mathematicsCellular automaton tree shift expansivity permutivity right-closingness opennesslcsh:QA1-939Nonlinear Sciences::Cellular Automata and Lattice GasesCellular automatonAutomatonComputer Science - Computational Complexity010201 computation theory & mathematicsTree (set theory)lcsh:Electronic computers. Computer scienceF.1.2F.1.3ExpansiveNonlinear Sciences - Cellular Automata and Lattice GasesF.1.1Computer Science::Formal Languages and Automata TheoryComputer Science - Discrete Mathematics
researchProduct

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…

[INFO.INFO-WB] Computer Science [cs]/WebComputer science[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]0211 other engineering and technologies[ INFO.INFO-WB ] Computer Science [cs]/Web02 engineering and technologyCOBieOntology (information science)Semantic heterogeneityWorld Wide WebFacility management020204 information systemsFOAF021105 building & construction0202 electrical engineering electronic engineering information engineeringBuilding OntologyBuilding Information Modellingspreadsheet-to-OWLcomputer.programming_languagebusiness.industry[INFO.INFO-WB]Computer Science [cs]/WebWeb Ontology Languagecomputer.file_formatLinked dataRotation formalisms in three dimensions[INFO.INFO-OH] Computer Science [cs]/Other [cs.OH]Building information modelingLinked Data[ INFO.INFO-OH ] Computer Science [cs]/Other [cs.OH]COBieOWLbusinessSoftware engineeringcomputer
researchProduct

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…

[PHYS]Physics [physics]Symétrie tétraédriqueCollisional broadeningMéthaneRelaxation rotationnelle[ PHYS ] Physics [physics]Formalisme tensorielRotational relaxationTetrahedral symmetryTensorial formalismSélectivité[PHYS] Physics [physics]Modèle semi-classiqueSelectivityArgonSemi-classical modelElargissement collisionnel
researchProduct

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

2009

[SHS.DROIT]Humanities and Social Sciences/Law[SHS.DROIT] Humanities and Social Sciences/Lawtemperate formalismformepre-enactmentdiscussionsNapoleonic Code of Civil Procedurefond[ SHS.DROIT ] Humanities and Social Sciences/Law
researchProduct

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…

asymmetric tops010504 meteorology & atmospheric sciencesInfraredAb initioInfrared spectroscopy01 natural sciencesStandard deviation010309 opticssymbols.namesakeQuantum mechanics0103 physical sciencesMoleculePhysical and Theoretical Chemistryinfrared spectroscopySpectroscopy0105 earth and related environmental sciencesmicrowave spectroscopyPhysics[PHYS.PHYS.PHYS-AO-PH]Physics [physics]/Physics [physics]/Atmospheric and Oceanic Physics [physics.ao-ph]XY(2)Z(2)Rotational–vibrational spectroscopyAtomic and Molecular Physics and Optics[ PHYS.PHYS.PHYS-AO-PH ] Physics [physics]/Physics [physics]/Atmospheric and Oceanic Physics [physics.ao-ph]symbolsRotational spectroscopyHamiltonian (quantum mechanics)tensorial formalism
researchProduct

Actividades de imagen, atenuación e impersonalidad en los juicios orales

2016

Esta tesis trata de determinar la manera en que se configuran las actividades de imagen, la atenuación y la impersonalidad en el discurso de los profesionales del derecho (jueces y abogados) durante el transcurso de los juicios orales. Para la elaboración de este trabajo, partimos de un corpus de ocho juicios orales (dos por cada jurisdicción presente en el ordenamiento jurídico español) que ha sido transcrito siguiendo el sistema de transcripción del grupo Val.Es.Co. (2003). En total, el corpus suma 4 horas, 7 minutos y 9 segundos de grabación y consta de 49227 palabras. El corpus se ha analizado adaptando la ficha metodológica de Albelda et al. (2014) a las necesidades de nuestro género y…

atenuación:LINGÜÍSTICA [UNESCO]juicios oralesregistro formalactividades de imagenimpersonalidadpragmáticaUNESCO::LINGÜÍSTICA
researchProduct