Search results for "formal"

showing 10 items of 1654 documents

Informal learning contexts in the construction of physical education student teachers’ professional identity

2022

This study aimed to investigate the significance of informal learning contexts in physical education (PE) student teachers’ professional identity construction. It addressed two research questions: How do informal learning contexts contribute to the construction of PE student teachers’ professional identity? What forms of relationships can be identified between the informal and formal contexts of learning in PE student teachers’ professional identity construction? The data consisted of 20 semi-structured interviews with PE student teachers during the final teaching practice period. The data were analysed using structural and pattern coding methods. The analysis revealed that informal learnin…

ComputingMilieux_THECOMPUTINGPROFESSIONPhysical Therapy Sports Therapy and Rehabilitationphysical education teacher educationphysical education teachersEducationammatti-identiteettiinformaali oppiminenstudent teachersOrthopedics and Sports Medicine516 Educational sciencesinformal learning contextsprofessional identityopettajankoulutusliikunnanopettajatopetusharjoittelu
researchProduct

La formalisation de l'éthique:un outil stratégique pertinent pour l'entreprise

2000

Ethical formalization is a statement setting down corporate values, principles and beliefs. Analysis of ethics policies in large France based companies shows that it is becoming a new dimension of management completing corporate strategy. The study of these ethical formal policies is followed by a criticism.

ComputingMilieux_THECOMPUTINGPROFESSIONethics;strategy;formalization;code.[SHS.GESTION]Humanities and Social Sciences/Business administrationComputingMilieux_LEGALASPECTSOFCOMPUTING
researchProduct

La realidad personal en perspectiva neurocientífica. La aportación zubiriana

2015

El artículo muestra que el concepto de persona, el tipo de realidad personal elaborado por Zubiri, constituye una importante aportación filosófica en el actual contexto de la neurociencia, porque su filosofía de la persona está conectada con las ciencias biológicas y especialmente con una concepción del cerebro humano, que es entendido como órgano de hiperformalización y proporciona la base de su nuevo concepto de inteligencia sentiente, más allá de las tradicionales concepciones de la substancia, la conciencia y el sujeto.

ConCienciaPhilosophyCerebroHiperformalizaciónRealidadZubiriPersonaSujetoCuerpoInteligencia sentientePensamiento. Revista de Investigación e Información Filosófica
researchProduct

A fractional-order model for aging materials: An application to concrete

2018

Abstract In this paper, the hereditariness of aging materials is modeled within the framework of fractional calculus of variable order. A relevant application is made for the long-term behavior of concrete, for which the creep function is evaluated with the aid of Model B3. The corresponding relaxation function is derived through the Volterra iterated kernels and a comparison with the numerically-obtained relaxation function of Model B3 is also reported. The proposed fractional hereditary aging model (FHAM) for concretes leads to a relaxation function that fully agrees with the well-established Model B3. Furthermore, the FHAM takes full advantage of the formalism of fractional-order calculu…

Concrete creep020101 civil engineering02 engineering and technologyCondensed Matter Physic0201 civil engineeringRILEM database0203 mechanical engineeringApplied mathematicsGeneral Materials ScienceMechanics of MaterialVariable-order fractional calculuMathematicsMechanical EngineeringApplied MathematicsFractional hereditary aging materialCondensed Matter PhysicsFractional calculusFormalism (philosophy of mathematics)020303 mechanical engineering & transportsFractional aging concreteCreepMechanics of MaterialsIterated functionConcrete relaxationModeling and SimulationMaterials Science (all)Settore ICAR/08 - Scienza Delle Costruzioni
researchProduct

Density-functional tight-binding for beginners

2009

This article is a pedagogical introduction to density-functional tight-binding (DFTB) method. We derive it from the density-functional theory, give the details behind the tight-binding formalism, and give practical recipes for parametrization: how to calculate pseudo-atomic orbitals and matrix elements, and especially how to systematically fit the short-range repulsions. Our scope is neither to provide a historical review nor to make performance comparisons, but to give beginner's guide for this approximate, but in many ways invaluable, electronic structure simulation method--now freely available as an open-source software package, hotbit.

Condensed Matter - Materials Science010304 chemical physicsGeneral Computer ScienceChemistryMaterials Science (cond-mat.mtrl-sci)FOS: Physical sciencesGeneral Physics and Astronomy02 engineering and technologyGeneral Chemistry021001 nanoscience & nanotechnologySoftware package01 natural sciencesCondensed Matter - Other Condensed MatterComputational MathematicsFormalism (philosophy of mathematics)Tight bindingMechanics of MaterialsComputational chemistry0103 physical sciencesCalculusGeneral Materials ScienceDensity functional theory0210 nano-technologyParametrizationOther Condensed Matter (cond-mat.other)Computational Materials Science
researchProduct

