WorldWideScience

Sample records for styrofoam speedling type

  1. Gambaran Perilaku Mahasiswa Dalam Menggunakan Plastik Dan Styrofoam Sebagai Kemasan Makanan Di Fakultas Kesehatan Masyarakat Universitas Sumatera Utara Tahun 2012

    OpenAIRE

    Fadli, Feri

    2013-01-01

    The usage of plastic and styrofoam as food packaging is behavioral example which damage and pollute the environment. The usage of plastic and styrofoam increase significantly and widely used thus causing health and environmental problems. The research aims to know the description of student’s behavior in using plastic and styrofoam as food packaging at Public Health Faculty of Sumatera Utara University in 2012. The type of this research is descriptive study with a survey method. The popul...

  2. Obtaining multifunctional composites using styrofoam recycling: methylene blue adsorption

    International Nuclear Information System (INIS)

    Silva, T.H. da; Ferreira, B.F.; Faria, E.H. de; Ciuffi, K.J.; Calefi, P.S.

    2011-01-01

    There is high risk of environmental contamination by the textile industry if the generated waste is disposed into water streams and rivers. Another sector responsible for the generation of large amounts of waste is the styrofoam industry, since styrofoam is employed in various areas for packaging production. Therefore, today there is constant search for sustainable economic growth by means of materials recycling and reduction of residual pollutants. In this context, the present work aims to promote styrofoam recycling with its further utilization in the production of a kaolin-styrofoam composite for application as adsorbent of methylene blue originated from textile industry effluents. This adsorption is investigated in a column system, by exploiting the adsorptive properties of kaolin, such as large surface area and chemical and structural characteristics. The obtained materials were characterized by thermogravimetric analysis, X-ray diffraction, and UV-visible absorption spectroscopy. (author)

  3. Styrofoam precursors as drop-in diesel fuel

    NARCIS (Netherlands)

    Reijnders, J.J.E.; Boot, M.D.; Goey, de L.P.H.; Johansson, B.H.

    2013-01-01

    Styrene, or ethylbenzene, is mainly used as a monomer for the production of polymers, most notably Styrofoam. In the synthetis of styrene, the feedstock of benzene and ethylene is converted into aromatic oxygenates such as benzaldehyde, 2-phenyl ethanol and acetophenone. Benzaldehyde and phenyl

  4. 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...

  5. Perilaku Mahasiswa Dalam Meminimalisir Penggunaan Kantong Plastik Dan Styrofoam Di Fakultas Kesehatan Masyarakat Universitas Sumatera Utara Tahun 2017

    OpenAIRE

    Sihombing, Margaretha Pratiwi

    2017-01-01

    131000630 Penggunaan plastik dan styrofoam sebagai kemasan makanan merupakan perilaku yang menyebabkan kerusakan dan pencemaran lingkungan. Penggunaan plastik dan styrofoam meningkat secara signifikan dan banyak digunakan sehingga menyebabkan masalah kesehatan dan lingkungan. Penelitian ini bertujuan untuk mengetahui perilaku mahasiswa dalam meminimalisir penggunaan kantong plastik dan styrofoam di Fakultas Kesehatan Masyarakat Universitas Sumatera Utara tahun 2017. Je...

  6. 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.

  7. 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.

  8. Pengetahuan, Sikap, dan Tindakan Pemilik Tempat Makanan Jajanan Tentang Penggunaan Styrofoam Sebagai Kemasan Makanan Di Kelurahan Padang Bulan Selayang I Kecamatan Medan Selayang Tahun 2010

    OpenAIRE

    Widyaningsih, Fadlilah

    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 (ED...

  9. 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.

  10. 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.

  11. 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.

  12. 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

  13. Effect of pressing temperature on the mechanical properties of waste styrofoam filled sawdust composite

    Science.gov (United States)

    Nasution, H.; Harahap, H.; Riani, R.; Pelawi, A. I.

    2018-02-01

    This study has investigated the effect of pressing temperature on mechanical properties of waste styrofoam composite filled with sawdust. The waste styrofoam as the matrix was mixed with sawdust as filler and maleic anhydride (6%wt) as a compatibilizer. The weight fraction ratio between matrix and filler 70:30 (wt) and wood fiber size of 100 mesh were conducted. The pressing temperatures were investigated using a hot press with temperatures varied viz. 120, 130, 150, and 170 °C. Surface modification was applied to sawdust to diminish its polarity so that it could be compatible with the non-polar waste styrofoam matrix. Composites were evaluated using Instron and impact tester machine to investigate the tensile strength and impact strength of the material, respectively. The result indicated that tensile strength has decreased with the increase of pressing temperature where the largest tensile strength is at 130 °C of 33 MPa. The same trend has occurred on impact strength, where the value has reached of 300 J/cm2 on pressing temperature of 130 °C. From scanning electron microscopy (SEM) analysis it is also confirmed that during impact test, the resistance of the composite which has been pressed at the temperature of 130 °C have given better morphology than the composite at 170 °C.

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

    International Nuclear Information System (INIS)

    Seo, K.S.; Lee, J.C.; Bang, K.S.; Han, H.S.; Chung, S.H.; Choi, B.I.; Ha, J.H.

    2004-01-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

  15. 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.

  16. Obtaining multifunctional composites using styrofoam recycling: methylene blue adsorption; Obtencao de compositos multifuncionais utilizando reciclagem de isopor: adsorcao de azul de metileno

    Energy Technology Data Exchange (ETDEWEB)

    Silva, T.H. da; Ferreira, B.F.; Faria, E.H. de; Ciuffi, K.J.; Calefi, P.S., E-mail: tiagohonoratosilva@hotmail.com [Universidade de Franca, SP (Brazil)

    2011-07-01

    There is high risk of environmental contamination by the textile industry if the generated waste is disposed into water streams and rivers. Another sector responsible for the generation of large amounts of waste is the styrofoam industry, since styrofoam is employed in various areas for packaging production. Therefore, today there is constant search for sustainable economic growth by means of materials recycling and reduction of residual pollutants. In this context, the present work aims to promote styrofoam recycling with its further utilization in the production of a kaolin-styrofoam composite for application as adsorbent of methylene blue originated from textile industry effluents. This adsorption is investigated in a column system, by exploiting the adsorptive properties of kaolin, such as large surface area and chemical and structural characteristics. The obtained materials were characterized by thermogravimetric analysis, X-ray diffraction, and UV-visible absorption spectroscopy. (author)

  17. Investigation on the feasibility of coffee husk (endocarp) as efficient filler material for enhancing physical and mechanical properties of styrofoam based particleboard

    Science.gov (United States)

    Milawarni; Nurlaili; Ernayusnianti

    2018-03-01

    This research focuses on introducing a coffee husk as viable and efficient filler for enhancing physical and mechanical properties of Styrofoam based particleboard. Heat treatment method was adopted to produce the particleboard from the mixture of coffee husk (CH) with Styrofoam (PS). Styrofoam is material derived from polystyrene. The aim of this research is to get the appropriate weight composition between coffee husks with PS and to identify the physical and mechanical properties of the produced particleboard. The composition of coffee husk varies between 0-90%wt. The manufacture of particleboard i.e. coffee husk milled with size 20/10 mesh then soak with 10% NaOH for 2 hours, rinsed with clean water and dried and weight according to the composition. The mixture of CH and PS is inserted into mold and put into hot-press. The result shows from physical properties that density, water absorption and thick development test corresponding with SNI 03-2105-2006 standard, the mechanical properties shows MOR test meets the standard on the addition of CH 10-50%, while the MOE test has not meet the standard.

  18. 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

  19. 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.

  20. Development of Particleboard from Waste Styrofoam and Sawdust

    African Journals Online (AJOL)

    OLUWASOGO

    in a chosen solvent, and properly mixed with sawdust by simple mechanical stirring, using hand lay-up process in ... achieved. Various organic and/or inorganic binders have been ... was hampered by the high viscosity of the resulting resin.

  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. 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.

  3. 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%.

  4. Blood typing

    Science.gov (United States)

    ... detect these minor antigens. It is done before transfusions, except in emergency situations. Alternative Names Cross matching; Rh typing; ABO blood typing; Blood group; Anemia - immune hemolytic blood type; ...

  5. 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...... unit (NICU) were K-typed by countercurrent immunoelectrophoresis (CCIE), O-typed by an inhibition enzyme-linked immunosorbent assay method, and typed by pulsed-field gel electrophoresis (PFGE) using the restriction enzyme XbaI. RESULTS: Typing data for the 104 bacteremia isolates were compared...... with regard to typability, number of types, maximum number of isolates per type, and the Discriminative Index (DI). O-typing combined with K-typing (DI 0.98) as O:K-serotyping (DI 0.99) gave a very discriminative typing system, whereas O-typing alone was not very discriminative (DI 0.76). PFGE (DI 1...

  6. Blood Types

    Science.gov (United States)

    ... blood, safe blood transfusions depend on careful blood typing and cross-matching. There are four major blood ... cause exceptions to the above patterns. ABO blood typing is not sufficient to prove or disprove paternity ...

  7. 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...

  8. 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....

  9. Blood Types

    Science.gov (United States)

    ... positive or Rh-negative blood may be given to Rh-positive patients. The rules for plasma are the reverse: ... ethnic and racial groups have different frequency of the main blood types in their populations. Approximately ...

  10. 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.

  11. Tank type LMFBR type reactors

    International Nuclear Information System (INIS)

    Shimizu, Hiroshi

    1985-01-01

    Purpose: To detect the abnormality in the suspended body or reactor core supporting structures thereby improve the safety and reliability of tank type LMFBR reactors. Constitution: Upon inspection during reactor operation period, the top end of the gripper sensing rod of a fuel exchanger is abutted against a supporting bed and the position of the reactor core supporting structures from the roof slab is measured by a stroke measuring device. Then, the sensing rod is pulled upwardly to abut against the arm portion and the position is measured by the stroke measuring device. The measuring procedures are carried out for all of the sensing rods and the measured values are compared with a previously determined value at the initial stage of the reactor operation. As a result, it is possible to detect excess distortions and abnormal deformation in the suspended body or reactor core supporting structures. Furthermore, integrity of the suspended body against thermal stresses can be secured by always measuring the coolant liquid level by the level measuring sensor. (Kamimura, M.)

  12. Type Classes for Lightweight Substructural Types

    Directory of Open Access Journals (Sweden)

    Edward Gan

    2015-02-01

    Full Text Available Linear and substructural types are powerful tools, but adding them to standard functional programming languages often means introducing extra annotations and typing machinery. We propose a lightweight substructural type system design that recasts the structural rules of weakening and contraction as type classes; we demonstrate this design in a prototype language, Clamp. Clamp supports polymorphic substructural types as well as an expressive system of mutable references. At the same time, it adds little additional overhead to a standard Damas-Hindley-Milner type system enriched with type classes. We have established type safety for the core model and implemented a type checker with type inference in Haskell.

  13. Effect of packaging type during postmortem aging and degree of doneness on pork chop sensory traits of loins selected to vary in color and marbling.

    Science.gov (United States)

    Klehm, B J; King, D A; Dilger, A C; Shackelford, S D; Boler, D D

    2018-05-04

    The objective was to determine the interactions between packaging type and degree of doneness on sensory traits of pork loins classified based on the newly proposed USDA quality grades. A total of 144 loins were selected from 2 groups of pigs (lean growth or meat quality production focus) to represent as much variation in visual color and marbling as possible. Selection was achieved with a VQG grading camera. The ventral surface of the loins was evaluated for loin quality traits at 1 d postmortem. At 2 d postmortem loins were sliced into 28-mm-thick chops. Chop within each loin was randomly assigned to either individual vacuum packages or to individual Styrofoam trays and overwrapped in polyvinyl chloride (PVC) oxygen permeable film. Overwrapped PVC packages were then placed in bulk packages and flushed with a gas mixture that contained approximately 0.4% carbon monoxide, 30% carbon dioxide, and 80% nitrogen. Vacuum-packaged chops were aged until 14 d postmortem. Chops packaged in PVC overwrap were aged until 9 d postmortem in the bulk packages, then placed on simulated retail display until 14 d postmortem. Chops from each packaging type were cooked to an internal temperature of either 63 °C or 71 °C for the evaluation of slice shear force (SSF) or for evaluation of tenderness, juiciness, and flavor by a trained panel. Data were analyzed as split-split plot design with production focus of the pigs, proposed USDA quality grade, packaging type, and degree of doneness as fixed effects. While there were main effect differences between production focuses, there were no interactions with production focus. There were also no 3-way (P ≥ 0.19) interactions and only one 2-way interaction among quality grade, packaging type, or degree of doneness. There were no differences in sensory tenderness (P = 0.30), juiciness (P = 0.49), flavor (P = 0.89), SSF (P = 0.13), or cook loss (P = 0.06) among USDA quality grades. There were no differences in sensory tenderness (P = 0

  14. 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

  15. Guarded dependent type theory with coinductive types

    DEFF Research Database (Denmark)

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

    2016-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......, type based, way. Clock quantifiers are used for controlled elimination of the later modality and for encoding coinductive types using guarded recursive types. Key to the development of gDTT are novel type and term formers involving what we call delayed substitutions’. These generalise the applicative...... 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....

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... Care of Type 2 Diabetes This two-page introduction to type 2 diabetes is in PDF format ... Basics Symptoms Type 1 Type 2 Gestational Myths Statistics Common Terms Genetics Living With Diabetes Recently Diagnosed ...

  17. 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...

  18. 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 ...

  19. Types of Dementia

    Science.gov (United States)

    ... Kids For Teens For Parents & Teachers Resolving Family Conflicts The Holidays and Alzheimer's Glossary Virtual Library Online ... Use Map Selector Search Alzheimer’s Association Alzheimer's & Dementia Types of Dementia Types of Dementia Types of Dementia ...

  20. 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 ...

  1. Types of Diabetes

    Science.gov (United States)

    ... Diabetes, Sexual, & Bladder Problems Clinical Trials 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 ...

  2. Facts about Type 2

    Medline Plus

    Full Text Available ... Day Diabetes Basics Home Symptoms Diagnosis America's Diabetes Challenge Type 1 Type 2 Facts About Type 2 ... Planner, and tips from experts Let's Be Well: Products to help you thrive with diabetes - lets-be- ...

  3. Type 2 diabetes

    Science.gov (United States)

    ... type 2 diabetes; Oral hypoglycemic - type 2 diabetes; High blood sugar - type 2 diabetes ... your kidneys are working well ( microalbuminuria and serum creatinine ). Visit your eye doctor at least once a ...

  4. 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 ...

  5. Guarded Cubical Type Theory

    DEFF Research Database (Denmark)

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

    2016-01-01

    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...... terms. CTT provides a computational interpretation of functional extensionality, is conjectured to have decidable type checking, and has an implemented type-checker. Our new type theory, called guarded cubical type theory, provides a computational interpretation of extensionality for guarded recursive...

  6. Facts about Type 2

    Medline Plus

    Full Text Available ... Do I Begin With Type2? Living With Type 1 Diabetes Enroll in the Living WIth Type 2 Diabetes Program In It Together We Can Help ... Tips for Caregivers Health Insurance Health Insurance ...

  7. Types of Blood Donations

    Science.gov (United States)

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

  8. 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 ...

  9. Guarded Cubical Type Theory

    DEFF Research Database (Denmark)

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

    2016-01-01

    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...... 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...

  10. Facts about Type 2

    Medline Plus

    Full Text Available ... August 1, 2013 Last Edited: October 27, 2015 Articles from Diabetes Forecast® magazine: lp-type-2, . In this section Diabetes Basics Type 2 Facts About Type 2 Recently Diagnosed Treatment and Care Blood ...

  11. 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 ...

  12. Type classes for mathematics in type theory

    OpenAIRE

    Spitters, Bas; Van der Weegen, Eelis

    2011-01-01

    The introduction of first-class type classes in the Coq system calls for re-examination of the basic interfaces used for mathematical formalization in type theory. We present a new set of type classes for mathematics and take full advantage of their unique features to make practical a particularly flexible approach formerly thought infeasible. Thus, we address both traditional proof engineering challenges as well as new ones resulting from our ambition to build upon this development a library...

  13. 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,...

  14. Several types of types in programming languages

    OpenAIRE

    Martini, Simone

    2015-01-01

    Part 2: Regular Submissions; International audience; Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of " type " in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper...

  15. Facts about Type 2

    Medline Plus

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

  16. 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...

  17. 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; an...

  18. Equational type logic

    NARCIS (Netherlands)

    Manca, V.; Salibra, A.; Scollo, Giuseppe

    1990-01-01

    Equational type logic is an extension of (conditional) equational logic, that enables one to deal in a single, unified framework with diverse phenomena such as partiality, type polymorphism and dependent types. In this logic, terms may denote types as well as elements, and atomic formulae are either

  19. Types of intersections.

    NARCIS (Netherlands)

    2015-01-01

    There are many types of intersections in the Netherlands. In an inherently safe road traffic system, however, the number of intersection types needs to be limited, depending on the road types that intersect. The desired types of intersections do not always correspond with the recommendations in the

  20. Type Inference with Inequalities

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff

    1991-01-01

    of (monotonic) inequalities on the types of variables and expressions. A general result about systems of inequalities over semilattices yields a solvable form. We distinguish between deciding typability (the existence of solutions) and type inference (the computation of a minimal solution). In our case, both......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...

  1. Towards Practical Gradual Typing

    OpenAIRE

    Takikawa, Asumu; Feltey, Daniel; Dean, Earl; Flatt, Matthew; Findler, Robert Bruce; Tobin-Hochstadt, Sam; Felleisen, Matthias

    2015-01-01

    Over the past 20 years, programmers have embraced dynamically-typed programming languages. By now, they have also come to realize that programs in these languages lack reliable type information for software engineering purposes. Gradual typing addresses this problem; it empowers programmers to annotate an existing system with sound type information on a piecemeal basis. This paper presents an implementation of a gradual type system for a full-featured class-based language as well as a novel p...

  2. 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...

  3. Multiparty symmetric sum types

    DEFF Research Database (Denmark)

    Nielsen, Lasse; Yoshida, Nobuko; Honda, Kohei

    2010-01-01

    This paper introduces a new theory of multiparty session types based on symmetric sum types, by which we can type non-deterministic orchestration choice behaviours. While the original branching type in session types can represent a choice made by a single participant and accepted by others...... determining how the session proceeds, the symmetric sum type represents a choice made by agreement among all the participants of a session. Such behaviour can be found in many practical systems, including collaborative workflow in healthcare systems for clinical practice guidelines (CPGs). Processes...... with the symmetric sums can be embedded into the original branching types using conductor processes. We show that this type-driven embedding preserves typability, satisfies semantic soundness and completeness, and meets the encodability criteria adapted to the typed setting. The theory leads to an efficient...

  4. Advances in Blood Typing.

    Science.gov (United States)

    Quraishy, N; Sapatnekar, S

    The clinical importance of blood group antigens relates to their ability to evoke immune antibodies that are capable of causing hemolysis. The most important antigens for safe transfusion are ABO and D (Rh), and typing for these antigens is routinely performed for patients awaiting transfusion, prenatal patients, and blood donors. Typing for other blood group antigens, typically of the Kell, Duffy, Kidd, and MNS blood groups, is sometimes necessary, for patients who have, or are likely to develop antibodies to these antigens. The most commonly used typing method is serological typing, based on hemagglutination reactions against specific antisera. This method is generally reliable and practical for routine use, but it has certain drawbacks. In recent years, molecular typing has emerged as an alternative or supplemental typing method. It is based on detecting the polymorphisms and mutations that control the expression of blood group antigens, and using this information to predict the probable antigen type. Molecular typing methods are useful when traditional serological typing methods cannot be used, as when a patient has been transfused and the sample is contaminated with red blood cells from the transfused blood component. Moreover, molecular typing methods can precisely identify clinically significant variant antigens that cannot be distinguished by serological typing; this capability has been exploited for the resolution of typing discrepancies and shows promise for the improved transfusion management of patients with sickle cell anemia. Despite its advantages, molecular typing has certain limitations, and it should be used in conjunction with serological methods. © 2016 Elsevier Inc. All rights reserved.

  5. Linearly Refined Session Types

    Directory of Open Access Journals (Sweden)

    Pedro Baltazar

    2012-11-01

    Full Text Available Session types capture precise protocol structure in concurrent programming, but do not specify properties of the exchanged values beyond their basic type. Refinement types are a form of dependent types that can address this limitation, combining types with logical formulae that may refer to program values and can constrain types using arbitrary predicates. We present a pi calculus with assume and assert operations, typed using a session discipline that incorporates refinement formulae written in a fragment of Multiplicative Linear Logic. Our original combination of session and refinement types, together with the well established benefits of linearity, allows very fine-grained specifications of communication protocols in which refinement formulae are treated as logical resources rather than persistent truths.

  6. Blood Type Puzzle.

    Science.gov (United States)

    Kelly, Janet

    1997-01-01

    Presents a blood type puzzle that provides a visual, hands-on mechanism by which students can examine blood group reactions. Offers students an opportunity to construct their own knowledge about blood types. (JRH)

  7. 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 ...

  8. Preventing Type 2 Diabetes

    Science.gov (United States)

    ... Sexual, & Bladder Problems Clinical Trials 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 ...

  9. Facts about Type 2

    Medline Plus

    Full Text Available ... Infographics Living with Diabetes Home Recently Diagnosed Where Do I Begin With Type2? Living With Type 1 ... Diabetes at School Tour de Cure Women's Series Do-It-Yourself Fundraising Become a Volunteer American Diabetes ...

  10. Facts about Type 2

    Medline Plus

    Full Text Available ... Type 1 Diabetes Enroll in the Living WIth Type 2 Diabetes Program In It Together We Can Help Center for Information Legal Assistance Success Stories ... Tips for Caregivers ...

  11. 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 ...

  12. Facts about Type 2

    Medline Plus

    Full Text Available ... and Type 2 Diabetes Know Your Rights Employment Discrimination Health Care Professionals Law Enforcement Driver's License For ... 1 Type 2 Gestational Myths Statistics Common Terms Genetics Living With Diabetes Recently Diagnosed Treatment & Care Complications ...

  13. Facts about Type 2

    Medline Plus

    Full Text Available ... 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 ...

  14. Facts about Type 2

    Medline Plus

    Full Text Available ... Type 2 Diabetes Risk Test Lower Your Risk Healthy Eating Overweight Smoking High Blood Pressure Physical Activity High ... type 2 can control their blood glucose with healthy eating and being active. But, your doctor may need ...

  15. 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 ...

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... 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 Office Find your local diabetes ...

  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 ... Generation of Brilliant Researchers Diabetes Pro: Professional Resources Online We Support Your Doctor Clinical Practice Guidelines Patient ...

  18. 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 ...

  19. Facts about Type 2

    Medline Plus

    Full Text Available ... 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 ...

  20. Facts about Type 2

    Medline Plus

    Full Text Available ... 2 Type 2 diabetes is the most common form of diabetes. In type 2 diabetes, your body ... Sign Up Thank you for signing up ' + ' '); $('.survey-form').show(); }, success: function (data) { $('#survey-errors').remove(); $('.survey- ...

  1. Types of chemotherapy

    Science.gov (United States)

    ... this page: //medlineplus.gov/ency/patientinstructions/000910.htm Types of chemotherapy To use the sharing features on this page, ... cancer.org/treatment/treatments-and-side-effects/treatment-types/chemotherapy/how-chemotherapy-drugs-work.html . Updated February 15, ...

  2. Facts about Type 2

    Medline Plus

    Full Text Available ... Us in the Fight for a Cure Your tax-deductible gift today can fund critical diabetes research ... Care of Type 2 Diabetes This two-page introduction to type 2 diabetes is in PDF format ...

  3. Facts about Type 2

    Medline Plus

    Full Text Available ... About Type 2 Recently Diagnosed Treatment and Care Blood Glucose Control Complications Medication Doctors, Nurses & More Enroll in the Living With Type 2 Diabetes Program donate en -- A Future Without Diabetes - a- ...

  4. Facts about Type 2

    Medline Plus

    Full Text Available ... or insulin to help you meet your target blood glucose levels. Type 2 usually gets worse over time – even if ... About Type 2 Recently Diagnosed Treatment and Care Blood Glucose ... Living With Type 2 Diabetes Program donate en -- A Future Without ...

  5. 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 ...

  6. Facts about Type 2

    Medline Plus

    Full Text Available ... from Diabetes Forecast® magazine: lp-type-2, . In this section Diabetes Basics Type 2 Facts About Type ... ensureArray(data.submitSurveyResponse.errors); $.each(surveyErrors, function () { if (this.errorField) { $('input[name="' + this.errorField + '"]').closest('.form-group') . ...

  7. Diabetes, Type 1

    OpenAIRE

    Riazi, Afsane; Bradley, Clare

    2007-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.

  8. 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...

  9. 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 ...

  10. Type Systems for Bigraphs

    DEFF Research Database (Denmark)

    Elsborg, Ebbe; Hildebrandt, Thomas; Sangiorgi, Davide

    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...

  11. Facts about Type 2

    Medline Plus

    Full Text Available ... or insulin to help you meet your target blood glucose levels. Type 2 usually gets worse over time – even if ... About Type 2 Recently Diagnosed Treatment and Care Blood Glucose ... the Living With Type 2 Diabetes Program donate en -- A Future Without ...

  12. 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.

  13. Guarded Type Promotion

    DEFF Research Database (Denmark)

    Winther, Johnni

    2011-01-01

    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...... 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....

  14. Improving Precision of Types

    DEFF Research Database (Denmark)

    Winther, Johnni

    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...

  15. Type B Drum packages

    International Nuclear Information System (INIS)

    Edwards, W.S.

    1995-11-01

    The Type B Drum package is a container in which a single drum containing Type B quantities of radioactive material will be packaged for shipment. The Type B Drum containers are being developed to fill a void in the packaging and transportation capabilities of the US Department of Energy (DOE), as no double containment packaging for single drums of Type B radioactive material is currently available. Several multiple-drum containers and shielded casks presently exist. However, the size and weight of these containers present multiple operational challenges for single-drum shipments. The Type B Drum containers will offer one unshielded version and, if needed, two shielded versions, and will provide for the option of either single or double containment. The primary users of the Type B Drum container will be any organization with a need to ship single drums of Type B radioactive material. Those users include laboratories, waste retrieval facilities, emergency response teams, and small facilities

  16. TypeSan : Practical type confusion detection

    NARCIS (Netherlands)

    Haller, Istvan; Jeon, Yuseok; Peng, Hui; Payer, Mathias; Giuffrida, Cristiano; Bos, Herbert; Van Der Kouwe, Erik

    2016-01-01

    The low-level C++ programming language is ubiquitously used for its modularity and performance. Typecasting is a fundamental concept in C++ (and object-oriented programming in general) to convert a pointer from one object type into another. However, downcasting (converting a base class pointer to a

  17. Honesty by Typing

    OpenAIRE

    Bartoletti , Massimo; Scalas , Alceste; Tuosto , Emilio; Zunino , Roberto

    2013-01-01

    We propose a type system for a calculus of contracting processes. Processes can establish sessions by stipulating contracts, and then can interact either by keeping the promises made, or not. Type safety guarantees that a typeable process is honest - that is, it abides by the contracts it has stipulated in all possible contexts, even in presence of dishonest adversaries. Type inference is decidable, and it allows to safely approximate the honesty of processes using either synchronous or async...

  18. 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.

  19. Facts about Type 2

    Medline Plus

    Full Text Available ... Type 2 Diabetes Know Your Rights Employment Discrimination Health Care Professionals Law ... Your Plate Gluten Free Diets Meal Planning for Vegetarian Diets Cook with Heart- ...

  20. Diabetes mellitus type 1

    OpenAIRE

    Desta, Semere Tekeste

    2017-01-01

    Høgskulen på Vestlandet Avdeling for helsefag for sykepleiere Tittel: Diabetes type 1 Bakgrunn for val av tema: I 2000 var det ca. 130 000 personer i Norge med diabetes, av disse hadde ca. 20 000 diabetes type 1. I dag er det ca. 230 000 personer som har diabetes i Norge. Av disse ca. 28 000 type 1 diabetes. Tallet viser hvor alvorlig sykdommen er, fordi det har vært og fortsatt er, en økning av antall diabetikere i Norge. Type 1 diabetes kan komme i alle aldersgrupper, men vanligvis...

  1. 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

  2. Type Ia Supernova Cosmology

    Science.gov (United States)

    Leibundgut, B.; Sullivan, M.

    2018-03-01

    The primary agent for Type Ia supernova cosmology is the uniformity of their appearance. We present the current status, achievements and uncertainties. The Hubble constant and the expansion history of the universe are key measurements provided by Type Ia supernovae. They were also instrumental in showing time dilation, which is a direct observational signature of expansion. Connections to explosion physics are made in the context of potential improvements of the quality of Type Ia supernovae as distance indicators. The coming years will see large efforts to use Type Ia supernovae to characterise dark energy.

  3. Facts about Type 2

    Medline Plus

    Full Text Available ... steps you take Help change the conversation about type 2 diabetes. Recipes and More: Diabetes Food Hub - ... }, success: function (data) { $('#survey-errors').remove(); $('. ...

  4. Facts about Type 2

    Medline Plus

    Full Text Available ... Plate Gluten Free Diets Meal Planning for Vegetarian Diets Cook with Heart-Healthy Foods Holiday ... Carbohydrates Types of Carbohydrates Carbohydrate Counting Make Your Carbs ...

  5. 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. ...

  6. Facts about Type 2

    Medline Plus

    Full Text Available ... to help you meet your target blood glucose levels. Type 2 usually gets worse over time – even if you don’t need medications at first, you may need to later on. Some groups have a higher risk for developing type 2 diabetes than ...

  7. Types of Anesthesia

    Science.gov (United States)

    ... Videos for Educators Search English Español Types of Anesthesia KidsHealth / For Teens / Types of Anesthesia What's in ... Get? Print en español Tipos de anestesia About Anesthesia Anesthesia is broken down into three main categories: ...

  8. 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 ...

  9. Type 1 Diabetes Facts

    Science.gov (United States)

    ... Affiliates JDRF Celebrity Ambassadors JDRF Logo Usage Contact Us Donate Events More Type 1 Diabetes Facts Type 1 diabetes (T1D) is an autoimmune ... about Insulin and T1D Learn More What Is Diabetes? Causes of T1D The Complexity of Diagnosing ... US CAREERS NEWSROOM FOR RESEARCHERS © JDRF 2018 • Privacy Policy • ...

  10. Facts about Type 2

    Medline Plus

    Full Text Available ... 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, and hand it out to patients. You ...

  11. Facts about Type 2

    Medline Plus

    Full Text Available ... or insulin to help you meet your target blood glucose levels. Type 2 usually gets worse over time – even if you don’t need medications at first, you may need to later on. Some groups have a higher risk for developing type 2 ...

  12. 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.

  13. Tension type headache

    Directory of Open Access Journals (Sweden)

    Debashish Chowdhury

    2012-01-01

    Full Text Available Tension type headaches are common in clinical practice. Earlier known by various names, the diagnosis has had psychological connotations. Recent evidence has helped clarify the neurobiological basis and the disorder is increasingly considered more in the preview of neurologists. The classification, clinical features, differential diagnosis and treatment of tension type headache are discussed in this paper.

  14. Facts about Type 2

    Medline Plus

    Full Text Available ... org > Diabetes Basics > Type 2 Share: Print Page Text Size: A A A Listen En Español Facts ... Type 2 Education Series Hear audio clips and full recordings of past Q&A events at your ...

  15. Molecular Typing and Differentiation

    Science.gov (United States)

    In this chapter, general background and bench protocols are provided for a number of molecular typing techniques in common use today. Methods for the molecular typing and differentiation of microorganisms began to be widely adopted following the development of the polymerase chai...

  16. 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....

  17. 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 2 About Us Online Community Meal Planning Sign In Search: Search More Sites Search ≡ Are You At Risk? Diabetes Basics Living with Diabetes Food & Fitness In My Community Advocacy Research & Practice Ways ...

  18. Facts about Type 2

    Medline Plus

    Full Text Available ... Honor Donation Donate by phone at 1-800-DIABETES (1-800-342-2383) Donate by mail Why Give? ... My Health Advisor Tools to Know Your Risk Diabetes Basics Symptoms Type 1 Type 2 Gestational Myths Statistics Common Terms Genetics ...

  19. 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.

  20. 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.

  1. Typed ψ-calculi

    DEFF Research Database (Denmark)

    Hüttel, Hans

    2011-01-01

    A large variety of process calculi extend the pi-calculus with more general notions of messages. Bengtson et al. have shown that many of these pi-like calculi can be expressed as so-called psi-calculi. In this paper, we describe a simple type system for psi-calculi. The type system satisfies a su...... for the distributed pi-calculus of Hennessy and Riely and finally show how existing type systems for secrecy and authenticity in the spi calculus can be represented and shown to be safe.......A large variety of process calculi extend the pi-calculus with more general notions of messages. Bengtson et al. have shown that many of these pi-like calculi can be expressed as so-called psi-calculi. In this paper, we describe a simple type system for psi-calculi. The type system satisfies...... a subject reduction property and a general notion of channel safety. A number of existing systems are shown to be instances of our system, and other, new type systems can also be obtained. We first present a new type system for the calculus of explicit fusions by Wischik and Gardner, then one...

  2. 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...

  3. 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 å ...

  4. Action Type Deontic Logic

    DEFF Research Database (Denmark)

    Bentzen, Martin Mose

    2014-01-01

    A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning...... 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...

  5. 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....

  6. Parametric compositional data types

    DEFF Research Database (Denmark)

    Bahr, Patrick; Hvitved, Tom

    2012-01-01

    In previous work we have illustrated the benefits that compositional data types (CDTs) offer for implementing languages and in general for dealing with abstract syntax trees (ASTs). Based on Swierstra's data types \\'a la carte, CDTs are implemented as a Haskell library that enables the definition...... of recursive data types and functions on them in a modular and extendable fashion. Although CDTs provide a powerful tool for analysing and manipulating ASTs, they lack a convenient representation of variable binders. In this paper we remedy this deficiency by combining the framework of CDTs with Chlipala...

  7. Type I supernova models

    International Nuclear Information System (INIS)

    Canal, Ramon; Labay, Javier; Isern, Jordi

    1987-01-01

    We briefly describe the characteristics of Type I supernova outbursts and we present the theoretical models so far advanced to explain them. We especially insist on models based on the thermonuclear explosion of a white dwarf in a close binary system, even regarding the recent division of Type I supernovae into the Ia and Ib subtypes. Together with models assuming explosive thermonuclear burning in a fluid interior, we consider in some detail those based on partially solid interiors. We finally discuss models that incorporate nonthermonuclear energy contributions, suggested in order to explain Type Ib outbursts. (Author)

  8. 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. ...

  9. 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 Advisor Tools ...

  10. 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...

  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 ... Disease (Nephropathy) Gastroparesis Mental Health Step On Up Treatment & Care Blood Glucose Testing Medication Doctors, Nurses & More ...

  12. 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 ... lwt2d-en.html Have Type 2 Diabetes? Our free program will help you live well. More from ...

  13. Facts about Type 2

    Medline Plus

    Full Text Available ... Risk Test Lower Your Risk Healthy Eating Overweight Smoking High Blood Pressure Physical Activity High Blood Glucose ... Index Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & Type 1 Diabetes Get Started Safely Get And ...

  14. Facts about Type 2

    Medline Plus

    Full Text Available ... for Association Events Messaging Tools Recruiting Advocates Local Market Planning Training Webinars News & Events Advocacy News Call ... medications or insulin to help you meet your target blood glucose levels. Type 2 usually gets worse ...

  15. Treating Type 2 Diabetes

    Science.gov (United States)

    ... health care team is there for you. Your child's diabetes management plan should be easy to understand, detailed, ... Can Diabetes Be Prevented? Monitoring Blood Sugar Your Child's Diabetes Health Care Team Medicines for Diabetes Type 2 ...

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... Future Without Diabetes - a-future-without-diabetes-2.html A Future Without Diabetes Donate towards research today ... Donate Today We Can Help - we-can-help.html Chat Online Chat Closed engagement en -- Have Type ...

  17. Facts about Type 2

    Medline Plus

    Full Text Available ... Diabetes Risk Test Lower Your Risk Healthy Eating Overweight Smoking High Blood Pressure Physical Activity High Blood ... For Parents & Kids Safe at School Everyday Life Children and Type 2 Diabetes Know Your Rights Employment ...

  18. 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 ...

  19. Types of Pesticide Ingredients

    Science.gov (United States)

    Pesticide active ingredients are described by the types of pests they control or how they work. For example, algicides kill algae, biopesticides are derived from natural materials, and insecticides kill insects.

  20. Facts about Type 2

    Medline Plus

    Full Text Available ... breast cancer and AIDS combined. Your gift today will help us get closer to curing diabetes and ... html Have Type 2 Diabetes? Our free program will help you live well. More from diabetes.org ...

  1. Facts about Type 2

    Medline Plus

    Full Text Available ... 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 ...

  2. 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 ... Find Your Local Office Find your local diabetes education program Calendar of Events Wellness Lives Here Awareness ...

  3. Facts about Type 2

    Medline Plus

    Full Text Available ... Meals Diabetes Meal Plans Create Your Plate Gluten Free Diets Meal Planning for Vegetarian Diets Cook with ... lwt2d-en.html Have Type 2 Diabetes? Our free program will help you live well. More from ...

  4. Teaching Typing by Transcription.

    Science.gov (United States)

    Janson, Eleanor L.

    1978-01-01

    In addition to discussing the program for teaching typewriting to blind students using the auditory mode, the article presents a sample lesson in print, along with typing rates achieved by earlier classes. (DLS)

  5. 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 ...

  6. Facts about Type 2

    Medline Plus

    Full Text Available ... Complications DKA (Ketoacidosis) & Ketones Kidney Disease (Nephropathy) Gastroparesis Mental Health Step On Up Treatment & Care Blood Glucose ... or heart. Some people with type 2 can control their blood glucose with healthy eating and being ...

  7. 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 ... 342-2383) Copyright 1995-2018. American Diabetes Association. All rights reserved. Use of this website constitutes acceptance ...

  8. Facts about Type 2

    Medline Plus

    Full Text Available ... Future Without Diabetes - a-future-without-diabetes-2.html A Future Without Diabetes Make your donation today ... Donate Today We Can Help - we-can-help.html Chat Online Chat Closed engagement en -- Have Type ...

  9. 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. ...

  10. 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 ...

  11. Facts about Type 2

    Medline Plus

    Full Text Available ... Know Your Rights Employment Discrimination Health Care Professionals Law Enforcement Driver's License For Lawyers Food & Fitness Home ... make enough insulin to keep your blood glucose levels normal. Type 2 is treated with lifestyle changes, ...

  12. 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 Your Rights Employment Discrimination Health Care Professionals Law Enforcement Driver's License For Lawyers ...

  13. Facts about Type 2

    Medline Plus

    Full Text Available ... A Day in the Life of Diabetes Famous People Working to Stop Diabetes Common Terms Diabetes Statistics ... hurt your eyes, kidneys, nerves or heart. Some people with type 2 can control their blood glucose ...

  14. 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 ...

  15. 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 ...

  16. Types of Crude Oil

    Science.gov (United States)

    The petroleum industry often classifies these types by geographical source, but the classification scheme here is more useful in a spill cleanup scenario. It indicates general toxicity, physical state, and changes caused by time and weathering.

  17. 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 ... at School Tour de Cure Women's Series Do-It-Yourself Fundraising Become a Volunteer American Diabetes Month® ...

  18. 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 Do-It-Yourself ...

  19. Facts about Type 2

    Medline Plus

    Full Text Available ... for Association Events Messaging Tools Recruiting Advocates Local Market Planning Training Webinars News & Events Advocacy News Call ... Diabetes Basics > Type 2 Share: Print Page Text Size: A A A Listen En Español Facts About ...

  20. Facts about Type 2

    Medline Plus

    Full Text Available ... Risk? Home Prevention Diagnosing Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk ... Diagnosis Lower Your Risk Risk Test Alert Day Prediabetes My Health Advisor Tools to Know Your Risk ...

  1. Facts about Type 2

    Medline Plus

    Full Text Available ... hotelscom.html Ways to Give Vacation for Donations Travel bookings completed through Hotels.com give 5% back ... about type 2 diabetes. Recipes and More: Diabetes Food Hub - recipes-and-more-1.html Recipes and ...

  2. 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 ...

  3. 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 ...

  4. Facts about Type 2

    Medline Plus

    Full Text Available ... Fruit Dairy Food Tips Eating Out Quick Meal Ideas Snacks Nutrient Content Claims Understanding Carbohydrates Types of ... our 2018 Tour de Cure events. Start your team today! More from diabetes.org Healthy Recipes: Delicious ...

  5. Facts about Type 2

    Medline Plus

    Full Text Available ... Us in the Fight for a Cure Your tax-deductible gift today can fund critical diabetes research ... Type 2 Diabetes Program Food & Fitness Food Recipes Planning Meals What Can I Eat Weight Loss Fitness ...

  6. 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 ...

  7. 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 ...

  8. Facts about Type 2

    Medline Plus

    Full Text Available ... for Association Events Messaging Tools Recruiting Advocates Local Market Planning Training Webinars News & Events Advocacy News Call ... Asian Americans/Pacific Islanders, as well as the aged population. Patient Education Materials — Taking Care of Type ...

  9. Facts about Type 2

    Medline Plus

    Full Text Available ... and Pacific Islanders American Indian/Alaska Native Programs Older ... may hurt your eyes, kidneys, nerves or heart. Some people with type 2 can control their blood glucose ...

  10. 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 ...

  11. Facts about Type 2

    Medline Plus

    Full Text Available ... 2 Enroll in the Living WIth Type 2 Diabetes Program Gestational What is Gestational Diabetes? How to Treat Gestational Diabetes Genetics of Diabetes Diabetes Myths A Day in ...

  12. Facts about Type 2

    Science.gov (United States)

    ... Rights Employment Discrimination Health Care Professionals Law Enforcement Driver's License For Lawyers Food & Fitness Home Food MyFoodAdvisor ... Fit Types of Activity Weight Loss Assess Your Lifestyle Getting Started Food Choices In My Community Home ...

  13. Facts about Type 2

    Medline Plus

    Full Text Available ... Rights Employment Discrimination Health Care Professionals Law Enforcement Driver's License For Lawyers Food & Fitness Home Food MyFoodAdvisor ... Fit Types of Activity Weight Loss Assess Your Lifestyle Getting Started Food Choices In My Community Home ...

  14. Facts about Type 2

    Medline Plus

    Full Text Available ... Day in the Life of Diabetes Famous People Working to Stop Diabetes Common Terms Diabetes Statistics Infographics Living with Diabetes Home Recently Diagnosed Where Do I Begin With Type2? ...

  15. 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 ...

  16. 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 ... 800-DIABETES (800-342-2383) Give by Mail Close www.diabetes.org > Diabetes Basics > Type 2 Share: ...

  17. 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...

  18. Facts about Type 2

    Medline Plus

    Full Text Available ... Are Research Leaders World's Largest Diabetes Meeting Recent Advances Type 1 Research Highlights Research Excellence Honorees How ... Diabetes causes more deaths a year than breast cancer and AIDS combined. Your gift today will help ...

  19. 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 ...

  20. Facts about Type 2

    Medline Plus

    Full Text Available ... 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 ...

  1. 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 ...

  2. 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 ...

  3. Types of Heart Failure

    Science.gov (United States)

    ... Introduction Types of Heart Failure Classes of Heart Failure Heart Failure in Children Advanced Heart Failure • Causes and ... and procedures related to heart disease and stroke. Heart Failure Questions to Ask Your Doctor Use these questions ...

  4. Facts about Type 2

    Medline Plus

    Full Text Available ... Are Research Leaders World's Largest Diabetes Meeting Recent Advances Type 1 Research Highlights Research Excellence Honorees How ... breast cancer and AIDS combined. Your gift today will help us get closer to curing diabetes and ...

  5. Facts about Type 2

    Medline Plus

    Full Text Available ... for the Uninsured Medicare Medicaid & CHIP For Parents & Kids Safe at School Everyday Life Children and Type ... Diagnosed Treatment & Care Complications Health Insurance For Parents & Kids Know Your Rights We Can Help Enroll in ...

  6. 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 Find Your Local Office Find your local diabetes education program Calendar of Events Wellness Lives Here ...

  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 ... 250 $500 Other Other Ways to Donate: In Memory Donation In Honor Donation Donate by phone at ...

  8. Facts about Type 2

    Medline Plus

    Full Text Available ... it can cause two problems: 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 ...

  9. Facts about Type 2

    Medline Plus

    Full Text Available ... of Events Wellness Lives Here Awareness Programs Hispanic Heritage Month African American Programs Latino Programs Asian Americans, ... 1 Type 2 Gestational Myths Statistics Common Terms Genetics Living With Diabetes Recently Diagnosed Treatment & Care Complications ...

  10. Multilocus Sequence Typing

    OpenAIRE

    Belén, Ana; Pavón, Ibarz; Maiden, Martin C.J.

    2009-01-01

    Multilocus sequence typing (MLST) was first proposed in 1998 as a typing approach that enables the unambiguous characterization of bacterial isolates in a standardized, reproducible, and portable manner using the human pathogen Neisseria meningitidis as the exemplar organism. Since then, the approach has been applied to a large and growing number of organisms by public health laboratories and research institutions. MLST data, shared by investigators over the world via the Internet, have been ...

  11. 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...

  12. 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 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....

  13. 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 ...

  14. Helical type vacuum container

    International Nuclear Information System (INIS)

    Owada, Kimio.

    1989-01-01

    Helical type vacuum containers in the prior art lack in considerations for thermal expansion stresses to helical coils, and there is a possibility of coil ruptures. The object of the present invention is to avoid the rupture of helical coils wound around the outer surface of a vacuum container against heat expansion if any. That is, bellows or heat expansion absorbing means are disposed to a cross section of a helical type vacuum container. With such a constitution, thermal expansion of helical coils per se due to temperature elevation of the coils during electric supply can be absorbed by expansion of the bellows or absorption of the heat expansion absorbing means. Further, this can be attained by arranging shear pins in the direction perpendicular to the bellows axis so that the bellows are not distorted when the helical coils are wound around the helical type vacuum container. (I.S.)

  15. 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

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... the Living WIth Type 2 Diabetes Program Gestational What is Gestational Diabetes? How to Treat Gestational Diabetes Genetics of Diabetes Diabetes Myths A Day in the Life of Diabetes Famous People Working to Stop Diabetes Common Terms Diabetes Statistics Infographics ...

  17. Facts about Type 2

    Medline Plus

    Full Text Available ... diabetes. » « Connect With Us Register for diabetes news, research and food & fitness tips. Email: Sign Up Thank you for ... Living WIth Type 2 Diabetes Program Food & Fitness Food Recipes Planning ... to Congress Research & Practice We Are Research Leaders We Support Your ...

  18. Facts about Type 2

    Medline Plus

    Full Text Available ... Risk? Home Prevention Diagnosing Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk ... Chat Closed engagement en -- So…Do You Have Prediabetes? - 2017-01-ad-council.html So…Do You ...

  19. Type VI secretion system.

    Science.gov (United States)

    Salomon, Dor; Orth, Kim

    2015-03-30

    Bacteria employ a variety of tools to survive in a competitive environment. Salomon and Orth describe one such tool-the Type 6 Secretion Systems used by bacteria to deliver a variety of toxins into competing cells. Copyright © 2015 Elsevier Ltd. All rights reserved.

  20. Facts about Type 2

    Medline Plus

    Full Text Available ... Are Research Leaders World's Largest Diabetes Meeting Recent Advances Type 1 Research Highlights Research Excellence Honorees How ... you for signing up ' + ' '); $('.survey-form').show(); }, success: function (data) { $('#survey-errors').remove(); $('.survey-form .form-group . ...

  1. Chemistry of Blood Type

    Science.gov (United States)

    Coleman, William F.

    2005-01-01

    The molecule of December 2005 comes from the paper by Rose, Palcic and Evans on structural factors determining the blood type. The structure was previously reported by Palcic and Evans and is presented without the water molecule that is determined in the crystal structure.

  2. 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 ... Health Advisor Tools to Know Your Risk Diabetes Basics ...

  3. Facts about Type 2

    Medline Plus

    Full Text Available ... Diabetes Meal Plans Create Your Plate Gluten Free Diets Meal Planning for Vegetarian Diets Cook with Heart-Healthy Foods Holiday Meal Planning ... Index Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & Type 1 Diabetes Get Started Safely Get And ...

  4. Facts about Type 2

    Medline Plus

    Full Text Available ... Gift Fundraising Events Donate Stocks Give by Phone 1-800-DIABETES (800-342-2383) Give by ... 2 diabetes is the most common form of diabetes. In type 2 diabetes, your body does not use insulin properly. This is called insulin resistance. At first, ...

  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. 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.

  7. 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 ... survey-loading').remove(); $('#emailsurvey').hide(); $('#emailsurveythanks').show(); } } }; /* bind any forms with the "luminateApi" class */ luminateExtend.api.bind(); }); })( ...

  8. [Enterocin typing of enterococci].

    Science.gov (United States)

    Sedov, V I

    1978-09-01

    The author worked out a method of enterocinotyping on enterococci. A possibility of enterococcus typing by means of a set of enterocinogenic enterococcus strains was shown. A mobile enterococcus 4 (10 p) strain, possessing a high antagonistic activity, is suggested for enterococcus identification. Differentiation of enterococcus species by the enterocine sensitivity proved to be impossible.

  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 ... You At Risk? Diabetes Basics Living with Diabetes Food & Fitness In My Community Advocacy Research & Practice Ways to Give Close Are You at Risk? ... Living WIth Type 2 Diabetes Program Food & Fitness Food Recipes Planning ... Congress Research & Practice We Are Research Leaders We Support Your Doctor ...

  11. Facts about Type 2

    Medline Plus

    Full Text Available ... Superfoods Non-starchy Vegetables Grains and Starchy Vegetables Fats Alcohol What Can I Drink? Fruit Dairy Food Tips Eating Out Quick Meal Ideas Snacks Nutrient Content Claims Understanding Carbohydrates Types of Carbohydrates Carbohydrate Counting Make Your Carbs Count ...

  12. Facts about Type 2

    Medline Plus

    Full Text Available ... August 1, 2013 Last Edited: October 27, 2015 Articles from Diabetes Forecast® magazine: lp-type-2, . In ... today and help fund grants supporting next generation scientists. Donate Today We Can Help - we-can-help. ...

  13. Facts about Type 2

    Medline Plus

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

  14. 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 ...

  15. 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 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 ...

  16. 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 ...

  17. 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 EXPO ... Asian Americans/Pacific Islanders, as well as the aged population. Patient Education Materials — Taking Care of Type 2 Diabetes This ... Health Advisor Tools to Know Your Risk Diabetes Basics ...

  18. Facts about Type 2

    Medline Plus

    Full Text Available ... You At Risk? Diabetes 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 Your Risk Healthy Eating Overweight Smoking High ...

  19. 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 Highlights Research Excellence Honorees How We Fund Research Funding the Next Generation of Brilliant Researchers Diabetes Pro: Professional Resources Online We Support Your ...

  20. Facts about Type 2

    Medline Plus

    Full Text Available ... isn’t able to keep up and can’t make enough insulin to keep your blood glucose levels normal. Type 2 is treated with lifestyle changes, oral medications (pills), and insulin. When glucose builds up in the blood instead of going into cells, it can cause two problems: Right away, your ...

  1. 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...

  2. Facts about Type 2

    Medline Plus

    Full Text Available ... News & Events Advocacy News Call to Congress The Cost of Diabetes Research & Practice Home We Are Research Leaders World's Largest Diabetes Meeting Recent Advances Type 1 Research Highlights Research Excellence Honorees How We Fund Research Funding the Next Generation of Brilliant Researchers ...

  3. Facts about Type 2

    Medline Plus

    Full Text Available ... Diets Cook with Heart-Healthy Foods Holiday Meal Planning What Can I Eat? Making Healthy Food Choices Diabetes ... Type 2 Diabetes Program Food & Fitness Food Recipes Planning Meals What Can I Eat Weight Loss Fitness In My ...

  4. 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...

  5. Type B drum packages

    International Nuclear Information System (INIS)

    McCoy, J.C.

    1994-08-01

    The Type B drum packages (TBD) are conceptualized as a family of containers in which a single 208 L or 114 L (55 gal or 30 gal) drum containing Type B quantities of radioactive material (RAM) can be packaged for shipment. The TBD containers are being developed to fill a void in the packaging and transportation capabilities of the U.S. Department of Energy as no container packaging single drums of Type B RAM exists offering double containment. Several multiple-drum containers currently exist, as well as a number of shielded casks, but the size and weight of these containers present many operational challenges for single-drum shipments. As an alternative, the TBD containers will offer up to three shielded versions (light, medium, and heavy) and one unshielded version, each offering single or optional double containment for a single drum. To reduce operational complexity, all versions will share similar design and operational features where possible. The primary users of the TBD containers are envisioned to be any organization desiring to ship single drums of Type B RAM, such as laboratories, waste retrieval activities, emergency response teams, etc. Currently, the TBD conceptual design is being developed with the final design and analysis to be completed in 1995 to 1996. Testing and certification of the unshielded version are planned to be completed in 1996 to 1997 with production to begin in 1997 to 1998

  6. Facts about Type 2

    Medline Plus

    Full Text Available ... for Association Events Messaging Tools Recruiting Advocates Local Market Planning Training Webinars News & Events Advocacy News Call to Congress The Cost of Diabetes Research & Practice Home We Are Research Leaders World's Largest Diabetes Meeting Recent Advances Type 1 ...

  7. Facts about Type 2

    Medline Plus

    Full Text Available ... Complications Neuropathy Foot Complications DKA (Ketoacidosis) & Ketones Kidney Disease (Nephropathy) Gastroparesis Mental Health Step On Up Treatment & ... Non-starchy Vegetables Grains and Starchy ... form of diabetes. In type 2 diabetes, your body does not use insulin properly. This is called insulin resistance. At ...

  8. 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 ...

  9. Facts about Type 2

    Medline Plus

    Full Text Available ... You At Risk? Diabetes Basics Living with Diabetes Food & Fitness In My Community Advocacy Research & Practice Ways to Give Close Are You at ... Living WIth Type 2 Diabetes Program Food & Fitness Food Recipes Planning ... to Congress Research & Practice We Are Research Leaders We Support Your ...

  10. 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...

  11. Types of planetary tori

    International Nuclear Information System (INIS)

    Huang, T.S.; Siscoe, G.L.

    1987-01-01

    While satellite tori are morphologically similar, they divide into dynamically distinct groups whose global balances of ions and neutrals are presently modeled in order to determine how a torus behaves as a consequence of whether it generates itself and whether it disperses or recombines in place. Six possible types of behavior result; attention is given to the equilibrium and stability of each type. The behavior of a perturbation is characterized by a trajectory in the two-dimensional space formed by the ion density and neutral density perturbations. The equilibrium is stable if a perturbation follows its trajectory toward the origin, but is unstable if the motion is away from it. An attempt is made to classify the Jupiter and Saturn tori in this light. 27 references

  12. Types, typologies, arguments

    OpenAIRE

    Plantin, Christian

    2017-01-01

    The concept of arguments schemes is fundamental for argumentation studies; but its implementation is not obvious. The first section of this contribution briefly starts from the concepts of argument scheme, typology of arguments schemes, and the foundational catalogue of 28 topoi from Aristotle's Rhetoric. The application of the "topical method" is first based on the knowledge of typologies of arguments, and then on the precise features defining an argument type. The practical question that re...

  13. Contract types - turnkey

    International Nuclear Information System (INIS)

    Loeffler, G.

    1975-01-01

    Turnkey or the turnkey type of contract refers to a system of management according to which one organization accepts total responsibility for completing all parts and all phases of a project. In the case of a power project the turnkey contractor undertakes to design the plant, supply or procure and erect the equipment, build the station and put it into operation. (orig./FW) [de

  14. Nuclear reactor types

    International Nuclear Information System (INIS)

    Jones, P.M.S.

    1987-01-01

    The characteristics of different reactor types designed to exploit controlled fission reactions are explained. Reactors vary from low power research devices to high power devices especially designed to produce heat, either for direct use or to produce steam to drive turbines to generate electricity or propel ships. A general outline of basic reactors (thermal and fast) is given and then the different designs considered. The first are gas cooled, including the Magnox reactors (a list of UK Magnox stations and reactor performance is given), advanced gas cooled reactors (a list of UK AGRs is given) and the high temperature reactor. Light water cooled reactors (pressurized water [PWR] and boiling water [BWR] reactors) are considered next. Heavy water reactors are explained and listed. The pressurized heavy water reactors (including CANDU type reactors), boiling light water, steam generating heavy water reactors and gas cooled heavy water reactors all come into this category. Fast reactors (liquid metal fast breeder reactors and gas cooled fast reactors) and then water-cooled graphite-moderated reactors (RBMK) (the type at Chernobyl-4) are discussed. (U.K.)

  15. Tank type reactor

    International Nuclear Information System (INIS)

    Otsuka, Fumio.

    1989-01-01

    The present invention concerns a tank type reactor capable of securing reactor core integrity by preventing incorporation of gases to an intermediate heat exchanger, thgereby improving the reliability. In a conventional tank type reactor, since vortex flows are easily caused near the inlet of an intermediate heat exchanger, there is a fear that cover gases are involved into the coolant main streams to induce fetal accidents. In the present invention, a reactor core is suspended by way of a suspending body to the inside of a reactor vessel and an intermediate heat exchanger and a pump are disposed between the suspending body and the reactor vessel, in which a vortex current preventive plate is attached at the outside near the coolant inlet on the primary circuit of the intermediate heat exchanger. In this way vortex or turbulence near the inlet of the intermediate heata exchanger or near the surface of coolants can be prevented. Accordingly, the cover gases are no more involved, to insure the reactor core integrity and obtain a tank type nuclear reactor of high reliability. (I.S.)

  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. Play the Blood Typing Game

    Science.gov (United States)

    ... Nobel's Life and Work Teachers' Questionnaire The Blood Typing Game What happens if you get a blood ... learn about human blood types! Play the Blood Typing Game 28 September 2017 The mission based game ...

  18. Type 1 autoimmune pancreatitis.

    Science.gov (United States)

    Zen, Yoh; Bogdanos, Dimitrios P; Kawa, Shigeyuki

    2011-12-07

    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 regulatory T-cells are assumed

  19. 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

  20. Type 2 diabetes mellitus

    DEFF Research Database (Denmark)

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

    2015-01-01

    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...... that multiple antidiabetic agents, used in combination, will be required to maintain normoglycaemia. The treatment must not only be effective and safe but also improve the quality of life. Several novel medications are in development, but the greatest need is for agents that enhance insulin sensitivity, halt...

  1. Tension-type headache

    DEFF Research Database (Denmark)

    Bendtsen, Lars; Jensen, Rigmor; Bendtsen, Lars

    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...... is important for the pathophysiology of episodic TTH, whereas sensitization of central nociceptive pathways seems responsible for the conversion of episodic to chronic TTH. Headache-related disability usually can be reduced by identification of trigger factors combined with nonpharmacologic and pharmacologic...... treatments, but effective treatment modalities are lacking. Benefits can be gained by development of specific and effective treatment strategies....

  2. Desmoid-type fibromatosis

    International Nuclear Information System (INIS)

    Otero, S.; Moskovic, E.C.; Strauss, D.C.; Benson, C.; Miah, A.B.; Thway, K.; Messiou, C.

    2015-01-01

    Desmoid-type fibromatosis is a rare, locally infiltrative, mesenchymal neoplasm that is associated with high rates of local recurrence but lacks the potential to metastasise. The disease affects younger individuals, with a peak age of 30 years, and is the most common cause of an anterior abdominal wall mass in young women of childbearing age. It may, however, involve nearly every body part, including the extremities, head and neck, trunk, and abdominal cavity; as such, desmoid-type fibromatosis may present to a range of general and subspecialty radiologists. These rare tumours have a widely variable clinical presentation and unpredictable natural history, hence input from a soft-tissue tumour centre is recommended, although much of the imaging may be performed at the patient's local hospital. The consensus for treatment has changed over the past decade, with most centres moving away from primary radical surgery towards a front-line ‘watch-and-wait’ policy. Therefore, imaging has an increasingly important role to play in both the diagnosis and follow-up of these patients. This review will discuss the typical imaging characteristics of these lesions and suggest diagnostic and follow-up magnetic resonance imaging protocols, with details of suitable sequences and scanning intervals

  3. BWR type nuclear reactors

    International Nuclear Information System (INIS)

    Yamamoto, Toru.

    1987-01-01

    Purpose: To obtain reactor core characteristics with less changes in the excess reactivity due to fuel burnup even when the operation period varies. Constitution: In a BWR type reactor where fuel assemblies containing fuel rods incorporated with burnable poisons are arranged, the fuel assemblies are grouped into first fuel assemblies and second fuel assemblies. Then, the number of fuel rods incorporated with burnable poisons within the first fuel assemblies is made greater than that of the second fuel rods, while the concentration of the burnable poisons in the fuel rods incorporated with the burnable poisons in the first fuel assemblies is made lower than that of the fuel rods incorporated with the burnable poisons in the second fuel assemblies. In the BWR type reactor constituted in this way, the reactor core characteristics can be improved by changing the ratio between the first fuel assemblies and the second fuel assemblies charged to the reactor core, thereby decreasing the changes in the burnup of the excess reactivity. (Kamimura, M.)

  4. Stack semantics of type theory

    DEFF Research Database (Denmark)

    Coquand, Thierry; Mannaa, Bassel; Ruch, Fabian

    2017-01-01

    We give a model of dependent type theory with one univalent universe and propositional truncation interpreting a type as a stack, generalizing the groupoid model of type theory. As an application, we show that countable choice cannot be proved in dependent type theory with one univalent universe...

  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. Types for DSP Assembler Programs

    DEFF Research Database (Denmark)

    Larsen, Ken

    2006-01-01

    for reuse, and a procedure that computes point-wise vector multiplication. The latter uses a common idiom of prefetching memory resulting in out-of-bounds reading from memory. I present two extensions to the baseline type system: The first extension is a simple modification of some type rules to allow out......-ofbounds reading from memory. The second extension is based on two major modifications of the baseline type system: • Abandoning the type-invariance principle of memory locations and using a variation of alias types instead. • Introducing aggregate types, making it possible to have different views of a block...... of memory, thus enabling type checking of programs that directly manage and reuse memory. I show that both the baseline type system and the extended type system can be used to give type annotations to handwritten DSP assembler code, and that these annotations precisely and succinctly describe...

  7. Glutaric aciduria type I

    International Nuclear Information System (INIS)

    Mandel, H.; Berant, M.; Braun, J.; Technion-Israel Inst. of Tech., Haifa; El-Peleg, O.; Christensen, E.

    1991-01-01

    Serial CT findings in an infant with glutaric aciduria type I (GA-I) are reported. The major CT features were dilatation of the insular cisterns, regression of the temporal lobes, with 'bat wings' dilatation of the Sylvian fissures and hypodensity of the lenticular nuclei. CT changes preceded the onset of symptoms by 3 months. An improvement in the temporal lobe atrophy was seen after a period of treatment, coinciding with marked clinical improvement. A peculiar feature was the presence of external hydrocephalus, which diverted the attention from manifestations of the primary disease and thus constituted a diagnostic pitfall. The delineation and recognition of the characteristic radiologic manifestations of GA-I are essential for allowing an adequate radiologist/clinician interaction in diagnosing this inborn error of metabolism. (orig.)

  8. Biomechanically acquired foot types

    International Nuclear Information System (INIS)

    Weissman, S.D.

    1989-01-01

    Over the years, orthopedics of the foot has gone through many stages and phases, each of which has spawned a whole vocabulary of its own. According the author, today we are in the biomechanical age, which represents a step forward in understanding the mechanisms governing the functions of the lower extremity. A great deal of scientific research on the various foot types and pathological entities is now being performed. This paper discusses how, from a radiographic point of view, a knowledge of certain angular relationships must be achieved before one can perform a biomechanical evaluation. In order to validate the gross clinical findings, following an examination of a patient, a biomechanical evaluation can be performed on the radiographs taken. It must be remembered, however, that x-rays are never the sole means of making a diagnosis. They are just one of many findings that must be put together to arrive at a pertinent clinical assessment or diagnosis

  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. Pressure tube type reactors

    International Nuclear Information System (INIS)

    Komada, Masaoki.

    1981-01-01

    Purpose: To increase the safety of pressure tube type reactors by providing an additional ECCS system to an ordinary ECCS system and injecting heavy water in the reactor core tank into pressure tubes upon fractures of the tubes. Constitution: Upon fractures of pressure tubes, reduction of the pressure in the fractured tubes to the atmospheric pressure in confirmed and the electromagnetic valve is operated to completely isolate the pressure tubes from the fractured portion. Then, the heavy water in the reactor core tank flows into and spontaneously recycles through the pressure tubes to cool the fuels in the tube to prevent their meltdown. By additionally providing the separate ECCS system to the ordinary ECCS system, fuels can be cooled upon loss of coolant accidents to improve the safety of the reactors. (Moriyama, K.)

  11. 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.

  12. BWR type reactors

    International Nuclear Information System (INIS)

    Yano, Ryoichi; Sato, Takashi; Osaki, Masahiko; Hirayama, Fumio; Watabe, Atsushi.

    1980-01-01

    Purpose: To effectively eliminate radioactive substances released upon loss of coolant accidents in BWR type reactors. Constitution: A high pressure gas jetting device having a plurality of small aperture nozzles is provided above a spray nozzle, that is, at the top of a dry well. The jetting device is connected to a vacuum breaker provided in a pressure suppression chamber. Upon loss of coolant accident, coolants are sprayed from the spray nozzle and air or nitrogen is jetted from the gas jetting device as well. Then, the gases in the dry well are disturbed, whereby radioactive iodine at high concentration liable to be accumulated in the dry well is forced downwardly, dissolved in the spray water and eliminated. (Ikeda, J.)

  13. Types of collapse calderas

    Energy Technology Data Exchange (ETDEWEB)

    Aguirre-Diaz, Gerardo J [Centro de Geociencias, Universidad Nacional Autonoma de Mexico, Campus Juriquilla, Queretaro, Qro., 76230 (Mexico)], E-mail: ger@geociencias.unam.mx

    2008-10-01

    Three main types of collapse calderas can be defined, 1) summit caldera: those formed at the top of large volcanoes, 2) classic caldera: semi-circular to irregular-shaped large structures, several km in diameter and related to relatively large-volume pyroclastic products, and 3) graben caldera: explosive volcano-tectonic collapse structures from which large-volume, ignimbrite-forming eruptions occurred through several fissural vents along the graben master faults and the intra-graben block faults. These in turn can collapse at least with three styles: 1) Piston: when the collapse occurs as a single crustal block; 2) Trap-door: when collapse occurs unevenly along one side while the opposite side remains with no collapse; 3) Piece-meal: when collapse occurs as broken pieces of the crust on top of the magma chamber.

  14. 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.

  15. EXPERIMENTAL PNEUMONIA (FRIEDLANDER TYPE).

    Science.gov (United States)

    Sisson, W R; Walker, I C

    1915-12-01

    The foregoing experiments show that in cats a definite lobar pneumonia may be caused by Bacillus mucosus capsulatus. Judging both from the clinical course and from the pathological findings, this form of pulmonary infection differs from the usual pneumococcus types of pneumonia and closely resembles the so called Friedländer's bacillus or Bacillus pneumonioe in man. In all instances in which a lobar pneumonia was found after the injection of the bacillus, a similar organism was recovered from the lung, and in no case was this associated with other organisms. The course of the disease in cats is very short, the animals developing early symptoms of profound toxemia. In 87 per cent of the animals showing a lobar pneumonia positive blood cultures were obtained. The pathological findings, judging from the early stages of the disease, are subject to considerable variation. In some instances the process may suggest a pseudolobar or confluent lobular distribution. In these cases the lung has a mottled, marble-like appearance. In the majority of cases, however, the process gave a more homogeneous appearance, suggesting a diffuse and uniform distribution. Foci of hemorrhage were not uncommon in both. Such areas cause the mottled appearance sometimes found. In all instances the consolidated lung presents a greater infiltration of tissue than is usually seen in other types of experimental pneumonia. Although the exudate as seen on the cut surface may be abundant and especially viscid in character, this is not present in most cases. The cut surface of the consolidated lung does not present a granular appearance. The histological findings are also subject to considerable variation. In most instances the infundibular and alveolar spaces are completely filled with an exudate made up chiefly of polymorphonuclear cells. Associated with these are the capsulated bacilli, large vacuolated mononuclear phagocytic cells, and red blood cells, and occasionally small amounts of fibrin. The

  16. Object-Oriented Type Systems

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    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...... 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...

  17. Pediatric obesity & type 2 diabetes.

    Science.gov (United States)

    Dea, Tara L

    2011-01-01

    This article focuses on (a) identifying obesity and other risk factors for developing type 2 diabetes, (b) differentiating between pediatric type 1 diabetes and type 2 diabetes, and (c) treating pediatric type 2 diabetes. Obesity has significant implications on a child's health, including an increased risk for insulin resistance and progression to type 2 diabetes. Type 2 diabetes in children, characterized by insulin resistance and relative pancreatic b-cell failure due to the increased demand for insulin production, has now reached epidemic proportions. Longitudinal research on pediatric type 2 diabetes, however, is lacking because this epidemic is relatively new. Treatment of type 2 diabetes in children is focused on lifestyle modification with weight management/increased physical activity, and pharmacological management through oral medication or insulin therapy. Because children with type 2 diabetes are at risk for developing diabetes-related complications earlier in life, they need to be closely monitored for comorbidities.

  18. Type 1 or Type 2 Diabetes and Pregnancy

    Science.gov (United States)

    ... and Pregnancy Articles Type 1 or Type 2 Diabetes and Pregnancy Language: English (US) Español (Spanish) Recommend on Facebook Tweet Share Compartir Problems of Diabetes in Pregnancy Blood sugar that is not well ...

  19. FBR type reactor

    International Nuclear Information System (INIS)

    Kimura, Kimitaka; Fukuie, Ken; Iijima, Tooru; Shimpo, Masakazu.

    1994-01-01

    In an FBR type reactor for exchanging fuels by pulling up reactor core upper mechanisms, a connection mechanism is disposed for connecting the top of the reactor core and the lower end of the reactor core upper mechanisms. In addition, a cylindrical body is disposed surrounding the reactor core upper mechanisms, and a support member is disposed to the cylindrical body for supporting an intermediate portion of the reactor core upper mechanisms. Then, the lower end of the reactor core upper mechanisms is connected to the top of the reactor core. Same displacements are caused to both of them upon occurrence of earthquakes and, as a result, it is possible to eliminate mutual horizontal displacement between a control rod guide hole of the reactor core upper mechanisms and a control rod insertion hole of the reactor core. In addition, since the intermediate portion of the reactor core upper mechanisms is supported by the support member disposed to the cylindrical body surrounding the reactor core upper mechanisms, deformation caused to the lower end of the reactor core upper mechanisms is reduced, so that the mutual horizontal displacement with respect to the control rod insertion hole of the reactor core can be reduced. As a result, performance of control rod insertion upon occurrence of the earthquakes is improved, so that reactor shutdown is conducted more reliably to improve reactor safety. (N.H.)

  20. BWR type reactors

    International Nuclear Information System (INIS)

    Watanabe, Shoichi

    1986-01-01

    Purpose: To enable to remove water not by way of mechanical operation in a reactor core and improve the fuel economy in BWR type reactors. Constitution: A hollow water removing rod of a cross-like profile made of material having a smaller neutron absorption cross section than the moderator is disposed to the water gap for each of unit structures composed of four fuel assemblies, and water is charged and discharged to and from the water removing rod. Water is removed from the water removing rod to decrease the moderators in the water gap to carry out neutron spectrum shift operation from the initial to the medium stage of reactor core cycles. At the final stage of the cycle, airs in the water removing rod are extracted and the moderator is introduced. The moderator is filled and the criticality is maintained with the accumulated nuclear fission materials. The neutron spectrum shift operation can be attained by eliminating hydrothermodynamic instability and using a water removing rod of a simple structure. (Horiuchi, T.)

  1. 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.

  2. FBR type reactor core

    International Nuclear Information System (INIS)

    Tamiya, Tadashi; Kawashima, Katsuyuki; Fujimura, Koji; Murakami, Tomoko.

    1995-01-01

    Neutron reflectors are disposed at the periphery of a reactor core fuel region and a blanket region, and a neutron shielding region is disposed at the periphery of them. The neutron reflector has a hollow duct structure having a sealed upper portion, a lower portion opened to cooling water, in which a gas and coolants separately sealed in the inside thereof. A driving pressure of a primary recycling pump is lowered upon reduction of coolant flow rate, then the liquid level of coolants in the neutron reflector is lowered due to imbalance between the driving pressure and a gas pressure, so that coolants having an effect as a reflector are eliminated from the outer circumference of the reactor core. Therefore, the amount of neutrons leaking from the reactor core is increased, and negative reactivity is charged to the reactor core. The negative reactivity of the neutron reflector is made greater than a power compensation reactivity. Since this enables reactor scram by using an inherent performance of the reactor core, the reactor core safety of an LMFBR-type reactor can be improved. (I.N.)

  3. FBR type reactor

    International Nuclear Information System (INIS)

    Jinbo, Masakazu; Kawakami, Hiroto; Nagaoka, Kazuhito.

    1996-01-01

    In a LMFBR type reactor, a liquid level control means is disposed for lowering a level of liquid metal present in an annular gap along with temperature elevation of the liquid metal after the level is once elevated upon start-up of the reactor. In addition, a liquid level measuring means is disposed for measuring the level of the liquid metal present in the annular gap so as to intermittently lower the liquid level. Thus, temperature gradient in the vertical direction of the container can be moderated compared with the case where the liquid level is not changed or the case where temperature is changed together with the elevation of the liquid level. As a result, the change of difference of thermal expansion is decreased to reduce stresses generated in the circumferential direction thereby preventing occurrence of a liquid level heat ratchet phenomenon. Even if the liquid level control means should stop during operation, the liquid level lowers and does not cause a sharp heat gradient as in the case where the liquid level is elevated, and since the temperature of the liquid level is lowered even after shut down of the reactor, generated stresses are not increased. Safety of an intermediate heat exchanger vessel is ensured and observation from a control chamber is enabled. (N.H.)

  4. LMFBR type reactor

    International Nuclear Information System (INIS)

    Masumi, Ryoji; Kawashima, Katsuyuki; Kurihara, Kunitoshi.

    1988-01-01

    Purpose: To flatten the power distribution while maintaining the flattening in the axial power distribution in LMFBR type reactors. Constitution: Main system control rods are divided into control rods used for the operation and starting rods used for the starting of the reactor, and the starting rods are disposed in the radial periphery of the reactor core, while the control rods are disposed to the inside of the starting rods. With such a constitution, adjusting rods can be disposed in the region where the radial power peaking is generated to facilitate the flattening of the power distribution even in such a design that the ratio of the number of control rods to that of fuel assemblies is relatively large. That is, in this reactor, the radial power peaking is reduced by about 10% as compared with the conventional reactor core. As a result, the maximum linear power density during operation is reduced by about 10% to increase the thermal margin of the reactor core. If the maximum linear power density is set identical, the number of the fuel assemblies can be decreased by about 10%, to thereby reduce the fuel production cost. (K.M.)

  5. PWR type reactor plant

    International Nuclear Information System (INIS)

    Matsuoka, Tsuyoshi.

    1993-01-01

    A water chamber of a horizontal U-shaped pipe type steam generator is partitioned to an upper high temperature water chamber portion and a lower low temperature water chamber portion. An exit nozzle of a reactor container containing a reactor core therein is connected to a suction port of a coolant pump by way of first high temperature pipelines. The exit port of the coolant pump is connected to the high temperature water chamber portion of the steam generator by way of second high temperature pipelines. The low temperature water chamber portion of the steam generator is connected to an inlet nozzle of the reactor container by way of the low temperature pipelines. The low temperature water chamber portion of the steam generator is positioned lower than the high temperature water chamber portion, but upper than the reactor core. Accordingly, all of the steam generator for a primary coolant system, coolant pumps as well as high temperature pipelines and low temperature pipelines connecting them are disposed above the reactor core. With such a constitution, there is no worry of interrupting core cooling even upon occurrence of an accident, to improve plant safety. (I.N.)

  6. FBR type reactors

    International Nuclear Information System (INIS)

    Nakamura, Tsugio.

    1986-01-01

    Purpose: To ensure the thermal integrity of a reactor vessel in FBR type reactors by preventing sodium vapors or the likes from intruding into a shielding chamber and avoiding spontaneous convection thereof. Constitution: There are provided a shielding plug for shielding the upper opening of a reactor container, an annular thermal member disposed to the circumferential side in the container, a shielding member for shielding upper end of the shielding chamber and a plurality of convection preventive plates suspended from the thermal member into the shielding chamber, and the shielding chamber is communicated by way of the relatively low temperature portion of the container with a gas communication pipe. That is, by closing the upper end of the shielding chamber with the shielding member, coolant vapors, etc. can be prevented from intruding into the shielding chamber. Further, the convection preventive plates prevent the occurrence of spontaneous convection in the shielding chamber. Further, the gas communication pipe absorbs the expansion and contraction of gases in the shielding chamber to effectively prevent the deformation or the like for each of the structural materials. In this way, the thermal integrity of the reactor container can surely be maintained. (Horiuchi, T.)

  7. FBR type reactors

    International Nuclear Information System (INIS)

    Suzuoki, Akira; Yamakawa, Masanori.

    1985-01-01

    Purpose: To enable safety and reliable after-heat removal from a reactor core. Constitution: During ordinary operation of a FBR type reactor, sodium coolants heated to a high temperature in a reactor core are exhausted therefrom, collide against the reactor core upper mechanisms to radially change the flowing direction and then enter between each of the guide vanes. In the case if a main recycling pump is failed and stopped during reactor operation and the recycling force is eliminated, the swirling stream of sodium that has been resulted by the flow guide mechanism during normal reactor operation is continuously maintained within a plenum at a high temperature. Accordingly, the sodium recycling force in the coolant flow channels within the reactor vessel can surely be maintained for a long period of time due to the centrifugal force of the sodium swirling stream. In this way, since the reactor core recycling flow rate can be secured even after the stopping of the main recycling pump, after-heat from the reactor core can safely and surely be removed. (Seki, T.)

  8. Loop type LMFBR reactor

    International Nuclear Information System (INIS)

    Ito, Hiroyuki

    1989-01-01

    In conventional FBR type reactors, primary coolants at high temperature uprise at a great flow rate and, due to the dynamic pressure thereof, the free surface is raised or sodium is partially jetted upwardly and then fallen again. Then, a wave killing plate comprising a buffer plate and a deflection plate is disposed to the liquid surface of coolants. Most of primary sodium uprising from the reactor core along the side of the upper mechanism during operation collide against the buffer plate of the wave killing plate to moderate the dynamic pressure and, further, disperse radially of the reactor vessel. On the other hand, primary sodium passing through flowing apertures collides against the deflection plate opposed to the flowing apertures to moderate the dynamic pressure, by which the force of raising the free surface is reduced. Thus, uprising and waving of the free surface can effectively be suppressed to reduce the incorporation of cover gases into the primary sodium, so that it is possible to prevent in injury of the recycling pump, abrupt increase of the reactor core reactivity and reduction of the heat efficiency of intermediate heat exchangers. (N.H.)

  9. BWR type reactor core

    International Nuclear Information System (INIS)

    Tatemichi, Shin-ichiro.

    1981-01-01

    Purpose: To eliminate the variation in the power distribution of a BWR type reactor core in the axial direction even if the flow rate is increased or decreased by providing a difference in the void coefficient between the upper part and the lower parts of the reactor core, and increasing the void coefficient at the lower part of the reactor core. Constitution: The void coefficient of the lower region from the center to the lower part along the axial direction of a nuclear fuel assembly is increased to decrease the dependence on the flow rate of the axial power distribution of the nuclear fuel assembly. That is, a water/fuel ratio is varied, the water in non-boiled region is increased or the neutron spectrum is varied so as to vary the void coefficient. In order to exemplify it, the rate of the internal pellets of the fuel rod of the nuclear fuel assembly or the shape of the channel box is varied. Accordingly, the power does not considerably vary even if the flow rate is altered since the power is varied in the power operation. (Yoshihara, H.)

  10. FBR type reactor

    International Nuclear Information System (INIS)

    Hayase, Tamotsu.

    1991-01-01

    The present invention concerns an FBR type reactor in which transuranium elements are eliminated by nuclear conversion. There are loaded reactor core fuels being charged with mixed oxides of plutonium and uranium, and blanket fuels mainly comprising depleted uranium. Further, liquid sodium is used as coolants. As transuranium elements, isotope elements of neptunium, americium and curium contained in wastes taken out from light water reactors or the composition thereof are used. The reactor core comprises a region with a greater mixing ratio and a region with a less mixing ratio of the transuranium elements. The mixing ratio of the transuranium elements is made greater for the fuels in the reactor core region at the boundary with the blanket of great neutron leakage. With such a constitution, since the positive reactivity value at the reactor core central portion is small in the Na void reactivity distribution in the reactor core, the positive reactivity is small upon Na boiling in the reactor core central region upon occurrence of imaginable accident, to attain reactor safety. (I.N.)

  11. BWR type reactor

    International Nuclear Information System (INIS)

    Okano, Shigeru.

    1992-01-01

    In a BWR type reactor, control rod drives are disposed in the upper portion of a reactor pressure vessel, and a control rod guide tube is disposed in adjacent with a gas/liquid separator at a same height, as well as a steam separator is disposed in the control rod guide tube. The length of a connection rod can be shortened by so much as the control rod guide tube and the gas/liquid separator overlapping with each other. Since the control rod guide tube and the gas/liquid separator are at the same height, the number of the gas/liquid separators to be disposed is decreased and, accordingly, even if the steam separation performance by the gas/liquid separator is lowered, it can be compensated by the steam separator of the control rod guide tube. In view of the above, since the direction of emergent insertion of the control rod is not against gravitational force but it is downward direction utilizing the gravitational force, reliability for the emergent insertion of the control rod can be further improved. Further, the length of the connection rod can be minimized, thereby enabling to lower the height of the reactor pressure vessel. The construction cost for the nuclear power plant can be reduced. (N.H.)

  12. Tank type nuclear reactors

    International Nuclear Information System (INIS)

    Naito, Kesahiro; Shimoyashiki, Shigehiro; Yokota, Norikatsu; Takahashi, Kazuo.

    1985-01-01

    Purpose: To improve the seismic proofness and the radiation shielding of LMFBR type reactors by providing the reactor with a structure reduced in the size and the weight, excellent in satisfactory heat insulating property and having radioactive material capturing performance. Constitution: Two sheets of ceramic plate members (for instance, mullite, steatite, beryllium ceramics or the like) which can be fabricated into plate-like shape and have high heat insulating property are overlapped with each other, between which magnetic heat-insulating material with magnetizing magnetic ceramics (for example, Lisub(0.5)Fesub(2.5)O 4 , Ni-Fe 2 O 4 , Fe-Fe 2 O 4 ) are sandwiched and the whole assembly is covered with metal coating material (for example, stainless steels). The inside of the coating material is evacuated or filled with an inert gas with low heat-conductivity (argon) at a pressure less than 1 kg/cm 2 abs, considering that the temperature goes higher and the inner pressure increases upon operation. In this way, the size of the laminated structure can be reduced to about 1/7 of the conventional case. The magnetic heat insulating materials can capture the magnetic impurities in sodium. (Kawakami, Y.)

  13. Updating signal typing in voice: addition of type 4 signals.

    Science.gov (United States)

    Sprecher, Alicia; Olszewski, Aleksandra; Jiang, Jack J; Zhang, Yu

    2010-06-01

    The addition of a fourth type of voice to Titze's voice classification scheme is proposed. This fourth voice type is characterized by primarily stochastic noise behavior and is therefore unsuitable for both perturbation and correlation dimension analysis. Forty voice samples were classified into the proposed four types using narrowband spectrograms. Acoustic, perceptual, and correlation dimension analyses were completed for all voice samples. Perturbation measures tended to increase with voice type. Based on reliability cutoffs, the type 1 and type 2 voices were considered suitable for perturbation analysis. Measures of unreliability were higher for type 3 and 4 voices. Correlation dimension analyses increased significantly with signal type as indicated by a one-way analysis of variance. Notably, correlation dimension analysis could not quantify the type 4 voices. The proposed fourth voice type represents a subset of voices dominated by noise behavior. Current measures capable of evaluating type 4 voices provide only qualitative data (spectrograms, perceptual analysis, and an infinite correlation dimension). Type 4 voices are highly complex and the development of objective measures capable of analyzing these voices remains a topic of future investigation.

  14. 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...

  15. 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.

  16. Types of Cancer Clinical Trials

    Science.gov (United States)

    Information about the several types of cancer clinical trials, including treatment trials, prevention trials, screening trials, supportive and palliative care trials. Each type of trial is designed to answer different research questions.

  17. Computing effects for correspondence types

    OpenAIRE

    Hüttel, Hans

    2010-01-01

    We show that type and effect inference is possible for a type and  effect system for authenticity using non-injective correspondences, opponent  types and a spi-calculus with symmetric encryption. We do this by a general  account of how effects can be computed given knowledge of how and where they  appear in type judgments. 

  18. Computing effects for correspondence types

    DEFF Research Database (Denmark)

    Hüttel, Hans

    2010-01-01

    We show that type and effect inference is possible for a type and  effect system for authenticity using non-injective correspondences, opponent  types and a spi-calculus with symmetric encryption. We do this by a general  account of how effects can be computed given knowledge of how and where they......  appear in type judgments. ...

  19. 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....

  20. Parameters in pure type systems

    NARCIS (Netherlands)

    Bloo, C.J.; Kamareddine, F.; Laan, T.D.L.; Nederpelt, R.P.; Rajsbaum, S.

    2002-01-01

    In this paper we study the addition of parameters to typed ¿-calculus with definitions. We show that the resulting systems have nice properties and illustrate that parameters allow for a better fine-tuning of the strength of type systems as well as staying closer to type systems used in practice in

  1. 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...

  2. Computable Types for Dynamic Systems

    NARCIS (Netherlands)

    P.J. Collins (Pieter); K. Ambos-Spies; B. Loewe; W. Merkle

    2009-01-01

    textabstractIn this paper, we develop a theory of computable types suitable for the study of dynamic systems in discrete and continuous time. The theory uses type-two effectivity as the underlying computational model, but we quickly develop a type system which can be manipulated abstractly, but for

  3. TypePad For Dummies

    CERN Document Server

    Nelson, Melanie

    2010-01-01

    TypePad for Dummies will be on guiding readers through the technical tasks necessary for starting, using and customizing a TypePad blog. It will comprehensively explain choosing the right TypePad membership plan, singing up, configuring, using and customizing a blog using the TypePad system. It will also include: Illustrations from real-world blogs with screenshots and specific examples that bring the book's concepts and ideas to life.; Step-by-step tutorials that will walk readers through the process of signing up for a new TypePad blog and getting down the business of publishing their conten

  4. Hand functions in type 1 and type 2 diabetes mellitus

    Directory of Open Access Journals (Sweden)

    Akpinar Pinar

    2017-01-01

    Full Text Available Introduction/Objective. Hand functions have an enormous impact on activities of daily living in patients with diabetes mellitus (DM, such as self-care, administering insulin injections, and preparing and eating meals. The aim of the study was to evaluate hand functions and grip strength in patients with type 1 and type 2 DM. Methods. This was an observational case-control study investigating the hand functions and grip strength in patients with type 1 and type 2 DM. The study comprised 41 patients with type 1 DM aged 25–50 years sex- and age-matched, 40 non-diabetic controls, and 91 patients with type 2 DM aged 40–65 years sex- and age-matched 60 non-diabetic controls. Patients with documented history of diabetic sensorimotor neuropathy and adhesive capsulitis were excluded. The Duruoz Hand Index was used to assess the functional hand disability. Grip strength was tested with a calibrated Jamar dynamometer. Results. The Duruoz Hand Index scores in patients with type 2 DM were significantly higher than in persons in the control group (p 0.05. Grip strength values of patients with type 1 DM were significantly lower compared to those in the control group (p < 0.05, whereas there was no significant difference between patients with type 2 DM and their control group. There was a negatively significant correlation between grip strength and the Duruoz Hand Index scores in patients with both type 1 and type 2 DM (p < 0.05. Conclusion. Patients with type 1 DM and type 2 DM have different degrees of hand disability as compared to healthy control groups.

  5. Composing and decomposing data types

    DEFF Research Database (Denmark)

    Bahr, Patrick

    2014-01-01

    restrictive, disallowing subtypings that lead to more than one possible injection and should therefore be considered programming errors. Furthermore, from this refined subtyping constraint we derive a new constraint to express type isomorphism. We show how this isomorphism constraint allows us to decompose......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...

  6. 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.

  7. 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.

  8. Early onset type 2 diabetes

    DEFF Research Database (Denmark)

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

    2018-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...

  9. Blood typing South American camelids.

    Science.gov (United States)

    Miller, W J; Hollander, P J; Franklin, W L

    1985-01-01

    Preliminary blood typing tests were made on New World camelids, guanacos, llamas, and two hybrids. Erythrocyte samples were tested against a battery of cattle blood typing reagents. Three different reagents were prepared from rabbit anti-erythrocyte sera. Transferrin variation and lectin polymorphism also were observed. No naturally occurring isoantibodies were found. Blood typing tests of New World camelids were shown to be feasible for studies of taxonomic relationships.

  10. A Type System For Certified Runtime Type Analysis

    Science.gov (United States)

    2002-12-01

    1999 ACM SIGPLAN International Conf. on Functional Pro- gramming (ICFP’99), pages 183–196. ACM Press, September 1999. [Min97] Yasuhiko Minamide. Full...lifting of type parameters. Technical report, RIMS, Kyoto University, 1997. [MMH96] Yasuhiko Minamide, Greg Morrisett, and Robert Harper. Typed

  11. 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.

  12. 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.

  13. 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...... of these languages. This is particularly challenging when introducing features that span across multiple types and that bind variables. We address this challenge by developing, in a step by step manner, mechanisms for encoding patterns and pattern matching in Haskell in a type-safe way....

  14. 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...... a mathematical account of the nature of logic variables. Our type theory is conservative over intuitionistic contextual modal type theory proposed by Nanevski, Pfenning, and Pientka. Our main contributions include a mechanically checked proof of soundness and a working implementation....

  15. Discriminating the reaction types of plant type III polyketide synthases.

    Science.gov (United States)

    Shimizu, Yugo; Ogata, Hiroyuki; Goto, Susumu

    2017-07-01

    Functional prediction of paralogs is challenging in bioinformatics because of rapid functional diversification after gene duplication events combined with parallel acquisitions of similar functions by different paralogs. Plant type III polyketide synthases (PKSs), producing various secondary metabolites, represent a paralogous family that has undergone gene duplication and functional alteration. Currently, there is no computational method available for the functional prediction of type III PKSs. We developed a plant type III PKS reaction predictor, pPAP, based on the recently proposed classification of type III PKSs. pPAP combines two kinds of similarity measures: one calculated by profile hidden Markov models (pHMMs) built from functionally and structurally important partial sequence regions, and the other based on mutual information between residue positions. pPAP targets PKSs acting on ring-type starter substrates, and classifies their functions into four reaction types. The pHMM approach discriminated two reaction types with high accuracy (97.5%, 39/40), but its accuracy decreased when discriminating three reaction types (87.8%, 43/49). When combined with a correlation-based approach, all 49 PKSs were correctly discriminated, and pPAP was still highly accurate (91.4%, 64/70) even after adding other reaction types. These results suggest pPAP, which is based on linear discriminant analyses of similarity measures, is effective for plant type III PKS function prediction. pPAP is freely available at ftp://ftp.genome.jp/pub/tools/ppap/. goto@kuicr.kyoto-u.ac.jp. Supplementary data are available at Bioinformatics online. © The Author(s) 2017. Published by Oxford University Press.

  16. Solar Type II Radio Bursts and IP Type II Events

    Science.gov (United States)

    Cane, H. V.; Erickson, W. C.

    2005-01-01

    We have examined radio data from the WAVES experiment on the Wind spacecraft in conjunction with ground-based data in order to investigate the relationship between the shocks responsible for metric type II radio bursts and the shocks in front of coronal mass ejections (CMEs). The bow shocks of fast, large CMEs are strong interplanetary (IP) shocks, and the associated radio emissions often consist of single broad bands starting below approx. 4 MHz; such emissions were previously called IP type II events. In contrast, metric type II bursts are usually narrowbanded and display two harmonically related bands. In addition to displaying complete dynamic spectra for a number of events, we also analyze the 135 WAVES 1 - 14 MHz slow-drift time periods in 2001-2003. We find that most of the periods contain multiple phenomena, which we divide into three groups: metric type II extensions, IP type II events, and blobs and bands. About half of the WAVES listings include probable extensions of metric type II radio bursts, but in more than half of these events, there were also other slow-drift features. In the 3 yr study period, there were 31 IP type II events; these were associated with the very fastest CMEs. The most common form of activity in the WAVES events, blobs and bands in the frequency range between 1 and 8 MHz, fall below an envelope consistent with the early signatures of an IP type II event. However, most of this activity lasts only a few tens of minutes, whereas IP type II events last for many hours. In this study we find many examples in the radio data of two shock-like phenomena with different characteristics that occur simultaneously in the metric and decametric/hectometric bands, and no clear example of a metric type II burst that extends continuously down in frequency to become an IP type II event. The simplest interpretation is that metric type II bursts, unlike IP type II events, are not caused by shocks driven in front of CMEs.

  17. 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...

  18. Pure type systems with subtyping

    NARCIS (Netherlands)

    Zwanenburg, J.; Girard, J.-Y.

    1999-01-01

    We extend the framework of Pure Type Systems with subtyping, as found in F = ¿ . This leads to a concise description of many existing systems with subtyping, and also to some new interesting systems. We develop the meta-theory for this framework, including Subject Reduction and Minimal Typing. The

  19. Brauer algebras of type B

    NARCIS (Netherlands)

    Cohen, A.M.; Liu, S.

    2011-01-01

    For each n>0, 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

  20. Paranormal weighted conditional type operators

    OpenAIRE

    Estaremi, Yousef

    2014-01-01

    In this paper, some sub-classes of paranormal weighted conditional expectation type operators, such as *-paranormal, quasi-*-paranormal and (n; k)-quasi-*-paranormal weighted conditional expectation type opera- tors on $L^2(\\Sigma)$ are investigated. Also, some applications about the spectrum, point spectrum, joint point spectrum, approximate point spectrum and joint approximate point spectrum of these classes are presented.

  1. 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.

  2. Glycogen Storage Disease Type IV

    DEFF Research Database (Denmark)

    Bendroth-Asmussen, Lisa; Aksglaede, Lise; Gernow, Anne B

    2016-01-01

    molecular genetic analyses confirmed glycogen storage disease Type IV with the finding of compound heterozygosity for 2 mutations (c.691+2T>C and c.1570C>T, p.R524X) in the GBE1 gene. We conclude that glycogen storage disease Type IV can cause early miscarriage and that diagnosis can initially be made...

  3. 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

  4. Tension type headaches: a review

    African Journals Online (AJOL)

    Location of the pain:There is often a typical location for tension- type headaches, as ... Cranial nerve abnormalities, including papilloedema. • Signs of ... peripheral and central mechanisms underlie tension-type ... Physiotherapy has been shown to be an effective management option for .... Acupuncture in primary headache.

  5. 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...

  6. Moment Distributions of Phase Type

    DEFF Research Database (Denmark)

    Bladt, Mogens; Nielsen, Bo Friis

    2011-01-01

    Moment distributions of phase-type and matrix-exponential distributions are shown to remain within their respective classes. We provide a probabilistic phase-type representation for the former case and an alternative representation, with an analytically appealing form, for the latter. First order...

  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 Inference of Turbo Pascal

    DEFF Research Database (Denmark)

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

    1995-01-01

    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...

  9. Sandstone-type uranium deposits

    International Nuclear Information System (INIS)

    Finch, W.I.; Davis, J.F.

    1985-01-01

    World-class sandstone-type uranium deposits are defined as epigenetic concentrations of uranium minerals occurring as uneven impregnations and minor massive replacements primarily in fluvial, lacustrine, and deltaic sandstone formations. The main purpose of this introductory paper is to define, classify, and introduce to the general geologic setting for sandstone-type uranium deposits

  10. DNA typing by capillary electrophoresis

    Energy Technology Data Exchange (ETDEWEB)

    Zhang, N.

    1997-10-08

    Capillary electrophoresis is becoming more and more important in nucleic acid analysis including DNA sequencing, typing and disease gene measurements. This work summarized the background of DNA typing. The recent development of capillary electrophoresis was also discussed. The second part of the thesis showed the principle of DNA typing based on using the allelic ladder as the absolute standard ladder in capillary electrophoresis system. Future work will be focused on demonstrating DNA typing on multiplex loci and examples of disease diagnosis in the on-line format of PCR-CE. Also capillary array electrophoresis system should allow high throughput, fast speed DNA typing. Only the introduction and conclusions for this report are available here. A reprint was removed for separate processing.

  11. 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.

  12. Theoretical models for Type I and Type II supernova

    International Nuclear Information System (INIS)

    Woosley, S.E.; Weaver, T.A.

    1985-01-01

    Recent theoretical progress in understanding the origin and nature of Type I and Type II supernovae is discussed. New Type II presupernova models characterized by a variety of iron core masses at the time of collapse are presented and the sensitivity to the reaction rate 12 C(α,γ) 16 O explained. Stars heavier than about 20 M/sub solar/ must explode by a ''delayed'' mechanism not directly related to the hydrodynamical core bounce and a subset is likely to leave black hole remnants. The isotopic nucleosynthesis expected from these massive stellar explosions is in striking agreement with the sun. Type I supernovae result when an accreting white dwarf undergoes a thermonuclear explosion. The critical role of the velocity of the deflagration front in determining the light curve, spectrum, and, especially, isotopic nucleosynthesis in these models is explored. 76 refs., 8 figs

  13. Type-II Weyl semimetals.

    Science.gov (United States)

    Soluyanov, Alexey A; Gresch, Dominik; Wang, Zhijun; Wu, QuanSheng; Troyer, Matthias; Dai, Xi; Bernevig, B Andrei

    2015-11-26

    Fermions--elementary particles such as electrons--are classified as Dirac, Majorana or Weyl. Majorana and Weyl fermions had not been observed experimentally until the recent discovery of condensed matter systems such as topological superconductors and semimetals, in which they arise as low-energy excitations. Here we propose the existence of a previously overlooked type of Weyl fermion that emerges at the boundary between electron and hole pockets in a new phase of matter. This particle was missed by Weyl because it breaks the stringent Lorentz symmetry in high-energy physics. Lorentz invariance, however, is not present in condensed matter physics, and by generalizing the Dirac equation, we find the new type of Weyl fermion. In particular, whereas Weyl semimetals--materials hosting Weyl fermions--were previously thought to have standard Weyl points with a point-like Fermi surface (which we refer to as type-I), we discover a type-II Weyl point, which is still a protected crossing, but appears at the contact of electron and hole pockets in type-II Weyl semimetals. We predict that WTe2 is an example of a topological semimetal hosting the new particle as a low-energy excitation around such a type-II Weyl point. The existence of type-II Weyl points in WTe2 means that many of its physical properties are very different to those of standard Weyl semimetals with point-like Fermi surfaces.

  14. 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.

  15. 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).

  16. Types and Forms of Tourism

    Directory of Open Access Journals (Sweden)

    Anca Gabriela Turtureanu

    2008-10-01

    Full Text Available For the study of tourism, the most suitable method from the geographic point of view is typify it, because it allows the delimitation oftourist areas. Tourist areas are characterized by a specific type of travel or by a reunion of some types that may vary dynamically over time. Thetypes of tourism result mainly from the different motivations of the journey, i.e. the purpose of doing. Each type of tourism is distinguished by suchspecific purpose and it is specific to those regions where fixed purpose can be achieved by the existence of some specific facilities.

  17. Three types of generalized synchronization

    Energy Technology Data Exchange (ETDEWEB)

    Yang Junzhong [School of Science, Beijing University of Posts and Telecomunications, Beijing 100876 (China)]. E-mail: jzyang@bupt.edu.cn; Hu Gang [China Center for Advanced Science and Technology (CCAST) (World Laboratory), PO Box 8730, Beijing 100080 (China) and Department of Physics, Beijing Normal University, Beijing 100875 (China)]. E-mail: ganghu@bnu.edu.cn

    2007-02-05

    The roles played by drive and response systems on generalized chaos synchronization (GS) are studied. And the generalized synchronization is classified, based on these roles, to three distinctive types: the passive GS which is mainly determined by the response system and insensitive to the driving signal; the resonant GS where phase synchronization between the drive and response systems is preceding GS; and the interacting GS where both the drive and response have influences on the status of GS. The features of these GS types and the possible changes from one types to others are investigated.

  18. Three types of generalized synchronization

    International Nuclear Information System (INIS)

    Yang Junzhong; Hu Gang

    2007-01-01

    The roles played by drive and response systems on generalized chaos synchronization (GS) are studied. And the generalized synchronization is classified, based on these roles, to three distinctive types: the passive GS which is mainly determined by the response system and insensitive to the driving signal; the resonant GS where phase synchronization between the drive and response systems is preceding GS; and the interacting GS where both the drive and response have influences on the status of GS. The features of these GS types and the possible changes from one types to others are investigated

  19. Outcome of tyrosinaemia type III.

    Science.gov (United States)

    Ellaway, C J; Holme, E; Standing, S; Preece, M A; Green, A; Ploechl, E; Ugarte, M; Trefz, F K; Leonard, J V

    2001-12-01

    Tyrosinaemia type III is a rare disorder caused by a deficiency of 4-hydroxyphenylpyruvate dioxygenase, the second enzyme in the catabolic pathway of tyrosine. The majority of the nine previously reported patients have presented with neurological symptoms after the neonatal period, while others detected by neonatal screening have been asymptomatic. All have had normal liver and renal function and none has skin or eye abnormalities. A further four patients with tyrosinaemia type III are described. It is not clear whether a strict low tyrosine diet alters the natural history of tyrosinaemia type III, although there remains a suspicion that treatment may be important, at least in infancy.

  20. 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.

  1. 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...

  2. Type I Glycogen Storage Disease

    Science.gov (United States)

    ... Legacy Society Make Gifts of Stock Donate Your Car Personal Fundraising Partnership & Support Share Your Story Spread the Word Give While You Shop Contact Us Donate Now Glycogen Storage Disease Type ...

  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. A new type of achondrogenesis

    International Nuclear Information System (INIS)

    Kozlowski, K.; Tsuruta, T.; Naki, N.; Tsunoda, I.; Ozawa, H.; Hasegawa, T.; Sillence, D.; National Tachikawa Hospital, Tokyo; National Tachikawa Hospital, Tokyo; National Central Hospital, Tokyo; Royal Alexandra Hospital for Children, Sydney

    1986-01-01

    A new type of neonatal death dwarfism, resembling the achondrogenesis syndromes on clinical examination but presenting distinctive radiographic and microscopic features has been described. It presents another, new form of achondrogenesis. (orig.)

  5. Types of Treatment: Clinical Trials

    Science.gov (United States)

    ... disease type and stage; your age, gender and race; and other treatments you've used. Your doctor ... Drug Listings Radiation Therapy Immunotherapy Chimeric Antigen Receptor (CAR) T-Cell Therapy Vaccine Therapy Stem Cell Transplantation ...

  6. [Surgery for diabetes type 2?].

    Science.gov (United States)

    Müller, Markus K; Nocito, A; Schiesser, M

    2010-02-17

    Diabetes mellitus type 2 is a chronic disease with increasing prevalence in western society. Obesity represents a well established risk factor for the development of diabetes mellitus type 2. Several studies on surgical procedures for the treatment of obesity have shown a postoperative reduction of obesity-related co-morbidities. Thus, diabetes mellitus type 2 was shown to resolve or improve in more than 75% of morbidly obese patients (BMI >35) after bariatric surgery. These insights paved the way for the advent of metabolic surgery - a novel field with the goal to improve glucose metabolism in patients with a BMI of less than 35. Encouraging results from mostly observational studies have sparked the interest in the surgical management of diabetes mellitus type 2.

  7. Radioisotope indicator, type BETA 2

    International Nuclear Information System (INIS)

    Duszanski, M.; Pankow, A.; Skwarczynski, B.

    1975-01-01

    The authors describe a radioisotope indicator, type BETA 2, constructed in the ZKMPW Works to be employed in mines for counting, checking, signalling the presence and positioning of cars, as well as monitoring the state of some other equipment. (author)

  8. Type 2 Diabetes Risk Test

    Science.gov (United States)

    ... Rights Employment Discrimination Health Care Professionals Law Enforcement Driver's License For Lawyers Food & Fitness Home Food MyFoodAdvisor ... Fit Types of Activity Weight Loss Assess Your Lifestyle Getting Started Food Choices In My Community Home ...

  9. Completeness in Hybrid Type Theory

    DEFF Research Database (Denmark)

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

    2014-01-01

    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 th......-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic...

  10. Research into basic rocks types

    International Nuclear Information System (INIS)

    1993-06-01

    Teollisuuden Voima Oy (TVO) has carried out research into basic rock types in Finland. The research programme has been implemented in parallel with the preliminary site investigations for radioactive waste disposal in 1991-1993. The program contained two main objectives: firstly, to study the properties of the basic rock types and compare those with the other rock types under the investigation; secondly, to carry out an inventory of rock formations consisting of basic rock types and suitable in question for final disposal. A study of environmental factors important to know regarding the final disposal was made of formations identified. In total 159 formations exceeding the size of 4 km 2 were identified in the inventory. Of these formations 97 were intrusive igneous rock types and 62 originally extrusive volcanic rock types. Deposits consisting of ore minerals, industrial minerals or building stones related to these formations were studied. Environmental factors like natural resources, protected areas or potential for restrictions in land use were also studied

  11. Qualification of Type IP-2, Type IP-3 and Type A packages for radioactive liquid shipments

    International Nuclear Information System (INIS)

    Marcu, L.; Sullivan, G.; Lo, K.K.

    2006-01-01

    Commercial products such as pails, drums or bulk containers can be used for radioactive materials transportation if they can be shown to meet the regulatory requirements. Ontario Power Generation (OPG) has successfully tested and qualified several off-the-shelf containers as Type IP-2, Type IP-3 and Type A packages for liquids in accordance with the International and Canadian Regulations. This paper describes the testing and qualification of these commercial products, and discusses the problems encountered and lessons learned during this process. (author)

  12. Vein-type uranium deposits

    International Nuclear Information System (INIS)

    Rich, R.A.; Holland, H.D.; Petersen, U.

    1975-01-01

    A critical review is presented of published data bearing on the mineralogy, paragenesis, geochemistry, and origin of veiw-type uranium deposits. Its aim is to serve as a starting point for new research and as a basis for the development of new exploration strategies. During the formation of both vein and sandstone types of deposits uranium seems to have been dissolved by and transported in rather oxidized solutions, and deposited where these solutions encountered reducing agents such as carbon, sulfides, ferrous minerals and hydrocarbons. Granitic rocks abnormally enriched in uranium have apparently been the most common source for uranium in vein-type deposits. Oxidizing solutions have been derived either from the surface or from depth. Surface solutions saturated with atmospheric oxygen have frequently passed through red bed or clean sandstone conduits on their way to and from uranium source rocks. Deep solutions of non-surface origin have apparently become sufficiently oxidizing by passage through and equilibration with red beds. The common association of clean sandstones or red beds with uranium-rich granites in the vicinity of vein-type uranium deposits is probably not fortuitous, and areas where these rock types are found together are considered particularly favorable targets for uranium exploration

  13. 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...

  14. New type of natural radioactivity

    International Nuclear Information System (INIS)

    Rubchenya, V.A.; Chechev, V.P.; Yavshits, S.G.

    1987-01-01

    Consideration is being given in popular form to investigations of a new type of natural radioactivity - spontaneous emission of fragments, more massive than α-particles, by heavy element nuclei, called f-decay by analogy with known α and γ decays. Some data on radioactivity, origin of the decay are presented. Possibilities of f-decay, predictions and hypotheses are discussed. The reason of late discovery of f-decay lies in low f-decay probability 10 -9 with respect to α-decay and in a certain sluggishness of settled knowledge about possible types of radioactive decay. The idea of f-decay is presented. It differs from the idea about a new type of decay as modification of asymmetric fission and contains an attempt to explain the intermediate position of f-decay between α-decay and

  15. Jansen type of spondylometaphyseal dysplasia

    International Nuclear Information System (INIS)

    Campbell, J.B.; Kozlowski, K.; Lejman, T.; Sulko, J.

    2000-01-01

    Metaphyseal dysplasia, type Jansen (JMD), is a rare skeletal dysplasia with characteristic radiographic abnormalities. Of the various types of metaphyseal dysplasia, JMD shows the most severe alteration in metaphyseal architecture. All of the long tubular bones, including those of the hands and feet, show metaphyseal irregularity with a fragmented appearance and slight widening. The adjacent physes are abnormally widened, while the epiphyses tend to be slightly enlarged, rounded but otherwise normal. The spine in infancy and childhood usually appears normal. This report describes a young girl with metaphyseal changes typical of JMD except for the hands and feet, which appeared normal. She also showed very unusual abnormalities of the spine. This appears, therefore, to represent a unique osteochondrodysplasia for which we propose the term spondylometaphyseal dysplasia, type Jansen. (orig.)

  16. Ion source of discharge type

    Energy Technology Data Exchange (ETDEWEB)

    Enchevich, I.B. [TRIUMF, Cyclotron Div., Vancouver, British Columbia (Canada); Korenev, S.A. [JINR, Hihg Energy Physics Lab., Dubna, Moscow (Russian Federation)

    1992-07-01

    A new scheme of ion source based on a dielectric surface sliding discharge is described. The conditions to form this type of discharge are analyzed and experimental results are shown. The main parameters of this ion source are: accelerating voltage U = 1/20kV; continuous extracted ion beam; current density j = 0.01/0.5 A/cm{sup 2}; ions of Cl, F, C, H; residual gas pressure P = 10{sup -6} Torr. A magnetic system is used to separate the different types of ions. The dielectric material in the discharge circuit (anode plasma emitter) defines the type of ions. The emission characteristics of plasma emitter and the discharge parameters are presented. The ion current yield satisfies the Child-Langmuir law. (author)

  17. Ion source of discharge type

    International Nuclear Information System (INIS)

    Enchevich, I.B.; Korenev, S.A.

    1992-07-01

    A new scheme of ion source based on a dielectric surface sliding discharge is described. The conditions to form this type of discharge are analyzed and experimental results are shown. The main parameters of this ion source are: accelerating voltage U = 1/20kV; continuous extracted ion beam; current density j = 0.01/0.5 A/cm 2 ; ions of Cl, F, C, H; residual gas pressure P = 10 -6 Torr. A magnetic system is used to separate the different types of ions. The dielectric material in the discharge circuit (anode plasma emitter) defines the type of ions. The emission characteristics of plasma emitter and the discharge parameters are presented. The ion current yield satisfies the Child-Langmuir law. (author)

  18. 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...

  19. 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.

  20. 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 intermediate value assignments: In terms of the predicates that describe them as subsets of the maximal values, and in terms of computational stability. As an application we introduce rational infinite values in our system. Programs can then work on infinite imperative data structures which are allocated...

  1. Blood types in Pacific salmon

    Science.gov (United States)

    Ridgway, G.L.; Klontz, G.W.

    1961-01-01

    Intraspecific differences in erythrocyte antigens (blood types) were shown to occur in four species of Pacific salmon, the sockeye or red salmon (Oncorhynchus nerka), the chinook or king salmon (0. tshawytscha), the chum salmon (O. keta), and the pink salmon (O. gorbuscha). Antisalmon-erythrocyte sera prepared in rabbits and chickens were used after absorption of species-specific antibodies. Some of these blood types were shown to differ in their frequency of occurrence between different geographic races. In addition, isoimmunizations were conducted on one race of sockeye salmon. Antisera of seven different specificities were prepared and at least eight different patterns of antigenic composition were displayed by the cells tested.

  2. 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....

  3. Experimental studies of minienvironment types

    International Nuclear Information System (INIS)

    Eissler, W.; Schneider, H.

    1994-01-01

    Various minienvironment types are available offering different features at quite different costs. MEISSNER+WURST performed in its JESSI project experimental tests to examine the isolation capabilities and the recovery time of minienvironments and the influence of manual handling and maintenance on the minienvironment cleanliness. An isolation factor up to 1 million was measured in the experiments. The Custom Tailored Minienvironment has the best protection against external and internal particle sources. Critical points in the design and the installation of minienvironments were identified. The results of air flow visualization studies were confirmed by airflow simulations. The result of the studies allow a classification of minienvironment types according to their cleanliness achievements

  4. Blood metals concentration in type 1 and type 2 diabetics.

    Science.gov (United States)

    Forte, Giovanni; Bocca, Beatrice; Peruzzu, Angela; Tolu, Francesco; Asara, Yolande; Farace, Cristiano; Oggiano, Riccardo; Madeddu, Roberto

    2013-12-01

    Mechanisms for the onset of diabetes and the development of diabetic complications remain under extensive investigations. One of these mechanisms is abnormal homeostasis of metals, as either deficiency or excess of metals, can contribute to certain diabetic outcomes. Therefore, this paper will report the blood levels of chromium (Cr), copper (Cu), iron (Fe), manganese (Mn), mercury (Hg), nickel (Ni), lead (Pb), selenium (Se), and zinc (Zn) in subjects with type 1 diabetes (n = 192, mean age 48.8 years, mean disease duration 20.6 years), type 2 diabetes (n = 68, mean age 68.4 years, mean disease duration 10.2 years), and in control subjects (n = 59, mean age 57.2 years), and discuss the results indicating their possible role in diabetes. The metal concentrations were measured by sector field inductively coupled plasma mass spectrometry after microwave-induced acid digestion of blood samples. The accuracy was checked using a blood-based certified reference material, and recoveries of all elements were in the range of 92-101 % of certified values. Type 1 diabetes was found to be associated with Cr (p = 0.02), Mn (p < 0.001), Ni (p < 0.001), Pb (p = 0.02), and Zn (p < 0.001) deficiency, and type 2 diabetes with Cr (p = 0.014), Mn (p < 0.001), and Ni (p < 0.001) deficiency. These deficiencies were appreciated also subdividing the understudied patients for gender and age groups. Furthermore, in type 1 diabetes, there was a positive correlation between Pb and age (p < 0.001, ρ = 0.400) and Pb and BMI (p < 0.001, ρ = 0.309), while a negative correlation between Fe and age (p = 0.002, ρ = -0.218). In type 2 diabetes, there was a negative correlation between Fe and age (p = 0.017, ρ = -0.294) and Fe and BMI (p = 0.026, ρ = -0.301). Thus, these elements may play a role in both forms of diabetes and combined mineral supplementations could have beneficial effects.

  5. Type 2-diabetes i Danmark

    DEFF Research Database (Denmark)

    Beck-Nielsen, Henning; Henriksen, Jan Erik

    2012-01-01

    Our vision is that the opportunistic screening system will be improved in order to find patients with occult type 2 diabetes (T2D), since an early treatment based on a correct phenotyping is the goal. Individual goals for HbA1c, blood pressure and lipids must be set up, and the number of drugs used...

  6. Smoothing type buffer memory device

    International Nuclear Information System (INIS)

    Podorozhnyj, D.M.; Yashin, I.V.

    1990-01-01

    The layout of the micropower 4-bit smoothing type buffer memory device allowing one to record without counting the sequence of input randomly distributed pulses in multi-channel devices with serial poll, is given. The power spent by a memory cell for one binary digit recording is not greater than 0.15 mW, the device dead time is 10 mus

  7. High conversion burner type reactor

    International Nuclear Information System (INIS)

    Higuchi, Shin-ichi; Kawashima, Masatoshi

    1987-01-01

    Purpose: To simply and easily dismantle and reassemble densified fuel assemblies taken out of a high conversion ratio area thereby improve the neutron and fuel economy. Constitution: The burner portion for the purpose of fuel combustion is divided into a first burner region in adjacent with the high conversion ratio area at the center of the reactor core, and a second burner region formed to the outer circumference thereof and two types of fuels are charged therein. Densified fuel assemblies charged in the high conversion ratio area are separatably formed as fuel assemblies for use in the two types of burners. In this way, dense fuel assembly is separated into two types of fuel assemblies for use in burner of different number and arranging density of fuel elements which can be directly charged to the burner portion and facilitate the dismantling and reassembling of the fuel assemblies. Further, since the two types of fuel assemblies are charged in the burner portion, utilization factor for the neutron fuels can be improved. (Kamimura, M.)

  8. Living with Type 1 Diabetes

    Science.gov (United States)

    ... elements: blood glucose control and insulin management, exercise, nutrition and support. Medication A diagnosis of type 1 diabetes means ... crucial part of your daily routine. Learn more: Nutrition How foods ... meal plans Support Emotional support, while not often initially considered, plays ...

  9. Types of Blood Pressure Medications

    Science.gov (United States)

    ... Disease Venous Thromboembolism Aortic Aneurysm More Types of Blood Pressure Medications Updated:Nov 6,2017 Prescription blood pressure ... This content was last reviewed October 2017. High Blood Pressure • Home • Get the Facts About HBP • Know Your ...

  10. Imagery of Errors in Typing

    Science.gov (United States)

    Rieger, Martina; Martinez, Fanny; Wenke, Dorit

    2011-01-01

    Using a typing task we investigated whether insufficient imagination of errors and error corrections is related to duration differences between execution and imagination. In Experiment 1 spontaneous error imagination was investigated, whereas in Experiment 2 participants were specifically instructed to imagine errors. Further, in Experiment 2 we…

  11. 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

  12. Organ Type and Waiting Time

    Science.gov (United States)

    ... to know FAQ Living donation What is living donation? Organs Types Being a living donor First steps Being ... There are many financial resources for transplants. Living donation increases the existing organ supply. It’s important to get to know your ...

  13. ENTERPRISE RESTRUCTURING AIM AND TYPES

    Directory of Open Access Journals (Sweden)

    S. P. Baranenko

    2011-01-01

    Full Text Available Enterprise restructuring is aimed at adapting it to market conditions and improving its competitiveness through selection of most effective model of using material, technical, technological, organizational, commercial, economical, financial, tax-related and other resources with due account of the demand. Restructuring classification signs and types as well as restructuring aims specific for industrial enterprises are provided for.

  14. Vacuum type D initial data

    Science.gov (United States)

    García-Parrado Gómez-Lobo, Alfonso

    2016-09-01

    A vacuum type D initial data set is a vacuum initial data set of the Einstein field equations whose data development contains a region where the space–time is of Petrov type D. In this paper we give a systematic characterisation of a vacuum type D initial data set. By systematic we mean that the only quantities involved are those appearing in the vacuum constraints, namely the first fundamental form (Riemannian metric) and the second fundamental form. Our characterisation is a set of conditions consisting of the vacuum constraints and some additional differential equations for the first and second fundamental forms These conditions can be regarded as a system of partial differential equations on a Riemannian manifold and the solutions of the system contain all possible regular vacuum type D initial data sets. As an application we particularise our conditions for the case of vacuum data whose data development is a subset of the Kerr solution. This has applications in the formulation of the nonlinear stability problem of the Kerr black hole.

  15. An Imperative Type Hierarchy with Partial Products

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Schmidt, Erik Meineche

    1989-01-01

    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.......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...

  16. Hardy type inequalities on time scales

    CERN Document Server

    Agarwal, Ravi P; Saker, Samir H

    2016-01-01

    The book is devoted to dynamic inequalities of Hardy type and extensions and generalizations via convexity on a time scale T. In particular, the book contains the time scale versions of classical Hardy type inequalities, Hardy and Littlewood type inequalities, Hardy-Knopp type inequalities via convexity, Copson type inequalities, Copson-Beesack type inequalities, Liendeler type inequalities, Levinson type inequalities and Pachpatte type inequalities, Bennett type inequalities, Chan type inequalities, and Hardy type inequalities with two different weight functions. These dynamic inequalities contain the classical continuous and discrete inequalities as special cases when T = R and T = N and can be extended to different types of inequalities on different time scales such as T = hN, h > 0, T = qN for q > 1, etc.In this book the authors followed the history and development of these inequalities. Each section in self-contained and one can see the relationship between the time scale versions of the inequalities and...

  17. Denotational semantics for guarded dependent type theory

    DEFF Research Database (Denmark)

    Bizjak, Aleš; Møgelberg, Rasmus Ejlers

    2018-01-01

    We present a new model of Guarded Dependent Type Theory (GDTT), a type theory with guarded recursion and multiple clocks in which one can program with, and reason about coinductive types. Productivity of recursively defined coinductive programs and proofs is encoded in types using guarded recursion......, crucial for programming with coinductive types, types must be interpreted as presheaves orthogonal to the object of clocks. In the case of dependent types, this translates to a unique lifting condition similar to the one found in homotopy theoretic models of type theory. Since the universes defined...... by inclusions of clock variable contexts commute on the nose with type operations on the universes....

  18. Microplastics in sediments from the littoral zone of the north Tunisian coast (Mediterranean Sea)

    Science.gov (United States)

    Abidli, Sami; Antunes, Joana C.; Ferreira, Joana L.; Lahbib, Youssef; Sobral, Paula; Trigui El Menif, Najoua

    2018-05-01

    The distribution of microplastics (MPs) was investigated in the sediments of five sampling sites from the northern Tunisian coast during June 2017. MPs were categorized according to type, colour and size. Representative MPs from the five sites were isolated for polymer identification using Fourier Transformed Infrared Spectroscopy in attenuated total reflectance mode (FTIR-ATR). Results showed that MPs were recovered, from all sediment samples, indicating for the first time, their extensive distribution in Tunisian coast. Concentrations varied from 141.20 ± 25.98 to 461.25 ± 29.74 items kg-1 dry weight. Fibres, fragments, Styrofoam®, pellets and films were the types registered in this study. With the exception of Menzel Bourguiba (MB), fibres significantly outnumbered plastic particles followed by fragments, Styrofoam®, films and pellets. The predominant colours are as follows: black > clear > white > red > blue > green for fibres, blue > white > clear > red > green > yellow > black for fragments, blue > white > black > clear for films while only white pellets and Styrofoam® were found. MPs particles ranged from 0.1 to 5 mm in length. A total of three polymer types were identified, polyethylene (PE), polypropylene (PP) and polystyrene (PS). Except for industrial pellets, the presence of MPs is likely due to the degradation of marine plastic debris accumulating in each site. This work provides original data of the presence of MPs in coastal sediments from Northern Tunisian coast.

  19. Separated type nuclear superheating reactor

    International Nuclear Information System (INIS)

    Hida, Kazuki.

    1993-01-01

    In a separated type nuclear superheating reactor, fuel assemblies used in a reactor core comprise fuel rods made of nuclear fuel materials and moderator rods made of solid moderating materials such as hydrogenated zirconium. Since the moderating rods are fixed or made detachable, high energy neutrons generated from the fuel rods are moderated by the moderating rods to promote fission reaction of the fuel rods. Saturated steams supplied from the BWR type reactor by the fission energy are converted to high temperature superheated steams while passing through a steam channel disposed between the fuel rods and the moderating rods and supplied to a turbine. Since water is not used but solid moderating materials sealed in a cladding tube are used as moderation materials, isolation between superheated steams and water as moderators is not necessary. Further, since leakage of heat is reduced to improve a heat efficiency, the structure of the reactor core is simplified and fuel exchange is facilitated. (N.H.)

  20. 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 metabo...... of long-term randomized clinical training studies with hard end points, it should be emphasized that physical activity represents a natural strong anti-inflammatory and metabolism-improving strategy with minor side effects.......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...

  1. Saxagliptin for type 2 diabetes

    OpenAIRE

    Chacra,

    2010-01-01

    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...

  2. 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, histopathologic...... 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....

  3. Types of Leader in Organisation

    OpenAIRE

    Marian Aurelian Bârgău

    2015-01-01

    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 dep...

  4. Repair Types, Procedures - Part 1

    Science.gov (United States)

    2010-05-01

    Affordable Combat Aircraft, AGARD - CP -600, 1997. [17] Helbling J, Grover R and Ratwani M. M “Analysis and Structural Test of Composite Reinforcement to...considered suitable for the composite patch repair of aluminum structure. Ductile adhesives such as FM- 73 are preferred over brittle adhesives Repair Types...zone. A proper cure cycle is followed as prescribed by the adhesive manufacturer. For FM- 73 adhesive cure at 2500F (1210C) for 120 minutes is

  5. 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...... alternative representation in terms of sub{intensity matrices. Finally we are able to nd explicit expressions for both the Lorenz curve and the Gini index....

  6. FRANCHISOR TYPES IN PORTUGUESE FRANCHISING

    OpenAIRE

    Antonio Navarro García; Enrique Carlos Díez de Castro; Francisco Javier Rondán Cataluña

    2006-01-01

    The identification of the existence of strategic groups within Portuguese franchising constitutes the main aim of the present paper. An empirical study starting from 128 franchising chains operating in Portugal was carried out. The results reveal the existence of five perfectly differentiated strategic groups {franchisor types), which are described starting from the strategic variables that define them. Our main contribution is that the results obtained in the Portuguese franchising sy...

  7. 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.

  8. Herpes simplex type 2 pneumonia

    Directory of Open Access Journals (Sweden)

    Calore Edenilson Eduardo

    2002-01-01

    Full Text Available Extensive reviews of pulmonary infections in AIDS have reported few herpetic infections. Generally these infections are due to Herpes simplex type 1. Pneumonia due to herpes type 2 is extremely rare. We describe a 40 year-old HIV positive woman who complained of fever, cough and dyspnea for seven years. She had signs of heart failure and the appearance of her genital vesicles was highly suggestive of genital herpes. Echocardiography showed marked pulmonary hypertension, right ventricular hypertrophy and tricuspid insufficiency. After a few days of hospitalization she was treated with Aciclovir and later with Ganciclovir. An open pulmonary biopsy revealed an interstitial inflammation, localized in the alveolar walls. Some pulmonary arteries had widened walls and focal hyaline degeneration. Immunohistochemistry indicated that the nuclei had herpes simplex virus type 2 in many endothelial cells (including vessels with widened walls, macrophages in the alveolar septa and pneumocytes. There was clinical improvement after treatment for herpes. We concluded that as a consequence of herpes infection, endothelial involvement and interstitial inflammation supervene, with thickening of vascular walls and partial obliteration of the vessel lumen. A direct consequence of these changes in pulmonary vasculature was pulmonary hypertension followed by heart failure.

  9. Herpes simplex type 2 pneumonia

    Directory of Open Access Journals (Sweden)

    Edenilson Eduardo Calore

    Full Text Available Extensive reviews of pulmonary infections in AIDS have reported few herpetic infections. Generally these infections are due to Herpes simplex type 1. Pneumonia due to herpes type 2 is extremely rare. We describe a 40 year-old HIV positive woman who complained of fever, cough and dyspnea for seven years. She had signs of heart failure and the appearance of her genital vesicles was highly suggestive of genital herpes. Echocardiography showed marked pulmonary hypertension, right ventricular hypertrophy and tricuspid insufficiency. After a few days of hospitalization she was treated with Aciclovir and later with Ganciclovir. An open pulmonary biopsy revealed an interstitial inflammation, localized in the alveolar walls. Some pulmonary arteries had widened walls and focal hyaline degeneration. Immunohistochemistry indicated that the nuclei had herpes simplex virus type 2 in many endothelial cells (including vessels with widened walls, macrophages in the alveolar septa and pneumocytes. There was clinical improvement after treatment for herpes. We concluded that as a consequence of herpes infection, endothelial involvement and interstitial inflammation supervene, with thickening of vascular walls and partial obliteration of the vessel lumen. A direct consequence of these changes in pulmonary vasculature was pulmonary hypertension followed by heart failure.

  10. New type fuel exchange system

    International Nuclear Information System (INIS)

    Meshii, Toshio; Maita, Yasushi; Hirota, Koichi; Kamishima, Yoshio.

    1988-01-01

    When the reduction of the construction cost of FBRs is considered from the standpoint of the machinery and equipment, to make the size small and to heighten the efficiency are the assigned mission. In order to make a reactor vessel small, it is indispensable to decrease the size of the equipment for fuel exchange installed on the upper part of a core. Mitsubishi Heavy Industries Ltd. carried out the research on the development of a new type fuel exchange system. As for the fuel exchange system for FBRs, it is necessary to change the mode of fuel exchange from that of LWRs, such as handling in the presence of chemically active sodium and inert argon atmosphere covering it and handling under heavy shielding against high radiation. The fuel exchange system for FBRs is composed of a fuel exchanger which inserts, pulls out and transfers fuel and rotary plugs. The mechanism adopted for the new type fuel exchange system that Mitsubishi is developing is explained. The feasibility of the mechanism on the upper part of a core was investigated by water flow test, vibration test and buckling test. The design of the mechanism on the upper part of the core of a demonstration FBR was examined, and the new type fuel exchange system was sufficiently applicable. (Kako, I.)

  11. Light echoes - Type II supernovae

    International Nuclear Information System (INIS)

    Schaefer, B.E.

    1987-01-01

    Type II supernovae (SNs) light curves show a remarkable range of shapes. Data have been collected for the 12 Type II SNs that have light curve information for more than four months past maximum. Contrary to previous reports, it is found that (1) the decay rate after 100 days past maximum varies by almost an order of magnitude and (2) the light curve shapes are not bimodally distributed, but actually form a continuum. In addition, it is found that the extinctions to the SNs are related to the light curve shapes. This implies that the absorbing dust is local to the SNs. The dust is likely to be part of a circumstellar shell emitted by the SN progenitor that Dwek (1983) has used to explain infrared echoes. The optical depth of the shell can get quite large. In such cases, it is found that the photons scattered and delayed by reflection off dust grains will dominate the light curve several months after peak brightness. This light echo offers a straightforward explanation of the diversity of Type II SN light curves. 22 references

  12. Sandstone-type uranium deposits

    International Nuclear Information System (INIS)

    Austin, S.R.; D'Andrea, R.F. Jr.

    1978-01-01

    Three overall factors are necessary for formation of uranium deposits in sandstone: a source of uranium, host rocks capable of transmitting uranium-bearing solutions, and a precipitant. Possible sources of uranium in sandstone-type deposits include groundwaters emanating from granitic highlands, arkosic sediments, tuffaceous material within or overlying the host rocks, connate fluids, and overlying black shales. The first three sources are considered the most likely. Host rocks are generally immature sandstones deposited in alluvial-fan, intermontane-basin or marginal-marine environments, but uranium deposits do occur in well-winnowed barrier-bar or eolian sands. Host rocks for uranium deposits generally show coefficients of permeability on the order of 1 to 100 gal/day/ft 2 . Precipitants are normally agents capable of reducing uranium from the uranyl to the uranous state. The association of uranium with organic matter is unequivocal; H 2 S, a powerful reductant, may have been present at the time of formation of some deposits but may go unnoticed today. Vanadium can serve to preserve the tabular characteristics of some deposits in the near-surface environment, but is considered an unlikely primary precipitant for uranium. Uranium deposits in sandstone are divided into two overall types: peneconcordant deposits, which occur in locally reducing environments in otherwise oxidized sandstones; and roll-type deposits, which occur at the margin of an area where an oxidized groundwater has permeated an otherwise reduced sandstone. Uranium deposits are further broken down into four subclasses; these are described

  13. A new type of spondylo-metaphyseal dysplasia - Algerian type

    International Nuclear Information System (INIS)

    Kozlowski, K.; Bacha, L.; Massen, R.; Ayati, M.; Sator, S.; Brahimi, L.

    1988-01-01

    A new, dominantly inherited, severe form of spondylometaphyseal dysplasia in five members of an Algerian family is reported. Another child, not investigated, was also probably affected. The disease is characterised by a unique clinical and radiological set of features: dwarfism, genu valgum deformity, progressive kypho-scoliosis, wrist deformity, myopia and severe metaphyseal dysplasia, with moderate spinal changes and minimal changes in the hands and feet. In view of the geographical localisation of the disorder and the anatomical distribution we propose the name Algerian type of spondylo-metaphyseal dysplasia. (orig.)

  14. 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 ( ...

  15. What Type of Project Leader Are You?

    DEFF Research Database (Denmark)

    Lund Pedersen, Carsten; Ritter, Thomas

    2018-01-01

    Everyone has their own way of organising a project. Read about the four types of leadership, and why a diversity of types is good for any organisation. And take the quiz: What type of project leader are you?......Everyone has their own way of organising a project. Read about the four types of leadership, and why a diversity of types is good for any organisation. And take the quiz: What type of project leader are you?...

  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. P -type transparent conducting oxides

    International Nuclear Information System (INIS)

    Zhang, Kelvin H L; Xi, Kai; Blamire, Mark G; Egdell, Russell G

    2016-01-01

    Transparent conducting oxides constitute a unique class of materials combining properties of electrical conductivity and optical transparency in a single material. They are needed for a wide range of applications including solar cells, flat panel displays, touch screens, light emitting diodes and transparent electronics. Most of the commercially available TCOs are n -type, such as Sn doped In 2 O 3 , Al doped ZnO, and F doped SnO 2 . However, the development of efficient p -type TCOs remains an outstanding challenge. This challenge is thought to be due to the localized nature of the O 2 p derived valence band which leads to difficulty in introducing shallow acceptors and large hole effective masses. In 1997 Hosono and co-workers (1997 Nature 389 939) proposed the concept of ‘chemical modulation of the valence band’ to mitigate this problem using hybridization of O 2 p orbitals with close-shell Cu 3 d 10 orbitals. This work has sparked tremendous interest in designing p -TCO materials together with deep understanding the underlying materials physics. In this article, we will provide a comprehensive review on traditional and recently emergent p -TCOs, including Cu + -based delafossites, layered oxychalcogenides, nd 6 spinel oxides, Cr 3+ -based oxides (3 d 3 ) and post-transition metal oxides with lone pair state (ns 2 ). We will focus our discussions on the basic materials physics of these materials in terms of electronic structures, doping and defect properties for p -type conductivity and optical properties. Device applications based on p -TCOs for transparent p – n junctions will also be briefly discussed. (topical review)

  18. Nuclear Zpif-type plots

    International Nuclear Information System (INIS)

    Ma Yugang

    2000-01-01

    Isospin dependent classical molecular dynamics model is used to investigate the nuclear disassembly of 129 Xe. Zpif-type plot in the field of linguistics is tested for the rank-classified cluster arrangement from this nuclear disassembly. It is found that the average cluster charge (or mass) of rank n in the charge (or mass) list is exactly inverse to its rank, i.e. there exists Zpif's law at the point of the liquid gas phase transition. This novel criterion can be used to diagnose the nuclear liquid gas phase transition experimentally and theoretically

  19. 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.

  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. 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.

  2. WWER-440 type reactor core

    International Nuclear Information System (INIS)

    Mizov, J.; Svec, P.; Rajci, T.

    1987-01-01

    Assemblies with patly spent fuel of enrichment within 5 and 36 MWd/kg U or lower than the maximum enrichment of freshly charged fuel are placed in at least one of the peripheral positions of each hexagonal sector of the WWER-440 reactor type core. This increases fuel availability and reduces the integral neutron dose to the reactor vessel. The duration is extended of the reactor campaign and/or the mean fuel enrichment necessary for the required duration of the period between refuellings is reduced. Thus, fuel costs are reduced by 1 up to 3%. The results obtained in the experiment are tabulated. (J.B.). 1 fig., 3 tabs

  3. Adiabatic Wankel type rotary engine

    Science.gov (United States)

    Kamo, R.; Badgley, P.; Doup, D.

    1988-01-01

    This SBIR Phase program accomplished the objective of advancing the technology of the Wankel type rotary engine for aircraft applications through the use of adiabatic engine technology. Based on the results of this program, technology is in place to provide a rotor and side and intermediate housings with thermal barrier coatings. A detailed cycle analysis of the NASA 1007R Direct Injection Stratified Charge (DISC) rotary engine was performed which concluded that applying thermal barrier coatings to the rotor should be successful and that it was unlikely that the rotor housing could be successfully run with thermal barrier coatings as the thermal stresses were extensive.

  4. Fusion-fission type collisions

    International Nuclear Information System (INIS)

    Oeschler, H.

    1980-01-01

    Three examples of fusion-fission type collisions on medium-mass nuclei are investigated whether the fragment properties are consistent with fission from equilibrated compound nuclei. Only in a very narrow band of angular momenta the data fulfill the necessary criteria for this process. Continuous evolutions of this mechnism into fusion fission and into a deep-inelastic process and particle emission prior to fusion have been observed. Based on the widths of the fragment-mass distributions of a great variety of data, a further criterion for the compound-nucleus-fission process is tentatively proposed. (orig.)

  5. 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...

  6. Type A dissection following endovascular repair of type B dissection

    International Nuclear Information System (INIS)

    Juszkat, R.; Zabicki, M.; Jemielity, M.; Buczkowski, P.; Urbanowicz, T.

    2009-01-01

    Background: We present a patient, who was treated with thoracic stentgraft implantation, because of acute type B aortic dissection (according to Stanford classification). The endovascular procedure was performed without any complications. Case Report: The patient was discharged in the 3 rd postprocedural day and was transferred to another hospital for further recovery. Nine days after the procedure, the patient was readmitted in cardiogenic shock to the Cardiac Surgery Department. The patient was immediately operated on, after dissection of the ascending aorta and pericardial tamponade had been diagnosed in transthoracic echocardiography. Conclusions: Total replacement of the aortic arch and its ascending part was performed successfully. The surgery was carried out in deep hypothermia with temporary circulatory arrest. The patient was discharged from the Cardiac Surgery Unit 15 days after the surgery, and transferred to another unit for further recovery. (authors)

  7. Influência de diferentes tipos de estacas e substratos na propagação assexuada de hortênsia [Hydrangea macrophylla (Thunb. Ser.] Influence of different types of stem cuttings and substrates on the asexual reproduction of hydrangea (Hydrangea macrophylla (Thunb. Ser.

    Directory of Open Access Journals (Sweden)

    Petterson Baptista da Luz

    2007-06-01

    types of substrate: soil, sand and vermiculite, for production of new cuttings. The stems were cut from the mother plants and subdivided into apical, median and basal segments, which were then placed for rooting in styrofoam trays containing the three different substrates soil, sand, and vermiculite and arranged inside a growth chamber containing nebulization. The cuttings that presented the best root quality were the ones originated from the basal portion of the stem and sand was the substrate that provided best rooting. The cuttings obtained from the different parts of the plant did not differ as far as percent of rooting and number of sprouts formed are concerned. On the other hand, the substrates that provided highest number of sprouts were sand and soil. Some cuttings presented flower formation, with higher frequency on the cuttings from the apical segment, with no effect from substrate. Sand was the substrate that provided the best results concerning quality of roots and rooting percentage. The soil substrate was superior only for the number of sprouts per cutting although it was not statistically different from the substrate sand. Transplants originated from cuttings of the basal portion of the stem were qualitatively superior.

  8. 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.

  9. Phage typing of Staphylococcus saprophyticus.

    Science.gov (United States)

    Torres Pereira, A.; Melo Cristino, J. A.

    1991-01-01

    This study included 502 staphylococcus strains; Staphylococcus saprophyticus (297 strains) S. cohnii (47), S. xylosus (10), S. epidermidis (67) and S. aureus (81). Mitomycin C induction was performed on 100 isolates of S. saprophyticus and all induced strains were reacted with each other. Twenty-six strains proved to be lysogenic. Phages were propagated and titrated. With 12 of the phages there were three frequent associations, named lytic groups A, B and C, which included 75% of all typable strains. Typability of the system was 45% and reproducibility was between 94.2% and 100%. Phages did not lyse S. aureus and S. epidermidis strains, but they lysed S. saprophyticus and only rare strains of other novobiocin resistant species. Effective S. saprophyticus typing serves ecological purposes and tracing the origin of urinary strains from the skin or mucous membranes. Phage typing in association with plasmid profiling previously described, are anticipated as complementary methods with strong discriminatory power for differentiating among S. saprophyticus strains. PMID:1752305

  10. RIA type tests in ACPR

    International Nuclear Information System (INIS)

    Preda, Marin; Stefan, Violeta; Ancuta, Mirela; Negut, Gheorghe

    2008-01-01

    For a better NPP operation fuel behavior in accidental conditions (LOCA) is of great interest. Irradiation tests in ACPR can give interesting data on the CANDU fuel behavior in such kind of accidents. These data can be used for simulation, calibration and validation of fuel computer codes. The tests were accomplished in the TRIGA Annular Core Pulse Reactor (ACPR). Reactivity insertion accidents are not specific for the CANDU reactors but this type of test can contribute to a better understanding of CANDU type fuel behavior during various conditions.The tests were accomplished in the ambient pressure and temperature with fresh fuel probes. These tests gave similar results on the clad-fuel, and clad-coolant interactions which occur in LOCA accidents. The tests will be continued with instrumentation improvements what will give better statistics and information on fuel behavior in accident conditions. The structure of the paper is the following: - 1. Introduction; - 2. Irradiation device description; - 2.1. Capsule main parameters; - 2.1.1. Initial conditions; - 2.1.2. Test conditions; - 3. Tests objectives; - 4. Test of fuel; - 5. Results; - 5.1. Temperature effects; - 5.2. Pressure effects; - 6. Conclusion

  11. New type radiation management system

    International Nuclear Information System (INIS)

    Mogi, Kenichi; Uranaka, Yasuo; Fujita, Kazuhiko

    2001-01-01

    The radiation management system is a system to carry out entrance and leaving room management of peoples into radiation management area, information management on radiation obtained from a radiation testing apparatus, and so on. New type radiation management system developed by the Mitsubishi Electric Corp. is designed by concepts of superior maintenance and system practice by using apparatus and its interface with standard specification, upgrading of processing response by separating exposure management processing from radiation monitoring processing on a computer, and a backup system not so as to lose its function by a single accident of the constructed computer. Therefore, the system is applied by the newest hardware, package software, and general use LAN, and can carry out a total system filled with requirements and functions for various radiation management of customers by preparing a basic system from radiation testing apparatus to entrance and leaving room management system. Here were described on outline of the new type management system, concept of the system, and functions of every testing apparatus. (G.K.)

  12. New type of metal targets

    International Nuclear Information System (INIS)

    Bukharov, A.V.; Ankudinov, V.B.; Ogorodnikov, V.P.; Marukhin, Y.A.

    2014-01-01

    Now the technologies based on interaction of high-intensity beams with substance of a target are being intensively developed. As a target it is possible to use the new type of monodisperse metal targets. The principal advantages of new targets type are: target cooling isn't required; there is no induced activity: the target can be used many times; small dispersion on the speed, the size and interaction points with a beam. The basis of a target is the jet of molten metal, following in the vacuum chamber .Under the influence of the special disturbance superimposed on the liquid jet, the jet disintegrated into identical drops. In the vacuum chamber the drops freeze and form into the solid granules. It is possible to receive monodisperse targets from different metals, alloys and salts (diameter of targets is from 30 .m to 1.5 mm). Dispersion by the sizes and speed is less than 1%. The technique allows to receive not only continuous targets, but also hollow targets with dispersion on thickness of wall within 1...2%.

  13. Fixed type incore measuring device

    International Nuclear Information System (INIS)

    Oda, Naotaka; Ito, Hitoshi; Maeda, Hiroyuki

    1998-01-01

    The present invention concerns a measuring device using gamma thermometers to be used in a BWR type reactor. An input switch is inserted to the vicinity of a detection signal input portion of a signal cable connecting GT with the detection signal input portion of a fixed type incore measuring device, and a loop resistance measuring means is disposed to the input switch on the side of the GT by way of a measurement switch. Upon measuring loop resistance, the GT measuring circuit is switched from the detection signal input portion to the loop resistance measuring means by a switching operation of the input switch and the measurement switch thereby enabling to confirm the value of the loop resistance. In addition, the lowering of the voltage in the loop resistance is compensated to confirm the accurate measurement values to be used thereby enabling to measure GT detection signals accurately. A diagnosing means for diagnosing the state of GT based on the results of the measurement for the loop resistance is disposed, and the results are reported to an operator. (N.H.)

  14. 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.

  15. Verifying Process Algebra Proofs in Type Theory

    NARCIS (Netherlands)

    Sellink, M.P.A.

    In this paper we study automatic verification of proofs in process algebra. Formulas of process algebra are represented by types in typed λ-calculus. Inhabitants (terms) of these types represent proofs. The specific typed λ-calculus we use is the Calculus of Inductive Constructions as implemented

  16. 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...

  17. Type Checking with XML Schema in XACT

    DEFF Research Database (Denmark)

    Kirkegaard, Christian; Møller, Anders

    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...

  18. Memorization in Type-Directed Partial Evaluation

    DEFF Research Database (Denmark)

    Balat, Vincent; Danvy, Olivier

    2002-01-01

    We use a code generator—type-directed partial evaluation— to verify conversions between isomorphic types, or more precisely to verify that a composite function is the identity function at some complicated type. A typed functional language such as ML provides a natural support to express the funct...

  19. Psychological Type of Person-Centered Counselors.

    Science.gov (United States)

    Robbins, Mandy; Turley, Joanne

    2016-02-01

    There are various models and approaches to counseling and psychotherapy. Important characteristics of therapists include psychological type. This study aimed to investigate the psychological type profile of person-centered counselors. The psychological type of 85 counselors (63 women, 22 men) was measured with the Francis Psychological Type Scales (FPTS). Results indicate that the FPTS can reliably measure psychological type among counselors, and the most common psychological type was introvert, intuitive, feeling, and judging (INFJ). The relation of these psychological types with a person-centered approach is further discussed.

  20. 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

  1. 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...... from the universal type to the specific type of the residual program. Standard partial evaluation then yields a residual program without type tags, simply and efficiently....

  2. 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...... T cell reaction and less autoimmunity. Glycolipids presented by CD1 molecules are central in this stimulation. (4) Importance of the intestine and gliadin intake: Gluten-free diet dramatically inhibits T1D in animal models, and epidemiological data are supportive of such an effect in humans....... The mechanisms include less subclinical intestinal inflammation and permeability, and changed composition of bacterial flora, which can also be obtained by intake of probiotics. Gluten-free diet is difficult to implement, and short-term intake has no effect. Regarding the onset of the T1D disease process, slow...

  3. An Abel type cubic system

    Directory of Open Access Journals (Sweden)

    Gary R. Nicklason

    2015-07-01

    Full Text Available We consider center conditions for plane polynomial systems of Abel type consisting of a linear center perturbed by the sum of 2 homogeneous polynomials of degrees n and 2n-1 where $n \\ge 2$. Using properties of Abel equations we obtain two general systems valid for arbitrary values on n. For the cubic n=2 systems we find several sets of new center conditions, some of which show that the results in a paper by Hill, Lloyd and Pearson which were conjectured to be complete are in fact not complete. We also present a particular system which appears to be a counterexample to a conjecture by Zoladek et al. regarding rational reversibility in cubic polynomial systems.

  4. 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...... III the minimum predation from cormorants and herons was estimated over a three year period on the brown trout population of of Lake Hald. The magnitude of the predation pressure from both bird species were very similar and when summed up, the avian predation accounted for an average minimum of 37.......2 % of the annual brown trout mortality in the lake and 10.1 % in the tributaries. This result illustrates that avian predation in the lake can be quite substantial and potentially plays an important role in the population dynamics of brown trout. Cormorants alone were responsible 21.2% in the lake and the arrival...

  5. Psychoanalytical personality types and agoraphobia.

    Science.gov (United States)

    Hoffart, A

    1995-03-01

    The aim of this study was to examine the relationship between psychoanalytical personality types and agoraphobia. Thirty-two panic disorder with agoraphobia patients and 18 agoraphobia without panic disorder patients attending an inpatient 11-week behavioral-psychodynamic treatment program were assessed repeatedly from pretreatment to 2 years after the end of treatment. On personality scales measuring oral, obsessive, hysterical, and reality-weak traits, there were no differences between agoraphobic patients with and without panic disorder. The examined traits correlated across the period from pretreatment to 2-year follow-up, although the potential influence of symptoms were controlled for. Higher scores on the oral scale predicted poorer course of symptoms in the year immediately after treatment. Scores on the oral scale decreased with the improvements of agoraphobic and general symptoms, but did not attain a normal level. The results supported a combined predisposition-state model for the relationship between oral traits and agoraphobia.

  6. Master-slave type manipulator

    International Nuclear Information System (INIS)

    Haaker, L.W.; Jelatis, D.G.

    1979-01-01

    Remote control manipulator of the master-slave type for carrying out work on the other side of a shield wall. This appliance allows a Y movement relative displacement, the function of which is to extend the range of the manipulator towards the front and also to facilitate its installation, the lateral rotation or inclination of the slave arm in relation to the master arm, and the Z movement extension through which the length of the slave arm is increased in comparison with that of the master arm. Devices have been developed which transform the linear movements into rotational movements to enable these movements to be transmitted through rotational seal fittings capable of ensuring the safety of the separation between the operator's environment and that in the work area. Particular improvements have been made to the handles, handle seals, pincer mechanisms, etc [fr

  7. Livermore pool-type reactor

    International Nuclear Information System (INIS)

    Mann, L.G.

    1977-01-01

    The Livermore Pool-Type Reactor (LPTR) has served a dual purpose since 1958--as an instrument for fundamental research and as a tool for measurement and calibration. Our early efforts centered on neutron-diffraction, fission, and capture gamma-ray studies. During the 1960's it was used for extensive calibration work associated with radiochemical and physical measurements on nuclear-explosive tests. Since 1970 the principal applications have been for trace-element measurements and radiation-damage studies. Today's research program is dominated by radiochemical studies of the shorter-lived fission products and by research on the mechanisms of radiation damage. Trace-element measurement for the National Uranium Resource Evaluation (NURE) program is the major measurement application today

  8. Physics of type Ia supernovae

    International Nuclear Information System (INIS)

    Hoeflich, Peter

    2006-01-01

    The last decade has witnessed an explosive growth of high-quality data for thermonuclear explosions of a white dwarf star, the type Ia supernovae (SNe Ia). Advances in computational methods provide new insights into the physics of the phenomenon and a direct, quantitative link between observables and explosion physics. Both trends combined provided spectacular results, allowed to address, to identify specific problems and to narrow down the range of scenarios. Current topics include the relation between SNe Ia and their progenitors, the influence of the metallicities and accretion on the explosion, and details of the burning front. How can we understand the apparent homogeneity and probe for the diversity of SNe Ia? Here, we want give an overview of the current status of our understanding of supernovae physics in light of recent results

  9. Classification of Building Object Types

    DEFF Research Database (Denmark)

    Jørgensen, Kaj Asbjørn

    2011-01-01

    made. This is certainly the case in the Danish development. Based on the theories about these abstraction mechanisms, the basic principles for classification systems are presented and the observed misconceptions are analyses and explained. Furthermore, it is argued that the purpose of classification...... systems has changed and that new opportunities should be explored. Some proposals for new applications are presented and carefully aligned with IT opportunities. Especially, the use of building modelling will give new benefits and many of the traditional uses of classification systems will instead...... 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...

  10. Chandra Early Type Galaxy Atals

    Science.gov (United States)

    Kim, Dong-Woo; Anderson, Craig; Burke, Douglas J.; Fabbiano, Giuseppina; Fruscione, Antonella; Lauer, Jennifer; McCollough, Michael; Morgan, Douglas; Mossman, Amy; O'Sullivan, Ewan; Paggi, Alessandro; Vrtilek, Saeqa Dil; Trinchieri, Ginevra

    2017-08-01

    The hot gas in early type galaxies (ETGs) plays a crucial role in understanding their formation and evolution. As the hot gas is often extended to the outskirts beyond the optical size, the large scale structural features identified by Chandra (including jets, cavities, cold fronts, filaments and tails) point to key evolutionary mechanisms, e.g., AGN feedback, merging history, accretion, stripping and star formation and its quenching. We have systematically analyzed the archival Chandra data of ~100 ETGs to study the hot ISM. We produce the uniformly derived data products with spatially resolved spectral information and will make them accessible via a public web site. With 2D spectral infomation, we further discuss gas morphology, scaling relations, X-ray based mass profiles and their implications related to various physical mechanisms (e.g., stellar and AGN feedback).

  11. PWR type process heat reactor

    International Nuclear Information System (INIS)

    Aubert, Gilles; Petit, Guy.

    1974-01-01

    The nuclear reactor described is of the pressurized water type. It includes a prestressed concrete vessel, the upper part of which is shut by a closure, and a core surrounded by a core ring. The core fuel assemblies are supported by an initial set of vertical tubes integral with the bottom of the vessel, which serve to guide the rods of the control system. Over the core there is a second set of vertical tubes, able to receive the absorbing part of a control rod when this is raised above the core. An annular pressurizer around the core ring keeps the water in a liquid state. A pump is located above the second set of tubes and is integral with the closure. It circulates the water between the core and the intake of at least one primary heat exchanger, the exchanger (s) being placed between the wall of the vessel and the core ring [fr

  12. BWR type nuclear power plant

    International Nuclear Information System (INIS)

    Matsumoto, Kosuke.

    1991-01-01

    In a BWR type nuclear power plant in which reactor water in a reactor pressure vessel can be drained to a waste processing system by way of reactor recycling pipeways and remaining heat removal system pipeways, a pressurized air supply device is disposed for supplying air for pressurizing reactor water to the inside of the reactor pressure vessel by way of an upper head. With such a constitution, since the pressurized air sent from the pressurized air supply device above the reactor pressure vessel for the reactor water discharging pressure upon draining, the water draining pressure is increased compared with a conventional case and, accordingly, the amount of drained water is not reduced even in the latter half of draining. Accordingly, the draining efficiency can be improved and only a relatively short period of time is required till the completion of the draining, which can improve safety and save labors. (T.M.)

  13. Type IV Wind Turbine Model

    DEFF Research Database (Denmark)

    Hansen, Anca Daniela; Margaris, Ioannis D.

    . 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......This document is created as part of the EaseWind project. The goal of this project is to develop and investigate new control features for primary response provided by wind power plants. New control features as inertial response, synchronising power and power system damping are of interest to EaseWind...... 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...

  14. Emulsion type dry cleaning system

    International Nuclear Information System (INIS)

    Kohanawa, Osamu; Matsumoto, Hiroyo.

    1988-01-01

    Protective clothing against radioactive contamination used in the radiation controlled areas of nuclear plants has been washed by the same wet washing as used for underwear washing, but recently dry cleaning is getting used in place of wet washing, which generates a large quantity of laundry drain. However, it was required to use wet washing once every five to ten dry cleanings for washing protective clothing, because conventional dry cleaning is less effective in removing water-soluble soils. Therefore, in order to eliminate wet washing, and to decrease the quantity of laundry drains, the emulsion type dry cleaning system capable of removing both oil-soluble and water-soluble soils at a time has been developed. The results of developmental experiments and actual application are presented in this paper. (author)

  15. EG type radioactive calibration standards

    International Nuclear Information System (INIS)

    1980-01-01

    EG standards are standards with a radioactive substance deposited as a solution on filtration paper and after drying sealed into a plastic disc or cylinder shaped casing. They serve the official testing of X-ray and gamma spectrometers and as test sources. The table shows the types of used radionuclides, nominal values of activity and total error of determination not exceeding +-4%. Activity of standards is calculated from the charge and the specific activity of standard solution used for the preparation of the standard. Tightness and surface contamination is measured for each standard. The manufacturer, UVVVR Praha, gives a guarantee for the given values of activity and total error of determination. (M.D.)

  16. 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....... The technique of the proof is subsequently applied to show that every compact manifold of negative type must have trivial fundamental group, and to obtain a necessary criterion for product manifolds to be of negative type....

  17. Prevalence, types and psychopathologic consequences of female ...

    African Journals Online (AJOL)

    Type 2a (removal of labia minora only) was the predominant type of FGC among respondents accounting for 64.6%; this was followed by type Ia (removal of the clitoral hood or prepuce only) 18.3%; then type 1b (removal of the clitoris with prepuce) 15.9%; and type 3a (removal and apposition of the labia minora) 1.2%.

  18. 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

  19. [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.

  20. Vertical transmission of macular telangiectasia type 2.

    Science.gov (United States)

    Delaere, Lien; Spielberg, Leigh; Leys, Anita M

    2012-01-01

    The purpose of this study was to report vertical transmission of macular telangiectasia type 2 and type 2 diabetes mellitus in 3 families. In this retrospective interventional case series, the charts of patients with inherited macular telangiectasia type 2 were reviewed. A large spectrum of presentations of macular telangiectasia type 2 was observed and has been studied with different techniques including best-corrected visual acuity, microperimetry, confocal blue reflectance fundus autofluorescence, fluorescein angiography, and time domain and spectral domain optical coherence tomography. Vertical transmission of macular telangiectasia type 2 and associated type 2 diabetes mellitus is described in 3 families. Symptomatic as well as asymptomatic eyes with macular telangiectasia type 2 were identified. In 2 families, a mother and son experienced visual loss and were diagnosed with macular telangiectasia type 2. All 4 patients had type 2 diabetes. Diabetic retinopathy was observed in one mother and her son. In the third family, the index patient was diagnosed macular telangiectasia type 2 after complaints of metamorphopsia. She and her family members had type 2 diabetes mellitus, and further screening of her family revealed familial macular telangiectasia type 2. None of the patients were treated for macular telangiectasia type 2. Macular telangiectasia type 2 may be more common than previously assumed, as vision can remain preserved and patients may go undiagnosed. Screening of family members is indicated, and detection of mild anomalies is possible using fundus autofluorescence and spectral domain optical coherence tomography.

  1. OMR type process heat reactor

    International Nuclear Information System (INIS)

    Franzetti, Franco.

    1974-01-01

    A description is given of an OMR type reactor for heat generation. It includes a vessel the upper part of which is shut by a plug. The lower part of the vessel includes a core of fuel elements and is filled with an organic liquid. Over this there is a middle area filled with an inert gas. The plug includes an upper part forming a closure and resting around its edge on the vessel, and a lower part fixed under the closure and composed of a hollow cylindrical tank fitted with a bottom and filled with another organic liquid. The height of the cylindrical tank is such that, increased by the height of the first organic liquid in the lower area and above the core, it provides biological protection. The cooling system includes a heat exchanger and a pump to move the liquid from the lower part of the core and to inject some as spray into that part of the vessel filled with the inert gas. When loading and unloading, after the reactor is shut down, the clear organic liquid contained in the plug is discharged into the reactor vessel in such a way that it does not mix with the opaque organic liquid already contained in the vessel, and in that the opaque organic liquid is emptied out [fr

  2. Lateral type of intracerebral hemorrhage

    International Nuclear Information System (INIS)

    Yamagami, Tatsuhito; Gotoh, Yasunobu; Imataka, Kiyoharu; Niijima, Kyo; Handa, Hajime.

    1987-01-01

    The magnetic resonance imaging (MRI) of intracerebral hemorrhages (lateral type) was studied. The strength of the magnetic field was 0.2 Tesla. Four cases were studied with inversion recovery (IR) and saturation recovery (SR) images. The findings of the acute stage (within 1 week) were a central isointensity and a peripheral low intensity on the IR image. On the SR image we recognized a central isointensity and a peripheral high intensity holding a faintly high intensity area around the hematoma. The findings of the subacute stage (from 1 to 3 weeks) were characterized by a central isointensity and a peripheral high-intensity ring, with a low-intensity area outside the hematoma on the IR image. A widespread high-intensity area including the hematoma itself and the surrounding white matter was observed on the SR image. The findings of the chronic stage (over 3 weeks) were the disapperance of a high-intensity ring and a change to a low-intensity area on the IR image. The hematoma itself and surrounding white matter had a high intensity, which has decreased in size in comparison with that of the subacute stage. The hypointensity rim was found in the immediately adjacent part of the original hematoma on the SR image. The MRI of a small hematoma 70 days from the onset showed an almost normal brain structure. Some magnetic resonance findings of intracerebral hemorrhage were reviewed. (author)

  3. Composite type nuclear power system

    International Nuclear Information System (INIS)

    Nakamoto, Koichiro.

    1993-01-01

    The present invention realizes a high thermal efficiency by heating steams at the exit of a steam generator of a nuclear power plant to high temperature by a thermal super-heating boiler. That is, a thermal superheating boiler is disposed between the steam generator and a turbogenerator to heat steams from the steam generator and supply them to the turbogenerator. In this case, it may be possible that feedwater superheating boiler pipelines to the steam generator are caused to pass through the thermal superheating boiler so that they also have a performance of heating feedwater. If the system of the present invention is used, it is possible to conduct base load operation by nuclear power and a load following operation by controlling the thermal superheating boiler. Further, a hydrogen producing performance is applied to the thermal superheating boiler to produce hydrogen when electric power load is lowered. An internally sustaining type operation method can be conducted of burning hydrogen by the superheating boiler upon increased electric power load. As a result, a power generation system which has an excellent economical property and can easily cope with the load following operation can be attained. (I.S.)

  4. [The new types of addiction].

    Science.gov (United States)

    Semaille, P

    2009-09-01

    Addiction is characterized by the inability to control his consumption of product or control certain behaviors, and the continuation of the behavior despite knowledge of its adverse effects. Addictions to substances like heroin, cocaine, etc., are well known. But other substances potentially addictive are getting more common in Belgium: MDMA, GHB / GBL, Cristal, etc. The existence of addictions without substance (called also behavioral addiction) is well recognized now: gambling addiction seems to be the most common and has been recognized as a disease by WHO, but we can also observe cyberaddiction, addiction to sex, workalholic, addiction to shopping, etc. The screening of poly-addiction or to one substance or one behavior should be systematized in the history of every patient. This screening should be facilitated through the development and validation of a cross scale. Particular attention will be paid to certain groups, both in primary prevention and screening: men, adolescents and young adults, university students or high schools, clubbers, sporting people, prisoners, ethnic minorities, people with mental disorders like depression. Primary care workers, and especially general practitioners, are at the first place to detect those different forms of addiction, can affort appropriate care according to patient's characteristics and type addiction, and to identify high-risk situations for relapse.

  5. Botulinum toxin type B micromechanosensor.

    Science.gov (United States)

    Liu, W; Montana, Vedrana; Chapman, Edwin R; Mohideen, U; Parpura, Vladimir

    2003-11-11

    Botulinum neurotoxin (BoNT) types A, B, E, and F are toxic to humans; early and rapid detection is essential for adequate medical treatment. Presently available tests for detection of BoNTs, although sensitive, require hours to days. We report a BoNT-B sensor whose properties allow detection of BoNT-B within minutes. The technique relies on the detection of an agarose bead detachment from the tip of a micromachined cantilever resulting from BoNT-B action on its substratum, the synaptic protein synaptobrevin 2, attached to the beads. The mechanical resonance frequency of the cantilever is monitored for the detection. To suspend the bead off the cantilever we use synaptobrevin's molecular interaction with another synaptic protein, syntaxin 1A, that was deposited onto the cantilever tip. Additionally, this bead detachment technique is general and can be used in any displacement reaction, such as in receptor-ligand pairs, where the introduction of one chemical leads to the displacement of another. The technique is of broad interest and will find uses outside toxicology.

  6. TYPE Ia SUPERNOVA CARBON FOOTPRINTS

    International Nuclear Information System (INIS)

    Thomas, R. C.; Nugent, P.; Aldering, G.; Aragon, C.; Bailey, S.; Childress, M.; Fakhouri, H. K.; Hsiao, E. Y.; Loken, S.; Antilogus, P.; Bongard, S.; Canto, A.; Baltay, C.; Buton, C.; Kerschhaggl, M.; Kowalski, M.; Paech, K.; Chotard, N.; Copin, Y.; Gangler, E.

    2011-01-01

    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 λ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 –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 +10 –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 λ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.

  7. 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.

  8. Japanese Small Type Coastal Whaling

    Directory of Open Access Journals (Sweden)

    Sue Fisher

    2016-07-01

    Full Text Available 2016 marks the 70th anniversary of the International Convention for the Regulation of Whaling (ICRW as well as the 30th anniversary of the International Whaling Commission’s (IWC moratorium on commercial whaling. It also marks three decades of effort by Japan to overturn this ban. Its strategy to circumvent the moratorium by issuing permits to kill protected whales for scientific research is famous—even the subject of a 2014 lawsuit at the International Court of Justice. Less well known is Japan’s strategy to overturn the ban by persuading the Commission to authorise a category of commercial whaling known as Small Type Coastal Whaling (STCW that is conducted on minke and other small whales in Japanese waters but has never been regulated, or even formally recognised, by the IWC. For three decades Japan has sought STCW catch limits for four communities which it claims are still suffering distress as a result of the moratorium. While the Commission has rejected each proposal, mainly citing concerns that the commercial nature and purpose of STCW violates the moratorium, Japan has persisted, exhibiting great flexibility in its approach. Its tactics changed significantly in 2014; it no longer denied (or defended the commerciality of the hunt, but argued that it is irrelevant since it sought only a small exemption to the moratorium which would remain intact for all other populations. This is a perspective on Japan’s evolving STCW strategy and the risk that lifting, or modifying, the moratorium would pose to the conservation of whales.

  9. Foundations of Session Types and Behavioural Contracts

    DEFF Research Database (Denmark)

    Huttel, Hans; Lanese, Ivan; T. 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 patter...

  10. 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....

  11. Rate type isotach compaction of consolidated sandstone

    NARCIS (Netherlands)

    Waal, J.A. de; Thienen-Visser, K. van; Pruiksma, J.P.

    2015-01-01

    Laboratory experiments on samples from a consolidated sandstone reservoir are presented that demonstrate rate type compaction behaviour similar to that observed on unconsolidated sands and soils. Such rate type behaviour can have large consequences for reservoir compaction, surface subsidence and

  12. Ehlers-Danlos Syndrome Hypermobility Type

    Science.gov (United States)

    EHLERS-DANLOS SYNDROME HYPERMOBILITY TYPE Ehlers-Danlos syndrome hypermobility type is a connective tissue disorder that mostly affects the bones and joints. People with this condition have loose joints ...

  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. Black holes and groups of type 7

    Indian Academy of Sciences (India)

    Supergravity; groups of type 7; black holes; quantum field theory. ... representation are reviewed, along with a connection between special Kähler geometry and a 'generalization' of groups of type 7. ... Pramana – Journal of Physics | News.

  15. Crystallization of -type hexagonal ferrites from mechanically

    Indian Academy of Sciences (India)

    Crystallization of -type hexagonal ferrites from mechanically activated mixtures of barium carbonate and goethite ... Abstract. -type hexagonal ferrite precursor was prepared by a soft mechanochemical ... Bulletin of Materials Science | News.

  16. Pedestrian injury causation study (pedestrian accident typing)

    Science.gov (United States)

    1982-08-01

    A new computerized pedestrian accident typing procedure was tested on 1,997 cases from the Pedestrian Injury Causation Study (PICS). Two coding procedures were used to determine the effects of quantity and quality of information on accident typing ac...

  17. 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 ...

  18. Type IIB Ileosigmoid knotting: a case report

    African Journals Online (AJOL)

    2016-06-03

    Jun 3, 2016 ... peritonitis [4,6,7]; hence early diagnosis and operative ... clinical and radiological presentation of type II ileosigmoid volvulus ... Emergency laparotomy with possible resection and primary anastomosis in type I or resection and ...

  19. 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....

  20. 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.

  1. Type 1 Diabetes and Interferon Therapy

    OpenAIRE

    Nakamura, Kan; Kawasaki, Eiji; Imagawa, Akihisa; Awata, Takuya; Ikegami, Hiroshi; Uchigata, Yasuko; Kobayashi, Tetsuro; Shimada, Akira; Nakanishi, Koji; Makino, Hideichi; Maruyama, Taro; Hanafusa, Toshiaki

    2011-01-01

    OBJECTIVE Interferon therapy can trigger induction of several autoimmune diseases, including type 1 diabetes. To assess the clinical, immunologic, and genetic characteristics of type 1 diabetes induced by interferon therapy, we conducted a nationwide cross-sectional survey. RESEARCH DESIGN AND METHODS Clinical characteristics, anti-islet autoantibodies, and HLA-DR typing were examined in 91 patients for whom type 1 diabetes developed during or shortly after interferon therapy. RESULTS Median ...

  2. 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.

  3. 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

    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......, 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...... 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...

  4. Software extension and integration with type classes

    DEFF Research Database (Denmark)

    Lämmel, Ralf; Ostermann, Klaus

    2006-01-01

    expressiveness, by using the language concept of \\emph{type classes}, as it is available in the functional programming language Haskell. A detailed comparison with related work shows that type classes provide a powerful framework in which solutions to known software extension and integration problems can...... be provided. We also pinpoint several limitations of type classes in this context....

  5. Revisiting Parametric Types and Virtual Classes

    DEFF Research Database (Denmark)

    Madsen, Anders Bach; Ernst, Erik

    2010-01-01

    manner, because virtual classes are closely tied to nominal typing. This paper adds new insight about the dichotomy between these two approaches; it illustrates how virtual constraints and type refinements, as recently introduced in gbeta and Scala, enable structural treatment of virtual types; finally...

  6. Brauer algebras of type F4

    NARCIS (Netherlands)

    Liu, S.

    2013-01-01

    We present an algebra related to the Coxeter group of type F4 which can be viewed as the Brauer algebra of type F4 and is obtained as a subalgebra of the Brauer algebra of type E6. We also describe some properties of this algebra.

  7. Brauer algebra of type F4

    NARCIS (Netherlands)

    Liu, S.

    2012-01-01

    We present an algebra related to the Coxeter group of type F4 which can be viewed as the Brauer algebra of type F4 and is obtained as a subalgebra of the Brauer algebra of type E6. We also describe some properties of this algebra.

  8. 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...

  9. Molecular typing of methicillin-resistant Staphylococcus aureus: Comparison of PCR-based open reading frame typing, multilocus sequence typing, and Staphylococcus protein A gene typing.

    Science.gov (United States)

    Ogihara, Shinji; Saito, Ryoichi; Sawabe, Etsuko; Kozakai, Takahiro; Shima, Mari; Aiso, Yoshibumi; Fujie, Toshihide; Nukui, Yoko; Koike, Ryuji; Hagihara, Michio; Tohda, Shuji

    2018-04-01

    The recently developed PCR-based open reading frame typing (POT) method is a useful molecular typing tool. Here, we evaluated the performance of POT for molecular typing of methicillin-resistant Staphylococcus aureus (MRSA) isolates and compared its performance to those of multilocus sequence typing (MLST) and Staphylococcus protein A gene typing (spa typing). Thirty-seven MRSA isolates were collected between July 2012 and May 2015. MLST, spa typing, and POT were performed, and their discriminatory powers were evaluated using Simpson's index analysis. The MRSA isolates were classified into 11, 18, and 33 types by MLST, spa typing, and POT, respectively. The predominant strains identified by MLST, spa typing, and POT were ST8 and ST764, t002, and 93-191-127, respectively. The discriminatory power of MLST, spa typing, and POT was 0.853, 0.875, and 0.992, respectively, indicating that POT had the highest discriminatory power. Moreover, the results of MLST and spa were available after 2 days, whereas that of POT was available in 5 h. Furthermore, POT is rapid and easy to perform and interpret. Therefore, POT is a superior molecular typing tool for monitoring nosocomial transmission of MRSA. Copyright © 2017 Japanese Society of Chemotherapy and The Japanese Association for Infectious Diseases. Published by Elsevier Ltd. All rights reserved.

  10. Study of type III ELMs in JET

    NARCIS (Netherlands)

    Sartori, R.; Saibene, G.; Horton, L. D.; Becoulet, M.; Budny, R.; Borba, D.; Chankin, A.; Conway, G. D.; Cordey, G.; McDonald, D.; Guenther, K.; von Hellermann, M. G.; Igithkanov, Y.; Loarte, A.; Lomas, P. J.; Pogutse, O.; Rapp, J.

    2004-01-01

    This paper presents the results of JET experiments aimed at studying the operational space of plasmas with a Type III ELMy edge, in terms of both local and global plasma parameters. In JET, the Type III ELMy regime has a wide operational space in the pedestal n(e)-T-e diagram, and Type III ELMs are

  11. Pragmatics of type-directed partial evaluation

    DEFF Research Database (Denmark)

    Danvy, Olivier

    1996-01-01

    Type-directed partial evaluation stems from the residualization of static values in dynamic contexts, given their type and the type of their free variables. Its algorithm coincides with the algorithm for coercing a subtype value into a supertype value, which itself coincides with Berger and Schwi...

  12. 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...... and results show that a simple decision tree classifier can learn incidence type with satisfactory results from news data....

  13. 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.

  14. A computable type theory for control systems

    NARCIS (Netherlands)

    P.J. Collins (Pieter); L. Guo; J. Baillieul

    2009-01-01

    htmlabstractIn this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, but we quickly develop a type system which can be manipulated abstractly, but for which all allowable operations

  15. Type I signal peptidases of Bacillus subtilis

    NARCIS (Netherlands)

    Tjalsma, Harold; Bolhuis, Albert; Bron, Sierd; Jongbloed, Jan; Meijer, Wilfried J.J.; Noback, Michiel; van Roosmalen, Maarten; Venema, Gerhardus; van Dijl, Jan Maarten; Hopsu Havu, VK; Jarvinen, M; Kirschke, H

    1997-01-01

    Bacillus subtilis contains at least three chromosomally-encoded type I signal peptidases (SPases; SipS, SipT, and SipU), which remove signal peptides from secretory proteins. In addition, certain B. subtilis (natto) strains contain plasmid-encoded type I SPases (SipP). The known type I SPases from

  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. Hereditary sensory neuropathy type I.

    Science.gov (United States)

    Auer-Grumbach, Michaela

    2008-03-18

    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

  18. Roentgenological structural types of the unaltered breast

    Energy Technology Data Exchange (ETDEWEB)

    Kolganova, I P; Zal' tsman, I N [Akademiya Meditsinskikh Nauk RSFSR, Moscow. Pervyj Moskovskij Meditsinskij Inst.

    1981-11-01

    The authors present a roentgenoanatomical analysis of normal breast specimens and mammograms of 324 healthy women aged 31 to 60. Four roentgenological structural types of the unaltered breast have been singled out: linear-reticular, lamellar-cellular, large focal, and a single polygonal shadow. These structural types were detected in age groups from 31 to 40, from 41 to 50, and from 51 to 60 with various frequency. Each type corresponds to a certain morphological and functional state of the breast. The frequency of the 2nd and 4th types decreases and of the 1st type increases with advancing age.

  19. Roentgenological structural types of the unaltered breast

    International Nuclear Information System (INIS)

    Kolganova, I.P.; Zal'tsman, I.N.

    1981-01-01

    The authors present a roentgenoanatomical analysis of normal breast specimens and mammograms of 324 healthy women aged 31 to 60. Four roentgenological structural types of the unaltered breast have been singled out: linear-reticular, lamellar-cellular, large focal, and a single polygonal shadow. These structural types were detected in age groups from 31 to 40, from 41 to 50, and from 51 to 60 with various frequency. Each type corresponds to a certain morphological and functional state of the breast. The frequency of the 2nd and 4th types decreases and of the 1st type increases with advancing age [ru

  20. Rotating spacetimes of Goedel-type

    International Nuclear Information System (INIS)

    Reboucas, M.J.; Teixeira, A.F.F.

    1986-01-01

    The Goedel-type Riemannian manifolds are examined under two different assumptions on the algebraic structure of the energy-momentum tensor. All Goedel-type manifolds of either Segre type [1,(1,111)] or [(1,11)1] are shown to be spacetime-homogeneous. A generalization of Bampi-Zordan theorem is presented. All Goedel-type Riemannian manifolds of the algebric tachyon fluid type are shown to be conformally flat and isometric to Reboucas-Tiomno model. The conformal form of Reboucas-Tiomno is given. (Author) [pt

  1. Validity of Type D personality in Iceland

    DEFF Research Database (Denmark)

    Svansdottir, Erla; Karlsson, Hrobjartur D; Gudnason, Thorarinn

    2012-01-01

    was 26-29%, and assessment of Type D personality was not confounded by severity of underlying coronary artery disease. Regarding risk markers, Type D patients reported more psychopharmacological medication use and smoking, but frequency of previous mental problems was similar across groups. Type D......Type D personality has been associated with poor prognosis in cardiac patients. This study investigated the validity of the Type D construct in Iceland and its association with disease severity and health-related risk markers in cardiac patients. A sample of 1,452 cardiac patients completed...... the Type D scale (DS14), and a subgroup of 161 patients completed measurements for the five-factor model of personality, emotional control, anxiety, depression, stress and lifestyle factors. The Icelandic DS14 had good psychometric properties and its construct validity was confirmed. Prevalence of Type D...

  2. Mortality rate in type 2 myocardial infarction

    DEFF Research Database (Denmark)

    Saaby, Lotte; Poulsen, Tina Svenstrup; Diederichsen, Axel Cosmus Pyndt

    2014-01-01

    myocardial infarction, hypercholesterolemia, high p-creatinine, and diabetes mellitus. The multivariable-adjusted hazard ratio for type 2 myocardial infarction was 2.0 (95% confidence interval, 1.3-3.0). With shock as the only exception, mortality was independent of the triggering conditions leading to type....../119) in those with type 2 myocardial infarction and 26% (92/360) in those with type 1 myocardial infarction (P high age, prior myocardial infarction, type 2...... 2 myocardial infarction. CONCLUSIONS: Mortality in patients with type 2 myocardial infarction is high, reaching approximately 50% after 2 years. Further descriptive and survival studies are needed to improve the scientific evidence on which treatment of type 2 myocardial infarction is based....

  3. Study of Type III ELMs in JET

    Energy Technology Data Exchange (ETDEWEB)

    Sartori, R [EFDA Close Support Unit, Garching, 2 Boltzmannstrasse, Garching (Germany); Saibene, G [EFDA Close Support Unit, Garching, 2 Boltzmannstrasse, Garching (Germany); Horton, L D [Association Euratom-IPP, MPI fuer Plasmaphysik, 2 Boltzmannstrasse, Garching (Germany); Becoulet, M [Association Euratom-CEA, CE Cadarache, F-13108 St Paul-lez-Durance, CEDEX (France); Budny, R [PPPL, Princeton University, PO Box 451, Princeton, NJ 08543 (United States); Borba, D [Associacao EURATOM/IST, Centro de Fusao Nuclear, 1096 Lisbon, CODEX (Portugal); Chankin, A [Association Euratom-IPP, MPI fuer Plasmaphysik, 2 Boltzmannstrasse, Garching (Germany); Conway, G D [Association Euratom-IPP, MPI fuer Plasmaphysik, 2 Boltzmannstrasse, Garching (Germany); Cordey, G [EURATOM-UKAEA Fusion Association, Culham Science Centre, Abingdon, OX14 3DB (United Kingdom); McDonald, D [EURATOM-UKAEA Fusion Association, Culham Science Centre, Abingdon, OX14 3DB (United Kingdom); Guenther, K [EURATOM-UKAEA Fusion Association, Culham Science Centre, Abingdon, OX14 3DB (United Kingdom); Hellermann, M G von [FOM-Rijnhuizen, Ass. Euratom-FOM, TEC, PO Box 1207, 3430 BE Nieuwegein (Netherlands); Igithkanov, Yu [Max-Planck-Institute for Plasma Physics, Teilinstitut Greifswald, EURATOM Ass., D-17491, Greifswald (Germany); Loarte, A [EFDA Close Support Unit, Garching, 2 Boltzmannstrasse, Garching (Germany); Lomas, P J [EURATOM-UKAEA Fusion Association, Culham Science Centre, Abingdon, OX14 3DB (United Kingdom); Pogutse, O [EURATOM-UKAEA Fusion Association, Culham Science Centre, Abingdon, OX14 3DB (United Kingdom); Rapp, J [EFDA Close Support Unit, Culham, Abingdon OX14 3DB (United Kingdom)

    2004-05-01

    This paper presents the results of JET experiments aimed at studying the operational space of plasmas with a Type III ELMy edge, in terms of both local and global plasma parameters. In JET, the Type III ELMy regime has a wide operational space in the pedestal n{sub e} - T{sub e} diagram, and Type III ELMs are observed in standard ELMy H-modes as well as in plasmas with an internal transport barrier (ITB). The transition from an H-mode with Type III ELMs to a steady state Type I ELMy H-mode requires a minimum loss power, P{sub TypeI}. P{sub TypeI} decreases with increasing plasma triangularity. In the pedestal n{sub e} - T{sub e} diagram, the critical pedestal temperature for the transition to Type I ELMs is found to be inversely proportional to the pedestal density (T{sub crit} {proportional_to} 1/n) at a low density. In contrast, at a high density, T{sub crit}, does not depend strongly on density. In the density range where T{sub crit} {proportional_to} 1/n, the critical power required for the transition to Type I ELMs decreases with increasing density. Experimental results are presented suggesting a common mechanism for Type III ELMs at low and high collisionality. A single model for the critical temperature for the transition from Type III to Type I ELMs, based on the resistive interchange instability with magnetic flutter, fits well the density and toroidal field dependence of the JET experimental data. On the other hand, this model fails to describe the variation of the Type III n{sub e} - T{sub e} operational space with isotopic mass and q{sub 95}. Other results are instead suggestive of a different physics for Type III ELMs. At low collisionality, plasma current ramp experiments indicate a role of the edge current in determining the transition from Type III to Type I ELMs, while at high collisionality, a model based on resistive ballooning instability well reproduces, in term of a critical density, the experimentally observed q{sub 95} dependence of the

  4. Role of type 1 and type 3 fimbriae in Klebsiella pneumoniae biofilm formation

    DEFF Research Database (Denmark)

    Schroll, C.; Barken, Kim Bundvig; Krogfelt, K.A.

    2010-01-01

    nosocomial infections. Most clinical K. pneumoniae isolates express two types of fimbrial adhesins, type 1 fimbriae and type 3 fimbriae. In this study, we characterized the role of type 1 and type 3 fimbriae in K. pneumoniae biofilm formation. Results: Isogenic fimbriae mutants of the clinical K. pneumoniae...... of planktonic cells. Type 1 fimbriae did not influence biofilm formation and the expression of type 1 fimbriae was found to be down-regulated in biofilm forming cells. In contrast, expression of type 3 fimbriae was found to strongly promote biofilm formation. Conclusion: By use of well defined isogenic mutants...... we found that type 3 fimbriae, but not type 1 fimbriae, strongly promote biofilm formation in K. pneumoniae C3091. As the vast majority of clinical K. pneumoniae isolates express type 3 fimbriae, this fimbrial adhesin may play a significant role in development of catheter associated K. pneumoniae...

  5. Differing causes of pregnancy loss in type 1 and type 2 diabetes.

    Science.gov (United States)

    Cundy, Tim; Gamble, Greg; Neale, Leonie; Elder, Rose; McPherson, Paul; Henley, Patrick; Rowan, Janet

    2007-10-01

    Women with type 2 and type 1 diabetes have differing risk factors for pregnancy loss. We compared the rates and causes of pregnancy loss in women with type 1 and type 2 diabetes. We utilized prospectively collected data on all pregnancies in a 20-year period (1986-2005) from a single center with a high prevalence of type 2 diabetes. Pregnancy losses included terminations for medical reasons and deaths up to 1 month postpartum but not spontaneous pregnancy losses pregnancies in women with known diabetes (330 with type 1 and 540 with type 2 diabetes) and 325 in women with diabetes diagnosed in pregnancy but persisting postpartum (97% type 2 diabetes). The rate of pregnancy loss was similar in type 1 and type 2 diabetes (2.6 vs. 3.7%, P = 0.39), but the causes of pregnancy loss differed. In type 1 diabetes >75% were attributable to major congenital anomalies or prematurity; in type 2 diabetes >75% were attributable to stillbirth or chorioamnionitis (P = 0.017). Women with type 2 and type 1 diabetes had similar A1C at presentation and near term, but the former were older (P causes of pregnancy loss in women with type 1 and type 2 diabetes. The higher rates of stillbirth in women with type 2 diabetes, suggest that other features, such as obesity, contribute significantly to pregnancy losses.

  6. Liver/kidney microsomal antibody type 1 and liver cytosol antibody type 1 concentrations in type 2 autoimmune hepatitis

    OpenAIRE

    Muratori, L; Cataleta, M; Muratori, P; Lenzi, M; Bianchi, F

    1998-01-01

    Background—Liver/kidney microsomal antibody type 1 (LKM1) and liver cytosol antibody type 1 (LC1) are the serological markers of type 2 autoimmune hepatitis (AIH). 
Aims—Since LKM1 and LC1 react against two distinct liver specific autoantigens (cytochrome P450IID6 (CYP2D6) and a 58 kDa cytosolic polypeptide respectively), the aim was to see whether LKM1 and LC1 concentrations correlate with liver disease activity. 
Patients—Twenty one patients with type 2 AIH were studied. 
Methods—A...

  7. EBV Latency Types Adopt Alternative Chromatin Conformations

    Science.gov (United States)

    Tempera, Italo; Klichinsky, Michael; Lieberman, Paul M.

    2011-01-01

    Epstein-Barr Virus (EBV) can establish latent infections with distinct gene expression patterns referred to as latency types. These different latency types are epigenetically stable and correspond to different promoter utilization. Here we explore the three-dimensional conformations of the EBV genome in different latency types. We employed Chromosome Conformation Capture (3C) assay to investigate chromatin loop formation between the OriP enhancer and the promoters that determine type I (Qp) or type III (Cp) gene expression. We show that OriP is in close physical proximity to Qp in type I latency, and to Cp in type III latency. The cellular chromatin insulator and boundary factor CTCF was implicated in EBV chromatin loop formation. Combining 3C and ChIP assays we found that CTCF is physically associated with OriP-Qp loop formation in type I and OriP-Cp loop formation in type III latency. Mutations in the CTCF binding site located at Qp disrupt loop formation between Qp and OriP, and lead to the activation of Cp transcription. Mutation of the CTCF binding site at Cp, as well as siRNA depletion of CTCF eliminates both OriP-associated loops, indicating that CTCF plays an integral role in loop formation. These data indicate that epigenetically stable EBV latency types adopt distinct chromatin architectures that depend on CTCF and mediate alternative promoter targeting by the OriP enhancer. PMID:21829357

  8. EBV latency types adopt alternative chromatin conformations.

    Directory of Open Access Journals (Sweden)

    Italo Tempera

    2011-07-01

    Full Text Available Epstein-Barr Virus (EBV can establish latent infections with distinct gene expression patterns referred to as latency types. These different latency types are epigenetically stable and correspond to different promoter utilization. Here we explore the three-dimensional conformations of the EBV genome in different latency types. We employed Chromosome Conformation Capture (3C assay to investigate chromatin loop formation between the OriP enhancer and the promoters that determine type I (Qp or type III (Cp gene expression. We show that OriP is in close physical proximity to Qp in type I latency, and to Cp in type III latency. The cellular chromatin insulator and boundary factor CTCF was implicated in EBV chromatin loop formation. Combining 3C and ChIP assays we found that CTCF is physically associated with OriP-Qp loop formation in type I and OriP-Cp loop formation in type III latency. Mutations in the CTCF binding site located at Qp disrupt loop formation between Qp and OriP, and lead to the activation of Cp transcription. Mutation of the CTCF binding site at Cp, as well as siRNA depletion of CTCF eliminates both OriP-associated loops, indicating that CTCF plays an integral role in loop formation. These data indicate that epigenetically stable EBV latency types adopt distinct chromatin architectures that depend on CTCF and mediate alternative promoter targeting by the OriP enhancer.

  9. Memoization in Type-Directed Partial Evaluation

    DEFF Research Database (Denmark)

    Balat, Vincent; Danvy, Olivier

    2002-01-01

    We use a code generator—type-directed partial evaluation— to verify conversions between isomorphic types, or more precisely to verify that a composite function is the identity function at some complicated type. A typed functional language such as ML provides a natural support to express the funct......We use a code generator—type-directed partial evaluation— to verify conversions between isomorphic types, or more precisely to verify that a composite function is the identity function at some complicated type. A typed functional language such as ML provides a natural support to express...... originate in the handling of sums, which uses delimited continuations. We successfully eliminate these redundancies by extending type-directed partial evaluation with memoization capabilities. The result only works for pure functional programs, but it provides an unexpected use of code generation...... and it yields orders-of-magnitude improvements both in time and in space for type isomorphisms. Basic Research in Computer Science (www. brics. dk), funded by the Danish National Research Foundation....

  10. 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…

  11. A Kantorovich-Stancu Type Generalization of Szasz Operators including Brenke Type Polynomials

    Directory of Open Access Journals (Sweden)

    Rabia Aktaş

    2013-01-01

    Full Text Available We introduce a Kantorovich-Stancu type modification of a generalization of Szasz operators defined by means of the Brenke type polynomials and obtain approximation properties of these operators. Also, we give a Voronovskaya type theorem for Kantorovich-Stancu type operators including Gould-Hopper polynomials.

  12. Odontoma and Analysis of 57 different types

    Directory of Open Access Journals (Sweden)

    Baghaei-e- Naeini F

    1999-06-01

    Full Text Available Odontoma is an odontogenic lesion with epithelial and mesenchymal origin and is composed"nof differentiated dental parts. Than because of abnormal organization of mature tissues. It seems that it is"na hamartoma rather than real tumor. Odontoma is seen in two types of compound & complex."nOut of 57 studied cases, 31 cases (54.2% were of complex type; 12 cases (21 % were compound & 8"ncases were of cystic. The age of incidence ranged from 5.5 to 68 years. The mean age in complex"nodontoma was 27 years & compound type was 19 years. There was no significant difference regarding the"nsex in the complex type. In compound odontoma women were affected 2 times more than means."nComplex type are found in mandibular posterior era ereas more and compound type in anterior regions .In"nthis studied found 12 cases impaction teeth.

  13. Bilateral type emphysematous pyelonephritis: imaging evaluation

    International Nuclear Information System (INIS)

    Salvador Cueto-Alvarez, L.; Piriz-Campos, E.; Ruiz-Garcia, T.; Roldan-Lora, F.

    2000-01-01

    Emphysematous pyelonephritis (EPN) is a serious infectious disease that occurs more frequently in diabetic patients. Radiological studies are indispensable for distinguishing between the two types since each is associated with a markedly different prognosis. We present a case of bilateral EPN diagnosed as type I on the basis of computed tomography findings, differentiating it from type II EPN, taking into account the prognostic value of this distinction. Type I EPN is characterized by the destruction of the renal parenchyma, a mottled or linear gas pattern and the absence of renal and perirenal fluid collection. Type II EPN is characterized by a loculated or bubbly gas pattern, the existence of fluid collection and less marked renal destruction. Type I is more aggressive and is associated with high rate of mortality. (Author) 7 refs

  14. Improving Type Error Messages in OCaml

    OpenAIRE

    Charguéraud , Arthur

    2015-01-01

    International audience; Cryptic type error messages are a major obstacle to learning OCaml or other ML-based languages. In many cases, error messages cannot be interpreted without a sufficiently-precise model of the type inference algorithm. The problem of improving type error messages in ML has received quite a bit of attention over the past two decades, and many different strategies have been considered. The challenge is not only to produce error messages that are both sufficiently concise ...

  15. Autoimmune Hypoglycemia in Type 1 Diabetes Mellitus.

    Science.gov (United States)

    Ambigapathy, Jayakumar; Sahoo, Jayaprakash; Kamalanathan, Sadishkumar

    2017-07-15

    Antibodies against exogenous insulin are common in type 1 diabetes mellitus patients. They can cause hypoglycemia, albeit uncommonly. A 14-year-old girl with type 1 diabetes mellitus presented with recurrent hypoglycemia. High insulin, low C-peptide and raised insulin antibody levels documented during hypoglycemia. Plasmapheresis led to remission of hypoglycemia. Antibodies to exogenous insulin should be considered as a cause of recurrent refractory hypoglycemia in type 1 diabetes mellitus patients.

  16. 46 CFR 172.085 - Hull type.

    Science.gov (United States)

    2010-10-01

    ... 46 Shipping 7 2010-10-01 2010-10-01 false Hull type. 172.085 Section 172.085 Shipping COAST GUARD... of This Chapter § 172.085 Hull type. If a cargo listed in Table 151.05 of part 151 of this chapter is to be carried, the tank barge must be at least the hull type specified in Table 151.05 of this...

  17. Moderne behandling af type B-aortadissektion

    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 uncomplicated...... Type B dissections, while surgery has been reserved for complications and persistent pain in spite of medical treatment. Endovascular techniques are less invasive than open repair and show promising early results Udgivelsesdato: 2008/9/8...

  18. Enumeration of connected Catalan objects by type

    OpenAIRE

    Rhoades, Brendon

    2010-01-01

    Noncrossing set partitions, nonnesting set partitions, Dyck paths, and rooted plane trees are four classes of Catalan objects which carry a notion of type. There exists a product formula which enumerates these objects according to type. We define a notion of `connectivity' for these objects and prove an analogous product formula which counts connected objects by type. Our proof of this product formula is combinatorial and bijective. We extend this to a product formula which counts objects wit...

  19. Rural tourism: the content, features and types

    OpenAIRE

    Yuriy Onoyko

    2017-01-01

    Despite the active development of rural tourism in Ukraine, this phenomenon is still under scientific study nowadays, which has been manifested by the uncertainty of the key terms; by the lack of clear boundaries, which can separate this type of tourism from other types of tourism activities; by debates about the essence and types of rural tourism. After analyzing the available information the author offers own generalized definition of rural tourism. Rural tourism is a specific entertaining ...

  20. Age of onset and type of leukaemia

    International Nuclear Information System (INIS)

    Butturini, Anna; Gale, R.P.

    1989-01-01

    The factors that influence leukaemia type are complex and differ for various leukaemogenic agents. Some leukaemogens increase the age-related risk of specific leukaemia, whereas other induce several or a single leukaemia type without age correlation. In most situations, age has no influence on leukaemia type. Consequently, other factors may explain the pronounced age-related differences seen for ''spontaneously'' occurring leukaemias in human beings. (author)

  1. Age of onset and type of leukaemia

    Energy Technology Data Exchange (ETDEWEB)

    Butturini, Anna (Parma Univ. (Italy)); Gale, R.P. (California Univ., Los Angeles, CA (USA). Dept. of Medicine)

    1989-09-30

    The factors that influence leukaemia type are complex and differ for various leukaemogenic agents. Some leukaemogens increase the age-related risk of specific leukaemia, whereas other induce several or a single leukaemia type without age correlation. In most situations, age has no influence on leukaemia type. Consequently, other factors may explain the pronounced age-related differences seen for ''spontaneously'' occurring leukaemias in human beings. (author).

  2. Legendre transformations and Clairaut-type equations

    Energy Technology Data Exchange (ETDEWEB)

    Lavrov, Peter M., E-mail: lavrov@tspu.edu.ru [Tomsk State Pedagogical University, Kievskaya St. 60, 634061 Tomsk (Russian Federation); National Research Tomsk State University, Lenin Av. 36, 634050 Tomsk (Russian Federation); Merzlikin, Boris S., E-mail: merzlikin@tspu.edu.ru [National Research Tomsk Polytechnic University, Lenin Av. 30, 634050 Tomsk (Russian Federation)

    2016-05-10

    It is noted that the Legendre transformations in the standard formulation of quantum field theory have the form of functional Clairaut-type equations. It is shown that in presence of composite fields the Clairaut-type form holds after loop corrections are taken into account. A new solution to the functional Clairaut-type equation appearing in field theories with composite fields is found.

  3. [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 uncomplicated...... Type B dissections, while surgery has been reserved for complications and persistent pain in spite of medical treatment. Endovascular techniques are less invasive than open repair and show promising early results Udgivelsesdato: 2008/9/8...

  4. 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.

  5. 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.

  6. Osteogenesis imperfecta type V, spot diagnosis

    International Nuclear Information System (INIS)

    Kozlowski, K.

    2010-01-01

    Background: The first case of Osteogenesis Imperfecta Type V in the Polish literature is reported. Case Report: Skeletal survey of an 8 year old girl with a history of multiple fractures and bilateral dislocation of radial heads was received for consultation. Conclusions: Generalised osteoporosis with multiple fractures, periosteal thickening and bilateral dislocation of the radial heads are characteristic signs of osteogenesis imperfecta Type V. The Nosology and Classification of Genetic Skeletal Disorders 2006 Revision classified Osteogenesis Imperfecta into 8 major types. Type V is recognizable on the basis of skeletal survey alone. (author)

  7. Curves of restricted type in euclidean spaces

    Directory of Open Access Journals (Sweden)

    Bengü Kılıç Bayram

    2014-01-01

    Full Text Available Submanifolds of restricted type were introduced in [7]. In the present study we consider restricted type of curves in Em. We give some special examples. We also show that spherical curve in S2(r C E3 is of restricted type if and only if either ƒ(s is constant or a linear function of s of the form ƒ(s = ±s + b and every closed W - curve of rank k and of length 2(r in E2k is of restricted type.

  8. Characterization of a NIMONIC TYPE super alloy

    International Nuclear Information System (INIS)

    Zamora Rangel, L.; Martinez Martinez, E.

    1985-01-01

    Mechanical properties of strength and thermofluence of a NIMONIC type super alloy under thermal treatment was determined. The relationship between microstructure, phases and precipitates was also studied. (author)

  9. 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.

  10. 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...... curvelet-type systems with a prescribed nature such as compact support in direct space. The method consists of using the machinery of almost diagonal matrices to show that a system of curvelet molecules which is sufficiently close to curvelets constitutes a frame for curvelet-type spaces. Such a system...

  11. 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....

  12. 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 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.

  13. 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.

  14. 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...

  15. 7 CFR 2903.6 - Project types.

    Science.gov (United States)

    2010-01-01

    ... 7 Agriculture 15 2010-01-01 2010-01-01 false Project types. 2903.6 Section 2903.6 Agriculture... AGRICULTURE BIODIESEL FUEL EDUCATION PROGRAM Program Description § 2903.6 Project types. OEPNU intends to... predetermined project period with a statement of intention to provide additional support at a future date...

  16. Type checking mCRL2

    NARCIS (Netherlands)

    Keiren, J.J.A.; Reniers, M.A.

    2011-01-01

    In this paper we present a type system for the data language of mCRL2, a process algebra based language for formalising the behaviour of communicating system. Much of the type system is standard, and follows the line of, e.g., Pierce [Pie02]. The data language that is described is rich, and supports

  17. Type checking by domain analysis in Ampersand

    NARCIS (Netherlands)

    Joosten, S.M.M.; Joosten, S.J.C.; Kahl, W.; Winter, M.; Oliveira, J.N.

    2015-01-01

    In the process of incorporating subtyping in relation algebra, an algorithm was found to derive the subtyping relation from the program to be checked. By using domain analysis rather than type inference, this algorithm offers an attractive visualization of the type derivation process. This

  18. Spectrophotometry of VV Cephei-type systems

    International Nuclear Information System (INIS)

    Piccirillo, J.

    1974-01-01

    Photoelectric spectrophotometry of four VV Cephei-type systems and two related objects is analyzed to derive the visual magnitude differences of the binary components. The results are in good agreement with previous photometric determinations. An extension of the present technique to other types of binary systems is briefly discussed. (U.S.)

  19. Ranking Very Many Typed Entities on Wikipedia

    NARCIS (Netherlands)

    Zaragoza, Hugo; Rode, H.; Mika, Peter; Atserias, Jordi; Ciaramita, Massimiliano; Attardi, Guiseppe

    2007-01-01

    We discuss the problem of ranking very many entities of different types. In particular we deal with a heterogeneous set of types, some being very generic and some very specific. We discuss two approaches for this problem: i) exploiting the entity containment graph and ii) using a Web search engine

  20. A Rewriting Logic Approach to Type Inference

    Science.gov (United States)

    Ellison, Chucky; Şerbănuţă, Traian Florin; Roşu, Grigore

    Meseguer and Roşu proposed rewriting logic semantics (RLS) as a programing language definitional framework that unifies operational and algebraic denotational semantics. RLS has already been used to define a series of didactic and real languages, but its benefits in connection with defining and reasoning about type systems have not been fully investigated. This paper shows how the same RLS style employed for giving formal definitions of languages can be used to define type systems. The same term-rewriting mechanism used to execute RLS language definitions can now be used to execute type systems, giving type checkers or type inferencers. The proposed approach is exemplified by defining the Hindley-Milner polymorphic type inferencer mathcal{W} as a rewrite logic theory and using this definition to obtain a type inferencer by executing it in a rewriting logic engine. The inferencer obtained this way compares favorably with other definitions or implementations of mathcal{W}. The performance of the executable definition is within an order of magnitude of that of highly optimized implementations of type inferencers, such as that of OCaml.