Search results for "formal"

showing 10 items of 1654 documents

Tentative Recommendation on Terminology and Definitions in Respiratory Physiology: Résumé of the Isott Consensus Session 1992

1994

1 The use of small letters for the symbols “p” (partial pressure), “s” (saturation) and “c” (concentration) (e.g. pO2, sO2, cO2) follows recommendations of the IFCC and IUPAC [4]. This supports the use of contemporary word processing systems and mostly eliminates the need to use subscripts (except for chemical valencies: e.g. O2, CO2, H2CO3 etc.). The potential risk of misinterpretations and double meanings is reduced also (e.g. “cO2” [oxygen concentration] v.s. “CO2” [carbon dioxide] and “sO2” [oxygen saturation] v.s. “sO2” [sulfur dioxide]). 2 The symbol shall include the site of measurement or description, e.g. paO2 (arterial O2 partial pressure), svO2 (mixed venous oxygen saturation), o…

Discrete mathematicschemistryWord processingPhysiologychemistry.chemical_elementValue (computer science)Fraction (mathematics)Limiting oxygen concentrationSaturation (chemistry)OxygenOxygen saturationSymbol (formal)
researchProduct

Theory of tailor automata

2019

Abstract In the paper, a fragment of the new theory of tailor automata is presented, within which a deterministic finite automaton was defined. The proposed automaton provides a theoretical model of an informally characterized biomolecular automaton. The idea of working of which is founded on the concept of alternating cut of some double-stranded fragments of DNA, with the use of a restriction enzyme and ligations of some double-stranded fragments of DNA, with the use of the ligase enzyme.

Discrete mathematicschemistry.chemical_classificationQuantitative Biology::BiomoleculesDNA ligaseGeneral Computer ScienceComputer scienceQuantitative Biology::Molecular Networks0102 computer and information sciences02 engineering and technologyDNA automatonBiomolecular computerDNA computingNonlinear Sciences::Cellular Automata and Lattice Gases01 natural sciencesTheoretical Computer ScienceAutomatonRestriction enzymeDeterministic finite automatonFragment (logic)chemistry010201 computation theory & mathematics0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingComputer Science::Formal Languages and Automata TheoryTheoretical Computer Science
researchProduct

Discrete-mathematical approach to formal description of measurement procedure

1996

The discrete-mathematical model of measurement procedure is developed for facilitating the description of measurements in both quantitative and qualitative scales. On the basis of this model the Measurement Problem is formulated. It is shown that the problem can be considered, in the general case, as one of the discrete optimization problems. The suggested approach brings closer the concepts of a computing algorithm and measurement procedure so that it permits the application of similar tools for the analysis and development of both of them.

DiscretizationBasis (linear algebra)Applied MathematicsMeasurement problemCondensed Matter PhysicsMeasurement theoryDevelopment (topology)Discrete optimization problemCalculusSearch problemElectrical and Electronic EngineeringInstrumentationAlgorithmFormal descriptionMathematicsMeasurement
researchProduct

Quasiconformal distortion on arcs

1994

Distortion (mathematics)Quasiconformal mappingExtremal lengthPartial differential equationGeneral MathematicsMathematical analysisTopologyAnalysisMathematicsJournal d'Analyse Mathématique
researchProduct

Homeomorphisms of Finite Distortion

2013

In this chapter we establish the optimal regularity of the inverse mapping in higher dimensions and optimal Sobolev regularity for composites. Moreover, we establish optimal moduli of continuity for mappings in our classes and we discuss orientation preservation and approximation of Sobolev homeomorphisms.

Distortion (mathematics)Sobolev spaceOrientation (vector space)Quasiconformal mappingPure mathematicsComposition operatorMathematics::Analysis of PDEsInverseCoarea formulaMathematicsModuli
researchProduct

Trading off accuracy for efficiency by randomized greedy warping

2016

Dynamic Time Warping (DTW) is a widely used distance measure for time series data mining. Its quadratic complexity requires the application of various techniques (e.g. warping constraints, lower-bounds) for deployment in real-time scenarios. In this paper we propose a randomized greedy warping algorithm for finding similarity between time series instances. We show that the proposed algorithm outperforms the simple greedy approach and also provides very good time series similarity approximation consistently, as compared to DTW. We show that the Randomized Time Warping (RTW) can be used in place of DTW as a fast similarity approximation technique by trading some classification accuracy for ve…

