We develop a method to incrementally construct programming languages. Our approach is categorical: each layer of the language is described as a monad. Our method either (i) concretely builds a distributive law between two monads, i.e. layers of the language, which then provides a monad structure to the composition of layers, or (ii) identifies precisely the algebraic obstacles to the existence ...

results: patients in the case and control groups were similar in age and admission vital signs. during the second operation, the bleeding volumes measured in the case and control groups were 66 ± 27.01 ml and 152 ± 85.4 ml, respectively. there was some pad-induced damage after the removal of the pad in the control group. patients and methods: twenty male patients with grade iv or v liver injuri...

Graphene, in single layer or multi-layer forms, holds great promise for future electronics and high-temperature applications. Resistance to oxidation, an important property for high-temperature applications, has not yet been extensively investigated. Controlled thinning of multi-layer graphene (MLG), e.g., by plasma or laser processing is another challenge, since the existing methods produce no...

incontinentia pigmenti (ip) is an x-linked dominant genodermatosis characterized by typical skin lesions along blaschko's lines and associated with ocular, dental, nails, hair, skeletal, central nervous system and cardiovascular anomalies. we report a 5-year-old boy with cutaneous hyperpigmentation along blaschko's lines, atrophic streaks, strabismus and mental retardation. he showed the charac...

introduction: the findings of cephalometry studies are widely applied in medical and engineering fields. cephalometry measurements are affected by genetics‚ age‚ gender‚ and social‚ economic and geographic factors.this study assesses cephalometry of the neurocranium in male newborns in kermanshah,iran by an anthropometry method to confirm or reject the theory of brachycephalization (i.e., a spr...

background and aims: leptin is a hormone known to control appetite and body weight. the leptin levels in obese animals are always more than animals with normal size. a wide variety of methods have been offered to treat obesity of which herbal therapy is considered as one of these methods. the aim of this study was to investigate the effect of ethanolic extract of asian red ginseng on leptin ser...

a fully instrumented air conditioning laboratory unit capable of controlling drying air temperature and humidity integrated with an instantaneous weighing thin layer drying system was used to investigate the thin layer drying behavior and desorption equilibrium moisture content of canola (brassica napus l.). to this aim, freshly harvested canola samples with moisture content of about 12±0.5% (d...

in the age of technology, it is vital to cool down different parts of a device to use it more beneficially. using nanofluids is one of the most common methods which has shown very effective results. in this paper, we have rephrased a classic equation in fluid mechanics, i.e. the falkner-skan boundary layer equation, in order to be used for nanofluid. this nonlinear equation, which was presented...

introduction: the purpose of the present study was to evaluate the different concentrations of sodium hypochlorite activated with laser in removing of the smear layer in the apical, middle, and coronal segments of root canal walls by scanning electron microscopy analysis. methods: sixty single-rooted human mandibular teeth were decoronated to a standardized length. the samples were prepared by ...