WorldWideScience

Sample records for styrofoam speedling type

  1. Surprising Styrofoam Structures

    Science.gov (United States)

    Hicks, Bill

    2010-01-01

    In this article, the author describes an art project intended for high-school students to create a three-dimensional design using a Styrofoam. The students were asked to find and take photos of architectural details, such as decorative columns, and use the photograph as inspiration in their drawings. The drawings served as a "blueprint" to help…

  2. Terahertz imaging for styrofoam inspection

    Science.gov (United States)

    Pradarutti, B.; Riehemann, S.; Notni, G.; Tünnermann, A.

    2007-09-01

    Imaging of styrofoam with the help of ultrashort Terahertz pulses is investigated. With a combination of pulse amplitude and time delay imaging it is possible to speed up the measurement about two orders of magnitudes.

  3. Rotary forcespun styrofoam fibers as a soilless growing medium

    Science.gov (United States)

    Fauzi, Ahmad; Edikresnha, Dhewa; Munir, Muhammad Miftahul; Khairurrijal

    2016-04-01

    To make styrofoam fibers from used styrofoam, rotary forcespinning technique was used because it offers high production rate and affordable production cost. The used styrofoam was dissolved in acetone to obtain styrofoam solution as a precursor of syrofoam fibers. Since the technique utilizes centrifugal force, the precursor was thrown out and its phase changed to be solid following acetone solvent evaporation. Long, clean and light styrofoam fibers were then produced. To determine if the styrofoam fibers is a good soilless growing medium, physico-chemical properties including pH and electrical conductivity, bulk density, water retention and wettability were measured. Rockwool, which is the most popular soilless growing medium and easily obtained from local farm suppliers, was selected as a benchmark to evaluate the styrofoam fibers.

  4. Kapasitas Lentur Balok Beton Bertulang dengan Menggunakan Styrofoam

    OpenAIRE

    Anugrah, Andi Besse

    2016-01-01

    ABSTRAK Berbagai macam inovasi telah dilakukan untuk medapatkan beton ringan, antara lain dengan menggunakan styrofoam sebagai pengganti sebagian agregat beton. Oleh karena itu penelitian ini bertujuan untuk menganalisis kapasitas lentur balok dengan penambahan 30% styrofoam terhadap volume beton normal. Balok beton styrofoam (SFC) akan dibandingkan dengan balok beton bertulang biasa (BN). Metode yang digunakan yaitu metode pembebanan monotonik yang menggunakan Two Point Load pada kecepat...

  5. Styrofoam debris as a potential carrier of mercury within ecosystems.

    Science.gov (United States)

    Graca, Bożena; Bełdowska, Magdalena; Wrzesień, Patrycja; Zgrundo, Aleksandra

    2014-02-01

    The present paper falls within the trend of research into interactions between various pollutants emitted anthropogenically into the environment and focuses on mercury and styrofoam debris. The study covers part of the Southern Baltic's drainage area. Apart from styrofoam and beach sand, the research involved mosses, which are bioindicators of atmospheric metal pollution. The research has shown that mercury present in the environment becomes associated with styrofoam debris. The median for mercury concentrations in virgin styrofoam samples (0.23 ng g(-1) dry weight (d.w.)) and in beach sand samples (0.69 ng g(-1) d.w.) was an order of magnitude lower than in the styrofoam debris (5.20 ng g(-1) d.w.). The highest mercury content observed in styrofoam debris (3,863 ng g(-1) d.w.) exceeded the standards for bottom sediment and soil. The binding of mercury to styrofoam debris takes place in water, and presumably also through contact with the ground. A significant role in this process was played by biotic factors, such as the presence of biofilm and abiotic ones, such as solar radiation and the transformations of mercury forms related to it. As a result, mercury content in styrofoam debris underwent seasonal changes, peaking in summertime. Furthermore, the regional changes of mercury content in the studied debris seem to reflect the pollution levels of the environment.

  6. Development of Particleboard from Waste Styrofoam and Sawdust

    African Journals Online (AJOL)

    OLUWASOGO

    Disposal of sawdust has always been a problem of growing concern to the wood industries in Nigeria due to its negative impact on the economy and environment. Enormous quantities of sawdust are produced annually by sawmills. Likewise, in recent years, the Styrofoam, otherwise known as expanded polystyrene (EPS) ...

  7. Development of particleboard from waste styrofoam and sawdust ...

    African Journals Online (AJOL)

    PBR was synthesised via solvolysis of waste Styrofoam in a chosen solvent, and properly mixed with sawdust by simple mechanical stirring, using hand lay-up process in cold pressing to obtain the desired shapes. ASTM D-1037 standard was used to evaluate the physical and mechanical properties of the manufactured ...

  8. Development of Particleboard from Waste Styrofoam and Sawdust

    Directory of Open Access Journals (Sweden)

    S. A. Abdulkareem

    2017-06-01

    Full Text Available The use of Plastic Based Resin (PBR synthesised from waste Styrofoam as binder in the production of particleboard was the focus of this investigation. This study explored the properties of particleboard produced from sawdust wastes and PBR resin synthesized from waste Styrofoam. Three particleboard panels namely C1, C2 and C3 were prepared with 20%, 30%, and 40%, (v/v, respectively. PBR was synthesised via solvolysis of waste Styrofoam in a chosen solvent, and properly mixed with sawdust by simple mechanical stirring, using hand lay-up process in cold pressing to obtain the desired shapes. ASTM D-1037 standard was used to evaluate the physical and mechanical properties of the manufactured particleboards. Density, moisture content (MC, water absorption (WA, thickness swelling (TS, and mechanical properties i.e. modulus of elasticity (MOE and modulus of rupture (MOR of C2 and C3 were better than that of C1 particleboard and met the LD-1 requirement of ANSI A208.1. PBR from Styrofoam waste is confirmed as a good substitute for Urea or formaldehyde based resin presently used industrially. The properties of C2 and C3 synthesised are in tandem with the requirements of the ANSI A208.1 standards.

  9. Perbandingan Kuat Lentur Satu Arah Pelat Beton Tulangan Bambu Dengan Pelat Beton Tulangan Bambu Isi Styrofoam

    OpenAIRE

    Fauzi, Rifqi Eka; Dewi, Sri Murni; Wijatmiko, Indradi

    2016-01-01

    Beton ringan merupakan inovasi bahan yang memiliki potensi untuk dikembangkan, bambu dapat digunakan tulangan beton menggantikan baja dan lebih ringan, pemberian styrofoam pada elemen struktur mampu mengurangi berat sendiri struktur, kemudian mecuatkan gagasan tentang plat beton tulangan bambu isi styrofoam. Penelitian ini menggunakan pelat beton tulangan bambu isi styrofoam sebanyak 3 buah yang akan dibandingkan kuat lenturnya dengan pelat beton tulangan bambu tanpa styrofoam. Dimensi pelat ...

  10. Karakteristik Dan Pemanfaatan Styrofoam Sebagai Pengganti Sebagian Pasir Untuk Bahan Bangunan

    OpenAIRE

    Ramadhani, Nur Ayu

    2010-01-01

    A Research on making lightweight concrete by adding industrial waste Styrofoam. Forming sample used template and angingtime was carriedout for 7,14,21 and 28 days. Charactirized by the strength pressure, porosity and water absorbtion analytis. The strength pressure lightweight concrete without Styrofoam was : (6,72 MPa – 10,71 MPa), with 5% Styrofoam was : (0,276 MPa – 0,760 MPa), with 10% Styrofoam was : (0,073 MPa – 0,156 MPa) and with 15% Styrofoam was : (0,04 MPa – 0,106 MPa). The strengt...

  11. A dynamic styrofoam-ball model for simulating molecular motion

    Science.gov (United States)

    Mak, Se-yuen; Cheung, Derek

    2001-01-01

    In this paper we introduce a simple styrofoam-ball model that can be used for simulating molecular motion in all three states. As the foam balls are driven by a vibrator that is in turn driven by a signal generator, the frequency and the amplitude of vibration can be adjusted independently. Thus, the model is appropriate for simulating molecular motion in the liquid state, which is a combination of vibration and meandering motion.

  12. Styrofoam Debris as a Source of Hazardous Additives for Marine Organisms.

    Science.gov (United States)

    Jang, Mi; Shim, Won Joon; Han, Gi Myung; Rani, Manviri; Song, Young Kyoung; Hong, Sang Hee

    2016-05-17

    There is growing concern over plastic debris and their fragments as a carrier for hazardous substances in marine ecosystem. The present study was conducted to provide field evidence for the transfer of plastic-associated chemicals to marine organisms. Hexabromocyclododecanes (HBCDs), brominated flame retardants, were recently detected in expanded polystyrene (styrofoam) marine debris. We hypothesized that if styrofoam debris acts as a source of the additives in the marine environment, organisms inhabiting such debris might be directly influenced by them. Here we investigated the characteristics of HBCD accumulation by mussels inhabiting styrofoam. For comparison, mussels inhabiting different substrates, such as high-density polyethylene (HDPE), metal, and rock, were also studied. The high HBCD levels up to 5160 ng/g lipid weight and the γ-HBCD dominated isomeric profiles in mussels inhabiting styrofoam strongly supports the transfer of HBCDs from styrofoam substrate to mussels. Furthermore, microsized styrofoam particles were identified inside mussels, probably originating from their substrates.

  13. ENVIRONMENTAL ETHICS IN GOVERNING RECYCLED MATERIAL STYROFOAM FOR BUILDING HUMAN HABITAT

    OpenAIRE

    Kartini Aboo Talib Khalid; Ravichandran Moorthy; Suhana Saad

    2012-01-01

    Styrofoam is extensively used in food packaging businesses throughout the world. Its light weight makes it a favorite food package for entrepreneurs in food businesses. However, unlike its content, the food, which decomposed easily after some time, Styrofoam remains un-decomposed due to its oil-based structure. This study discusses the prospects of re-utilization of Styrofoam as environmentally friendly recycled material. This study uses the data from an exploratory survey on the usage of Sty...

  14. PENGARUH KOMPOSISI BAHAN PENGISI STYROFOAM PADA PEMBUATAN BATAKO MORTAR SEMEN DITINJAU DARI KARAKTERISTIK DAN KUAT TEKAN

    Directory of Open Access Journals (Sweden)

    Heru Winarno

    2016-08-01

    Full Text Available Penelitian ini dimaksudkan untuk memanfaatkan limbah styrofoam untuk dijadikan sebagai alternatif salah satu bahan pengisi campuran pembuatan batako mortar semen. Dengan menganalisis variasi komposisi bahan pengisi styrofoam  untuk campuran mortar beton semen terhadap karakteristik dan kuat tekan yang dapat dimanfaatkan sebagai bahan bangunan dibandingkan batako biasa. Penelitian ini direncanakan dalam masa empat bulan, dengan menganalisis variasi komposisi bahan pengisi styrofoam  untuk campuran mortar beton semen terhadap karakteristik dan kuat tekan. Penelitian ini menggunakan metode eksprimen yang dilakukan di Laboratorium Uji Bahan dan Beton Jurusan Pendidikan Teknik Sipil dan Perencanaan Fakultas Teknik Universitas Negeri Makassar. Urgensi penelitian ini dengan memanfaatkan limbah styrofoam untuk dijadikan sebagai alternatif salah satu bahan pengisi campuran pembuatan batako mortar semen, dapat menekan kerusakan lingkungan dimana limbah styrofoam  merupakan salah satu bagian dari pencemaran lingkungan.

  15. Pengetahuan, Sikap, dan Tindakan Penumpang KM. Kelud Kelas Ekonomi Tentang Penggunaan Styrofoam Sebagai Wadah Makanan Tahun 2010

    OpenAIRE

    Puspita, Nuraisah

    2011-01-01

    Styrofoam was a kind of pack that classified in the plastic category. Generally, styrofoam colored white and looked clean, has a simple shape and light. styrofoam was used to pack of food products, such as instant noodles, chicken porridge, meatballs, coffee, and yogurt. The inappropriate use of styrofoam with the kind of packaged food might cause migration or transfer of monomer from the pack into the food. The long term accumulation of monomer in the body might cause endocrine disrupter (E...

  16. Gambaran Pengetahuan dan Sikap dengan Posisi Tawar Konsumen tentang Penggunaan Kemasan Styrofoam sebagai Wadah Makanan di Amaliun Foodcourt Tahun 2015

    OpenAIRE

    Rahmadhani S, Putri

    2016-01-01

    Styrofoam packaging material was often used by traders and consumers as food packaging. It is a practical, inexpensive, pleasing to the eye and no leaking, make consumers forget the impact the dangers of Styrofoam packaging containing residues of styrene monomer that can act on greasy foods especially in hot conditions. Consumers can do the bargaining position of the Styrofoam packaging, by requiring exchange Styrofoam packaging with other packaging safer. The purpose of the...

  17. Mechanical properties of geopolymer lightweight brick with styrofoam pellet

    Science.gov (United States)

    Abdullah, Mohd Mustafa Al Bakri; Tahir, Muhammad Faheem Mohd; Kadir, Aeslina Abdul; Hussin, Kamarudin; Samson, W. Saiful Iskandar W.

    2017-09-01

    The utilization of fly ash in brick as partial replacement of cement is gaining immense importance today, mainly on account of the improvement in the long-term durability of brick combined with ecological benefits. In this research, the lightweight brick was produced by using fly ash (class F) as a main material to replace Ordinary Portland Cement (OPC) in the composition of brick. Class F Fly Ash was mixed with an alkaline activator solution (a mixture of sodium silicate and NaOH), and styrofoam pellet was added to the geopolymer mixture to produce lightweight brick. The brick was prepared in two methods that is wet method and dry method due to different brick composition which is dry method for composition with sand and wet method for composition without sand. The bricks were cured in room temperature at 7 aging days. After 7 days, the compressive strength, water absorption, and density of the brick were investigated, where the optimum ratio for the best bricks has been determined from the lightweight density and has compressive strength more than minimum standard requirement. The best bricks are further produce for curing at 60°C in oven at 28 aging days. Those bricks also were characterized using optical microscope to measure the distribution of styrofoam in brick structure. From the result obtained, the brick that cured at 60°C in oven at 28 aging days has high strength compare to brick that cured in room temperature and at 7 day cured. The water absorption is decreasing as the curing temperature and aging days increased whereas density is increasing.

  18. The use of acetone to dissolve a Styrofoam impaction of the ear.

    Science.gov (United States)

    White, S J; Broner, S

    1994-03-01

    Foreign bodies in the ear occasionally thwart conventional means of removal. Styrofoam can be particularly problematic because it can be compressed and become tightly impacted in an ear canal. Furthermore, Styrofoam is friable and tends to fragment with usual removal methods. We report the case of a 6-year-old girl who was referred from another tertiary care hospital after failed efforts to remove a painfully impacted piece of Styrofoam from her left ear canal. Instillation of the organic solvent acetone into the ear canal was well tolerated and caused rapid and near-complete dissolution of the Styrofoam impaction. This is the first reported case of organic solvent dissolution of an otic foreign body. Ototoxic considerations are discussed as is a method for safe acetone instillation that minimizes the amount of acetone introduced into the ear canal.

  19. Survey of attitudes on the end-use efficiency of promotional activities of producers styrofoam

    Directory of Open Access Journals (Sweden)

    Jovičić Dragoljub

    2017-01-01

    Full Text Available More energy prices, on the one hand, and the increasing use of insulating materials in the construction industry, on the other hand, contributed to intensifying competition in the business market. In order to attract and retain a greater number of customers, manufacturers of styrofoam must constantly work on the quality of their offerings, and integrated marketing communications. In conditions when competitors offer a relatively homogeneous, right promotional activities have become one of the main factors of competitive advantage. The aim was to investigate the relative importance of certain promotional tools in marketing of styrofoam on the market of Vojvodina. In accordance with these goals were used value of the arithmetic mean, standard deviation and coefficient of variation at promotional instruments. Data were collected through unstructured personal communication with a sample of 20 of the respondents. The research results indicate that there is a very strong and positive impact of promotional activities on the placement of styrofoam. At the same time, by far the most powerful influence of the advertising, then personal selling, and sales promotion, and the last place relations with the public. These results indicate that none of the instruments of promotional mix should not be ignored, but also emphasize the need to focus on those instruments that are of major influence on the placement of styrofoam. In this way, the findings of this research can be of benefit management companies operating in the market of Vojvodina styrofoam.

  20. Development of an inexpensive, low attenuation styrofoam primate chair for use in a PET scanner.

    Science.gov (United States)

    Kortekaas, R; van Waarde, A; Maguire, R P; Leenders, K L; Elsinga, P H

    2004-04-01

    Pharmacokinetic modelling of radiotracers for positron emission tomography (PET) imaging of neuroreceptors can be performed with time-activity data for brain and blood. We aimed to develop an alternative to withdrawal of arterial blood samples for acquisition of a blood curve. A supportive primate chair was constructed out of styrofoam and fixed to the head portion of the bed of a PET scanner. A lightly anaesthetised rhesus monkey was positioned in the chair in a sitting position and injected with the radiotracer. The styrofoam chair provided sufficient support for the monkey. The presence of the chair in the PET scanner caused negligible attenuation of radiation, allowing simultaneous acquisition of dynamic data from the subject's brain and heart. We conclude that a styrofoam primate chair is an ideal tool to measure blood and brain data from a rhesus monkey with PET. Invasiveness to the animal is reduced, as well as experimenter time.

  1. Perilaku Penjual Makanan Yang Menggunakan Plastik dan Styrofoam di Lingkungan Kampus Universitas Sumatera Utara Tahun 2010

    OpenAIRE

    Simanjuntak, Dodi Lashon

    2010-01-01

    Kresek plastic is a very popular food packaging and became the favorite choice of food sellers. So also with styrofoam, it's practical, pleasing to the eye, cheap and anti-leak, made the people blind to the impact of these two food wrappers. Kresek plastic and styrofoam contain health hazard and it was stipulated in the public warning as well as a press statement by Drug and Food Control Agency of the Republic of Indonesia. This research was a descriptive research which describe the knowle...

  2. Analysis of time-dependent changes in Bitemarks on Styrofoam sheets.

    Science.gov (United States)

    Parimala, Djeapragassam; Daniel, Mariappan Jonathan; Srinivasan, Subramanian Vasudevan; Kumaran, Jimsha Vannathan

    2015-03-01

    The scope of Bitemarks in forensic dentistry is widening as they help the forensic expert in identifying the perpetuator in medicolegal cases. The greatest challenge in Bitemarks analysis is the time-dependent changes produced in Bitemark patterns on various substrates at the scene of the crime. To analyze the time-dependent changes in Bitemarks on Styrofoam sheets. Single centered prospective study. Twenty-five subjects were randomly chosen, and dental casts prepared. Then test bites were registered on Styrofoam sheets, overlays prepared from these test bites on subsequent days (day 1, 2, 3, 4) and checked for matching accuracy. The data were analyzed using Kruskal-Wallis ANOVA to compare the overlays from dental stone cast with test bites on Styrofoam sheets on subsequent days. The P value was found to be 1 which is statistically not significant implying that there were no significant time-dependent changes in the pattern of Bitemarks. There were no time-dependent changes in the pattern of Bitemarks on Styrofoam sheets hence they serve as better materials than Bitemarks on human skin or food substrates obtained from the scene of the crime.

  3. Analysis of time-dependent changes in Bitemarks on Styrofoam sheets

    Directory of Open Access Journals (Sweden)

    Djeapragassam Parimala

    2015-01-01

    Full Text Available Context: The scope of Bitemarks in forensic dentistry is widening as they help the forensic expert in identifying the perpetuator in medicolegal cases. The greatest challenge in Bitemarks analysis is the time-dependent changes produced in Bitemark patterns on various substrates at the scene of the crime. Aims: To analyze the time-dependent changes in Bitemarks on Styrofoam sheets. Settings and Design: Single centered prospective study. Materials and Methods: Twenty-five subjects were randomly chosen, and dental casts prepared. Then test bites were registered on Styrofoam sheets, overlays prepared from these test bites on subsequent days (day 1, 2, 3, 4 and checked for matching accuracy. Statistical Analysis Used: The data were analyzed using Kruskal-Wallis ANOVA to compare the overlays from dental stone cast with test bites on Styrofoam sheets on subsequent days. Results: The P value was found to be 1 which is statistically not significant implying that there were no significant time-dependent changes in the pattern of Bitemarks. Conclusions: There were no time-dependent changes in the pattern of Bitemarks on Styrofoam sheets hence they serve as better materials than Bitemarks on human skin or food substrates obtained from the scene of the crime.

  4. Styrofoam cup-membrane assembly for studying microorganism-root interactions.

    Science.gov (United States)

    Hartel, P G; Billingsley, J W; Williamson, J W

    1989-05-01

    An assembly consisting of Styrofoam cups with membranes of varying porosities was developed to study microorganism-root interactions. The assembly permitted uniform distribution of a bacterium in soil and was simple, easy to use, and disposable. In tests with the bacterium Pseudomonas solanacearum, little difference in P. solanacearum survival was observed in the rhizosphere or nonrhizosphere of tomato.

  5. The Influence of the Basic Styrofoam Patterns Final Shaping Parameters on the Resistance Properties

    Directory of Open Access Journals (Sweden)

    T. Pacyniak

    2012-12-01

    Full Text Available This work presents the analysis of the final shaping process of the patterns aimed at determining the influence of the pressure and the time of sintering on the resistance to bending. The analysis of the research results proved that when the pressure of the sintering rises and reaches Ps=2.1 bar the resistance to bending increases, above this level of the pressure the resistance value starts decreasing. The time of styrofoam sintering at which the highest bending resistance values were obtained is ts=90 s. When the sintering pressure is less than 2 bar prolongation of the time of sintering over 90 s causes a slight increase in the resistance, however, at higher pressures prolongation of the time of sintering causes submelting of the styrofoam pattern.

  6. Bamboo reinforced concrete slab with styrofoam lamina filler as solution of lightweight concrete application

    Directory of Open Access Journals (Sweden)

    Wibowo Ari

    2017-01-01

    Full Text Available Energy resilience is becoming more important nowadays especially in the field of building sustainability. Some implementations can be carried out including using recycled materials instead of nonrenewable materials such as steel. Hence, one of the investigation conducted in this paper is replacing steel reinforcement with bamboo bars and using recycled materials such as Styrofoam with the aim of producing a concrete element structure that is lighter and more economical. In this research stage, flexural strength test on bamboo reinforced concrete slab with Styrofoam lamination filler was conducted. The results showed that the flexural strength of specimens decreased by 15% but with the weight advantage of 20% less compared with those of normal reinforced concrete slab with the same dimension. It is considered good performance in practical design context, since the nominal flexural capacity of RC slab when designed with minimum reinforcement are usually much higher than the required moment.

  7. The Influence of the Basic Styrofoam Patterns Final Shaping Parameters on the Resistance Properties

    Directory of Open Access Journals (Sweden)

    Pacyniak T.

    2012-12-01

    Full Text Available This work presents the analysis of the final shaping process of the patterns aimed at determining the influence of the pressure and the time of sintering on the resistance to bending. The analysis of the research results proved that when the pressure of the sintering rises and reaches Ps=2.1 bar the resistance to bending increases, above this level of the pressure the resistance value starts decreasing. The time of styrofoam sintering at which the highest bending resistance values were obtained is ts=90s. When the sintering pressure is less than 2 bar prolongation of the time of sintering over 90 s causes a slight increase in the resistance, however, at higher pressures prolongation of the time of sintering causes submelting of the styrofoam pattern.

  8. Kuat Geser Panel Beton Bertulang Bambu Lapis Styrofoam Dengan Beban In-plane

    OpenAIRE

    Ummati, Alfinna Mahya; Wisnumurti; Naingolan, Christin Remayanti

    2015-01-01

    Beton merupakan material penting dalam dunia konstruksi, penggunaannya lebih banyak digunakan untuk struktur utama seperti plat, balok, kolom, dan pondasi. Banyak sekali keuntungan dari beton untuk bahan konstruksi, namun massanya yang sangat besar menyebabkan beton memiliki bobot yang dapat mempengaruhi tanah dibawahnya. Inovasi untuk menciptakan beton ringan dilakukan dengan mengganti beberapa bagian beton dengan bahan lain yang lebih ringan, misalnya Styrofoam. Penelitian ini dilakukan den...

  9. Analisis Pindah Panas pada Ruang Fermentasi Biji Kakao (Theobroma cacao L dengan Menggunakan Kotak Kayu dan Styrofoam

    Directory of Open Access Journals (Sweden)

    Fazzatul Rahmi

    2017-04-01

    Full Text Available Abstrak. Fermentasi merupakan kegiatan untuk melepaskan zat lendir dari permukaan kulit biji dan menghasilkan biji mutu dan aroma yang baik. Selain itu fermentasi juga dilakukan untuk menghindari tumbuhnya jamur selama masa penyimpanan. Selama fermentasi berlangsung akan terjadinya perpindahan panas/ suhu di dalam kotak fermentasi. Tujuan yang ingin dicapai dalam penelitian yaitu untuk melihat perubahan suhu selama proses fermentasi, mengetahui pengaruh bahan kotak (kayu dan styrofoam terhadap perpindahan panas di dalam kotak fermentasi dan perpindahan panas dari dalam kotak fermentasi terhadap lingkungan luar. Hasil penelitian yang diperoleh bahwa suhu ideal fermentasi pada kotak kayu dihasilkan pada hari ke-5, sedangkan kotak styrofoam suhu ideal dihasilkan pada hari ke-3. Perpindahan panas pada bahan kayu suhunya lebih tinggi dibandingkan dengan bahan styrofoam. Hal ini disebabkan karena panas pada kotak kayu keluar lebih cepat, sehingga suhu pada proses fermentasi bisa lebih rendah dibandingkan menggunakan kotak styrofoam. Hasil fermentasi biji kakao dengan menggunakan kotak kayu didapatkan biji kakao yang bagus yaitu pada hari ke-5 fermentasi dan kotak styrofoam pada hari ke-5 fermentasi didapatkan biji kakao yang berjamur.   Analysis Of Transfer Heat Room Of Cocoa Seed Fermentation (Theobroma cacao L. Using Wood Box and Styrofoam Abstract. Fermentation is an activity to remove mucous substances from the skin surface to produce quality of seed and good aroma. In addition, fermentation also done to avoid the growth of mold during storage period. During fermentation, the heat transfer / temperature will be happen inside the fermentation box. The aim of this study is to observe the changes of temperature during the fermentation process, knowing the effect of packaging materials (wood and styrofoam to heat transfer in the fermentation box and heat transfer from inside of fermentation box to the environment in the outside. The results showed

  10. Shock absorbing evaluation of the rigid polyurethane foam and styrofoam applied to a small transportation package

    Energy Technology Data Exchange (ETDEWEB)

    Seo, K.S.; Lee, J.C.; Bang, K.S.; Han, H.S. [Korea Atomic Energy Research Inst. (KAERI), Daejeon (Korea); Chung, S.H.; Choi, B.I.; Ha, J.H. [Korea Hydro and Nuclear Power Co. Ltd (KHNP), Daejeon (Korea)

    2004-07-01

    The package design objectives for the drop condition are to maintain the integrity of the structural material by reducing the impact force. There are two kinds of the shock absorbing materials such as rigid polyurethane foam (PU) and Styrofoam (EPS: Expanded Poly Styrene). These materials are generally used in small transportation packages. The stress-strain curves were obtained by the compression tests until the PU and EPS reached their lock-up strain. This paper describes that, in the case of a small transportation package of a cylindrical shape, the shock absorbing effects were evaluated by utilizing the compression properties of the PU and EPS foam.

  11. Mechanical Properties of Composite Waste Material Based Styrofoam, Baggase and Eggshell Powder for Application of Drone Frames

    Science.gov (United States)

    Perdana, Mastariyanto; Prastiawan; Hadi, Syafrul

    2017-12-01

    The garbage issue becomes a very serious problem at the moment. Much research has been done to make waste into useful materials. One of the utilization of waste is as the basic material of composite material that can be applied in the field of engineering. Some of the wastes generated are styrofoam, bagasse and eggshell. Styrofoam, bagasse and eggshell can be applied to a composite material. Styrofoam serves as a composite binder material while the bagasse and eggshells serve as a reinforcement. Volume fraction between styrofoam, bagasse and eggshell are 80%:10%:10%, 70%:15%:15%, 60%:20%:20%, and 50%:25%:25%. The aims of research are determine the mechanical properties of composite material based waste materials from styrofoam, bagasse and eggshell. Mechanical properties tested in this study are bending strength and toughness of composite materials. The results showed bending strength of composite for each volume fraction of 80%:10%:10%, 70%:15%:15%, 60%:20%:20%, and 50%:25%:25% are 5.07 MPa, 8.45 MPa, 8.68 MPa, and 11.01 MPa, respectively. Toughness of composite materials for each volume fraction of 80%:10%:10%, 70%:15%:15%, 60%:20%:20%, and 50%:25%:25% are 0.33 J/mm2, 0.42 J/mm2, 0.75 J/mm2, and 0.75 J/mm2, respectively. Composite materials based on waste materials from styrofoam, bagasse and eggshell can be used as an alternative material for drone frames.

  12. Improper sealing caused by the Styrofoam integrity seals in leakproof plastic bottles lead to significant loss of ethanol in frozen evidentiary urine samples.

    Science.gov (United States)

    Sreerama, Lakshmaiah; Hardin, Glenn G

    2003-05-01

    Evidentiary urine samples (n = 345) stored frozen at -20 degrees C in their original containers (leakproof 100 mL plastic bottles) upon retesting for ethanol resulted in concentrations that were significantly lower (average loss = approximately 30%) than those prior to their storage at -20 degrees C (p Styrofoam integrity seal attached to the mouth of the container. Accordingly, adopting leakproof plastic containers that do not contain Styrofoam integrity seals, but rather an outside and across the cap tape integrity seal for evidence collection and long-term storage, will prevent loss of ethanol due to evaporation.

  13. Onion seedling production in styrofoam trays under controlled environment, as summer-planted onions Plantas de cebola produzidas em bandejas sob cultivo protegido, no verão

    Directory of Open Access Journals (Sweden)

    Maria Cristina Veiga De Vincenzo

    2003-02-01

    Full Text Available Summer-planted onion (Allium cepa L. can increase grower profits, but the production of seedlings for transplant is difficult. This experiment was carried out in Piracicaba, SP, Brazil, with the objective of studying the behavior of the short-day onion hybrid Mercedes, in its initial stage, under controlled greenhouse environment, as summer-planted onions. Four formulated substrates, two different numbers of plants per cell were tested, and 288-cell styrofoam trays used. Trials were set up in split-plot design (n=3. Substrate and number of plants per cell represented main plots, and N application (2 and 3 times a week the subplots. The number of three plants per cell decrease the earlier onset of bulbing and increase plant height; substrates did not show differences; and the N application 3 times a week increased plant height and leaf dry weight, but did not result in earlier onset of bulbing.Uma das dificuldades do cultivo do verão da cebola (Allium cepa L., que permite maior lucro pois esta é a época de entressafra, é a produção de plantas para o transplante. Com o objetivo de verificar o comportamento na fase de muda do híbrido Mercedes, sob cultivo protegido como cultura de verão, o experimento foi instalado em estufa, em Piracicaba, SP com bandejas de isopor de 288 células. Foram testados quatro substratos. e dois números de plantas por células (3 e 4 plantas/célula, sendo sub-plot a suplementação mineral com nitrogênio 2 e 3 vezes por semana com nitrato de cálcio + nitrato de potássio. O delineamento experimental foi inteiramente casualizado, com fatorial 4 x 2 em parcelas subdivididas, e três repetições. A densidade de três plantas por célula apresentou menor taxa de bulbificação precoce e maior altura da planta; não houve diferença quanto aos substratos e que a aplicação de nitrogênio três vezes por semana apresentou os maiores valores de altura da planta e peso da matéria seca da parte aérea, n

  14. Marine debris in central California: quantifying type and abundance of beach litter in Monterey Bay, CA.

    Science.gov (United States)

    Rosevelt, C; Los Huertos, M; Garza, C; Nevins, H M

    2013-06-15

    Monitoring beach litter is essential for reducing ecological threats towards humans and wildlife. In Monterey Bay, CA information on seasonal and spatial patterns is understudied. Central California's coastal managers require reliable information on debris abundance, distribution, and type, to support policy aimed at reducing litter. We developed a survey method that allowed for trained citizen scientists to quantify the types and abundance of beach litter. Sampling occurred from July 2009-June 2010. Litter abundance ranged from 0.03 to 17.1 items m(-2). Using a mixed model approach, we found season and location have the greatest effect on litter abundance. Styrofoam, the most numerically abundant item, made up 41% of the total amount of litter. Unexpected items included fertilizer pellets. The results of this study provide a baseline on the types and abundance of litter on the central coast and have directly supported policy banning Styrofoam take out containers from local municipalities. Copyright © 2013 Elsevier Ltd. All rights reserved.

  15. Squid traps are a small type of fishing gear, but they represent one ...

    African Journals Online (AJOL)

    spamer

    diameter plastic or styrofoam floats tied 1 m apart. An empty 5lcontainer buoys the trap underwater and is tied 2–10 m above the trap. A 12–18 kg cement sinker holds the trap in place. This type of trap is used by boats 8–18 m long and carrying 5–6 fishers; they operate offshore at depths of 15–50 m and stay at sea for 5–20 ...

  16. Produção de bulbinhos de cebola em bandejas de isopor Production of onion bulb sets in styrofoam trays

    Directory of Open Access Journals (Sweden)

    Antonio Ismael Inácio Cardoso

    1999-10-01

    cells: 288 (1 plant/cell, 128 (3 to 5 plants/cell or 72 cells (5 to 9 plants/cell using the cultivar Serrana. The second purpose was to compare nine cultivars, grown in trays of 128 cells, with 3 plants per cell. In the first experiment, five replications were used in the trial of types of trays and densities, while four replications were used in the experiment concerning cultivars which was set out in a randomized block design. Each plot was represented by one tray. It was observed that at the higher the plant density, there was a smaller bulb set size (diameter and weight. With good fertilizer management it was possible to produce bulb sets with a diameter of 1.3 cm (2g in a tray of 128 cells and 5 plants/cell. Among the nine cultivars examined, Crioula - AF, Crioula - GL and Houston had 83%, 67% and 81% bulb formation, respectively. The other cultivars (Aurora, Baia Periforme, Brownsville, Petroline, Pira Ouro, Pirana and Serrana produced no thick stems. The main advantages of producing bulb sets in this system over the traditional system were: relatively higher uniformity and absence of weeds or pathogens. This system may be a good alternative for producing bulb sets for processing, for controlling seed quality and for use in the onion breeding programs.

  17. Another Surprise in Mechanics: Styrofoam and Toys.

    Science.gov (United States)

    van den Berg, Ed; Bonifacio, Nestor; Embalzado, Renante; Ravelo, Mike

    1999-01-01

    Describes a safe but qualitative alternative to an experiment in which bullets are shot into wooden blocks from below, with some bullets hitting the blocks in the center and others off-center. Explains why the off-center blocks reach greater heights in spite of the fact that the bullet's energy is divided between translational and rotational…

  18. Pemanfaatan Beton Styrofoam Ringan untuk Fondasi Sumuran

    OpenAIRE

    Ramadhani, Sriyati

    2011-01-01

    Di daerah tanah lunak dengan letak muka air tinggi diperlukan ukuran luasan fondasi cukupbesar (fondasi telapak, pelat) atau digunakan fondasi tiang. Apabila jenis fondasi tiang, fondasilangsung (telapak) atau fondasi pelat digunakan pada bangunan ringan berakibat mahalnyabiaya konstruksi. Untuk itu, dicari alternative lain yaitu fondasi beton ringan guna mengurangivolume pemanfaatan material semen, dan menekan biaya konstruksi fondasi. Dalam penelitianini, pemanfaatan beton ringan merupakan ...

  19. Effects of storage time and temperature on the characteristics of vegetable-type soybean grain minimally processed

    Directory of Open Access Journals (Sweden)

    Karina Czaikoski

    2012-08-01

    Full Text Available The objective of this study was to evaluate the effects of storage time and temperature on the characteristics of vegetable-type soybean grain (cultivar BRS 267 minimally processed and to define the best conditions for its storage. The evaluation was performed by measurement of vitamin C levels, weight loss and color parameters (L*, a*, and b*. The time of storage of vegetable-type soybean grains minimally processed and storage in Styrofoam trays and wrapped with PVC film, caused a decreased in vitamin C levels and color parameters and increased weight loss. This process was intensified with higher temperature at 25 °C than 5°C. To maintain appropriate levels of vitamin C, weight and color of vegetable-type soybean grains minimally processed and storage in trays wrapped in plastic wrap, recommended storage for 3 days at 5°C.

  20. Perbandingan Kuat Lentur Dua Arah Plat Beton Bertulangan Bambu Rangkap Lapis Styrofoam Dengan Plat Beton Bertulangan Bambu Rangkap Tanpa Styrofoam

    OpenAIRE

    Pakusadewo, Lutfi; Wisnumurti; Wibowo, Ari

    2015-01-01

    Beton merupakan material yang sangat banyak digunakan sebagai material untuk struktur utama dalam konstruksi. Banyak keuntungan menggunakan beton sebagai material struktur utama. Selain itu, beton yang mampu dipadukan dengan tulangan baja, atau biasa yang disebut dengan beton bertulang. Pada konstrusi pembangunan, hampir seluruhnya menggunakan beton bertulang. Seiring perkembangan zaman, muncul inovasi-inovasi untuk membuat beton ringan namun juga kokoh, awet, dan murah. Salah satunya dengan ...

  1. Alternatives to sowing vegetable type soybeans

    Directory of Open Access Journals (Sweden)

    Edcarlos Mannfredini

    1998-08-01

    Full Text Available Today, soybean crops of the Tamba Kurodaisu cultivar are sown in beds prior to transplantation to the field. This planting system has caused crop failure due to damage to the root system. An experiment to test different sowing alternatives to obtain plantlets for cropping of food type big seeded soybean was set up with the following treatments: sowing in beds; sowing in 130 cm³ newspaper cups; sowing in test tubes of volumes of 30 cm³, 60 cm³ and 70 cm³; sowing in 70 cm³ disposable plastic cups; sowing on 90 cm³ styrofoam trays. A randomized complete block design was used, and the following traits were assessed: germination percentage; number of days to flowering; plant height at flowering; number of days to maturity; plant height at maturity; number of seeds per plant; individual plant yield; weight of a hundred seeds. Results should that three methods could be used to set up Tamba Kurodaisu cultivar crops: sowing in disposable plastic cups, sowing in beds with later transplant, or direct sowing in the field.Atualmente, as lavouras com o cultivar Tamba Kurodaisu são semeadas em canteiros, para posterior transplante no campo. Este sistema tem causado falhas na lavoura, por ocorrer danificação no sistema radicular. Com o objetivo de testar diferentes alternativas de semeadura para obtenção de mudas visando a implantação de lavouras de soja tipo alimento, com sementes graúdas, instalou-se um experimento com os seguintes tratamentos: Semeadura em canteiros; Semeadura em copos de jornal, com volume (V igual a 130 cm³; Semeadura em tubetes, com V = 30 cm³; V = 60 cm³; V = 70 cm³; Semeadura em copos plásticos descartáveis, com V = 70 cm³; Semeadura em bandejas de isopor, com V = 90cm³. O delineamento utilizado foi blocos casualizados, tendo sido avaliados os seguintes caracteres: Porcentagem de germinação; Número de plantas por parcela; Número de dias para o florescimento; Altura da planta no florescimento; Número de dias

  2. U.S. Marine Corps Level-Dependent Hearing Protector Assessment: Objective Measures of Hearing Protection Devices

    Science.gov (United States)

    2014-01-01

    1 Figure 2. G.R.A.S. Hearing-Protector Test Fixture Type 45CA (shown with Mx inserted). (The Styrofoam headform was not on...Test Fixture Type 45CA (shown with Mx inserted). (The Styrofoam headform was not on this ATF during testing.) 2.1.2 Research Facilities, Loudspeaker

  3. Type inference for correspondence types

    DEFF Research Database (Denmark)

    Hüttel, Hans; Gordon, Andy; Hansen, Rene Rydhof

    2009-01-01

    We present a correspondence type/effect system for authenticity in a π-calculus with polarized channels, dependent pair types and effect terms and show how one may, given a process P and an a priori type environment E, generate constraints that are formulae in the Alternating Least Fixed......-Point (ALFP) logic. We then show how a reasonable model of the generated constraints yields a type/effect assignment such that P becomes well-typed with respect to E if and only if this is possible. The formulae generated satisfy a finite model property; a system of constraints is satisfiable if and only...... if it has a finite model. As a consequence, we obtain the result that type/effect inference in our system is polynomial-time decidable....

  4. Blood Types

    Science.gov (United States)

    ... maternity. Learn About Blood Blood Facts and Statistics Blood Components Whole Blood and Red Blood Cells Platelets Plasma ... About Blood Blood Facts and Statistics Blood Types Blood Components What Happens to Donated Blood Blood and Diversity ...

  5. Type Tricks

    DEFF Research Database (Denmark)

    Beier, Sofie

    2017-01-01

    Type Tricks’ is about typographical rules and the underlying structure of the work process in the design of new typefaces. In that way, it is both a reference book and a user manual. In an illustrative format, it presents the different stages of type design in an easily accessible manner. Being...... their time at school. It’s the perfect reference book. The book contains a number of essential tricks that designers need to know and understand. The typographic guidelines are difficult to remember, but with this book you don’t have to remember every single one of them....

  6. Klebsiella Typing

    DEFF Research Database (Denmark)

    Hansen, D S; Skov, R; Benedí, J.V.

    2002-01-01

    OBJECTIVE: To compare pulsed-field gel electrophoresis (PFGE) typing and O:K-serotyping of Klebsiella in two different epidemiological settings. METHODS: One hundred and four bacteremia isolates without known epidemiological relation and 47 isolates from an outbreak in a neonatal intensive care...

  7. Handling Technique Development of Live Carp, Cyprinus carpio, In Cold Dry Styrofoam Box

    Science.gov (United States)

    Ketut Suwetja, I.; Salindeho, Netty; Gede Prabawa Suwetja, I.

    2017-10-01

    The study focused on several following aspects: temperature and time optimation for fainting, holding media optimation, temperature and time optimation for recovery, and their correlation with mortality rate of carp, Cyprinus carpio. Fainting occurred at the optimum time of 11 minutes and 03 seconds, temperature of 8°C, and holding time of 6 hours. Holding medium was rice husk. The fastest consciousness of the fish was found in 6 volt-aerated water medium. The fish consciousness after 6 hours of storing in the rice husk at the fainting temperature of 8°C was found faster (p < 0.05), 11 minutes and 15 seconds, than that added with 0.02% of clove oil, 25 minutes and 16 seconds. The fish mortality rate after 6 hours of storage in the rice husk at fainting temperature of 8°C was lower (p < 0.05), 46%, than that with addition of 0.02% of clove oil, 75%.

  8. Pengaruh Lapis Styrofoam Pada Plat Beton Bertulangan Bambu Terhadap Kekakuan Plat Satu Arah

    OpenAIRE

    Noerman, Muhammad Fauzan; Wijatmiko, Indradi; N, Christin Remayanti

    2017-01-01

    Beton merupakan suatu bahan konvensional pada suatu konstruksi yang memiliki keunggulan pada kuat tekannya yang tinggi namun sangat lemah pada kuat tariknya, sehingga dibutuhkan adanya tulangan untuk mendukung kuat tariknya. Harga yang mahal dan tidak dapat diperbaharui sehingga dibutuhkannya bahan yang dapat menggantikan baja sebagai tulangan, yang kemudian digunakan bambu sebagai salah satu alternatif.Penggunaan bambu sebagai tulangan mendukung terciptanya beton ringan. Inovasi beton ringan...

  9. Styrofoam-and-Velcro: An Alternative to Ball-and-Stick Models

    Directory of Open Access Journals (Sweden)

    Sawyer Rowan Masonjones

    2014-07-01

    Full Text Available For students learning biology at introductory levels, one of the most significant instructional barriers is their lack of preparation in chemistry. In upper-division college chemistry and biology courses, students employ ball-and-stick models in order to visualize molecular structures, but at the introductory biology level, models are inconsistently used and at the secondary level they are avoided altogether. Traditional ball-and-stick models perform poorly at all levels because they only show bonds, never valence electrons. This poses a problem for students who are visual or kinesthetic learners, as modeling electrons in the bonding process may be critical to understanding the mechanisms behind the biochemical reactions that serve as a foundation for biological concepts. Our molecular modeling kits show the action of valence electrons and correctly deal with the issue of polarity and partial charge, while still illustrating structure and function similarly to ball-and-stick models, allowing students to model nearly every reaction or molecule they may need to learn.  Additionally, this kit will foster model building exercises required as part of the Next Generation Science Standards (http://www.nextgenscience.org/next-generation-science-standards. This model was devloped in conjunction with 'Molecular Twister: A Game for Exploring Solution Chemistry' (JMBE Vol 15, No 1; http://jmbe.asm.org/index.php/jmbe/article/view/652 by the same authors, which uses principles derived from the present paper.

  10. What is the Best Insulator: Air, Styrofoam, Foil, or Cotton? Grades 3-5.

    Science.gov (United States)

    Rushton, Erik; Ryan, Emily; Swift, Charles

    Contrary to what many students think, heat flows from hot to cold. Working in groups of 3-4, students investigate the properties of insulators in attempts to keep a cup of water from freezing and, once it is frozen, to keep it from melting. This activity requires a 4.5-hour time period for completion. (Author/SOE)

  11. A Styrofoam-nano manganese oxide based composite: Preparation and application for the treatment of wastewater.

    Science.gov (United States)

    Abdullah, J Al; Al Lafi, Abdul G; Amin, Yusr; Alnama, Tasneem

    2018-02-16

    Nano-composites were synthesized by the reaction of waste polystyrene (PS) and KMnO 4 . The structure of the composite was controlled by the solvent/non-solvent system and the concentration of KMnO 4 . The FTIR spectra indicated the functionalization of PS and the attachment of NMO with the polymer chains. The maximum adsorption capacities (q max ) were 10,000 and 5000 Bq g -1 , for U and Th respectively. Different but controllable sorption/desorption behaviours were noted between Th and U, which could be promising in the separation of Th and U from their mixture. Copyright © 2018 Elsevier Ltd. All rights reserved.

  12. Prevention of leakage of low-melting-point metals from styrofoam molds.

    Science.gov (United States)

    Herman, M W; Robinson, A; Small, R C

    1975-10-01

    Leakage of low-melting-point metals from the underside of polystyrene molds can be prevented by applying a silicone caulking material to the bottom of the mold and pressing the mold on a metal plate before pouring.

  13. Development of an inexpensive, low attenuation styrofoam primate chair for use in a PET scanner

    NARCIS (Netherlands)

    Kortekaas, R; van Waarde, A; Maguire, RP; Leenders, KL; Elsinga, PH

    Pharmacokinetic modelling of radiotracers for positron emission tomography (PET) imaging of neuroreceptors can be performed with time-activity data for brain and blood. We aimed to develop an alternative to withdrawal of arterial blood samples for acquisition of a blood curve. A supportive primate

  14. Types of hormone therapy

    Science.gov (United States)

    ... your doctor for regular checkups when taking HT. Alternative Names HRT- types; Estrogen replacement therapy - types; ERT- types of hormone therapy; Hormone replacement therapy - types; Menopause - types of hormone therapy; HT - types; Menopausal hormone ...

  15. Typed Operational Semantics for Dependent Record Types

    Directory of Open Access Journals (Sweden)

    Yangyue Feng

    2011-03-01

    Full Text Available Typed operational semantics is a method developed by H. Goguen to prove meta-theoretic properties of type systems. This paper studies the metatheory of a type system with dependent record types, using the approach of typed operational semantics. In particular, the metatheoretical properties we have proved include strong normalisation, Church-Rosser and subject reduction.

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... In Honor Become a Member En Español Type 1 Type 2 About Us Online Community Meal Planning ... Basics Home Symptoms Diagnosis America's Diabetes Challenge Type 1 Type 2 Facts About Type 2 Enroll in ...

  17. Refining types using type guards in TypeScript

    NARCIS (Netherlands)

    de Wolff, Ivo Gabe; Hage, J.

    2017-01-01

    We discuss two adaptations of the implementation of type guards and narrowing in the TypeScript compiler. The first is an improvement on the original syntax-directed implementation, and has now replaced the original one in the TypeScript compiler. It is specifically suited for the scenario in which

  18. Guarded dependent type theory with coinductive types

    DEFF Research Database (Denmark)

    Bizjak, Aleš; Grathwohl, Hans Bugge; Clouston, Ranald

    2015-01-01

    We present guarded dependent type theory, gDTT, an extensional dependent type theory with a later' modality and clock quantifiers for programming and proving with guarded recursive and coinductive types. The later modality is used to ensure the productivity of recursive definitions in a modular...... functor rules for the later modality considered in earlier work, and are crucial for programming and proving with dependent types. We show soundness of the type theory with respect to a denotational model....

  19. Facts about Type 2

    Medline Plus

    Full Text Available ... Text Size: A A A Listen En Español Facts About Type 2 Type 2 diabetes is the ... 2, In this section Diabetes Basics Type 2 Facts About Type 2 Recently Diagnosed Treatment and Care ...

  20. Effect of openings collectors and solar irradiance on the thermal efficiency of flat plate-finned collector for indirect-type passive solar dryer

    Science.gov (United States)

    Batubara, Fatimah; Dina, Sari Farah; Klaudia Kathryn Y., M.; Turmuzi, M.; Siregar, Fitri; Panjaitan, Nora

    2017-06-01

    Research on the effect of openings solar collector and solar irradiance to thermal efficiency has been done. Solar collector by flat plate-finned type consists of 3 ply insulator namely wood, Styrofoam and Rockwool with thickness respectively are 10 mm, 25 mm and 50 mm. Absorber plate made of aluminum sheet with thickness of 0.30 mm, painted by black-doff. Installation of 19 units fins (length x height x thickness: 1000x20x10 mm) on the collector will increase surface area of absorber so it can receive much more solar energy. The solar collector cover is made of glass (thickness of 5 mm). During the research, the solar irradiance and temperature of collector are measured and recorded every five minutes. Temperature measurement performed on the surface of the absorber plate, inside of collector, surface cover and the outer side insulator (plywood). This data is used to calculate the heat loss due to conduction, convection and radiation on the collector. Openings of collectors vary as follows: 100%, 75%, 15% and 0% (total enclosed). The data collecting was conducted from 09.00 am to 17.00 pm and triplicates. The collector thermal efficiency calculated based on the ratio of the amount of heat received to the solar irradiance absorbed. The results show that each of openings solar collector has different solar irradiance (because it was done on a different day) which is in units of W/m2: 390 (100% open), 376 (75% open), 429 (15% open), and 359 (totally enclosed). The highest thermal efficiency is in openings variation of 15% opened. These results indicate that the efficiency of the collector is influenced by the solar irradiance received by the collector and the temperature on the collector plate. The highest thermal efficiency is in variation of openings 15%. These indicate that the efficiency of the collector was influenced by solar irradiance received by the collector and openings of the collector plate.

  1. Refinement Types for TypeScript

    OpenAIRE

    Vekris, Panagiotis; Cosman, Benjamin; Jhala, Ranjit

    2016-01-01

    We present Refined TypeScript (RSC), a lightweight refinement type system for TypeScript, that enables static verification of higher-order, imperative programs. We develop a formal core of RSC that delineates the interaction between refinement types and mutability. Next, we extend the core to account for the imperative and dynamic features of TypeScript. Finally, we evaluate RSC on a set of real world benchmarks, including parts of the Octane benchmarks, D3, Transducers, and the TypeScript co...

  2. Facts about Type 2

    Medline Plus

    Full Text Available ... Alert Day Diabetes Basics Home Symptoms Diagnosis America's Diabetes Challenge Type 1 Type 2 Facts About Type 2 Enroll in ... Where Do I Begin With Type2? Living With Type 1 Diabetes Enroll in the Living WIth Type 2 Diabetes ...

  3. Facts about Type 2

    Medline Plus

    Full Text Available ... Where Do I Begin With Type2? Living With Type 1 Diabetes Enroll in the Living WIth Type 2 Diabetes ... Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & Type 1 Diabetes Get Started Safely Get And Stay Fit Types ...

  4. Facts about Type 2

    Medline Plus

    Full Text Available ... Patient Education Materials — Taking Care of Type 2 Diabetes This two-page introduction to type 2 diabetes is in ... Forecast® magazine: lp-type-2, In this section Diabetes Basics Type 2 Facts About Type 2 Recently Diagnosed Treatment and ...

  5. Type Inference with Inequalities

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff

    1991-01-01

    Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric polymorphism, and assignments. Type correctness is expressed as satisfiability of a possibly infinite collection...

  6. Facts about Type 2

    Medline Plus

    Full Text Available ... a Member Donate Now! One Time Monthly In Memory In Honor Become a Member En Español Type 1 Type ... Diagnosing Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower ...

  7. Types of Physical Activity

    Science.gov (United States)

    ... basics Types of physical activity Types of physical activity Not sure what kinds of physical activity you should do? Well, you need three main types of activity . They are aerobic (sometimes called "cardio"), muscle-strengthening , ...

  8. Guarded Cubical Type Theory

    DEFF Research Database (Denmark)

    Birkedal, Lars; Bizjak, Aleš; Clouston, Ranald

    2016-01-01

    terms. CTT provides a computational interpretation of functional extensionality, enjoys canonicity for the natural numbers type, and is conjectured to support decidable type-checking. Our new type theory, guarded cubical type theory (GCTT), provides a computational interpretation of extensionality......This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program logics, and for programming and reasoning...... with coinductive types. We wish to implement GDTT with decidable type checking, while still supporting non-trivial equality proofs that reason about the extensions of guarded recursive constructions. CTT is a variation of Martin-L\\"of type theory in which the identity type is replaced by abstract paths between...

  9. Facts about Type 2

    Medline Plus

    Full Text Available ... Ways to Give Close Are You at Risk? Home Prevention Diagnosing Diabetes and Learning About Prediabetes Type ... To Know Your Risk Alert Day Diabetes Basics Home Symptoms Diagnosis America's Diabetes Challenge Type 1 Type ...

  10. Facts about Type 2

    Medline Plus

    Full Text Available ... Type 2 About Us Online Community Meal Planning Sign In Search: Search More Sites Search ≡ Are You ... Your Risk Alert Day Diabetes Basics Home Symptoms Diagnosis America's Diabetes Challenge Type 1 Type 2 Facts ...

  11. Types of Blood Donations

    Science.gov (United States)

    ... Cell Plasma Platelets Red Cells What blood donation type is best for me? **If you do not ... a whole blood donation is recommended** Blood Donation Types: Volunteer Donations The standard or most common type ...

  12. Types of Breast Pumps

    Science.gov (United States)

    ... Health and Consumer Devices Consumer Products Breast Pumps Types of Breast Pumps Share Tweet Linkedin Pin it ... a nipple and used for feeding a baby. Types of Breast Pumps There are three basic types ...

  13. Type 1 diabetes

    Science.gov (United States)

    Insulin-dependent diabetes; Juvenile onset diabetes; Diabetes - type 1; High blood sugar - type 1 diabetes ... Type 1 diabetes can occur at any age. It is most often diagnosed in children, adolescents, or young adults. Insulin is ...

  14. Types of Diabetes

    Science.gov (United States)

    ... Dental Problems Diabetes & Sexual & Urologic Problems What is Diabetes? Diabetes is a disease that occurs when your ... is serious. What are the different types of diabetes? The most common types of diabetes are type ...

  15. Facts about Type 2

    Medline Plus

    Full Text Available ... Forecast® magazine: lp-type-2, In this section Diabetes Basics Type 2 Facts About Type 2 Recently Diagnosed Treatment and Care Blood Glucose Control Complications Medication Doctors, ...

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... a Member Donate Now! One Time Monthly In Memory In Honor Become a Member En Español Type 1 Type ... Type 2 Diabetes Risk Test Lower Your Risk Healthy Eating Overweight Smoking High ...

  17. Facts about Type 2

    Medline Plus

    Full Text Available ... En Español Type 1 Type 2 About Us Online Community Meal Planning Sign In Search: Search More ... Diagnosing Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower ...

  18. Facts about Type 2

    Medline Plus

    Full Text Available ... Nutrient Content Claims Understanding Carbohydrates Types of Carbohydrates Carbohydrate Counting Make Your Carbs Count Glycemic Index Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & Type 1 Diabetes Get Started Safely Get And Stay Fit Types ...

  19. Concrete Types for TypeScript

    OpenAIRE

    Richards, Gregor; Zappa Nardelli, Francesco; Vitek, Jan

    2015-01-01

    Typescript extends JavaScript with optional type annotations that are, by design, unsound and, that the Typescript compiler discards as it emits code. This design point preserves programming idioms developers are familiar with, and allows them to leave their legacy code unchanged, while offering a measure of static error checking in parts of the program that have type annotations. We present an alternative design for TypeScript, one where it is possible to support the same degree of dynamism,...

  20. Types and Automata

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Meineche Smidt, Erik

    A hierarchical type system for imperative programming languages gives rise to various computational problems, such as type equivalence, type ordering, etc. We present a particular class of finite automata which are shown to be isomorphic to type equations. All the relevant type concepts turn out...... to have well-known automata analogues, such as language equality, language inclusion, etc. This provides optimal or best known algorithms for the type system, by a process of translating type equations to automata, solving the analogous problem, and translating the result back to type equations. Apart...... from suggesting an implementation, this connection lends a certain naturality to our type system. We also introduce a very general form of extended (recursive) type equations which are explained in terms of (monotone) alternating automata. Since types are simply equationally defined trees...

  1. Guarded Cubical Type Theory

    DEFF Research Database (Denmark)

    Birkedal, Lars; Bizjak, Aleš; Clouston, Ranald

    2016-01-01

    types. This further expands the foundations of CTT as a basis for formalisation in mathematics and computer science. We present examples to demonstrate the expressivity of our type theory, all of which have been checked using a prototype type-checker implementation, and present semantics in a presheaf......This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program logics, and for programming and reasoning...... with coinductive types. We wish to implement GDTT with decidable type-checking, while still supporting non-trivial equality proofs that reason about the extensions of guarded recursive constructions. CTT is a variation of Martin-L\\"of type theory in which the identity type is replaced by abstract paths between...

  2. Type I Versus Type II Endometrial Cancer

    DEFF Research Database (Denmark)

    Noer, Mette Calundann; Antonsen, Sofie Leisby; Ottesen, Bent

    2018-01-01

    OBJECTIVE: Two distinct types of endometrial carcinoma (EC) with different etiology, tumor characteristics, and prognosis are recognized. We investigated if the prognostic impact of comorbidity varies between these 2 types of EC. Furthermore, we studied if the recently developed ovarian cancer...

  3. Lightening Global Types

    Directory of Open Access Journals (Sweden)

    Tzu-chun Chen

    2014-06-01

    Full Text Available Global session types prevent participants from waiting for never coming messages. Some interactions take place just for the purpose of informing receivers that some message will never arrive or the session is terminated. By decomposing a big global type into several light global types, one can avoid such kind of redundant interactions. Lightening global types gives us cleaner global types, which keep all necessary communications. This work proposes a framework which allows to easily decompose global types into light global types, preserving the interaction sequences of the original ones but for redundant interactions.

  4. Type checking with open type functions

    DEFF Research Database (Denmark)

    Schrijvers, Tom; Jones, Simon Peyton; Chakravarty, Manual

    2008-01-01

    We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The contribution of the paper is that we identify and characterise the key technical challenge of entailment checking......; and we give a novel, decidable, sound, and complete algorithm to solve it, together with some practically-important variants. Our system is implemented in GHC, and is already in active use....

  5. Type Systems for Bigraphs

    DEFF Research Database (Denmark)

    Elsborg, Ebbe; Hildebrandt, Thomas; Sangiorgi, Davide

    We propose a novel and uniform approach to type systems for (process) calculi, which roughly pushes the challenge of designing type systems and proving properties about them to the meta-model of bigraphs. Concretely, we propose to define type systems for the term language for bigraphs, which...... of controls and a set of reaction rules, collectively a bigraphical reactive system (BRS). Possible advantages of developing bigraphical type systems include: a deeper understanding of a type system itself and its properties; transfer of the type systems to the concrete family of calculi that the BRS models......; and the possibility of modularly adapting the type systems to extensions of the BRS (with new controls). As proof of concept we present a model of a pi-calculus, develop an i/o-type system with subtyping on this model, prove crucial properties (including subject reduction) for this type system, and transfer...

  6. Multiparty Asynchronous Session Types

    DEFF Research Database (Denmark)

    Honda, Kohei; Yoshida, Nobuko; Carbone, Marco

    2016-01-01

    . This work extends the foregoing theories of binary session types to multiparty, asynchronous sessions, which often arise in practical communication-centered applications. Presented as a typed calculus for mobile processes, the theory introduces a new notion of types in which interactions involving multiple......Communication is a central elements in software development. As a potential typed foundation for structured communication-centered programming, session types have been studied over the past decade for a wide range of process calculi and programming languages, focusing on binary (two-party) sessions...... peers are directly abstracted as a global scenario. Global types retain the friendly type syntax of binary session types while specifying dependencies and capturing complex causal chains of multiparty asynchronous interactions. A global type plays the role of a shared agreement among communication peers...

  7. Facts about Type 2

    Medline Plus

    Full Text Available ... Index Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & Type 1 Diabetes Get Started Safely Get And Stay Fit Types of Activity Weight Loss Assess Your Lifestyle Getting Started Food Choices In ...

  8. Facts about Type 2

    Medline Plus

    Full Text Available ... Student Resources History of Diabetes Resources for School Projects How to Reference Our Site Diabetes Basics Myths ... to later on. Some groups have a higher risk for developing type 2 diabetes than others. Type ...

  9. Types of Dementia

    Science.gov (United States)

    ... A A Share Plus on Google Plus Alzheimer's & Dementia alz.org | IHaveAlz Overview What Is Dementia Types ... local chapter Join our online community Types of Dementia Dementia is a general term for loss of ...

  10. Facts about Type 2

    Medline Plus

    Full Text Available ... Nutrient Content Claims Understanding Carbohydrates Types of Carbohydrates Carbohydrate Counting Make Your Carbs Count Glycemic Index Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & Type 1 Diabetes Get Started Safely Get And ...

  11. Facts about Type 2

    Medline Plus

    Full Text Available ... Professional Books Patient Access to Research Student Resources History of Diabetes Resources for School Projects How to Reference ... Basics Symptoms Type 1 Type 2 Gestational Myths Statistics Common ... of Events Local Offices Volunteer Opportunities Signature Events Camps ...

  12. Facts about Type 2

    Medline Plus

    Full Text Available ... Living with Diabetes Home Recently Diagnosed Where Do I Begin With Type2? Living With Type 1 Diabetes ... Heart-Healthy Foods Holiday Meal Planning What Can I Eat? Making Healthy Food Choices Diabetes Superfoods Non- ...

  13. Facts about Type 2

    Medline Plus

    Full Text Available ... Enroll in the Living WIth Type 2 Diabetes Program Gestational What is Gestational Diabetes? How to Treat ... Enroll in the Living WIth Type 2 Diabetes Program In It Together We Can Help Center for ...

  14. Facts about Type 2

    Medline Plus

    Full Text Available ... Your Risk Risk Test Alert Day Prediabetes My Health Advisor Tools to Know Your Risk Diabetes Basics Symptoms Type 1 Type 2 Gestational Myths Statistics Common Terms Genetics Living With Diabetes ...

  15. Types of Ulcerative Colitis

    Science.gov (United States)

    ... Colitis? > Types of Ulcerative Colitis Types of Ulcerative Colitis Email Print + Share If you are diagnosed with ... abdomen may occur in active disease. Left-sided Colitis Continuous inflammation that begins at the rectum and ...

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... Medicaid & CHIP For Parents & Kids Safe at School Everyday Life Children and Type 2 Diabetes Know Your ... Index Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & Type 1 Diabetes Get Started Safely Get And ...

  17. Types of Anesthesia

    Science.gov (United States)

    ... to Your Parents - or Other Adults Types of Anesthesia KidsHealth > For Teens > Types of Anesthesia Print A ... I Get? en español Tipos de anestesia About Anesthesia Anesthesia is broken down into three main categories: ...

  18. Facts about Type 2

    Medline Plus

    Full Text Available ... Know Your Risk Alert Day Diabetes Basics Home Symptoms Diagnosis America's Diabetes Challenge Type 1 Type 2 Facts ... Online Community Site Menu Are You at Risk? Diagnosis Lower Your Risk Risk Test Alert Day Prediabetes ...

  19. Facts about Type 2

    Medline Plus

    Full Text Available ... Americans/Pacific Islanders, as well as the aged population. Patient Education Materials — Taking Care of Type 2 ... 1 Type 2 Gestational Myths Statistics Common Terms Genetics Living With Diabetes Recently Diagnosed Treatment & Care Complications ...

  20. Preventing Type 2 Diabetes

    Science.gov (United States)

    ... Problems Diabetes & Sexual & Urologic Problems Preventing Type 2 Diabetes Perhaps you have learned that you have a ... I lower my chances of developing type 2 diabetes? Research such as the Diabetes Prevention Program shows ...

  1. Facts about Type 2

    Medline Plus

    Full Text Available ... Fit Types of Activity Weight Loss Assess Your Lifestyle Getting Started Food Choices In My Community Home ... glucose levels normal. Type 2 is treated with lifestyle changes, oral medications (pills), and insulin. When glucose ...

  2. Facts about Type 2

    Medline Plus

    Full Text Available ... People Working to Stop Diabetes Common Terms Diabetes Statistics Infographics Living with Diabetes Home Recently Diagnosed Where ... Basics Symptoms Type 1 Type 2 Gestational Myths Statistics Common Terms Genetics Living With Diabetes Recently Diagnosed ...

  3. Facts about Type 2

    Medline Plus

    Full Text Available ... to Know Your Risk Diabetes Basics Symptoms Type 1 Type 2 Gestational Myths Statistics Common Terms Genetics Living With Diabetes Recently Diagnosed Treatment & Care Complications Health Insurance For Parents & Kids Know ...

  4. Type 1 Diabetes

    Science.gov (United States)

    ... develop in adults. Despite active research, type 1 diabetes has no cure. Treatment focuses on managing blood sugar levels with insulin, diet and lifestyle to prevent complications. Symptoms Type 1 diabetes signs and symptoms can appear relatively suddenly and ...

  5. Facts about Type 2

    Medline Plus

    Full Text Available ... diagnosed. Diabetes causes more deaths a year than breast cancer and AIDS combined. Your gift today will help ... Basics Symptoms Type 1 Type 2 Gestational Myths Statistics Common Terms Genetics Living With Diabetes Recently Diagnosed ...

  6. Type 2 diabetes

    Science.gov (United States)

    ... diabetes; Oral hypoglycemic - type 2 diabetes; High blood sugar - type 2 diabetes ... mmol/L) 2 hours after drinking a special sugar drink. Diabetes screening is recommended for: Overweight children who have ...

  7. Different Types of Lupus

    Science.gov (United States)

    ... Twitter Facebook Pinterest Email Print Different types of lupus Lupus Foundation of America September 18, 2017 Resource ... lupus. Learn more about each type below. Systemic lupus erythematosus Systemic lupus is the most common form ...

  8. Types of Stem Cells

    Science.gov (United States)

    ... Stem Cell Glossary Search Toggle Nav Types of Stem Cells Stem cells are the foundation from which all ... Learn About Stem Cells > Types of Stem Cells Stem cells Stem cells are the foundation for every organ ...

  9. Facts about Type 2

    Medline Plus

    Full Text Available ... Español Type 1 Type 2 About Us Online Community Meal Planning Sign In Search: Search More Sites ... Basics Living with Diabetes Food & Fitness In My Community Advocacy Research & Practice Ways to Give Close Are ...

  10. Unlocking Personality Type.

    Science.gov (United States)

    Tieger, Paul D.

    2002-01-01

    This article examines some of the intricacies of personality types and their effect on career choices. Proposes that knowing students' Myers-Briggs personality types can help school counselors guide them down the right career path. (GCP)

  11. Dynamically typed languages

    OpenAIRE

    Tratt, Laurence

    2009-01-01

    Dynamically typed languages such as Python and Ruby have experienced a rapid grown in popularity in recent times. However, there is much confusion as to what makes these languages interesting relative to statically typed languages, and little knowledge of their rich history. In this chapter I explore the general topic of dynamically typed languages, how they differ from statically typed languages, their history, and their defining features.

  12. Diabetes, Type 1

    OpenAIRE

    Riazi, Afsane; Bradley, Clare

    2000-01-01

    This chapter provides an overview of the role of psychological stress in Type 1 diabetes. Studies relating to stress and Type 1 diabetes onset and control, as well as the evidence relating to stress management training in people with Type 1 diabetes are discussed.

  13. Diabetes Type 2

    Science.gov (United States)

    Diabetes means your blood glucose, or blood sugar, levels are too high. With type 2 diabetes, the more common type, your body does not ... You have a higher risk of type 2 diabetes if you are older, have obesity, have a ...

  14. Facts about Type 2

    Medline Plus

    Full Text Available ... Your Risk Diabetes Basics Symptoms Type 1 Type 2 Gestational Myths Statistics Common Terms Genetics Living With Diabetes Recently Diagnosed Treatment & Care Complications Health Insurance For Parents & Kids Know Your ... Type 2 Diabetes Program Food & Fitness Food Recipes Planning Meals ...

  15. Type 1 Diabetes Facts

    Science.gov (United States)

    ... Contact Us Donate Events More Type 1 Diabetes Facts Type 1 diabetes (T1D) is an autoimmune disease ... of T1D The Complexity of Diagnosing T1D T1D Facts Insulin Types and Usage T1D Treatments Sign up ...

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... Home Prevention Diagnosing Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk Healthy Eating Overweight ... About Type 2 Enroll in the Living WIth Type 2 Diabetes Program Gestational What is Gestational Diabetes? How to ...

  17. Osteogenesis imperfecta type V

    DEFF Research Database (Denmark)

    Rauch, Frank; Moffatt, Pierre; Cheung, Moira

    2013-01-01

    Osteogenesis imperfecta (OI) type V is an autosomal dominant bone fragility disorder that we had described a decade ago. Recent research has shown that OI type V is caused by a recurrent c.-14C>T mutation in IFITM5. In the present study, we assessed all patients diagnosed with OI type V at our in...

  18. Tension Type Headache: Evaluation of Chronic Type

    Directory of Open Access Journals (Sweden)

    Ömer Karadaş

    2013-11-01

    Full Text Available Tension type headache(TTH which is a primary headache has episodic and chronic forms. Episodic TTH (ETTH can also be frequent-type and non-frequent-type. According to population-based studies, annual prevalence rates are 38.3% for ETTH and 2.2% for chronic TTH (CTTH. Patients can shift between the sub-groups of TTH. In particular, patients with ETTH are at risk of developing CTTH. Peripheral and central nociceptive mechanism are thought to be responsible in occurrence of TTH. Psychiatric disorders are frequently associated with TTH. Although basic and combined analgesics are used in acute treatment and antidepresants are used in prophylaxis, new treatment modalities are needed.

  19. Improving Precision of Types

    DEFF Research Database (Denmark)

    Winther, Johnni

    mixing of unrelated types. Secondly, we present an improvement of the type checking algorithm in Java which enables the compiler to detect and ease the use of a common programming idiom called guarded casts. Thirdly, we present an improvement of the precision with which classes generated by a parser......Types in programming languages provide a powerful tool for the programmer to document the code so that a large aspect of the intent can not only be presented to fellow programmers but also be checked automatically by compilers. The precision with which types model the behavior of programs...... is crucial to the quality of these automated checks, and in this thesis we present three different improvements to the precision of types in three different aspects of the Java programming language. First we show how to extend the type system in Java with a new type which enables the detection of unintended...

  20. Guarded Type Promotion

    DEFF Research Database (Denmark)

    Winther, Johnni

    2011-01-01

    In Java, explicit casts are ubiquitous since they bridge the gap between compile-time and runtime type safety. Since casts potentially throw a ClassCastException, many programmers use a defensive programming style of guarded casts. In this programming style casts are protected by a preceding...... in a Java 6 compiler. Through our extensive testing of real-life code we show that guarded casts account for approximately one fourth of all casts and that Guarded Type Promotion can eliminate the need for 95 percent of these guarded casts....... conditional using the instanceof operator and thus the cast type is redundantly mentioned twice. We propose a new typing rule for Java called Guarded Type Promotion aimed at eliminating the need for the explicit casts when guarded. This new typing rule is backward compatible and has been fully implemented...

  1. Types of biological variables.

    Science.gov (United States)

    Mayya, Shreemathi S; Monteiro, Ashma D; Ganapathy, Sachit

    2017-06-01

    Identification and description of variables used in any study is a necessary component in biomedical research. Statistical analyses rely on the type of variables that are involved in the study. In this short article, we introduce the different types of biological variables. A researcher has to be familiar with the type of variable he/she is dealing with in his/her research to decide about appropriate graphs/diagrams, summary measures and statistical analysis.

  2. Mastering TypeScript

    CERN Document Server

    Rozentals, Nathan

    2015-01-01

    Whether you are a JavaScript developer aiming to learn TypeScript, or an experienced TypeScript developer wanting to take your skills to the next level, this book is for you. From basic to advanced language constructs, test-driven development, and object-oriented techniques, you will learn how to get the most out of the TypeScript language.

  3. Type II universal spacetimes

    Science.gov (United States)

    Hervik, S.; Málek, T.; Pravda, V.; Pravdová, A.

    2015-12-01

    We study type II universal metrics of the Lorentzian signature. These metrics simultaneously solve vacuum field equations of all theories of gravitation with the Lagrangian being a polynomial curvature invariant constructed from the metric, the Riemann tensor and its covariant derivatives of an arbitrary order. We provide examples of type II universal metrics for all composite number dimensions. On the other hand, we have no examples for prime number dimensions and we prove the non-existence of type II universal spacetimes in five dimensions. We also present type II vacuum solutions of selected classes of gravitational theories, such as Lovelock, quadratic and L({{Riemann}}) gravities.

  4. TypeScript revealed

    CERN Document Server

    Maharry, Dan

    2013-01-01

    TypeScript Revealed is a quick 100-page guide to Anders Hejlsberg's new take on JavaScript. With this brief, fast-paced introduction to TypeScript, .NET, Web and Windows 8 application developers who are already familiar with JavaScript will easily get up to speed with TypeScript and decide whether or not to start incorporating it into their own development. TypeScript is 'JavaScript for Application-scale development'; a superset of JavaScript that brings to it an additional object-oriented-like syntax familiar to .NET programmers that compiles down into simple, clean JavaScript that any browse

  5. Facts about Type 2

    Medline Plus

    Full Text Available ... Nutrient Content Claims Understanding Carbohydrates Types of Carbohydrates Carbohydrate Counting Make Your Carbs Count Glycemic Index Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & ...

  6. Facts about Type 2

    Medline Plus

    Full Text Available ... most common form of diabetes. In type 2 diabetes, your body does not use insulin properly. This is called ... Help Enroll in the Living WIth Type 2 Diabetes Program Food & Fitness Food Recipes Planning Meals What Can I Eat Weight Loss Fitness In My Community Calendar of Events ...

  7. Facts about Type 2

    Medline Plus

    Full Text Available ... Diabetes This two-page introduction to type 2 diabetes is in PDF format so you can download it, print it, and hand it out to patients. You can also download the Spanish version. Last Reviewed: ... magazine: lp-type-2, . In this section ...

  8. Facts about Type 2

    Medline Plus

    Full Text Available ... Type 2 Diabetes Program donate en -- #GiveForDiabetes - givefordiabetes.html #GiveForDiabetes Every 21 seconds, someone is diagnosed with ... Donate Today We Can Help - we-can-help.html Chat Online Chat Closed engagement en -- Free Type ...

  9. Facts about Type 2

    Medline Plus

    Full Text Available Donate Today! Become a Member Donate Now! One Time Monthly In Memory In Honor Become a Member En Español Type 1 Type 2 About Us ... Month® American Diabetes Association Alert Day® Become a Member Advocacy Home Take Action Advocacy Priorities 2018 State ...

  10. Facts about Type 2

    Medline Plus

    Full Text Available ... Americans/Pacific Islanders, as well as the aged population. Patient Education Materials — Taking Care of Type 2 Diabetes This two-page introduction to type 2 diabetes is in PDF format so you can download it, print it, ...

  11. Facts about Type 2

    Medline Plus

    Full Text Available ... Research Leaders World's Largest Diabetes Meeting Recent Advances Type 1 Research Highlights Research Excellence Honorees How We Fund Research ... steps you take Help change the conversation about type 2 diabetes. ... With Us Register for diabetes news, research and food & fitness tips. Email: Sign Up Thank ...

  12. Facts about Type 2

    Medline Plus

    Full Text Available ... Membership Please Join Us in the Fight for a Cure Your tax-deductible gift today can fund ... A A Listen En Español Facts About Type 2 Type 2 diabetes is the most common form ...

  13. Facts about Type 2

    Medline Plus

    Full Text Available ... 2383) Give by Mail Close www.diabetes.org > Diabetes Basics > Type 2 Share: Print Page Text Size: A A A ... 2 diabetes is the most common form of diabetes. In type 2 diabetes, your body does not use insulin properly. ...

  14. Facts about Type 2

    Medline Plus

    Full Text Available ... blood glucose levels may hurt your eyes, kidneys, nerves or heart. Some people with type 2 can ... type 2 diabetes. Shopdiabetes.org: Your Stress-Free System for Family Dinners! - 2017-03-book-oclock-scramble. ...

  15. Flash-Type Discrimination

    Science.gov (United States)

    Koshak, William J.

    2010-01-01

    This viewgraph presentation describes the significant progress made in the flash-type discrimination algorithm development. The contents include: 1) Highlights of Progress for GLM-R3 Flash-Type discrimination Algorithm Development; 2) Maximum Group Area (MGA) Data; 3) Retrieval Errors from Simulations; and 4) Preliminary Global-scale Retrieval.

  16. Diabetes Type 1

    Science.gov (United States)

    Diabetes means your blood glucose, or blood sugar, levels are too high. With type 1 diabetes, your pancreas does not make insulin. Insulin is ... kidneys, nerves, and gums and teeth. Type 1 diabetes happens most often in children and young adults ...

  17. Beyond Type D personality

    DEFF Research Database (Denmark)

    Pelle, Aline J; Pedersen, Susanne S.; Szabó, Balázs M

    2009-01-01

    Type D personality has been associated with impaired health status in chronic heart failure (CHF), but other psychological factors may also be important.......Type D personality has been associated with impaired health status in chronic heart failure (CHF), but other psychological factors may also be important....

  18. Types of Foreign Aid

    DEFF Research Database (Denmark)

    Bjørnskov, Christian

    Foreign aid is given for many purposes and different intentions, yet most studies treat aid flows as a unitary concept. This paper uses factor analysis to separate aid flows into different types. The main types can be interpreted as aid for economic purposes, social purposes, and reconstruction...

  19. Facts about Type 2

    Medline Plus

    Full Text Available ... Count Glycemic Index Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & Type 1 Diabetes Get Started Safely Get And Stay Fit Types of Activity Weight Loss Assess Your Lifestyle Getting Started Food Choices In My Community Home Find Your Local ...

  20. Facts about Type 2

    Medline Plus

    Full Text Available Donate Today! Become a Member Donate Now! One Time Monthly In Memory In Honor Become a Member En Español Type 1 Type 2 About Us ... Month® American Diabetes Association Alert Day® Become a Member Advocacy Home Take Action Advocacy Priorities State Priorities ...

  1. Typing polymorphic recursion

    OpenAIRE

    Figueiredo, Lucília Camarão de; Camarão, Carlos

    2001-01-01

    This paper discusses some advantages of supporting polymorphic recursión in programming languages and describes a decidable type inference algorithm for typing polymorphic and possibly mutually recursive definitions, using Haskell to provide an executable high level specification of the algorithm.

  2. Facts about Type 2

    Medline Plus

    Full Text Available Donate Today! Become a Member Donate Now! One Time Monthly In Memory In Honor Become a Member En Español Type 1 Type 2 About Us Online Community Meal Planning Sign In Search: Search More Sites Search ≡ Are You At Risk? Diabetes Basics Living with Diabetes ...

  3. Action Type Deontic Logic

    DEFF Research Database (Denmark)

    Bentzen, Martin Mose

    2014-01-01

    are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and semantics of Action Type Deontic Logic is presented and it is shown to meet...

  4. Blood-type distribution

    Science.gov (United States)

    Kim, Beom Jun; Myeong Lee, Dong; Hun Lee, Sung; Gim, Wan-Suk

    2007-01-01

    We statistically verify the Hardy-Weinberg principle in genetics by investigating the independence of ABO-blood types of married couples. The allelic frequencies derived from the phenotypic frequencies in ethnic groups via the Hardy-Weinberg principle are used to define a genetic distance (called the blood distance in this work) between two groups. The blood distances are compared with the geographic distances, and then used to construct a network of ethnic groups. We also investigate the relationship between the ABO blood types and the human personalities, gauged by the Myers-Briggs-type indicator (MBTI) psychological test. The statistical χ2-test reveals the independence between the blood types and MBTI results with an exception of type B males. A psychological implication is discussed.

  5. Personality types of entrepreneurs.

    Science.gov (United States)

    Müller, Günter F; Gappisch, Cathrin

    2005-06-01

    85 German entrepreneurs were psychometrically assessed on 12 primary trait characteristics. The sample consisted of 49 men and 36 women whose mean age was 45.6 yr. (SD= 10.3). Occupational domains were production (40%) and services (60%). The mean duration of entrepreneurship within these domains was 13.1 yr. (SD=9.3). By factor analysis five personality types of entrepreneurs could be identified: Creative Acquisitor, Controlled Perseverator, Distant Achiever, Rational Manager, and Egocentric Agitator. These types correspond with types found in research by Miner and with the Myer-Briggs Indicator. In addition, correlations between general type potential and both job and life satisfaction of entrepreneurs were found. The results are discussed with regard to intercultural stability of personality types and implications for research and application.

  6. Types Of Christian Tourism

    Directory of Open Access Journals (Sweden)

    Cornelia Petroman

    2015-10-01

    Full Text Available Christian tourism is asub-type of tourism where pilgrims travel alone or in group as missionaries orpilgrims or to spend their free time to recollect; it attracts a large numberof travellers. Christian tourism can be practiced by religious young people,missionaries, participants to religious convents, amateurs of religiouscruises, religious camps, visitors of religious attractions, religiousadventurers. Christian tourism can be considered a sub-type of religioustourism because of the large number of people involved in this type of tourismworldwide. Christian tourism as a sub-category of religious tourism coversthree main sub-types: traditional pilgrimage practiced by most world religions,missionary travel to different areas in the world, and confessional voyage. Thestructure of hospitality industry is common to all types of tourism but, fortraditional pilgrimage, there must be special places for the pilgrims to sleep,eat and pray, because they belong, in most cases, to the medium-income touristcategory.

  7. Diabetes mellitus type 1

    OpenAIRE

    Tøraasen, Lisa Vangen; Al-Sultan, Zainab

    2014-01-01

    Hvert år blir rundt 600 nordmenn diagnostisert med sykdommen diabetes type 1, og Norge er et av landene i verden med størst andel av barnediabetes. I dag er det 15 000- 20 000 personer i Norge som har diabetes type 1, og antall barn som får diabetes har fordoblet seg de siste 30 årene (Diabetesforbundet, 2014). Problemstillingen vår gikk ut på hvordan sykepleiere kan veilede og undervise ungdom med nyoppdaget diabetes type på sykehus. Ut i fra litteraturstudiet har vi arbeidet oss frem for å ...

  8. Diabetes mellitus type 1

    OpenAIRE

    Tøraasen, Lisa Vangen; Al-Sultan, Zainab

    2014-01-01

    Bacheloroppgave i sykepleie, 2014 Hvert år blir rundt 600 nordmenn diagnostisert med sykdommen diabetes type 1, og Norge er et av landene i verden med størst andel av barnediabetes. I dag er det 15 000- 20 000 personer i Norge som har diabetes type 1, og antall barn som får diabetes har fordoblet seg de siste 30 årene (Diabetesforbundet, 2014). Problemstillingen vår gikk ut på hvordan sykepleiere kan veilede og undervise ungdom med nyoppdaget diabetes type på sykehus. Ut i fra litteraturst...

  9. Type 2 diabetes models

    DEFF Research Database (Denmark)

    Gram, Dorte Xenia

    2012-01-01

    This chapter deals with type 2 diabetes in vivo models and techniques suitable for testing new anti-diabetic compounds. In particular, the testing of TRP antagonist for beneficial effects against type 2 diabetes is considered. There are many choices of both in vitro techniques and in vivo models......, impaired glucose tolerance, impaired insulin secretion, and insulin resistance in vivo and should, thus, be sufficient to demonstrate preclinical proof of concept of a TRP antagonist in type 2 diabetes in rodents. The experiments are suggestions and could be replaced or supplemented by others....

  10. Griscelli syndrome type-3

    Directory of Open Access Journals (Sweden)

    Bela J Shah

    2016-01-01

    Full Text Available Griscelli syndrome (GS is a rare autosomal recessive multisystem disorder of pigmentary dilution of skin, silver gray hair, variable immunodeficiency, neurological impairment, and abnormal accumulation of melanosomes in melanocytes. GS type 3 is characterized by hypomelanosis with no immunological and neurological manifestation. Prognosis is very good in type 3 GS and usually require no active intervention, as opposed to type 1 and 2 where early diagnosis and treatment plays a crucial role in patient's survival. The characteristic phenotypic appearance, especially the pigment dilution of the patient's hair, is emphasized here.

  11. Facts about Type 2

    Medline Plus

    Full Text Available ... and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk Healthy Eating Overweight Smoking High ... You at Risk? Diagnosis Lower Your Risk Risk Test Alert Day Prediabetes My Health Advisor Tools to ...

  12. Facts about Type 2

    Medline Plus

    Full Text Available ... Eye Complications Neuropathy Foot Complications DKA (Ketoacidosis) & Ketones Kidney Disease (Nephropathy) Gastroparesis Mental Health Step On Up ... high blood glucose levels may hurt your eyes, kidneys, nerves or heart. Some people with type 2 ...

  13. Facts about Type 2

    Medline Plus

    Full Text Available ... Safely Get And Stay Fit Types of Activity Weight Loss Assess Your Lifestyle Getting Started Food Choices ... Food Recipes Planning Meals What Can I Eat Weight Loss Fitness In My Community Calendar of Events ...

  14. Facts about Type 2

    Medline Plus

    Full Text Available ... form of diabetes. In type 2 diabetes, your body does not use insulin properly. This is called insulin resistance. At first, the ... Loss Fitness In My Community Calendar of Events ...

  15. Facts about Type 2

    Medline Plus

    Full Text Available ... Safely Get And Stay Fit Types of Activity Weight Loss Assess Your Lifestyle Getting Started Food Choices In ... Food Recipes Planning Meals What Can I Eat Weight Loss Fitness In My Community Calendar of Events Local ...

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... More Sites Search ≡ Are You At Risk? Diabetes Basics Living with Diabetes Food & Fitness In My Community ... Tools To Know Your Risk Alert Day Diabetes Basics Home Symptoms Diagnosis America's Diabetes Challenge Type 1 ...

  17. Facts about Type 2

    Medline Plus

    Full Text Available ... You at Risk? Home Prevention Diagnosing Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower ... EXPO Volunteer Opportunities Sponsorship and Exhibit Opportunities Camp Learning at Camp Find a Camp Fundraising Events Step ...

  18. Facts about Type 2

    Medline Plus

    Full Text Available ... Care Blood Glucose Testing Medication Doctors, Nurses & More Oral Health & Hygiene Women A1C Insulin Pregnancy 8 Tips ... normal. Type 2 is treated with lifestyle changes, oral medications (pills), and insulin. When glucose builds up ...

  19. Facts about Type 2

    Medline Plus

    Full Text Available ... Index Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & Type 1 Diabetes Get Started Safely Get And ... Diabetes causes more deaths a year than breast cancer and AIDS combined. Your gift today will help ...

  20. Facts about Type 2

    Medline Plus

    Full Text Available ... Diets Meal Planning for Vegetarian Diets Cook with Heart-Healthy Foods Holiday Meal Planning What Can I ... levels may hurt your eyes, kidneys, nerves or heart. Some people with type 2 can control their ...

  1. Facts about Type 2

    Medline Plus

    Full Text Available ... diagnosed. Diabetes causes more deaths a year than breast cancer and AIDS combined. Your gift today will help ... medications or insulin to help you meet your target blood glucose levels. Type 2 usually gets worse ...

  2. Facts about Type 2

    Medline Plus

    Full Text Available ... In type 2 diabetes, your body does not use insulin properly. This is called insulin resistance. At ... 1995-2017. American Diabetes Association. All rights reserved. Use of this website constitutes acceptance of our Terms ...

  3. Facts about Type 2

    Medline Plus

    Full Text Available ... Type 2 Diabetes Program In It Together We Can Help Center for Information Legal Assistance Success Stories ... with Heart-Healthy Foods Holiday Meal Planning What Can I Eat? Making Healthy Food Choices Diabetes Superfoods ...

  4. Facts about Type 2

    Medline Plus

    Full Text Available ... Healthy Eating Overweight Smoking High Blood Pressure Physical Activity High Blood Glucose My Health Advisor Tools To ... Started Safely Get And Stay Fit Types of Activity Weight Loss Assess Your Lifestyle Getting Started Food ...

  5. Facts about Type 2

    Medline Plus

    Full Text Available ... to Give Close Are You at Risk? Home Prevention Diagnosing Diabetes and Learning About Prediabetes Type 2 ... Dinners! A year of delicious meals to help prevent and manage diabetes. Ways to Give: Dress Up ...

  6. Facts about Type 2

    Medline Plus

    Full Text Available ... Life Children and Type 2 Diabetes Know Your Rights Employment Discrimination Health Care Professionals Law Enforcement Driver's ... going into cells, it can cause two problems: Right away, your cells may be starved for energy. ...

  7. Facts about Type 2

    Medline Plus

    Full Text Available ... page introduction to type 2 diabetes is in PDF format so you can download it, print it, ... With Us Register for diabetes news, research and food & fitness tips. Email: Sign Up Thank you for ...

  8. Facts about Type 2

    Medline Plus

    Full Text Available ... Prediabetes Type 2 Diabetes Risk Test Lower Your Risk Healthy Eating Overweight Smoking High Blood Pressure Physical Activity High Blood Glucose My Health Advisor Tools To Know Your Risk Alert Day Diabetes Basics Home Symptoms Diagnosis America's ...

  9. Facts about Type 2

    Medline Plus

    Full Text Available ... Dairy Food Tips Eating Out Quick Meal Ideas Snacks Nutrient Content Claims Understanding Carbohydrates Types of Carbohydrates ... 5% back to the Association. Shopdiabetes.org: Your Stress-Free System for Family Dinners! - 2017-03-book- ...

  10. Facts about Type 2

    Medline Plus

    Full Text Available ... Index Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & Type 1 Diabetes Get Started Safely Get And ... State Priorities Federal Priorities Advocacy Accomplishments Legal Advocacy Health Disparities Hometown Advocacy Easy Advocacy Checklists for Association ...

  11. Facts about Type 2

    Medline Plus

    Full Text Available ... Diabetes causes more deaths a year than breast cancer and AIDS combined. Your gift today will help ... Pacific Islanders, as well as the aged population. Patient Education Materials — Taking Care of Type 2 Diabetes ...

  12. Facts about Type 2

    Medline Plus

    Full Text Available ... Wellness Lives Here Awareness Programs Hispanic Heritage Month African American Programs Latino Programs Asian Americans, Native Hawaiians and ... others. Type 2 diabetes is more common in African Americans, Latinos, Native Americans, and Asian Americans/Pacific Islanders, ...

  13. Facts about Type 2

    Medline Plus

    Full Text Available ... Test Lower Your Risk Healthy Eating Overweight Smoking High Blood Pressure Physical Activity High Blood Glucose My Health Advisor Tools To Know Your Risk Alert Day Diabetes Basics Home Symptoms Diagnosis America's Diabetes Challenge Type ...

  14. Facts about Type 2

    Medline Plus

    Full Text Available ... and Pacific Islanders American Indian/Alaska Native Programs Older Adults Family Link Diabetes EXPO Upcoming Diabetes EXPOs ... Asian Americans/Pacific Islanders, as well as the aged population. Patient Education Materials — Taking Care of Type ...

  15. Recommended Types of Sunglasses

    Science.gov (United States)

    ... Eyes? Recommended Types of Sunglasses Leer en Español: Tipos Recomendados de Anteojos de Sol Dec. 12, 2015 ... is linked to cataracts and eye growths, including cancer. UVB radiation is considered more dangerous to the ...

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... Children and Type 2 Diabetes Know Your Rights Employment Discrimination Health Care Professionals Law Enforcement Driver's License ... About Us Who We Are Careers Contact Us Policies Corporate Support Newsroom Press Releases For Professionals En ...

  17. Facts about Type 2

    Medline Plus

    Full Text Available ... Type 2 Diabetes Know Your Rights Employment Discrimination Health Care Professionals Law Enforcement Driver's License For Lawyers Food & Fitness Home Food MyFoodAdvisor Recipes Association Cookbook Recipes ...

  18. Facts about Type 2

    Medline Plus

    Full Text Available ... for Professionals Professional Books Patient Access to Research Student Resources History of Diabetes Resources for School Projects ... make enough insulin to keep your blood glucose levels normal. Type 2 is treated with lifestyle changes, ...

  19. Facts about Type 2

    Medline Plus

    Full Text Available ... 2 Diabetes Program Gestational What is Gestational Diabetes? How to Treat Gestational Diabetes Genetics of Diabetes Diabetes ... Advances Type 1 Research Highlights Research Excellence Honorees How We Fund Research Funding the Next Generation of ...

  20. Facts about Type 2

    Medline Plus

    Full Text Available ... the Living WIth Type 2 Diabetes Program In It Together We Can Help Center for Information Legal ... Tour de Cure Women's Series Destination Races Do-It-Yourself Fundraising Become a Volunteer American Diabetes Month® ...

  1. Facts about Type 2

    Medline Plus

    Full Text Available ... Health Insurance Update The Health Insurance Marketplace Health Insurance From an Employer Options for the Uninsured Medicare Medicaid & CHIP For Parents & Kids Safe at School Everyday Life Children and Type 2 Diabetes Know Your Rights ...

  2. Facts about Type 2

    Medline Plus

    Full Text Available ... seconds someone new is diagnosed. Diabetes causes more deaths a year than breast cancer and AIDS combined. ... as well as the aged population. Patient Education Materials — Taking Care of Type 2 Diabetes This two- ...

  3. Types of Hearing Aids

    Science.gov (United States)

    ... Consumer Devices Consumer Products Hearing Aids Types of Hearing Aids Share Tweet Linkedin Pin it More sharing ... are some features for hearing aids? What are hearing aids? Hearing aids are sound-amplifying devices designed ...

  4. Facts about Type 2

    Medline Plus

    Full Text Available ... to Give Close Are You at Risk? Home Prevention Diagnosing Diabetes and Learning About Prediabetes Type 2 ... Dinners! A year of delicious meals to help prevent and manage diabetes. Healthy Recipes: Build a Better ...

  5. Facts about Type 2

    Medline Plus

    Full Text Available ... Get And Stay Fit Types of Activity Weight Loss Assess Your Lifestyle Getting Started Food Choices In ... Recipes Planning Meals What Can I Eat Weight Loss Fitness In My Community Calendar of Events Local ...

  6. Facts about Type 2

    Medline Plus

    Full Text Available ... Doctors, Nurses & More Oral Health & Hygiene Women A1C Insulin Pregnancy 8 Tips for Caregivers Health Insurance Health ... type 2 diabetes, your body does not use insulin properly. This is called insulin resistance. At first, ...

  7. Facts about Type 2

    Medline Plus

    Full Text Available ... a Member Donate Now! One Time Monthly In Memory In Honor Become a Member En Español Type ... time Give monthly Give in honor Give in memory Donate Now Why Give? Nearly 30 million battle ...

  8. Making Type Inference Practical

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Oxhøj, Nicholas; Palsberg, Jens

    1992-01-01

    We present the implementation of a type inference algorithm for untyped object-oriented programs with inheritance, assignments, and late binding. The algorithm significantly improves our previous one, presented at OOPSLA'91, since it can handle collection classes, such as List, in a useful way. Abo......, the complexity has been dramatically improved, from exponential time to low polynomial time. The implementation uses the techniques of incremental graph construction and constraint template instantiation to avoid representing intermediate results, doing superfluous work, and recomputing type information....... Experiments indicate that the implementation type checks as much as 100 lines pr. second. This results in a mature product, on which a number of tools can be based, for example a safety tool, an image compression tool, a code optimization tool, and an annotation tool. This may make type inference for object...

  9. Facts about Type 2

    Medline Plus

    Full Text Available ... Up Treatment & Care Blood Glucose Testing Medication Doctors, Nurses & More Oral Health & Hygiene Women A1C Insulin Pregnancy ... and Care Blood Glucose Control Complications Medication Doctors, Nurses & More Enroll in the Living With Type 2 ...

  10. Facts about Type 2

    Medline Plus

    Full Text Available ... and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk Healthy Eating Overweight Smoking High ... excused. 86 million Americans have prediabetes. Take the test. Know where you stand. More from diabetes.org ...

  11. Type 1 diabetes

    DEFF Research Database (Denmark)

    Green, Anders; Kyvik, Kirsten Ohm

    2001-01-01

    Prediction of Type 1 diabetes at individual level is relevant for any possible intervention before clinical disease develops. Currently available markers of Type 1 diabetes include genetic specificities and immune markers, in addition to a positive family history. This chapter reviews the measures...... and methods of importance in predicting Type 1 diabetes. Based on numerical examples it is demonstrated that available markers have a low level of performance, even when combined. Even so, combined marker information may allow for the identification of the large majority of the general population who...... is at very low disease risk. The impact at population level of predicting Type 1 diabetes varies between societies because the performance of markers depends on levels of disease risk and distribution of markers within a population. The incorporation of the influence of non-genetic etiological factors may...

  12. Description of vegetation types

    Data.gov (United States)

    US Fish and Wildlife Service, Department of the Interior — This document provides descriptions of five vegetation types found in Iowa- oak savannah, mature hardwoods, floodplain woods, scrub woods, and riparian woods. Oak...

  13. Facts about Type 2

    Medline Plus

    Full Text Available ... Type 2 About Us Online Community Meal Planning Sign In Search: Search More Sites Search ≡ Are You ... diabetes news, research and food & fitness tips. Email: Sign Up Thank you for signing up ' + ' '); $('.survey-form'). ...

  14. Tissue types (image)

    Science.gov (United States)

    ... are 4 basic types of tissue: connective tissue, epithelial tissue, muscle tissue, and nervous tissue. Connective tissue supports ... binds them together (bone, blood, and lymph tissues). Epithelial tissue provides a covering (skin, the linings of the ...

  15. Facts about Type 2

    Medline Plus

    Full Text Available ... of Diabetes Research & Practice Home We Are Research Leaders World's Largest Diabetes Meeting Recent Advances Type 1 ... year of delicious meals to help prevent and manage diabetes. Ways to Give: Dress Up Your Donations - ...

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... WIth Type 2 Diabetes Program In It Together We Can Help Center for Information Legal Assistance Success Stories ... Offer. Double your impact to save lives. Donate We Can Help - we-can-help.html Chat Online Chat ...

  17. Facts about Type 2

    Medline Plus

    Full Text Available ... Facebook Twitter Pinterest Youtube Instagram Diabetes Stops Here Blog Online Community Site Menu Are You at Risk? ... in the Living WIth Type 2 Diabetes Program Food & Fitness Food Recipes Planning Meals What Can I ...

  18. Facts about Type 2

    Medline Plus

    Full Text Available ... of Diabetes Research & Practice Home We Are Research Leaders World's Largest Diabetes Meeting Recent Advances Type 1 ... Call to Congress Research & Practice We Are Research Leaders We Support Your Doctor Student Resources Patient Access ...

  19. Additional Types of Neuropathy

    Science.gov (United States)

    ... Camp Fundraising Events Step Out Walk to Stop Diabetes Tour de Cure Father of the Year Stop Diabetes at School ... Forecast Stop Diabetes Step Out: Walk to Stop Diabetes Tour de Cure Living With Type 2 Diabetes Recipes for Healthy ...

  20. Facts about Type 2

    Science.gov (United States)

    ... Camp Fundraising Events Step Out Walk to Stop Diabetes Tour de Cure Father of the Year Stop Diabetes at School ... Forecast Stop Diabetes Step Out: Walk to Stop Diabetes Tour de Cure Living With Type 2 Diabetes Recipes for Healthy ...

  1. Facts about Type 2

    Medline Plus

    Full Text Available ... not use insulin properly. This is called insulin resistance. At first, the pancreas makes extra insulin to ... as well as the aged population. Patient Education Materials — Taking Care of Type 2 Diabetes This two- ...

  2. Facts about Type 2

    Medline Plus

    Full Text Available ... www.diabetes.org > Diabetes Basics > Type 2 Share: Print Page Text Size: A A A Listen En ... in PDF format so you can download it, print it, and hand it out to patients. You ...

  3. Types of Funerals

    Science.gov (United States)

    ... Funeral Terms and Contact Information Related Items Every family is different, and not everyone wants the same type of funeral. Funeral practices are influenced by religious and cultural traditions, costs, and personal preferences. These factors help determine ...

  4. Facts about Type 2

    Medline Plus

    Full Text Available ... of Diabetes Diabetes Myths A Day in the Life of Diabetes Famous People Working to Stop Diabetes ... CHIP For Parents & Kids Safe at School Everyday Life Children and Type 2 Diabetes Know Your Rights ...

  5. Facts about Type 2

    Medline Plus

    Full Text Available ... Basics Living with Diabetes Food & Fitness In My Community Advocacy Research & Practice Ways to Give Close Are You at Risk? Home Prevention Diagnosing Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower ...

  6. Facts about Type 2

    Medline Plus

    Full Text Available ... Diagnosed Treatment and Care Blood Glucose Control Complications Medication Doctors, Nurses & More Enroll in the Living With Type 2 Diabetes Program donate en -- Match – Donate Now - match-donate- ...

  7. Facts about Type 2

    Medline Plus

    Full Text Available ... is Gestational Diabetes? How to Treat Gestational Diabetes Genetics of Diabetes Diabetes Myths A Day in the ... 1 Type 2 Gestational Myths Statistics Common Terms Genetics Living With Diabetes Recently Diagnosed Treatment & Care Complications ...

  8. Facts about Type 2

    Medline Plus

    Full Text Available ... or heart. Some people with type 2 can control their blood glucose with healthy eating and being ... 2 Recently Diagnosed Treatment and Care Blood Glucose Control Complications Medication Doctors, Nurses & More Enroll in the ...

  9. Facts about Type 2

    Medline Plus

    Full Text Available ... Medicare Medicaid & CHIP For Parents & Kids Safe at School Everyday Life Children and Type 2 Diabetes Know ... Cure Father of the Year Stop Diabetes at School Tour de Cure Women's Series Destination Races Do- ...

  10. Facts about Type 2

    Medline Plus

    Full Text Available ... make enough insulin to keep your blood glucose levels normal. Type 2 is treated with lifestyle changes, ... starved for energy. Over time, high blood glucose levels may hurt your eyes, kidneys, nerves or heart. ...

  11. Facts about Type 2

    Medline Plus

    Full Text Available ... to Give Close Are You at Risk? Home Prevention Diagnosing Diabetes and Learning About Prediabetes Type 2 ... Dinners! A year of delicious meals to help prevent and manage diabetes. Ask the Experts: Learn to ...

  12. Facts about Type 2

    Medline Plus

    Full Text Available ... Diabetes Research & Practice Home We Are Research Leaders World's Largest Diabetes Meeting Recent Advances Type 1 Research ... new is diagnosed. Diabetes causes more deaths a year than breast cancer and AIDS combined. Your gift ...

  13. Facts about Type 2

    Medline Plus

    Full Text Available ... Type 2 Diabetes Know Your Rights Employment Discrimination Health Care Professionals Law Enforcement Driver's License For Lawyers Food & ... Terms Genetics Living With Diabetes Recently Diagnosed Treatment & Care Complications Health Insurance For Parents & Kids Know Your Rights We ...

  14. Facts about Type 2

    Medline Plus

    Full Text Available ... and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk Healthy Eating Overweight Smoking High Blood Pressure Physical Activity High Blood Glucose My Health ...

  15. Type 1 diabetes

    OpenAIRE

    Atkinson, Mark A; Eisenbarth, George S; Michels, Aaron W

    2013-01-01

    Over the past decade, knowledge of the pathogenesis and natural history of type 1 diabetes has grown substantially, particularly with regard to disease prediction and heterogeneity, pancreatic pathology, and epidemiology. Technological improvements in insulin pumps and continuous glucose monitors help patients with type 1 diabetes manage the challenge of lifelong insulin administration. Agents that show promise for averting debilitating disease-associated complications have also been identifi...

  16. Type E botulism.

    Science.gov (United States)

    Horowitz, B Zane

    2010-11-01

    There are seven known serotypes of botulism, designated A through G; almost all human cases of botulism are caused by types A, B, and E. Botulism type E is the predominant serotype causing disease associated with native Arctic foods. In the circumpolar regions of the world, the coastal soils are rich in botulism type E, and consumption of fish and marine animals in these areas are the sources of clusters of botulism. Unlike spores of type A and B, botulism type E can withstand freezing down to 3.5°C. Alaskan native fermentation of fish heads, fish eggs, and beaver tail allow proper anaerobic conditions for botulinum toxin to be elaborated from Clostridium botulinum. The consumption of whale meat, "muktuk" has also been associated with outbreaks of botulism in Alaska and the Canadian Arctic. Elsewhere in the Arctic regions, type E botulism has been associated with Norwegian "rakfisk" prepared by a process similar to fermented Alaskan foods. Outbreaks in Egypt with the salted gray mullet "faseikh", in Israel and New York linked to salted uneviscerated whitefish "kapchunka", in Iran from eating "ashbal" an uncooked salmon, and in Japan with "izushi" a traditional fermented fish preserved in rice have occurred. Importation of vacuum-packed whitefish from Alaska and Canada has also been associated with sporadic cases of botulism type E in Europe. In March 2010, the Center for Disease Control and Prevention released the heptavalent antitoxin (H-BAT) for use in the USA, under an Investigational New Drug program, as the preferred treatment for food-borne botulism, including type E, which had not been covered by the bivalent antitoxin, the prior approved antitoxin product in the USA.

  17. Type extension trees

    DEFF Research Database (Denmark)

    Jaeger, Manfred

    2006-01-01

    We introduce type extension trees as a formal representation language for complex combinatorial features of relational data. Based on a very simple syntax this language provides a unified framework for expressing features as diverse as embedded subgraphs on the one hand, and marginal counts of at...... of attribute values on the other. We show by various examples how many existing relational data mining techniques can be expressed as the problem of constructing a type extension tree and a discriminant function....

  18. Neurofibromatosis type 2

    OpenAIRE

    Evans, D; Sainio, M; Baser, M

    2000-01-01

    Neurofibromatosis type 2 is an often devastating autosomal dominant disorder which, until relatively recently, was confused with its more common namesake neurofibromatosis type 1. Subjects who inherit a mutated allele of the NF2 gene inevitably develop schwannomas, affecting particularly the superior vestibular branch of the 8th cranial nerve, usually bilaterally. Meningiomas and other benign central nervous system tumours such as ependymomas are other common features. Much of the morbidity f...

  19. Type 4 cardiorenal syndrome.

    Science.gov (United States)

    Pinheiro da Silva, Ana Luísa; Vaz da Silva, Manuel Joaquim

    2016-11-01

    The Acute Dialysis Quality Initiative consensus conference proposed a classification of cardiorenal syndrome (CRS), aiming for a better delineation of each subtype. Although the exact pathophysiology of type 4 CRS is not completely understood, the mechanisms involved are probably multifactorial. There is growing evidence that oxidative stress is a major connector in the development and progression of type 4 CRS. Giving its complexity, poor prognosis and increasing incidence, type 4 CRS is becoming a significant public health problem. Patients with chronic kidney disease are particularly predisposed to cardiac dysfunction, due to the high prevalence of traditional cardiovascular risk factors in this population, but the contribution of risk factors specific to chronic kidney disease should also be taken into account. Much remains to be elucidated about type 4 CRS: despite progress over the last decade, there are still significant questions regarding its pathophysiology and there is as yet no specific therapy. A better understanding of the mechanisms involved may provide potential targets for intervention. The present review will provide a brief description of the definition, epidemiology, diagnosis, prognosis, biomarkers and management strategies of type 4 CRS, and the pathophysiological mechanisms and risk factors presumably involved in its development will be particularly highlighted. Copyright © 2016 Sociedade Portuguesa de Cardiologia. Publicado por Elsevier España, S.L.U. All rights reserved.

  20. Congenital fiber type disproportion.

    Science.gov (United States)

    Kissiedu, Juliana; Prayson, Richard A

    2016-04-01

    Type I muscle fiber atrophy in childhood can be encountered in a variety of neuromuscular disorders. Congenital fiber type disproportion (CFTD) is one such condition which presents as a nonprogressive muscle weakness. The diagnosis is often made after excluding other differential diagnostic considerations. We present a 2-year-9-month-old full term boy who presented at 2 months with an inability to turn his head to the right. Over the next couple of years, he showed signs of muscle weakness, broad based gait and a positive Gower's sign. He had normal levels of creatine kinase and normal electromyography. A biopsy of the vastus lateralis showed a marked variation in muscle fiber type. The adenosine triphosphate (ATP)-ase stains highlighted a marked type I muscle atrophy with rare scattered atrophic type II muscle fibers. No abnormalities were observed on the nicotinamide adenine dinucleotide (NADH), succinate dehydrogenase (SDH) or cytochrome oxidase stained sections. Ragged red fibers were not present on the trichrome stain. Abnormalities of glycogen or lipid deposition were not observed on the periodic acid-Schiff or Oil-Red-O stains. Immunostaining for muscular dystrophy associated proteins showed normal staining. Ultrastructural examination showed a normal arrangement of myofilaments, and a normal number and morphology for mitochondria. A diagnosis of CFTD was made after excluding other causes of type I atrophy including congenital myopathy. The lack of specific clinical and genetic disorder associated with CFTD suggests that it is a spectrum of a disease process and represents a diagnosis of exclusion. Copyright © 2015 Elsevier Ltd. All rights reserved.

  1. Brauer type embedding problems

    CERN Document Server

    Ledet, Arne

    2005-01-01

    This monograph is concerned with Galois theoretical embedding problems of so-called Brauer type with a focus on 2-groups and on finding explicit criteria for solvability and explicit constructions of the solutions. The advantage of considering Brauer type embedding problems is their comparatively simple condition for solvability in the form of an obstruction in the Brauer group of the ground field. This book presupposes knowledge of classical Galois theory and the attendant algebra. Before considering questions of reducing the embedding problems and reformulating the solvability criteria, the

  2. Type Inference for Session Types in the Pi-Calculus

    DEFF Research Database (Denmark)

    Graversen, Eva Fajstrup; Harbo, Jacob Buchreitz; Huttel, Hans

    2014-01-01

    In this paper we present a direct algorithm for session type inference for the π-calculus. Type inference for session types has previously been achieved by either imposing limitations and restriction on the π-calculus, or by reducing the type inference problem to that for linear types. Our approach...

  3. Facts about Type 2

    Medline Plus

    Full Text Available ... Are You At Risk? Diabetes Basics Living with Diabetes Food & Fitness In My Community Advocacy Research & Practice Ways to ... Help Enroll in the Living WIth Type 2 Diabetes Program Food & Fitness Food Recipes Planning Meals What Can I Eat ...

  4. Facts about Type 2

    Medline Plus

    Full Text Available ... type 2 diabetes. Shopdiabetes.org: Your Stress-Free System for Family Dinners! - 2017-03-book-oclock-scramble.html Shopdiabetes.org Your Stress-Free System for Family Dinners! A year of delicious meals ...

  5. Plaque Type Eryrhema Nodosum

    Directory of Open Access Journals (Sweden)

    Radha Mittal

    1987-01-01

    Full Text Available Three young females developed plaque type erythema nodosum. The underlying causes in them were tuberculosis chest, recurrent furunculosis and malaria respectively. All the three cases were under treatment at the time of development of erythema nodosum plaques and the onset was acute.

  6. Tension-type headache

    DEFF Research Database (Denmark)

    Bendtsen, Lars; Jensen, Rigmor

    2009-01-01

    The substantial societal and individual burdens associated with tension-type headache (TTH) constitute a previously overlooked major public health issue. TTH is prevalent, affecting up to 78% of the general population, and 3% suffer from chronic TTH. Pericranial myofascial nociception probably...

  7. Facts about Type 2

    Medline Plus

    Full Text Available ... 1 Type 2 About Us Online Community Meal Planning Sign In Search: Search More Sites Search ≡ Are ... Fitness Home Food MyFoodAdvisor Recipes Association Cookbook Recipes Planning Meals Diabetes Meal Plans Create Your Plate Gluten ...

  8. [DISEASES AND ITS TYPES].

    Science.gov (United States)

    Carmona, Manuel Domínguez

    2014-01-01

    With this conference, I intend to define what is the disease and its types explaining the criteria for classification according to different points of view, as the etiologic, teleological, social impact, spatial and temporal distribution, production mechanisms, risk factors, which affects organs, etc. As there are diseases that do not exist dedicate a final chapter of this dissertation to develop them.

  9. Facts about Type 2

    Medline Plus

    Full Text Available ... Diabetes causes more deaths a year than breast cancer and AIDS combined. Your gift today will help us get closer to ... normal. Type 2 is treated with lifestyle changes, oral medications (pills), and insulin. When glucose builds up ...

  10. Facts about Type 2

    Medline Plus

    Full Text Available ... Asian Americans/Pacific Islanders, as well as the aged population. Patient Education Materials — Taking Care of Type ... Diabetes Association Alert Day® Advocacy Take Action Advocacy Priorities News & Events The Cost of Diabetes Advocate Toolkit ...

  11. Facts about Type 2

    Medline Plus

    Full Text Available ... Last Edited: October 27, 2015 Articles from Diabetes Forecast® magazine: lp-type-2, . In this section Diabetes ... Use and Privacy Policy « American Diabetes Association Diabetes Forecast Stop Diabetes Step Out: Walk to Stop Diabetes ...

  12. Facts about Type 2

    Medline Plus

    Full Text Available ... Risk Healthy Eating Overweight Smoking High Blood Pressure Physical Activity High Blood Glucose My Health Advisor Tools To ... Plate Gluten Free Diets Meal Planning for Vegetarian Diets Cook with Heart-Healthy ... Desserts Fitness Exercise & Type 1 Diabetes Get Started Safely Get And ...

  13. Facts about Type 2

    Medline Plus

    Full Text Available ... you may need to later on. Some groups have a higher risk for developing type 2 diabetes ... Online Chat Closed engagement en -- So…Do You Have Prediabetes? - 2017-01-ad-council.html So…Do ...

  14. Facts about Type 2

    Medline Plus

    Full Text Available ... Right away, your cells may be starved for energy. Over time, high blood glucose levels may hurt your eyes, kidneys, nerves or heart. Some people with type 2 can control their blood glucose with healthy eating and being active. But, your doctor may need ...

  15. Type 2 Diabetes

    Science.gov (United States)

    ... growth and obesity — increases the risk of diabetes. Complications Type 2 diabetes can be easy to ignore, especially in the ... can help prevent these complications. Although long-term complications of diabetes develop gradually, they can eventually be disabling or ...

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... Diabetes causes more deaths a year than breast cancer and AIDS combined. Your gift today will help us get closer to curing ... Type 2 is treated with lifestyle changes, oral medications (pills), and insulin. When glucose builds up ...

  17. Type 1 Diabetes Facts

    Science.gov (United States)

    ... Type 1 Diabetes (T1D) Back Close What Is Diabetes? Causes of T1D The Complexity of Diagnosing T1D T1D ... about Insulin and T1D Learn More What Is Diabetes? Causes of T1D The Complexity of Diagnosing T1D T1D ...

  18. [C4 type photosynthesis].

    Science.gov (United States)

    Drozak, Anna; Wasilewska, Wioleta; Buczyńska, Alicja; Romanowska, Elzbieta

    2012-01-01

    C4 photosynthesis includes several anatomical and biochemical modifications that allow plants to concentrate CO2 at the site of Rubisco. The photorespiratory pathway is repressed in C4 plants, since the rates of photosynthesis and biomass production are increased. This is an adaptation to high light intensities, high temperatures and dryness. C4 plants contain two distinct types of photosynthetic cells, mesophyll and bundle sheath. The processes of assimilation and reduction of CO2 are separated spatiality and catayzed by two different enzymes. Only the bundle sheath chloroplasts perform the reactions of the Calvin-Benson cycle with the help of the Rubisco enzyme present exclusively in this cell type. The primary CO2 fixation occurs in mesophyll cells through the action of the phosphoenolpyruvate carboxylase. The light-dependent reactions of the photosynthesis occur exclusively in the latter cell type. These differences in photochemistry lead to distinct redox profiles in both types of cells. C4 plants are divided into three biochemical subtypes on the basis of differences in the mechanisms of decarboxylation of the C4 acids. C4 plants will provide the main source of food for humans and animals in the nearest decade.

  19. Gesture Types for Functions

    Science.gov (United States)

    Herbert, Sandra

    2012-01-01

    This paper reports on the different gesture types employed by twenty-three Year 10 students as they endeavoured to explain their understanding of rate of change associated with the functions resulting from two different computer simulations. These gestures also have application to revealing students' understanding of functions. However,…

  20. Types of Heart Block

    Science.gov (United States)

    ... defects. Acquired heart block is more common than congenital heart block. Damage to the heart muscle or its electrical system causes acquired heart block. Diseases, surgery, or medicines can cause this damage. The three types of heart block are first degree, second degree, ...

  1. Facts about Type 2

    Medline Plus

    Full Text Available ... Care Blood Glucose Testing Medication Doctors, Nurses & More Oral Health & Hygiene Women A1C Insulin Pregnancy 8 Tips for ... But, your doctor may need to also prescribe oral medications or insulin to help you meet your target blood glucose levels. Type 2 usually gets worse ... Health Advisor Tools to Know Your Risk Diabetes Basics ...

  2. TypeScript essentials

    CERN Document Server

    Nance, Christopher

    2014-01-01

    The book introduces the TypeScript language and its features to anyone looking to develop rich web applications. Whether you are new to web development or are an experienced engineer with strong JavaScript skills, this book will get you writing code quickly. A basic understanding of JavaScript and its language features are necessary for this book.

  3. Types of Timberland Ownership

    Science.gov (United States)

    William C. Siegel

    1999-01-01

    The form of ownership in which you hold your woodland is important from a tax standpoint. Further, if your forest property is structured as a business, the type of business organization chosen also has significant tax implications. Additionally, non-tax factors bear on choosing an ownership and/or business format. These include forest management goals, size of the...

  4. Types of Blood Donations

    Science.gov (United States)

    ... a Successful Donation Donation FAQs Types of Donations Power Red Platelets Plasma Autologous and Directed First Time Donors The Fear of Needles LGBTQ+ Donors Blood Donor Community SleevesUp Games Facebook Avatars and Badges Banners eCards Leaders Save Lives High school and college students can ...

  5. Facts about Type 2

    Medline Plus

    Full Text Available ... first, you may need to later on. Some groups have a higher risk for developing type 2 ... function (data) { $('#survey-errors').remove(); $('.survey-form .form-group .survey-alert-wrap').remove(); if (data.submitSurveyResponse.success == ' ...

  6. Type 1 narcolepsy

    DEFF Research Database (Denmark)

    Degn, Matilda; Kornum, Birgitte Rahbek

    2015-01-01

    Type 1 narcolepsy is a sleep disorder characterized by excessive daytime sleepiness with unintentional sleep attacks and cataplexy. The disorder is caused by a loss of hypocretinergic neurons in the brain. The specific loss of these neurons in narcolepsy is thought to result from an autoimmune...

  7. Facts about Type 2

    Medline Plus

    Full Text Available ... Camp Fundraising Events Step Out Walk to Stop Diabetes Tour de Cure Father of the Year Stop Diabetes at School ... Forecast Stop Diabetes Step Out: Walk to Stop Diabetes Tour de Cure Living With Type 2 Diabetes Recipes for Healthy ...

  8. Facts about Type 2

    Medline Plus

    Full Text Available ... Diabetes causes more deaths a year than breast cancer and AIDS combined. Your gift today will help us get closer ... time, high blood glucose levels may hurt your eyes, kidneys, nerves or heart. Some people with type 2 ...

  9. Compositional data types

    DEFF Research Database (Denmark)

    Bahr, Patrick; Hvitved, Tom

    2011-01-01

    -cut fusion style deforestation which yields considerable speedups. We demonstrate our framework in the setting of compiler construction, and moreover, we compare compositional data types with generic programming techniques and show that both are comparable in run-time performance and expressivity while our...

  10. Facts about Type 2

    Medline Plus

    Full Text Available ... donate en -- Match – Donate Now - match-donate-now.html Match – Donate Now Make your year-end donation ... Donate Today We Can Help - we-can-help.html Chat Online Chat Closed engagement en -- Free Type ...

  11. Teaching to the Type

    Science.gov (United States)

    Tucker, Maggie

    2008-01-01

    Before she became an art teacher, the author relates that she worked at a graphic design agency and there she learned to fully appreciate typefaces and how they influence messages. In the years that she taught middle school art, the author has incorporated some basics of type design into her graphics unit, along with calligraphy, printmaking, and…

  12. Facts about Type 2

    Medline Plus

    Full Text Available ... My Community Advocacy Research & Practice Ways to Give Close Are You at Risk? Home Prevention Diagnosing Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk Healthy Eating Overweight Smoking High Blood Pressure Physical Activity High Blood Glucose My Health Advisor ...

  13. Facts about Type 2

    Medline Plus

    Full Text Available ... conversation about type 2 diabetes. Shopdiabetes.org: Your Stress-Free System for Family Dinners! - 2017-03-book-oclock-scramble.html Shopdiabetes.org Your Stress-Free System for Family Dinners! A year of ...

  14. Glutaric Acidemia Type 1

    OpenAIRE

    Hedlund, Gary L.; Longo, Nicola; Pasquali, Marzia

    2006-01-01

    Glutaric acidemias comprise different disorders resulting in an increased urinary excretion of glutaric acid. Glutaric acidemia type 1 (GA-1) is an autosomal recessive disorder of lysine, hydroxylysine, and tryptophan metabolism caused by deficiency of glutaryl-CoA dehydrogenase. It results in the accumulation of 3-hydroxyglutaric and glutaric acid. Affected patients can present with brain atrophy and macrocephaly and with acute dystonia secondary to striatal degeneration in most cases trigge...

  15. Conditional Belief Types

    Science.gov (United States)

    2016-04-19

    1994) and Heifetz and Mongin (2001). The axioms in such languages are analogous to the axioms on set-theoretic operators. However, the modal logic...Fagin and Halpern, 1994) that allows the description of expectations, by introducing a strong inference rule ( Heifetz and Mongin, 2001), or by...502. Heifetz , A. and P. Mongin (2001), “Probability logic for type spaces,” Games and Economic Behavior, 35, 31–53. Keynes, J. M. (1921), A Treatise

  16. Type Families with Class, Type Classes with Family

    DEFF Research Database (Denmark)

    Serrano, Alejandro; Hage, Jurriaan; Bahr, Patrick

    2015-01-01

    Type classes and type families are key ingredients in Haskell programming. Type classes were introduced to deal with ad-hoc polymorphism, although with the introduction of functional dependencies, their use expanded to type-level programming. Type families also allow encoding type-level functions......, now as rewrite rules. This paper looks at the interplay of type classes and type families, and how to deal with shortcomings in both of them. Furthermore, we show how to use families to simulate classes at the type level. However, type families alone are not enough for simulating a central feature...... of type classes: elaboration, that is, generating code from the derivation of a rewriting. We look at ways to solve this problem in current Haskell, and propose an extension to allow elaboration during the rewriting phase....

  17. Relative rates of biosynthesis of collagen type I, type V and type VI in calf cornea.

    OpenAIRE

    Kern, P.; Menasche, M.; Robert, L

    1991-01-01

    The biosynthesis of type I, type V and type VI collagens was studied by incubation of calf corneas in vitro with [3H]proline as a marker. Pepsin-solubilized collagen types were isolated by salt fractionation and quantified by SDS/PAGE. Expressed as proportions of the total hydroxyproline solubilized, corneal stroma comprised 75% type I, 8% type V and 17% type VI collagen. The rates of [3H]proline incorporation, linear up to 24 h for each collagen type, were highest for type VI collagen and lo...

  18. Composing and decomposing data types

    DEFF Research Database (Denmark)

    Bahr, Patrick

    2014-01-01

    data types and to define extensible functions on data types in an ad hoc manner. The implementation makes essential use of closed type families in Haskell. The use of closed type families instead of type classes comes with a set of trade-offs, which we review in detail. Finally, we show that our......Wouter Swierstra's data types à la carte is a technique to modularise data type definitions in Haskell. We give an alternative implementation of data types à la carte that offers more flexibility in composing and decomposing data types. To achieve this, we refine the subtyping constraint, which...... is at the centre of data types à la carte. On the one hand this refinement is more general, allowing subtypings that intuitively should hold but were not derivable beforehand. This aspect of our implementation removes previous restrictions on how data types can be combined. On the other hand our refinement is more...

  19. Type-2 Fuzzy Curve Model

    Science.gov (United States)

    Adesah, R. S.; Zakaria, R.; Wahab, A. F.; Talibe, A.

    2017-09-01

    The paper discusses about the formulation of type-2 fuzzy curve model. The generalization is carried out due to the existence of complex uncertainty which cannot be represented with classical type-1 fuzzy set. Hence, type-2 fuzzy set is proposed to define this type of complex uncertainty. Based on the complex uncertainty of data, fuzzy set theory type-2 with fuzzy number type-2 concept is used to represent the data with complex uncertainty. This process re-defines the data as type-2 fuzzy data which is also the result obtained by generalizing type-1 fuzzy data. Therefore, B-spline function is chosen to show the development of type-2 B-spline curve model via generalization. It is then followed by a number of processes, i.e. fuzzification, reduction and defuzzification are defined to model type-2 fuzzy B-spline curve to obtain a crisp type-2 fuzzy curve.

  20. Diabetes Mellitus Type 1

    OpenAIRE

    Trydal, Kari

    2015-01-01

    Hvert år får rundt 300 barn og 600 voksne diabetes mellitus type 1, og til sammen har rundt 28 000 personer denne sykdommen i Norge i dag. Det er en kronisk metabolsk sykdom, med en absolutt insulinmangel. Gjennom litteratur og forskning er det vist, at for å forebygge senkomplikasjoner, trenger pasienten informasjon, undervisning og praktisk veiledning når det gjelder medisinering, kosthold og fysisk aktivitet, og motivering til å mestre sykdommen. I praksis vil sykepleier spille en aktiv ro...

  1. Representing Session Types

    DEFF Research Database (Denmark)

    Bock, Peter Brottveit; Murawska, Agata; Bruni, Alessandro

    2016-01-01

    In this paper we propose a logical foundation of processes and their focused normal forms. We use a linear meta-language based on substructural operational semantics to describe focused forms of processes, and compare them to standard π-calculus processes with their respective operational semanti....... The overall goal of this research is to understand how to reason about processes, multiparty communication and global types, and how to mechanize properties such as deadlock freeness and liveness. We are also interested in establishing the limitations of this approach....

  2. Laryngeal cleft type 1

    Directory of Open Access Journals (Sweden)

    Danilo de Assis Pereira

    2015-06-01

    Full Text Available The clinical itinerary and the institution of conservative therapy in a case of laryngeal cleft type 1 refers to a child born by cesarean section, Apgar 9 and 10, a history of placental nd abruption in the 2 month of pregnancy, with respiratory nd distress on the 2 day of life and difficulty in breast feeding mothers. Presented evidence of aspiration pneumonia. The videodeglutogram showed aspiration of large amounts of material contrasted during swallowing. In bronchoscopy was visualized formation of threadlike small slit making the diagnosis of laryngeal cleft. We then decided, by institution of conservative treatment with enteral nutrition training and thickened with swallowing.

  3. Type 1 autoimmune pancreatitis

    Directory of Open Access Journals (Sweden)

    Zen Yoh

    2011-12-01

    Full Text Available Abstract Before the concept of autoimmune pancreatitis (AIP was established, this form of pancreatitis had been recognized as lymphoplasmacytic sclerosing pancreatitis or non-alcoholic duct destructive chronic pancreatitis based on unique histological features. With the discovery in 2001 that serum IgG4 concentrations are specifically elevated in AIP patients, this emerging entity has been more widely accepted. Classical cases of AIP are now called type 1 as another distinct subtype (type 2 AIP has been identified. Type 1 AIP, which accounts for 2% of chronic pancreatitis cases, predominantly affects adult males. Patients usually present with obstructive jaundice due to enlargement of the pancreatic head or thickening of the lower bile duct wall. Pancreatic cancer is the leading differential diagnosis for which serological, imaging, and histological examinations need to be considered. Serologically, an elevated level of IgG4 is the most sensitive and specific finding. Imaging features include irregular narrowing of the pancreatic duct, diffuse or focal enlargement of the pancreas, a peri-pancreatic capsule-like rim, and enhancement at the late phase of contrast-enhanced images. Biopsy or surgical specimens show diffuse lymphoplasmacytic infiltration containing many IgG4+ plasma cells, storiform fibrosis, and obliterative phlebitis. A dramatic response to steroid therapy is another characteristic, and serological or radiological effects are normally identified within the first 2 or 3 weeks. Type 1 AIP is estimated as a pancreatic manifestation of systemic IgG4-related disease based on the fact that synchronous or metachronous lesions can develop in multiple organs (e.g. bile duct, salivary/lacrimal glands, retroperitoneum, artery, lung, and kidney and those lesions are histologically identical irrespective of the organ of origin. Several potential autoantigens have been identified so far. A Th2-dominant immune reaction and the activation of

  4. Spinocerebellar ataxia type 7.

    Science.gov (United States)

    Martin, Jean-Jacques

    2012-01-01

    Spinocerebellar ataxia type 7 (SCA7) is associated with progressive blindness, dominant transmission, and marked anticipation. SCA7 represents one of the polyglutamine expansion diseases with increase of CAG repeats. The gene maps to chromosome 3p12-p21.1. Normal values of CAG repeats range from 4 to 18. The SCA7 gene encodes a protein of largely unknown function, called ataxin-7. SCA7 is reported in many countries and ethnic groups. Its phenotypic expression depends on the number of expanded repeats. The infantile phenotype is very severe, with more than 100 repeats. The classic type has 50 to 55 repeats and is characterized by a combination of visual and ataxic disturbances lasting for 20-40 years.When the number of CAG repeats is between 36 and 43, the evolution is much slower, with few or no retinal abnormalities. A CAG repeat number from 18 to 35 is asymptomatic but predisposes to the development of the disorder when expanding to the pathological range through transmission. The diagnosis is made by molecular genetics. The neuropathology of the disorder includes atrophy of the spinocerebellar pathways, pyramidal tracts, and motor nuclei in the brainstem and spinal cord, a cone-rod sytrophy of the retina, and ataxin-7 immunoreactive neuronal intranuclear inclusions. The neuropathological features vary as a function of the number of CAG repeats. Present research deals mainly with the study of ataxin-7 in transfected neural cells and transgenic mouse models. 2012 Elsevier B.V. All rights reserved.

  5. Session Types at the Mirror

    Directory of Open Access Journals (Sweden)

    Luca Padovani

    2009-12-01

    Full Text Available We (redefine session types as projections of process behaviors with respect to the communication channels they use. In this setting, we give session types a semantics based on fair testing. The outcome is a unified theory of behavioral types that shares common aspects with conversation types and that encompass features of both dyadic and multi-party session types. The point of view we provide sheds light on the nature of session types and gives us a chance to reason about them in a framework where every notion, from well-typedness to the subtyping relation between session types, is semantically -rather than syntactically- grounded.

  6. Efficient Type Representation in TAL

    Science.gov (United States)

    Chen, Juan

    2009-01-01

    Certifying compilers generate proofs for low-level code that guarantee safety properties of the code. Type information is an essential part of safety proofs. But the size of type information remains a concern for certifying compilers in practice. This paper demonstrates type representation techniques in a large-scale compiler that achieves both concise type information and efficient type checking. In our 200,000-line certifying compiler, the size of type information is about 36% of the size of pure code and data for our benchmarks, the best result to the best of our knowledge. The type checking time is about 2% of the compilation time.

  7. Type 1 Tyrosinaemia

    LENUS (Irish Health Repository)

    Mannion, MA

    2016-06-01

    Tyrosinaemia type 1 (TYR1, OMIM# 276700) is a rare autosomal recessive disease that results from an enzyme defect that leads to a deficiency in fumarylacetoacetase (FAH)1. We present 3 cases of TYR1 in the Irish population over a 9 year period, the only cases known to have been diagnosed in Ireland since 1989. The common presenting symptom was hypoglycaemia and the diagnosis was made by the identification of the pathognomonic biomarker succinylacetone on urine organic acid analysis. We discuss the clinical presentation, biochemical and genetic results including one novel mutation. We also highlight the importance of early initiation of Nitisinone (NTBC), which reduces the complications of TYR1 and the incidence of liver transplantation in this population2.

  8. Type 2 diabetes mellitus

    DEFF Research Database (Denmark)

    DeFronzo, Ralph A; Ferrannini, Ele; Groop, Leif

    2015-01-01

    comorbidities), owing to hyperglycaemia and individual components of the insulin resistance (metabolic) syndrome. Environmental factors (for example, obesity, an unhealthy diet and physical inactivity) and genetic factors contribute to the multiple pathophysiological disturbances that are responsible...... for impaired glucose homeostasis in T2DM. Insulin resistance and impaired insulin secretion remain the core defects in T2DM, but at least six other pathophysiological abnormalities contribute to the dysregulation of glucose metabolism. The multiple pathogenetic disturbances present in T2DM dictate......Type 2 diabetes mellitus (T2DM) is an expanding global health problem, closely linked to the epidemic of obesity. Individuals with T2DM are at high risk for both microvascular complications (including retinopathy, nephropathy and neuropathy) and macrovascular complications (such as cardiovascular...

  9. Enteroendocrine cell types revisited

    DEFF Research Database (Denmark)

    Engelstoft, Maja S; Egerod, Kristoffer Lihme; Lund, Mari L

    2013-01-01

    The GI-tract is profoundly involved in the control of metabolism through peptide hormones secreted from enteroendocrine cells scattered throughout the gut mucosa. A large number of recently generated transgenic reporter mice have allowed for direct characterization of biochemical and cell...... biological properties of these previously highly elusive enteroendocrine cells. In particular the surprisingly broad co-expression of six functionally related hormones in the intestinal enteroendocrine cells indicates that it should be possible to control not only the hormone secretion but also the type...... and number of enteroendocrine cells. However, this will require a more deep understanding of the factors controlling differentiation, gene expression and specification of the enteroendocrine cells during their weekly renewal from progenitor cells in the crypts of the mucosa....

  10. Mechanoluminescent Contact Type Sensor

    Directory of Open Access Journals (Sweden)

    A. K. Yefremov

    2017-01-01

    Full Text Available Mechanoluminescent sensing elements convert mechanical stress into optical radiation. Advantages of such sensors are the ability to generate an optical signal, solid-state, simple structure, and resistance to electromagnetic interference. Mechanoluminescent sensor implementations can possess the concentrated and distributed sensitivity, thereby allowing us to detect the field of mechanical stresses distributed across the area and in volume. Most modern semiconductor photo-detectors can detect mechanoluminescent radiation, so there are no difficulties to provide its detection when designing the mechanoluminescent sensing devices. Mechanoluminescent substances have especial sensitivity to shock loads, and this effect can be used to create a fuse the structure of which includes a target contact type sensor with a photosensitive actuator. The paper briefly describes the theoretical basics of mechanoluminiscence: a light signal emerges from the interaction of crystalline phosphor luminescence centers with electrically charged dislocations, moving due to the deformation of the crystal. A mathematical model of the mechanoluminescent conversion is represented as a functional interaction between parameters of the mechanical shock excitation and the sensor light emission. Examples of computing the optical mechanoluminescent output signal depending on the duration and peak level of impulse load are given. It is shown that the luminous flux, generated by mechanoluminescent sensing element when there is an ammunition-target collision causes the current emerging in photo-detector (photodiode that is sufficient for a typical actuator of the fuse train to operate. The potential possibility to create a contact target type sensor based on the light-sensitive mechanoluminescent sensor was proved by the calculation and simulation results.

  11. Type 1 diabetes mellitus.

    Science.gov (United States)

    Katsarou, Anastasia; Gudbjörnsdottir, Soffia; Rawshani, Araz; Dabelea, Dana; Bonifacio, Ezio; Anderson, Barbara J; Jacobsen, Laura M; Schatz, Desmond A; Lernmark, Åke

    2017-03-30

    Type 1 diabetes mellitus (T1DM), also known as autoimmune diabetes, is a chronic disease characterized by insulin deficiency due to pancreatic β-cell loss and leads to hyperglycaemia. Although the age of symptomatic onset is usually during childhood or adolescence, symptoms can sometimes develop much later. Although the aetiology of T1DM is not completely understood, the pathogenesis of the disease is thought to involve T cell-mediated destruction of β-cells. Islet-targeting autoantibodies that target insulin, 65 kDa glutamic acid decarboxylase, insulinoma-associated protein 2 and zinc transporter 8 - all of which are proteins associated with secretory granules in β-cells - are biomarkers of T1DM-associated autoimmunity that are found months to years before symptom onset, and can be used to identify and study individuals who are at risk of developing T1DM. The type of autoantibody that appears first depends on the environmental trigger and on genetic factors. The pathogenesis of T1DM can be divided into three stages depending on the absence or presence of hyperglycaemia and hyperglycaemia-associated symptoms (such as polyuria and thirst). A cure is not available, and patients depend on lifelong insulin injections; novel approaches to insulin treatment, such as insulin pumps, continuous glucose monitoring and hybrid closed-loop systems, are in development. Although intensive glycaemic control has reduced the incidence of microvascular and macrovascular complications, the majority of patients with T1DM are still developing these complications. Major research efforts are needed to achieve early diagnosis, prevent β-cell loss and develop better treatment options to improve the quality of life and prognosis of those affected.

  12. Object-Oriented Type Systems

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    Object-Oriented Type Systems Jens Palsberg and Michael I. Schwartzbach Aarhus University, Denmark Type systems are required to ensure reliability and efficiency of software. For object-oriented languages, typing is an especially challenging problem because of inheritance, assignment, and late...... binding. Existing languages employ different type systems, and it can be difficult to compare, evaluate and improve them, since there is currently no uniform theory for such languages. This book provides such a theory. The authors review the type systems of Simula, Smalltalk, C++ and Eiffel and present...... a type system that generalizes and explains them. The theory is based on an idealized object-oriented language called BOPL (Basic Object Programming Language), containing common features of the above languages. A type system, type inference algorithm, and typings of inheritance and genericity...

  13. Object-Oriented Type Systems

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    a type system that generalizes and explains them. The theory is based on an idealized object-oriented language called BOPL (Basic Object Programming Language), containing common features of the above languages. A type system, type inference algorithm, and typings of inheritance and genericity...... binding. Existing languages employ different type systems, and it can be difficult to compare, evaluate and improve them, since there is currently no uniform theory for such languages. This book provides such a theory. The authors review the type systems of Simula, Smalltalk, C++ and Eiffel and present......Object-Oriented Type Systems Jens Palsberg and Michael I. Schwartzbach Aarhus University, Denmark Type systems are required to ensure reliability and efficiency of software. For object-oriented languages, typing is an especially challenging problem because of inheritance, assignment, and late...

  14. Session Types at the Mirror

    OpenAIRE

    Luca Padovani

    2009-01-01

    We (re)define session types as projections of process behaviors with respect to the communication channels they use. In this setting, we give session types a semantics based on fair testing. The outcome is a unified theory of behavioral types that shares common aspects with conversation types and that encompass features of both dyadic and multi-party session types. The point of view we provide sheds light on the nature of session types and gives us a chance to reason about them in a framework...

  15. [Type I cryoglobulinemia].

    Science.gov (United States)

    Höffkes, H G; Weber, F; Helmchen, U; Friedmann, B; Kribben, A; Uppenkamp, M; Philipp, T

    1995-07-14

    For 2 years a 52-year-old man had repeated bouts of purpura, arthralgia and fever. He was known to have abnormal monoclonal gammaglobulins, type IgG-lambda and vasculitis when he had another bout with acute renal failure and necrotizing ulcers in the legs. Several laboratory tests were abnormal: erythrocyte sedimentation rate (122 mm), haemoglobin level (9.1 g/dl), white cell count (32,000/microliters), platelet count (562,000/microliters), creatinine level (4.1 mg/dl) and liver enzyme activities. He also had proteinuria (4.5 g daily) and nephritic urinary sediments. The immunoglobulin was subtype IgG3, and a cryoglobulinaemia was also present. Total complement level (CH 50) was not measurable. Bone marrow aspirate revealed plasmocytoma infiltration, and renal biopsy demonstrated necrotizing arteritis, as well as granular subendothelial deposits of IgG and complement. After three plasma separations and initiation of the first treatment cycle with a four-day infusion of vincristine, doxorubicin and dexamethasone the creatinine concentration fell to within the normal range and the necroses healed slowly. No cryoglobulin activity has been demonstrable over the past 24 months.

  16. Tornado type wind turbines

    Science.gov (United States)

    Hsu, Cheng-Ting

    1984-01-01

    A tornado type wind turbine has a vertically disposed wind collecting tower with spaced apart inner and outer walls and a central bore. The upper end of the tower is open while the lower end of the structure is in communication with a wind intake chamber. An opening in the wind chamber is positioned over a turbine which is in driving communication with an electrical generator. An opening between the inner and outer walls at the lower end of the tower permits radially flowing air to enter the space between the inner and outer walls while a vertically disposed opening in the wind collecting tower permits tangentially flowing air to enter the central bore. A porous portion of the inner wall permits the radially flowing air to interact with the tangentially flowing air so as to create an intensified vortex flow which exits out of the top opening of the tower so as to create a low pressure core and thus draw air through the opening of the wind intake chamber so as to drive the turbine.

  17. Neurofibromatosis Type II

    Directory of Open Access Journals (Sweden)

    Akram Kasiri Ghahi

    2003-08-01

    Full Text Available Neurofibromatosis type 2 (NF2 is an inherited disease which is mainly characterized by the development of multiple schwannomas and meningiomas.  Incidence of the disease is about 1 in 60,000. Affected individuals inevitably develop schwannomas, typically affecting both auditory-vestibular nerve which lead in hearing loss and deafness. The majority of patients present with hearing loss, which is usually unilateral at onset and may be accompanied or preceded by tinnitus. Vestibular schwannomas may also cause dizziness or imbalance as a first symptom. Nausea, vomiting or true vertigo are rare symptoms, except in late-stage disease. NF II is caused by a defect in the gene that normally gives rise to a product called Merlin or Schwannomin, located on chromosome 22. Diagnosis is based on clinical and neuroimaging studies. Presymptomatic genetic testing is an integral part of the management of NF2 families. Prenatal diagnosis and pre-implantation genetic diagnosis is possible.

  18. Organ Type and Waiting Time

    Science.gov (United States)

    ... Your Child Adjust Camps Resources LIVING DONATION Facts Types Being a Living Donor About the Operation Financing Living Donation Home / Before The Transplant / About Organ Allocation / Organ Type & Waiting Time Organ Facts Heart ...

  19. Object-Oriented Type Systems

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    a type system that generalizes and explains them. The theory is based on an idealized object-oriented language called BOPL (Basic Object Programming Language), containing common features of the above languages. A type system, type inference algorithm, and typings of inheritance and genericity...... are provided for BOPL. Throughout, the results are related to the languages on which BOPL is based. This text offers advanced undergraduates and professional software developers a sound understanding of the key aspects of object-oriented type systems. All algorithms are implemented in a freely available......Object-Oriented Type Systems Jens Palsberg and Michael I. Schwartzbach Aarhus University, Denmark Type systems are required to ensure reliability and efficiency of software. For object-oriented languages, typing is an especially challenging problem because of inheritance, assignment, and late...

  20. Object-Oriented Type Systems

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    are provided for BOPL. Throughout, the results are related to the languages on which BOPL is based. This text offers advanced undergraduates and professional software developers a sound understanding of the key aspects of object-oriented type systems. All algorithms are implemented in a freely available......Object-Oriented Type Systems Jens Palsberg and Michael I. Schwartzbach Aarhus University, Denmark Type systems are required to ensure reliability and efficiency of software. For object-oriented languages, typing is an especially challenging problem because of inheritance, assignment, and late...... a type system that generalizes and explains them. The theory is based on an idealized object-oriented language called BOPL (Basic Object Programming Language), containing common features of the above languages. A type system, type inference algorithm, and typings of inheritance and genericity...

  1. Treatise on intuitionistic type theory

    CERN Document Server

    Granström, Johan Georg

    2011-01-01

    Intuitionistic type theory can be described, somewhat boldly, as a fulfillment of the dream of a universal language for science.  In particular, intuitionistic type theory is a foundation for mathematics and a programming language.

  2. Types of health care providers

    Science.gov (United States)

    ... Supplements Videos & Tools Español You Are Here: Home → Medical Encyclopedia → Types of health care providers URL of this page: //medlineplus.gov/ency/article/001933.htm Types of health care providers To ...

  3. Object-Oriented Type Systems

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    a type system that generalizes and explains them. The theory is based on an idealized object-oriented language called BOPL (Basic Object Programming Language), containing common features of the above languages. A type system, type inference algorithm, and typings of inheritance and genericity......Object-Oriented Type Systems Jens Palsberg and Michael I. Schwartzbach Aarhus University, Denmark Type systems are required to ensure reliability and efficiency of software. For object-oriented languages, typing is an especially challenging problem because of inheritance, assignment, and late...... are provided for BOPL. Throughout, the results are related to the languages on which BOPL is based. This text offers advanced undergraduates and professional software developers a sound understanding of the key aspects of object-oriented type systems. All algorithms are implemented in a freely available...

  4. Lectin typing of Campylobacter concisus

    DEFF Research Database (Denmark)

    Aabenhus, Rune Munck; Hynes, Sean O; Permin, Henrik

    2002-01-01

    A total of 44 clinical isolates and the type strain of the putative pathogen Campylobacter concisus were grouped based on their reactions with plant lectins. The optimized lectin typing system used C. concisus strains proteolytically pretreated and subsequently typed by using a panel of four...... lectins. The system grouped all 45 strains into 13 lectin reaction patterns, leaving no strain untypeable due to autoagglutination. Lectin types were both stable and reproducible....

  5. Type inference for COBOL systems

    NARCIS (Netherlands)

    A. van Deursen (Arie); L.M.F. Moonen (Leon)

    1998-01-01

    textabstractTypes are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adequate type system (such as COBOL). To solve this problem, we propose a method of automated type inference

  6. Case 22:Type II diabetes

    Science.gov (United States)

    Diabetes mellitus is characterized by elevated blood glucose levels. It is composed of two types depending on the pathogenesis. Type I diabetes is characterized by insulin deficiency and usually has its onset during childhood or teenage years. This is also called ketosis-prone diabetes. Type II diab...

  7. Exploring legacy systems using types

    NARCIS (Netherlands)

    A. van Deursen (Arie); L.M.F. Moonen (Leon)

    2000-01-01

    textabstractWe show how hypertext-based program understanding tools can achieve new levels of abstraction by using inferred type information for cases where the subject software system is written in a weakly typed language. We propose TypeExplorer, a tool for browsing COBOL legacy systems based on

  8. Magnetoelastic Generator Type Transducer

    Directory of Open Access Journals (Sweden)

    A. K. Efremov

    2014-01-01

    Full Text Available Some issues relating to usage of magnetoelectric generator type transducers as the means of measuring intense dynamic loads and as a sensitive element of fuse contact target sensor (CTS are considered. Particular attention is paid to the magnetoanisotropic transducer (MAT, the principle of operation of which is based on the change of the magnetic field form caused by the applied mechanical load leading to the appearance of EMF in the output winding. The MAT, especially monolithic, has such advantages as high strength, reliability, endurance and design simplicity.The functional transducer schemes have been analyzed and for the first time it was shown that there is a possibility of using a version with only one output winding arranged in the magnetic conductor made of magnetically soft material such as structural steel. A mathematical model of transducer is proposed showing that the input signal formed by the external load is proportional to its derivative. With a sufficiently large time constant of the electric circuit and the implementation of a number of additional conditions the transducer may function as an integrator. By that it becomes possible to measure the parameters of dynamic processes having the duration of a few to tens of microseconds. Unlike the traditional transducers such as piezoelectric the output signal is not “masked” by the natural oscillations.The mechanism of the generator effect was considered leading to the “piezomagnetodynamic” model, which includes a number of phenomenological parameters. Some corresponding experimentally derived hysteresis curves are presented. Their vertical shift quantifies the generator effect and does not depend on the intensity of the magnetic field.As an example of practical application of the MAT some results of evaluation of the dynamic force characteristic of the heading part of a piezoelectric fuse are presented. The MAT was also used for the evaluation of back effects of the bullet

  9. Typing is writing: Linguistic properties modulate typing execution.

    Science.gov (United States)

    Pinet, Svetlana; Ziegler, Johannes C; Alario, F-Xavier

    2016-12-01

    Typing is becoming our preferred way of writing. Perhaps because of the relative recency of this change, very few studies have investigated typing from a psycholinguistic perspective. In addition, and despite obvious similarities between typing and handwriting, typing research has remained rather disconnected from handwriting research. The current study aimed at bridging this gap by evaluating how typing is affected by a number of psycholinguistic variables defined at the word, syllable, and letter levels. In a writing-to-dictation task, we assessed typing performance by measuring response accuracy, onset latencies - an index of response preparation and initiation - and interkeystroke intervals (IKIs) - an index of response execution processes. The lexical and sublexical factors revealed a composite pattern of effects. Lexical frequency improved response latencies and accuracy, while bigram frequency speeded up IKIs. Sound-spelling consistency improved latencies, but had an inhibitory effect on IKI. IKIs were also longer at syllable boundaries. Together, our findings can be fit within a framework for typed production that combines the previously developed theories of spelling and typing execution. At their interface, we highlight the need for an intermediate hierarchical stage, perhaps in the form of a graphemic buffer for typing.

  10. Object-Oriented Type Systems

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    are provided for BOPL. Throughout, the results are related to the languages on which BOPL is based. This text offers advanced undergraduates and professional software developers a sound understanding of the key aspects of object-oriented type systems. All algorithms are implemented in a freely available......Object-Oriented Type Systems Jens Palsberg and Michael I. Schwartzbach Aarhus University, Denmark Type systems are required to ensure reliability and efficiency of software. For object-oriented languages, typing is an especially challenging problem because of inheritance, assignment, and late...... binding. Existing languages employ different type systems, and it can be difficult to compare, evaluate and improve them, since there is currently no uniform theory for such languages. This book provides such a theory. The authors review the type systems of Simula, Smalltalk, C++ and Eiffel and present...

  11. Early onset type 2 diabetes

    DEFF Research Database (Denmark)

    Bo, A; Thomsen, R W; Nielsen, J S

    2017-01-01

    was more frequent and meeting physical activity recommendations less likely in persons with early-onset type 2 DM. CONCLUSIONS: We found a clear age-gradient, with increasing prevalence of clinical and behavioural risk factors the younger the onset age of type 2 DM. Younger persons with early-onset type 2......AIM: To examine the association between early onset of type 2 diabetes (DM) and clinical and behavioural risk factors for later diabetes complications. METHODS: We conducted a cross-sectional study of 5115 persons with incident type 2 DM enrolled during 2010-2015 in the Danish Centre for Strategic...... Research in Type 2 Diabetes-cohort. We compared risk factors at time of diagnosis among those diagnosed at ≤45 years (early-onset) with diagnosis age 46-55, 56-65 (average-onset = reference), 66-75, and >75 years (late-onset). Prevalence ratios (PRs) were computed using Poisson regression. RESULTS: Poor...

  12. Object-Oriented Type Systems

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    Object-Oriented Type Systems Jens Palsberg and Michael I. Schwartzbach Aarhus University, Denmark Type systems are required to ensure reliability and efficiency of software. For object-oriented languages, typing is an especially challenging problem because of inheritance, assignment, and late...... are provided for BOPL. Throughout, the results are related to the languages on which BOPL is based. This text offers advanced undergraduates and professional software developers a sound understanding of the key aspects of object-oriented type systems. All algorithms are implemented in a freely available...... binding. Existing languages employ different type systems, and it can be difficult to compare, evaluate and improve them, since there is currently no uniform theory for such languages. This book provides such a theory. The authors review the type systems of Simula, Smalltalk, C++ and Eiffel and present...

  13. Types for BioAmbients

    Directory of Open Access Journals (Sweden)

    Sara Capecchi

    2010-02-01

    Full Text Available The BioAmbients calculus is a process algebra suitable for representing compartmentalization, molecular localization and movements between compartments. In this paper we enrich this calculus with a static type system classifying each ambient with group types specifying the kind of compartments in which the ambient can stay. The type system ensures that, in a well-typed process, ambients cannot be nested in a way that violates the type hierarchy. Exploiting the information given by the group types, we also extend the operational semantics of BioAmbients with rules signalling errors that may derive from undesired ambients' moves (i.e. merging incompatible tissues. Thus, the signal of errors can help the modeller to detect and locate unwanted situations that may arise in a biological system, and give practical hints on how to avoid the undesired behaviour.

  14. Object-Oriented Type Inference

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    1991-01-01

    We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, annotates the program with type information, allows polymorphic methods, and can be used as the basis of an op-timizing......-timizing compiler. Types are finite sets of classes and subtyping is set inclusion. Using a trace graph, our algorithm constructs a set of conditional type constraints and computes the least solution by least fixed-point derivation....

  15. Management of type IIb dyslipidemia.

    Science.gov (United States)

    Arai, Hidenori; Ishibashi, Shun; Bujo, Hideaki; Hayashi, Toshio; Yokoyama, Shinji; Oikawa, Shinichi; Kobayashi, Junji; Shirai, Kohji; Ota, Takao; Yamashita, Shizuya; Gotoda, Takanari; Harada-Shiba, Mariko; Sone, Hirohito; Eto, Masaaki; Suzuki, Hiroaki; Yamada, Nobuhiro

    2012-01-01

    Although the Japan Atherosclerosis Society guideline for the diagnosis and prevention of atherosclerosis cardiovascular diseases for the Japanese population provides targets for low-density lipoprotein (LDL) cholesterol, triglycerides, and high-density lipoprotein (HDL) cholesterol to prevent cardiovascular disease in patients with dyslipidemia, there is no guideline specifically targeting the treatment of type IIb dyslipidemia, which is one of the most common types of dyslipidemia, along with type IIa and type IV dyslipidemia. Type IIb dyslipidemia is important because it sometimes accompanies atherogenic lipid profiles, such as small, dense LDL, remnants, low HDL cholesterolemia. It is also associated with type 2 diabetes mellitus, metabolic syndrome, and chronic kidney disease (CKD), and most patients with familial combined hyperlipidemia (FCHL) show this phenotype; therefore, it is assumed that patients with type IIb dyslipidemia have a high risk for cardiovascular disease. Thus, the management of type IIb dyslipidemia is very important for the prevention of cardiovascular disease, so we have attempted to provide a guideline for the management of type IIb dyslipidemia.

  16. Type-safe pattern combinators

    DEFF Research Database (Denmark)

    Rhiger, Morten

    2009-01-01

    Macros still haven't made their way into typed higher-order programming languages such as Haskell and Standard ML. Therefore, to extend the expressiveness of Haskell or Standard ML, one must express new linguistic features in terms of functions that fit within the static type systems of these lan......Macros still haven't made their way into typed higher-order programming languages such as Haskell and Standard ML. Therefore, to extend the expressiveness of Haskell or Standard ML, one must express new linguistic features in terms of functions that fit within the static type systems...

  17. Florence Nightingale: her personality type.

    Science.gov (United States)

    Dossey, Barbara M

    2010-03-01

    This article casts new and refreshing light on Florence Nightingale's life and work by examining her personality type. Using the theory-based Myers-Briggs Type Indicator (MBTI), the author examines Nightingale's personality type and reveals that she was an introverted-intuitive-thinking-judging type. The merit of using the MBTI is that it allows us to more clearly understand three major areas of Nightingale's life that have been partially unacknowledged or misunderstood: her spiritual development as a practicing mystic, her management of her chronic illness to maintain her prodigious work output, and her chosen strategies to transform her visionary ideas into new health care and social realities.

  18. Equations of the mixed type

    CERN Document Server

    Bitsadze, A V

    1963-01-01

    Equations of the Mixed Type compiles a series of lectures on certain fundamental questions in the theory of equations of mixed type. This book investigates the series of problems concerning linear partial differential equations of the second order in two variables, and possessing the property that the type of the equation changes either on the boundary of or inside the considered domain. Topics covered include general remarks on linear partial differential equations of mixed type; study of the solutions of second order hyperbolic equations with initial conditions given along the lines of parab

  19. A Type System for Tom

    Directory of Open Access Journals (Sweden)

    Claude Kirchner

    2010-03-01

    Full Text Available Extending a given language with new dedicated features is a general and quite used approach to make the programming language more adapted to problems. Being closer to the application, this leads to less programming flaws and easier maintenance. But of course one would still like to perform program analysis on these kinds of extended languages, in particular type checking and inference. In this case one has to make the typing of the extended features compatible with the ones in the starting language. The Tom programming language is a typical example of such a situation as it consists of an extension of Java that adds pattern matching, more particularly associative pattern matching, and reduction strategies. This paper presents a type system with subtyping for Tom, that is compatible with Java's type system, and that performs both type checking and type inference. We propose an algorithm that checks if all patterns of a Tom program are well-typed. In addition, we propose an algorithm based on equality and subtyping constraints that infers types of variables occurring in a pattern. Both algorithms are exemplified and the proposed type system is showed to be sound and complete.

  20. Safety Analysis versus Type Inference with Partial Types

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    1992-01-01

    Safety analysis is an algorithm for determining if a term in an untyped lambda calculus with constants is safe, i.e., if it does not cause an error during evaluation. This ambition is also shared by algorithms for type inference. Safety analysis and type inference are based on rather different...... perspectives, however. Safety analysis is global in that it can only analyze a complete program. In contrast, type inference is local in that it can analyze pieces of a program in isolation. In this paper we prove that safety analysis is sound, relative to both a strict and a lazy operational semantics. We...... also prove that safety analysis accepts strictly more safe lambda terms than does type inference for simple types. The latter result demonstrates that global program analysis can be more precise than local ones....

  1. Types of subtalar joint facets.

    Science.gov (United States)

    Jung, Min-Ho; Choi, Byoung Young; Lee, Ji Yong; Han, Chang Sung; Lee, Jin Suk; Yang, Young Chul; Cho, Byung Pil

    2015-08-01

    Articular facets of the clinical subtalar joint (CSTJ) were analyzed using a total of 118 (right 57, left 61) dry, paired calcanei and tali from 68 Korean adult cadavers. The CSTJ facets were classified into the following three types depending on their continuity: type A, all three facets are separated; type B, the anterior and middle facets are partially connected; and type C, the anterior and middle facets are fused to form a single facet. The continuity between the anterior and middle facets was represented by the degree of separation (DS), which ranged between 2.00 (type A) and 1.00 (type C). Type A was most common (39.0 %) in calcanei and rarest (11.0 %) in tali. Matching of calcaneus-talus pairs yielded five combined types: A-A (11.0 %), A-B (28.0 %), B-B (18.6 %), B-C (13.6 %), and C-C (28.8 %). The mean DS was slightly greater in calcanei (1.53) than in tali (1.32), and decreased in the order of types A-A, A-B, B-B, B-C, and C-C. The intersecting angles between the anterior and middle facets, which are related to the mobility of the CSTJ, were inversely related to the DS. These findings indicate that the anterior and middle facets are fused more frequently in tali than in calcanei, and combinations of different CSTJ facet types (A-B, B-C) exist over 40 % of feet. Our results indicate that types with a smaller DS (such as B-C and C-C) are relatively mobile but less stable compared to those with a greater DS (such as A-A and A-B).

  2. Brauer algebras of type B

    NARCIS (Netherlands)

    Cohen, A.M.; Liu, S.

    2015-01-01

    For each n ≥ 1, we define an algebra having many properties that one might expect to hold for a Brauer algebra of type Bn. It is defined by means of a presentation by generators and relations. We show that this algebra is a subalgebra of the Brauer algebra of type Dn+1 and point out a cellular

  3. Diabetes Type 1 - Multiple Languages

    Science.gov (United States)

    ... Are Here: Home → Multiple Languages → All Health Topics → Diabetes Type 1 URL of this page: https://medlineplus.gov/languages/ ... V W XYZ List of All Topics All Diabetes Type 1 - Multiple Languages To use the sharing features on ...

  4. Linear contextual modal type theory

    DEFF Research Database (Denmark)

    Schack-Nielsen, Anders; Schürmann, Carsten

    Abstract. When one implements a logical framework based on linear type theory, for example the Celf system [?], one is immediately con- fronted with questions about their equational theory and how to deal with logic variables. In this paper, we propose linear contextual modal type theory that gives...

  5. Type 1 Diabetes and Sleep.

    Science.gov (United States)

    Farabi, Sarah S

    2016-02-01

    IN BRIEF In people with type 1 diabetes, sleep may be disrupted as a result of both behavioral and physiological aspects of diabetes and its management. This sleep disruption may negatively affect disease progression and development of complications. This review highlights key research findings regarding sleep in people with type 1 diabetes.

  6. Type 1 Diabetes and Sleep

    OpenAIRE

    Farabi, Sarah S.

    2016-01-01

    IN BRIEF In people with type 1 diabetes, sleep may be disrupted as a result of both behavioral and physiological aspects of diabetes and its management. This sleep disruption may negatively affect disease progression and development of complications. This review highlights key research findings regarding sleep in people with type 1 diabetes.

  7. Type-Directed Partial Evaluation

    DEFF Research Database (Denmark)

    Danvy, Olivier

    1998-01-01

    Type-directed partial evaluation uses a normalization function to achieve partial evaluation. These lecture notes review its background, foundations, practice, and applications. Of specific interest is the modular technique of offline and online type-directed partial evaluation in Standard ML of ...

  8. Type studies in Basidiomycetes. X

    NARCIS (Netherlands)

    Singer, R.

    1961-01-01

    For the first time a systematic study of the types and authentic specimens of agarics and boletes preserved in the Persoon Herbarium has been carried out. Some aspects of the possibilities of type analysis with regard to specimens over 130 year old are discussed. 137 species were analyzed. The

  9. Classification of Building Object Types

    DEFF Research Database (Denmark)

    Jørgensen, Kaj Asbjørn

    2011-01-01

    be managed by software applications and on the basis of building models. Classification systems with taxonomies of building object types have many application opportunities but can still be beneficial in data exchange between building construction partners. However, this will be performed by new methods...... and in strong connection with databases holding a wide range of object types....

  10. of Nigerian Type 2 diabetic

    African Journals Online (AJOL)

    degrees of generalized and central/abdominal fat, implying a greater risk of developing Type 2 DM in view of the relationship between body fat distribution and insulin resistance. Long term prospective studies are needed to define anthropometric indices predictive of the development of Type 2 DM, as well as its relation to ...

  11. Interpretations of Recursive Type Definitions

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff

    1992-01-01

    A system of hierarchical imperative types is extended to allow infinite values. The general structure of value assignments to types in the context of a hierarchy is considered, and it is shown that both a minimal and a maximal value assignment exist. We give two different characterizations of int...

  12. Type-Directed Partial Evaluation

    DEFF Research Database (Denmark)

    Danvy, Olivier

    1998-01-01

    Type-directed partial evaluation uses a normalization function to achieve partial evaluation. These lecture notes review its background, foundations, practice, and applications. Of specific interest is the modular technique of offline and online type-directed partial evaluation in Standard ML...

  13. Types of Managed Care Plans

    Science.gov (United States)

    ... Involved in Your Community Healthy Children > Family Life > Medical Home > Health Insurance > Types of Managed Care Plans Family Life Listen Español Text Size Email Print Share Types of Managed Care Plans Page Content Article Body ​Managed care plans have agreements with certain ...

  14. Intersection Types and Related Systems

    Directory of Open Access Journals (Sweden)

    Paweł Parys

    2017-02-01

    Full Text Available We present a new approach to the following meta-problem: given a quantitative property of trees, design a type system such that the desired property for the tree generated by an infinitary ground lambda-term corresponds to some property of a derivation of a type for this lambda-term, in this type system. Our approach is presented in the particular case of the language finiteness problem for nondeterministic higher-order recursion schemes (HORSes: given a nondeterministic HORS, decide whether the set of all finite trees generated by this HORS is finite. We give a type system such that the HORS can generate a tree of an arbitrarily large finite size if and only if in the type system we can obtain derivations that are arbitrarily large, in an appropriate sense; the latter condition can be easily decided.

  15. Definitions of histocompatibility typing terms.

    Science.gov (United States)

    Nunes, Eduardo; Heslop, Helen; Fernandez-Vina, Marcelo; Taves, Cynthia; Wagenknecht, Dawn R; Eisenbrey, A Bradley; Fischer, Gottfried; Poulton, Kay; Wacker, Kara; Hurley, Carolyn Katovich; Noreen, Harriet; Sacchi, Nicoletta

    2011-12-01

    Histocompatibility testing for stem cell and solid organ transplantation has become increasingly complex as newly discovered HLA alleles are described. HLA typing assignments reported by laboratories are used by physicians and donor registries for matching donors and recipients. To communicate effectively, a common language for histocompatibility terms should be established. In early 2010, representatives from Clinical, Registry, and Histocompatibility organizations joined together as the Harmonization of Histocompatibility Typing Terms Working Group to define a consensual language for laboratories, physicians, and registries to communicate histocompatibility typing information. The Working Group defined terms for HLA typing resolution, HLA matching, and a format for reporting HLA assignments. In addition, definitions of verification typing and extended typing were addressed. The original draft of the Definitions of Histocompatibility Typing Terms was disseminated to colleagues from each organization to gain feedback and create a collaborative document. Commentary gathered during this 90-day review period were discussed and implemented for preparation of this report. Histocompatibility testing continues to evolve; thus, the definitions agreed on today probably will require refinement and perhaps additional terminology in the future.

  16. P-type gallium nitride

    Science.gov (United States)

    Rubin, M.; Newman, N.; Fu, T.; Ross, J.; Chan, J.

    1997-08-12

    Several methods have been found to make p-type gallium nitride. P-type gallium nitride has long been sought for electronic devices. N-type gallium nitride is readily available. Discovery of p-type gallium nitride and the methods for making it will enable its use in ultraviolet and blue light-emitting diodes and lasers. pGaN will further enable blue photocathode elements to be made. Molecular beam epitaxy on substrates held at the proper temperatures, assisted by a nitrogen beam of the proper energy produced several types of p-type GaN with hole concentrations of about 5{times}10{sup 11} /cm{sup 3} and hole mobilities of about 500 cm{sup 2} /V-sec, measured at 250 K. P-type GaN can be formed of unintentionally-doped material or can be doped with magnesium by diffusion, ion implantation, or co-evaporation. When applicable, the nitrogen can be substituted with other group III elements such as Al. 9 figs.

  17. Wild type measles virus attenuation independent of type I IFN

    Directory of Open Access Journals (Sweden)

    Horvat Branka

    2008-02-01

    Full Text Available Abstract Background Measles virus attenuation has been historically performed by adaptation to cell culture. The current dogma is that attenuated virus strains induce more type I IFN and are more resistant to IFN-induced protection than wild type (wt. Results The adaptation of a measles virus isolate (G954-PBL by 13 passages in Vero cells induced a strong attenuation of this strain in vivo. The adapted virus (G954-V13 differs from its parental strain by only 5 amino acids (4 in P/V/C and 1 in the M gene. While a vaccine strain, Edmonston Zagreb, could replicate equally well in various primate cells, both G954 strains exhibited restriction to the specific cell type used initially for their propagation. Surprisingly, we observed that both G954 strains induced type I IFN, the wt strain inducing even more than the attenuated ones, particularly in human plasmacytoid Dendritic Cells. Type I IFN-induced protection from the infection of both G954 strains depended on the cell type analyzed, being less efficient in the cells used to grow the viral strain. Conclusion Thus, mutations in M and P/V/C proteins can critically affect MV pathogenicity, cellular tropism and lead to virus attenuation without interfering with the α/β IFN system.

  18. CT findings of muscular dystrophy; Limb girdle type (LG), myotonic type (MYD) and Duchenne type (DMD)

    Energy Technology Data Exchange (ETDEWEB)

    Saitoh, Hiroshi (Tokushima Univ. (Japan). School of Medicine)

    1991-07-01

    CT scans of muscles in patients with limb girdle type (LG), myotonic type (MYD) and Duchenne type (DMD) dystrophies were obtained at five different body levels: the neck, L3 vertebral body, pelvic girdle, thigh and lower leg. CT numbers, cross sectional areas (CSA) and %CSA of muscle or fat were evaluated in each muscle. The characteristic CT patterns for each type of muscular dystrophy were obtained. Compared with DMD, the gracilis and soleus were more severely damaged in LG and the biceps femoris remained relatively preserved among the hamstrings. In addition, the multifidus of the neck and sternocleidomastoid also were more severely damaged in MYD. This study suggests that CT scan will be useful in the differential diagnosis of these types of muscular dystrophy as well as in planning appropriate rehabilitation and detecting damaged muscles. (author).

  19. Modalities in homotopy type theory

    DEFF Research Database (Denmark)

    Rijke, Egbert; Shulman, Michael; Spitters, Bas

    2017-01-01

    Univalent homotopy type theory (HoTT) may be seen as a language for the category of ∞-groupoids. It is being developed as a new foundation for mathematics and as an internal language for (elementary) higher toposes. We develop the theory of factorization systems, reflective subuniverses......, and modalities in homotopy type theory, including their construction using a "localization" higher inductive type. This produces in particular the (n-connected, n-truncated) factorization system as well as internal presentations of subtoposes, through lex modalities. We also develop the semantics...

  20. Type Inference of Turbo Pascal

    DEFF Research Database (Denmark)

    Hougaard, Ole Ildsgaard; Schwartzbach, Michael I; Askari, Hosein

    1995-01-01

    Type inference is generally thought of as being an exclusive property of the functional programming paradigm. We argue that such a feature may be of significant benefit for also standard imperative languages. We present a working tool (available by WWW) providing these benefits for a full version...... of Turbo Pascal. It has the form of a preprocessor that analyzes programs in which the type annotations are only partial or even absent. The resulting program has full type annotations, will be accepted by the standard Turbo Pascal compiler, and has polymorphic use of procedures resolved by means of code...

  1. User Types in Online Applications

    Directory of Open Access Journals (Sweden)

    Ion IVAN

    2011-08-01

    Full Text Available Online applications are presented in the context of information society. Online applications characteristics are analyzed. Quality characteristics are presented in relation to online applications users. Types of users for AVIO application are presented. Use cases for AVIO application are identified. The limitations of AVIO application are defined. Types of users in online applications are identified. The threedimensional matrix of access to the online application resources is built. The user type-oriented database is structured. Access management of the fields related to the database tables is analyzed. The classification of online applications users is done.

  2. Florence Nightingale. Her personality type.

    Science.gov (United States)

    Dossey, B M

    1998-06-01

    The purpose of this article is to cast new and refreshing light on Florence Nightingale's life and work by examining her personality type. Using the theory-based Myers-Briggs Type Indicator (MBTI), the author examines Nightingale's personality type and reveals that she was an introverted-intuitive-thinking-judging (INTJ) type. The merit of using the MBTI is that it allows us to more clearly understand three major areas of Nightingale's life that have been partially unacknowledged or misunderstood: her spiritual development as a practicing mystic, her management of her chronic illness to maintain her prodigious work output, and her chosen strategies to transform her visionary ideas into new health care and social realities.

  3. Allegheny County Soil Type Areas

    Data.gov (United States)

    Allegheny County / City of Pittsburgh / Western PA Regional Data Center — This dataset contains soil type and soil classification, by area. Additional info at: http://mcdc.cas.psu.edu/datawiz.htm;...

  4. Forest Cover Types - Direct Download

    Data.gov (United States)

    U.S. Geological Survey, Department of the Interior — This map layer portrays general forest cover types for the United States. Data were derived from Advanced Very High Resolution Radiometer (AVHRR) composite images...

  5. UX Ori-Type Stars

    Science.gov (United States)

    Grinin, V.

    2017-06-01

    The brief review of the properties of the UX Ori type stars is presented. A special attention is given to the results of the Crimean program of the multi-year photometric and polarimetric observations of these stars.

  6. Distinguishing among electron injection types

    Science.gov (United States)

    Feynman, J.

    1987-01-01

    Three types of electron injections taking place in the near-earth region of the magnetotail have been distinguished previously using SCATHA particle and field data. Defining characteristics are given here for each type of event, and the positions of the magnetosphere where they are expected to occur are discussed. These three event types can be difficult to distinguish in data sets that are more limited than the SCATHA set that carried instruments detecting magnetic fields and charged particles over an energy range from eVs to MeVs. It is suggested that determining the magnetospheric regions at which each of these event types occurs will considerably clarify the phenomenological description of substorms available for theoretical analysis.

  7. Lepromatous leprosy of histoid type

    Directory of Open Access Journals (Sweden)

    Annigeri S

    2007-01-01

    Full Text Available Histoid leprosy is a variant of lepromatous leprosy, which develops as a result of resistance to dapsone monotherapy. Here we report two cases of lepromatous leprosy of histoid type, one with typical and another with atypical presentations.

  8. Type 2 Diabetes Risk Test

    Science.gov (United States)

    ... Camp Fundraising Events Step Out Walk to Stop Diabetes Tour de Cure Father of the Year Stop Diabetes at School ... Forecast Stop Diabetes Step Out: Walk to Stop Diabetes Tour de Cure Living With Type 2 Diabetes Recipes for Healthy ...

  9. Living with Type 1 Diabetes

    Science.gov (United States)

    ... Camp Fundraising Events Step Out Walk to Stop Diabetes Tour de Cure Father of the Year Stop Diabetes at School ... Forecast Stop Diabetes Step Out: Walk to Stop Diabetes Tour de Cure Living With Type 2 Diabetes Recipes for Healthy ...

  10. Pneumococcal Disease: Types of Infection

    Science.gov (United States)

    ... Many different bacteria, viruses, and even fungi can cause pneumonia. Pneumococcus is one of the most common causes of severe pneumonia. Besides pneumonia, pneumococcus can cause other types of ...

  11. [Sport and type 1 diabetes].

    Science.gov (United States)

    Büsser, C; Meyer, P; Philippe, J; Jornayvaz, F R

    2013-06-05

    Physical activity is recognised to be an efficient measure in improving glycemic control in the treatment of type 2 diabetes. This evidence is lacking in type I diabetes but type 1I diabetics benefit from the same advantages like the general population. For many type I diabetics, especially younger patients, sport represents an important modality in the treatment of their disease but also of their quality of life. However, this is often a challenge for the patient as well as for the physician regarding the metabolic consequences (hypo- but also hyperglycemia) which can appear in relation with physical activity. There are existing general recommendations concerning the intake of carbohydrates and the reduction of insulin doses but those have to be adapted individually for each patient and depend significantly on different sports and on the intensity of sport.

  12. Exercise and Type 2 Diabetes

    OpenAIRE

    Colberg, Sheri R.; Sigal, Ronald J.; Fernhall, Bo; Regensteiner, Judith G.; Blissmer, Bryan J.; Rubin, Richard R.; Chasan-Taber, Lisa; Albright, Ann L.; Braun, Barry

    2010-01-01

    Although physical activity (PA) is a key element in the prevention and management of type 2 diabetes, many with this chronic disease do not become or remain regularly active. High-quality studies establishing the importance of exercise and fitness in diabetes were lacking until recently, but it is now well established that participation in regular PA improves blood glucose control and can prevent or delay type 2 diabetes, along with positively affecting lipids, blood pressure, cardiovascular ...

  13. Recent advances in autoimmune pancreatitis: type 1 and type 2.

    Science.gov (United States)

    Kamisawa, Terumi; Chari, Suresh T; Lerch, Markus M; Kim, Myung-Hwan; Gress, Thomas M; Shimosegawa, Tooru

    2013-09-01

    Autoimmune pancreatitis (AIP) is a form of chronic pancreatitis characterised clinically by frequent presentation with obstructive jaundice, histologically by a lymphoplasmacytic infiltrate with fibrosis, and therapeutically by a dramatic response to steroids. When so defined, AIP can be sub-classified into two subtypes, 1 and 2. Recent international consensus diagnostic criteria for AIP have been developed for diagnosis of both forms of AIP. Type 1 AIP is the pancreatic manifestation of a multiorgan disease, recently named IgG4-related disease. Little is known about the pathogenesis of either form of AIP. Despite frequent association of type 1 AIP with elevated serum IgG4 levels and infiltration with IgG4-positive plasma cells, it is unlikely that IgG4 plays a pathogenic role in AIP. Type 1 AIP responds to steroids, but there needs to be consensus on treatment regimens for induction and therapeutic end points. Relapses are common, but can be reduced by long-term use of low-dose steroids. Recent reports suggest that immunomodulators (azathioprine, 6-mercaptopurine and mycophenolate mofetil), as well biological agents (the antibody to CD20, rituximab) may have a role in maintaining remission in relapsing type 1 AIP. Future studies should clarify the best management options for treatment of relapses and maintenance of remission. Type 2 AIP is a pancreas-specific disorder not associated with IgG4. It presents in younger individuals equally with obstructive jaundice and pancreatitis. The inflammatory process responds to steroid therapy; relapses are uncommon. The clinical spectrum and long-term outcomes of medically treated type 2 AIP are still being evaluated.

  14. The spectrum of solid waste pollutants on Qua Iboe River Estuarine ...

    African Journals Online (AJOL)

    Plastics constituted the most diverse and predominant material type (63.70%). The plastic wastes were: plastic water sachets (12.54%),styrofoam (polystyrene foam) (9.57%), plastic bottles (8.74), polythene bags (2.39%), plastic drinking straws (2.15%), used plastic diapers (.89%), scrap papers (3.71%) and condom packs ...

  15. Completeness in Hybrid Type Theory

    DEFF Research Database (Denmark)

    Areces, Carlos; Blackburn, Patrick Rowan; Huertas, Antonia

    2014-01-01

    found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting......We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types...... the way we interpret @i in propositional and first-order hybrid logic. This means: interpret @iαa , where αa is an expression of any type a , as an expression of type a that rigidly returns the value that αa receives at the i-world. The axiomatization and completeness proofs are generalizations of those...

  16. Different collagen types define two types of idiopathic epiretinal membranes

    OpenAIRE

    Kritzenberger, Michaela; Junglas, Benjamin; Framme, Carsten; Helbig, Horst; Gabel, Veit-Peter; Fuchshofer, Rudolf; Tamm, Ernst R; Hillenkamp, Jost

    2011-01-01

    Abstract Aims: To identify differences in extracellular matrix contents between idiopathic epiretinal membranes (IEM) of cellophane macular reflex (CMRM) or preretinal macular fibrosis (PMFM) type. Methods and results: IEM were analyzed by light and quantitative transmission electron microscopy, immunohistochemistry, and Western blotting. Substantial differences between CMRM and PMFM were observed regarding the nature of extracellular fibrils. In CMRM, the fibrils were thin with...

  17. Boston type I keratoprosthesis: Review.

    Science.gov (United States)

    Magalhães, Fernanda Pedreira; Sousa, Luciene Barbosa de; Oliveira, Lauro Augusto de

    2012-01-01

    Regardless of significant progress in the field of corneal transplantation to treat corneal opacification, some cases of corneal blindness still present a poor prognosis for conventional penetrating keratoplasty. In patients with repeated graft failure and/or with severe ocular surface disease, the Boston type I keratoprosthesis (type I BKPro) has become a viable option. Modifications in its design and postoperative management have improved the long-term outcomes of visual acuity, retention, and postoperative infection rates. These advances made the type I BKPro be considered a safe alternative for visual rehabilitation in many patients with corneal pathologies. However, postoperative handle of chronic comorbidities, such as glaucoma, is still critical for preserving the visual gains achieved with BKPro.

  18. Boston type I keratoprosthesis: Review

    Directory of Open Access Journals (Sweden)

    Fernanda Pedreira Magalhães

    2012-06-01

    Full Text Available Regardless of significant progress in the field of corneal transplantation to treat corneal opacification, some cases of corneal blindness still present a poor prognosis for conventional penetrating keratoplasty. In patients with repeated graft failure and/or with severe ocular surface disease, the Boston type I keratoprosthesis (type I BKPro has become a viable option. Modifications in its design and postoperative management have improved the long-term outcomes of visual acuity, retention, and postoperative infection rates. These advances made the type I BKPro be considered a safe alternative for visual rehabilitation in many patients with corneal pathologies. However, postoperative handle of chronic comorbidities, such as glaucoma, is still critical for preserving the visual gains achieved with BKPro.

  19. Glucagon and type 2 diabetes

    DEFF Research Database (Denmark)

    Lund, Asger; Bagger, Jonatan I; Christensen, Mikkel

    2014-01-01

    In normal physiology, glucagon from pancreatic alpha cells plays an important role in maintaining glucose homeostasis via its regulatory effect on hepatic glucose production. Patients with type 2 diabetes suffer from fasting and postprandial hyperglucagonemia, which stimulate hepatic glucose...... production and, thus, contribute to the hyperglycemia characterizing these patients. Although this has been known for years, research focusing on alpha cell (patho)physiology has historically been dwarfed by research on beta cells and insulin. Today the mechanisms behind type 2 diabetic hyperglucagonemia...... or antagonization of the glucagon receptor constitutes potentially effective treatment strategies for patients with type 2 diabetes. In this review, we focus on the regulation of glucagon secretion by the incretin hormones glucagon-like peptide-1 (GLP-1) and GIP. Furthermore, potential advantages and limitations...

  20. Bianchi-type string cosmology

    CERN Document Server

    Batakis, N A

    1995-01-01

    Bianchi-type string cosmology involves generalizations of the FRW backgrounds with three transitive spacelike Killing symmetries, but without any a priori assumption of isotropy in the 3D sections of homogeneity. With emphasis on those cases with diagonal metrics and vanishing cosmological constant which which have not been previously examined in the literature, the present findings allow an overview and the classification of all Bianchi-type backgrounds. These string solutions (at least to lowest order in alpha prime) offer prototypes for the study of spatial anisotropy and its impact on the dynamics of the early universe.

  1. Operational Semantics of Termination Types

    DEFF Research Database (Denmark)

    Nielson, Flemming; Nielson, Hanne Riis

    1996-01-01

    and algebraic data types. The well-founded orderings are defined by pattern matching against the definition of the algebraic data types. We prove that the analysis is semantically sound with respect to a big-step (or natural) operational semantics. We compare our approach based on operational semantics to one...... based on denotational semantics and we identify the need for extending the semantic universe with low constructs whose sole purpose is to facilitate the proof. For dealing with partial correctness it suffices to consider approximations that are less defined than the desired fixed points; for dealing...

  2. Type-2 fuzzy granular models

    CERN Document Server

    Sanchez, Mauricio A; Castro, Juan R

    2017-01-01

    In this book, a series of granular algorithms are proposed. A nature inspired granular algorithm based on Newtonian gravitational forces is proposed. A series of methods for the formation of higher-type information granules represented by Interval Type-2 Fuzzy Sets are also shown, via multiple approaches, such as Coefficient of Variation, principle of justifiable granularity, uncertainty-based information concept, and numerical evidence based. And a fuzzy granular application comparison is given as to demonstrate the differences in how uncertainty affects the performance of fuzzy information granules.

  3. Five types of organizational strategy

    DEFF Research Database (Denmark)

    Steensen, Elmer Fly

    2014-01-01

    Models in the strategy field defining the strategy concept emphasize schools of thought or strategy perspectives, but not how to define the idiosyncratic composition of an organization’s strategy content. Based on a literature review in which meanings have been attached to the concept, this paper...... presents a new model including five types of organizational strategy. The model emphasizes that key influencers may make heterogeneous contributions to an organization’s strategy and also that significant effects may result from interaction between types of strategy....

  4. Operator inequalities of Jensen type

    Directory of Open Access Journals (Sweden)

    Moslehian M. S.

    2013-07-01

    Full Text Available We present some generalized Jensen type operator inequalities involving sequences of self-adjoint operators. Among other things, we prove that if f : [0;1 → ℝ is a continuous convex function with f(0 ≤ 0, then

  5. Fibre typing of intrafusal fibres

    Science.gov (United States)

    Thornell, Lars-Eric; Carlsson, Lena; Eriksson, Per-Olof; Liu, Jing-Xia; Österlund, Catharina; Stål, Per; Pedrosa-Domellöf, Fatima

    2015-01-01

    The first descriptions of muscle spindles with intrafusal fibres containing striated myofibrils and nervous elements were given approximately 150 years ago. It took, however, another 100 years to establish the presence of two types of intrafusal muscle fibres: nuclear bag and nuclear chain fibres. The present paper highlights primarily the contribution of Robert Banks in fibre typing of intrafusal fibres: the confirmation of the principle of two types of nuclear bag fibres in mammalian spindles and the variation in occurrence of a dense M-band along the fibres. Furthermore, this paper summarizes how studies from the Umeå University group (Laboratory of Muscle Biology in the Department of Integrative Medical Biology) on fibre typing and the structure and composition of M-bands have contributed to the current understanding of muscle spindle complexity in adult humans as well as to muscle spindle development and effects of ageing. The variable molecular composition of the intrafusal sarcomeres with respect to myosin heavy chains and M-band proteins gives new perspectives on the role of the intrafusal myofibrils as stretch-activated sensors influencing tension/stiffness and signalling to nuclei. PMID:26179023

  6. Bianchi type I string cosmologies

    Indian Academy of Sciences (India)

    if a proper initial condition, viz., inflation is imposed on the very early universe. Various types of inflationary cosmologies are being considered and the string cosmology is one. It is generally believed that the very early universe underwent phase transitions, which gave rise to topologically stable structures; of particular ...

  7. Dissecting Types of Professional Schools.

    Science.gov (United States)

    Blau, Peter M.; And Others

    1979-01-01

    Shows how differences among types of professional schools can be explained on the basis of systematic research, using empirical data on a large sample of professional schools and analytical properties of the professions for which the schools provide training. (Author/CK)

  8. Invariant Classification of Gait Types

    DEFF Research Database (Denmark)

    Fihl, Preben; Moeslund, Thomas B.

    2008-01-01

    This paper presents a method of classifying human gait in an invariant manner based on silhouette comparison. A database of artificially generated silhouettes is created representing the three main types of gait, i.e. walking, jogging, and running. Silhouettes generated from different camera angles...

  9. Update on type 2 diabetes

    African Journals Online (AJOL)

    2009-02-23

    Feb 23, 2009 ... better outcomes, such as enhanced quality of life, and reductions in morbidity, largely due to microvascular complications, and premature mortality, primarily due to macrovascular disease. This article focuses on recent developments in the management of type 2 diabetes; specifically, the legacy effect and ...

  10. Tension type headaches: a review

    African Journals Online (AJOL)

    Acetaminophen (paracetamol) 500-1 000 mg and aspirin 500-. 1 000 mg, have been demonstrated to be an effective first-line treatment for episodic tension-type headaches in most placebo- controlled trials. 23,24 Fast absorptive formulations of the latter are preferred for rapidity of action.25 It is worth noting that these.

  11. Update on type 2 diabetes

    African Journals Online (AJOL)

    2009-02-23

    Feb 23, 2009 ... randomised to diet or metformin therapy. In this, the originally described benefits on myocardial infarction and death from any cause in the metformin-treated group persisted at follow-up (33%, p=0.005, and 27%, p=0.002 respectively). In type 1 diabetics too, the appearance of a delayed benefit of earlier ...

  12. mixed type partial differential equation

    Directory of Open Access Journals (Sweden)

    M. Denche

    2003-01-01

    Full Text Available In this paper, we study a mixed problem with integral boundary conditions for a high order partial differential equation of mixed type. We prove the existence and uniqueness of the solution. The proof is based on energy inequality, and on the density of the range of the operator generated by the considered problem.

  13. Types of Cancer Teens Get

    Science.gov (United States)

    ... with a prosthesis (pronounced: pros-THEE-sis), or artificial limb. Most teens with a prosthesis are able to return to normal activities, even sports. Most people develop side effects, ... within the muscles in the trunk, arms, or legs. The types of treatment used and ...

  14. Headache (chronic tension-type).

    Science.gov (United States)

    Krishnan, Anita; Silver, Nicholas

    2009-07-22

    Chronic tension-type headache (CTTH) is a disorder that evolves from episodic tension-type headache, with daily or very frequent episodes of headache lasting minutes to days. It affects 4.1% of the general population in the USA, and is more prevalent in women (up to 65% of cases). We conducted a systematic review and aimed to answer the following clinical questions: What are the effects of drug treatments for chronic tension-type headache? What are the effects of non-drug treatments for chronic tension-type headache? We searched: Medline, Embase, The Cochrane Library, and other important databases up to March 2007 (Clinical Evidence reviews are updated periodically; please check our website for the most up-to-date version of this review). We included harms alerts from relevant organisations such as the US Food and Drug Administration (FDA) and the UK Medicines and Healthcare products Regulatory Agency (MHRA). We found 50 systematic reviews, RCTs, or observational studies that met our inclusion criteria. We performed a GRADE evaluation of the quality of evidence for interventions. In this systematic review, we present information relating to the effectiveness and safety of the following interventions: acupuncture; amitriptyline; analgesics; anticonvulsant drugs; benzodiazepines; botulinum toxin; chiropractic and osteopathic manipulations; cognitive behavioural therapy (CBT); Indian head massage; mirtazapine; relaxation and electromyographic biofeedback; selective serotonin reuptake inhibitor antidepressants (SSRIs); and tricyclic antidepressants (other than amitriptyline).

  15. Personality and personal network type

    NARCIS (Netherlands)

    Doeven-Eggens, Lilian; De Fruyt, Filip; Hendriks, A. A. Jolijn; Bosker, Roel J.; Van der Werf, Margaretha P. C.

    2008-01-01

    The association between personality and personal relationships is mostly studied within dyadic relationships. We examined these variables within the context of personal network types. We used Latent Class Analysis to identify groups Of Students with similar role relationships with three focal

  16. Standard types of regulation loops; Chaines de regulation types

    Energy Technology Data Exchange (ETDEWEB)

    Bertrand, M. [ENSAM, Centre d`Enseignement et de Recherche de Lille, 59 - Lille (France)

    1997-12-01

    The aim of this paper is to give help in the analysis of industrial regulation problems using different types of real installations. The increasing complexity of industrial systems requires the use of a decomposition-recomposition procedure using a scheme with different blocs. Examples are given to help the non-specialist users in the mastery of essential choices and in the distinction between operational and material separations. The examples concern: the heating loop of a central heating installation, the sensors and actuators of industrial systems (the temperature regulation of a tubular furnace, the electro-hydraulic positioning systems used in machine tools, forming, aeronautics etc.., the regulation of a mixing system for hot and cold fluids, and the regulation of a fluidizing system. The usual types of regulation loops are presented with the different steps of the resolution of a regulation problem. (J.S.) 7 refs.

  17. An Imperative Type Hierarchy with Partial Products

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Schmidt, Erik Meineche

    1989-01-01

    A type hierarchy for a programming language defines an ordering on the types such that any application for small types may be reused for all larger types. The imperative facet makes this non-trivial; the straight-forward definitions will yield an inconsistent system. We introduce a new type...... constructor, the partial product, and show how to define a consistent hierarchy in the context of fully recursive types. A simple polymorphism is derived by introducing a notion of placeholder types. By extending the partial product types to include structural invariants we obtain a particularly appropriate...... notation for defining recursive types, that is superior to traditional type sums and products. We show how the ordering on types extends to an ordering on types with invariants. We allow the use of least upper bounds in type definitions and show how to compute upper bounds of invariants....

  18. Life history types and strategies

    DEFF Research Database (Denmark)

    Boel, Mikkel

    strategies and types in migratory freshwater fish, using brown trout and alewife as study organisms. Firstly, we investigated underlying mechanisms of resident and migratory life history strategies of salmonids, using indicators for nutritional status, stress, tissue damage and smoltification. Secondly......, avian predation pressure on the groups with different life history strategies was explored in their respective habitats. Thirdly, we demonstrated that the life history type of alewives, through regulation of zooplankton availability, influence the ontogeny of concurrent largemouth bass. Finally, a field...... study approach was used to evaluate the effect of PIT tagging on body condition of brown trout. Within a salmonid population several life history strategies can be found, each of which involves variations in migration and residency. Migratory life history strategies are often viewed as an adaptive...

  19. Type IV Wind Turbine Model

    DEFF Research Database (Denmark)

    Hansen, Anca Daniela; Margaris, Ioannis D.

    project to be incorporated in the wind power plant level. This document describes the Type 4 wind turbine simulation model, implemented in the EaseWind project. The implemented wind turbine model is one of the initial necessary steps toward integrating new control services in the wind power plant level....... In the project, this wind turbine model will be further incorporated in a wind power plant model together with the implementation in the wind power control level of the new control functionalities (inertial response, synchronising power and power system damping). For this purpose an aggregate wind power plant...... (WPP) will be considered. The aggregate WPP model, which will be based on the upscaling of the individual wind turbine model on the electrical part, will make use of an equivalent wind speed. The implemented model follows the basic structure of the generic standard Type 4 wind turbine model proposed...

  20. Phacomatosis pigmentovascularis of cesioflammea type*

    Science.gov (United States)

    Villarreal, Delky Johanna Villarreal; Leal, Fabiano

    2016-01-01

    Phacomatosis pigmentovascularis is a rare syndrome, defined as the simultaneous presence of vascular nevus and melanocytic nevus in the same patient. We report the case of a 53-year-old woman presented with dermal melanosis and extensive vascular nevus, which match the typical manifestations of phakomatosis pigmetovascularis of cesioflammea type, according to Happle's classification. The rare occurrence of this genodermatosis and the clinical exuberance of the skin lesions motivated this case report. PMID:28300894

  1. Screening for type 2 diabetes

    OpenAIRE

    Rutten, G E H M

    1999-01-01

    Summary and comment: Original articles: Diabetic patients detected by population-based stepwise screening already have a diabetic cardiovascular risk profile. Spijkerman AMW, Adriaanse MC, Dekker JM, Nijpels G, Stehouwer CDA, Bouter LM, Heine RJ. Diabetes Care 2002; 25(10): 1784–9. Screening for Type 2 diabetes — should it be now? Borch-Johnsen K, Lauritzen T, Glümer C, Sandbæk A. Diabetic Med 2003; 20(3): 175–81.

  2. Repair Types, Procedures - Part 1

    Science.gov (United States)

    2010-05-01

    New Jersey, USA. Repair Types, Procedures – Part I RTO-EN-AVT-156 9 - 19 [5] Drieker R, Botello C, MacBeth S, and Grody J, “Aircraft Battle... MacBeth S, and Grody J, “Aircraft Battle Damage Assessment and Repair (ABDAR), Vol. III: Field Test Report,” AFRL-HE-WP-TR-2002-0039, July 2000. [8

  3. Genetics of Type 2 diabetes

    DEFF Research Database (Denmark)

    Andersen, Mette Korre; Pedersen, Casper-Emil Tingskov; Moltke, Ida

    2016-01-01

    Type 2 diabetes (T2D) affects millions of people worldwide. Improving the understanding of the underlying mechanisms and ultimately improving the treatment strategies are, thus, of great interest. To achieve this, identification of genetic variation predisposing to T2D is important. A large number...... of complex disease variants and describe their contributions to the understanding of the genetics of T2D. © 2016, Springer Science+Business Media New York....

  4. Pavement Marking Types and Application.

    Science.gov (United States)

    1991-07-01

    7540-01-280-5500 Standard Form 298 (Rev 2-89) Prescr:bed by ANSI Sid 139-18 298- 102 PREFACF This project was sponsored by the Headquarters, US Army...they are the cost and performance standard used to compare all other marking types. 17. There are several methods that may be employed to classify...rubber base which is usually a chlorinated rubber, drying oil varnish or modified alkyd known as oleoresin , and water based materials (US Department

  5. HLA typing in actinic prurigo.

    Science.gov (United States)

    Sheridan, D P; Lane, P R; Irvine, J; Martel, M J; Hogan, D J

    1990-06-01

    Thirty-two actinic prurigo patients of Cree ancestry underwent human lymphocyte antigen (HLA) typing and were compared with 32 control subjects of Cree ancestry. We found a significantly increased frequency of HLA-A24 and Cw4 antigens and a significant decrease in the frequency of the A3 antigen in actinic prurigo patients. These HLA associations may be helpful in determining whether actinic prurigo is a distinct disease or a variant of polymorphous light eruption.

  6. Session Types in Abelian Logic

    Directory of Open Access Journals (Sweden)

    Yoichi Hirai

    2013-12-01

    Full Text Available There was a PhD student who says "I found a pair of wooden shoes. I put a coin in the left and a key in the right. Next morning, I found those objects in the opposite shoes." We do not claim existence of such shoes, but propose a similar programming abstraction in the context of typed lambda calculi. The result, which we call the Amida calculus, extends Abramsky's linear lambda calculus LF and characterizes Abelian logic.

  7. Productive vocabulary across discourse types.

    Science.gov (United States)

    Fergadiotis, Gerasimos; Wright, Heather Harris; Capilouto, Gilson J

    2011-01-10

    AIMS: The goals of the study were (a) to examine the effect of discourse type on lexical diversity by testing whether there are significant differences among language samples elicited using four discourse tasks (procedures, eventcasts, story telling, and recounts); and (b) to assess the extent to which age influences lexical diversity when different types of discourse are elicited. METHODS #ENTITYSTARTX00026; PROCEDURES: A total of 86 cognitively healthy adults participated in the study and comprised two groups - young adults (20-29 years old) and older adults (70-89 years old). Participants completed the discourse tasks and their language samples were analysed using dedicated software (voc-D) to obtain estimates of their lexical diversity. OUTCOMES #ENTITYSTARTX00026; RESULTS: A mixed 2 × 4 ANOVA was conducted and followed by an investigation of simple main effects. A lexical diversity hierarchy was established that was similar for both age groups. The study also uncovered age-related differences that were evident when the stimuli were verbally presented but were eliminated when the language samples were elicited using pictorial stimuli. CONCLUSIONS: Results indicated that lexical diversity is one of the microlinguistic indices that are influenced by discourse type and age, a finding that carries important methodological implications. Future investigations are warranted to explore the patterns of lexical diversity in individuals with neurogenic language disorders and assess the clinical utility of measures of lexical diversity.

  8. Exercise and Type 2 Diabetes

    Science.gov (United States)

    Colberg, Sheri R.; Sigal, Ronald J.; Fernhall, Bo; Regensteiner, Judith G.; Blissmer, Bryan J.; Rubin, Richard R.; Chasan-Taber, Lisa; Albright, Ann L.; Braun, Barry

    2010-01-01

    Although physical activity (PA) is a key element in the prevention and management of type 2 diabetes, many with this chronic disease do not become or remain regularly active. High-quality studies establishing the importance of exercise and fitness in diabetes were lacking until recently, but it is now well established that participation in regular PA improves blood glucose control and can prevent or delay type 2 diabetes, along with positively affecting lipids, blood pressure, cardiovascular events, mortality, and quality of life. Structured interventions combining PA and modest weight loss have been shown to lower type 2 diabetes risk by up to 58% in high-risk populations. Most benefits of PA on diabetes management are realized through acute and chronic improvements in insulin action, accomplished with both aerobic and resistance training. The benefits of physical training are discussed, along with recommendations for varying activities, PA-associated blood glucose management, diabetes prevention, gestational diabetes mellitus, and safe and effective practices for PA with diabetes-related complications. PMID:21115758

  9. A Data Type for Efficient Representation of Other Data Types

    Science.gov (United States)

    James, Mark

    2008-01-01

    A self-organizing, monomorphic data type denoted a sequence has been conceived to address certain concerns that arise in programming parallel computers. A sequence in the present sense can be regarded abstractly as a vector, set, bag, queue, or other construct. Heretofore, in programming a parallel computer, it has been necessary for the programmer to state explicitly, at the outset, what parts of the program and the underlying data structures must be represented in parallel form. Not only is this requirement not optimal from the perspective of implementation; it entails an additional requirement that the programmer have intimate understanding of the underlying parallel structure. The present sequence data type overcomes both the implementation and parallel structure obstacles. In so doing, the sequence data type provides unified means by which the programmer can represent a data structure for natural and automatic decomposition to a parallel computing architecture. Sequences exhibit the behavioral and structural characteristics of vectors, but the underlying representations are automatically synthesized from combinations of programmers advice and execution use metrics. Sequences can vary bidirectionally between sparseness and density, making them excellent choices for many kinds of algorithms. The novelty and benefit of this behavior lies in the fact that it can relieve programmers of the details of implementations. The creation of a sequence enables decoupling of a conceptual representation from an implementation. The underlying representation of a sequence is a hybrid of representations composed of vectors, linked lists, connected blocks, and hash tables. The internal structure of a sequence can automatically change from time to time on the basis of how it is being used. Those portions of a sequence where elements have not been added or removed can be as efficient as vectors. As elements are inserted and removed in a given portion, then different methods are

  10. Genetics Home Reference: type 1 diabetes

    Science.gov (United States)

    ... Home Health Conditions Type 1 diabetes Type 1 diabetes Printable PDF Open All Close All Enable Javascript to view the expand/collapse boxes. Description Type 1 diabetes is a disorder characterized by abnormally high blood ...

  11. Genetics Home Reference: mucopolysaccharidosis type I

    Science.gov (United States)

    ... Home Health Conditions mucopolysaccharidosis type I mucopolysaccharidosis type I Printable PDF Open All Close All Enable Javascript ... view the expand/collapse boxes. Description Mucopolysaccharidosis type I (MPS I) is a condition that affects many ...

  12. Genetics Home Reference: trichorhinophalangeal syndrome type I

    Science.gov (United States)

    ... Conditions trichorhinophalangeal syndrome type I trichorhinophalangeal syndrome type I Printable PDF Open All Close All Enable Javascript ... the expand/collapse boxes. Description Trichorhinophalangeal syndrome type I (TRPS I) is a condition that causes bone ...

  13. Take Steps to Prevent Type 2 Diabetes

    Science.gov (United States)

    ... En español Take Steps to Prevent Type 2 Diabetes Browse Sections The Basics Overview Types of Diabetes ... 1 of 9 sections The Basics: Types of Diabetes What is diabetes? Diabetes means you have glucose ( ...

  14. Foundations of Session Types and Behavioural Contracts

    DEFF Research Database (Denmark)

    Huttel, Hans; Lanese, Ivan; Vasconcelos, Vasco

    2016-01-01

    Behavioural type systems, usually associated to concurrent or distributed computations, encompass concepts such as interfaces, communication protocols, and contracts, in addition to the traditional input/output operations. The behavioural type of a software component specifies its expected patterns...... of interaction using expressive type languages, so types can be used to determine automatically whether the component interacts correctly with other components. Two related important notions of behavioural types are those of session types and behavioural contracts. This article surveys the main accomplishments...

  15. New type A dissection after acute type B aortic dissection.

    Science.gov (United States)

    Charlton-Ouw, Kristofer M; Sandhu, Harleen K; Leake, Samuel S; Miller, Charles C; Afifi, Rana O; Azizzadeh, Ali; Estrera, Anthony L; Safi, Hazim J

    2017-08-17

    Aortic dissection is a dynamic process that can progress both proximal and distal to the initial entry tear. We sought to determine associations for development of proximal progression or new type A aortic dissection (NTAD) after acute type B dissection (ATBD) and its effect on survival of the patient. We reviewed all cases of acute aortic dissection that we managed from 1999 to 2014. Univariate and bivariate analyses were performed to identify correlates of NTAD. Multivariable regression and proportional hazards regression analysis was done to determine the effect of dissection progression on long-term survival. Among 477 cases of ATBD managed, 19 (4.0%) patients developed NTAD during a median follow-up of 4.1 (interquartile range, 1.4-7.7) years. Median time from diagnosis of ATBD to NTAD was 124 (interquartile range, 23-1201) days. Baseline predictors for development of NTAD at initial ATBD admission included bicuspid aortic valve (P = .006) and age natural history of ATBD is such that there is a persistent risk of NTAD, with the highest risk in the first 6 months. Factors associated with NTAD include bicuspid aortic valve and young age. Thoracic endovascular aortic repair did not have a large effect on risk. Timely diagnosis and repair of NTAD are associated with good survival rates. Lifelong surveillance is warranted in all cases of descending thoracic aortic dissection regardless of initial treatment modality. Published by Elsevier Inc.

  16. Recent Concepts of Ovarian Carcinogenesis: Type I and Type II

    Directory of Open Access Journals (Sweden)

    Masafumi Koshiyama

    2014-01-01

    Full Text Available Type I ovarian tumors, where precursor lesions in the ovary have clearly been described, include endometrioid, clear cell, mucinous, low grade serous, and transitional cell carcinomas, while type II tumors, where such lesions have not been described clearly and tumors may develop de novo from the tubal and/or ovarian surface epithelium, comprise high grade serous carcinomas, undifferentiated carcinomas, and carcinosarcomas. The carcinogenesis of endometrioid and clear cell carcinoma (CCC arising from endometriotic cysts is significantly influenced by the free iron concentration, which is associated with cancer development through the induction of persistent oxidative stress. A subset of mucinous carcinomas develop in association with ovarian teratomas; however, the majority of these tumors do not harbor any teratomatous component. Other theories of their origin include mucinous metaplasia of surface epithelial inclusions, endometriosis, and Brenner tumors. Low grade serous carcinomas are thought to evolve in a stepwise fashion from benign serous cystadenoma to a serous borderline tumor (SBT. With regard to high grade serous carcinoma, the serous tubal intraepithelial carcinomas (STICs of the junction of the fallopian tube epithelium with the mesothelium of the tubal serosa, termed the “tubal peritoneal junction” (TPJ, undergo malignant transformation due to their location, and metastasize to the nearby ovary and surrounding pelvic peritoneum. Other theories of their origin include the ovarian hilum cells.

  17. A Simple Solution to Type Specialization

    DEFF Research Database (Denmark)

    Danvy, Olivier

    1998-01-01

    Partial evaluation specializes terms, but traditionally this specialization does not apply to the type of these terms. As a result, specializing, e.g., an interpreter written in a typed language, which requires a “universal” type to encode expressible values, yields residual programs with type tags...... all over. Neil Jones has stated that getting rid of these type tags was an open problem, despite possible solutions such as Torben Mogensen's “constructor specialization.” To solve this problem, John Hughes has proposed a new paradigm for partial evaluation, “Type Specialization”, based on type...... inference instead of being based on symbolic interpretation. Type Specialization is very elegant in principle but it also appears non-trivial in practice. Stating the problem in terms of types instead of in terms of type encodings suggests a very simple type-directed solution, namely, to use a projection...

  18. A simple solution to type specialization

    DEFF Research Database (Denmark)

    Danvy, Olivier

    1998-01-01

    Partial evaluation specializes terms, but traditionally this specialization does not apply to the type of these terms. As a result, specializing, e.g., an interpreter written in a typed language, which requires a “universal” type to encode expressible values, yields residual programs with type tags...... all over. Neil Jones has stated that getting rid of these type tags was an open problem, despite possible solutions such as Torben Mogensen's “constructor specialization.” To solve this problem, John Hughes has proposed a new paradigm for partial evaluation, “Type Specialization”, based on type...... inference instead of being based on symbolic interpretation. Type Specialization is very elegant in principle but it also appears non-trivial in practice. Stating the problem in terms of types instead of in terms of type encodings suggests a very simple type-directed solution, namely, to use a projection...

  19. Wheel-type magnetic refrigerator

    Science.gov (United States)

    Barclay, J.A.

    1982-01-20

    The disclosure is directed to a wheel-type magnetic refrigerator capable of cooling over a large temperature range. Ferromagnetic or paramagnetic porous materials are layered circumferentially according to their Curie temperature. The innermost layer has the lowest Curie temperature and the outermost layer has the highest Curie temperature. The wheel is rotated through a magnetic field perpendicular to the axis of the wheel and parallel to its direction of rotation. A fluid is pumped through portions of the layers using inner and outer manifolds to achieve refrigeration of a thermal load.

  20. Barn og diabetes type 1

    OpenAIRE

    Ramstad, Marte Elise; Sagbakken, Sina Bekkelund

    2017-01-01

    Bacheloroppgave sykepleie, 2017 Bakgrunn: Vi har valgt denne problemstillingen fordi diabetes type 1 er svært utbredt hos barn i Norge. Videre har vi lite erfaringer med barn og ønsket å lære mer om denne pasientgruppen. Vi ønsket videre å se på hvordan vi kan undervise og veilede for å gi god og hensiktsmessig sykepleie til barn og deres familier. Hensikt: Finne ut hvordan sykepleier kan fremme egenomsorg hos barn med diabetes gjennom veiledning og undervisning. Dette er noe som sykepl...

  1. [Femicides: concepts, types and scenarios].

    Science.gov (United States)

    Meneghel, Stela Nazareth; Portella, Ana Paula

    2017-09-01

    This text is a theoretical essay that discusses the concepts, types and scenarios of feminicides, and presents some proposals for the prevention of these premature, unjust and avoidable deaths. The text revisits the original concept of femicide proposed by Diana Russell and Jane Caputti and shows new and old scenarios where these crimes occur. It points to patriarchy, understood as being a hierarchical system of power between men and women, as one of the main determinants of these deaths. It ends by presenting actions and proposals to prevent and combat these gender crimes.

  2. Gulf and Dilmun Type seals

    DEFF Research Database (Denmark)

    Laursen, Steffen

    2011-01-01

    From around 2100 BC a glyptic tradition emerges in the Arabian Gulf, which is dependant on the well-established schools of the Indus Valley seal cutters. These circular hybrids of classic Harappan seals rapidly became popular amongst the merchants of Dilmun, centered on Bahrain Island. At first...... these Gulf Type‘ seals drew heavily on Indus Valley iconography and Indus script was occasionally employed in a pidgin-like manner. While the earliest circular seals incorporate features from Mesopotamian glyptic only to a lesser extent, this becomes a more important source of inspiration for later Dilmun...... Type seals....

  3. Type B Hepatitis in Iran

    Directory of Open Access Journals (Sweden)

    M. Tabarestani

    1977-01-01

    Full Text Available Hepatitis B surface antigen CHBsAg was found in 1% of controls, 2.1% of professional blood donors, 2.0% of leprosy patients and 76.1% of acute hepatitis in Tehran and Mashhad, Iran. All HBsAg positive samples also possessed antibody to the hepatitis B core antigen and all were subtype ayw. Type B hepatitis and the HBsAg state aloe frequent in Iran, but most must be accounted for by u nonparenter- al" or "rnapparent'' parenteral exposure.

  4. Infrastructure: concept, types and value

    Directory of Open Access Journals (Sweden)

    Alexander E. Lantsov

    2013-01-01

    Full Text Available Researches of influence of infrastructure on the economic growth and development of the countries gained currency. However the majority of authors drop the problem of definition of accurate concept of studied object and its criteria out. In the given article various approaches in the definition of «infrastructure» concept, criterion and the characteristics of infrastructure distinguishing it from other capital assets are presented. Such types of infrastructure, as personal, institutional, material, production, social, etc. are considered. Author’s definition of infrastructure is given.

  5. Craniometadiaphyseal dysplasia, wormian bone type.

    Science.gov (United States)

    Santolaya, J M; Hall, C M; García-Miñaur, S; Delgado, A

    1998-05-18

    We report on a 4-year-old boy with craniometadiaphyseal dysplasia (CMDD), wormian bone type. Component manifestations include a large head with prominent forehead, skull changes showing multiple wormian bones, wide long tubular bones without the usual metaphyseal flare, wide and short tubular bones without the normal diaphyseal constriction, and wide ribs and clavicles. In addition to these findings, the propositus, his brother, his father, and a paternal aunt all have parietal protuberances, which seem not related to CMDD. Parental consanguineity supports the autosomal recessive transmission of the condition.

  6. Moment Distributions of Phase Type

    DEFF Research Database (Denmark)

    Bladt, Mogens; Nielsen, Bo Friis

    In this paper we prove that the class of distributions on the positive reals with a rational Laplace transform, also known as matrix-exponential distributions, is closed under formation of moment distributions. In particular, the results are hence valid for the well known class of phase-type dist......In this paper we prove that the class of distributions on the positive reals with a rational Laplace transform, also known as matrix-exponential distributions, is closed under formation of moment distributions. In particular, the results are hence valid for the well known class of phase...

  7. Understanding Alignment of Trust Behaviors and Their Effect on Organizational Trust at the Tank-Automotive and Armaments Command Life Cycle Management Command (TACOM LCMC)

    Science.gov (United States)

    2013-03-20

    trust, organizational commitment and personal need non-fulfillment. Journal of Occupational Psychology , 53, 39-52. Covey, S. M. (2006). The speed...L., & Perles, G. S. M. (2011). Towards a more humanistic understanding of organizational trust. Journal of Management Development, 30(6), 605- 614

  8. Stereotactic Radiosurgery for Type 1 versus Type 2 Trigeminal Neuralgias.

    Science.gov (United States)

    Chen, Ching-Jen; Paisan, Gabriella; Buell, Thomas J; Knapp, Kristen; Ding, Dale; Xu, Zhiyuan; Raper, Daniel M; Taylor, Davis G; Dallapiazza, Robert F; Lee, Cheng-Chia; Sheehan, Jason P

    2017-12-01

    It remains unclear whether stereotactic radiosurgery (SRS) offers the same benefit for patients with type 2 trigeminal neuralgia (TN2) as for those with type 1 trigeminal neuralgia (TN1). The objective of this study is to compare the outcomes of patients with TN1 and TN2 after SRS. SRS outcomes of patients with trigeminal neuralgia treated at a single center from 1994 to 2016 were analyzed. Patients with TN1 were matched to those with TN2 in a 1:1 ratio based on sex, age, pretreatment Barrow Neurological Institute (BNI) pain score, previous treatment, previous facial numbness, and maximum dose. The primary outcome was defined as a BNI pain score of ≤3. The matched TN1 and TN2 cohorts each comprised 56 patients. There were no differences in BNI pain scores at last follow-up, new/worse facial numbness, or pain recurrence, or time to recurrence. Time to initial pain relief after SRS was longer for patients with TN2 (5.4 vs. 4.4 months; P = 0.0016). Actuarial initial pain relief rates were 75%, 90%, and 90% for TN1 and 47%, 77%, and 87% for TN2 at 5, 10, and 15 months, respectively. Actuarial pain relief maintenance rates were 72%, 67%, and 52% for TN1 and 53%, 32%, and 32% for TN2 at 1, 2, and 3 years, respectively. SRS offers similar rates of initial pain relief, pain score distribution, pain recurrence, and time to pain recurrence between patients with TN1 and TN2. The time to initial pain relief was longer for patients with TN2. Copyright © 2017 Elsevier Inc. All rights reserved.

  9. Characterizing Optical Loss in Orientation Patterned III-V Materials using Laser Calorimetry

    Science.gov (United States)

    2014-03-27

    32 Figure 15: Sample mount used for calorimetry experiment.. .......................................... 34 Figure 16: Styrofoam box enclosure...Page Figure 17: Proof of thermal insulation provided by the Styrofoam box...

  10. Types of Leader in Organisation

    Directory of Open Access Journals (Sweden)

    Marian Aurelian Bârgău

    2015-05-01

    Full Text Available Besides leading theories of people in one way or another from different angles reveal the types of leaders who can meet in business management literature contains classifications of management styles, which take into account different criteria or viewpoints. The word “leadership‟ has been used in various aspects of human endeavor such as politics, businesses, academics, social works, etc. Previous views about leadership show it as personal ability. The individual leader traits depend not only on personal abilities and his characteristics, but in special on the characteristics of the situation and environment in which he finds himself. People could become members of an organization in other to achieve certain personal objectives, the extent to which they are active members depends on how they are convinced that their membership will enable them to achieve their predetermined objectives. The leader will support an organization if he believes that through it his personal objectives and goals could be met otherwise the person’s interest will decline. The type leader or style of leading in an organization is one of the factors that play significant role in enhancing or retarding the interest and commitment of the individuals in the organization.

  11. Rapid typing of Coxiella burnetii.

    Directory of Open Access Journals (Sweden)

    Heidie M Hornstra

    Full Text Available Coxiella burnetii has the potential to cause serious disease and is highly prevalent in the environment. Despite this, epidemiological data are sparse and isolate collections are typically small, rare, and difficult to share among laboratories as this pathogen is governed by select agent rules and fastidious to culture. With the advent of whole genome sequencing, some of this knowledge gap has been overcome by the development of genotyping schemes, however many of these methods are cumbersome and not readily transferable between institutions. As comparisons of the few existing collections can dramatically increase our knowledge of the evolution and phylogeography of the species, we aimed to facilitate such comparisons by extracting SNP signatures from past genotyping efforts and then incorporated these signatures into assays that quickly and easily define genotypes and phylogenetic groups. We found 91 polymorphisms (SNPs and indels among multispacer sequence typing (MST loci and designed 14 SNP-based assays that could be used to type samples based on previously established phylogenetic groups. These assays are rapid, inexpensive, real-time PCR assays whose results are unambiguous. Data from these assays allowed us to assign 43 previously untyped isolates to established genotypes and genomic groups. Furthermore, genotyping results based on assays from the signatures provided here are easily transferred between institutions, readily interpreted phylogenetically and simple to adapt to new genotyping technologies.

  12. Molecular Typing of Borrelia burgdorferi

    Science.gov (United States)

    Wang, Guiqing; Liveris, Dionysios; Mukherjee, Priyanka; Jungnick, Sabrina; Margos, Gabriele; Schwartz, Ira

    2015-01-01

    Borrelia burgdorferi sensu lato is a group of spirochetes belonging to the genus Borrelia in the family of Spirochaetaceae. The spirochete is transmitted between reservoirs and hosts by ticks of the family Ixodidae. Infection with B. burgdorferi in humans causes Lyme disease or Lyme borreliosis. Currently, 20 Lyme disease-associated Borrelia species and more than 20 relapsing fever-associated Borrelia species have been described. Identification and differentiation of different Borrelia species and strains is largely dependent on analyses of their genetic characteristics. A variety of molecular techniques have been described for Borrelia isolate speciation, molecular epidemiology, and pathogenicity studies. In this unit, we focus on three basic protocols, PCR-RFLP-based typing of the rrs-rrlA and rrfA-rrlB ribosomal spacer, ospC typing, and MLST. These protocols can be employed alone or in combination for characterization of B. burgdorferi isolates or directly on uncultivated organisms in ticks, mammalian host reservoirs, and human clinical specimens. PMID:25082003

  13. Autoimmune Polyglandular Syndrome Type 1

    Directory of Open Access Journals (Sweden)

    Vedeswari C Ponranjini

    2012-01-01

    Full Text Available Autoimmune Polyglandular Syndrome (APS Type 1 is a rare hereditary disorder that damages organs in the body. This disease entity is the result of a mutation in the AIRE gene. It is characterized by three classic clinical features - hypoparathyroidism, Addison′s disease, and chronic mucocutaneous candidiasis. For a patient to be diagnosed as having APS Type 1 syndrome at least two of these features needs to be present. The third entity may develop as the disease progresses. We report a case of a 35-year-old female patient with a history of seizure from the age of 11 years, who was managed with anticonvulsant drugs. With worsening of the seizure episodes, patient was diagnosed to have hypoparathyroidism together with the manifestations of oral candidiasis, nails dystrophy, enamel hypoplasia, and hypogonadism. A diagnosis of APS-1 was considered. The facility for genetic analysis of the AIRE gene mutation was not accessible, as the test costs were prohibitive and not affordable for the patient. Patient management was directed to treating individual disease components. However, cerebral and dental changes were irreversible.

  14. Personality types in academic medicine.

    Science.gov (United States)

    Wallick, M M; Cambre, K M

    1999-07-01

    Based on Swiss physician-scholar Carl G. Jung's theory of psychological types proposed in the 1920s, Kathleen Cook Briggs and her daughter Isabel Briggs Myers developed the Myers-Briggs Type Indicator (MBTI) three decades later. They applied Jung's dynamic theory to determine how persons take in information, make decisions, and communicate thoughts and feelings. Medical students were of special interest to their research and much has been written since then about the use of the MBTI in medicine. In this study, results of MBTIs administered to 1797 freshmen students at Louisiana State University School of Medicine--New Orleans from 1988 to 1998 are compared with those reported by the MBTI developers and others over the years and throughout the United States. Findings indicate some noteworthy shifts in the psychological profile of medical students over time and among schools that may be due to changes in the delivery of health care, the increase in technology in the practice of medicine, and the dramatic increase of women in medicine.

  15. Microseismic sources of rotational type

    Science.gov (United States)

    Pasternak, Elena; Dyskin, Arcady; He, Junxian

    2017-04-01

    Traditionally the sources of seismic and microseismic events are related to shear fractures. The analysis of the seismic moment tensors of the sources associated with rock fracturing and hydraulic fracturing in the laboratory experiments and in-situ reveals that while there exist tensile and compressive sources, the shear sources prevail. The appearance of multiple shear sources, accompanied rock fracturing contradicts the results of the direct experiments suggesting that the rock as well as other materials not exhibiting clear plastic flow fail in tension. This contradiction is conventionally resolved by assuming the presence of multiple pre-existing shear fractures (faults or microfaults) whose sudden sliding provides microseismic events of shear type. We consider alternative mechanisms associated with bending of links between rotating particles and fragments of geomaterial and bending of bridges connecting opposite sides of hydraulic fractures. In both cases the fracturing is caused by the action of moments (or moment stresses) leading to bending, while at microscale the failure is associated with tensile microstresses leading to formation of tensile microcracks. In other words, at microscale the moment-related failure is failure in tension, as routinely observed in materials even in compression. It is easy to demonstrate that from a distance the sources of rotational type are equivalent to a standard double couple, similar to the one associated with shear fracturing. In other words what is currently interpreted as shear microseismic sources can in fact be rotational sources. This calls for new methods of detecting and interpreting microseismic sources; some possible methods are discussed.

  16. 7 CFR 51.2734 - Spanish type.

    Science.gov (United States)

    2010-01-01

    ... 7 Agriculture 2 2010-01-01 2010-01-01 false Spanish type. 51.2734 Section 51.2734 Agriculture... Standards for Grades of Shelled Spanish Type Peanuts Definitions § 51.2734 Spanish type. Spanish type means peanuts of varieties which belong to the Spanish classification group and which are free from kernels of...

  17. 14 CFR 21.31 - Type design.

    Science.gov (United States)

    2010-01-01

    ... 14 Aeronautics and Space 1 2010-01-01 2010-01-01 false Type design. 21.31 Section 21.31... PROCEDURES FOR PRODUCTS AND PARTS Type Certificates § 21.31 Type design. The type design consists of— (a) The... configuration and the design features of the product shown to comply with the requirements of that part of this...

  18. 46 CFR 164.015-2 - Types.

    Science.gov (United States)

    2010-10-01

    ... 46 Shipping 6 2010-10-01 2010-10-01 false Types. 164.015-2 Section 164.015-2 Shipping COAST GUARD... APPROVAL MATERIALS Plastic Foam, Unicellular, Buoyant, Sheet and Molded Shape § 164.015-2 Types. (a..., polymer or copolymer plastic foam shall be of three types as follows: Type A—for life preservers, buoyant...

  19. Psychological Types of Academically Gifted Adolescents

    Science.gov (United States)

    Cross, Tracy L.; Neumeister, Kristie L. Speirs; Cassady, Jerrell C.

    2007-01-01

    This study provides descriptive information about the psychological types of a sample of 931 gifted adolescents who attended a public residential academy. Psychological types are assessed with the Myers-Briggs Type Indicator (MBTI). The MBTI reports on four pairs of personality types: Extraversion/Introversion (E/I), Sensing/Intuition (S/N),…

  20. Types and concept analysis for legacy systems

    NARCIS (Netherlands)

    T. Kuipers (Tobias); L.M.F. Moonen (Leon)

    2000-01-01

    textabstractWe combine type inference and concept analysis in order to gain insight into legacy software systems. Type inference for Cobol yields the types for variables and program parameters. These types are used to perform mathematical concept analysis on legacy systems. We have developed

  1. Polymorphic Endpoint Types for Copyless Message Passing

    Directory of Open Access Journals (Sweden)

    Viviana Bono

    2011-07-01

    Full Text Available We present PolySing#, a calculus that models process interaction based on copyless message passing, in the style of Singularity OS. We equip the calculus with a type system that accommodates polymorphic endpoint types, which are a variant of polymorphic session types, and we show that well-typed processes are free from faults, leaks, and communication errors. The type system is essentially linear, although linearity alone may leave room for scenarios where well-typed processes leak memory. We identify a condition on endpoint types that prevents these leaks from occurring.

  2. Quantum games as quantum types

    Science.gov (United States)

    Delbecque, Yannick

    In this thesis, we present a new model for higher-order quantum programming languages. The proposed model is an adaptation of the probabilistic game semantics developed by Danos and Harmer [DH02]: we expand it with quantum strategies which enable one to represent quantum states and quantum operations. Some of the basic properties of these strategies are established and then used to construct denotational semantics for three quantum programming languages. The first of these languages is a formalisation of the measurement calculus proposed by Danos et al. [DKP07]. The other two are new: they are higher-order quantum programming languages. Previous attempts to define a denotational semantics for higher-order quantum programming languages have failed. We identify some of the key reasons for this and base the design of our higher-order languages on these observations. The game semantics proposed in this thesis is the first denotational semantics for a lambda-calculus equipped with quantum types and with extra operations which allow one to program quantum algorithms. The results presented validate the two different approaches used in the design of these two new higher-order languages: a first one where quantum states are used through references and a second one where they are introduced as constants in the language. The quantum strategies presented in this thesis allow one to understand the constraints that must be imposed on quantum type systems with higher-order types. The most significant constraint is the fact that abstraction over part of the tensor product of many unknown quantum states must not be allowed. Quantum strategies are a new mathematical model which describes the interaction between classical and quantum data using system-environment dialogues. The interactions between the different parts of a quantum system are described using the rich structure generated by composition of strategies. This approach has enough generality to be put in relation with other

  3. Termination of dependently typed rewrite rules

    OpenAIRE

    Jouannaud, Jean-Pierre; Li, Jian-Qi

    2015-01-01

    International audience; Our interest is in automated termination proofs of higher-order rewrite rules in presence of dependent types modulo a theory T on base types. We first describe an original transformation to a type discipline without type dependencies which preserves non-termination. Since the user must reason on expressions of the transformed language, we then introduce an extension of the computability path ordering CPO for comparing dependently typed expressions named DCPO. Using the...

  4. What causes type 1 diabetes?

    DEFF Research Database (Denmark)

    Buschard, Karsten

    2011-01-01

    To study type 1 diabetes (T1D), excellent animal models exist, both spontaneously diabetic and virus-induced. Based on knowledge from these, this review focuses on the environmental factors leading to T1D, concentrated into four areas which are: (1) The thymus-dependent immune system: T1D is a T...... the T1D process, even if initiated by virus. Theoretically, the risk from immunotherapy elicits a higher frequency of malignancy. (2) The activity of the beta cells: Resting beta cells display less antigenicity and are less sensitive to immune destruction. Beta-cell rest can be induced by giving insulin...... externally in metabolic doses or by administering potassium-channel openers. Both procedures prevent T1D in animal models, whereas no good human data exist due to the risk of hypoglycemia. (3) NKT cells: According to the hygiene hypothesis, stimulation of NKT cells by non-pathogen microbes gives rise to less...

  5. Progenitors of Supernovae Type Ia

    Science.gov (United States)

    Toonen, S.; Nelemans, G.; Bours, M.; Portegies Zwart, S.; Claeys, J.; Mennekens, N.; Ruiter, A.

    2013-01-01

    Despite the significance of Type Ia supernovae (SNeIa) in many fields in astrophysics, SNeIa lack a theoretical explanation. The standard scenarios involve thermonuclear explosions of carbon/oxygen white dwarfs approaching the Chandrasekhar mass; either by accretion from a companion or by a merger of two white dwarfs. We investigate the contribution from both channels to the SNIa rate with the binary population synthesis (BPS) code SeBa in order to constrain binary processes such as the mass retention efficiency of WD accretion and common envelope evolution. We determine the theoretical rates and delay time distribution of SNIa progenitors and in particular study how assumptions affect the predicted rates.

  6. Familial colorectal cancer type X

    DEFF Research Database (Denmark)

    Dominguez-Valentin, Mev; Therkildsen, Christina; Da Silva, Sabrina

    2015-01-01

    Heredity is a major cause of colorectal cancer, but although several rare high-risk syndromes have been linked to disease-predisposing mutations, the genetic mechanisms are undetermined in the majority of families suspected of hereditary cancer. We review the clinical presentation, histopathologi...... features, and the genetic and epigenetic profiles of the familial colorectal cancer type X (FCCTX) syndrome with the aim to delineate tumor characteristics that may contribute to refined diagnostics and optimized tumor prevention.......Heredity is a major cause of colorectal cancer, but although several rare high-risk syndromes have been linked to disease-predisposing mutations, the genetic mechanisms are undetermined in the majority of families suspected of hereditary cancer. We review the clinical presentation, histopathologic...

  7. Exercise and type 2 diabetes

    DEFF Research Database (Denmark)

    Karstoft, Kristian; Pedersen, Bente Klarlund

    2016-01-01

    Type 2 diabetes mellitus (T2DM) is associated with metabolic dysregulation and chronic inflammation, and regular exercise may provide a strong stimulus for improving both. In this review, we first discuss the link between inflammation and metabolism. Next, we give an update on the clinical...... metabolic effects of exercise in T2DM patients with special focus on which parameters to consider for optimizing metabolic improvements. We then discuss the mechanisms whereby exercise exerts its anti-inflammatory and related metabolic effects. Evidence exists that interleukin (IL)-1β is involved...... in pancreatic β-cell damage, whereas tumor necrosis factor (TNF)-α appears to be a key molecule in peripheral insulin resistance. Mechanistic studies in humans suggest that moderate acute elevations in IL-6, as provoked by exercise, exert direct anti-inflammatory effects by an inhibition of TNF...

  8. Saxagliptin for type 2 diabetes

    Directory of Open Access Journals (Sweden)

    Chacra

    2010-09-01

    Full Text Available Antonio R Chacra, MDDiabetes Center, Federal University of São Paulo, BrazilAbstract: Saxagliptin (Onglyza™ is a potent, selective, once-daily dipeptidyl peptidase-4 (DPP-4 inhibitor indicated for improving glycemic control in patients with type 2 diabetes (T2D. By blocking DPP-4, saxagliptin increases and prolongs the effects of incretins, a group of peptide hormones released by intestinal cells after meals, which stimulate glucose-dependent insulin secretion to lower blood glucose. In controlled clinical trials, saxagliptin administered as monotherapy or in combination with metformin, glyburide, or a thiazolidinedione improved glycemic control in a clinically significant manner, reflected by significant decreases in glycated hemoglobin (monotherapy, -0.5%; add-on to metformin, thiazolidinedione, or sulfonylurea, -0.6% to 0.9%; initial combination with metformin, -2.5%, fasting plasma glucose, and postprandial glucose compared with controls. Additionally, saxagliptin improved β-cell function, reflected as increases in homeostasis model assessment (HOMA-2β. Saxagliptin was generally well tolerated; it did not increase hypoglycemia compared with controls, and was weight neutral. A meta-analysis of Phase II and III trials showed that saxagliptin did not increase the risk of major cardiovascular events. Professional organizations have updated their guidelines for T2D to include a DPP-4 inhibitor as an early treatment option—either as initial therapy in combination with metformin, or as add-on therapy for patients whose glycemia is inadequately controlled by a single oral antidiabetic drug.Keywords: saxagliptin, dipeptidyl peptidase-4 (DPP-4 inhibitor, type 2 diabetes

  9. [New insulin types in type 1 diabetes mellitus].

    Science.gov (United States)

    Mesa, Jordi

    2015-07-20

    Since its discovery almost a century ago, insulin remains the mainstay of treatment of patients with type 1 diabetes mellitus. Although progress in the synthesis of new formulations has been remarkable, the physiological profile of insulin is still different from that observed with preparations available nowadays. In the last decade, the introduction into clinical practice of insulin analogues has allowed significantly improvement in glycemic control and has facilitated the spread of basal/bolus patterns, the most physiological ones until now. Despite the benefits of basal analogues, glycemia often varies considerably when used as a single daily injection and this is why new molecules have been further investigated. Improvement has been achieved especially in terms of duration and rate of hypoglycemia, the main limiting factor of intensive therapy. This article reviews the available data concerning the new basal insulin analogues, degludec, pegylated lispro and glargine U300, and new formulations currently under development. Copyright © 2014 Elsevier España, S.L.U. All rights reserved.

  10. A Typeful Integration of SQL into Curry

    OpenAIRE

    Hanus, Michael; Krone, Julia

    2017-01-01

    We present an extension of the declarative programming language Curry to support the access to data stored in relational databases via SQL. Since Curry is statically typed, our emphasis on this SQL integration is on type safety. Our extension respects the type system of Curry so that run-time errors due to ill-typed data are avoided. This is obtained by preprocessing SQL statements at compile time and translating them into type-safe database access operations. As a consequence, the type ch...

  11. Puberty and type 1 diabetes

    Science.gov (United States)

    Chowdhury, Subhankar

    2015-01-01

    Various data on type 1 diabetes mellitus (T1DM) have showed that the incidence of T1DM peaks at puberty. However, diabetes control and complications could be adversely affected by the physiological changes of puberty. In early years of insulin therapy, severe growth retardation with pubertal delay, like in Mauriac syndrome, have been reported. Insulin and leptin are metabolic factors, circulating in the periphery, which participate in the hypothalamic control of metabolism and reproduction. Insulin may be an important regulator of leptin in humans. Increased levels of advanced glycation end products suppress activation of the gonadotropin-releasing hormone (GnRH) pulse generator, resulting in pubertal delay. Glycemic control deteriorates during puberty as the lean body mass doubles mainly over a period of 25 years, which increases insulin requirement. There is also an increase in insulin resistance over the period of puberty. In normal individuals, fasting and postprandial insulin concentrations reach a peak in both sexes in mid to late puberty. Puberty, at all stages, has the worst insulin resistance. It has been observed that an excessive GH secretion in T1DM during puberty has significant effects on ketogenesis. Adolescent T1DM tends to decompensate very rapidly and develop ketoacidosis when the late night insulin dose is omitted. Adolescence is a critical developmental phase that presents unique challenges and opportunities to individuals with diabetes, their families and their healthcare providers. PMID:25941652

  12. Instream Physical Habitat Modelling Types

    DEFF Research Database (Denmark)

    Conallin, John; Boegh, Eva; Krogsgaard, Jørgen

    2010-01-01

    The introduction of the EU Water Framework Directive (WFD) is providing member state water resource managers with significant challenges in relation to meeting the deadline for 'Good Ecological Status' by 2015. Overall, instream physical habitat modelling approaches have advantages and disadvanta......The introduction of the EU Water Framework Directive (WFD) is providing member state water resource managers with significant challenges in relation to meeting the deadline for 'Good Ecological Status' by 2015. Overall, instream physical habitat modelling approaches have advantages...... physical habitat models. In parametric and non-parametric regression models, model assumptions are often not satisfied and the models are difficult to transfer to other regions. Research-based methods such as the artificial neural networks and individual-based modelling have promising potential as water......-friendly and have flexible data needs. They can easily be implemented in new regions using expert information or different types of local data. Furthermore, they are easily presentable to stakeholders and have the potential to be applied over large spatial scales. Integral care must be taken in the use...

  13. Multiple endocrine neoplasia type 2.

    Science.gov (United States)

    Lodish, Maya

    2013-01-01

    Multiple endocrine neoplasia type 2 (MEN2) is an autosomal-dominant cancer syndrome characterized by variable penetrance of medullary thyroid carcinoma(MTC), pheochromocytoma (PHEO), and primary hyperparathyroidism (PHPT). MEN2 consists of two clinical subtypes, MEN2A and MEN2B. Familial medullary thyroid cancer is now viewed as a phenotypic variant of MEN2A with decreased penetrance for PHEO and PHPT rather than a distinct entity. All subtypes are caused by gain-of-function mutations of the RET proto-oncogene. Genotype-phenotype correlations exist that help predict the presence of other associated endocrine neoplasms as well as the timing of thyroid cancer development. Recognition of the clinical entity in individuals and families at risk of harboring a germline RET mutation is crucial for the management and prevention of associated malignancies. Recent guidelines released by the American Thyroid Association regarding the management of MTC will be summarized in this chapter. Copyright © 2013 S. Karger AG, Basel.

  14. Capacitor-type micrometeoroid detectors

    Science.gov (United States)

    Wortman, J. J.; Griffis, D. P.; Bryan, S. R.; Kinard, W.

    1986-01-01

    The metal oxide semiconductor (MOS) capacitor micrometeroid detector consists of a thin dielectric capacitor fabricated on a silicon wafer. In operation, the device is charged to a voltage level sufficiently near breakdown that micrometeoroid impacts will cause dielectric deformation or heating and subsequent arc-over at the point of impact. Each detector is capable of recording multiple impacts because of the self-healing characteristics of the device. Support instrumentation requirements consist of a voltage source and pulse counters that monitor the pulse of recharging current following every impact. An investigation has been conducted in which 0.5 to 5 micron diameter carbonized iron spheres traveling at velocities of 4 to 10 Km/sec were impacted on to detectors with either a dielectric thickness of 0.4 or 1.0 micron. This study demonstrated that an ion microprobe tuned to sufficiently high resolution can detect Fe remaining on the detector after the impact. Furthermore, it is also possible to resolve Fe ion images free of mass interferences from Si, for example, giving its spatial distribution after impact. Specifically this technique has shown that significant amounts of impacting particles remain in the crater and near it which can be analyzed for isotopic content. Further testing and calibration could lead to quantitive analysis. This study has shown that the capacitor type micrometeroid detector is capable of not only time and flux measurements but can also be used for isotopic analysis.

  15. Puberty and type 1 diabetes

    Directory of Open Access Journals (Sweden)

    Subhankar Chowdhury

    2015-01-01

    Full Text Available Various data on type 1 diabetes mellitus (T1DM have showed that the incidence of T1DM peaks at puberty. However, diabetes control and complications could be adversely affected by the physiological changes of puberty. In early years of insulin therapy, severe growth retardation with pubertal delay, like in Mauriac syndrome, have been reported. Insulin and leptin are metabolic factors, circulating in the periphery, which participate in the hypothalamic control of metabolism and reproduction. Insulin may be an important regulator of leptin in humans. Increased levels of advanced glycation end products suppress activation of the gonadotropin-releasing hormone (GnRH pulse generator, resulting in pubertal delay. Glycemic control deteriorates during puberty as the lean body mass doubles mainly over a period of 25 years, which increases insulin requirement. There is also an increase in insulin resistance over the period of puberty. In normal individuals, fasting and postprandial insulin concentrations reach a peak in both sexes in mid to late puberty. Puberty, at all stages, has the worst insulin resistance. It has been observed that an excessive GH secretion in T1DM during puberty has significant effects on ketogenesis. Adolescent T1DM tends to decompensate very rapidly and develop ketoacidosis when the late night insulin dose is omitted. Adolescence is a critical developmental phase that presents unique challenges and opportunities to individuals with diabetes, their families and their healthcare providers.

  16. Sugar and Type 2 diabetes.

    Science.gov (United States)

    Lean, Michael E J; Te Morenga, Lisa

    2016-12-01

    Consumption of sugar, specifically sugar-sweetened beverages, has been widely held responsible by the media for the global rise in Type 2 diabetes (T2DM). Systematic reviews and dietary guidelines relating dietary sugars to T2DM. Weight gain and T2DM incidence are associated with diet and lifestyle patterns characterized by high consumptions of any sweetened beverages. High sugar intakes impair risk factors for macrovascular complications of T2DM. Much of the association between sugars and T2DM is eliminated by adjusting data for body mass index (BMI). However, BMI adjustment does not fully account for adiposity (r 2 =0.65-0.75). Excess sugar can promote weight gain, thus T2DM, through extra calories, but has no unique diabetogenic effect at physiological levels. Ethical concerns about caffeine added to sweetened beverages, undetectable by consumers, to increase consumption. Evidence needed for limiting dietary sugar below 10% energy intake. © The Author 2016. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permissions@oup.com.

  17. Swift-Hohenberg-type model

    Science.gov (United States)

    Oza, Anand; Dunkel, Joern

    Recent experiments from the Zvonimir Dogic Lab (Brandeis University) demonstrated that ATP-driven microtubule-kinesin bundles can self-assemble into two-dimensional active liquid crystals that exhibit a rich creation and annihilation dynamics of topological defects, reminiscent of particle-pair production processes in quantum systems. This remarkable discovery has sparked considerable theoretical and experimental interest. Here, we present and validate a minimal continuum theory for this new class of active matter systems by modifying the classical Landau-de Gennes theory for liquid crystals, obtaining a tensorial Swift-Hohenberg-type PDE. We simulate the resulting model numerically and develop an algorithm for tracking topological defects. We find that the resulting model agrees quantitatively with recently published data and predicts a regime of antipolar defect ordering. Ordered states go unstable as the activity parameter is increased, yet the chaotic defect dynamics still exhibit local antipolar ordering. Generally, our results suggest that complex nonequilibrium pattern-formation phenomena might be predictable from a few fundamental symmetry-breaking and scale-selection principles.

  18. Brittle type 1 diabetes mellitus.

    Science.gov (United States)

    Bertuzzi, Federico; Verzaro, Roberto; Provenzano, Vincenzo; Ricordi, Camillo

    2007-01-01

    A small group of patients affected by type 1 diabetes mellitus is characterized by a severe instability of glycemic values with frequent and unpredictable hypoglycemic and/or ketoacidosis episodes which cannot be explained by errors of patients or diabetologists. The quality of life of these patients is dramatically compromised in particular because of the frequency of acute events, hospital recoveries and precocious appearance of chronic complications. This clinical condition has been defined as "brittle diabetes". A precise quantification of these patients is difficult because diagnostic criteria are still not well defined and it is often difficult to verify errors of patients in terms of inappropriate conduct with the pathology. Even more than the other kinds of diabetes, therapy is based on education, glycemic control, intensive therapy and strict interaction between physicians and patients. The introduction of insulin analogous, with either ultra-fast and ultra-slow action and the use of subcutaneous insulin pumps have significantly increased the possibility of treating the most of these cases. However, there is a minority of patients resistant to the therapy. In similar cases, pancreas or islet transplantation represents an effective therapeutic option entailing good expected outcomes. The main limiting factor of beta cell function replacement by transplantation is so far represented by the potentially severe side effects of the immunosuppression therapy necessary to avoid graft rejection and recurrence of autoimmunity.

  19. Intersection Type Systems and Explicit Substitutions Calculi

    Science.gov (United States)

    Ventura, Daniel Lima; Ayala-Rincón, Mauricio; Kamareddine, Fairouz

    The λ-calculus with de Bruijn indices, called λ dB , assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types provide finitary type polymorphism satisfying important properties like principal typing, which allows the type system to include features such as data abstraction (modularity) and separate compilation. To be closer to computation and to simplify the formalisation of the atomic operations involved in β-contractions, several explicit substitution calculi were developed most of which are written with de Bruijn indices. Although untyped and simply types versions of explicit substitution calculi are well investigated, versions with more elaborate type systems (e.g., with intersection types) are not. In previous work, we presented a version for λ dB of an intersection type system originally introduced to characterise principal typings for β-normal forms and provided the characterisation for this version. In this work we introduce intersection type systems for two explicit substitution calculi: the λσ and the λs e . These type system are based on a type system for λ dB and satisfy the basic property of subject reduction, which guarantees the preservation of types during computations.

  20. Foundations of Session Types and Behavioural Contracts

    DEFF Research Database (Denmark)

    Huttel, Hans; Lanese, Ivan; Vasconcelos, Vasco

    2016-01-01

    Behavioural type systems, usually associated to concurrent or distributed computations, encompass concepts such as interfaces, communication protocols, and contracts, in addition to the traditional input/output operations. The behavioural type of a software component specifies its expected patterns...

  1. Genetics Home Reference: type 2 diabetes

    Science.gov (United States)

    ... What's Your Risk? KidsHealth from Nemours The Genetic Landscape of Diabetes (2004) Type 2 Diabetes Knowledge Portal ... ancestry meta-analysis provides insight into the genetic architecture of type 2 diabetes susceptibility. Nat Genet. 2014 ...

  2. Gardasil 9 Protects against Additional HPV Types

    Science.gov (United States)

    A summary of results from a large randomized clinical trial that shows a new human papillomavirus (HPV) vaccine effectively prevented infection and disease caused by seven HPV types that cause cancer and two HPV types that cause genital warts.

  3. Verifying design patterns in Hoare Type Theory

    DEFF Research Database (Denmark)

    Svendsen, Kasper; Buisse, Alexandre; Birkedal, Lars

    In this technical report we document our experiments formally verifying three design patterns in Hoare Type Theory.......In this technical report we document our experiments formally verifying three design patterns in Hoare Type Theory....

  4. Genetics Home Reference: spinocerebellar ataxia type 1

    Science.gov (United States)

    ... Email Facebook Twitter Home Health Conditions SCA1 Spinocerebellar ataxia type 1 Printable PDF Open All Close All ... to view the expand/collapse boxes. Description Spinocerebellar ataxia type 1 ( SCA1 ) is a condition characterized by ...

  5. Genetics Home Reference: spinocerebellar ataxia type 2

    Science.gov (United States)

    ... Email Facebook Twitter Home Health Conditions SCA2 Spinocerebellar ataxia type 2 Printable PDF Open All Close All ... to view the expand/collapse boxes. Description Spinocerebellar ataxia type 2 ( SCA2 ) is a condition characterized by ...

  6. Genetics Home Reference: spinocerebellar ataxia type 3

    Science.gov (United States)

    ... Email Facebook Twitter Home Health Conditions SCA3 Spinocerebellar ataxia type 3 Printable PDF Open All Close All ... to view the expand/collapse boxes. Description Spinocerebellar ataxia type 3 ( SCA3 ) is a condition characterized by ...

  7. Genetics Home Reference: spinocerebellar ataxia type 6

    Science.gov (United States)

    ... Email Facebook Twitter Home Health Conditions SCA6 Spinocerebellar ataxia type 6 Printable PDF Open All Close All ... to view the expand/collapse boxes. Description Spinocerebellar ataxia type 6 ( SCA6 ) is a condition characterized by ...

  8. Insulin requirements in type 1 diabetic pregnancy

    DEFF Research Database (Denmark)

    Callesen, Nicoline; Ringholm, Lene; Stage, Edna

    2012-01-01

    To evaluate the insulin requirements in women with type 1 diabetes during twin pregnancy compared with singleton pregnancy.......To evaluate the insulin requirements in women with type 1 diabetes during twin pregnancy compared with singleton pregnancy....

  9. Medication Treatment of Different Types of Alcoholism

    National Research Council Canada - National Science Library

    Johnson, Bankole A

    2010-01-01

    .... Subtyping alcoholism in adults into an early-onset type, with chronic symptoms and a strong biological predisposition to the disease, and a late-onset type, typically brought on by psychosocial...

  10. Diabetes Type 2 Is Serious But Manageable

    Science.gov (United States)

    ... page please turn JavaScript on. Feature: Type 2 Diabetes Diabetes Type 2 Is Serious But Manageable Past Issues / ... t have to knock yourself out to prevent diabetes. The key is: small steps that lead to ...

  11. Revisiting Parametric Types and Virtual Classes

    DEFF Research Database (Denmark)

    Madsen, Anders Bach; Ernst, Erik

    2010-01-01

    This paper presents a conceptually oriented updated view on the relationship between parametric types and virtual classes. The traditional view is that parametric types excel at structurally oriented composition and decomposition, and virtual classes excel at specifying mutually recursive families...

  12. Who Needs Ten-Finger Typing?

    Science.gov (United States)

    Brady, Holly

    1984-01-01

    Issues related to the teaching of typing are discussed, focusing on the need for typing skills when using computers. Also compares use of the "QWERTY" to the Dvorak keyboards, considering the advantages and disadvantages of each. (JN)

  13. Type Soundness in the Dart Programming Language

    DEFF Research Database (Denmark)

    Strocco, Fabio

    Many mainstream programming languages are dynamically typed. This allows for rapid software development and programming flexibility because it gives programmers the freedom to use powerful programming patterns that are not allowed in statically typed programming languages. Nevertheless......, this freedom does not come without drawbacks: static bugs detection, IDE support, and compiler optimization techniques are harder to implement. In the last decades, the research literature and mainstream programming languages have been aiming to reach a trade-off between statically typed and dynamically typed...... languages. We investigate the trade-off, focusing on the area of optional typing, which allows programmers to choose when to use static type checking in parts of pro- grams. Our primary focus is Dart, an optionally typed programming language with a type system that is unsound by design. What makes Dart...

  14. Ketosis prone type 2 diabetes (KPD)

    National Research Council Canada - National Science Library

    Concha L, Luciana; Durruty A, Pilar; García de Los Ríos A, Manuel

    2015-01-01

    Ketosis prone type 2 diabetes (KPD) is presently a well-defined clinical entity, characterized by a debut with severe hyperglycemia and ketoacidosis similar to the presenting form of Type 1 diabetes mellitus (DM1...

  15. Improving settlement type classification of aerial images

    CSIR Research Space (South Africa)

    Mdakane, L

    2014-10-01

    Full Text Available (multitemporal imagery) tend to exhibit pronounced viewing- and illumination geometry effects, which result in a poor generalization performance in settlement type classification tasks. The study investigated the influence of contrast in settlement type...

  16. Convection in Type 2 supernovae

    Energy Technology Data Exchange (ETDEWEB)

    Miller, Douglas Scott [Univ. of California, Davis, CA (United States)

    1993-10-15

    Results are presented here from several two dimensional numerical calculations of events in Type II supernovae. A new 2-D hydrodynamics and neutrino transport code has been used to compute the effect on the supernova explosion mechanism of convection between the neutrinosphere and the shock. This convection is referred to as exterior convection to distinguish it from convection beneath the neutrinosphere. The model equations and initial and boundary conditions are presented along with the simulation results. The 2-D code was used to compute an exterior convective velocity to compare with the convective model of the Mayle and Wilson 1-D code. Results are presented from several runs with varying sizes of initial perturbation, as well as a case with no initial perturbation but including the effects of rotation. The M&W code does not produce an explosion using the 2-D convective velocity. Exterior convection enhances the outward propagation of the shock, but not enough to ensure a successful explosion. Analytic estimates of the growth rate of the neutron finger instability axe presented. It is shown that this instability can occur beneath the neutrinosphere of the proto-neutron star in a supernova explosion with a growth time of ~ 3 microseconds. The behavior of the high entropy bubble that forms between the shock and the neutrinosphere in one dimensional calculations of supernova is investigated. It has been speculated that this bubble is a site for γ-process generation of heavy elements. Two dimensional calculations are presented of the time evolution of the hot bubble and the surrounding stellar material. Unlike one dimensional calculations, the 2D code fails to achieve high entropies in the bubble. When run in a spherically symmetric mode the 2-D code reaches entropies of ~ 200. When convection is allowed, the bubble reaches ~60 then the bubble begins to move upward into the cooler, denser material above it.

  17. Sacrifical sites, types and function

    Directory of Open Access Journals (Sweden)

    Örnulv Vorren

    1987-01-01

    Full Text Available Much has been written and said about Saami mythology and pre-Christian religion. There is, however, considerably less documentation of concrete cultural elements in scholarly descriptions. These investigations are considered important not only because they aim to provide documentation that can be used for studies of Saami mythology and pre-Christian religion. They also provide material that can throw light on the function of the holy places in a social context through analysis of their origin, their connections with certain families and persons, their associations with the siidas, their location within the areas where the Saamis from these siidas gained their livelihood, etc. The materials collected about the sacrificial sites also play an important role in studying the course of events leading up to the differentiation of Saami hunting and gathering culture. A question that has frequently arisen in the course of this work is with what powers or deities the different sacrificial sites were associated. This is naturally connected with their origin and their form. This, in turn, is reflected in the traditions and legends recounted concerning them. It is also reflected in their location in the physical environment and in the kinds of offerings that have been found. In the materials so far collected it is possible to distinguish between about eight different types of sacrificial site and holy mountain or fell according to their form and location: holy fells, rock formations, stone boulders, holes, cracks in fells, springs, lakes, ring-shaped sacrificial sites. Missionaries were urged to destroy the offering sites.

  18. TYPE Ia SUPERNOVA CARBON FOOTPRINTS

    Energy Technology Data Exchange (ETDEWEB)

    Thomas, R. C.; Nugent, P. [Computational Cosmology Center, Computational Research Division, Lawrence Berkeley National Laboratory, 1 Cyclotron Road MS 50B-4206, Berkeley, CA 94611 (United States); Aldering, G.; Aragon, C.; Bailey, S.; Childress, M.; Fakhouri, H. K.; Hsiao, E. Y.; Loken, S. [Physics Division, Lawrence Berkeley National Laboratory, 1 Cyclotron Road, Berkeley, CA 94720 (United States); Antilogus, P.; Bongard, S.; Canto, A. [Laboratoire de Physique Nucleaire et des Hautes Energies, Universite Pierre et Marie Curie Paris 6, Universite Paris Diderot Paris 7, CNRS-IN2P3, 4 place Jussieu, 75252 Paris Cedex 05 (France); Baltay, C. [Department of Physics, Yale University, New Haven, CT 06250-8121 (United States); Buton, C.; Kerschhaggl, M.; Kowalski, M.; Paech, K. [Physikalisches Institut, Universitaet Bonn, Nussallee 12, 53115 Bonn (Germany); Chotard, N.; Copin, Y.; Gangler, E. [Universite de Lyon, F-69622 Lyon (France); and others

    2011-12-10

    We present convincing evidence of unburned carbon at photospheric velocities in new observations of five Type Ia supernovae (SNe Ia) obtained by the Nearby Supernova Factory. These SNe are identified by examining 346 spectra from 124 SNe obtained before +2.5 days relative to maximum. Detections are based on the presence of relatively strong C II {lambda}6580 absorption 'notches' in multiple spectra of each SN, aided by automated fitting with the SYNAPPS code. Four of the five SNe in question are otherwise spectroscopically unremarkable, with ions and ejection velocities typical of SNe Ia, but spectra of the fifth exhibit high-velocity (v > 20, 000 km s{sup -1}) Si II and Ca II features. On the other hand, the light curve properties are preferentially grouped, strongly suggesting a connection between carbon-positivity and broadband light curve/color behavior: three of the five have relatively narrow light curves but also blue colors and a fourth may be a dust-reddened member of this family. Accounting for signal to noise and phase, we estimate that 22{sup +10}{sub -6%} of SNe Ia exhibit spectroscopic C II signatures as late as -5 days with respect to maximum. We place these new objects in the context of previously recognized carbon-positive SNe Ia and consider reasonable scenarios seeking to explain a physical connection between light curve properties and the presence of photospheric carbon. We also examine the detailed evolution of the detected carbon signatures and the surrounding wavelength regions to shed light on the distribution of carbon in the ejecta. Our ability to reconstruct the C II {lambda}6580 feature in detail under the assumption of purely spherical symmetry casts doubt on a 'carbon blobs' hypothesis, but does not rule out all asymmetric models. A low volume filling factor for carbon, combined with line-of-sight effects, seems unlikely to explain the scarcity of detected carbon in SNe Ia by itself.

  19. Dependent Types for JavaScript

    OpenAIRE

    Chugh, Ravi; Herman, David; Jhala, Ranjit

    2011-01-01

    We present Dependent JavaScript (DJS), a statically-typed dialect of the imperative, object-oriented, dynamic language. DJS supports the particularly challenging features such as run-time type-tests, higher-order functions, extensible objects, prototype inheritance, and arrays through a combination of nested refinement types, strong updates to the heap, and heap unrolling to precisely track prototype hierarchies. With our implementation of DJS, we demonstrate that the type system is expressiv...

  20. A Quantitative Model of Expert Transcription Typing

    Science.gov (United States)

    1993-03-08

    operators that perform the reaction time task were woven in between those of the typing task, with the typing operators taking precedence. If the...the typing cognitive operation was complete. Then the cognitive operators for the typing task and the reaction-time task were woven together...of 300 sentences of the form "the [ noun I [verbled the [ noun ]," made from the five- and seven-letter words from Experiments I and 2. The nouns were

  1. Starting bedtime glargine versus NPH insulin in poorly controlled type 2 diabetic patients with various hyperglycemia types (fasting type or postprandial type)

    OpenAIRE

    Vähätalo, Markku A.; Viikari, Jorma; Rönnemaa, Tapani

    2013-01-01

    Our aim was to compare the effects of an intermediate acting human insulin (NPH) and a long-acting insulin analog, insulin glargine, in insulin naïve type 2 diabetes patients, stratified by the type of hyperglycemia (fasting or postprandial type). Based on different action profiles, we hypothesized that patients having different hyperglycemia types would react differently when treated with these insulins. This is a post hoc analysis of the Lanmet study data. The Lanmet study was a randomized,...

  2. Band-type microelectrodes for amperometric immunoassays

    Energy Technology Data Exchange (ETDEWEB)

    Lee, Ga-Yeon; Chang, Young Wook; Ko, Hyuk [Department of Materials Science and Engineering, Yonsei University, 134 Shinchon-dong, Seodaemun-gu, Seoul, 120-749 (Korea, Republic of); Kang, Min-Jung [Korea Institute of Science and Technology (KIST), Seoul (Korea, Republic of); Pyun, Jae-Chul, E-mail: jcpyun@yonsei.ac.kr [Department of Materials Science and Engineering, Yonsei University, 134 Shinchon-dong, Seodaemun-gu, Seoul, 120-749 (Korea, Republic of)

    2016-07-20

    A band-type microelectrode was made using a parylene-N film as a passivation layer. A circular-type, mm-scale electrode with the same diameter as the band-type microelectrode was also made with an electrode area that was 5000 times larger than the band-type microelectrode. By comparing the amperometric signals of 3,5,3′,5′-tetramethylbenzidine (TMB) samples at different optical density (OD) values, the band-type microelectrode was determined to be 9 times more sensitive than the circular-type electrode. The properties of the circular-type and the band-type electrodes (e.g., the shape of their cyclic voltammograms, the type of diffusion layer used, and the diffusion layer thickness per unit electrode area) were characterized according to their electrode area using the COMSOL Multiphysics software. From these simulations, the band-type electrode was estimated to have the conventional microelectrode properties, even when the electrode area was 100 times larger than a conventional circular-type electrode. These results show that both the geometry and the area of an electrode can influence the properties of the electrode. Finally, amperometric analysis based on a band-type electrode was applied to commercial ELISA kits to analyze human hepatitis B surface antigen (hHBsAg) and human immunodeficiency virus (HIV) antibodies. - Highlights: • A band-type microelectrode was made using a parylene-N film as a passivation layer. • The band-type microelectrode was 14-times more sensitive than circular-type electrode. • The influence of geometry on microelectrode properties was simulated using COMSOL. • The band-type electrode was applied to ELISA kits for hHBsAg and hHIV-antibodies.

  3. IL-10 dependent suppression of type 1, type 2 and type 17 cytokines in active pulmonary tuberculosis.

    Directory of Open Access Journals (Sweden)

    Nathella Pavan Kumar

    Full Text Available Although Type 1 cytokine responses are considered protective in pulmonary tuberculosis (PTB, their role as well as those of Type 2, 17 and immunoregulatory cytokines in tuberculous lymphadenitis (TBL and latent tuberculosis (LTB have not been well studied.To identify cytokine responses associated with pulmonary tuberculosis (TB, TB lymphadenitits and latent TB, we examined mycobacterial antigen-specific immune responses of PTB, TBL and LTB individuals. More specifically, we examined ESAT-6 and CFP-10 induced Type 1, Type 2 and Type 17 cytokine production and their regulation using multiplex ELISA.PTB individuals exhibited a significantly lower baseline as well as antigen-specific production of Type 1 (IFNγ, TNFα and IL-2; Type 2 (IL-4 and Type 17 (IL-17A and IL-17F cytokines in comparison to both TBL and LTB individuals. TBL individuals exhibited significantly lower antigen-specific IFNγ responses alone in comparison to LTB individuals. Although, IL-10 levels were not significantly higher, neutralization of IL-10 during antigen stimulation resulted in significantly enhanced production of IFNγ, IL-4 and IL-17A in PTB individuals, indicating that IL-10 mediates (at least partially the suppression of cytokine responses in PTB.Pulmonary TB is characterized by an IL-10 dependent antigen-specific suppression of Type 1, Type 2 and Type 17 cytokines, reflecting an important association of these cytokines in the pathogenesis of active TB.

  4. Ceramide content is higher in type I compared to type II fibers in obesity and type 2 diabetes mellitus

    DEFF Research Database (Denmark)

    Kristensen, Ditte Bech; Prats Gavalda, Clara; Larsen, Steen

    2012-01-01

    , and control subjects, were performed. A fasting blood sample was obtained and plasma insulin and glucose determined. A muscle biopsy was obtained from deltoideus and vastus lateralis, and fiber-type ceramide content was determined by fluorescence immunohistochemistry. Insulin sensitivity estimated by Quicki......This study investigated fiber-type-specific muscle ceramide content in obese subjects and type 2 diabetes patients. Two substudies, one which compared type 2 diabetes patients to both lean- and obese BMI-matched subjects and the other study which compared lean body-matched post-obese, obese...... index was higher in lean compared to type 2 diabetes patients and obese controls. Also in control and post-obese subjects, a higher insulin sensitivity was observed compared to obese subjects. Ceramide content was consistently higher in type I than in type II muscle fibers and higher in deltoideus than...

  5. Hoare type theory, polymorphism and separation

    DEFF Research Database (Denmark)

    Nanevski, Alexandar; Morrisett, J. Gregory; Birkedal, Lars

    2008-01-01

    We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and nontermination. We propose Hoare type theory (HTT), which incorporates Hoare-style specifications into types, making it possible to sta...

  6. Binary progenitor models of type IIb supernovae

    NARCIS (Netherlands)

    Claeys, J.S.W.A.|info:eu-repo/dai/nl/326158707; de Mink, S.E.|info:eu-repo/dai/nl/304833231; Pols, O.R.|info:eu-repo/dai/nl/111811155; Eldridge, J.J.; Baes, M.|info:eu-repo/dai/nl/304824739

    2011-01-01

    Massive stars that lose their hydrogen-rich envelope down to a few tenths of a solar mass explode as extended type IIb supernovae, an intriguing subtype that links the hydrogen-rich type II supernovae with the hydrogen-poor type Ib and Ic. The progenitors may be very massive single stars that lose

  7. Pure Type Systems for Functional Programming

    NARCIS (Netherlands)

    Roorda, J.-W.; Jeuring, J.T.

    2001-01-01

    We present a functional programming language based on Pure Type Systems PTSs. We show how we can define such a language by extending the PTS framework with algebraic data types case expressions and definitions. Furthermore we present an efficient type checking algorithm and an interpreter for

  8. [Type-C botulism in dogs].

    Science.gov (United States)

    Borst, G H; Lambers, G M; Haagsma, J

    1986-11-15

    Twelve dogs died from an outbreak of type-C botulism. The origin of the outbreak was found to consist in feeding the dogs broiler carcasses contaminated with Clostridium botulinum type-C. High concentrations of toxin type-C could be detected in the stomach contents. Botulism in dogs was only fatal when large amounts of toxin had been produced.

  9. 7 CFR 51.1997 - Similar type.

    Science.gov (United States)

    2010-01-01

    ... 7 Agriculture 2 2010-01-01 2010-01-01 false Similar type. 51.1997 Section 51.1997 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... Standards for Grades of Filberts in the Shell 1 Definitions § 51.1997 Similar type. Similar type means that...

  10. 46 CFR 160.062-2 - Types.

    Science.gov (United States)

    2010-10-01

    ... 46 Shipping 6 2010-10-01 2010-10-01 false Types. 160.062-2 Section 160.062-2 Shipping COAST GUARD... APPROVAL LIFESAVING EQUIPMENT Releases. Lifesaving Equipment, Hydraulic and Manual § 160.062-2 Types. (a) The hydraulic releases referred to under § 160.062-1(a)(1) are of the diaphram-spring plunger type...

  11. Windchill-201 - Custom Soft-Type Construction

    Science.gov (United States)

    Jones, Corey; LaPha, Steven

    2013-01-01

    This presentation will explain Windchill soft-types-what they are, how they work, and how to construct custom ones, configured specifically for your system. The process and particulars of creating and implementing a WTDocument soft-type will be discussed, and the interaction between soft-types and Windchill objects will be shown.

  12. Hyperbolic spaces are of strictly negative type

    DEFF Research Database (Denmark)

    Hjorth, Poul G.; Kokkendorff, Simon L.; Markvorsen, Steen

    2002-01-01

    We study finite metric spaces with elements picked from, and distances consistent with, ambient Riemannian manifolds. The concepts of negative type and strictly negative type are reviewed, and the conjecture that hyperbolic spaces are of strictly negative type is settled, in the affirmative...

  13. The role of type of tobacco and type of alcoholic beverage in oral carcinogenesis

    National Research Council Canada - National Science Library

    Castellsagué, Xavier; Quintana, Maria Jesús; Martínez, Maria Carmen; Nieto, Adoración; Sánchez, Maria José; Juan, Amparo; Monner, Antoni; Carrera, Marta; Agudo, Antoni; Quer, Miquel; Muñoz, Nubia; Herrero, Rolando; Franceschi, Silvia; Bosch, F. Xavier

    2004-01-01

    .... Spain has a population heavily exposed to various types of tobacco and alcoholic beverages but the role and impact of tobacco type and beverage type in oral carcinogenesis remain controversial...

  14. Neurofibromatosis type 1 growth charts.

    Science.gov (United States)

    Clementi, M; Milani, S; Mammi, I; Boni, S; Monciotti, C; Tenconi, R

    1999-12-03

    Growth abnormalities such as macrocephaly and short stature have been described and are considered a consistent finding in neurofibromatosis type 1 (NF1), one of the most common autosomal dominant disorders in man. We present here a clinical study on the growth profile of a sample of NF1 patients collected through a population-based registry that covers three contiguous regions of North-East Italy (NEI-NF Registry). Auxometric traits of 528 NF1 patients have been measured with the aim of drawing growth charts for height, weight, and head circumference (OFC). Height velocity charts were based on a subset of 143 children who underwent multiple measurements. No differences in height were apparent between NF1 and normal subjects up to age 7 (girls) and 12 (boys) years; subsequently, the 50th centile of NF1 subjects tends to overlap with the 25th centile of normal subjects, and the 3rd centile is much lower in NF1 subjects than in normal subjects, mainly during adolescence. The negatively skewed distribution of height seems to indicate that height growth impairment affects only a proportion of NF1 subjects; height growth impairment does not seem related to disease severity. As for weight, our data suggest that slight overweight is a characteristic of adult NF1 subjects (mainly among males), independent of disease severity. Height growth velocity is normal during childhood for both sexes, whereas the pubertal spurt is slightly anticipated and reduced in NF1 boys but not in girls. Our data confirm previous observations that macrocrania affects most NF1 subjects; the shape of the head growth curve is similar in NF1 and normal girls, whereas NF1 boys present an OFC pubertal growth spurt much more pronounced and delayed than normal boys. The disproportion between OFC and height seems to be related to disease severity in boys but not in girls. Growth charts presented here can be useful in neurofibromatosis clinics for the identification of the effects of secondary growth

  15. Hereditary sensory neuropathy type I

    Science.gov (United States)

    Auer-Grumbach, Michaela

    2008-01-01

    Hereditary sensory neuropathy type I (HSN I) is a slowly progressive neurological disorder characterised by prominent predominantly distal sensory loss, autonomic disturbances, autosomal dominant inheritance, and juvenile or adulthood disease onset. The exact prevalence is unknown, but is estimated as very low. Disease onset varies between the 2nd and 5th decade of life. The main clinical feature of HSN I is the reduction of sensation sense mainly distributed to the distal parts of the upper and lower limbs. Variable distal muscle weakness and wasting, and chronic skin ulcers are characteristic. Autonomic features (usually sweating disturbances) are invariably observed. Serious and common complications are spontaneous fractures, osteomyelitis and necrosis, as well as neuropathic arthropathy which may even necessitate amputations. Some patients suffer from severe pain attacks. Hypacusis or deafness, or cough and gastrooesophageal reflux have been observed in rare cases. HSN I is a genetically heterogenous condition with three loci and mutations in two genes (SPTLC1 and RAB7) identified so far. Diagnosis is based on the clinical observation and is supported by a family history. Nerve conduction studies confirm a sensory and motor neuropathy predominantly affecting the lower limbs. Radiological studies, including magnetic resonance imaging, are useful when bone infections or necrosis are suspected. Definitive diagnosis is based on the detection of mutations by direct sequencing of the SPTLC1 and RAB7 genes. Correct clinical assessment and genetic confirmation of the diagnosis are important for appropriate genetic counselling and prognosis. Differential diagnosis includes the other hereditary sensory and autonomic neuropathies (HSAN), especially HSAN II, as well as diabetic foot syndrome, alcoholic neuropathy, neuropathies caused by other neurotoxins/drugs, immune mediated neuropathy, amyloidosis, spinal cord diseases, tabes dorsalis, lepra neuropathy, or decaying skin

  16. Hereditary sensory neuropathy type I

    Directory of Open Access Journals (Sweden)

    Auer-Grumbach Michaela

    2008-03-01

    Full Text Available Abstract Hereditary sensory neuropathy type I (HSN I is a slowly progressive neurological disorder characterised by prominent predominantly distal sensory loss, autonomic disturbances, autosomal dominant inheritance, and juvenile or adulthood disease onset. The exact prevalence is unknown, but is estimated as very low. Disease onset varies between the 2nd and 5th decade of life. The main clinical feature of HSN I is the reduction of sensation sense mainly distributed to the distal parts of the upper and lower limbs. Variable distal muscle weakness and wasting, and chronic skin ulcers are characteristic. Autonomic features (usually sweating disturbances are invariably observed. Serious and common complications are spontaneous fractures, osteomyelitis and necrosis, as well as neuropathic arthropathy which may even necessitate amputations. Some patients suffer from severe pain attacks. Hypacusis or deafness, or cough and gastrooesophageal reflux have been observed in rare cases. HSN I is a genetically heterogenous condition with three loci and mutations in two genes (SPTLC1 and RAB7 identified so far. Diagnosis is based on the clinical observation and is supported by a family history. Nerve conduction studies confirm a sensory and motor neuropathy predominantly affecting the lower limbs. Radiological studies, including magnetic resonance imaging, are useful when bone infections or necrosis are suspected. Definitive diagnosis is based on the detection of mutations by direct sequencing of the SPTLC1 and RAB7 genes. Correct clinical assessment and genetic confirmation of the diagnosis are important for appropriate genetic counselling and prognosis. Differential diagnosis includes the other hereditary sensory and autonomic neuropathies (HSAN, especially HSAN II, as well as diabetic foot syndrome, alcoholic neuropathy, neuropathies caused by other neurotoxins/drugs, immune mediated neuropathy, amyloidosis, spinal cord diseases, tabes dorsalis, lepra

  17. Associations between dru Types and SCCmec Cassettes

    DEFF Research Database (Denmark)

    Bartels, Mette D; Boye, Kit; Oliveira, Duarte C

    2013-01-01

    isolates with dru type variants indicating that dru typing is not useful as a first line epidemiological typing tool. However, MRSA isolates cultured from a single patient over a three year period exhibited a single dru type. The finding of dt10a in most SCCmec types suggests that dru and mecA originate......Molecular typing is an important tool in the investigation of methicillin resistant Staphylococcus aureus (MRSA) outbreaks and in following the evolution of MRSA. The staphylococcal cassette chromosome mec (SCCmec) contains a hypervariable region with a variable number of 40 bp repeats named direct...... repeat units (dru). The dru region has been suggested as a supplementary typing method for MRSA and an international nomenclature exists. The purpose of this study was to investigate the diversity and variability of the dru region in a diverse collection of MRSA. We studied 302 MRSA isolates harbouring...

  18. Genetics of type II diabetes.

    Science.gov (United States)

    Permutt, M A; Chiu, K; Ferrer, J; Glaser, B; Inoue, H; Nestorowicz, A; Stanley, C A; Tanizawa, Y

    1998-01-01

    Defining the genetic basis of Type II or non-insulin dependent diabetes mellitus (NIDDM) will accelerate our progress toward understanding its etiology and will provide new therapeutic targets for treatment of this common disease. Here we present a brief overview of the history of the search for diabetes genes and report current strategies employed by our laboratory and by others in this effort. Isolation and subsequent mapping of candidate genes involved in insulin production and action has been a major effort in this field. Our lab has focused on pancreatic islet beta-cell genes, since the insulin lack of NIDDM is often the result of resistance to the action of insulin that is superimposed on a limited ability to produce insulin. A number of islet genes have been evaluated, including those involved in glucose metabolism, islet K+ channel genes, and transcription factors. For each gene, human cDNAs and genomic clones have been isolated and simple sequence repeat polymorphisms (SSRPs) identified. The SSRPs were used to map the genes by linkage in CEPH pedigrees, or sequence-tagged sites (STSs) were used to map the genes to radiation hybrids (RH) or to YAC clones containing SSRPs. The SSRPs have then been used as markers for linkage analyses in families with NIDDM. Mutation screening by single-strand conformational polymorphism analysis and by sequencing has revealed variants that have been tested in association studies. A strategy was devised to generate novel expressed sequence tags (ESTs) from human pancreatic islet genes by differential display of islet mRNA. In the first phase of this project we identified 42 cDNAs that were preferentially expressed in pancreatic islets relative to exocrine tissue. When compared to sequences in GenBank, novel genes were represented by 69%. Enhanced islet expression was confirmed by Northern analysis of RNA. Sequence-tagged sites were synthesized for a number of islet ESTs and used to map these genes to human chromosomes. This

  19. Comparing Deadlock-Free Session Typed Processes

    Directory of Open Access Journals (Sweden)

    Ornela Dardha

    2015-08-01

    Full Text Available Besides respecting prescribed protocols, communication-centric systems should never "get stuck". This requirement has been expressed by liveness properties such as progress or (deadlock freedom. Several typing disciplines that ensure these properties for mobile processes have been proposed. Unfortunately, very little is known about the precise relationship between these disciplines—and the classes of typed processes they induce. In this paper, we compare L and K, two classes of deadlock-free, session typed concurrent processes. The class L stands out for its canonicity: it results naturally from interpretations of linear logic propositions as session types. The class K, obtained by encoding session types into Kobayashi's usage types, includes processes not typable in other type systems. We show that L is strictly included in K. We also identify the precise condition under which L and K coincide. One key observation is that the degree of sharing between parallel processes determines a new expressiveness hierarchy for typed processes. We also provide a type-preserving rewriting procedure of processes in K into processes in L. This procedure suggests that, while effective, the degree of sharing is a rather subtle criteria for distinguishing typed processes.

  20. Personality type influence the gestational weight gain.

    Science.gov (United States)

    Franik, Grzegorz; Lipka, Nela; Kopyto, Katarzyna; Kopocińska, Joanna; Owczarek, Aleksander; Sikora, Jerzy; Madej, Paweł; Chudek, Jerzy; Olszanecka-Glinianowicz, Magdalena

    2017-08-01

    Pregnancy is frequently followed by the development of obesity. Aside from psychological factors, hormonal changes influence weight gain in pregnant women. We attempted to assess the potential association between personality type and the extent of gestational weight gain. The study group involved 773 women after term delivery (age 26.3 ± 3.9 years, body mass before pregnancy 61.2 ± 11.1 kg). Weight gain during pregnancy was calculated by using self-reported body mass prior to and during the 38th week of pregnancy. Personality type was assessed using the Polish version of the Framingham Type A Behavior Patterns Questionnaire (adapted by Juczynski). Two hundred forty-six (31.8%) study subjects represented type A personalities, 272 (35.2%) type B and 255 (33.0%) an indirect type. Gestational weight gain was related to the behavior patterns questionnaire score and age. In women type A personality, the weight gain was higher than in women with type B behavior of the same age. In women >30, the gestational weight gain was larger for type B personalities. Type A personality and increased urgency in younger pregnant women increases the risk of developing obesity during pregnancy in women below 30 years old. A higher level of competitiveness demonstrates a risk factor of excessive weight gain during pregnancy regardless of age.

  1. Starting bedtime glargine versus NPH insulin in poorly controlled type 2 diabetic patients with various hyperglycemia types (fasting type or postprandial type).

    Science.gov (United States)

    Vähätalo, Markku A; Viikari, Jorma; Rönnemaa, Tapani

    2014-04-01

    Our aim was to compare the effects of an intermediate acting human insulin (NPH) and a long-acting insulin analog, insulin glargine, in insulin naïve type 2 diabetes patients, stratified by the type of hyperglycemia (fasting or postprandial type). Based on different action profiles, we hypothesized that patients having different hyperglycemia types would react differently when treated with these insulins. This is a post hoc analysis of the Lanmet study data. The Lanmet study was a randomized, 36-week controlled insulin initiation study in type 2 diabetes patients. 109 subjects with baseline HbA1c >8.0% (64 mmol/mol) completed the study. The patients were divided into two groups according to fasting glucose (mmol/l)/HbA1c (%) ratio. Patients with a ratio ≥1.3 were defined as having fasting type and those with a ratio weight, and final insulin dose. Independently of insulin type, compared to patients with postprandial type hyperglycemia, those with fasting type hyperglycemia had 2.1 kg/m(2) greater initial BMI (p = 0.044), gained 2.0 kg more weight (p = 0.020, adjusted for baseline BMI p = 0.035), and had 36% greater final insulin dose/kg (p = 0.001). With respect to hyperglycemia type, there was no difference between NPH and glargine in their effects on HbA1c. When starting bedtime insulin in type 2 diabetes patients, those with fasting type hyperglycemia are prone to greater weight gain. Hyperglycemia type does not help in identifying patients who would benefit specially from either NPH insulin or insulin glargine.

  2. Increased vital exhaustion among type-D patients with ischemic heart disease

    NARCIS (Netherlands)

    Pedersen, SS; Middel, B

    Objective: To investigate the prevalence of the "distressed personality" (type-D) in cardiac patients and to explore the relationships between type-D, gender, vital exhaustion and angina pectoris. Methods: A questionnaire was completed by 171 patients scheduled for coronary angiography (CAG) at

  3. TypingSuite: Integrated Software for Presenting Stimuli, and Collecting and Analyzing Typing Data

    Science.gov (United States)

    Mazerolle, Erin L.; Marchand, Yannick

    2015-01-01

    Research into typing patterns has broad applications in both psycholinguistics and biometrics (i.e., improving security of computer access via each user's unique typing patterns). We present a new software package, TypingSuite, which can be used for presenting visual and auditory stimuli, collecting typing data, and summarizing and analyzing the…

  4. Type 1/Type 2 Cytokine Serum Levels and Role of Interleukin-18 in ...

    African Journals Online (AJOL)

    Introduction: In view of the conflicting evidence of helper T cell type 1 (Th1) or type 2 (Th2) pattern of cytokine synthesis in steroid sensitive nephrotic syndrome (SSNS), this study aimed to assess type-1/type-2 cytokines level in different stages of SSNS and to evaluate the role of IL-18. Methods: We prospectively studied ...

  5. Type Checking with XML Schema in XACT

    DEFF Research Database (Denmark)

    Kirkegaard, Christian; Møller, Anders

    ACT is an extension of Java for making type-safe XML transformations. Unlike other approaches, XACT provides a programming model based on XML templates and XPath together with a type checker based on data-flow analysis. We show how to extend the data-flow analysis technique used in the XACT system...... to support XML Schema as type formalism. The technique is able to model advanced features, such as type derivations and overloaded local element declarations, and also datatypes of attribute values and character data. Moreover, we introduce optional type annotations to improve modularity of the type checking....... The resulting system supports a flexible style of programming XML transformations and provides static guarantees of validity of the generated XML data....

  6. Management of acute type B aortic dissection.

    Science.gov (United States)

    Hughes, G Chad; Andersen, Nicholas D; McCann, Richard L

    2013-03-01

    Acute type B aortic dissection (identified within 2 weeks of symptom onset), as described using the Stanford classification, involves the aorta distal to the left subclavian artery and accounts for 25%-40% of all aortic dissections. The traditional treatment paradigm of medical management for uncomplicated acute type B dissection and open surgical intervention for early or late complications of type B dissection is currently undergoing a period of evolution as a result of the influence of minimally invasive thoracic endovascular aortic repair options. Thoracic endovascular repair has replaced open surgical repair as the preferred treatment for complicated acute type B dissection, and may also prove beneficial for prophylactic repair of uncomplicated acute type B dissection for high-risk patients. This review discusses the management of acute type B aortic dissection and long-term treatment considerations. Copyright © 2013 The American Association for Thoracic Surgery. Published by Mosby, Inc. All rights reserved.

  7. : Diabetes mellitus 1. type and physical activity

    OpenAIRE

    Prouza, Michal

    2014-01-01

    1 Abstrakt Name of thesis Diabetes mellitus I. type and physical activity Aim of thesis The bachelor's thesis deals with diabetes mellitus I. type, the opportunity of compensation by adequate physical aktivity and diet and consecutive complications of diabetes. Methodology Collecting of the data from available literature and internet's resources. There is no personal interviews in this work. Results General description of the diabetes mellitus I. type, question of the physical aktivity with t...

  8. Type I restriction enzymes and their relatives.

    Science.gov (United States)

    Loenen, Wil A M; Dryden, David T F; Raleigh, Elisabeth A; Wilson, Geoffrey G

    2014-01-01

    Type I restriction enzymes (REases) are large pentameric proteins with separate restriction (R), methylation (M) and DNA sequence-recognition (S) subunits. They were the first REases to be discovered and purified, but unlike the enormously useful Type II REases, they have yet to find a place in the enzymatic toolbox of molecular biologists. Type I enzymes have been difficult to characterize, but this is changing as genome analysis reveals their genes, and methylome analysis reveals their recognition sequences. Several Type I REases have been studied in detail and what has been learned about them invites greater attention. In this article, we discuss aspects of the biochemistry, biology and regulation of Type I REases, and of the mechanisms that bacteriophages and plasmids have evolved to evade them. Type I REases have a remarkable ability to change sequence specificity by domain shuffling and rearrangements. We summarize the classic experiments and observations that led to this discovery, and we discuss how this ability depends on the modular organizations of the enzymes and of their S subunits. Finally, we describe examples of Type II restriction-modification systems that have features in common with Type I enzymes, with emphasis on the varied Type IIG enzymes.

  9. Clostridium perfringens isolate typing by multiplex PCR

    Directory of Open Access Journals (Sweden)

    MR Ahsani

    2010-01-01

    Full Text Available Clostridium perfringens is an important pathogen that provokes numerous different diseases. This bacterium is classified into five different types, each of which capable of causing a different disease. There are various methods for the bacterial identification, many are labor-intensive, time-consuming, expensive and also present low sensitivity and specificity. The aim of this research was to identify the different types of C. perfringens using PCR molecular method. In this study, 130 sheep-dung samples were randomly collected from areas around the city of Kerman, southeastern Iran. After processing and culturing of samples, the produced colonies were morphologically studied, gram stain test was also carried out and the genera of these bacteria were identified through biochemical tests. DNA extracted from isolated bacteria for genotyping was tested by multiplex PCR with specific primers. Based on length of synthesized fragments by PCR, toxin types and bacterial strains were detected. C. perfringens isolated types were divided as follows: 17.39% type A, 21.74% type B, 34.78% type C and 26.09% type D. It should be emphasized that, up to the present moment, C. perfringens type A has not been reported in Iran.

  10. Eating disorders in type 1 diabetes

    DEFF Research Database (Denmark)

    Nash, J.; Skinner, T. C.

    2005-01-01

    There is some debate in the literature as to whether there is an increased risk of developing eating disorders in individuals with type 1 diabetes. This review located 12 empirical studies of eating pathology in females with type 1 diabetes. Review of these papers indicates...... that there is no evidence for an increase in the rates of anorexia or bulimia, in females with type 1 diabetes. However, the data do suggest that eating disorders not otherwise specified (EDNOS) are more prevalent in individuals with type 1 diabetes. Key features of these articles are reviewed and discussed....

  11. SPECIFIC LANGUAGE TYPES OF RELIGIOUS STYLE

    National Research Council Canada - National Science Library

    Adina Elena Coclici (Telescu)

    2011-01-01

    .... The article describes the main language types, and we mention the following: the biblical language, the liturgical language, religious oratorical, religious tehnical, religious dramatical, theological or the ecclesiastic...

  12. Platelet activation in type 2 diabetes mellitus

    National Research Council Canada - National Science Library

    Ferroni, P; Basili, S; Falco, A; Davì, G

    2004-01-01

    The abnormal metabolic state that accompanies diabetes renders arteries susceptible to atherosclerosis, being capable of altering the functional properties of multiple cell types, including endothelium and platelets...

  13. Is type-D personality trait(s or state? An examination of type-D temporal stability in older Israeli adults in the community

    Directory of Open Access Journals (Sweden)

    Ada H. Zohar

    2016-02-01

    Full Text Available Background. Type D personality was suggested as a marker of poorer prognosis for patients of cardiovascular disease. It is defined by having a score of 10 or more on both sub-scales of the DS14 questionnaire, Social Inhibition (SI and Negative Affectivity (NA. As Type D was designed to predict risk, its temporal stability is of prime importance. Methods. Participants in the current study were 285 community volunteers, who completed the DS14, and other personality scales, at a mean interval of six years. Results. The prevalence of Type D did not change. The component traits of Type D showed rank order stability. Type D caseness temporal stability was improved by using the sub-scales product as a criterion. Logistic hierarchical regression predicting Type D classification from Time1 demonstrated that the best predictors were Time1 scores on NA and SI, with the character trait of Cooperation, and the alexithymia score adding some predictive power. Conclusions. The temporal stability of the component traits, and of the prevalence of Type D were excellent. Temporal stability of Type D caseness may be improved by using a product threshold, rather than the current rule. Research is required in order to formulate the optimal timing for Type D measurement for predictive purposes.

  14. A Typeful Integration of SQL into Curry

    Directory of Open Access Journals (Sweden)

    Michael Hanus

    2017-01-01

    Full Text Available We present an extension of the declarative programming language Curry to support the access to data stored in relational databases via SQL. Since Curry is statically typed, our emphasis on this SQL integration is on type safety. Our extension respects the type system of Curry so that run-time errors due to ill-typed data are avoided. This is obtained by preprocessing SQL statements at compile time and translating them into type-safe database access operations. As a consequence, the type checker of the Curry system can spot type errors in SQL statements at compile time. To generate appropriately typed access operations, the preprocessor uses an entity-relationship (ER model describing the structure of the relational data. In addition to standard SQL, SQL statements embedded in Curry can include program expressions and also relationships specified in the ER model. The latter feature is useful to avoid the error-prone use of foreign keys. As a result, our SQL integration supports a high-level and type-safe access to databases in Curry programs.

  15. Convolution neural networks for ship type recognition

    Science.gov (United States)

    Rainey, Katie; Reeder, John D.; Corelli, Alexander G.

    2016-05-01

    Algorithms to automatically recognize ship type from satellite imagery are desired for numerous maritime applications. This task is difficult, and example imagery accurately labeled with ship type is hard to obtain. Convolutional neural networks (CNNs) have shown promise in image recognition settings, but many of these applications rely on the availability of thousands of example images for training. This work attempts to under- stand for which types of ship recognition tasks CNNs might be well suited. We report the results of baseline experiments applying a CNN to several ship type classification tasks, and discuss many of the considerations that must be made in approaching this problem.

  16. Vitamin D and Type 1 Diabetes Mellitus

    Directory of Open Access Journals (Sweden)

    К.S. Biliaieva

    2016-04-01

    Full Text Available The article presents data concerning the problem of vitamin D deficiency in adolescents with diabetes mellitus type 1. A correlation between vitamin D deficiency and compensation of the disease is shown. The examination of adolescent patients suffering from type 1 diabetes mellitus found a connection between levels of vitamin D, duration and the degree of type 1 diabetes compensation. Further studies are focused on studying the impact and the correction of vitamin D status in children with diabetes mellitus type 1, on improving the glycemic control and quality of life of a patient.

  17. Collagen content and types in trachomatous conjunctivitis.

    Science.gov (United States)

    Abu el-Asrar, A M; Geboes, K; al-Kharashi, S A; Tabbara, K F; Missotten, L

    1998-01-01

    To study alterations in conjunctival collagen in the conjunctiva of patients with active trachoma. We studied conjunctival biopsy specimens obtained from nine subjects with active trachoma and from four control subjects. We used immunohistochemical techniques and a panel of monoclonal and polyclonal antibodies directed against types I, III, IV and V collagen. In normal conjunctiva, the staining for types I and III collagen was localised to the substantia propria. Type IV collagen was located in the epithelial and capillary endothelial basement membranes. The staining for type V collagen was absent. In trachoma biopsy specimens, staining for types I and III collagen showed collagen fibrils among epithelial cells, patchy increase in staining intensity in the upper stroma, and thicker and irregularly arranged collagen fibrils in the substantia propria. Staining for type IV collagen showed irregularly thickened epithelial basement membrane. Staining for type V collagen showed patchy staining in the upper substantia propria; it was also noted in the cytoplasm of fibroblasts, in the walls of blood vessels in the substantia propria, and in the walls of accessory lacrimal glands. Our data indicate new type V collagen formation, and increased types I, III and IV collagen content, in the conjunctiva from patients with active trachoma.

  18. Association of Sasang Constitutional Type with Sarcopenia

    Directory of Open Access Journals (Sweden)

    Seung Ku Lee

    2015-01-01

    Full Text Available Sasang constitutional medicine (SCM is a unique Korean traditional medicine that classifies human beings as four distinct types named Sasang constitutional types (SCTs, based on physiologic, physical, and psychological traits. Accumulating evidence has demonstrated that specific constitutional types are associated with chronic diseases, but no study has investigated the relationship between SCTs and sarcopenia. The aim of this study was to examine the association in a large population-based study. Data from 1,204 participants who completed questionnaires for life style, anthropometric evaluation, and biochemical analysis were analyzed. Classification of the SCTs was done using an integrated diagnostic method. Sarcopenia was defined as appendicular skeletal muscle mass/height2 less than one standard deviation below the gender-specific normal mean of a younger group. Dual-energy X-ray absorptiometry was used to assess whole body composition. The prevalence of sarcopenia was 8.6% in the Tae-eum (TE type, 44.7% in the So-eum (SE type, and 20.7% in the So-yang (SY type. Multivariate analysis revealed that the SE and SY types had 9.22 (5.06–16.81; P<0.0001 and 2.90 (1.76–4.76; P<0.0001 greater odds of sarcopenia compared to the TE type, respectively. Our results show that the SE and SY types are significantly associated with increased prevalence of sarcopenia.

  19. Decameter Type III-Like Bursts

    Science.gov (United States)

    Melnik, V. N.; Konovalenko, A. A.; Rutkevych, B. P.; Rucker, H. O.; Dorovskyy, V. V.; Abranin, E. P.; Lecacheux, A.; Brazhenko, A. I.; Stanislavskyy, A. A.

    2007-12-01

    Starting from 1960s Type III-like bursts (Type III bursts with high drift rates) in a wide frequency range from 300 to 950MHz have been observed. These new bursts observed at certain frequency being compared to the usual Type III bursts at the same frequency show similar behaviour but feature frequency drift 2-6 times higher than the normal bursts. In this paper we report the first observations of Type III-like bursts in decameter range, carried out during summer campaigns 2002 - 2004 at UTR-2 radio telescope. The circular polarization of the bursts was measured by the radio telescope URAN-2 in 2004. The observed bursts are analyzed and compared with usual Type III bursts in the decameter range. From the analysis of over 1100 Type III-like bursts, their main parameters have been found. Characteristic feature of the observed bursts is similar to Type III-like bursts at other frequencies, i.e. measured drift rates (5-10 MHz/s) of this bursts are few times larger than that for usual Type III bursts, and their durations (1-2 s) are few times smaller than that for usual Type III bursts in this frequency band.

  20. Design Enhancements to Facilitate a Sustainable and Energy Efficient Dining Facility (DFAC) in a Contingency Environment

    Science.gov (United States)

    2014-09-01

    in 2013 $2,978,574 Costs and weight of paper products per day at 2,000 PAX DFAC styrofoam containers styrofoam containers paper trays paper trays...ware styrofoam cups styrofoam cups ERDC/CERL TR-14-22 42 Appendix C: Features of Three Commercial Dishwashers Table C-1. Features of Champion 54 DR

  1. PIDs, Types and the Semantic Web

    Science.gov (United States)

    Schwardmann, Ulrich

    2017-04-01

    PID Information Types are becoming a crucial role in scientific data management because they can provide state (what) and binding (where) information about digital objects as attributes of the PID. This is a similar but much more flexible approach than the well known mime type characterization, because both of these types concepts allow to decide about preconditions for processes in advance and before touching the data. One aspect of this is the need for standards and correctness of the used types to ensure reliability for the processes operating on the digital objects. This requires registries and schemas for PID InfoTypes and suggests an automated schema generation process. Such a process in combination with data type registries will be described in more detail in the intended talk. Another aspect of PID InfoTypes is its intrinsic grammar as subject-predicate-object triple, with the PID as subject, the type as predicate and its value (often again a PID) as object in this relation. Given the registration of types and the proposed syntactical rigidness of the value, guaranteed by the schema, together with the use of PIDs in subject and predicate, the type concept has the ability to overcome the fuzziness and lack of reliability of semantic web categories with its URL references and possibly changing locations and content. The intended talk will also describe this approach in more detail, discusses the differences to linked data and describes some necessary technological developments for the type concept to keep up with the possibilities currently provided by the semantic web.

  2. Extending Dylan's type system for better type inference and error detection

    DEFF Research Database (Denmark)

    Mehnert, Hannes

    2010-01-01

    Whereas dynamic typing enables rapid prototyping and easy experimentation, static typing provides early error detection and better compile time optimization. Gradual typing [26] provides the best of both worlds. This paper shows how to define and implement gradual typing in Dylan, traditionally...... a dynamically typed language. Dylan poses several special challenges for gradual typing, such as multiple return values, variable-arity methods and generic functions (multiple dispatch). In this paper Dylan is extended with function types and parametric polymorphism. We implemented the type system...... and aunification-based type inference algorithm in the mainstream Dylan compiler. As case study we use the Dylan standard library (roughly 32000 lines of code), which witnesses that the implementation generates faster code with fewer errors. Some previously undiscovered errors in the Dylan library were revealed....

  3. Biofilm formation by Pseudomonas aeruginosa wild type, flagella and type IV pili mutants

    DEFF Research Database (Denmark)

    Klausen, M.; Heydorn, Arne; Ragas, Paula Cornelia

    2003-01-01

    Biofilm formation by Gfp-tagged Pseudomonas aeruginosa PAO1 wild type, flagella and type IV pili mutants in flow chambers irrigated with citrate minimal medium was characterized by the use of confocal laser scanning microscopy and comstat image analysis. Flagella and type IV pili were not necessary...... for P. aeruginosa initial attachment or biofilm formation, but the cell appendages had roles in biofilm development, as wild type, flagella and type IV pili mutants formed biofilms with different structures. Dynamics and selection during biofilm formation were investigated by tagging the wild type...... and flagella/type IV mutants with Yfp and Cfp and performing time-lapse confocal laser scanning microscopy in mixed colour biofilms. The initial microcolony formation occurred by clonal growth, after which wild-type P. aeruginosa bacteria spread over the substratum by means of twitching motility. The wild-type...

  4. Type Substitution for Object-Oriented Programming

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    1990-01-01

    Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but is not in itself parameterized. We suggest a new genericity mechanism, type substitution, which is a subclassing concep...

  5. Urokinase-type plasminogen activator receptor

    DEFF Research Database (Denmark)

    2003-01-01

    A polypeptide presenting an epitope cross-reactive with an epitope of urokinase-type plasminogen activator receptor, and/or having uPA binding activity, is described.......A polypeptide presenting an epitope cross-reactive with an epitope of urokinase-type plasminogen activator receptor, and/or having uPA binding activity, is described....

  6. Detecting Terrorism Incidence Type from News Summary

    DEFF Research Database (Denmark)

    Nizamani, Sarwat; Memon, Nasrullah

    2012-01-01

    The paper presents the experiments to detect terrorism incidence type from news summary data. We have applied classification techniques on news summary data to analyze the incidence and detect the type of incidence. A number of experiments are conducted using various classification algorithms...

  7. Static Typing for Object-Oriented Programming

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    1994-01-01

    We develop a theory of statically typed object-oriented languages. It represents classes as labeled, regular trees, types as finit sets of classes , and sub-classing as a partial order on trees. We show that our sub-classing order strictly generalizes inheritance, and that a novel genericity mech...

  8. [Modern treatment of type B dissections

    DEFF Research Database (Denmark)

    Klitfod, L.; Baekgaard, N.; Just, S.

    2008-01-01

    Rapid classification is essential in the management of aortic dissections, as Type A dissections require surgery, while the optimal treatment of Type B dissections is controversial. Medical treatment with antihypertensive medication and analgesics has so far been the main treatment of uncomplicat...

  9. Immunogenetics of type 1 diabetes mellitus

    African Journals Online (AJOL)

    EL-HAKIM

    Egypt J Pediatr Allergy Immunol 2008; 6(1): 3-12. 3. Immunogenetics of type 1 diabetes mellitus. Azza A. G. Tantawy. Professor of Pediatrics, Ain Shams University, Cairo. Introduction. Type 1 diabetes mellitus (T1D) is one of the most common autoimmune diseases with several million people already affected around the ...

  10. Genetics Home Reference: spastic paraplegia type 8

    Science.gov (United States)

    ... The pure types involve only the nerves and muscles controlling the lower limbs and bladder, whereas the complex types also have significant involvement of the nervous system in other parts of the body. ... spasticity of the leg muscles and muscle weakness. People with this condition can ...

  11. Staphylococcus aureus spa type t437

    DEFF Research Database (Denmark)

    Glasner, C; Pluister, G; Westh, H

    2015-01-01

    Methicillin-resistant Staphylococcus aureus (MRSA) belonging to the multilocus sequence type clonal complex 59 (MLST CC59) is the predominant community-associated MRSA clone in Asia. This clone, which is primarily linked with the spa type t437, has so far only been reported in low numbers among...

  12. Aspects of type $0$ string theory

    CERN Document Server

    Blumenhagen, R; Kumar, A; Lüst, Dieter

    2000-01-01

    A construction of compact tachyon-free orientifolds of the non-supersymmetric Type 0B string theory is presented. Moreover, we study effective non-supersymmetric gauge theories arising on self-dual D3-branes in Type 0B orbifolds and orientifolds.

  13. Type 1 Diabetes: What Is It?

    Science.gov (United States)

    ... Videos for Educators Search English Español Type 1 Diabetes: What Is It? KidsHealth / For Parents / Type 1 ... español Diabetes tipo 1: ¿Qué es? What Is Diabetes? Diabetes is a disease that affects how the ...

  14. Type 2 Diabetes: What Is It?

    Science.gov (United States)

    ... Videos for Educators Search English Español Type 2 Diabetes: What Is It? KidsHealth / For Parents / Type 2 ... español Diabetes tipo 2: ¿Qué es? What Is Diabetes? Diabetes is a disease that affects how the ...

  15. Three discussions on object-oriented typing

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    1992-01-01

    This paper summarizes three discussions conducted at the ECOOP'91 W5 Workshop on "Types, Inheritance, and Assignments" Tuesday July 16, 1991 in Geneva, Switzerland, organized by the authors.......This paper summarizes three discussions conducted at the ECOOP'91 W5 Workshop on "Types, Inheritance, and Assignments" Tuesday July 16, 1991 in Geneva, Switzerland, organized by the authors....

  16. Personality types and nicotine dependency among medical ...

    African Journals Online (AJOL)

    Moreover, some research indicates that there is no correlation between personality type, cigarette smoking, and heart disease, while some others mention that people with personality type A are more inclined towards smoking and related diseases. Thus, to test this hypothesis, we have studied possible correlations between ...

  17. Simple algebraic data types for C

    NARCIS (Netherlands)

    Hartel, Pieter H.; Muller, Henk L.

    Adt is a simple tool in the spirit of Lex and Yacc that makes monomorphic algebraic data types, polymorphic built-in types like the list and an efficient form of pattern matching available in C programs. C programs built with ADTs typically use NULL pointers only to indicate don't care values, and

  18. Displacement Ventilation by Different Types of Diffusers

    DEFF Research Database (Denmark)

    Nielsen, Peter V.; Hoff, Lars; Pedersen, Lars Germann

    The paper describes measuring results of the air movement from three different types of diffusers for displacement ventilation. Two of the diffusers are lowlevel wall mounted diffusers, one with a low and one with a high initial entrainment. The third diffuser is of the floor mounted type....

  19. Compactly Supported Curvelet-Type Systems

    DEFF Research Database (Denmark)

    Rasmussen, Kenneth Niemann; Nielsen, Morten

    2012-01-01

    We study a flexible method for constructing curvelet-type frames. These curvelet-type systems have the same sparse representation properties as curvelets for appropriate classes of smooth functions, and the flexibility of the method allows us to give a constructive description of how to construct...

  20. Serum markers for type II diabetes mellitus

    Energy Technology Data Exchange (ETDEWEB)

    Metz, Thomas O; Qian, Wei-Jun; Jacobs, Jon M; Polpitiya, Ashoka D; Camp, II, David G; Smith, Richard D

    2014-03-18

    A method for identifying persons with increased risk of developing type 2 diabetes mellitus utilizing selected biomarkers described hereafter either alone or in combination. The present invention allows for broad based, reliable, screening of large population bases and provides other advantages, including the formulation of effective strategies for characterizing, archiving, and contrasting data from multiple sample types under varying conditions.