Search results for "interpretatio"
showing 10 items of 1068 documents
Using Search Algorithms for Modeling Economic Processes
2013
Abstract Economic issues are placed in formal practice, when is desired a modelling of the economic process, a manufacturing process, a device, etc. Each share of that economic process is denoted by a, b, c, d, these actions with defined time periods and action pairs are formed strings of the form, ab * cab * bc ., ab, bb, bc. so for them there are no other restrictions. If the graph is viewed as a system image, nodes representing components, then an immediate interpretation of an arc (xi, xj) are the component xi that is said to directly influence component xj. If nodes have the significance of possible states of a system when a spring (xi.xj) means that, the system can jump from state xi …
Formal Periods and the Period Conjecture
2017
Following Kontsevich (see Kontsevich in Operads and motives in deformation quantization. Lett. Math. Phys. 48(1):35–72, 1999), we now introduce another algebra \(\tilde{\mathbb {P}}(k)\) of formal periods from the same data we have used in order to define the actual period algebra of a field in Chap. 11. The main aim of this chapter is to give conceptual interpretation of this algebra of formal periods. We then use it to formulate and discuss the period conjecture.
Collection Principles in Dependent Type Theory
2002
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic rules that correspond to the collection axiom schemes of the constructive set theory CZF we obtain a generalisation of the type theoretic interpretation of CZF. Suitable logic-enriched type theories allow also the study of reinterpretations of logic. We end the paper with an application to the double-negation interpretation.
The generalised type-theoretic interpretation of constructive set theory
2006
We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-Löf type theory. The generalisation involves replacing Martin-Löf type theory with a new type theory in which logic is treated as primitive instead of being formulated via the propositions-as-types representation. The original interpretation treated logic in Martin-Löf type theory via the propositions-as-types interpretation. The generalisation involves replacing Martin-Löf type theory with a new type theory in which logic is treated as primitive. The primitive treatment of logic in type theories allows us to study reinterpretations of logic, such as the double-negation translation.
Enumeration of L-convex polyominoes by rows and columns
2005
In this paper, we consider the class of L-convex polyominoes, i.e. the convex polyominoes in which any two cells can be connected by a path of cells in the polyomino that switches direction between the vertical and the horizontal at most once.Using the ECO method, we prove that the number fn of L-convex polyominoes with perimeter 2(n + 2) satisfies the rational recurrence relation fn = 4fn-1 - 2fn-2, with f0 = 1, f1 = 2, f2 = 7. Moreover, we give a combinatorial interpretation of this statement. In the last section, we present some open problems.
M-valued Measure of Roughness for Approximation of L-fuzzy Sets and Its Topological Interpretation
2015
We develop a scheme allowing to measure the “quality” of rough approximation of fuzzy sets. This scheme is based on what we call “an approximation quadruple” \((L,M,\varphi ,\psi )\) where L and M are cl-monoids (in particular, \(L=M=[0,1]\)) and \(\psi : L \rightarrow M\) and \(\varphi : M \rightarrow L\) are satisfying certain conditions mappings (in particular, they can be the identity mappings). In the result of realization of this scheme we get measures of upper and lower rough approximation for L-fuzzy subsets of a set equipped with a reflexive transitive M-fuzzy relation R. In case the relation R is also symmetric, these measures coincide and we call their value by the measure of rou…
Assonanze ritmiche tra movimento grafico e segno digitale
2015
L’accostamento di più lettere costruisce nuove parole, significanti e concetti. Quando a queste lettere si associa l’idea di suono si disegna la forma degli oggetti. Schopenhauer fondò la sua teoria dei colori sulla bipartizione dell’attività della retina, paragonandola alla scala musicale, in quanto i colori erano posti in un rapporto numerico razionale tra loro. Pierre Boulez, partendo dall’opera e dalle lezioni di Paul Klee al Bauhaus, sviluppa una riflessione sulla distribuzione e sul ritmo dello spazio musicale; infatti nella serie di incisioni o di quadri come Le città, la simmetria, più che un paesaggio urbano, evoca un rigo musicale con le linee disegnate dalle note distribuite sott…
Rappresentazioni vertiginose. Tre esempi: Perec, Lequeu, Douat
2022
Nel novembre del 2009 il Museo del Louvre decise di affidare a Umberto Eco la direzione di una serie di conferenze da tenere su un argomento di sua scelta. Eco scelse il tema della ‘lista’ conferendo a quella manifestazione il nome di Vertige de la liste a cui seguì un saggio dallo stesso titolo pubblicato da Bompiani. Questa breve nota prende in prestito la stessa tematica che, per via del suo carattere altamente ete-rogeneo, è in grado di coinvolgere diversi ambiti del sapere senza minimamente accennare ad esaurirsi. L’elenco, strettamente legato alla figura retorica dell’accumulazione, può infatti costituirsi di segni, parole, suoni e di qualsiasi altra forma di rappresentazione utile a …
Computer simulations of bioequivalence trials: selection of design and analyte in BCS drugs with first-pass hepatic metabolism: linear kinetics (I).
2008
Modeling and simulation approaches are useful tools to assess the potential outcome of different scenarios in bioequivalence studies. The aim of this study is to propose a new and improved semi-physiological model for bioequivalence trial simulations and apply it for all BCS (Biopharmaceutic Classification System) drug classes with non-saturated first-pass hepatic metabolism. The semi-physiological model was developed in NONMEM VI to simulate bioequivalence trials. Parent drug and metabolite levels for both reference and test were simulated. Eight types of drugs (with high or low permeability and high or low solubility (class I to IV) and high or low intrinsic clearance) were considered in …
Rapid in vitro test to predict ocular tissue permeability based on biopartitioning micellar chromatography.
2003
The drug permeability prediction across the ocular tissues is important in the development of new drugs and drug delivery strategies. Physicochemical characteristics of drugs, mainly acid-base character, hydrophobicity and the molecular size determine both their transport across the eye tissue barriers and their retention in biopartitioning micellar chromatography (BMC). An in vitro model able to describe and predict the whole cornea drug permeability is proposed. The model uses the retention of drugs in BMC and molecular weight (MW) as predictive variables. The relationships between drug retention data in BMC and their bibliographic permeability values in stroma, epithelium-plus-stroma and…