Search results for " Formal"

showing 10 items of 273 documents

Formalizzazione della vaghezza

2009

predicato vago vaghezza formalizzazioneSettore INF/01 - Informatica
researchProduct

Oznaczenie wykonalności jako nowy element pozwu - wybrane zagadnienia

2019

prescriptioprzedawnieniepozewwymóg formalnylawsuitformal requirementmaturitywymagalność
researchProduct

Teoría formal y material de los derechos fundamentales. Reflexiones entorno a la teoría de los derechos fundamentales de Luigi Ferrajoli

2013

Este trabajo analiza críticamente las tesis de Ferrajoli en torno a la Teoría del Derecho y la Teoría de los derechos fundamentales. Ferrajoli ofrece una Teoría formal del Derecho y los derechos. Sin embargo, la dimensión formal y material de la Teoría son inseparables. Ferrajoli opta por un concepto meramente teórico y formal de los derechos que olvida su inevitable dimensión axiológica. Además, proporciona un fundamento de los derechos criticable en varios aspectos, por ejemplo, al considerar como uno de sus fundamentos la democracia cuando en realidad los derechos promueven no un cambio de democracia (de formal a material) sino un cambio de Estado como Estado constitucional. Asimismo, Fe…

principios y reglasTeoría formal del Derechogarantías de los derechosderechos fundamentalesconcepto y fundamento de los derechosPrincipia iuristeoría material del DerechoTeoría formal del Derecho; teoría material del Derecho; derechos fundamentales; concepto y fundamento de los derechos; principios y reglas; garantías de los derechos; Principia iuris
researchProduct

The SO2F2 quasi-spherical top: Correspondence between tensorial and Watson's formalisms

2006

Abstract The SO2F2 quasi-spherical top molecule with C2v symmetry is considered as a distorted spherical top deriving from the SO 4 2 − tetrahedral ion. We present here a detailed correspondence between the tensorial formalism using the Td⊃C2v reorientation and the usual Hamiltonian of Watson. We have also performed ab initio calculations in order to determine the centrifugal distorsion constants in the vibrational ground state.

reductions01 natural sciencesasymmetric top moleculesAnalytical ChemistryIon010309 opticsInorganic Chemistrysymbols.namesakeAb initio quantum chemistry methodsQuantum mechanics0103 physical sciencesPhysics::Atomic and Molecular ClustersPhysics::Chemical Physics010306 general physicsSpectroscopy[PHYS.PHYS.PHYS-AO-PH]Physics [physics]/Physics [physics]/Atmospheric and Oceanic Physics [physics.ao-ph]Chemistryab initio calculationsOrganic ChemistryRotation formalisms in three dimensionsFormalism (philosophy of mathematics)[ PHYS.PHYS.PHYS-AO-PH ] Physics [physics]/Physics [physics]/Atmospheric and Oceanic Physics [physics.ao-ph]symbolsTetrahedronGround stateHamiltonian (quantum mechanics)tensorial formalismquasi-spherical tops
researchProduct

Forme e modalità della trascrizione degli atti relativi ad alcuni beni mobili

2010

requisiti formali del titolo richiesto ai fini della trascrizioneModalità della trascrizioneaeromobiliSettore IUS/01 - Diritto Privatoautoveicolinavi
researchProduct

CAMBIO DE ACTITUDES Y VALORES ANTE LA ENERGÍA TRAS EL USO DE UN JUEGO DE ROL

2010

Los juegos de rol en educación se han definido como dramatizaciones que se vertebran en torno a una situación concreta y utilizan la asignación de papeles a alumnos, quienes deberán defender con argumentos una opinión (previamente perfilada) frente a un problema. Cada vez más utilizados en la educación formal y no formal, destacan entre sus ventajas el convertir lo lúdico en aprendizaje, potenciar el aprendizaje de actitudes y valores y la conexión que se realiza con la vida real entre otros. La utilización de un juego de rol en una investigación educativa sobre cambio de actitudes y valores ante los recursos energéticos cuyos resultados educativos fueron positivos, permitió repetir dicha i…

rolInformation societyrepresentación de rolesWelfare economicsEducaciónlcsh:Information resources (General)ComputingMilieux_PERSONALCOMPUTINGComputer Science ApplicationsEducationPower (social and political)Formal educationSocieada de la informaciónJuegos de rol actitudes valores educación no formal autosuficiencia energética energías alternativas.personalidadeducación no-formallcsh:LPsychologylcsh:Educationlcsh:ZA3040-5185
researchProduct

Continuum: A spatiotemporal data model to represent and qualify filiation relationships

2013