Efficient Approach for Simulating Distorted Materials

2010

The operation principles of nanoscale devices are based upon both electronic and mechanical properties of materials. Because these properties can be coupled, they need to be investigated simultaneously. At this moment, however, the electronic structure calculations with custom-made long-range mechanical distortions are impossible, or expensive at best. Here we present a unified formalism to solve exactly the electronic structures of nanomaterials with versatile distortions. We illustrate the formalism by investigating twisted armchair graphene nanoribbons with the least possible number of atoms. Apart from enabling versatile material distortions, the formalism is capable of reducing computa…

Condensed Matter - Materials ScienceComputer scienceScience and engineeringMaterials Science (cond-mat.mtrl-sci)FOS: Physical sciencesGeneral Physics and AstronomyMechanical engineeringNanotechnology02 engineering and technologyElectronic structure021001 nanoscience & nanotechnology01 natural sciencesCondensed Matter - Other Condensed MatterFormalism (philosophy of mathematics)0103 physical sciences010306 general physics0210 nano-technologyMaterial propertiesGraphene nanoribbonsOther Condensed Matter (cond-mat.other)Physical Review Letters
researchProduct

First-principles phonon calculations of Fe4+impurity in SrTiO3

2012

The results of hybrid density functional theory calculations on phonons in Sr(Fe(x)Ti(1-x))O(3) solid solution within the formalism of a linear combination of atomic orbitals are presented. The phonon density of states (DOS) calculated for 6.25% Fe(4+) impurities is reported and defect-induced phonon modes are identified. Based on our calculations and group-theoretical analysis, we suggest for the first time an interpretation of experimentally observed Raman- and IR-active modes.

Condensed matter physicsPhononChemistryPhonon density of statesCondensed Matter PhysicsFormalism (philosophy of mathematics)symbols.namesakeImpurityLinear combination of atomic orbitalsCondensed Matter::SuperconductivitysymbolsGeneral Materials ScienceDensity functional theoryRaman spectroscopySolid solutionJournal of Physics: Condensed Matter
researchProduct

Solid state NMR investigation of the roman Acqualadroni rostrum: tenth year assessment of the consolidation treatment of the wooden part

2020

Abstract: This work follows a previous one dealing with the state of conservation study of the wooden part of the roman Acqualadroni rostrum soon after its finding in the seabed of Acqualadroni (Messina, Italy). The archaeological survey and recovery were particularly relevant since this artefact is one of the two rostrums, nowadays known,found together with its wooden part. Following the recovery, it was consolidated by immersion in a melamine-formaldehyde resin (Kauramin) aqueous solution for eight months at the “Centro di Restauro del Legno Bagnato” (Pisa, Italy). The present investigation is aimed to determine at microscopic scale the wood state of conservation and to highlight interact…

Conservation treatmentMaterials sciencePolymers and PlasticsConsolidation (soil)Contact timeRostrumMineralogy02 engineering and technologyNuclear magnetic resonance spectroscopy010402 general chemistry021001 nanoscience & nanotechnology01 natural sciencesCoring0104 chemical scienceschemistry.chemical_compoundSolid-state nuclear magnetic resonancechemistryMelamine-formaldehyde resinMagic angle spinningLigninMicroscopic structure0210 nano-technologyWaterlogged wood
researchProduct

Constraint Management in Engineering of Complex Information Systems

2009

We propose to build an engineering environment for information systems by using metamodels, OCL and symbolic model checkers to manage  constraints. Our proposal is based on a definition of constraints as 3D spaces with  dimensions corresponding to UML diagrams, constructs, and abstraction levels. We show how such environments can help with engineering quality complex systems by allowing to lift up a part of constraint verifications.

Constraint (information theory)Management information systemsUnified Modeling LanguageComputer scienceProgramming languageTheory of constraintsInformation systemcomputer.software_genrecomputerFormal verificationObject Constraint Languagecomputer.programming_languageMetamodeling2009 14th IEEE International Conference on Engineering of Complex Computer Systems
researchProduct

Tool Support for Model Driven Development of Pervasive Systems

2007

This work presents the PervML Generative Tool (PervGT) that supports a model driven method for the development of pervasive services in ubiquitous environments. The tool, which is based on the Eclipse platform, provides facilities for the graphical description of pervasive systems using PervML, a UML-like modeling language. Once the pervasive system is specified, the PervML model is used as input to a transformation engine that generates source code and other implementation assets. This generated code extends an OSGi-based framework in order to build the final pervasive applications

Context modelSource codeUbiquitous computingJavaModeling languageProgramming languagebusiness.industryComputer sciencemedia_common.quotation_subjectApplication softwarecomputer.software_genreFormal specificationInformation systemSoftware engineeringbusinesscomputermedia_commoncomputer.programming_languageFourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07)
researchProduct