Search results for " Formal"

showing 10 items of 273 documents

Lagrangians, Hamiltonians and Noether’s Theorem

2015

This chapter is intended to remind the basic notions of the Lagrangian and Hamiltonian formalisms as well as Noether’s theorem. We shall first start with a discrete system with N degrees of freedom, state and prove Noether’s theorem. Afterwards we shall generalize all the previously introduced notions to continuous systems and prove the generic formulation of Noether’s Theorem. Finally we will reproduce a few well known results in Quantum Field Theory.

Discrete mathematicsDiscrete systemsymbols.namesakesymbolsQuantum field theoryNoether's theoremHamiltonian (quantum mechanics)Rotation formalisms in three dimensionsLagrangianMathematical physicsMathematics
researchProduct

On the computational power of affine automata

2017

We investigate the computational power of affine automata (AfAs) introduced in [4]. In particular, we present a simpler proof for how to change the cutpoint for any affine language and a method how to reduce error in bounded error case. Moreover, we address to the question of [4] by showing that any affine language can be recognized by an AfA with certain limitation on the entries of affine states and transition matrices. Lastly, we present the first languages shown to be not recognized by AfAs with bounded-error.

Discrete mathematicsFOS: Computer and information sciencesComputer scienceFormal Languages and Automata Theory (cs.FL)Computer Science - Formal Languages and Automata Theory0102 computer and information sciences02 engineering and technologyerror reduction[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]01 natural sciencesBounded errorPower (physics)Automatonaffine automata[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]010201 computation theory & mathematics0202 electrical engineering electronic engineering information engineeringnon-classical models of automatacutpoint languages020201 artificial intelligence & image processingTransition matricesAffine transformationcompact setsbounded error
researchProduct

Automata and differentiable words

2011

We exhibit the construction of a deterministic automaton that, given k > 0, recognizes the (regular) language of k-differentiable words. Our approach follows a scheme of Crochemore et al. based on minimal forbidden words. We extend this construction to the case of C\infinity-words, i.e., words differentiable arbitrary many times. We thus obtain an infinite automaton for representing the set of C\infinity-words. We derive a classification of C\infinity-words induced by the structure of the automaton. Then, we introduce a new framework for dealing with \infinity-words, based on a three letter alphabet. This allows us to define a compacted version of the automaton, that we use to prove that ev…

Discrete mathematicsKolakoski wordGeneral Computer ScienceC∞-wordsPowerset constructionTimed automatonPushdown automatonBüchi automatonComputer Science - Formal Languages and Automata TheoryComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)68R15AutomataTheoretical Computer ScienceCombinatoricsForbidden wordsDeterministic automatonProbabilistic automatonTwo-way deterministic finite automatonNondeterministic finite automatonC∞ -wordForbidden wordComputer Science::Formal Languages and Automata TheoryComputer Science(all)Computer Science - Discrete MathematicsMathematicsTheoretical Computer Science
researchProduct

Resolvent Estimates for Non-Selfadjoint Operators via Semigroups

2009

We consider a non-selfadjoint h-pseudodifferential operator P in the semiclassical limit (h → 0). If p is the leading symbol, then under suitable assumptions about the behavior of p at infinity, we know that the resolvent (z–P)–1 is uniformly bounded for z in any compact set not intersecting the closure of the range of p. Under a subellipticity condition, we show that the resolvent extends locally inside the range up to a distance \(\mathcal{O}(1)((h\ln \frac{1}{h})^{k/(k + 1)} )\) from certain boundary points, where \(k \in \{ 2,4, \ldots \} \). This is a slight improvement of a result by Dencker, Zworski, and the author, and it was recently obtained by W. Bordeaux Montrieux in a model sit…

Discrete mathematicsPhysicsPure mathematicsCompact spaceClosure (mathematics)SemigroupUniform boundednessBoundary (topology)Resolvent formalismFourier integral operatorResolvent
researchProduct

Operators in Rigged Hilbert spaces: some spectral properties

2014

A notion of resolvent set for an operator acting in a rigged Hilbert space $\D \subset \H\subset \D^\times$ is proposed. This set depends on a family of intermediate locally convex spaces living between $\D$ and $\D^\times$, called interspaces. Some properties of the resolvent set and of the corresponding multivalued resolvent function are derived and some examples are discussed.

Discrete mathematicsPure mathematicsResolvent set47L60 47L05Applied MathematicsRigged Hilbert spaces; Operators; Spectral theoryHilbert spaceFunction (mathematics)Resolvent formalismRigged Hilbert spaceFunctional Analysis (math.FA)Mathematics - Functional Analysissymbols.namesakeOperator (computer programming)Rigged Hilbert spaceSettore MAT/05 - Analisi MatematicaLocally convex topological vector spacesymbolsFOS: MathematicsOperatorSpectral theoryAnalysisResolventMathematics
researchProduct

Conformal transformations and weak field limit of scalar-tensor gravity

2013