Dynamic time warpingSeries (mathematics)Computer sciencebusiness.industryPattern recognitionData_CODINGANDINFORMATIONTHEORY02 engineering and technologyMeasure (mathematics)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputingMethodologies_PATTERNRECOGNITIONSimilarity (network science)Computer Science::Sound020204 information systemsComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingArtificial intelligenceImage warpingbusinessGeneralLiterature_REFERENCE(e.g.dictionariesencyclopediasglossaries)Computer Science::DatabasesProceedings of the 31st Annual ACM Symposium on Applied Computing
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

Why do financial inclusion policies fail in mobilizing savings from the poor ? Lessons from rural south India

2017

© The Authors 2017. Development Policy Review © 2017 Overseas Development Institute Combining multivariate and qualitative analyses, this micro-level study suggests an explanation for the persistence of informal savings in rural south India despite publicly run large-scale programmes to promote bank savings. Gold, in particular, but also Rotating Saving and Credit Associations (ROSCAs) and private lending, remain the dominant forms of savings. We argue that cultural norms and social institutions, such as social class and caste, shape the nature of savings, and also the propensity and opportunities to save. Gold serves multiple purposes, financial, economic, socio-cultural and political. Fur…

Economic growthEmancipationinformal050204 development studiesGeography Planning and DevelopmentIndiaManagement Monitoring Policy and LawDevelopmentSocial classinformal savingbankslaw.inventioneconomic anthropologypolitical economyPoliticslaw0502 economics and businessEconomics050207 economics10. No inequalityFinancial inclusion[QFIN.GN]Quantitative Finance [q-fin]/General Finance [q-fin.GN]Microfinancesaving[SHS.SOCIO]Humanities and Social Sciences/Sociology[QFIN]Quantitative Finance [q-fin]05 social sciencesCaste1. No poverty[SHS.ANTHRO-SE]Humanities and Social Sciences/Social Anthropology and ethnology[SHS.ECO]Humanities and Social Sciences/Economics and Financefinancial inclusionmicrofinance8. Economic growthEconomic anthropologyRural area
researchProduct

Shared Cognitions in a Field of Informal Education: Knowledge Maps Towards Money Management of Young Adults

2013

Prerequisite knowledge of first grade Bachelor students (N = 48) on processes of private consumption and housekeeping (money management) has been assessed by means of knowledge mapping. The study is based on the fact that in German compulsory education, there is no emphasis on economic literacy. Young adults (students), however, have to cope with individual economic planning processes. Most of them succeed based on support from families, friends, and peers. Some may simply refer to successful models experienced within their money socialization or to professional advice. Others, however, fail and become confronted with early indebtedness or even overindebtedness. The percentage of young adul…

Economic growthKnowledge basebusiness.industrySocializationEconomicsFinancial literacyCognitionDebtorInformal educationCompulsory educationPublic relationsbusinessEconomic planning
researchProduct

The Merits of Playing It by the Book: Routine versus Deliberate Learning and the Development of Dynamic Capabilities

2018

In this study, we investigate the nature of dynamic capabilities and use a fine-grained measurement to test how centralization, routinization, and formalization relate to the underlying learning components of dynamic capabilities. We find that the effects of our three dimensions of managerial practices are broadly similar for almost all components of dynamic capabilities, and that only a few show a different pattern. Centralization and routinization are negatively related to dynamic capabilities, formalization is shown to have a significantly positive effect. We provide insights into the role of three dimensions of managerial practice by explaining variation among the learning components of…

Economics and EconometricsFormalization050208 financeKnowledge managementComputer sciencebusiness.industryOrganizational Structure05 social sciencesDecentralizationVariation (game tree)DecentralizationDynamic CapabilitiesTest (assessment)0502 economics and businessOrganizational learningOrganizational structureDynamic capabilitiesbusinessOrganizational LearningRoutinization050203 business & management
researchProduct