Search results for " formal"

showing 10 items of 273 documents

Non linear pseudo-bosons versus hidden Hermiticity

2011

The increasingly popular concept of a hidden Hermiticity of operators (i.e., of their Hermiticity with respect to an {\it ad hoc} inner product in Hilbert space) is compared with the recently introduced notion of {\em non-linear pseudo-bosons}. The formal equivalence between these two notions is deduced under very general assumptions. Examples of their applicability in quantum mechanics are discussed.

Statistics and ProbabilityPhysicsQuantum PhysicsGeneral Physics and AstronomyFOS: Physical sciencesStatistical and Nonlinear PhysicsMathematical Physics (math-ph)Functional Analysis (math.FA)Mathematics - Functional AnalysisNonlinear systemTheoretical physicsModeling and Simulation46C15 46N50 81Q12 81Q80FOS: Mathematicspseudo-bosonsQuantum Physics (quant-ph)Settore MAT/07 - Fisica MatematicaDynamic and formal equivalenceMathematical PhysicsBoson
researchProduct

Contour calculus for many-particle functions

2019

In non-equilibrium many-body perturbation theory, Langreth rules are an efficient way to extract real-time equations from contour ones. However, the standard rules are not applicable in cases that do not reduce to simple convolutions and multiplications. We introduce a procedure for extracting real-time equations from general multi-argument contour functions with an arbitrary number of arguments. This is done for both the standard Keldysh contour, as well as the extended contour with a vertical track that allows for general initial states. This amounts to the generalization of the standard Langreth rules to much more general situations. These rules involve multi-argument retarded functions …

Statistics and ProbabilityPhysicsnon-equilibrium Green's functionsFOS: Physical sciencesGeneral Physics and AstronomyStatistical and Nonlinear PhysicsMathematical Physics (math-ph)medicine.disease01 natural sciencesKeldysh formalism010305 fluids & plasmasLangreth rulesModeling and Simulation0103 physical sciencesquantum many-body theorymedicineCalculusParticleKeldysh formalism010306 general physicskvanttifysiikkaMathematical PhysicsCalculus (medicine)
researchProduct

Genericity of dimension drop on self-affine sets

2017

We prove that generically, for a self-affine set in $\mathbb{R}^d$, removing one of the affine maps which defines the set results in a strict reduction of the Hausdorff dimension. This gives a partial positive answer to a folklore open question.

Statistics and ProbabilityPure mathematicsthermodynamic formalismDynamical Systems (math.DS)01 natural sciencesself-affine setsingular value functionAffine combinationAffine hullClassical Analysis and ODEs (math.CA)FOS: MathematicsMathematics - Dynamical Systems0101 mathematicsMathematicsDiscrete mathematicsta111010102 general mathematicsMinkowski–Bouligand dimensionproducts of matricesEffective dimension010101 applied mathematicsAffine coordinate systemMathematics - Classical Analysis and ODEsHausdorff dimensionAffine transformationStatistics Probability and UncertaintyStatistics & Probability Letters
researchProduct

On modal mu-calculus over finite graphs with bounded strongly connected components.

2010

For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculus fixpoint hierarchy on SCCk collapses to the level Delta2, but not to Comp(Sigma1,Pi1) (compositions of formulas of level Sigma1 and Pi1). This contrasts with the class of all graphs, where Delta2=Comp(Sigma1,Pi1).

Strongly connected componentPure mathematicsComputer Science - Logic in Computer ScienceBounded functionlcsh:MathematicsModal μ-calculusComputer Science - Formal Languages and Automata Theorylcsh:Electronic computers. Computer sciencelcsh:QA1-939lcsh:QA75.5-76.95Mathematics
researchProduct

Russian Formalism vs Germanic Formalism: exploring the concept of European Formalism

2021

Abstract This comparative reading of two conceptual corpora, Russian formalism and Germano-Austrian or Germanic formalism, begins with the idea that the European formalism presents a coherent unit. The continuity of this program authorizes such a comparative reading. The comparative analysis of formalisms in Europe could be a research program aimed at an epistemological reading of the phenomenon of European formalism at the turn of the 20th century. This program deals with a rereading of two conceptual fields–Russian formalism and Germanic (Germano-Austrian) formalism. This study seeks to contextualise the formalist project within the knowledge of its time by showing its genetic links with …

Theoretical physicsFormalism (philosophy)PhilosophyRussian formalismLinguistic Frontiers
researchProduct

The Formal Redox Potential of the Ti(IV, III) Couple at 25 °C in 1 M HCl 2 M NaCl Medium

2007

The formal redox potential of the Ti(IV, III) couple has been determined at 25 degrees C in 1 M HCl, 2 M NaCl aqueous medium, by emf measurements of a junction-free cell with glass and mercury electrodes. Ti(III) and Ti(IV) concentrations were changed by controlled electrolysis. The mean value of the searched formal potential, in a large range of total titanium concentration, is 9 +/- 1 mV against the molar hydrogen electrode in the same ionic medium.

