Search results for "interpretation."
showing 10 items of 1040 documents
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…
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…
Interpretation of Ocular Melanin Drug Binding Assays. Alternatives to the Model of Multiple Classes of Independent Sites
2016
Melanin has a high binding affinity for a wide range of drugs. The determination of the melanin binding capacity and its binding affinity are important, e.g., in the determination of the ocular drug distribution, the prediction of drug effects in the eye, and the trans-scleral drug delivery. The binding parameters estimated from a given data set vary significantly when using different isotherms or different nonlinear fitting methods. In this work, the commonly used bi-Langmuir isotherm, which assumes two classes of independent sites, is confronted with the Sips isotherm. Direct, log-log, and Scatchard plots are used, and the interpretation of the binding curves in the latter is critically a…
Importance and methodologies of endodontic microleakage studies: A systematic review
2017
Introduction It is very important to obtain a tight seal in obturated root canal, making it necessary to conduct clinical or laboratory studies on the sealability of endodontic materials. Different methodologies have been historically used to assess microleakage of different endodontic materials. The aim of the present study was to comprehensively review different material testing methods used in microleakage studies, their interpretation and importance in endodontic literature. Material and methods A systematic search was conducted in Medline, Cochrane, and Web of Science databases. In addition, the reference lists of review articles on the topic were searched. No language restriction was …
Beginning Becoming: The First 1000 Days
2019
Thomas Balmes’ (Babies. Studio Canal documentaries, 2010) ‘Babies’ (Baby(ies) or Bebes) provides a glimpse into the earliest experiences of four infants from four different localities in the world. Although this movie offers no interpretation of what takes place, the discerning viewer is left in no doubt of the significance of these powerful images about infants and their ways of being, doing and knowing in the earliest phases of life. The provocations of ‘Babies’ offer a useful beginning orienting place for a book – almost 10 years later – that promises to focus on becoming in the first 1000 days across a different set of five countries – this time Australia, Finland, New Zealand, Norway a…