An application of a theorem prover

This work uses the speci cation of the type interval in OBJ to prove some properties of the interval probability OBJ is a functional language and also includes mechanisms for theorem provingEje: Conferencia latinoamericana de programación funcionalRed de Universidades con Carreras en Informática (RedUNCI

Random walk in a rotational environment

We define a random walk of a particle in $\mathbb{R}^3$ where the space is rotating. The particle is not glued to the space and will collide with it at random times, resulting in changes in its velocity and direction. After many collisions, the random walk starts to have some asymptotic behaviors inherited from the movement of space. The paper will find the limit movement of the particle, and explain how the randomness of the random walk gives rise to the particle asymptotic deterministic movement.Comment: 16 pages, 3 figure

Zastosowanie programu gwarancji dla zdrowia jamy ustnej w opiece nad kobietą w ciąży w rodzinnym centrum zdrowia w Concepción, Chile, w latach 2014–2015

Indexación: Scopus.Background. Oral health plays a crucial role in general health, quality of life and well-being of pregnant women and their newborns. In Chile, pregnant women have dental care guaranteed by law. However, due to the lack of previous epidemiological studies on the benefits of this guarantee, it is necessary to describe this situation and evaluate the need to change the methods of providing dental services. Objectives. The objective of this study was to describe the pattern of providing dental benefits resulting from the Explicit Health Guarantee – Integral Oral Health in Pregnant Women (GES-SOIE) program to pregnant women attending the Juan Soto Fernández Family Health Center, Concepción, Chile, in 2014–2015. Material and methods. A cross-sectional study of the electronic dental records of patients admitted to GES-SOIE was conducted. The variables studied were sociodemographic data, dental chair hours, non-attendance, treatment completion, and the type of referral to secondary healthcare (SHC). Results. Of 233 pregnant women, 65.2% were registered for non-attendance, 21.2% required referral to SHC and 76.4% completed their treatment. When performing logistic regression, it was found that for each non-attendance the chance of not completing the treatment increased 1.4 times. Conclusions. The level of non-attendance and opting out of the treatment in pregnant women is high, which hinders the proper functioning and effectiveness of GES-SOIE. © 2018 by Wroclaw Medical University and Polish Dental Society.http://www.dmp.umed.wroc.pl/en/article/2018/55/2/179

Large Scale Morphological Segregation in Optically Selected Galaxy Redshift Catalogs

We present the results of an exhaustive analysis of the morphological segregation of galaxies in the CfA and SSRS catalogs through the scaling formalism. Morphological segregation between ellipticals and spirals has been detected at scales up to 15-20 h$^{-1}$ Mpc in the CfA catalog, and up to 20-30 h$^{-1}$ Mpc in the SSRS catalog. Moreover, it is present not only in the densest areas of the galaxy distribution, but also in zones of moderate density.Comment: 9 pages, (1 figure included), uuencode compressed Postscript, (accepted for publication in ApJ Letters), FTUAM-93-2

Determining R-parity violating parameters from neutrino and LHC data

In supersymmetric models neutrino data can be explained by R-parity violating operators which violate lepton number by one unit. The so called bilinear model can account for the observed neutrino data and predicts at the same time several decay properties of the lightest supersymmetric particle. In this paper we discuss the expected precision to determine these parameters by combining neutrino and LHC data and discuss the most important observables. We show that one can expect a rather accurate determination of the underlying R-parity parameters assuming mSUGRA relations between the R-parity conserving ones and discuss briefly also the general MSSM as well as the expected accuracies in case of a prospective e+ e- linear collider. An important observation is that several parameters can only be determined up to relative signs or more generally relative phases.Comment: 13 pages, 13 figure

Electronic circuit implementation of chaos synchronization

In this paper, an electronic circuit implementation of a robustly chaotic two-dimensional map is presented. Two such electronic circuits are realized. One of the circuits is configured as the driver and the other circuit is configured as the driven system. Synchronization of chaos between the driver and the driven system is demonstrated

Diversidade de Scarabaeoidea (Insecta: Coleoptera) coletados com armadilha de interceptação de voo no Distrito Federal.

Os representantes da superfamília Scarabaeoidea formam um grupo diverso de organismos que apresentam diferentes hábitos alimentares e comportamento. Esses insetos são normalmente coletados utilizando-se armadilhas de queda ou armadilha luminosa. Entretanto, o uso de armadilha de interceptação de voo pode revelar diferenças na diversidade em Scarabaeoidea, principalmente no Distrito Federal, onde o seu uso é pouco comum. O objetivo desse trabalho foi avaliar a diversidade (riqueza e abundância) de Scarabaeoidea coletados com armadilha de interceptação de voo no Distrito Federal. O estudo foi conduzido em uma área de Cerrado (cerradão) (Planaltina/DF) onde foi instalada uma armadilha de interceptação de voo, composta por uma tela de sombrite preto (1 x 2 m), esticada em posição perpendicular ao solo deixando-se um espaço de ≈10 cm em relação ao solo onde foram encaixadas cinco bandejas plásticas contendo água e detergente. Semanalmente, entre outubro/2013 e abril/2014, os Scarabaeoidea foram coletados e identificados em nível de gênero. Foram coletados 504 espécimes de Scarabaeoidea pertencentes a 3 famílias (Scarabaeidae, Melolonthidae e Geotrupidae) e 24 gêneros (Anomiopus, Anthicheira, Ataenius, Athyreus, Bolbapium, Canthidium, Canthon, Coprophanaeus, Deltochillum, Dendropaemon, Dichotomius, Eurysternus, Eutrichillum, Isonychus, Leucothyreus, Lobogeniates, Lyogenis, Neoathyreus, Ontherus, Oxysternon, Paranomala, Phyllophaga, Plectris e Trizogeniates). Coprophanaeus (n=85) e Oxysternon (n=80) foram os gêneros mais abundantes e juntamente com Deltochillum, Neoathyreus, Eurysternus, Eutrichillum e Dichotomius representaram 84,3% do total coletado. A família Scarabaeidae apresentou maior abundância (n=410) e riqueza (12 gêneros). A maior abundância de Scarabaeoidea foi observada entre novembro e dezembro/2013 (68,8% do total coletado). A armadilha de interceptação de voo se mostrou adequada para coleta de Scarabaeoidea revelando alta diversidade coletada

Nivel de conocimiento sobre higiene bucodental y protésica en cuidadores de ELEAM en la región de Valparaíso, Chile 2016

Tesis (Cirujano Dentista)... la información obtenida en el presente estudio, que tiene como propósito valorar el nivel de conocimiento sobre higiene oral en cuidadores de adultos mayores residentes en ELEAM de la región de Valparaíso, Chile 2016, permitirá orientar estrategias para que los cuidadores se actualicen y adquieran nuevos conocimientos o habilidades, y se motiven para desarrollar intervenciones preventivas orientadas a mejorar la salud bucal y la salud general de esta población