The weak field limit of scalar tensor theories of gravity is discussed in view of conformal transformations. Specifically, we consider how physical quantities, like gravitational potentials derived in the Newtonian approximation for the same scalar-tensor theory, behave in the Jordan and in the Einstein frame. The approach allows to discriminate features that are invariant under conformal transformations and gives contributions in the debate of selecting the true physical frame. As a particular example, the case of $f(R)$ gravity is considered.

Earth and Planetary Astrophysics (astro-ph.EP)PhysicsNuclear and High Energy PhysicsConformal field theoryScalar (physics)FOS: Physical sciencesGeneral Relativity and Quantum Cosmology (gr-qc)Invariant (physics)Astrophysics - Astrophysics of GalaxiesGeneral Relativity and Quantum CosmologyGravitationConformal gravityGeneral Relativity and Quantum CosmologyParameterized post-Newtonian formalismConformal symmetryAstrophysics of Galaxies (astro-ph.GA)f(R) gravityAstrophysics - Earth and Planetary AstrophysicsMathematical physicsPhysical Review D
researchProduct

El papel de la formalización y la confianza organizacional como antecedentes de ambidestreza: una investigación sobre la industria agroalimentaria or…

2020

This article investigates the influence of specific key organizational factors (i.e., enabling formalization, coercive formalization, and trust) as antecedents of ambidexterity. Moreover, we propose a new way of operationalizing ambidexterity, under a holistic vision, including the synergies between exploration and exploitation. The study has been developed in the Spanish organic agro-food industry; a total of 239 usable responses were received from two respondents from each company—the general manager and the quality manager. The findings show that enabling formalization and organizational trust are positively related to ambidexterity, but contrary to our predictions, we found no evidence …

Economics and EconometricsFormalizationKnowledge managementformalizationStrategy and ManagementOrganizational trustOrganizational trust0502 economics and businessddc:650Business and International ManagementAmbidexterityM12business.industry05 social sciencesM10Ambidexterity; formalization; organic agro-food industry; organizational trustGeneral Business Management and AccountingAmbidexterityAgro foodorganizational trustOrganic agro-food industryKey (cryptography)050211 marketingbusiness050203 business & managementorganic agro-food industry
researchProduct

Los documentales científicos como instrumentos de educación para la sostenibilidad

2010

El objeto de este trabajo se centra en analizar el papel que están jugando y pueden llegar a jugar los documentales científicos que se difunden ampliamente a través de la TV, venta en quioscos, etc., en la formación de una ciudadanía consciente de los problemas a los que se enfrenta hoy la humanidad y preparada para participar en la adopción de las medidas necesarias

Educación ciudadana para la toma de decisionesambiente)Educació ambientalSocial SciencesMedi ambient ProtecciósostenibilidadEducational Role of Mediarelaciones ctsa (cienciaScientific Literacysustainabilityalfabetización científicaEducationCiència Ensenyamenteducación ciudadana para la toma de decisioneseducación no formalHCitizen Education for Decision-MakingScience-Technology-Society-Environment RelationshipsDesenvolupament sostenibleRelaciones CTSA (Ciencia-Tecnología-Sociedad-Ambiente)tecnologíaEducació cívicasociedad
researchProduct

El trabajo con las familias en el contexto educativo no formal. Apertura de canales de comunicación para fomentar la participación y la formación

2017

En el contexto educativo actual las barreras entre educación formal y no formal cada vez son más difusas. Dentro de un planteamiento de educación permanente, a lo largo de la vida, toda intervención educativa debería estar fundamentada pedagógicamente en unos principios inclusivos, democráticos y para el desarrollo pleno de los individuos. Es en el marco de las actividades socioculturales de ocio y tiempo libre con personas con diversidad funcional, donde hemos comprobado como en ocasiones se desatiende la dimensión pedagógica y los principios inclusivos no están muy presentes. Por ello, elaboramos un texto que hace evidentes una serie de necesidades detectadas en el desarrollo de nuestra l…

Educación no formal familias participación canales de comunicación eficaz.
researchProduct

Los documentales científicos como instrumentos de formación ciudadana para la Sostenibilidad

2018

Basta asomarse a los medios de comunicación para constatar la creciente atención concedida a toda una serie de problemas (contaminación pluriforme que afecta a la totalidad del planeta, cambio climático, con el incremento de fenómenos atmosféricos extremos, degradación de ecosistemas, pérdida de biodiversidad, agotamiento de recursos básicos, conflictos asociados al control de dichos recursos, etc.), que configuran una situación de auténtica emergencia planetaria, de cambio global que pone seriamente en peligro la supervivencia de la especie humana. La gravedad de dicha situación ha dado lugar a reiterados llamamientos a los educadores de cualquier área y nivel, incluyendo a los responsable…

Educación no formalDocumentales científicosdocumentales científicosalfabetización científicaparticipación ciudadana en la toma de decisioneseducación no formalCiencia de la Sostenibilidadsituación de emergencia planetariaeducación para la sostenibilidadAlfabetización científicaParticipación ciudadana en la toma de decisiones:PEDAGOGÍA [UNESCO]UNESCO::PEDAGOGÍAciencia de la sostenibilidadSituación de emergencia planetaria
researchProduct