Dependent Types for Pragmatics

This paper proposes the use of dependent types for pragmatic phenomena such as pronoun binding and presupposition resolution as a type-theoretic alternative to formalisms such as Discourse Representation Theory and Dynamic Semantics.Comment: This version updates the paper for publication in LEU

Characterization of quantum states in predicative logic

We develop a characterization of quantum states by means of first order variables and random variables, within a predicative logic with equality, in the framework of basic logic and its definitory equations. We introduce the notion of random first order domain and find a characterization of pure states in predicative logic and mixed states in propositional logic, due to a focusing condition. We discuss the role of first order variables and the related contextuality, in terms of sequents.Comment: 14 pages, Boston, IQSA10, to appea

Amplification by stochastic interference

A new method is introduced to obtain a strong signal by the interference of weak signals in noisy channels. The method is based on the interference of 1/f noise from parallel channels. One realization of stochastic interference is the auditory nervous system. Stochastic interference may have broad potential applications in the information transmission by parallel noisy channels

Higher Order Containers

Abstract. Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coproducts, initial algebras and terminal coalgebras. In the present paper we show that, surprisingly, the category of containers is cartesian closed, giving rise to a full cartesian closed subcategory of endofunctors. The result has interesting applications syntax. We also show that while the category of containers has finite limits, it is not locally cartesian closed.

A comparison of the nutritional qualities of supermarket's own and regular brands of bread in Sweden

Processed food is associated with unhealthy qualities such as higher content of harmful fats, sugars and salt. The aim of our study was to compare the nutritional qualities of supermarket's own brands and regular brands of bread sold in Sweden. Additionally, we compared the nutritional qualities of gluten-free and gluten-containing bread. We collected information from the labels of 332 bread products available in the largest grocery store chains. The Australian Health Star Rating (HSR) system was used to quantify the nutritional quality of each bread product. We compared all supermarket's own brand products to regular brand products, and gluten-free to gluten-containing bread. The mean HSR for the supermarket's own brands was lower than the regular brands (3.6 vs. 3.7; p = 0.046). For the regular brand products, the fibre, sugar and total fat content were greater (p < 0.001, p = 0.002 and p = 0.021, respectively), while less protein (p = 0.009) compared to regular bread products. Gluten-free bread had a lower HSR than gluten-containing bread (mean 3.5 vs. 3.8, respectively; p < 0.001). The regular brand products were slightly healthier than the supermarket's own brands, primarily as a result of a higher fibre content. Gluten-free bread products were slightly unhealthier due to a lower protein content

On the Numerical Study of the Complexity and Fractal Dimension of CMB Anisotropies

We consider the problem of numerical computation of the Kolmogorov complexity and the fractal dimension of the anisotropy spots of Cosmic Microwave Background (CMB) radiation. Namely, we describe an algorithm of estimation of the complexity of spots given by certain pixel configuration on a grid and represent the results of computations for a series of structures of different complexity. Thus, we demonstrate the calculability of such an abstract descriptor as the Kolmogorov complexity for CMB digitized maps. The correlation of complexity of the anisotropy spots with their fractal dimension is revealed as well. This technique can be especially important while analyzing the data of the forthcoming space experiments.Comment: LATEX, 3 figure

Ω-Arithmetization of Ellipses

International audienceMulti-resolution analysis and numerical precision problems are very important subjects in fields like image analysis or geometrical modeling. In the continuation of our previous works, we propose to apply the method of Ω-arithmetization to ellipses. We obtain a discrete multi-resolution representation of arcs of ellipses. The corresponding algorithms are completely constructive and thus, can be exactly translated into functional computer programs. Moreover, we give a global condition for the connectivity of the discrete curves generated by the method at every scale

BIOMETRIA DE EQÜINOS DA RAÇA CRIOULA NO BRASIL

In order to evaluate the biometric values of 2.054 - 866 males and 1.188 females - Brazilian nativehorse breed,aging between 2 and 13 years old, height, chest girth and cannon bone girth measurements wereperformed and analyzed. The horses were exposed at Esteio Horse Show Rio Grande do sul Brazil, forconfarmation e evaluation, during August 1993 to August 2002. The whole average were height 1.43m (0.02),chest girth 1.79m (0.06) and cannon bone girth 0.20m (0.01); for males, and height 1.42m (0.02), chest girth1.80m (0.05) and cannon bone girth 0.19m (0.01) for females.It has been observed that all the parameters arewithin standard values from breeders associations besides an observed tendency for diminished height.Este trabalho teve o objetivo de avaliar as medidas biométricas de eqüinos da raça crioula criados noBrasil. Os dados relativos à altura, perímetros torácico e de canela de 2.054 eqüinos (866 machos e 1.188fêmeas), com idade entre dois e 13 anos, apresentados na Exposição anual de Esteio, RS, para concurso deavaliação morfológica, no período de agosto de 1993 a agosto de 2002 foram analisados. Nos machos a alturamédia foi de 1,43m (0,02), perímetro torácico de 1,79m (0,06) e perímetro da canela de 0,20m (0,01); para asfêmeas verificou-se uma altura média de 1,42m (0,02), perímetro torácico de 1,80m (0,05) e perímetro dacanela de 0,19m (0,01). Os parâmetros analisados estiveram dentro do padrão determinado pela AssociaçãoBrasileira de Criadores de Cavalos Crioulos, com tendência à diminuição da altura

Bridging the Gap:Reporting Baseline Characteristics, Process and Outcome Parameters in Hirschsprung's Disease. A Systematic Review

Introduction: The variation in standardized, well-defined parameters in Hirschsprung's disease (HSCR) research hinders overarching comparisons and complicates evaluations of care quality across healthcare settings. This review addresses the significant variability observed in these parameters as reported in recent publications. The goal is to compile a list of commonly described baseline characteristics, process and outcome measures, and to investigate disparities in their utilization and definitions. Materials and Methods: A systematic review of literature on the primary care process for HSCR was performed according to PRISMA guidelines. Relevant literature published between 2015 and 2021 was obtained by combining the search term Hirschsprung's disease with treatment outcome, complications, mortality, morbidity, survival in Medline, Embase and the Cochrane Library. We extracted study characteristics, reported process and outcome parameters, and patient and disease characteristics. Results: We extracted 1026 parameters from 200 publications and categorized these into patient characteristics (n=226), treatment and care process characteristics (n=199), and outcomes (n=601). 116 parameters were reported in more than 5% of publications. The most frequently reported characteristics were sex (88%), age at surgery (66%), postoperative Hirschsprung-associated enterocolitis (64%), type of repair (57%), fecal incontinence (54%), and extent of aganglionosis (51%). Conclusion: This review underscores the pronounced variation in reported parameters within HSCR studies, highlighting the necessity for consistent, well-defined measures and reporting systems in order to foster improved data interpretability. Moreover, it advocates for the use of these findings in the development of a Core Indicator Set, complementing the recently developed Core Outcome Set. This will facilitate quality assessments across pediatric surgical centers throughout Europe.</p

Equilibration of isolated macroscopic quantum systems

We investigate the equilibration of an isolated macroscopic quantum system in the sense that deviations from a steady state become unmeasurably small for the overwhelming majority of times within any sufficiently large time interval. The main requirements are that the initial state, possibly far from equilibrium, exhibits a macroscopic population of at most one energy level and that degeneracies of energy eigenvalues and of energy gaps (differences of energy eigenvalues) are not of exceedingly large multiplicities. Our approach closely follows and extends recent works by Short and Farrelly [2012 New J. Phys. 14 013063], in particular going beyond the realm of finite-dimensional systems and large effective dimensions.Comment: 19 page