International audience; This work introduces an ontology-based spatio-temporal data model to represent entities evolving in space and time. A dynamic phenomenon generates a complex relationship network between the entities involved in the process. At the abstract level, the relationships can be identity or topological filiations. The existence of an identity filiation depends on whether the object changes its identity or not. On the other hand, topological filiations are based exclusively on the spatial component, like in the case of growth, reduction, merging or splitting. When combining identity and topological filiations, six filiation relationships are obtained, forming a second abstrac…

spatial dynamicsTheoretical computer sciencefiliationintegrity constraintsSpatio-temporal modelingspatio-temporal evolutionComputer scienceOntology (information science)Object (computer science)computer.software_genreSemantic data modelConsistency (database systems)[ INFO.INFO-HC ] Computer Science [cs]/Human-Computer Interaction [cs.HC]Data modelData integrityI.2.4 [ARTIFICIAL INTELLIGENCE]: Knowledge Representation Formalisms and Methods - Semantic networks. I.2.3 [ARTIFICIAL INTELLIGENCE]: Deduction and Theorem Proving - Inference engines.Identity (object-oriented programming)semanticreasoningData mining[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC][INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]computerSemantic Web
researchProduct

Collaborative Design Rational and Social Creativity in Cultures of Participation

2011

The rise in social computing has facilitated a shift from consumer cultures, focused on producing finished media to be consumed passively, to cultures of participation, where people can access the means to participate actively in personally meaningful problems. These developments represent unique and fundamental opportunities and challenges for rethinking and reinventing design rationale and creativity, as people acclimate to taking part in computer-mediated conversations of issues and their solutions. Grounded in our long-term research exploring these topics, this paper articulates arguments, describes and discusses conceptual frameworks and system developments (in the context of three cas…

spatial hypertextscience of designcultures of participationsocial creativitycollaborative designmetadesigndesigndomain-oriented design environmentsdesign explorationdesign rationaleEnvisionment and Discovery CollaboratoryVisual Knowledge Buildercreativityincremental formalization
researchProduct

Spectroscopie des hexafluorures à nombre impair d'électrons

1995

From a theoretical point of view, a tensorial formalism adapted to the study of molecules or octahedral ions with a half-integer angular momentum has been developed for the first time. We have used here the method of projective representations, more consistent than that of double groups. A complete set of coupling coefficients and formulas, as well as the corresponding computing programs have been elaborated. This has firstly allowed to write a simple model describing the vibronic structure of colored hexafluorides. Then, somme applications of this formalism to the study of rovibronic couplings of XY6 molecules in a fourfold degenerate electronic state have been considered, especially conce…

spectroscopy[PHYS.PHYS.PHYS-ATOM-PH]Physics [physics]/Physics [physics]/Atomic Physics [physics.atom-ph]Jahn-Teller effectreprésentations projectives[ PHYS.PHYS.PHYS-ATOM-PH ] Physics [physics]/Physics [physics]/Atomic Physics [physics.atom-ph]spectroscopiecouplages rovibroniqueshexafluorures colorésprojective representationsrovibronic couplings[PHYS.PHYS.PHYS-ATOM-PH] Physics [physics]/Physics [physics]/Atomic Physics [physics.atom-ph]effet Jahn-Tellerformalisme tensorieltensorial formalismcolored hexafluorides
researchProduct

Spherical Top Theory and Molecular Spectra

2011

In this article, we present an overview of the present state of the art of the theory of high-resolution spherical-top spectra in the framework of the effective Hamiltonian approach. We describe the specific features of this class of molecules to explain the basic concepts of the theoretical methods used for the analysis (line positions and intensities) and the simulation of absorption (including pure rotation) and Raman spectra of such species. The non conventional formalism that we use is essentially based on irreducible tensor methods and is especially adapted to computational treatments and global analyses of complex interacting band systems. We give examples concerning mainly methane (…

sulfur hexafluoride010504 meteorology & atmospheric sciences[PHYS.PHYS.PHYS-GEN-PH] Physics [physics]/Physics [physics]/General Physics [physics.gen-ph]group theory01 natural sciencesSpectral linerovibronic spectrasymbols.namesakeTheoretical physicsSpherical-topsvibrational polyads0103 physical sciencesMolecule[ PHYS.PHYS.PHYS-GEN-PH ] Physics [physics]/Physics [physics]/General Physics [physics.gen-ph]Physics::Chemical PhysicsSpectroscopy0105 earth and related environmental sciences010304 chemical physicsChemistrymethaneRotational–vibrational spectroscopy[PHYS.PHYS.PHYS-GEN-PH]Physics [physics]/Physics [physics]/General Physics [physics.gen-ph]Homogeneous spacesymbolsextension to lower symmetriescollisional broadeningprograms and databasesAtomic physicsHamiltonian (quantum mechanics)Raman spectroscopyrovibrational spectroscopytensorial formalismGroup theory
researchProduct