TitaniumElectrolysisStandard hydrogen electrodeInorganic chemistryTemperaturechemistry.chemical_elementIonic bondingSodium ChlorideTitanium redox equilibria Formal redox potentials Junction-free cells Electrolysis Constant ionic mediumEMF measurementElectrochemistryRedoxAnalytical Chemistrylaw.inventionchemistrylawElectrodeElectrochemistryHydrochloric AcidOxidation-ReductionGeneral Environmental ScienceTitaniumAnnali di Chimica
researchProduct

Fazioni e popolo in una provincia del dominio pontificio fra XIII e XIV secolo

2021

Between the 13th and 14th centuries, a number of cities in the inchoative papal state experimented a system of self-government that allowed the Guelph and Ghibelline factions, formally represented in those same bodies on an equal footing, to work alongside the more strictly communal magistracies. The case of Todi is rather well known, given the role that Bartolo da Sassoferrato assigns to it in his Tractatus de guelphis et gebellinis (ca. 1350), but current research has already ascertained that this political tradition appeared at least around 1260. Some evidence can suggest, however, that some form of integration of factions into the local institutional framework was possible elsewhere, an…

Tra XIII e XIV secolo alcune città dello stato della chiesa in formazione sperimentano un regime di autogoverno che prevede accanto agli organi più propriamente comunali la presenza delle fazioni guelfa e ghibellina formalmente rappresentate in quegli stessi organi in modo paritario. Il caso di Todi è piuttosto noto data la funzione che Bartolo da Sassoferrato gli assegna nel suo Tractatus de guelphis et gebellinis (1350 circa) ma la storiografia ha già appurato che questa tradizione politica durava dal 1260 circa almeno. Alcuni indizi fanno ritenere che però la possibilità di una qualche forma di integrazione delle fazioni nel quadro istituzionale locale avvenisse anche altrove e non lontano ad Amelia a esempio. Qui nel nuovo statuto di popolo 1343 troviamo la ripartizione su base fazionaria dei ruoli del priorato. A Todi nel 1337 era avvenuto qualcosa di analogo: lo statuto emanato quell’anno fa seguito all’instaurazione di un regime esplicitamente popolare che in continuità con la tradizione locale integra al suo interno guelfi e ghibellini. Gli esempi di queste e forse altre comunità della provincia del Patrimonio di san Pietro in Tuscia possono così aggiungere qualche elemento utile alla discussione sul problema delle fazioni e del loro ruolo nell’ordine politico comunale e post-comunale e in particolare sul rapporto fra popolo come sistema istituzionale e parti.Settore M-STO/01 - Storia Medievale
researchProduct

Determinants and effects of external knowledge search: Focusing on organizational formal structure

2013

Tesis Doctoral presentada por Ana García Granero en el Departament de Direcció d'Empreses "Juan José Renau Piqueras" de la Universitat de València - Facultat d'Economia y realizada en el Instituto de Gestión de la Innovación y del Conocimiento (INGENIO, CSIC-UPV).

UNESCO::CIENCIAS ECONÓMICAS::Organización y dirección de empresasexternal knowledge searchR&Dorganizational formal structureUNESCO::CIENCIAS ECONÓMICASinnovation performance:CIENCIAS ECONÓMICAS [UNESCO]:CIENCIAS ECONÓMICAS::Organización y dirección de empresas [UNESCO]
researchProduct

Materials de l'assignatura 33257 - Pensament Crític del Grau en Filosofia de la Universitat de València, curs acadèmic 2022-23

2023

El document forma part dels materials docents programats mitjançant l'ajut del Servei de Política Lingüística de la Universitat de València. Materials de l'assignatura 33257 - Pensament Crític del Grau en Filosofia de la Universitat de València, curs acadèmic 2022-23.

UNESCO::FILOSOFÍAfilosofialògica formalteoria de l'argumentacióUNESCO::LÓGICA
researchProduct

Estructura y evolución formal en las cruces parroquiales valencianas (s. XIV-XX)

2012

La platería valenciana se va conociendo poco a poco a pesar de que su estudio formalista ha empezado con posterioridad a otras tierras de España. El presente artículo, junto con otro dedicado a su iconografía ya publicado, quiere culminar el estudio global de las cruces procesionales valencianas. En él se analiza la estructura y la evolución formal de este objeto litúrgico desde el siglo XIV hasta el siglo XX, destacando sus obras y autores más importantes –Pere Capellades, Bernat Joan Cetina, Joan Calderón, Lluís Perales, etc.– y se subraya la importancia del platero Simó de Toledo, que, en el siglo XVII, creó una tipología de cruz, cuyos ecos advertimos incluso en el siglo XX. Valencian s…

UNESCO::HISTORIA::Historia por especialidades::Historia del arteEstructura y evolución formal en las cruces parroquiales valencianas (s. XIV-XX) Artículo:HISTORIA::Historia por especialidades::Historia del arte [UNESCO]
researchProduct