WorldWideScience

Sample records for actinosynnema mirum type

  1. Complete genome sequence of Actinosynnema mirum type strain (101T)

    Land, Miriam L [ORNL; Lapidus, Alla L. [U.S. Department of Energy, Joint Genome Institute; Mayilraj, Shanmugam [DSMZ - German Collection of Microorganisms and Cell Cultures GmbH, Braunschweig, Germany; Chen, Feng [U.S. Department of Energy, Joint Genome Institute; Copeland, A [U.S. Department of Energy, Joint Genome Institute; Glavina Del Rio, Tijana [U.S. Department of Energy, Joint Genome Institute; Nolan, Matt [U.S. Department of Energy, Joint Genome Institute; Lucas, Susan [U.S. Department of Energy, Joint Genome Institute; Tice, Hope [U.S. Department of Energy, Joint Genome Institute; Cheng, Jan-Fang [U.S. Department of Energy, Joint Genome Institute; Chertkov, Olga [Los Alamos National Laboratory (LANL); Bruce, David [U.S. Department of Energy, Joint Genome Institute; Goodwin, Lynne A. [Los Alamos National Laboratory (LANL); Pitluck, Sam [U.S. Department of Energy, Joint Genome Institute; Rohde, Manfred [HZI - Helmholtz Centre for Infection Research, Braunschweig, Germany; Goker, Markus [DSMZ - German Collection of Microorganisms and Cell Cultures GmbH, Braunschweig, Germany; Pati, Amrita [U.S. Department of Energy, Joint Genome Institute; Ivanova, N [U.S. Department of Energy, Joint Genome Institute; Mavromatis, K [U.S. Department of Energy, Joint Genome Institute; Chen, Amy [U.S. Department of Energy, Joint Genome Institute; Palaniappan, Krishna [U.S. Department of Energy, Joint Genome Institute; Hauser, Loren John [ORNL; Chang, Yun-Juan [ORNL; Jeffries, Cynthia [Oak Ridge National Laboratory (ORNL); Brettin, Thomas S [ORNL; Detter, J. Chris [U.S. Department of Energy, Joint Genome Institute; Han, Cliff [Los Alamos National Laboratory (LANL); Chain, Patrick S. G. [Lawrence Livermore National Laboratory (LLNL); Tindall, Brian [DSMZ - German Collection of Microorganisms and Cell Cultures GmbH, Braunschweig, Germany; Bristow, James [U.S. Department of Energy, Joint Genome Institute; Eisen, Jonathan [U.S. Department of Energy, Joint Genome Institute; Markowitz, Victor [U.S. Department of Energy, Joint Genome Institute; Hugenholtz, Philip [U.S. Department of Energy, Joint Genome Institute; Kyrpides, Nikos C [U.S. Department of Energy, Joint Genome Institute; Klenk, Hans-Peter [DSMZ - German Collection of Microorganisms and Cell Cultures GmbH, Braunschweig, Germany

    2009-01-01

    Actinosynnema mirum Hasegawa et al. 1978 is the type species of the genus, and is of phylogenetic interest because of its central phylogenetic location in the Actino-synnemataceae, a rapidly growing family within the actinobacterial suborder Pseudo-nocardineae. A. mirum is characterized by its motile spores borne on synnemata and as a producer of nocardicin antibiotics. It is capable of growing aerobically and under a moderate CO2 atmosphere. The strain is a Gram-positive, aerial and substrate mycelium producing bacterium, originally isolated from a grass blade collected from the Raritan River, New Jersey. Here we describe the features of this organism, together with the complete genome sequence and annotation. This is the first complete genome sequence of a member of the family Actinosynnemataceae, and only the second sequence from the actinobacterial suborder Pseudonocardineae. The 8,248,144 bp long single replicon genome with its 7100 protein-coding and 77 RNA genes is part of the Genomic Encyclopedia of Bacteria and Archaea project.

  2. Complete genome sequence of Actinosynnema mirum type strain (101T)

    Land, Miriam; Lapidus, Alla; Mayilraj, Shanmugam; Chen, Feng; Copeland, Alex; Glavina Del Rio, Tijana; Nolan, Matt; Lucas, Susan; Tice, Hope; Cheng, Jan-Fang; Chertkov, Olga; Bruce, David; Goodwin, Lynne; Pitluck, Sam; Rohde, Manfred; Goker, Markus; Pati, Amrita; Ivanova, Natalia; Mavrommatis, Konstantinos; Chen, Amy; Palaniappan, Krishna; Hauser, Loren; Chang, Yun-Juan; Jefferies, Cynthia; Brettin, Thomas; Detter, John C.; Han, Cliff; Chain, Patrick; Tindall, Brian; Bristow, James; Eisen, Jonathan A.; Markowitz, Victor; Hugenholtz, Philip; Kyrpides, Nikos C.; Klenk, Hans-Peter

    2009-05-20

    Actinosynnema mirum Hasegawa et al. 1978 is the type species of the genus, and is of phylogenetic interest because of its central phylogenetic location in the Actino-synnemataceae, a rapidly growing family within the actinobacterial suborder Pseudo-nocardineae. A. mirum is characterized by its motile spores borne on synnemata and as a producer of nocardicin antibiotics. It is capable of growing aerobically and under a moderate CO2 atmosphere. The strain is a Gram-positive, aerial and substrate mycelium producing bacterium, originally isolated from a grass blade collected from the Raritan River, New Jersey. Here we describe the features of this organism, together with the complete genome sequence and annotation. This is the first complete genome sequence of a member of the family Actinosynnemataceae, and only the second sequence from the actinobacterial suborder Pseudonocardineae. The 8,248,144 bp long single replicon genome with its 7100 protein-coding and 77 RNA genes is part of the Genomic Encyclopedia of Bacteria and Archaea project.

  3. Enhancement of ansamitocin P-3 production in Actinosynnema pretiosum by a synergistic effect of glycerol and glucose.

    Gao, Yang; Fan, Yuxiang; Nambou, Komi; Wei, Liujing; Liu, Zhijie; Imanaka, Tadayuki; Hua, Qiang

    2014-01-01

    Ansamitocin P-3 (AP-3), a secondary metabolite produced by Actinosynnema pretiosum, is well known for its extraordinary antitumor properties and is broadly utilized in clinical research. Through this work, we found, for the first time, that the combination of glucose and glycerol as a mixed carbon source is an appropriate approach for enhancing the production of AP-3 by A. pretiosum. The amount yielded was about threefold that obtained with glucose as the sole carbon source. In order to better understand the mechanisms that channel glycerol metabolism towards AP-3 production, the activities of some key enzymes such as glucose-6-phosphate dehydrogenase, glucose-6-phosphate isomerase, phosphoglucomutase (PGM), and fructose 1,6-bisphosphatase were assessed. The results showed that glycerol affects the production of AP-3 by increasing PGM activity. Furthermore, qRT-PCR analysis revealed that transcriptional levels of structural genes asm14 and asm24, and primary genes amir5189 and amir6327 were up-regulated in medium containing glycerol.

  4. Genome sequencing and annotation of Amycolatopsis vancoresmycina strain DSM 44592T

    Navjot Kaur

    2014-12-01

    Full Text Available We report the 9.0-Mb draft genome of Amycolatopsis vancoresmycina strain DSM 44592T, isolated from Indian soil sample; produces antibiotic vancoresmycin. Draft genome of strain DSM44592T consists of 9,037,069 bp with a G+C content of 71.79% and 8340 predicted protein coding genes and 57 RNAs. RAST annotation indicates that strains Streptomyces sp. AA4 (score 521, Saccharomonospora viridis DSM 43017 (score 400 and Actinosynnema mirum DSM 43827 (score 372 are the closest neighbors of the strain DSM 44592T.

  5. Genomics of aerobic cellulose utilization systems in actinobacteria.

    Iain Anderson

    Full Text Available Cellulose degrading enzymes have important functions in the biotechnology industry, including the production of biofuels from lignocellulosic biomass. Anaerobes including Clostridium species organize cellulases and other glycosyl hydrolases into large complexes known as cellulosomes. In contrast, aerobic actinobacteria utilize systems comprised of independently acting enzymes, often with carbohydrate binding domains. Numerous actinobacterial genomes have become available through the Genomic Encyclopedia of Bacteria and Archaea (GEBA project. We identified putative cellulose-degrading enzymes belonging to families GH5, GH6, GH8, GH9, GH12, GH48, and GH51 in the genomes of eleven members of the actinobacteria. The eleven organisms were tested in several assays for cellulose degradation, and eight of the organisms showed evidence of cellulase activity. The three with the highest cellulase activity were Actinosynnema mirum, Cellulomonas flavigena, and Xylanimonas cellulosilytica. Cellobiose is known to induce cellulolytic enzymes in the model organism Thermobifida fusca, but only Nocardiopsis dassonvillei showed higher cellulolytic activity in the presence of cellobiose. In T. fusca, cellulases and a putative cellobiose ABC transporter are regulated by the transcriptional regulator CelR. Nine organisms appear to use the CelR site or a closely related binding site to regulate an ABC transporter. In some, CelR also regulates cellulases, while cellulases are controlled by different regulatory sites in three organisms. Mining of genome data for cellulose degradative enzymes followed by experimental verification successfully identified several actinobacteria species which were not previously known to degrade cellulose as cellulolytic organisms.

  6. Session Types = Intersection Types + Union Types

    Padovani, Luca

    2011-01-01

    We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting theory overcomes some important defects of related behavioral theories. In particular, intersections and unions provide a native solution to the problem of computing joins and meets of session types. Also, the subtyping relation turns out to be a pre-congruence, while this is not always the case in related behavioral theories.

  7. Type-indexed data types

    Hinze, R.; Jeuring, J.T.; Löh, A.

    2004-01-01

    A polytypic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of polytypic functions are the functions that can be derived in Haskell, such as show, read, and ‘==’.More advanced examples are functions for digital searching, pattern matching, unification, rewriting, and structure editing. For each of these problems, we not only have to define polytypic functionality, but also a type-indexed data type: a data type that is con...

  8. Type inference for correspondence types

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

  9. Type-indexed data types

    Hinze, R.; Jeuring, J.T.; Löh, A.

    2002-01-01

    A polytypic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of polytypic functions are the functions that can be derived in Haskell, such as show, read, and ‘==’.More advanced examples are functions for digital searching, patter

  10. Blood Types

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

  11. Type Inference for Guarded Recursive Data Types

    Stuckey, Peter J.; Sulzmann, Martin

    2005-01-01

    We consider type inference for guarded recursive data types (GRDTs) -- a recent generalization of algebraic data types. We reduce type inference for GRDTs to unification under a mixed prefix. Thus, we obtain efficient type inference. Inference is incomplete because the set of type constraints allowed to appear in the type system is only a subset of those type constraints generated by type inference. Hence, inference only succeeds if the program is sufficiently type annotated. We present refin...

  12. type-0

    Ravi Srinivasa Rao

    2006-01-01

    modular right ideal in a near-ring are initiated. Based on these J0r(R, the right Jacobson radical of type-0 of a near-ring R is introduced. It is obtained that J0r is a radical map and N(R⊆J0r(R, where N(R is the nil radical of a near-ring R. Some characterizations of J0r(R are given and its relation with some of the radicals is also discussed.

  13. Type Classes for Lightweight Substructural Types

    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.

  14. Guarded dependent type theory with coinductive types

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

    2016-01-01

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

  15. Facts about Type 2

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

  16. Guarded dependent type theory with coinductive types

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

    2015-01-01

    We present guarded dependent type theory, gDTT, an extensional dependent type theory with a later' modality and clock quantifiers for programming and proving with guarded recursive and coinductive types. The later modality is used to ensure the productivity of recursive definitions in a modular...

  17. Types of Diabetes

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

  18. Guarded Cubical Type Theory

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

  19. Guarded Cubical Type Theory

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

  20. Types of Breast Pumps

    ... Devices Consumer Products Breast Pumps Types of Breast Pumps Share Tweet Linkedin Pin it More sharing options ... used for feeding a baby. Types of Breast Pumps There are three basic types of breast pumps: ...

  1. Facts about Type 2

    Full Text Available ... August 1, 2013 Last Edited: October 27, 2015 Articles from Diabetes Forecast® magazine: lp-type-2, In ... Basics Symptoms Type 1 Type 2 Gestational Myths Statistics Common Terms Genetics Living With Diabetes Recently Diagnosed ...

  2. Type XI Collagen

    Luo, Yunyun

    2016-01-01

    Type XI collagen is a fibrillary collagen. Type XI collagen is broadly distributed in articular cartilage, testis, trachea, tendons, trabecular bone, skeletal muscle, placenta, lung, and the neoepithelium of the brain. Type XI collagen is able to regulate fibrillogenesis by maintaining the spacing...... and diameter of type II collagen fibrils, and a nucleator for the fibrillogenesis of collagen types I and II. Mutations in type XI collagen are associated with Stickler syndrome, Marshall syndrome, fibrochondrogenesis, otospondylomegaepiphyseal dysplasia deafness, and Weissenbacher–Zweymüller syndrome. Type XI...... collagen binds heparin, heparan sulfate, and dermatan sulfate. Currently there are no biomarkers for type XI collagen....

  3. Types and Automata

    Schwartzbach, Michael Ignatieff; Meineche Smidt, Erik

    from suggesting an implementation, this connection lends a certain naturality to our type system. We also introduce a very general form of extended (recursive) type equations which are explained in terms of (monotone) alternating automata. Since types are simply equationally defined trees......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...

  4. Breast Cancer Types: What Your Type Means

    ... what treatments are most effective. Parts of the breast where cancer begins include: Milk ducts. Ductal carcinoma is the most common type of breast cancer. This type of cancer forms in the lining of a milk duct within your breast. The ducts carry breast ...

  5. Type checking with open type functions

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

  6. Guarded Cubical Type Theory

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

  7. Multiparty Asynchronous Session Types

    Honda, Kohei; Yoshida, Nobuko; Carbone, Marco

    2016-01-01

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

  8. Multiparty Symmetric Sum Types

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

  9. Types of Stem Cells

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

  10. Unlocking Personality Type.

    Tieger, Paul D.

    2002-01-01

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

  11. Types of Hemolytic Anemia

    ... from the NHLBI on Twitter. Types of Hemolytic Anemia There are many types of hemolytic anemia. The ... the condition, but you develop it. Inherited Hemolytic Anemias With inherited hemolytic anemias, one or more of ...

  12. Refining Inductive Types

    Atkey, Robert; Ghani, Neil

    2012-01-01

    Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexed types that refine data by computationally useful information. For example, the N-indexed type of vectors refines lists by their lengths. Other data types may be refined in similar ways, but programmers must produce purpose-specific refinements on an ad hoc basis, developers must anticipate which refinements to include in libraries, and implementations must often store redundant information about data and their refinements. In this paper we show how to generically derive inductive characterisations of refinements of inductive types, and argue that these characterisations can alleviate some of the aforementioned difficulties associated with ad hoc refinements. Our characterisations also ensure that standard techniques for programming with and reasoning about inductive types are applicable to refinements, and that refinements can the...

  13. Types of chemotherapy

    ... medlineplus.gov/ency/patientinstructions/000910.htm Types of chemotherapy To use the sharing features on this page, ... or on cancer cells. How Doctors Choose Your Chemotherapy The type and dose of chemotherapy your doctor ...

  14. Different Types of Lupus

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

  15. Land Type Inventory

    US Fish and Wildlife Service, Department of the Interior — This is an inventory of the number of acres of various land types found at Kenai National Moose Range. Forestlands are the predominant land type, followed by tundra,...

  16. Types of Ulcerative Colitis

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

  17. Diabetes Type 2

    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, obese, have a family ...

  18. Osteogenesis imperfecta type V

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

  19. Facts about Type 2

    ... 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 ... Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk Healthy ...

  20. Facts about Type 2

    Full Text Available ... 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 ... Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk Healthy ...

  1. Facts about Type 2

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

  2. Types of Data Systems

    Gould, Tate; Nicholas, Amy; Ruggiero, Tony; Blandford, William; Thayer, Sara; Bull, Bruce

    2015-01-01

    There are several types of data systems that support data from Part C/619 programs. Although the system types have similarities, each has its own unique characteristics and purposes. The attributes that make one type of data system a particularly good fit for one data-related need or function can be less desirable for another need or function. In…

  3. Type Systems for Bigraphs

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

  4. Guarded Type Promotion

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

  5. Improving Precision of Types

    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...... mixing of unrelated types. Secondly, we present an improvement of the type checking algorithm in Java which enables the compiler to detect and ease the use of a common programming idiom called guarded casts. Thirdly, we present an improvement of the precision with which classes generated by a parser...

  6. Interactions between Child Types and Classroom Types.

    Solomon, Daniel; Kendall, Arthur J.

    Research is described which explores the hypothesis that different classroom situations may be optimal for different individuals. The approach used cluster analysis to identify student and classroom "types" whose interactions were then examined in an analysis of variance framework. About 1,300 fourth graders from 50 classrooms were involved in the…

  7. Typing Manuscripts and Reports. Typing 13.

    Nederland Independent School District, TX.

    GRADES OR AGES: Grade 13. SUBJECT MATTER: Typing manuscripts and reports. ORGANIZATION AND PHYSICAL APPEARANCE: The introductory material contains general instructions on spacing, margins, and paging. The main text contains 32 manuscripts which are varied according to arrangement and length. The guide is lithographed and spiral bound with a soft…

  8. Mastering TypeScript

    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.

  9. Types of Foreign Aid

    Bjørnskov, Christian

    Foreign aid is given for many purposes and different intentions, yet most studies treat aid flows as a unitary concept. This paper uses factor analysis to separate aid flows into different types. The main types can be interpreted as aid for economic purposes, social purposes, and reconstruction......; a residual category captures remaining purposes. Estimating the growth effects of separable types of aid suggests that most aid has no effects while reconstruction aid has direct positive effects. Although this type only applies in special circumstances, it has become more prevalent in more recent years....

  10. Tukey types of ultrafilters

    Dobrinen, Natasha

    2011-01-01

    We investigate the structure of the Tukey types of ultrafilters on countable sets partially ordered by reverse inclusion. A canonization of cofinal maps from a p-point into another ultrafilter is obtained. This is used in particular to study the Tukey types of p-points and selective ultrafilters. Results fall into three main categories: comparison to a basis element for selective ultrafilters, embeddings of chains and antichains into the Tukey types, and Tukey types generated by block-basic ultrafilters on FIN.

  11. TypeScript revealed

    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

  12. Beyond Type D personality

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

  13. Diabetes Type 1

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

  14. Types of Heart Failure

    ... Disease Venous Thromboembolism Aortic Aneurysm More Types of Heart Failure Updated:Feb 9,2017 Left-sided heart failure ... making. This content was last reviewed April 2015. Heart Failure • Home • About Heart Failure Introduction Types of Heart ...

  15. Types of Myelodysplastic Syndromes

    ... blood and the bone marrow look under the microscope. One type is defined by a certain chromosome change in ... are low. In the bone marrow, those same types of cells look abnormal under the microscope (dysplasia). Ringed sideroblasts may or may not be ...

  16. Facts about Type 2

    Full Text Available ... Books for Practitioners Professional Membership Please Join Us in the Fight for a Cure Your tax-deductible ... Articles from Diabetes Forecast® magazine: lp-type-2, In this section Diabetes Basics Type 2 Facts About ...

  17. Flash-Type Discrimination

    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.

  18. Blood-type distribution

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

    2007-01-01

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

  19. Personality types of dentists.

    Westerman, G H; Grandy, T G; Erskine, C G

    1991-12-01

    The Myers-Briggs Type Indicator (MBTI) was used to determine the personality types of dental graduates, 1964-1984, from Creighton University, School of Dentistry. The MBTI reveals the strength and nature of preferences along four dimensions: extraversion-introversion, sensing-intuition, thinking-feeling, and judging-perceptive. In sample (N = 472), four personality types: ISTJ (108), ESTJ (66), ISFJ (48), and ENTJ (37), accounted for 54.9% (N = 259) of the dentists. The remaining 45.1% (N = 213) were divided among 12 personality types without any type accounting for more than 6.1% (N = 29). Comparisons with a general population (N = 9,320) revealed that the dental sample included more introverts (58.9%), thinkers (65.9%) and judgers (75.0%). The implications of personality characteristics, as applied to dentistry through communication patterns, relationships with co-workers and management styles were discussed.

  20. Griscelli syndrome type-3

    Bela J Shah

    2016-01-01

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

  1. Type 2 diabetes models

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

  2. Making Type Inference Practical

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

  3. Parametric Compositional Data Types

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

  4. Type-II Leptogenesis

    Kim, Jihn E

    2016-01-01

    I will talk on our new theory on baryogenesis through type-II leptogenesis which is different from the well-known type-I leptogenesis. I will comment on the Jarlskog phases, $\\delta_{\\rm CKM}$ and $\\delta_{\\rm PMNS}$, in the CKM and PMNS matrices. In the type-II leptogenesis, the PMNS phase is used for Sakharov's condition on the global quantum number generation in the Universe. For this to be effective, the SU(2)$\\times$U(1) gauge symmetry must be broken during the leptogenesis epoch.

  5. Facts about Type 2

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

  6. Types of Hearing Aids

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

  7. Facts about Type 2

    Full Text Available ... Children and Type 2 Diabetes Know Your Rights Employment Discrimination Health Care Professionals Law Enforcement Driver's License ... Find Your Local Office Find your local diabetes education program Calendar of Events Wellness Lives Here Drive ...

  8. Types of Heart Surgery

    ... from the NHLBI on Twitter. Types of Heart Surgery Coronary Artery Bypass Grafting Coronary artery bypass grafting ( ... TAHs) might be used to treat these patients. Surgery To Place Ventricular Assist Devices or Total Artificial ...

  9. Description of vegetation types

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

  10. The type III manufactory

    Palcoux, Sébastien

    2011-01-01

    Using unusual objects in the theory of von Neumann algebra, as the chinese game Go or the Conway game of life (generalized on finitely presented groups), we are able to build, by hands, many type III factors.

  11. Type VI secretion system.

    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.

  12. Type 1 Diabetes

    ... and may ultimately require toe, foot or leg amputation. Skin and mouth conditions. Diabetes may leave you ... types to use throughout the day and night. Multiple daily injections that include a combination of a ...

  13. Facts about Type 2

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

  14. Facts about Type 2

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

  15. Facts about Type 2

    Full Text Available ... to Give Close Are You at Risk? Home Prevention Diagnosing Diabetes and Learning About Prediabetes Type 2 ... Complications Neuropathy Foot Complications DKA (Ketoacidosis) & Ketones Kidney Disease (Nephropathy) Gastroparesis Mental Health Step On Up Treatment & ...

  16. Facts about Type 2

    Full Text Available ... to Give Close Are You at Risk? Home Prevention Diagnosing Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk Healthy Eating Overweight Smoking High Blood Pressure Physical Activity ...

  17. Tissue types (image)

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

  18. Type 1 diabetes

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

  19. Facts about Type 2

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

  20. Facts about Type 2

    Full Text Available ... Step On Up Treatment & Care Blood Glucose Testing Medication Doctors, Nurses & More Oral Health & Hygiene Women A1C ... Type 2 is treated with lifestyle changes, oral medications (pills), and insulin. When glucose builds up in ...

  1. Parametric compositional data types

    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...... resorting to abstract types: this is crucial when we want to perform transformations on CDTs that inspect the recursively computed CDTs, e.g. constant folding....

  2. Type Families with Class, Type Classes with Family

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

  3. Type extension trees

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

  4. Types of quantum information

    Griffiths, Robert B.

    2007-01-01

    Quantum, in contrast to classical, information theory, allows for different incompatible types (or species) of information which cannot be combined with each other. Distinguishing these incompatible types is useful in understanding the role of the two classical bits in teleportation (or one bit in one-bit teleportation), for discussing decoherence in information-theoretic terms, and for giving a proper definition, in quantum terms, of ``classical information.'' Various examples (some updating...

  5. [Type 2 diabetes complications].

    Schlienger, Jean-Louis

    2013-05-01

    People with type 2 diabetes are at increased risk of many complications, which are mainly due to complex and interconnected mechanisms such as hyperglycemia, insulino-resistance, low-grade inflammation and accelerated atherogenesis. Cardi-cerebrovascular disease are frequently associated to type 2 diabetes and may become life threatening, particularly coronaropathy, stroke and heart failure. Their clinical picture are sometimes atypical and silencious for a long time. Type 2 diabetes must be considered as an independent cardiovascular risk factor. Nephropathy is frequent in type 2 diabetes but has a mixed origin. Now it is the highest cause of end-stage renal disease. Better metabolic and blood pressure control and an improved management of microalbuminuria are able to slowdown the course of the disease. Retinopathy which is paradoxically slightly progressive must however be screened and treated in these rather old patients which are globally at high ophthalmologic risk. Diabetic foot is a severe complication secondary to microangiopathy, microangiopathy and neuropathy. It may be considered as a super-complication of several complications. Its screening must be done on a routine basis. Some cancer may be considered as an emerging complication of type 2 diabetes as well as cognitive decline, sleep apnea syndrome, mood disorders and bone metabolism impairments. Most of the type 2 diabetes complications may be prevented by a strategy combining a systematic screening and multi-interventional therapies.

  6. Interplanetary Type IV Bursts

    Hillaris, Alexander; Nindos, Alexander

    2016-01-01

    In this work we study the characteristics of moving type IV radio bursts which extend to the hectometric wavelengths (interplanetary type IV or type IV IP bursts) and their relationship with energetic phenomena on the Sun. Our dataset comprised 48 Interplanetary type IV bursts observed by the Wind/WAVES in the 13.825 MHz?20 KHz frequency range. The dynamic spec tra of the RSTN, DAM, ARTEMIS-IV, CULGOORA, Hiraiso and IZMIRAN Radio-spectrographs were used to track the evolution of the events in the low corona; these were supplemented with SXR ?ux recordings from GOES and CME data from LASCO. Positional information for the coronal bursts were obtained by the Nan\\c{c}ay radioheliograph (NRH). We examined the relationship of the type IV events with coronal radio bursts, CMEs and SXR ?ares. The majority of the events (45) were characterized as compact; their duration was on average 106 min. This type of events were, mostly, associated with M and X class ?ares (40 out of 45) and fast CMEs; 32 of these events had CME...

  7. LMFBR type reactor

    Kanbe, Mitsuru

    1997-04-04

    An LMFBR type reactor comprises a plurality of reactor cores in a reactor container. Namely, a plurality of pot containing vessels are disposed in the reactor vessel and a plurality of reactor cores are formed in a state where an integrated-type fuel assembly is each inserted to a pot, and a coolant pipeline is connected to each of the pot containing-vessel to cool the reactor core respectively. When fuels are exchanged, the integrated-type fuel assembly is taken out together with the pot from the reactor vessel in a state where the integrated-type fuel assembly is immersed in the coolants in the pot as it is. Accordingly, coolants are supplied to each of the pot containing-vessel connected with the coolant pipeline and circulate while cooling the integrated-type fuel assembly for every pot. Then, when the fuels are exchanged, the integrated type fuel assembly is taken out to the outside of the reactor together with the pot by taking up the pot from the pot-containing vessel. Then, neutron economy is improved to thereby improve reactor power and the breeding ratio. (N.H.)

  8. Interplanetary Type IV Bursts

    Hillaris, A.; Bouratzis, C.; Nindos, A.

    2016-08-01

    We study the characteristics of moving type IV radio bursts that extend to hectometric wavelengths (interplanetary type IV or type {IV}_{{IP}} bursts) and their relationship with energetic phenomena on the Sun. Our dataset comprises 48 interplanetary type IV bursts observed with the Radio and Plasma Wave Investigation (WAVES) instrument onboard Wind in the 13.825 MHz - 20 kHz frequency range. The dynamic spectra of the Radio Solar Telescope Network (RSTN), the Nançay Decametric Array (DAM), the Appareil de Routine pour le Traitement et l' Enregistrement Magnetique de l' Information Spectral (ARTEMIS-IV), the Culgoora, Hiraso, and the Institute of Terrestrial Magnetism, Ionosphere and Radio Wave Propagation (IZMIRAN) Radio Spectrographs were used to track the evolution of the events in the low corona. These were supplemented with soft X-ray (SXR) flux-measurements from the Geostationary Operational Environmental Satellite (GOES) and coronal mass ejections (CME) data from the Large Angle and Spectroscopic Coronagraph (LASCO) onboard the Solar and Heliospheric Observatory (SOHO). Positional information of the coronal bursts was obtained by the Nançay Radioheliograph (NRH). We examined the relationship of the type IV events with coronal radio bursts, CMEs, and SXR flares. The majority of the events (45) were characterized as compact, their duration was on average 106 minutes. This type of events was, mostly, associated with M- and X-class flares (40 out of 45) and fast CMEs, 32 of these events had CMEs faster than 1000 km s^{-1}. Furthermore, in 43 compact events the CME was possibly subjected to reduced aerodynamic drag as it was propagating in the wake of a previous CME. A minority (three) of long-lived type {IV}_{{IP}} bursts was detected, with durations from 960 minutes to 115 hours. These events are referred to as extended or long duration and appear to replenish their energetic electron content, possibly from electrons escaping from the corresponding coronal

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

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

  10. Facts about Type 2

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

  11. Plaque Type Blue Naevus

    Sentamilselvi G

    1997-01-01

    Full Text Available A case of plaque type blue naevus was encountered in a Dermatology Clinic in Madras. The various clinical differential diagnoses are discussed, the hitopathological features described and the benign nature of the tumour stressed. The case is reported for its rarity and to create an awareness of this entity.

  12. Simply—typed Underdeterminism

    EwenDenney

    1998-01-01

    An extension of the simply-typed lambda calculus with constructs for expressing a notion called underdeterminism is studied.This allows us to interpret notions of stud and skeleton used in top-down program development.We axionatise a simple notion of program refinement,and give a semantics,for which the calculus is proved sound and complete.

  13. Compiling with Types

    1995-12-01

    ogy and Theoretical Computer Science 1993, Bombay, New York, 1993. Springer-Verlag. Extended abstract. [17] E. Biagioni . Sequence types for functional...FOX-95-06. [18] E. Biagioni , R. Harper, P. Lee, and B. Milnes. Signatures for a network protocol stack: A systems application of Standard ML. In ACM

  14. Compositional data types

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

  15. Compositional data types

    Bahr, Patrick; Hvitved, Tom

    2011-01-01

    a wide array of recursion schemes including monadic computations. Above all, we generalise recursive data types to contexts, which allow us to characterise a special yet frequent kind of catamorphisms. The thus established notion of term homomorphisms allows for flexible reuse and enables short...

  16. Facts about Type 2

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

  17. TypeScript essentials

    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.

  18. TWO TYPES OF EDUCATION

    卫子辰

    2015-01-01

    <正>The education has a significant impact not only on individuals but also on the nation.There are two types of education,one is student-central,and the other keeps a watchful eye on the marks.Which one is better on earth?The following is my viewpoint.

  19. Facts about Type 2

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

  20. [Definition of shock types].

    Adams, H A; Baumann, G; Gänsslen, A; Janssens, U; Knoefel, W; Koch, T; Marx, G; Müller-Werdan, U; Pape, H C; Prange, W; Roesner, D; Standl, T; Teske, W; Werner, G; Zander, R

    2001-11-01

    Definitions of shock types. Hypovolaemic shock is a state of insufficient perfusion of vital organs with consecutive imbalance of oxygen supply and demand due to an intravascular volume deficiency with critically impaired cardiac preload. Subtypes are haemorrhagic shock, hypovolaemic shock in the narrow sense, traumatic-haemorrhagic shock and traumatic-hypovolaemic shock. Cardiac shock is caused by a primary critical cardiac pump failure with consecutive inadequate oxygen supply of the organism. Anaphylactic shock is an acute failure of blood volume distribution (distributive shock) and caused by IgE-dependent, type-I-allergic, classical hypersensibility, or a physically, chemically, or osmotically induced IgE-independent anaphylactoid hypersensibility. The septic shock is a sepsis-induced distribution failure of the circulating blood volume in the sense of a distributive shock. The neurogenic shock is a distributive shock induced by generalized and extensive vasodilatation with consecutive hypovolaemia due to an imbalance of sympathetic and parasympathetic regulation of vascular smooth muscles.

  1. Types du Caucase

    Makhacheva, Taus

    2015-01-01

    Tiré du site Internet de Onestar Press: "Types du Caucase - antique postcard collection/ 2013 to the present time. Coming from the personal archive of the artist, these postcards date back to the 19th century and can be considered representative for the "popularized ethnography" of the Russian Empire. Their primitive typology follows the classical rules of exotization : they depict "pittoresque" groups from various tribes, families or nationalities, or representatives of diverse professions. ...

  2. Action Type Deontic Logic

    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 ar...... the benchmarks. Finally, possibilities for further research are indicated. In the appendix, decidability of the satisfiability of formulas is proved via a technique known from monadic First Order Logic....

  3. Types of Ubiquitin Ligases.

    Morreale, Francesca Ester; Walden, Helen

    2016-03-24

    Ubiquitination is a post-translational modification of proteins involved in a variety of cellular processes. Ubiquitination requires the sequential action of three enzymes: E1 (ubiquitin-activating enzymes), E2 (ubiquitin-conjugating enzymes), and E3 (ubiquitin ligases). This SnapShot highlights the main types of E3 ubiquitin ligases, which can be classified in three families depending on the presence of characteristic domains and on the mechanism of ubiquitin transfer to the substrate protein.

  4. Type Safe Extensible Programming

    Chae, Wonseok

    2009-10-01

    Software products evolve over time. Sometimes they evolve by adding new features, and sometimes by either fixing bugs or replacing outdated implementations with new ones. When software engineers fail to anticipate such evolution during development, they will eventually be forced to re-architect or re-build from scratch. Therefore, it has been common practice to prepare for changes so that software products are extensible over their lifetimes. However, making software extensible is challenging because it is difficult to anticipate successive changes and to provide adequate abstraction mechanisms over potential changes. Such extensibility mechanisms, furthermore, should not compromise any existing functionality during extension. Software engineers would benefit from a tool that provides a way to add extensions in a reliable way. It is natural to expect programming languages to serve this role. Extensible programming is one effort to address these issues. In this thesis, we present type safe extensible programming using the MLPolyR language. MLPolyR is an ML-like functional language whose type system provides type-safe extensibility mechanisms at several levels. After presenting the language, we will show how these extensibility mechanisms can be put to good use in the context of product line engineering. Product line engineering is an emerging software engineering paradigm that aims to manage variations, which originate from successive changes in software.

  5. Unobscured Type 2 AGNs

    Shi, Yong; Smith, Paul; Rigby, Jane; Hines, Dean; Donley, Jennifer; Schmidt, Gary; Diamond-Stanic, Aleksandar M; 10.1088/0004-637X/714/1/115

    2010-01-01

    Type 2 AGNs with intrinsically weak broad emission lines (BELs) would be exceptions to the unified model. After examining a number of proposed candidates critically, we find that the sample is contaminated significantly by objects with BELs of strengths indicating that they actually contain intermediate-type AGNs, plus a few Compton-thick sources as revealed by extremely low ratios of X-ray to nuclear IR luminosities. We develop quantitative metrics that show two (NGC 3147 and NGC 4594) of the remaining candidates to have BELs 2-3 orders of magnitude weaker than those of typical type-1 AGNs. Several more galaxies remain as candidates to have anomalously weak BELs, but this status cannot be confirmed with the existing information. Although the parent sample is poorly defined, the two confirmed objects are well under 1% of its total number of members, showing that the absence of a BEL is possible, but very uncommon in AGN. We evaluate these two objects in detail using multi-wavelength measurements. They have li...

  6. Composing and decomposing data types

    Bahr, Patrick

    2014-01-01

    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...... data types and to define extensible functions on data types in an ad hoc manner. The implementation makes essential use of closed type families in Haskell. The use of closed type families instead of type classes comes with a set of trade-offs, which we review in detail. Finally, we show that our...

  7. Type 1 autoimmune pancreatitis

    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

  8. Type 1 narcolepsy

    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...... attack, and this is supported by evidence of both environmental and genetic factors pointing toward an involvement of the immune system. However, definitive proof of an autoimmune etiology is still missing. Several different immune-mediated disorders targeting neurons are known, and many...

  9. Laryngeal cleft type 1

    Danilo de Assis Pereira

    2015-06-01

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

  10. Type 2 diabetes mellitus

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

  11. Spinocerebellar ataxia type 6.

    Solodkin, Ana; Gomez, Christopher M

    2012-01-01

    The autosomal dominant spinocerebellar ataxias (SCA) are a genetically heterogeneous group of neurodegenerative disorders characterized by progressive motor incoordination, in some cases with ataxia alone and in others in association with additional progressive neurological deficits. Spinocerebellar ataxia type 6 (SCA6) is the prototype of a pure cerebellar ataxia, associated with a severe form of progressive ataxia and cerebellar dysfunction. SCA6, originally classified as such by Zhuchenko et al. (1997), is caused by a CAG repeat expansion in the CACNA1A gene which encodes the α1A subunit of the P/Q-type voltage-gated calcium channel. SCA6 is one of ten polyglutamine-encoding CAG nucleotide repeat expansion disorders comprising other neurodegenerative disorders such as Huntington's disease. The present review describes clinical, genetic, and pathological manifestations associated with this illness. Currently, there is no treatment for this neurodegenerative disease. Successful therapeutic strategies must target a valid pathological mechanism; thus, understanding the underlying mechanisms of disease is crucial to finding a proper treatment. Hence, this chapter will discuss as well the molecular mechanisms possibly associated with SCA6 pathology and their implication for the development of future treatment.

  12. Exploring legacy systems using types

    Deursen, A. van; Moonen, L.M.F.

    2000-01-01

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

  13. Efficient Type Representation in TAL

    Chen, Juan

    2009-01-01

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

  14. Enteroendocrine cell types revisited

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

  15. Type 1 Tyrosinaemia

    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.

  16. Pragmatic phenomenological types.

    Goranson, Ted; Cardier, Beth; Devlin, Keith

    2015-12-01

    We approach a well-known problem: how to relate component physical processes in biological systems to governing imperatives in multiple system levels. The intent is to further practical tools that can be used in the clinical context. An example proposes a formal type system that would support this kind of reasoning, including in machines. Our example is based on a model of the connection between a quality of mind associated with creativity and neuropsychiatric dynamics: constructing narrative as a form of conscious introspection, which allows the manipulation of one's own driving imperatives. In this context, general creativity is indicated by an ability to manage multiple heterogeneous worldviews simultaneously in a developing narrative. 'Narrative' in this context is framed as the organizing concept behind rational linearization that can be applied to metaphysics as well as modeling perceptive dynamics. Introspection is framed as the phenomenological 'tip' that allows a perceiver to be within experience or outside it, reflecting on and modifying it. What distinguishes the approach is the rooting in well founded but disparate disciplines: phenomenology, ontic virtuality, two-sorted geometric logics, functional reactive programming, multi-level ontologies and narrative cognition. This paper advances the work by proposing a type strategy within a two-sorted reasoning system that supports cross-ontology structure. The paper describes influences on this approach, and presents an example that involves phenotype classes and monitored creativity enhanced by both soft methods and transcranial direct-current stimulation. The proposed solution integrates pragmatic phenomenology, situation theory, narratology and functional programming in one framework.

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

    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.

  18. Calderon type reproducing formula on spaces of homogeneous type

    邓东皋; 韩永生

    1995-01-01

    By using the Calderon-Zygmund operator theory, a continuous version of the Calderon type reproducing formula associated to a para-accretive function on spaces of homogeneous type is proved. A new characterization of the Besov and Triebel-Lizorkin spaces on spaces of homogeneous type is also obtained.

  19. Neurofibromatosis Type II

    Akram Kasiri Ghahi

    2003-08-01

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

  20. LMFBR type reactor

    Shimizu, Takeshi; Iida, Masaaki; Moriki, Yasuyuki

    1994-10-18

    A reactor core is divided into a plurality of coolants flowrate regions, and electromagnetic pumps exclusively used for each of the flowrate regions are disposed to distribute coolants flowrates in the reactor core. Further, the flowrate of each of the electromagnetic pumps is automatically controlled depending on signals from a temperature detector disposed at the exit of the reactor core, so that the flowrate of the region can be controlled optimally depending on the burning of reactor core fuels. Then, the electromagnetic pumps disposed for every divided region are controlled respectively, so that the coolants flowrate distribution suitable to each of the regions can be attained. Margin for fuel design is decreased, fuels are used effectively, as well as an operation efficiency can be improved. Moreover, since the electromagnetic pump has less flow resistance compared with a mechanical type pump, and flow resistance of the reactor core flowrate control mechanism is eliminated, greater circulating flowrate can be ensured after occurrence of accident in a natural convection using a buoyancy of coolants utilizable for after-heat removal as a driving force. (N.H.).

  1. LMFBR type reactor

    Iwashige, Kengo

    1996-06-21

    In an LMFBR type reactor, partitions are disposed to a coolant channel at positions lower than the free liquid level, and the width of the partitions is adapted to have a predetermined condition. Namely, when low temperature fluid overflowing the wall of the coolant channel, flows down and collided against the free liquid surface in the coolant channel, since the dropping speed thereof is reduced abruptly, large pressure waves are caused by kinetic force of the low temperature fluid. However, if appropriate numbers of partitions having an appropriate shape are formed, the dropping speed of the low temperature fluid is moderated to reduce the pressure waves. In addition, since the pressure waves are dispersed to the circumferential and lateral directions of the coolant flow channel respectively, the propagation of the pressure waves can be prevented effectively. Further, when the flow of the low temperature fluid is changed to the circumferential direction, for example, by earthquakes, since the partitions act as members resisting against the circumferential change of the low temperature fluid, the change of the direction can be suppressed. (N.H.)

  2. Organ Type and Waiting Time

    ... Kidney/Pancreas Liver Intestine Organ Type and Waiting Time Most candidates, except those with living donors, wait ... organ needed How does organ type affect waiting times? Heart Allocation Physicians assign a status code to ...

  3. Computing effects for correspondence types

    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. 

  4. COMPRESSOR TYPE OZONATOR

    Gulyaev P. V.

    2016-05-01

    Full Text Available The article is devoted to the development of a compressor type ozonator. It describes the design of a high-productivity compressor ozone generator, which can be used for industrial decontamination of mixed feeds, water, milk, and in the system of presowing treatment of seeds. This construction allows generating ozone with high concentration to 5 g/m3 at high feed air or oxygen from the compressor station (up to 2000 l/min. The article describes the design of the basic elements of tubular ozone generator, examines the factors influencing the productivity of the ozonator. The proposed mathematical model allows calculating the productivity of the ozonator when considering multiple influencing factors. These factors take into account: the parameters of supply voltage, such as the magnitude and frequency of the supply voltage; the configuration and geometrical parameters of electrodes such as, the area of the electrodes, the configuration of the surface of the electrodes and distance between electrodes; parameters dielectric barrier; and the transported gas parameters such as volume, temperature, pressure and composition. Special attention is paid to the design of the electrodes made of woven wire mesh with mesh sizes from 1.5×1.5 to 2.0×2.0 mm. It is noted, that such electrodes allow obtaining the maximum productivity of an ozonator, and they do not lead to overheating of the dielectric barrier, and do not output down the generator. In the same way, the article presents the results of the mathematical modeling of ozone generator productivity while changing various factors

  5. Lectin typing of Campylobacter concisus

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

  6. Type 2 Diabetes Risk Test

    ... 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 ... Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk Healthy ...

  7. Living with Type 1 Diabetes

    ... 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 ... Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk Healthy ...

  8. Type inference for COBOL systems

    Deursen, A. van; Moonen, L.M.F.

    1998-01-01

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

  9. Computing effects for correspondence types

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

  10. Mucopolysaccharidosis type I.

    Wraith, J E; Jones, Simon

    2014-09-01

    Mucopolysaccharidosis type I (MPS I) is caused by a deficiency of the lysosomal hydrolase a-L-Iduronidase leading to accumulation of the GAGs, dermatan sulfate, and heparan sulphate, The disease spectrum includes a disorder with severe involvement and CNS disease Hurler disease (HPS I H) a chronic disease without CNS disease Scheie disease (HPS I S5) and the intermediate Hurler/Scheie disease(HPS I HIS).The urine GAGs pattern. confirmed by Iduronidase enzyme assay is diagnostic. Over 200 mutations exist. Genotype / phenotype correlation is poor but two nonsense mutations results in Hurler disease.The skeletal disease dysostosis multiplex (DM) is seen in severe variants of MPS I. The hypoplastic odontoid putting these patients at high risk of cervical cord damage. MPS IH (Hurler Disease) affected infants develop a spinal 'gibbus' deformity, persistent nasal discharge, middle ear effusions and frequent upper respiratory infection. They have "coarse", facial features, and an enlarged tongue. . Progressive upper airway disease leads to obstructive sleep apnoea. Corneal clouding and cognitive impairment appears, growth ceases. Joint stiffness and contractures limit mobility. Cardiac disease is universal. Death occurs before 10 years. SCHEIE patients are diagnosed as teenagers with hepatomegaly, joint contractures, cardiac valve abnormalities and corneal clouding . Prolonged survival with considerable disability without cognitive impairment is usual. MPS IH/S Hurler/Scheie. is diagnosed by 6.5 years, with variable skeletal and visceral manifestations without cognitive involvement. Joint stiffness, corneal clouding, , umbilical hernia, abnormal facies, hepatomegaly, joint contractures, and cervical myelopathy occur. Patients die in their 20s .Haematopoietic stem cell transplantation (HSCT) the standard treatment of MPS IH for 30 years is unpredictable .When performed before 2 years it can stabilize cognitive impairment. Hepatosplenomegaly, urine GAGs excretion, upper

  11. Jackson-type and Bernstein-type inequalities for multipliers on Herz-type Hardy spaces

    2009-01-01

    We establish Jackson-type and Bernstein-type inequalities for multipliers on Herz-type Hardy spaces. These inequalities can be applied to some important operators in Fourier analysis, such as the Bochner-Riesz multiplier over the critical index, the generalized Bochner-Riesz mean and the generalized Able-Poisson operator.

  12. Jackson-type and Bernstein-type inequalities for multipliers on Herz-type Hardy spaces

    XIE LinSen; LAN JiaCheng; LAN SenHua; YAN DunYan

    2009-01-01

    We establish Jackson-type and Bernstein-type inequalities for multipliers on Herz-type Hardy spaces.These inequalities can be applied to some important operators in Fourier analysis,such as the Bochner-Riesz multiplier over the critical index,the generalized Bochner-Riesz mean and the generalized Able-Poisson operator.

  13. Type System in Programming Languages

    JIANG Hui; ZHANG Xingyuan; LIN Dong; XIE Xiren

    2001-01-01

    Type system provides a precise description of a programming lan guage. This is a prerequisite for the implementation and use of language. It also conducts mechanical and transparent type-checking on programs to prevent the oc currence of execution error during the running of programs. So, it can be said that, on the one hand, type system works as a formal tool to do mathematical analysis of language; on the other hand, it is a formal method for rigorously and precisely designing and implementing language. In this paper, some basic concepts of type system are discussed first. And then, the implementation of a graph-rewriting-based functional language - SClean's type system is given in details. It is hoped that the proposed method of using and implementing type system is of practical usefulness.

  14. Types for BioAmbients

    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.

  15. Type System in Programming Languages

    蒋慧; 林东; 等

    2001-01-01

    Type system provides a precise description of a programming language,This is a prerequisite for the implementation and use of language.It also conducts mechanical and transparent type-checking on programs to prevent the occurrence of execution error during the running of programs.So,it can be said that,on the one hand.type system works as a formal tool to do mathematical analysis of language;on the other hand,it is a formal method for rigorously and precisely designing and implementing language.In this paper,some basic concepts of type system are discussed first.And then,the implementation of a graph-rewriting-based functional language-SClean's type system is given in details,It is hoped that the proposed method of using and implementing type system is of practical usefulness.

  16. Types for BioAmbients

    Capecchi, Sara; 10.4204/EPTCS.19.7

    2010-01-01

    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.

  17. Genus distribution of ladder type and cross type graphs

    2009-01-01

    In this paper a method is given to calculate the explicit expressions of embedding genus distribution for ladder type graphs and cross type graphs. As an example, we refind the genus distri- bution of the graph Jn which is the first class of graphs studied for genus distribution where its genus depends on n.

  18. Genus distribution of ladder type and cross type graphs

    WAN LiangXia; FENG KeQin; LIU YanPei; WANG DianJun

    2009-01-01

    In this paper a method is given to calculate the explicit expressions of embedding genus distribution for ladder type graphs and cross type graphs.As an example,we refind the genus distribution of the graph Jn which is the first class of graphs studied for genus distribution where its genus depends on n.

  19. Type-safe pattern combinators

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

  20. Types for DSP Assembler Programs

    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...... the requirements of a procedure. I implement a proof-of-concept type checker for both the baseline type system and the extensions. I get good performance results on a small benchmark suite of programs representative of handwritten DSP assembler code. These empirical results are encouraging and strongly suggest...

  1. Bilateral Hardy-type Inequalities

    Mu Fa CHEN

    2013-01-01

    This paper studies the Hardy-type inequalities on the intervals (may be infinite) with two weights,either vanishing at two endpoints of the interval or having mean zero.For the first type of inequalities,in terms of new isoperimetric constants,the factor of upper and lower bounds becomes smaller than the known ones.The second type of the inequalities is motivated from probability theory and is new in the analytic context.The proofs are now rather elementary.Similar improvements are made for Nash inequality,Sobolev-type inequality,and the logarithmic Sobolev inequality on the intervals.

  2. A Minimal Propositional Type Theory

    Kaminski, Mark

    2010-01-01

    Propositional type theory, first studied by Henkin, is the restriction of simple type theory to a single base type that is interpreted as the set of the two truth values. We show that two constants (falsity and implication) suffice for denotational and deductive completeness. Denotational completeness means that every value of the full set-theoretic type hierarchy can be described by a closed term. Deductive completeness is shown for a sequent-based proof system that extends a propositional natural deduction system with lambda conversion and Boolean replacement.

  3. Completeness in Hybrid Type Theory

    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...... the way we interpret @i in propositional and first-order hybrid logic. This means: interpret @iαa , where αa is an expression of any type a , as an expression of type a that rigidly returns the value that αa receives at the i-world. The axiomatization and completeness proofs are generalizations of those...

  4. A Type System for Tom

    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.

  5. Equations of the mixed type

    Bitsadze, A V

    1963-01-01

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

  6. Linear contextual modal type theory

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

  7. Management of type IIb dyslipidemia.

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

    2012-01-01

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

  8. Florence Nightingale: her personality type.

    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.

  9. Java type unification with wild cards

    Pluemicke, Martin

    2007-01-01

    International audience; With the introduction of Java 5.0 the type system has been extended by parameterized types, type variables, type terms, and wildcards. As a result very complex types can arise. The term Vector

  10. Safety Analysis versus Type Inference with Partial Types

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    1992-01-01

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

  11. Types of subtalar joint facets.

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

    2015-08-01

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

  12. Paranormal weighted conditional type operators

    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.

  13. Type 1 Diabetes and Sleep.

    Farabi, Sarah S

    2016-02-01

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

  14. Type-Directed Partial Evaluation

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

  15. Homological Type of Geometric Transitions

    Rossi, Michele

    2010-01-01

    The present paper gives an account and quantifies the change in topology induced by small and type II geometric transitions, by introducing the notion of the \\emph{homological type} of a geometric transition. The obtained results agree with, and go further than, most results and estimates, given to date by several authors, both in mathematical and physical literature.

  16. Type Inference of Turbo Pascal

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

  17. Typed combinators for generic traversal

    Lämmel, R.; Vonk, J.

    2001-01-01

    Lacking support for generic traversal, functional programming languages suffer from a scalability problem when applied to large-scale program transformation problems. As a solution, we introduce emph{functional strategies: typeful generic functions that not only can be applied to terms of any type,

  18. Types of Cancer Teens Get

    ... Week of Healthy Breakfasts Shyness Types of Cancer Teens Get KidsHealth > For Teens > Types of Cancer Teens Get A A A What's in this article? ... que padecen los adolescentes Cancer is rare in teens. Certain diseases like breast cancer usually affect adult ...

  19. Brauer algebras of type B

    Cohen, A.M.; Liu, S.

    2015-01-01

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

  20. Type specimen studies in Pleurotus

    Petersen, Ronald H.; Krisai-Greilhuber, Irmgard

    1999-01-01

    An epitype specimen is designated for Pleurotus cornucopiae. Morphological examination of Mexican material and the type specimen of P. opuntiae showed that the distribution of this species includes North Africa and the highlands of Mexico. The type specimen of Lentinus (Pleurotus) eugrammus reveals

  1. Type-Directed Partial Evaluation

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

  2. The Spindle Type Cotton Harvester

    The spindle type cotton picker was commercialized during the mid 1900’s and is currently produced by two US agricultural equipment manufacturers, John Deere and CaseIH. Picking is the predominate machine harvest method used throughout the US and world. Harvesting efficiency of a spindle type cotton ...

  3. DNA typing by capillary electrophoresis

    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.

  4. Personality types of oncology nurses.

    Bean, C A; Holcombe, J K

    1993-12-01

    Personality type influences the choice of occupation. The breadth of specialty areas within oncology nursing allows for divergent activities and relationships and, thus, the accommodation of different personality characteristics. This exploratory study examined personality types for a convenience sample of oncology nurses predominantly employed in hospitals. According to the personality typology defined by Carl Jung, a person demonstrates a preference among four dimensions, i.e., extraversion/introversion, sensory/intuition, thinking/feeling, and judging/perceiving. The type with the strongest self-selection for these oncology nurses was ISFJ, where feeling is introverted and perception is practical, so that helping others is both a responsibility and a pleasure. The discussion relates the personality types to Jung's theory and their impact in clinical practice. Strengths and weaknesses of each personality type are described.

  5. Intersection Types and Related Systems

    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.

  6. Theoretical models for Type I and Type II supernova

    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 /sup 12/C(..cap alpha..,..gamma..)/sup 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.

  7. Type-II Weyl semimetals.

    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.

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

    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.

  9. Groundwater types in Southeast Srem

    Gregorić Enike

    2009-01-01

    Full Text Available The region of Southeast Srem is rich in ground waters, which is of great significance to agricultural production. The objective of this paper was to designate the zones of different groundwater types from the aspect of recharge, based on the analysis of groundwater regimes in the study area. A very complex groundwater regime in Southeast Srem, which depends on a great number of natural and some anthropogenic factors, makes it difficult to designate clearly the zones of the three main types of groundwater regime. Still, the boundaries of the zones of groundwater regime types were defined based on the results of correlation analysis of the basic factors affecting the groundwater regime. Zone I includes the climatic type of groundwater. Its fluctuation corresponds to the vertical factors of water balance (precipitation and evaporation and it is not affected by the river water level. This zone extends North and East of the line Putinci, Golubinci, Stara Pazova, Batajnica, Dobanovci, mainly in the area of the loess plateau. Within the zone, groundwater is at a relatively great depth. Only exceptionally, in the valleys, it appears almost on the surface. Zone II includes the climatic-hydrological groundwater type, which is the transition between the climatic type and the hydrological type. The fluctuation of groundwater regime is affected both by the effect of vertical balance factors, and by the effect of watercourses. Climatic-hydrological groundwater type covers the central and the lowest part of the study area and the South part of the middle terrace. Zone III is classified as the hydrological groundwater type and it covers the riparian areas along the Sava and the Danube. The aquifer is hydraulically connected with the river Sava.

  10. Operational Semantics of Termination Types

    Nielson, Flemming; Nielson, Hanne Riis

    1996-01-01

    In principle termination analysis is easy: find a well-founded ordering and prove that calls decrease with respect to the ordering. We show how to embed termination information into a polymorphic type system for an eager higher-order functional language allowing multiple-argument functions...... and algebraic data types. The well-founded orderings are defined by pattern matching against the definition of the algebraic data types. We prove that the analysis is semantically sound with respect to a big-step (or natural) operational semantics. We compare our approach based on operational semantics to one...

  11. User Types in Online Applications

    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.

  12. Types of Treatment: Clinical Trials

    ... Disease Information Treatment Types of Treatment Clinical Trials Clinical Trials Clinical Trials SHARE: Print Glossary Taking part in a clinical ... for cancer are based on previous clinical trials. Clinical Trial Service: LLS provides personalized clinical trial navigation when ...

  13. Diabetes type 2 - meal planning

    ... ency/article/007429.htm Diabetes type 2 - meal planning To use the sharing features on this page, ... foods have carbohydrates. This will help with meal planning so that you can keep your blood sugar ...

  14. [Surgery for diabetes type 2?].

    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.

  15. Forest Cover Types - Direct Download

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

  16. Allegheny County Soil Type Areas

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

  17. HRD in "Z" Type Companies.

    Anderson, Robert; Anderson, Kathleen

    1982-01-01

    Describes the "Z" type training methods used in Japan. This training emphasizes interpersonal relations, long-term development, participative relationships, ability to perform several jobs, and individual patience and tolerance. (CT)

  18. Autoimmune Polyglandular Syndrome Type 1

    Ponranjini, Vedeswari C.; Jayachandran, S; L Kayal; K Bakyalakshmi

    2012-01-01

    Autoimmune Polyglandular Syndrome (APS) Type 1 is a rare hereditary disorder that damages organs in the body. This disease entity is the result of a mutation in the AIRE gene. It is characterized by three classic clinical features - hypoparathyroidism, Addison′s disease, and chronic mucocutaneous candidiasis. For a patient to be diagnosed as having APS Type 1 syndrome at least two of these features needs to be present. The third entity may develop as the disease progresses. We report a case o...

  19. Moment Distributions of Phase Type

    Bladt, Mogens; Nielsen, Bo Friis

    -type distributions. We construct representations for moment distributions based on a general matrix-exponential distribution which turns out to be a generalization of the moment distributions based on exponential distributions. For moment distributions based on phase{type distributions we find an appropriate...... 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....

  20. Object-Oriented Type Systems

    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...... workbench, adding enormous practical value. Numerous exercises and a clear writing style will enhance its appeal to the student....

  1. Text Type and Translation Strategy

    刘福娟

    2015-01-01

    Translation strategy and translation standards are undoubtedly the core problems translators are confronted with in translation. There have arisen many kinds of translation strategies in translation history, among which the text type theory is considered an important breakthrough and a significant complement of traditional translation standards. This essay attempts to demonstrate the value of text typology (informative, expressive, and operative) to translation strategy, emphasizing the importance of text types and their communicative functions.

  2. Spinocerebellar Ataxia Type 10 (SCA10)

    NATIONAL ATAXIA FOUNDATION FREQUENTLY ASKED QUESTIONS ABOUT ... Spinocerebellar Ataxia Type 10 (SCA10) What is spinocerebellar ataxia type 10? Spinocerebellar ataxia type 10 (SCA10) is one specific type of ataxia among a group ...

  3. Spinocerebellar Ataxia Type 5 (SCA5)

    NATIONAL ATAXIA FOUNDATION FREQUENTLY ASKED QUESTIONS ABOUT ... Spinocerebellar Ataxia Type 5 (SCA5) What is spinocerebellar ataxia type 5? Spinocerebellar ataxia type 5 is one specific type of ataxia among a group of ...

  4. Sun and Other Types of Radiation

    ... What Causes Cancer? Sun and Other Types of Radiation Learn about the different types of radiation and ... other diseases. Learn more here. Other Types of Radiation Exposure Not all types of radiation have been ...

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

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

    2013-09-01

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

  6. Simple algebras of Weyl type

    SU; Yucai(

    2001-01-01

    [1] Kawamoto, N., Generalizations of Witt algebras over a field of characteristic zero, Hiroshima Math. J., 1986, 16: 417.[2] Osborn, J. M., New simple infinite-dimensional Lie algebras of characteristic 0, J. Alg., 1996, 185: 820.[3] Dokovic, D. Z., Zhao, K., Derivations, isomorphisms, and second cohomology of generalized Witt algebras, Trans. of Amer. Math. Soc., 1998, 350(2): 643.[4] Dokovic, D. Z., Zhao, K., Generalized Cartan type W Lie algebras in characteristic zero, J. Alg., 1997, 195: 170.[5] Osborn, J. M., Zhao, K., Generalized Poisson bracket and Lie algebras of type H in characteristic 0, Math. Z., 1999, 230: 107.[6] Osborn, J. M., Zhao, K., Generalized Cartan type K Lie algebras in characteristic 0, Comm. Alg., 1997, 25: 3325.[7] Zhao, K., Isomorphisms between generalized Cartan type W Lie algebras in characteristic zero, Canadian J. Math., 1998, 50: 210.[8] Passman, D. P., Simple Lie algebras of Witt type, J. Algebra, 1998, 206: 682.[9] Jordan, D. A., On the simplicity of Lie algebras of derivations of commutative algebras, J. Alg., 2000, 206: 682.[10] Xu, X., New generalized simple Lie algebras of Cartan type over a field with characteristic 0, J. Alg., 2000, 244: 23.[11] Su, Y., Xu, X., Zhang, H., Derivation-simple algebras and the structures of Lie algebras of generalized Witt type, J. Alg., 2000, 233: 642.[12] Dixmer, J., Enveloping Algebras, Amsterdam: North Holland, 1977.

  7. Pomegranate and type 2 diabetes.

    Banihani, Saleem; Swedan, Samer; Alguraan, Ziyad

    2013-05-01

    Over the last decade, various studies have linked pomegranate (Punica granatum Linn), a fruit native to the Middle East, with type 2 diabetes prevention and treatment. This review focuses on current laboratory and clinical research related to the effects of pomegranate fractions (peels, flowers, and seeds) and some of their active components on biochemical and metabolic variables associated with the pathologic markers of type 2 diabetes. This review systematically presents findings from cell culture and animal studies as well as clinical human research. One key mechanism by which pomegranate fractions affect the type 2 diabetic condition is by reducing oxidative stress and lipid peroxidation. This reduction may occur by directly neutralizing the generated reactive oxygen species, increasing certain antioxidant enzyme activities, inducing metal chelation activity, reducing resistin formation, and inhibiting or activating certain transcriptional factors, such as nuclear factor κB and peroxisome proliferator-activated receptor γ. Fasting blood glucose levels were decreased significantly by punicic acid, methanolic seed extract, and pomegranate peel extract. Known compounds in pomegranate, such as punicalagin and ellagic, gallic, oleanolic, ursolic, and uallic acids, have been identified as having anti-diabetic actions. Furthermore, the juice sugar fraction was found to have unique antioxidant polyphenols (tannins and anthocyanins), which could be beneficial to control conditions in type 2 diabetes. These findings provide evidence for the anti-diabetic activity of pomegranate fruit; however, before pomegranate or any of its extracts can be medically recommended for the management of type 2 diabetes, controlled, clinical studies, are needed.

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

    Kritzenberger, Michaela; Junglas, Benjamin; Framme, Carsten; Helbig, Horst; Gabel, Veit-Peter; Fuchshofer, Rudolf; Ernst R. Tamm; 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...

  9. Glucagon and type 2 diabetes

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

  10. Quantization via Linear homotopy types

    Schreiber, Urs

    2014-01-01

    In the foundational logical framework of homotopy-type theory we discuss a natural formalization of secondary integral transforms in stable geometric homotopy theory. We observe that this yields a process of non-perturbative cohomological quantization of local pre-quantum field theory; and show that quantum anomaly cancellation amounts to realizing this as the boundary of a field theory that is given by genuine (primary) integral transforms, hence by linear polynomial functors. Recalling that traditional linear logic has semantics in symmetric monoidal categories and serves to formalize quantum mechanics, what we consider is its refinement to linear homotopy-type theory with semantics in stable infinity-categories of bundles of stable homotopy types (generalized cohomology theories) formalizing Lagrangian quantum field theory, following Nuiten and closely related to recent work by Haugseng and Hopkins-Lurie. For the reader interested in technical problems of quantization we provide non-perturbative quantizati...

  11. Life history types and strategies

    Boel, Mikkel

    strategies and types in migratory freshwater fish, using brown trout and alewife as study organisms. Firstly, we investigated underlying mechanisms of resident and migratory life history strategies of salmonids, using indicators for nutritional status, stress, tissue damage and smoltification. Secondly......, avian predation pressure on the groups with different life history strategies was explored in their respective habitats. Thirdly, we demonstrated that the life history type of alewives, through regulation of zooplankton availability, influence the ontogeny of concurrent largemouth bass. Finally, a field...... that profoundly structure the abundance and size of their zooplankton prey. This can influence the ontogenetic development of concurrent juvenile piscivorous fish, e.g. largemouth bass. The structuring effect of alewives varies according to the life history type, i.e. whether they are landlocked or anadromous...

  12. Type-2 fuzzy granular models

    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.

  13. NEUROFIBROMATOSIS TYPE I: CASE REPORT

    Neha

    2014-12-01

    Full Text Available : Neurofibromatosis (NF is a term that has been applied to a variety of related syndromes, characterized by neuro ectodermal tumors arising within multiple organs and autosomal-dominant inheritance. Neurofibromatosis type I(NF-1, known as well as Recklinghausen’s disease, we have presented a case report of 10 year old boy with complain of scalp swelling on right postero-lateral aspect of scalp with multiple flat, hypo pigmented macule on back, neck. On radiology work up including MRI there were multiple plexiform neuroibromas, multiple non-neoplastic hamartomatous lesion suggestive of neurofibromatosis type.

  14. Interpretations of Recursive Type Definitions

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

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

    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.

  16. Invariant Classification of Gait Types

    Fihl, Preben; Moeslund, Thomas B.

    2008-01-01

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

  17. Clause Types in Southeastern Tepehuan.

    Willett, Thomas L.

    The clause in Southeastern Tepehuan consists of a predicate, its associated arguments, and other modifying elements. This paper seeks to show the various types of semantic and surface clauses and the relation between them. The semantic clause consists of various semantic components, both nuclear and peripheral, semantic prosodies, and certain…

  18. Magnesium and type 2 diabetes

    Mario; Barbagallo; Ligia; J; Dominguez

    2015-01-01

    Type 2 diabetes is frequently associated with both extracellular and intracellular magnesium(Mg) deficits. A chronic latent Mg deficit or an overt clinical hypomagnesemia is common in patients with type 2 diabetes, especially in those with poorly controlled glycemic profiles. Insulinand glucose are important regulators of Mg metabolism. Intracellular Mg plays a key role in regulating insulin action, insulin-mediated-glucose-uptake and vascular tone. Reduced intracellular Mg concentrations result in a defective tyrosine-kinase activity, postreceptorial impairment in insulin action and worsening of insulin resistance in diabetic patients. A low Mg intake and an increased Mg urinary loss appear the most important mechanisms that may favor Mg depletion in patients with type 2 diabetes. Low dietary Mg intake has been related to the development of type 2 diabetes and metabolic syndrome. Benefits of Mg supplementation on metabolic profiles in diabetic patients have been found in most, but not all clinical studies and larger prospective studies are needed to support the potential role of dietary Mg supplementation as a possible public health strategy in diabetes risk. The aim of this review is to revise current evidence on the mechanisms of Mg deficiency in diabetes and on the possible role of Mg supplementation in the prevention and management of the disease.

  19. Personality and personal network type

    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 figure

  20. Evaluation of Type A personality

    Kittel, F.; Kornitzer, M.; Dramaix, M.

    1986-01-01

    When we look for the criteria for causation of Type A behaviour for coronary heart disease, we lack the reproducibility, the predictability to a certain extent, a pathogenic mechanism and an animal model, all four of the eight recognized criteria for causal inference. The debate therefore is still wide open. PMID:3774714

  1. Gaussian Fibonacci Circulant Type Matrices

    Zhaolin Jiang

    2014-01-01

    Full Text Available Circulant matrices have become important tools in solving integrable system, Hamiltonian structure, and integral equations. In this paper, we prove that Gaussian Fibonacci circulant type matrices are invertible matrices for n>2 and give the explicit determinants and the inverse matrices. Furthermore, the upper bounds for the spread on Gaussian Fibonacci circulant and left circulant matrices are presented, respectively.

  2. Two types of parasitic assimilation

    Peter Jurgec

    2013-02-01

    Full Text Available This paper shows that consonant harmony and parasitic vowel harmony are more similar than previously assumed. I provide a unified and restrictive analysis of parasitic assimilation using feature spreading constraints. In particular, I attribute the differences between the attested and unattested patterns to two types of markedness constraints—alignment and agreement.

  3. "Divergent" Ramanujan-type supercongruences

    Guillera, Jesús

    2010-01-01

    "Divergent" Ramanujan-type series for $1/\\pi$ and $1/\\pi^2$ provide us with new nice examples of supercongruences of the same kind as those related to the convergent cases. In this paper we manage to prove three of the supercongruences by means of the Wilf--Zeilberger algorithmic technique.

  4. [Obesity and type 2 diabetes].

    Toplak, Hermann; Hoppichler, Friedrich; Wascher, Thomas C; Schindler, Karin; Ludvik, Bernhard

    2016-04-01

    Obesity and Type 2 Diabetes are nowadays summarized as "diabesity". That is due to the fact that obesity is frequently preceding and the most important risk factor in the increase of Type 2 Diabetes. The body mass index (BMI) is a crude measure of body fatness. Even normal weight persons can have lack in muscles (sarcopenia), which leads to the recommendation to measure waist und body fatness (e.g. BIA). Lifestyle management including nutrition and physical activity are important for diabetes prevention. In the therapy of Type 2 Diabetes body weight is increasingly used as secondary target. Also the choice of the anti-diabetic medication and concomitant medications is increasingly influenced by body weight. The significance of anti-obesity medications in the therapy of type 2 diabetes will have to be clarified by future studies. Bariatric surgery is at present indicated with a BMI above BMI > 35 kg/m(2) and can lead at least to partial diabetes remission but has to be part of a lifelong care concept.

  5. Rijke-Type Thermoacoustic Oscillations

    Beke, Tamas

    2011-01-01

    Thermoacoustic instability can appear in any thermal device when the unsteady heat transfer is favourably coupled with the fluctuations of acoustic pressure. In this paper, we present a project type of physical measuring and modelling task; the aim of our project is to help our students increase their knowledge of thermoacoustics. Our paper…

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

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

    1997-12-01

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

  7. Headache and Decompression Sickness: Type I or Type II?

    2001-06-01

    neurological exam was normal. Recompression with 100% oxygen produced relief within fifteen minutes. Follow up revealed no recurrence . Case 2 A twenty-seven...Follow up revealed no recurrence . Both cases pose an intriguing question. Should headache always be considered Type II DCS? DCS has a wide range of...with the supporting basis for this alternative view. The background for this paper is based on orthodontic and osteopathic medicine. For years

  8. An Imperative Type Hierarchy with Partial Products

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

  9. Hardy type inequalities on time scales

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

  10. On the internal structures of inductive types

    傅育熙

    2000-01-01

    The paper investigates the internal structures of hereditary inductive types in logical type theory. By defining a bisimulation equality on the inhabitants of each hereditary inductive type, one is able to show that the inhabitants of a hereditary inductive type satisfy the basic properties of sets. A hereditary inductive type can therefore be conceived as a universe of sets.

  11. Tuberculosis vaccine types and timings.

    Orme, Ian M

    2015-03-01

    Traditionally, the design of new vaccines directed against Mycobacterium tuberculosis, the most successful bacterial pathogen on the planet, has focused on prophylactic candidates that would be given to individuals while they are still young. It is becoming more apparent, however, that there are several types of vaccine candidates now under development that could be used under various conditions. Thus, in addition to prophylactic vaccines, such as recombinant Mycobacterium bovis BCG or BCG-boosting vaccines, other applications include vaccines that could prevent infection, vaccines that could be given in emergency situations as postexposure vaccines, vaccines that could be used to facilitate chemotherapy, and vaccines that could be used to reduce or prevent relapse and reactivation disease. These approaches are discussed here, including the type of immunity we are trying to specifically target, as well as the limitations of these approaches.

  12. Types for X10 Clocks

    Francisco Martins

    2011-10-01

    Full Text Available X10 is a modern language built from the ground up to handle future parallel systems, from multicore machines to cluster configurations. We take a closer look at a pair of synchronisation mechanisms: finish and clocks. The former waits for the termination of parallel computations, the latter allow multiple concurrent activities to wait for each other at certain points in time. In order to better understand these concepts we study a type system for a stripped down version of X10. The main result assures that well typed programs do not run into the errors identified in the X10 language reference, namely the ClockUseException. The study will open, we hope, doors to a more flexible utilisation of clocks in the X10 language.

  13. Type IV Wind Turbine Model

    Hansen, Anca Daniela; Margaris, Ioannis D.

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

  14. [Tyrosinemia type II. Case report].

    Benatiya, A I; Bouayed, M A; Touiza, E; Daoudi, K; Bhalil, S; Elmesbahi, I; Tahri, H

    2005-01-01

    Tyrosinemia type II or Richner-Hanhart syndrome is a rare hereditary disease characterized by the association of pseudoherpetiform corneal ulcerations and palmoplantar hyperkeratosis. We report the case of a 12 year-old young man presenting a superficial punctate keratitis and a corneal dystrophy in both eyes, associated with a palmoplantar hyperkeratosis. The dosage of the serum level of tyrosine is meaningfully raised to 1236 micromol/l. A dietary treatment restraining tyrosine and phenylalanine is started with favorable results after an evolution of 6 months. Tyrosinemia type II is an autosomal recessive disease, due to an enzymatic deficit in tyrosine aminotransferase. The diagnosis is based on the clinic and high level of serum and urinary tyrosine as well as of its urinary metabolites. This disease must be suspected in all cases of dentritic keratitis not reacting on the antiviral treatment, and more especially if it is associated with cutaneous lesions such as palmo-plantar keratosis.

  15. Introducing inulin-type fructans.

    Roberfroid, Marcel B

    2005-04-01

    Inulin is a generic term to cover all beta(2-->1) linear fructans. Chicory inulin is a linear beta(2-->1) fructan (degree of polymerisation (DP) 2 to 60; DPav=12), its partial enzymatic hydrolysis product is oligofructose (DP 2 to 8; DPav=4), and by applying specific separation technologies a long-chain inulin known as inulin HP (DP 10 to 60; DPav=25) can be produced. Finally, a specific product known as oligofructose-enriched inulin is obtained by combining chicory long-chain inulin and oligofructose. Because of the beta-configuration of the anomeric C2 in their fructose monomers, inulin-type fructans resist hydrolysis by intestinal digestive enzymes, they classify as 'non-digestible' carbohydrates, and they are dietary fibres. By increasing faecal biomass and water content of the stools, they improve bowel habits, but they have characteristic features different from other fibres. They affect gastrointestinal functions not because of their physico-chemical properties but rather because of their biochemical and physiological attributes. In the colon, they are rapidly fermented to produce SCFA that are good candidates to explain some of the systemic effects of inulin-type fructans. Fermentation of inulin-type fructans in the large bowel is a selective process; bifidobacteria (and possibly a few other genera) are preferentially stimulated to grow, thus causing significant changes in the composition of the gut microflora by increasing the number of potentially health-promoting bacteria and reducing the number of potentially harmful species. Both oligofructose and inulin are prebiotic. They also induce changes in colonic epithelium stimulating proliferation in the crypts, increasing the concentration of polyamines, changing the profile of mucins, and modulating endocrine as well as immune functions. From a nutrition labelling perspective, inulin-type fructans are not only prebiotic dietary fibres; they are also low-calorie carbohydrates [6.3 kJ/g (1.5 kcal

  16. Instream Physical Habitat Modelling Types

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

    2010-01-01

    -friendly and have flexible data needs. They can easily be implemented in new regions using expert information or different types of local data. Furthermore, they are easily presentable to stakeholders and have the potential to be applied over large spatial scales. Integral care must be taken in the use...... and disadvantages as management tools for member states in relation to the requirements of the WFD, but due to their different model structures they are distinct in their data needs, transferability, user-friendliness and presentable outputs. Water resource managers need information on what approaches will best...... management tools, but require large amounts of data and the model structure is complex. It is concluded that the use of habitat suitability indices (HSIs) and fuzzy rules in hydraulic-habitat modelling are the most ready model types to satisfy WFD demands. These models are well documented, transferable, user...

  17. Five types of organizational strategy

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

  18. Repair Types, Procedures - Part 1

    2010-05-01

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

  19. Epidermolytic Hyperkeratosis -NPS 2 Type

    Das Jayanta Kumar

    2004-01-01

    Full Text Available A case of bullous congenital ichthyosiform erythroderma (epidermolytic hyperkeratosis or EHK with some unusual features is described. It was diagnosed in a 6 month old girl with no family history of either EHK or focal lesions suggestive of mosaicism. The girl probably had EHK type NPS-2; but non-involvement of face and lack of foul body odor set the case apart.

  20. Phacomatosis pigmentovascularis of cesioflammea type*

    Villarreal, Delky Johanna Villarreal; Leal, Fabiano

    2016-01-01

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

  1. Combining different types of classifiers

    Gatnar, Eugeniusz

    2008-01-01

    Model fusion has proved to be a very successful strategy for obtaining accurate models in classification and regression. The key issue, however, is the diversity of the component classifiers because classification error of an ensemble depends on the correlation between its members. The majority of existing ensemble methods combine the same type of models, e.g. trees. In order to promote the diversity of the ensemble members, we propose to aggregate classifiers of different t...

  2. DNA typing from cigarette butts.

    Watanabe, Yoshihisa; Takayama, Tomohiro; Hirata, Keiji; Yamada, Sadao; Nagai, Atsushi; Nakamura, Isao; Bunai, Yasuo; Ohya, Isao

    2003-03-01

    We performed DNA typing for D1S80, HLADQA1, TH01 and PM using the butts of 100 cigarettes that were smoked by ten different individuals (ten cigarettes per individual). The results obtained from DNA typing for D1S80 agreed with the results obtained using bloodstains in 76 cigarette butt samples. Sixteen samples produced false results, showing the loss of the longer allelic hetero-band. When examined using agarose gel electrophoresis, high-molecular weight DNA was not observed in these samples. The same results were also observed for buccal swab samples and saliva stains obtained from the same individuals. In the remaining eight cigarette butt samples, PCR products were not detected. The results obtained from DNA typing for TH01, HLADQA1 and PM agreed with the results obtained using bloodstains in 90 samples. In the remaining ten samples of a specific kind of cigarette (Marlboro), the PCR products were not detected. The extracts from the ends of the Marlboro cigarettes were stained yellow. When the DNA extracted from Marlboro cigarette butts was treated with Microcon-100 (amicon) or SizeSep 400 Span Columns (Amersham Pharmacia Biotech), PCR products could be detected. When PCR amplification was performed after adding extracts from the ends of unsmoked Marlboro cigarettes to DNA extracted from bloodstains, PCR products could not be detected. The present data indicate that the degradation of high-molecular weight DNA and the inhibition of PCR by dyes of the cigarette end should be kept in mind when performing DNA typing using cigarette ends.

  3. Rare types of diabetes mellitus.

    Mihai, B; Mihai, Cătălina; Cijevschi-Prelipcean, Cristina; Lăcătuşu, Cristina

    2012-01-01

    Diabetes mellitus is a heterogenous disorder characterized by chronic hyperglycemia and induced by a large number of etiopathogenic conditions. Beside type 1 and type 2 diabetes, which account for almost 90% of all cases, practitioners may encounter patients with more infrequent forms of diabetes, as those induced by mutations of a single gene, atypical immune disorders or neonatal diabetes. Monogenic diabetes is represented by genetic disorders in the structure of the beta-cell (the MODY syndromes and the mutations of mitochondrial DNA) or in the insulin's action (type A insulin resistance syndrome, Rabson-Mendenhall syndrome, leprechaunism, lipodystrophies). The rare forms of immune diabetes are determined by antibodies against insulin or insulin receptor or appear as a component of the "stiff man syndrome". Neonatal diabetes is induced by mutations in genes that control beta-cell development and function and may have a transient or permanent nature. Knowledge of the uncommon forms of diabetes mellitus enables physicians to apply the optimal treatment, to estimate the evolution of the patient and to apply a complete family screening in order to diagnose all other blood relatives as soon as possible.

  4. Gastaut type idiopathic occipital epilepsy

    I. V. Volkov

    2015-01-01

    Full Text Available Idiopathic occipital epilepsy is a rare epileptic syndrome. Its incidence in a Novosibirsk cohort of patients with idiopathic focal epilepsy is 0.9%. Objective: to present a clinical description of new cases of Gastaut syndrome, the types of its course, and treatment options in these patients. Patients and methods. The study covers 17 cases of Gastaut type idiopathic occipital epilepsy in 13 women and 4 men aged 11–53 years. Results. Among 17 cases we present 4 family cases with the disease. Three generations in 2 families were observed to have epilepsy, including Gastaut syndrome concurrent with childhood absence epilepsy. The adolescent onset of the disease was seen in most cases. Its main symptoms were focal visual seizures (100%, focal sensory seizures (58.9%, cephalalgia (47.1%, speech disorders (41.2%, and secondarily generalized convulsive seizures (35.3%. According to the frequency of seizures, the investigators identified 5 types of the course: single focal seizures, rare focal seizures with or without convulsions, frequent focal seizures with or without convulsions. The identity of the course of epilepsy was found in familial cases. 76.5% of the patients had a good quality of life: 41.2% of them were untreated while 35.3% were treated; no seizures were noted. 

  5. Take Steps to Prevent Type 2 Diabetes

    ... 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 is a disease. People ...

  6. Genetics Home Reference: optic atrophy type 1

    ... Home Health Conditions optic atrophy type 1 optic atrophy type 1 Enable Javascript to view the expand/ ... Download PDF Open All Close All Description Optic atrophy type 1 is a condition that affects vision. ...

  7. 7 CFR 29.3559 - Type 36.

    2010-01-01

    ... Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing... Type 95) § 29.3559 Type 36. That type of air-cured tobacco commonly known as Green River, Green River... Green River section of Kentucky....

  8. Genetics Home Reference: spastic paraplegia type 11

    ... Home Health Conditions spastic paraplegia type 11 spastic paraplegia type 11 Enable Javascript to view the expand/ ... Download PDF Open All Close All Description Spastic paraplegia type 11 is part of a group of ...

  9. Genetics Home Reference: spastic paraplegia type 4

    ... Home Health Conditions spastic paraplegia type 4 spastic paraplegia type 4 Enable Javascript to view the expand/ ... Download PDF Open All Close All Description Spastic paraplegia type 4 is part of a group of ...

  10. Genetics Home Reference: spastic paraplegia type 2

    ... Home Health Conditions spastic paraplegia type 2 spastic paraplegia type 2 Enable Javascript to view the expand/ ... Download PDF Open All Close All Description Spastic paraplegia type 2 is part of a group of ...

  11. Genetics Home Reference: mucopolysaccharidosis type I

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

  12. Genetics Home Reference: glutaric acidemia type I

    ... Conditions glutaric acidemia type I glutaric acidemia type I Enable Javascript to view the expand/collapse boxes. ... Open All Close All Description Glutaric acidemia type I is an inherited disorder in which the body ...

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

    James, Mark

    2008-01-01

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

  14. Typeview: A Tool for Understanding Type Errors

    Simon, Axel; Chitil, Olaf; Huch, Frank

    2000-01-01

    In modern statically typed functional languages, type inference is used to determine the type of each function automatically. Whenever this fails, the compiler emits an error message that is often very complex. Sometimes the expression mentioned in the type error message is not the one that is wrong. We therefore implement an interactive tool that allows programmers to browse through the source code of their program and query the types of each expression. If a variable cannot be typed, we wou...

  15. Simple algebras of Weyl type

    2001-01-01

    Over a field F of arbitrary characteristic, we define the associative and the Lie algebras of Weyl type on the same vector space A[D]=A[D] from any pair of a commutative associative algebra A with an identity element and the polynomial algebra [D] of a commutative derivation subalgebra D of A. We prove that A[D], as a Lie algebra (modulo its center) or as an associative algebra, is simple if and only if A is D-simple and A[D] acts faithfully on A. Thus we obtain a lot of simple algebras.

  16. Adiabatic Wankel type rotary engine

    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.

  17. [Zinc and type 2 diabetes].

    Fukunaka, Ayako; Fujitani, Yoshio

    2016-07-01

    Pancreatic β cells contain the highest amount of zinc among cells within the human body, and hence, the relationship between zinc and diabetes has been a topic of great interest. While many studies demonstrating possible involvement of zinc deficiency in diabetes have been reported, precise mechanisms how zinc regulates glucose metabolism are still far from understood. Recent studies revealed that zinc can transmit signals that are driven by a variety of zinc transporters in a tissue and cell-type specific manner and deficiency in some zinc transporters may cause human diseases. Here, we review the role of zinc in metabolism particularly focusing on the emerging role of zinc transporters in diabetes.

  18. Infrastructure: concept, types and value

    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.

  19. Bianchi type I string cosmologies

    D N Pant; Sanjay Oli

    2003-03-01

    By making use of Letelier’s form of energy–momentum tensor for a cloud of stringdust we present some classes of solutions of general relativistic field equations which describe cosmological string-dust models in Bianchi type I space-time. Some of the classes of models obey Takabayashi’s equation of state whereas a class of models exhibits inflation in the initial stage. Two of the classes presented here have Kasner’s space-time as past asymptote.

  20. Type 1 diabetes pathogenesis - Prevention???

    C S Muralidhara Krishna

    2015-01-01

    Full Text Available Pathogenesis of type 1 diabetes is multi-faceted, including, autoimmunity, genetics and environment. Autoimmunity directed against pancreatic islet cells results in slowly progressive selective beta-cell destruction ("Primary autoimmune insulitis", culminating over years in clinically manifested insulin-dependent diabetes mellitus (IDDM. Circulating serum autoantibodies directed against the endocrine cells of the islets of Langerhans (Islet cell autoantibodies - ICAb are an important hallmark of this disease. Assays for islet cell autoantibodies have facilitated the investigation and understanding of several facets in the pathogenesis of autoimmune diabetes. Their applications have extended into clinical practice and have opened new avenues for early preclinical prediction and preventive prophylaxis in IDDM/type 1 DM. Recently, surprisingly, differences in insulin content between T1DM islets, as well as, ′patchy′ or ′lobular′ destruction of islets have been described. These unique pathobiological phenomena, suggest that beta cell destruction may not always be inexorable and inevitably complete/total, and thus raise hopes for possible therapeutic interruption of beta cell autoimmunity - destruction and cure of type 1 diabetes. "Recurrent or secondary autoimmune insulitis" refers to the rapid reappearance of islet cell autoantibodies post pancreas transplant, and selective islet beta cell destruction in the grafted pancreas [never forgetting or "anamnestic" beta cell destructive memory], in the absence of any graft pancreas rejection [monozygotic twin to twin transplantation]. The one definite environmental factor is congenital rubella, because of which a subset of children subsequently develop type 1 diabetes. The putative predisposing factors are viruses, gluten and cow′s milk. The putative protective factors include gut flora, helminths, viral infections, and Vitamin D. Prevention of T1DM can include: Primary prevention strategies

  1. Type 2-diabetes i Danmark

    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...... must fit with the patient's phenotype to avoid polypharmacy. A new flow chart for the organisation of T2D has been formulated giving the general practitioners the role as co-ordinators....

  2. Mix bed type desalting device

    Hanaoka, Shuichi; Shiozawa, Yoshihiro; Kazama, Seiichi

    1998-12-18

    The present invention provides a condensate desalting device of a BWR type reactor capable of preventing degradation of ion exchange resins by water containing oxidative materials such as hydrogen peroxide thereby keeping reactor water at high purity. Namely, a mixed bed type desalting device comprises a desalting tower for removing impurities in water by ion exchange resins and a regeneration device for cleaning/regenerating the ion exchange resins. Means for loading iron cruds into water is disposed in the desalting tower. With such a constitution, oxidative materials such as hydrogen peroxide react with the iron cruds thereby enabling to suppress oxidative reaction during ion exchange. Since passage or cleaning/regeneration of water is conducted while loading the iron cruds between ion exchange resin particles and on the surface layer of an ion exchange resin layer by using the above-mentioned reaction, degradation of ion exchange performance of the ion exchange resins by hydrogen peroxide can be prevented upon condensate cleaning operation or resin cleaning/regeneration. As a result, degradation of quality of reactor water can be suppressed. (I.S.)

  3. Autoimmune Polyglandular Syndrome Type 1

    Vedeswari C Ponranjini

    2012-01-01

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

  4. 49 CFR 192.175 - Pipe-type and bottle-type holders.

    2010-10-01

    ... 49 Transportation 3 2010-10-01 2010-10-01 false Pipe-type and bottle-type holders. 192.175 Section....175 Pipe-type and bottle-type holders. (a) Each pipe-type and bottle-type holder must be designed so as to prevent the accumulation of liquids in the holder, in connecting pipe, or in...

  5. Accounting Students' Performance and Personality Types.

    Nourayi, Mahmoud M.; Cherry, Alan A.

    1993-01-01

    Completion of the Myers Briggs Type Inventory by 103 accounting majors revealed no significant differences among personality types in achievement, except that sensing types perform better in accounting in general. Results seem to belie the suggestion that accounting attracts introverts and that the intuitive type is best suited to accounting in…

  6. Verifying Process Algebra Proofs in Type Theory

    Sellink, M.P.A.

    2008-01-01

    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 in

  7. 7 CFR 51.2734 - Spanish type.

    2010-01-01

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

  8. 14 CFR 21.31 - Type design.

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

  9. Types and concept analysis for legacy systems

    Kuipers, T.; Moonen, L.M.F.

    2000-01-01

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

  10. Psychological Types of Academically Gifted Adolescents

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

    2007-01-01

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

  11. Polymorphic Endpoint Types for Copyless Message Passing

    Viviana Bono

    2011-07-01

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

  12. Hyperbolic spaces are of strictly negative type

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

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

    Kristensen, Ditte Bech; Prats Gavalda, Clara; Ara, Ignacio;

    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...... 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...... vastus lateralis across all groups. No significant differences between groups were observed in ceramide content in either of the two substudies. In human skeletal muscle, ceramide content was higher in type I than in type II fibers in patients with type 2 diabetes and in obese subjects, but overall...

  14. Progenitors of type Ia supernovae

    Maeda, Keiichi

    2016-01-01

    Natures of progenitors of type Ia Supernovae (SNe Ia) have not yet been clarified. There has been long and intensive discussion on whether the so-called single degenerate (SD) scenario or the double degenerate (DD) scenario, or anything else, could explain a major population of SNe Ia, but the conclusion has not yet been reached. With rapidly increasing observational data and new theoretical ideas, the field of studying the SN Ia progenitors has been quickly developing, and various new insights have been obtained in recent years. This article aims at providing a summary of the current situation regarding the SN Ia progenitors, both in theory and observations. It seems difficult to explain the emerging diversity seen in observations of SNe Ia by a single population, and we emphasize that it is important to clarify links between different progenitor scenarios and different sub-classes of SNe Ia.

  15. Multiple endocrine neoplasia type 2.

    Lodish, Maya

    2013-01-01

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

  16. Forensic DNA typing in China.

    Hou, Y P

    2009-04-01

    In the field of forensic genetics, essential developmental impulses come from the advances of the molecular biology and human genome projects. This paper overviews existing technologies for forensic genetics in China and gives a perspective of forensic DNA analysis. In China, work has been done in the development of blood group serology of the conventional markers. Forensic scientists in China also contributed to the progress of DNA analysis by the validation of numerous test methods and by optimization of these methods. During these years, forensic DNA analysis in China has experienced tremendous progress towards development of robust, efficient and precise protocols, including the development of short tandem repeat analysis, mitochondrial DNA and Y-chromosome analysis. Forensic scientists are constantly looking for new methods to further improve DNA typing. Therefore, this paper also focuses on emerging new technologies in China, which represent an interest for forensic genetics.

  17. Progenitors of Supernovae Type Ia

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

    2013-01-01

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

  18. Standardization of type Ia supernovae

    Coelho, Rodrigo C V; Reis, Ribamar R R; Siffert, Beatriz B

    2014-01-01

    Type Ia supernovae (SNe Ia) have been intensively investigated due to its great homogeneity and high luminosity, which make it possible to use them as standardizable candles for the determination of cosmological parameters. In 2011, the physics Nobel prize was awarded for the discovery of the accelerating expansion of the Universe through observations of distant supernovae. This is a pedagogical article, aimed at those starting their study of that subject, in which we dwell on some topics related to the analysis of SNe Ia and their use in luminosity distance estimators. Here we investigate their spectral properties and light curve standardization, paying careful attention to the fundamental quantities directly related to the SNe Ia observables. Finally, we describe our own step-by-step implementation of a classical light curve fi?tter, the stretch, applying it to real data from the Carnegie Supernova Project.

  19. Exercise and type 2 diabetes

    Karstoft, Kristian; Pedersen, Bente Klarlund

    2016-01-01

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

  20. What causes type 1 diabetes?

    Buschard, Karsten

    2011-01-01

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

  1. Types, structures and theories in NKI

    Xiaoru ZHANG; Zaiyue ZHANG; Yuefei SUI

    2008-01-01

    The National Knowledge,Infrastructure (NKI)is a multi-domain knowledge base. The classical type the-ory is no longer appropriate to describe every kind of object in multi-domains, such as artifacts, natural or micro objects. Three different kinds of type theories are defined: the classical, atomic and pseudo type theories; in the classical type theory, two new type constructors are defined: setm and ∨, to describe the types of sets of all the elements of the types and unions of two sets of different types, respectively. The structures and categories in the type theory are defined, and the sub-structures and homo-morphic structures are used to describe the part-of rela-tions that give the algebraic specifications for the natural objects and the part-of relations between the natural objects, micro objects and artifacts.

  2. A Reflection on Teacher Questioning Types

    Kasih Elisabeth Roostini

    2011-07-01

    Full Text Available Abstract This small-scale research is expected to serve as a reflective means for teachers so that they can explore their questioning types in their own classroom. It analyzed questioning types used by three teachers of general English classes. The questioning types were classified based on three dimensions—purpose, form, and function. The purpose-based questioning types, based on Long and Sato’s findings (1983, were classified into two: referential and display. The form-based questioning types, based on the classification of question types by Celce-Murcia and Larsen-Freeman (1999 and Biber et al. (1999, were classified into four major types: yes/no-questions, wh-questions, tag questions, and alternative questions. The function-based questioning types, based on Long and Sato’s findings (1983, were classified into three sub-types: comprehension checks, confirmation checks, and clarification requests.           The data, obtained from three recorded class meetings, were transcribed and analyzed to see what questioning types each teacher employed and to obtain the number and percentage distribution of questioning types each teacher used. The results showed that referential questions were more frequently used than display questions at higher levels. There were a substantial number of incomplete questions, a form-based questioning type that did not belong to the classification of form-based questioning types employed in this study. The predominant use of incomplete questions in a communicative classroom should be reviewed as this questioning type required accuracy, rather than promoting language practice. The third type, the function-based questioning types, did not occur frequently at all the three stages. This study suggests that teachers use incomplete questions less frequently and try to use other form-based questioning types. It also encourages teachers to reflect on their own teaching and pursue their professional development.

  3. Type Ia Supernova Carbon Footprints

    Thomas, R C; Aragon, C; Antilogus, P; Bailey, S; Baltay, C; Bongard, S; Buton, C; Canto, A; Childress, M; Chotard, N; Copin, Y; Fakhouri, H K; Gangler, E; Hsiao, E Y; Kerschhaggl, M; Kowalski, M; Loken, S; Nugent, P; Paech, K; Pain, R; Pecontal, E; Pereira, R; Perlmutter, S; Rabinowitz, D; Rigault, M; Rubin, D; Runge, K; Scalzo, R; Smadja, G; Tao, C; Weaver, B A; Wu, C; Brown, P J; Milne, P A

    2011-01-01

    We present convincing evidence of unburned carbon at photospheric velocities in new observations of 5 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 d 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 5 SNe in question are otherwise spectroscopically unremarkable, with ions and ejection velocities typical of SNe Ia, but spectra of the fifth exhibits high-velocity (v > 20,000 km/s) 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 broad band light curve/color behavior: Three of the 5 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 ...

  4. Puberty and type 1 diabetes

    Subhankar Chowdhury

    2015-01-01

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

  5. Investigating Inflation in Type IIA

    Hertzberg, Mark P.; /MIT; Kachru, Shamit; /Stanford U., Phys. Dept. /SLAC; Taylor, Washington; Tegmark, Max; /MIT, LNS

    2007-12-14

    We prove that inflation is forbidden in the most well understood class of semi-realistic type IIA string compactifications: Calabi-Yau compactifications with only standard NS-NS 3-form flux, R-R fluxes, D6-branes and O6-planes at large volume and small string coupling. With these ingredients, the first slow-roll parameter satisfies {epsilon} {ge} 27/13 whenever V > 0, ruling out both inflation (including brane/anti-brane inflation) and de Sitter vacua in this limit. Our proof is based on the dependence of the 4-dimensional potential on the volume and dilaton moduli in the presence of fluxes and branes. We also describe broader classes of IIA models which may include cosmologies with inflation and/or de Sitter vacua. The inclusion of extra ingredients, such as NS 5-branes and geometric or non-geometric NS-NS fluxes, evades the assumptions used in deriving the no-go theorem. We focus on NS 5-branes and outline how such ingredients may prove fruitful for cosmology, but we do not provide an explicit model. We contrast the results of our IIA analysis with the rather different situation in IIB.

  6. Type 1 diabetes associated autoimmunity.

    Kahaly, George J; Hansen, Martin P

    2016-07-01

    Diabetes mellitus is increasing in prevalence worldwide. The economic costs are considerable given the cardiovascular complications and co-morbidities that it may entail. Type 1 diabetes (T1D) is a chronic autoimmune disease characterized by the loss of insulin-producing pancreatic β-cells. The pathogenesis of T1D is complex and multifactorial and involves a genetic susceptibility that predisposes to abnormal immune responses in the presence of ill-defined environmental insults to the pancreatic islets. Genetic background may affect the risk for autoimmune disease and patients with T1D exhibit an increased risk of other autoimmune disorders such as autoimmune thyroid disease, Addison's disease, autoimmune gastritis, coeliac disease and vitiligo. Approximately 20%-25% of patients with T1D have thyroid antibodies, and up to 50% of such patients progress to clinical autoimmune thyroid disease. Approximately 0.5% of diabetic patients have concomitant Addison's disease and 4% have coeliac disease. The prevalence of autoimmune gastritis and pernicious anemia is 5% to 10% and 2.6% to 4%, respectively. Early detection of antibodies and latent organ-specific dysfunction is advocated to alert physicians to take appropriate action in order to prevent full-blown disease. Patients and family members should be educated to be able to recognize signs and symptoms of underlying disease.

  7. Radiosurgery for type II neurofibromatosis.

    Rowe, Jeremy; Radatz, Matthias; Kemeny, Andras

    2008-01-01

    A summary of our radiosurgical experience treating type II neurofibromatosis (NF2) vestibular schwannomas (VSs), based on a retrospective consecutive series of 122 tumours in 92 patients, with an extended series of a further 22 patients (906 patient-years of follow-up) to investigate the risk of malignancy after radiosurgery. With current techniques, we estimate that 8 years after radiosurgery for NF2 VS, 20% of patients will have required further treatment, 50% will be well controlled, and in 30% there will have been some concern about control, but they will have been managed conservatively. Three years after treatment, approximately 40% retain their functional hearing, 40% have some deterioration, 20% becoming deaf in that ear. The risk of facial palsy was 5%. Two malignancies were recorded after radiosurgery, in one the malignant behaviour preceded treatment. This is less than the previously reported rate of spontaneously developing malignant gliomas in NF2. Whilst the clinical results are far worse than those achieved treating sporadic tumours, this applies equally to the results of surgery or observation when treating NF2 tumours. It is important therefore that these patients are given advice specific for NF2. Considering this, we believe that radiosurgery remains a valuable minimally invasive treatment option for selected NF2 patients.

  8. Industrial Electron Accelerators Type ILU

    Auslender, Vadim; Cheskidov, Vladimir; Faktorovich, Boris; Gorbunov, Vladimir; Gornakov, Igor; Nekhaev, V E; Panfilov, Alexander; Sidorov, Alexander; Tkachenko, Vadim; Tuvik, Alfred; Voronin, Leonid

    2005-01-01

    The report describes the electron accelerators of ILU series covering the energy range from 0.5 to 5 MeV with beam power up to 50 kW. The pulse linear accelerators type ILU are developed since 1970 in Budker institute of Nuclear Physics and are supplied to the industry. The ILU machines are purposed for wide application in various technological processes and designed for long continuous and round-the-clock work in industrial conditions. A principle of acceleration of electrons in the gap of HF resonator is used in the ILU machines. The HF resonator has toroidal form. The electron gun is placed in one of the protruding electrodes forming the accelerating gap of the resonator. The resonator is fed from HF autogenerator realized on the industrial triode, the feedback signal is given from the resonator. The absence of outer beam injection and usage of self-excited HF generator simplify the design of accelerator and ensure its reliable operation.

  9. [The new types of addiction].

    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.

  10. Genetics Home Reference: spinocerebellar ataxia type 3

    ... Me Understand Genetics Home Health Conditions SCA3 spinocerebellar ataxia type 3 Enable Javascript to view the expand/ ... Download PDF Open All Close All Description Spinocerebellar ataxia type 3 ( SCA3 ) is a condition characterized by ...

  11. Genetics Home Reference: spinocerebellar ataxia type 2

    ... Me Understand Genetics Home Health Conditions SCA2 spinocerebellar ataxia type 2 Enable Javascript to view the expand/ ... Download PDF Open All Close All Description Spinocerebellar ataxia type 2 ( SCA2 ) is a condition characterized by ...

  12. Genetics Home Reference: spinocerebellar ataxia type 6

    ... Me Understand Genetics Home Health Conditions SCA6 spinocerebellar ataxia type 6 Enable Javascript to view the expand/ ... Download PDF Open All Close All Description Spinocerebellar ataxia type 6 ( SCA6 ) is a condition characterized by ...

  13. Genetics Home Reference: spinocerebellar ataxia type 1

    ... Me Understand Genetics Home Health Conditions SCA1 spinocerebellar ataxia type 1 Enable Javascript to view the expand/ ... Download PDF Open All Close All Description Spinocerebellar ataxia type 1 ( SCA1 ) is a condition characterized by ...

  14. Delaying or Preventing Type 2 Diabetes

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

  15. Insulin requirements in type 1 diabetic pregnancy

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

  16. Foundations of Session Types and Behavioural Contracts

    Huttel, Hans; Lanese, Ivan; Vasconcelos, Vasco

    2016-01-01

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

  17. BERGMAN TYPE PROJECTIONS ON Lp SPACES

    Kehe Zhu

    2005-01-01

    The paper is a survey on the action of Bergman type projections on various Lp spaces. The focus is on three types of holomorphic function spaces: weighted Bergman spaces, the Bloch space, and diagonal Besov spaces.

  18. Structures, Mixed Types - Oil & Gas Locations

    NSGIC GIS Inventory (aka Ramona) — An Oil and Gas Location is a DEP primary facility type related to the Oil & Gas Program. The sub-facility types related to Oil and Gas that are included in this...

  19. Autoimmune diseases associated with neurofibromatosis type 1.

    Nanda, Arti

    2008-01-01

    Associations of autoimmune diseases with neurofibromatosis type 1 have been rarely described. In the present report, we describe two patients of neurofibromatosis type 1 having an association with vitiligo in one, and alopecia areata and autoimmune thyroiditis in another. The associations of neurofibromatosis type 1 with vitiligo, alopecia areata, and autoimmune thyroiditis have not been reported earlier. Whether these associations reflect a causal relationship with neurofibromatosis type 1 or are coincidental needs to be settled.

  20. Band-type microelectrodes for amperometric immunoassays

    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. Fractional Type Marcinkiewicz Integral on Hardy Spaces

    Zeng Yan SI; Li Na WANG; Yin Sheng JIANG

    2011-01-01

    The authors in the paper proved that if Ω is homogeneous of degree zero and satisfies some certain logarithmic type Lipschitz condition, then the fractional type Marcinkiewicz Integral μΩ,α is an operator of type (HKn(1-1/q1),p/q1,Kn(1-1/q1),p/q2) and of type (H1(Rn),Ln/(n-α)).

  2. Two-Point Fuzzy Ostrowski Type Inequalities

    Muhammad Amer Latif

    2013-08-01

    Full Text Available Two-point fuzzy Ostrowski type inequalities are proved for fuzzy Hölder and fuzzy differentiable functions. The two-point fuzzy Ostrowski type inequality for M-lipshitzian mappings is also obtained. It is proved that only the two-point fuzzy Ostrowski type inequality for M-lipshitzian mappings is sharp and as a consequence generalize the two-point fuzzy Ostrowski type inequalities obtained for fuzzy differentiable functions.

  3. Strongly typed rewriting for coupled software transformation

    Cunha, Alcino; Visser, J

    2006-01-01

    Coupled transformations occur in software evolution when multiple artifacts must be modified in such a way that they remain consistent with each other. An important example involves the coupled transformation of a data type, its instances, and the programs that consume or produce it. Previously, we have provided a formal treatment of transformation of the first two: data types and instances. The treatment involved the construction of type-safe, type-changing strategic rewrite systems. In this...

  4. Japanese Small Type Coastal Whaling

    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.

  5. Convection in Type 2 supernovae

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

    1993-10-15

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

  6. TYPE Ia SUPERNOVA CARBON FOOTPRINTS

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

    2011-12-10

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

  7. Convection in Type 2 supernovae

    Miller, D.S.

    1993-10-15

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

  8. Sacrifical sites, types and function

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

  9. Type Ⅱ codes over finite rings

    DOUGHERTY; Steven; T

    2010-01-01

    In this paper,we generalize the concept of Type Ⅱ codes to arbitrary finite rings. We focus on Type Ⅱ codes over finite chain rings and use the Chinese Remainder Theorem on these codes to study Type Ⅱ codes over principal ideal rings.

  10. Where Do I Begin with Type 2?

    ... 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 ... Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk Healthy ...

  11. MYOCARDIAL INFARCTION TYPE 2. MYTH OR REALITY?

    V. V. Zhelnov; N. V. Dyatlov; L. I. Dvoretsky

    2016-01-01

    According to The Third Definition of Myocardial Infarction there are five types of myocardial infarction depending on pathogenesis. This review provides actual data about myocardial infarction type 2 mechanism including diagnosis management, epidemiological characteristic and patient prognosis. Previously published data shows discordant information about myocardial infarction type 2 frequency, treatment and diagnostic options. Our clinical observation illustrates these severities in diagnosis...

  12. Hoare type theory, polymorphism and separation

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

  13. Windchill-201 - Custom Soft-Type Construction

    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. SOME LIOUVILLE TYPE THEOREMS FOR THE P-SUB-LAPLACIAN ON THE GROUP OF HEISENBERG TYPE

    Yuan Zixia; Niu Pengcheng

    2008-01-01

    In this paper we prove some Liouville type results for the p-sub-Laplacian on the group of Heisenberg type. A strong maximum principle and a Hopf type principle concerning p-sub-Laplacian are established.

  15. GATE TYPE SELECTION BASED ON FUZZY MAPPING

    2002-01-01

    Gate type selection is very important for mould design. Improper gate type may lead to poor product quality and low production efficiency. Although numerical simulation approach could be used to optimize gate location, the determination of gate type is still up to designers' experience. A novel method for selecting gate type based on fuzzy logic is proposed. The proposed methodology follows three steps:Design requirements for gate is extracted and generalized; Possible gate types (design schemes) are presented; The fuzzy mapping relationship between gate design requirements and gate design scheme is established based on fuzzy composition and fuzzy relation transition matrices that are assigned by domain experts.

  16. Type synthesis to design variable camber mechanisms

    Gang Li

    2016-08-01

    Full Text Available This article proposes multiple hinges’ type spectrum that provides an effective description of the multiple hinges of planar kinematic chains. The relationships between characteristic invariants are established and applied into type synthesis methods. A type synthesis method for planar kinematic chains, which is called the characteristic spectrum analysis type synthesis method, is proposed. A systematic design method for variable camber mechanisms is proposed. Using the results of the type synthesis and the systematic design method, three design schemes are proposed and the mathematic models are set up. Some simulation analysis has been done. All these analyses can verify the deformation performance of the proposed mechanism.

  17. Bernstein-type approximations of smooth functions

    Andrea Pallini

    2007-10-01

    Full Text Available The Bernstein-type approximation for smooth functions is proposed and studied. We propose the Bernstein-type approximation with definitions that directly apply the binomial distribution and the multivariate binomial distribution. The Bernstein-type approximations generalize the corresponding Bernstein polynomials, by considering definitions that depend on a convenient approximation coefficient in linear kernels. In the Bernstein-type approximations, we study the uniform convergence and the degree of approximation. The Bernstein-type estimators of smooth functions of population means are also proposed and studied.

  18. Hereditary sensory neuropathy type I

    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

  19. Memorization in Type-Directed Partial Evaluation

    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 functions and type-directed partial evaluation provides a convenient setting to obtain the normal form of their composition. However, off-the-shelf type-directed partial evaluation turns out to yield gigantic normal forms. We identify that this gigantism is due to redundancies, and that these redundancies...... 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...

  20. Memoization in Type-Directed Partial Evaluation

    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 functions and type-directed partial evaluation provides a convenient setting to obtain the normal form of their composition. However, off-the-shelf type-directed partial evaluation turns out to yield gigantic normal forms. We identify that this gigantism is due to redundancies, and that these redundancies...... 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...

  1. INVARIANTS UNDER STABLE EQUIVALENCES OF MORITA TYPE

    Li Fang; Sun Longgang

    2012-01-01

    The aim of this article is to study some invariants of associative algebras under stable equivalences of Morita type.First of all,we show that,if two finite-dimensional selfinjective k-algebras are stably equivalent of Morita type,then their orbit algebras are isomorphic.Secondly,it is verified that the quasitilted property of an algebra is invariant under stable equivalences of Morita type.As an application of this result,it is obtained that if an algebra is of finite representation type,then its tilted property is invariant under stable equivalences of Morita type; the other application to partial tilting modules is given in Section 4. Finally,we prove that when two finite-dimensional k-algebras are stably equivalent of Morita type,their repetitive algebras are also stably equivalent of Morita type under certain conditions.

  2. Type Soundness in the Dart Programming Language

    Strocco, Fabio

    2016-01-01

    of a subset of the Dart type system and operational se- mantics. We prove in Coq that natural restrictions of the Dart type system guarantee the absence of runtime type errors caused by calls to missing meth- ods and functions, without going all the way to full soundness. Our second main contribution concerns......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...

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

    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.

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

    Pedersen, SS; Middel, B

    2001-01-01

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

  5. Pragmatics of type-directed partial evaluation

    1996-01-01

    and Schwichtenberg's normalization algorithm for the simply typed lambda-calculus. Type-directed partial evaluation thus can be used to specialize a compiled, closed program, given its type. Since Similix, let-insertion is a cornerstone of partial evaluators for call-by-value procedural languages with computational...... language) that are in direct style. The residual programs are in A-normal form. A simple corollary yields CPS (continuation-passing style) terms instead. We illustrate both transformations with two interpreters for Paulson's Tiny language, a classical example in partial evaluation.......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...

  6. Type Soundness in the Dart Programming Language

    Strocco, Fabio

    the design of a type safety analysis for the full Dart language, and experimental evaluations showing that the algorithm can be successfully applied to real-world programs. Our third main contribution consists of experimentally evaluating the benefits provided by each source of unsoundness in the Dart type......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...

  7. Odontoma and Analysis of 57 different types

    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.

  8. Revisiting Parametric Types and Virtual Classes

    Madsen, Anders Bach; Ernst, Erik

    2010-01-01

    This paper presents a conceptually oriented updated view on the relationship between parametric types and virtual classes. The traditional view is that parametric types excel at structurally oriented composition and decomposition, and virtual classes excel at specifying mutually recursive families...... of classes whose relationships are preserved in derived families. Conversely, while class families can be specified using a large number of F-bounded type parameters, this approach is complex and fragile; and it is difficult to use traditional virtual classes to specify object composition in a structural...... 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...

  9. Type Checking with XML Schema in XACT

    Kirkegaard, Christian; Møller, Anders

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

  10. Covariant action for type IIB supergravity

    Sen, Ashoke

    2016-07-01

    Taking clues from the recent construction of the covariant action for type II and heterotic string field theories, we construct a manifestly Lorentz covariant action for type IIB supergravity, and discuss its gauge fixing maintaining manifest Lorentz invariance. The action contains a (non-gravitating) free 4-form field besides the usual fields of type IIB supergravity. This free field, being completely decoupled from the interacting sector, has no physical consequence.

  11. Homotopy Type Theory: Univalent Foundations of Mathematics

    Program, The Univalent Foundations

    2013-01-01

    Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and beautiful "univalence axiom" implies that isomorphic structures can be identified. On the other hand, "higher inductive types" provide direct, logical descriptions of some of the basic spaces and constructions of homotopy theory. Both are impossible to capt...

  12. Type Theory, Computation and Interactive Theorem Proving

    2015-09-01

    in type theory . Harper and student Kuen-Bang Hou developed a machine-checked proof of the equivalence of group actions and cov- ering spaces in...Track 2: Interactive theorem proving and au- tomated reasoning 3.1 Homotopy type theory Avigad participated in the Univalent Foundations Program at IAS...AFRL-AFOSR-VA-TR-2016-0071 TYPE THEORY , COMPUTATION AND INTERACTIVE THEOREM PROVING Jeremy Avigad CARNEGIE MELLON UNIVERSITY Final Report 09/01/2015

  13. Moderne behandling af type B-aortadissektion

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

  14. [Modern treatment of type B dissections

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

  15. Renal tubular acidosis type 4 in pregnancy.

    Jakes, Adam Daniel; Baynes, Kevin; Nelson-Piercy, Catherine

    2016-03-17

    We describe the clinical course of renal tubular acidosis (RTA) type 4 in pregnancy, which has not been previously published. Renal tubular acidosis type 4 is a condition associated with increased urinary ammonia secondary to hypoaldosteronism or pseudohypoaldosteronism. Pregnancy may worsen the hyperkalaemia and acidosis of renal tubular acidosis type 4, possibly through an antialdosterone effect. We advise regular monitoring of potassium and pH throughout pregnancy to ensure safe levels are maintained.

  16. Legendre transformations and Clairaut-type equations

    Lavrov, Peter M

    2016-01-01

    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.

  17. Legendre transformations and Clairaut-type equations

    Lavrov, Peter M.; Merzlikin, Boris S.

    2016-05-01

    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.

  18. Legendre transformations and Clairaut-type equations

    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.

  19. Legendre transformations and Clairaut-type equations

    Peter M. Lavrov

    2016-05-01

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

  20. Are Thinking Styles and Personality Types Related?

    Zhang, LF

    2000-01-01

    The relationship between thinking styles and personality types is investigated within the contexts of Sternberg's theory of mental self-government and Holland's theory of personality types. A total of 600 university students from Hong Kong responded to the Thinking Styles Inventory (TSI) and the Short-version Self-directed Search (SVSDS) that was specially designed for the present study. A major finding of this study is that thinking styles and personality types overlap to a degree. A seconda...

  1. Dietary Sodium Intake in Type 2 Diabetes

    Provenzano, Laura Ferreira; Stark, Sue; Steenkiste, Ann; Piraino, Beth; Sevick, Mary Ann

    2014-01-01

    Patients with type 2 diabetes have an increased risk for cardiovascular and chronic kidney disease. Superimposed hypertension further increases the risk and is associated with increased dietary sodium intake. There are few data available on dietary sodium intake in type 2 diabetes. The aim of this study was to quantify dietary sodium intake in a cohort of self-referred patients with type 2 diabetes and to identify sociodemographic characteristics associated with it. Sodium intake in this coho...

  2. Clostridium perfringens isolate typing by multiplex PCR

    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.

  3. Type I restriction enzymes and their relatives.

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

    2014-01-01

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

  4. Convolution neural networks for ship type recognition

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

    2016-05-01

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

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

    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. Two unusual types of syndactyly in the same family; Cenani-Lenz type and "new" type versus severe type I syndactyly?

    Percin, E F; Percin, S

    2003-01-01

    Cenani-Lenz syndactyly is a very rare syndrome where the syndactyly is totally disorganized with abnormal development of pattern formation of the hand. We report here an additional case of Cenani-Lenz syndactylism in a woman who has congenital cataract and an unusual type of duplication of big toes not described so far. She had a half cousin who had an unusual new type or severe type I syndactyly. It is not clear whether these two types of syndactyly present in this family may be coincidental or not.

  7. Compactly Supported Curvelet-Type Systems

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

  8. Ionic currents underlying difference in light response between type A and type B photoreceptors.

    Blackwell, K T

    2006-05-01

    In Hermissenda crassicornis, the memory of light associated with turbulence is stored as changes in intrinsic and synaptic currents in both type A and type B photoreceptors. These photoreceptor types exhibit qualitatively different responses to light and current injection, and these differences shape the spatiotemporal firing patterns that control behavior. Thus the objective of the study was to identify the mechanisms underlying these differences. The approach was to develop a type B model that reproduced characteristics of type B photoreceptors recorded in vitro, and then to create a type A model by modifying a select number of ionic currents. Comparison of type A models with characteristics of type A photoreceptors recorded in vitro revealed that type A and type B photoreceptors have five main differences, three that have been characterized experimentally and two that constitute hypotheses to be tested with experiments in the future. The three differences between type A and type B photoreceptors previously characterized include the inward rectifier current, the fast sodium current, and conductance of calcium-dependent and transient potassium channels. Two additional changes were required to produce a type A photoreceptor model. The very fast firing frequency observed during the first second after light onset required a faster time constant of activation of the delayed rectifier. The fast spike adaptation required a fast, noninactivating calcium-dependent potassium current. Because these differences between type A and type B photoreceptors have not been confirmed in comparative experiments, they constitute hypotheses to be tested with future experiments.

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

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

    2003-01-01

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

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

    Mehnert, Hannes

    2010-01-01

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

  11. Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes

    Birkedal, Lars; Mogelberg, R.E.

    2013-01-01

    points of guarded recursive functions. Guarded recursive types can be formed simply by taking fixed points of guarded recursive functions on the universe of types. Moreover, we present a general model construction for constructing models of the intensional type theory with guarded recursive functions...... and types. When applied to the groupoid model of intensional type theory with the universe of small discrete groupoids, the construction gives a model of guarded recursion for which there is a one-to-one correspondence between fixed points of functions on the universe of types and fixed points of (suitable......Guarded recursive functions and types are useful for giving semantics to advanced programming languages and for higher-order programming with infinite data types, such as streams, e.g., for modeling reactive systems. We propose an extension of intensional type theory with rules for forming fixed...

  12. Human muscle fiber type-specific insulin signaling: impact of obesity and type 2 diabetes.

    Albers, Peter H; Pedersen, Andreas J T; Birk, Jesper B; Kristensen, Dorte E; Vind, Birgitte F; Baba, Otto; Nøhr, Jane; Højlund, Kurt; Wojtaszewski, Jørgen F P

    2015-02-01

    Skeletal muscle is a heterogeneous tissue composed of different fiber types. Studies suggest that insulin-mediated glucose metabolism is different between muscle fiber types. We hypothesized that differences are due to fiber type-specific expression/regulation of insulin signaling elements and/or metabolic enzymes. Pools of type I and II fibers were prepared from biopsies of the vastus lateralis muscles from lean, obese, and type 2 diabetic subjects before and after a hyperinsulinemic-euglycemic clamp. Type I fibers compared with type II fibers have higher protein levels of the insulin receptor, GLUT4, hexokinase II, glycogen synthase (GS), and pyruvate dehydrogenase-E1α (PDH-E1α) and a lower protein content of Akt2, TBC1 domain family member 4 (TBC1D4), and TBC1D1. In type I fibers compared with type II fibers, the phosphorylation response to insulin was similar (TBC1D4, TBC1D1, and GS) or decreased (Akt and PDH-E1α). Phosphorylation responses to insulin adjusted for protein level were not different between fiber types. Independently of fiber type, insulin signaling was similar (TBC1D1, GS, and PDH-E1α) or decreased (Akt and TBC1D4) in muscle from patients with type 2 diabetes compared with lean and obese subjects. We conclude that human type I muscle fibers compared with type II fibers have a higher glucose-handling capacity but a similar sensitivity for phosphoregulation by insulin.

  13. Type-D personality and body image in men: the role of exercise status.

    Borkoles, Erika; Polman, Remco; Levy, Andrew

    2010-01-01

    The 'Distressed' or Type-D personality is described by the interaction between high levels of negative affectivity and social inhibition. This study investigated the prevalence of Type-D personality in men of different exercise status, the association between Type-D and body image perceptions, and the moderating effect of exercise status. Participants were 564 British males aged between 18 and 55 years. Of these 200 were classified as sedentary, 148 as active and 216 as weight trainers. Participants completed the DS14 and Multidimensional Body-Self Relations Questionnaire. Results showed that more individuals were classified as Type-D in the sedentary group (45%) than the two active groups, and in the weight training (24.5%) than the active (14.2%) group. Both Type-D and a sedentary lifestyle were associated with a significantly poorer body image. However, exercise mode was not associated with body image differences. Sedentary Type-D men scored significantly lower in Body Areas Satisfaction and higher in Self-Classified Weight than both active groups. Regular exercise might provide a pathway for Type-D men to develop a more positive body image.

  14. Ranking Very Many Typed Entities on Wikipedia

    Zaragoza, Hugo; Rode, Henning; 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 t

  15. Three discussions on object-oriented typing

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    1992-01-01

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

  16. Molecular Typing of Treponema pallidum in Denmark

    Salado-Rasmussen, Kirsten; Cowan, Susan; Gerstoft, Jan;

    2016-01-01

    The aim of this nationwide study is to determine the strain type diversity among patients diagnosed with syphilis by PCR during a 4-year period in Denmark. Epidemiological data, including HIV status, for all patients were obtained from the Danish national syphilis registration system. Molecular s...... diagnosed with a wide spectrum of different strain types of Treponema pallidum....

  17. Topological and Simplicial Models of Identity Types

    van den Berg, B.; Garner, R.

    2012-01-01

    In this paper we construct new categorical models for the identity types of Martin-Löf type theory, in the categories Top of topological spaces and SSet of simplicial sets. We do so building on earlier work of Awodey and Warren [2009], which has suggested that a suitable environment for the interpre

  18. Personality Type and Clinical Supervision Interventions

    Bernard, Janine M.; Clingerman, Tamara L.; Gilbride, Dennis D.

    2011-01-01

    In this study, the authors investigated personality type of supervisors and supervisees and interventions chosen by supervisors for 78 supervisory dyads from 9 different counselor education programs. Gender effects were also investigated. Results indicated that interventions were not influenced by supervisor personality type as measured by the…

  19. Personality disorder types proposed for DSM-5

    Skodol, A.E.; Bender, D.S.; Morey, L.C.; Clark, L.A.; Oldham, J.M.; Alarcon, R.D.; Krueger, R.F.; Verheul, R.; Bell, C.C.; Siever, L.J.

    2011-01-01

    The Personality and Personality Disorders Work Group has proposed five specific personality disorder (PD) types for DSM-5, to be rated on a dimension of fit: antisocial/psychopathic, avoidant, borderline, obsessive-compulsive, and schizotypal. Each type is identified by core impairments in personali

  20. Outcomes in type 1 diabetic pregnancies

    Jensen, Dorte Møller; Damm, Peter; Moelsted-Pedersen, Lars

    2004-01-01

    OBJECTIVE: The aim of this study was to compare pregnancy outcomes in type 1 diabetic pregnancies with the background population. RESEARCH DESIGN AND METHODS: This nationwide prospective multicenter study took place in eight Danish centers treating pregnant women with type 1 diabetes during 1993-...

  1. Static Typing for Object-Oriented Programming

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    1994-01-01

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

  2. Type Substitution for Object-Oriented Programming

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

  3. Serum markers for type II diabetes mellitus

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

    2014-03-18

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

  4. Three Types of Network Complexity Pyramid

    FANG; Jin-qing; LI; Yong; LIU; Qiang

    2012-01-01

    <正>Exploring the complexity and diversity of complex networks have been very challenging issues in network science and engineering. Among them exploring the network complexity pyramids (NCP) are one of important expressions in network complexity. So far as we have proposed the three types of the network complexity pyramid (NCP). The first type of NCP is the network model complexity pyramid with

  5. Exactly integrable hyperbolic equations of Liouville type

    Zhiber, A V [Institute of Mechanics, Ufa Centre of the Russian Academy of Sciences, Ufa (Russian Federation); Sokolov, Vladimir V [Centre for Non-linear Studies Landau Institute for Theoretical Physics, Moscow (Russian Federation)

    2001-02-28

    This is a survey of the authors' results concerning non-linear hyperbolic equations of Liouville type. The definition is based on the condition that the chain of Laplace invariants of the linearized equation be two-way finite. New results include a procedure for finding the general solution and a solution of the classification problem for Liouville type equations.

  6. Staphylococcus aureus spa type t437

    Glasner, C; Pluister, G; Westh, H;

    2015-01-01

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

  7. 46 CFR 161.006-2 - Type.

    2010-10-01

    ... APPROVAL ELECTRICAL EQUIPMENT Searchlights, Motor Lifeboat, for Merchant Vessels § 161.006-2 Type. (a) The motor lifeboat searchlight shall be of the incandescent type equipped with a lamp of approximately 90 watts of proper voltage for use with the electric power installation of the lifeboat, usually a...

  8. 7 CFR 51.2853 - One type.

    2010-01-01

    ... Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE REGULATIONS AND STANDARDS UNDER THE AGRICULTURAL MARKETING ACT OF 1946... type. One type means that the onions are within the same general color category. Metric...

  9. Lie bialgebras of generalized Witt type

    SONG; Guang'ai; SU; Yucai

    2006-01-01

    In this paper, all Lie bialgebra structures on the Lie algebras of generalized Witt type are considered. It is proved that, for any Lie algebra W of generalized Witt type, all Lie bialgebras on W are the coboundary triangular Lie bialgebras. As a by-product, it is also proved that the first cohomology group H1(W, W (x) W) is trivial.

  10. Cell-Type-Specific Optogenetics in Monkeys.

    Namboodiri, Vijay Mohan K; Stuber, Garret D

    2016-09-08

    The recent advent of technologies enabling cell-type-specific recording and manipulation of neuronal activity spurred tremendous progress in neuroscience. However, they have been largely limited to mice, which lack the richness in behavior of primates. Stauffer et al. now present a generalizable method for achieving cell-type specificity in monkeys.

  11. Understanding COBOL systems using inferred types

    Deursen, A. van; Moonen, L.M.F.

    1999-01-01

    In a typical COBOL program, the data division consists of 50 of the lines of code. Automatic type inference can help to understand the large collections of variable declarations contained therein, showing how variables are related based on their actual usage. The most problematic aspect of type infe

  12. 7 CFR 51.1997 - Similar type.

    2010-01-01

    ... Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE REGULATIONS AND STANDARDS UNDER THE AGRICULTURAL MARKETING ACT OF 1946... round type shall not be mixed with those of the long type in the same container....

  13. Piezoresistance in p-type silicon revisited

    Richter, Jacob; Pedersen, Jesper; Brandbyge, Mads;

    2008-01-01

    We calculate the shear piezocoefficient pi44 in p-type Si with a 6×6 k·p Hamiltonian model using the Boltzmann transport equation in the relaxation-time approximation. Furthermore, we fabricate and characterize p-type silicon piezoresistors embedded in a (001) silicon substrate. We find that the ...

  14. Type 2 Diabetes Mellitus in Youth

    Quarry-Horn, Jill L.; Evans, Barbara J.; Kerrigan, James R.

    2003-01-01

    In the United States, the incidence of type 2 diabetes mellitus (DM) in children and adolescents has been increasing at an alarming rate. Early recognition and intervention can delay the onset of type 2 DM and prevent the long-term complications. School nurses have an essential role in implementing the American Diabetes Association (ADA)…

  15. Displacement Ventilation by Different Types of Diffusers

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

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

  16. Detecting Terrorism Incidence Type from News Summary

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

  17. Type 2 Diabetes: What Is It?

    ... 2-Year-Old Type 2 Diabetes: What Is It? KidsHealth > For Parents > Type 2 Diabetes: What Is It? Print A A A What's in this article? ... pancreas to make the hormone insulin and release it into the bloodstream. But in people with diabetes, ...

  18. Type 1 Diabetes: What Is It?

    ... 2-Year-Old Type 1 Diabetes: What Is It? KidsHealth > For Parents > Type 1 Diabetes: What Is It? Print A A A What's in this article? ... pancreas to make the hormone insulin and release it into the bloodstream. But in people with diabetes, ...

  19. Ynot: Depent Types for Imperative Programs

    Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avi

    2008-01-01

    We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. Coq already includes a powerful functional language that supports dependent types, but that language is limited to pure...

  20. Autonomous Duffing-Holmes Type Chaotic Oscillator

    Tamaševičius, A.; Bumelienė, S.; Kirvaitis, R.

    2009-01-01

    We have designed and built a novel Duffing type autonomous 3rd-order chaotic oscillator. In comparison with the common non-autonomous DuffingHolmes type oscillator the autonomous circuit has an internal positive feedback loop instead of an external periodic drive source. In addition...

  1. Luminescence dynamics in type-II GaAs/AlAs superlattices near the type-I to type-II crossover

    Langbein, Wolfgang Werner; Kalt, H.; Hvam, Jørn Märcher

    1996-01-01

    We report on a study of the time-resolved luminescence of type-II GaAs/AlAs superlattices near the type-I to type-II crossover. In spite of the slight type-II band alignment, the luminescence is dominated by the type-I transition. This is due to the inhomogeneous broadening of the type-I transiti...

  2. Wavelet transform element of SAW type

    LU Wenke; ZHU Changchun; LIU Qinghong; LIU Junhua

    2005-01-01

    This paper proposes to use substrate materials of small electromechanical coupling coefficient k2 (such as X-112YLiTaO3) to manufacture wavelet transform element of SAW type so as to reduce finger reflections, i.e. to reduce the error of wavelet transform element of SAW type. And it is concluded that the smaller the center frequency of the transmitting IDT of wavelet type, the smaller the error. We suggest to choose substrate material with electromechanical coupling coefficient smaller than that of X-112Y LiTaO3 in the manufacture of the transmitting IDTs of wavelet type and the receiving IDTs at center frequencies above 100MHZ, so as to reduce the errors of the transmitting IDTs of wavelet type and the receiving IDTs at center frequencies above 100MHZ.

  3. Moment distributions of phase-type

    Bladt, Mogens; Nielsen, Bo Friis

    2012-01-01

    -normal, Pareto and gamma distributions. We provide explicit representations for both the matrix-exponential class and for the phase-type distributions, where the latter class may also use the former representations, but for various reasons it is desirable to establish a phase-type representation when dealing......Both matrix-exponential and phase-type distributions have a number of important closure properties. Among those are the distributions of the age and residual life-time of a stationary renewal process with inter-arrivals of either type. In this talk we show that the spread, which is the sum...... of the age an residual life-time, is also phase-type distributed. Moreover, we give some explicit representations. The spread is known to have a first order moment distribution. If X is a positive random variable and ?i is its i'th moment, then the function fi(x) = xif(x)/?i is a density function...

  4. Human papillomavirus types and recurrent cervical warts

    Nuovo, G.J. (Columbia Presbyterian Medical Center, New York, NY (USA)); Pedemonte, B.M. (Harlem Hospital Medical Center, New York, NY (USA))

    1990-03-02

    The authors analyzed cervical intraepithelial neoplasias (CINs) detected after cryotherapy to determine if recurrence is associated with the same human papillomavirus (HPV) type found in the original lesion. Eight women had detectable HPV DNA in CINs that occurred after ablation of another CIN, and for each patient the HPV type in the pretreatment lesion was different from that in the CIN that appeared after cryotherapy. This compares with 12 women who had HPV detected in two or more CINs present at the same time, 11 of whom had the same HPv type noted. they concluded that although multiple, simultaneous CINs in a woman often contain the same HPV type, recurrent CINs that occur after cryotherapy contain an HPV type different from that present in the pretreatment lesion.

  5. Personality types of Chinese dental school applicants.

    Wu, Shengjun; Miao, Danmin; Zhu, Xia; Luo, Zhengxue; Liu, Xufeng

    2007-12-01

    This his article reports the findings of a study conducted to investigate the personality types of Chinese dental school applicants. The Chinese version of the Myers-Briggs Type Indicator (MBTI) (Form G) was used to assess the personality styles of 332 dental school applicants from the mainland of China. The results of the MBTI for Chinese dental school applicants were compared with a previous study of applicants from the U.K. A higher percentage of this group of Chinese applicants scored higher for Introversion (I) than Extroversion (E); both Chinese and English applicants preferred Judging (J) to Perceiving (P). The dominant personality types in Chinese applicants were ISTJ, ESTJ, and ISFP. The findings suggest that the personality types of Chinese dental students may be somewhat different from the personality profiles exhibited by dental students from other nations. The findings may be of value to individuals who desire to investigate personality type differences among dental students with different cultural backgrounds.

  6. Type I Planetary Migration with MHD Turbulence

    Laughlin, G; Adams, F; Laughlin, Gregory; Steinacker, Adriane; Adams, Fred

    2004-01-01

    This paper examines how type I planet migration is affected by the presence of turbulent density fluctuations in the circumstellar disk. For type I migration, the planet does not clear a gap in the disk and its secular motion is driven by torques generated by the wakes it creates in the surrounding disk fluid. MHD turbulence creates additional density perturbations that gravitationally interact with the planet and can dominate the torques produced by the migration mechanism itself. This paper shows that conventional type I migration can be readily overwhelmed by turbulent perturbations and hence the usual description of type I migration should be modified in locations where the magnetorotational instability is active. In general, the migrating planet does not follow a smooth inward trned, but rather exhibits a random walk through phase space. Our main conclusion is that MHD turbulence will alter the time scales for type I planet migration and -- because of chaos -- requires the time scales to be described by ...

  7. Cardiac involvement of progressive muscular dystrophy (Becker type, Limb-girdle type and Fukuyama type) evaluated by radionuclide method

    Nagamachi, Shigeki; Inoue, Kenjiro; Jinnouchi, Seishi; Hoshi, Hiroaki; Ono, Seiji; Ohnishi, Takashi; Futami, Shigemi; Watanabe, Katsushi; Hayashi, Tohru (Miyazaki Medical Coll., Kiyotake (Japan))

    1994-02-01

    Tl-201 SPECT and Tc-99m-Human serum albumin (HSA) multigated radionuclide ventriculography were performed on 11 patients with progressive muscular dystrophy (Becker type 2, Fukuyama type 2, Limb-girdle type 7) to evaluate myocardial involvement. Hypoperfusion was detected in 8 patients on Tl-201 SPECT. Decreases in both systolic function (left ventricular ejection fraction; LVEF) and diastolic function (peak filling rate; PFR) were also seen in these patients. A high incidence of myocardial involvement of these kinds of progressive muscular dystrophy was suggested. (author).

  8. Subtypes of batterers in treatment: empirical support for a distinction between type I, type II and type III.

    José Luis Graña

    Full Text Available This study explores the existence of different types of batterers in a sample of 266 men who had been court referred for intimate partner violence. The data collected in the assessment that have been used to perform a hierarchical and a two-step cluster analysis fall into three areas: aggression towards the partner, general aggression and presence of psychopathology and personality traits, more specifically, alcohol use, borderline and antisocial personality traits, psychopathy traits, state anger and trait anger, anger expression and control, anger, hostility, and, finally, impulsivity. The results show a typology consisting of 3 types of batterers on the basis of violence level and psychopathology: low (65%, moderate (27.8% and high (7.1%. This study provides empirical support for the development of batterer typologies. These typologies will help achieve early detection of different types of batterers, allowing us to tailor interventions on the basis of the needs of each of the types.

  9. Metabolic consequences of resistive-type exercise

    Dudley, G. A.

    1988-01-01

    This brief review concerns acute and chronic metabolic responses to resistive-type exercise (RTE) (i.e., Olympic/power weight lifting and bodybuilding). Performance of RTE presents power output substantially greater (10-15-fold) than that evident with endurance-type exercise. Accordingly, RTE relies heavily on the anaerobic enzyme machinery of skeletal muscle for energy supply, with alterations in the rate of aerobic metabolism being modest. Hydrolysis of high energy phosphate compounds (PC, ATP), glycogenolysis, and glycolysis are evident during an acute bout of RTE as indicated by metabolic markers in mixed fiber type skeletal muscle samples. The type of RTE probably influences the magnitude of these responses since the increase in blood lactate is much greater during a typical "bodybuilding" than "power lifting" session. The influence of RTE training on acute metabolic responses to RTE has received little attention. An individual's inherent metabolic characteristics are apparently sufficient to meet the energy demands of RTE as training of this type does not increase VO2max or substantially alter the content of marker enzymes in mixed fiber type skeletal muscle. Analyses of pools of fast- vs slow-twitch fibers, however, indicate that RTE-induced changes may be fiber type specific. Future studies should better delineate the metabolic responses to RTE and determine whether these are related to the enhanced performance associated with such training.

  10. [Chronic nicotinamide overload and type 2 diabetes].

    Zhou, Shi-Sheng; Li, Da; Zhou, Yi-Ming; Sun, Wu-Ping; Liu, Xing-Xing; Lun, Yong-Zhi

    2010-02-25

    Type 2 diabetes is a major global health problem. It is generally accepted that type 2 diabetes is the result of gene-environmental interaction. However, the mechanism underlying the interaction is unclear. Diet change is known to play an important role in type 2 diabetes. The fact that the global high prevalence of type 2 diabetes has occurred following the spread of food fortification worldwide suggests a possible involvement of excess niacin intake. Our recent study found that nicotinamide overload and low nicotinamide detoxification may induce oxidative stress associated with insulin resistance. Based on the relevant facts, this review briefly summarized the relationship between the prevalence of type 2 diabetes and the nicotinamide metabolism changes induced by excess niacin intake, aldehyde oxidase inhibitors, liver diseases and functional defects of skin. We speculate that the gene-environmental interaction in type 2 diabetes may be a reflection of the outcome of the association of chronic nicotinamide overload-induced toxicity and the relatively low detoxification/excretion capacity of the body. Reducing the content of niacin in foods may be a promising strategy for the control of type 2 diabetes.

  11. The five functions of psychological type.

    Myers, Steve

    2016-04-01

    From the mid-1930s to the end of his life, Jung complained that most readers misunderstood the main point of his book Psychological Types. He viewed being a type as one-sided and problematic for a variety of reasons. His symbol-based solution to the 'type problem' involved developing a transcendent function to become the new dominant function of consciousness. However, this function has not featured in the popular use of his typology and Isabel Briggs Myers believed that the one-sidedness of Jung's eight types could be balanced by the auxiliary function. This has led to the transcendent function being widely ignored, and to a developmental philosophy that encourages a degree of one-sidedness. This divergence of popular type theory and analytical psychology is the result of various factors, such as Jung describing typology as containing four functions, and a letter in 1950 where Jung apparently supported Myers' version of type theory. This hinders the application of analytical psychology to normal psychology, and particularly individual and cultural development. If we refer to Jung's typology as containing five functions not four, this more accurately represents both the content of the book Psychological Types and the primary value Jung saw in typology.

  12. Hardy-Type Inequalities on H-Type Groups and Anisotropic Heisenberg Groups

    Yongyang JIN

    2008-01-01

    The author obtains some weighted Hardy-type inequalities on H-type groups and anisotropic Heisenberg groups.These inequalities generalize some recent results due to N.Garofalo,E.Lanconelli,I.Kombe and P.Niu et al.

  13. Characterizations of Besov-Type and Triebel-Lizorkin-Type Spaces by Differences

    Douadi Drihem

    2012-01-01

    Full Text Available We present characterizations of the Besov-type spaces ,, and the Triebel-Lizorkin-type spaces ,, by differences. All these results generalize the existing classical results on Besov and Triebel-Lizorkin spaces by taking =0.

  14. Prediction of elders′ general health based on positive and negative perfectionism and type-D personality

    Reza Karaminia

    2013-01-01

    Conclusions: Positive perfectionism decreases mental disorder of the elders by creating optimistic attitudes and enhancing social functions. On the other hand, type-D personality, unlike positive perfectionism, makes elders susceptible to physical illness and mental disorder.

  15. Unified theory of type I and type II irregularities in the equatorial electrojet

    Sudan, R. N.

    1983-01-01

    A nonlinear unified theory of type I and II irregularities is presented that explains their principal observed characteristics. The power spectrum is predicted by using Kolmogoroff-type conservation law for the power flow in cascading eddies.

  16. Type inference, principal typings, and let-polymorphism for first-class mixin modules

    Makholm, Henning; Wells, J.B.

    2005-01-01

    A mixin module is a programming abstraction that simultaneously generalizes lambda-abstractions, records, and mutually recursive definitions. Although various mixin module type systems have been developed, no one has investigated principal typings or developed type inference for first-class mixin...... modules, nor has anyone added Milner's let-polymorphism to such a system. This paper proves that typability is NP-complete for the naive approach followed by previous mixin module type systems. Because a lambda-calculus extended with record concatenation is a simple restriction of our mixin module...... calculus, we also prove the folk belief that typability is NP-complete for the naive early type systems for record concatenation. To allow feasible type inference, we present Martini, a new system of simple types for mixin modules with principal typings. Martini is conceptually simple, with no subtyping...

  17. Youth with Type 2 Diabetes Develop Complications More Often Than Type 1 Peers

    ... February 28, 2017 Youth with type 2 diabetes develop complications more often than type 1 peers NIH, ... funded study finds many in both groups quickly develop kidney, nerve, eye diseases. Percentage of young adults ...

  18. PSO type-reduction method for geometric interval type-2 fuzzy logic systems

    ZHAO Xian-zhang; GAO Yi-bo; ZENG Jun-fang; YANG Yi-ping

    2008-01-01

    In a special case of type-2 fuzzy logic systems (FLS), i.e. geometric interval type-2 fuzzy logic sys-tems (GIT-2FLS), the crisp output is obtained by computing the geometric center of footprint of uncertainty (FOU) without type-reduction, but the defuzzifying method acts against the corner concepts of type-2 fuzzy sets in some cases. In this paper, a PSO type-reduction method for GIT-2FLS based on the particle swarm optimiza-tion (PSO) algorithm is presented. With the PSO type-reduction, the inference principle of geometric interval FLS operating on the continuous domain is consistent with that of traditional interval type-2 FLS operating on the discrete domain. With comparative experiments, it is proved that the PSO type-reduction exhibits good perform-ance, and is a satisfactory complement for the theory of GIT-2FLS.

  19. Strategies for improving patient safety: linking task type to error type.

    Mattox, Elizabeth Andersson

    2012-02-01

    This article reviews the connection between task type (skill based, rule based and knowledge based) and human error. Using real-life examples, each task type and error type is described in detail. Understanding how task type contributes to medical error enhances the ability of nurses to make meaningful changes in health care systems. Through error wisdom, nurses and other health care providers can more successfully navigate health care delivery and ultimately provide safer care to patients.

  20. SHAPING OF ACTION POTENTIALS BY TYPE I AND TYPE II BK CHANNELS

    Jaffe, David B.; Wang, Bin; Brenner, Robert

    2011-01-01

    The BK channel is a Ca2+ and voltage-gated conductance responsible for shaping action potential waveforms in many types of neurons. Type II BK channels are differentiated from type I channels by their pharmacology and slow gating kinetics. The β4 accessory subunit confers type II properties on BK α subunits. Empirically derived properties of BK channels, with and without the β4 accessory subunit, were obtained using a heterologous expression system under physiological ionic conditions. These ...

  1. Measures for Optimization of Aromatic-type and Gasoline-type CCR Technology

    Bao Wei

    2006-01-01

    This article based on the target products manufactured by the gasoline-type and aromatic-type continuous catalytic reforming (CCR) units makes an assessment on the technical indicators of these catalytic reforming units. This article also explores the technical measures for maximizing the target products delivered by the gasoline-type and aromatic-type CCR units with respect to the selection of catalysts, the optimization of feedstock and the optimized operating regime.

  2. Diabetic Nephropathy and Microalbuminuria in Pregnant Women With Type 1 and Type 2 Diabetes

    Damm, Julie Agner; Asbjörnsdóttir, Björg; Callesen, Nicoline Foged

    2013-01-01

    To evaluate the prevalence of diabetic nephropathy and microalbuminuria in pregnant women with type 2 diabetes in comparison with type 1 diabetes and to describe pregnancy outcomes in these women following the same antihypertensive protocol.......To evaluate the prevalence of diabetic nephropathy and microalbuminuria in pregnant women with type 2 diabetes in comparison with type 1 diabetes and to describe pregnancy outcomes in these women following the same antihypertensive protocol....

  3. Variable displacement alpha-type Stirling engine

    Homutescu, V. M.; Bălănescu, D. T.; Panaite, C. E.; Atanasiu, M. V.

    2016-08-01

    The basic design and construction of an alpha-type Stirling engine with on load variable displacement is presented. The variable displacement is obtained through a planar quadrilateral linkage with one on load movable ground link. The physico-mathematical model used for analyzing the variable displacement alpha-type Stirling engine behavior is an isothermal model that takes into account the real movement of the pistons. Performances and power adjustment capabilities of such alpha-type Stirling engine are calculated and analyzed. An exemplification through the use of the numerical simulation was performed in this regard.

  4. Alternative types of roundabouts an informational guide

    Tollazzi, Tomaž

    2015-01-01

    This book presents a history of roundabouts, an introduction to their design, calculations of their capacity and traffic-safety features. It describes the key features of standard roundabouts and their limitations. Alternative types of roundabouts are a fairly recent development and have only been implemented in a few countries to date. The book illustrates a broad variety of these recent alternative types of roundabouts, as well as proposed types still in the development phase, explaining for each the specific needs it meets, its advantages and drawbacks. In closing, the book offers an outlook on the role of roundabouts in future street traffic.

  5. Type material in the NCBI Taxonomy Database.

    Federhen, Scott

    2015-01-01

    Type material is the taxonomic device that ties formal names to the physical specimens that serve as exemplars for the species. For the prokaryotes these are strains submitted to the culture collections; for the eukaryotes they are specimens submitted to museums or herbaria. The NCBI Taxonomy Database (http://www.ncbi.nlm.nih.gov/taxonomy) now includes annotation of type material that we use to flag sequences from type in GenBank and in Genomes. This has important implications for many NCBI resources, some of which are outlined below.

  6. A note on Type II covolutional codes

    Johannesson, Rolf; Ståhl, Per; Wittenmark, Emma

    2000-01-01

    The result of a search for the world's second type II (doubly-even and self-dual) convolutional code is reported. A rate R=4/8, 16-state, time-invariant, convolutional code with free distance dfree=8 was found to be type II. The initial part of its weight spectrum is better than that of the Golay convolutional code (GCC). Generator matrices and path weight enumerators for some other type II convolutional codes are given. By the “wrap-around” technique tail-biting versions of (32, 18, 8) T...

  7. Galaxy luminosity function and the morphological type

    Martinez-Gonzalez, E.; Sanz, J.L.

    1988-09-01

    The morphological luminosity function is obtained assuming that galaxies form only at high-density regions with the matter distribution represented by a filtered Gaussian random field. The results obtained for cold dark matter spectra (adiabatic and isocurvature fluctuations) with Omega = 1 are compared with observations for galaxies of different Hubble types, finding that both scenarios provide distributions that are close to the observations for global thresholds between the values of 2.5 and 3 and standard mass-luminosity ratios for each type. In every case, a bell-shaped luminosity function was found, which looks similar for each morphological type but differing in the mean luminosity. 33 references.

  8. Does Negative Type Characterize the Round Sphere?

    Kokkendorff, Simon Lyngby

    2007-01-01

    We discuss the measure theoretic metric invariants extent, mean distance and symmetry ratio and their relation to the concept of negative type of a metric space. A conjecture stating that a compact Riemannian manifold with symmetry ratio 1 must be a round sphere, was put forward in a previous paper....... We resolve this conjecture in the class of Riemannian symmetric spaces by showing, that a Riemannian manifold with symmetry ratio 1 must be of negative type and that the only compact Riemannian symmetric spaces of negative type are the round spheres....

  9. Somatotype in Elderly Type 2 Diabetes Patients

    Buffa, Roberto; Floris, Giovanni; F. Putzu, Paolo; Carboni, Luciano; Marini, Elisabetta

    2007-01-01

    Somatotyping is a practical technique for the description of physique. Individuals with Type 2 diabetes are characterized by physical peculiarities, such as overweight, obesity and a central pattern of body fat distribution. Somatotype applications to diabetes are limited. The objective of this study is to describe the somatotype of elderly type 2 diabetes patients. The sample consisted of 110 patients with type 2 diabetes (45 men, mean age 69.4±7.0 years; 65 women, mean age 72.9±...

  10. Type A behavior pattern and escalating commitment.

    Schaubroeck, J; Williams, S

    1993-10-01

    Subjects (N = 98) were randomly assigned to high- and low-responsibility conditions in a commitment-escalation experiment. Global Type A behavior pattern and the underlying dimension of achievement strivings were positively related to the desire to continue the same course of action in the high prior-responsibility condition but not in the low prior-responsibility condition. These findings are discussed in terms of future research into the judgment processes of people with Type A personality and the possible role of escalating commitment in disorders experienced by people with Type A personality.

  11. Dietary Sodium Intake in Type 2 Diabetes.

    Provenzano, Laura Ferreira; Stark, Sue; Steenkiste, Ann; Piraino, Beth; Sevick, Mary Ann

    2014-07-01

    Patients with type 2 diabetes have an increased risk for cardiovascular and chronic kidney disease. Superimposed hypertension further increases the risk and is associated with increased dietary sodium intake. There are few data available on dietary sodium intake in type 2 diabetes. The aim of this study was to quantify dietary sodium intake in a cohort of self-referred patients with type 2 diabetes and to identify sociodemographic characteristics associated with it. Sodium intake in this cohort was far greater than current recommendations. Increased awareness of sodium intake in this population might lead to target interventions to reduce sodium intake and potentially improve long-term outcomes.

  12. Aerosol typing - key information from aerosol studies

    Mona, Lucia; Kahn, Ralph; Papagiannopoulos, Nikolaos; Holzer-Popp, Thomas; Pappalardo, Gelsomina

    2016-04-01

    Aerosol typing is a key source of aerosol information from ground-based and satellite-borne instruments. Depending on the specific measurement technique, aerosol typing can be used as input for retrievals or represents an output for other applications. Typically aerosol retrievals require some a priori or external aerosol type information. The accuracy of the derived aerosol products strongly depends on the reliability of these assumptions. Different sensors can make use of different aerosol type inputs. A critical review and harmonization of these procedures could significantly reduce related uncertainties. On the other hand, satellite measurements in recent years are providing valuable information about the global distribution of aerosol types, showing for example the main source regions and typical transport paths. Climatological studies of aerosol load at global and regional scales often rely on inferred aerosol type. There is still a high degree of inhomogeneity among satellite aerosol typing schemes, which makes the use different sensor datasets in a consistent way difficult. Knowledge of the 4d aerosol type distribution at these scales is essential for understanding the impact of different aerosol sources on climate, precipitation and air quality. All this information is needed for planning upcoming aerosol emissions policies. The exchange of expertise and the communication among satellite and ground-based measurement communities is fundamental for improving long-term dataset consistency, and for reducing aerosol type distribution uncertainties. Aerosol typing has been recognized as one of its high-priority activities of the AEROSAT (International Satellite Aerosol Science Network, http://aero-sat.org/) initiative. In the AEROSAT framework, a first critical review of aerosol typing procedures has been carried out. The review underlines the high heterogeneity in many aspects: approach, nomenclature, assumed number of components and parameters used for the

  13. Charting improvements in US registry HLA typing ambiguity using a typing resolution score.

    Paunić, Vanja; Gragert, Loren; Schneider, Joel; Müller, Carlheinz; Maiers, Martin

    2016-07-01

    Unrelated stem cell registries have been collecting HLA typing of volunteer bone marrow donors for over 25years. Donor selection for hematopoietic stem cell transplantation is based primarily on matching the alleles of donors and patients at five polymorphic HLA loci. As HLA typing technologies have continually advanced since the beginnings of stem cell transplantation, registries have accrued typings of varied HLA typing ambiguity. We present a new typing resolution score (TRS), based on the likelihood of self-match, that allows the systematic comparison of HLA typings across different methods, data sets and populations. We apply the TRS to chart improvement in HLA typing within the Be The Match Registry of the United States from the initiation of DNA-based HLA typing to the current state of high-resolution typing using next-generation sequencing technologies. In addition, we present a publicly available online tool for evaluation of any given HLA typing. This TRS objectively evaluates HLA typing methods and can help define standards for acceptable recruitment HLA typing.

  14. The Type 3 copper site is intact but labile in Type 2-depleted laccase

    Frank, P; Farver, O; Pecht, I

    1983-01-01

    We report results of experiments designed to characterize the Type 1 and Type 3 copper sites in Rhus laccase depleted of Type 2 copper (T2D). Use of the Lowry method for determining protein concentration yielded the value 5620 +/- 570 M-1 cm-1 for the extinction of the 615-nm absorption band...

  15. Thinking about gender types: Cognitive organization of female and male types

    Vonk, R.; Ashmore, R.D.

    2003-01-01

    We examined the content and dimensional structure of a large and representative sample of gender types. In Study 1, using an open-ended procedure, participants generated 306 different labels for female types (e.g. housewife, feminist, femme fatale, secretary, slob) and 310 for male types (e.g. worka

  16. Type inference, principal typings, and let-polymorphism for first-class mixin modules

    Makholm, Henning; Wells, J. B.

    2005-01-01

    A mixin module is a programming abstraction that simultaneously generalizes lambda-abstractions, records, and mutually recursive definitions. Although various mixin module type systems have been developed, no one has investigated principal typings or developed type inference for first-class mixin...

  17. The brass-type texture and its deviation from the copper-type texture

    Leffers, Torben; Ray, R.K.

    2009-01-01

    -type texture. However, since there is by now reasonable agreement about the description of and the explanation for the development of the copper-type texture (though not about all the details), we have chosen to focus on the brass-type texture for which there is no such general agreement. First we introduce...

  18. Foundation for Ichthyosis & Related Skin Types

    ... Who is FIRST? Discover all the benefits of connecting with the Foundation for Ichthyosis and Related Skin Types (FIRST). Listen to what affected families, individual patients, and the medical community have to ...

  19. Approximation by max-product type operators

    Bede, Barnabás; Gal, Sorin G

    2016-01-01

    This monograph presents a broad treatment of developments in an area of constructive approximation involving the so-called "max-product" type operators. The exposition highlights the max-product operators as those which allow one to obtain, in many cases, more valuable estimates than those obtained by classical approaches. The text considers a wide variety of operators which are studied for a number of interesting problems such as quantitative estimates, convergence, saturation results, localization, to name several. Additionally, the book discusses the perfect analogies between the probabilistic approaches of the classical Bernstein type operators and of the classical convolution operators (non-periodic and periodic cases), and the possibilistic approaches of the max-product variants of these operators. These approaches allow for two natural interpretations of the max-product Bernstein type operators and convolution type operators: firstly, as possibilistic expectations of some fuzzy variables, and secondly,...

  20. Validity of Type D personality in Iceland

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

    2012-01-01

    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...... is a valid personality construct in Iceland, and is associated with health-related risk markers, but not cardiac disease severity....

  1. Exercise therapy in Type 2 diabetes

    S.F.E. Praet (Stephan); L.J.C. van Loon (Luc)

    2009-01-01

    textabstractStructured exercise is considered an important cornerstone to achieve good glycemic control and improve cardiovascular risk profile in Type 2 diabetes. Current clinical guidelines acknowledge the therapeutic strength of exercise intervention. This paper reviews the wide pathophysiologica

  2. Cardiorenal syndrome type 4: a review.

    Clementi, Anna; Virzì, Grazia Maria; Goh, Ching Yan; Cruz, Dinna N; Granata, Antonio; Vescovo, Girogio; Ronco, Claudio

    2013-04-01

    There is a bidirectional and complex relationship between the heart and kidneys. This interaction is physical, chemical as well as biological and is also reflected in a strong connection between renal and cardiovascular diseases. Cardiorenal syndrome type 4 (CRS type 4) is characterized by primary chronic kidney disease (CKD) leading to an impairment of cardiac function, with ventricular hypertrophy, diastolic dysfunction, and/or increased risk of adverse cardiovascular events. The incidence of CKD is increasing, and CRS type 4 is becoming a major public health problem associated with a high morbidity and mortality. In this study, we briefly review the epidemiology and pathophysiology of CRS type 4, the role of biomarkers in its early identification, and its management.

  3. Maculopathy and spinocerebellar ataxia type 1

    Lebranchu, Pierre; Le Meur, Guylène; Magot, Armelle

    2013-01-01

    Autosomal dominant cerebellar ataxia is a rare heterogeneous group of diseases characterized by cerebellar symptoms, often associated with other multisystemic signs. Mild optic neuropathy has been associated with spinocerebellar ataxia type 1 (SCA1), but macular dysfunction has been reported...

  4. Types of Cancer Treatment: Hormone Therapy

    Describes how hormone therapy slows or stops the growth of breast and prostate cancers that use hormones to grow. Includes information about the types of hormone therapy and side effects that may happen.

  5. Defining Photometric Peculiar Type Ia Supernovae

    Gonzalez-Gaitan, S; Pignata, G; Forster, F; Gutierrez, C P; Bufano, F; Galbany, L; Folatelli, G; Phillips, M M; Hamuy, M; Anderson, J P; de Jaeger, T

    2014-01-01

    We present a new photometric identification technique for SN 1991bg-like type Ia supernovae (SNe Ia), i.e. objects with light-curve characteristics such as later primary maxima and absence of secondary peak in redder filters. This method is capable of selecting out this sub-group from the normal type Ia population. Furthermore, we find that recently identified peculiar sub-types such as SNe Iax and super-Chandrasekhar SNe Ia have similar photometric characteristics as 91bg-like SNe Ia, namely the absence of secondary maxima and shoulders at longer wavelengths, and can also be classified with our technique. The similarity of these different SN Ia sub-groups perhaps suggests common physical conditions. This typing methodology permits the photometric identification of peculiar SNe Ia in large up-coming wide field surveys either to study them further or to obtain a pure sample of normal SNe Ia for cosmological studies.

  6. Defining photometric peculiar type Ia supernovae

    González-Gaitán, S.; Pignata, G.; Förster, F.; Gutiérrez, C. P.; Bufano, F.; Galbany, L.; Hamuy, M.; De Jaeger, T. [Millennium Institute of Astrophysics, Casilla 36-D, Santiago (Chile); Hsiao, E. Y.; Phillips, M. M. [Carnegie Observatories, Las Campanas Observatory, Casilla 601, La Serena (Chile); Folatelli, G. [Kavli Institute for the Physics and Mathematics of the Universe, the University of Tokyo, Kashiwa 277-8583 (Kavli IPMU, WPI) (Japan); Anderson, J. P., E-mail: sgonzale@das.uchile.cl [European Southern Observatory, Alonso de Córdova 3107, Casilla 19, Santiago (Chile)

    2014-11-10

    We present a new photometric identification technique for SN 1991bg-like type Ia supernovae (SNe Ia), i.e., objects with light curve characteristics such as later primary maxima and the absence of a secondary peak in redder filters. This method is capable of selecting this sub-group from the normal type Ia population. Furthermore, we find that recently identified peculiar sub-types such as SNe Iax and super-Chandrasekhar SNe Ia have photometric characteristics similar to 91bg-like SNe Ia, namely, the absence of secondary maxima and shoulders at longer wavelengths, and can also be classified with our technique. The similarity of these different SN Ia sub-groups perhaps suggests common physical conditions. This typing methodology permits the photometric identification of peculiar SNe Ia in large upcoming wide-field surveys either to study them further or to obtain a pure sample of normal SNe Ia for cosmological studies.

  7. Fast Food Combos Make Type A Lunches

    Stashower, Gloria

    1974-01-01

    Clark County school district in Las Vegas, Nevada, has combination lunches available for high school students that meet Type A nutrition requirements but which resemble the commercial fast food menus teenagers prefer. (MLF)

  8. Mechanism for Burgess Shale-type preservation

    Gaines, Robert R.; Hammarlund, Emma U.; Hou, Xianguang;

    2012-01-01

    Exceptionally preserved fossil biotas of the Burgess Shale and a handful of other similar Cambrian deposits provide rare but critical insights into the early diversification of animals. The extraordinary preservation of labile tissues in these geographically widespread but temporally restricted...... soft-bodied fossil assemblages has remained enigmatic since Walcott's initial discovery in 1909. Here, we demonstrate the mechanism of Burgess Shale-type preservation using sedimentologic and geochemical data from the Chengjiang, Burgess Shale, and five other principal Burgess Shale-type deposits......, provided by bed-capping cements that were emplaced at the seafloor, is a feature that is shared among Burgess Shale-type deposits, and resulted from the unusually high alkalinity of Cambrian oceans. Thus, Burgess Shale-type preservation of soft-bodied fossil assemblages worldwide was promoted by unique...

  9. Genetics Home Reference: type 1 diabetes

    ... or Free article on PubMed Central Morahan G. Insights into type 1 diabetes provided by genetic analyses. ... healthcare professional . About Genetics Home Reference Site Map Customer Support Selection Criteria for Links USA.gov Copyright ...

  10. A review of type Ia supernova spectra

    Parrent, J; Parthasarathy, M

    2014-01-01

    SN 2011fe was the nearest and best-observed type Ia supernova in a generation, and brought previous incomplete datasets into sharp contrast with the detailed new data. In retrospect, documenting spectroscopic behaviors of type Ia supernovae has been more often limited by sparse and incomplete temporal sampling than by consequences of signal-to-noise ratios, telluric features, or small sample sizes. As a result, type Ia supernovae have been primarily studied insofar as parameters discretized by relative epochs and incomplete temporal snapshots near maximum light. Here we discuss a necessary next step toward consistently modeling and directly measuring spectroscopic observables of type Ia supernova spectra. In addition, we analyze current spectroscopic data in the parameter space defined by empirical metrics, which will be relevant even after progenitors are observed and detailed models are refined.

  11. LANDFIRE (90m) Existing Vegetation Type

    U.S. Geological Survey, Department of the Interior — This map depicts the distribution of existing vegetation types contained in the LANDFIRE dataset. All 30-meter EVT grids were resampled to 90-meter grids and merged...

  12. [Acatalasemia and type 2 diabetes mellitus].

    Góth, László; Nagy, Teréz; Káplár, Miklós

    2015-03-08

    The catalase enzyme decomposes the toxic concentrations of hydrogen peroxide into oxygen and water. Hydrogen peroxide is a highly reactive small molecule and its excessive concentration may cause significant damages to proteins, deoxyribonucleic acid, ribonucleic acid and lipids. Acatalasemia refers to inherited deficiency of the catalase enzyme. In this review the authors discuss the possible role of the human catalase enzyme, the metabolism of hydrogen peroxide, and the phenomenon of hydrogen peroxide paradox. In addition, they review data obtained from Hungarian acatalasemic patients indicating an increased frequency of type 2 diabetes mellitus, especially in female patients, and an early onset of type 2 diabetes in these patients. There are 10 catalase gene variants which appear to be responsible for decreased blood catalase activity in acatalasemic patients with type 2 diabetes. It is assumed that low levels of blood catalase may cause an increased concentration of hydrogen peroxide which may contribute to the pathogenesis of type 2 diabetes mellitus.

  13. Mortality rate in type 2 myocardial infarction

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

    2014-01-01

    , all hospitalized patients having cardiac troponin I measured were considered. The diagnosis of a myocardial infarction was according to the universal definition, and specified criteria were used in the classification of type 2 myocardial infarction. Follow-up was at least 1 year, with mortality......BACKGROUND: The classification of myocardial infarction into 5 types was introduced in 2007. The prognostic impact of this universal definition, with particular focus on type 2 myocardial infarction, has not been studied prospectively in unselected hospital patients. METHODS: During a 1-year period...... as the end point. RESULTS: A total of 3762 consecutive patients were studied, of whom 488 (13%) had a myocardial infarction. In 119 patients a type 2 myocardial infarction was diagnosed. After a median of 2.1 years (interquartile range, 1.6-2.5 years), 150 patients had died, with a mortality rate of 49% (58...

  14. Type B Aortic Dissection: Management Updates

    Naghmeh Moshtaghi

    2009-12-01

    Full Text Available Acute aortic dissection (AAD is the most frequent catastrophic event of the aorta; it occurs nearly three times as frequently as the rupture of abdominal aortic aneurysm. Sixty percent of dissection cases are classified as proximal or type A and 40% as distal or type B, according to the Stanford Classification. The most frequent causes of death in acute type B dissection are aortic rupture and malperfusion syndrome.We herein review recent data suggesting different management modalities of type B aortic dissection, including medical, surgical, and endovascular treatments. Although medical therapy is still the standard approach in uncomplicated cases, there are subgroups of patients who may benefit from endovascular management. Endovascular techniques or surgery are valuable options for complicated cases. Hybrid suites, multidisciplinary approaches, and good imaging techniques can be considered as the key to success in this regard.

  15. Immediate-type hypersensitivity to polyethylene glycols

    Wenande, E; Garvey, L H

    2016-01-01

    Polyethylene glycols (PEGs) or macrogols are polyether compounds widely used in medical and household products. Although generally considered biologically inert, cases of mild to life-threatening immediate-type PEG hypersensitivity are reported with increasing frequency. Nevertheless, awareness...

  16. Human intestinal microbiota and type 1 diabetes.

    Vaarala, Outi

    2013-10-01

    The role of intestinal microbiota in immune-mediated diseases, such as type 1 diabetes, has deservedly received a lot of attention. Evidently, changes in the intestinal microbiota are associated with type 1 diabetes as demonstrated by recent studies. Children with beta-cell autoimmunity have shown low abundance of butyrate-producing bacteria and increase in the abundance of members of the Bacteroidetes phylum in fecal microbiota. These alterations could explain increased gut permeability, subclinical small intestinal inflammation, and dysregulation of oral tolerance in type 1 diabetes. However, these studies do not provide evidence of the causative role of the gut microbiota in the development of beta-cell autoimmunity, yet. In animal models, the composition of gut microbiota modulates the function of both innate and adaptive immunity, and intestinal bacteria are regulators of autoimmune diabetes. Thus, prevention of type 1 diabetes could, in the future, be based on the interventions targeted to the gut microbiota.

  17. Structures, Mixed Types - Residual Waste Operations

    NSGIC GIS Inventory (aka Ramona) — A Residual Waste Operation is a DEP primary facility type related to the Waste Management Residual Waste Program. Residual waste is waste generated at an industrial,...

  18. CATS Aerosol Typing and Future Directions

    McGill, Matt; Yorks, John; Scott, Stan; Palm, Stephen; Hlavka, Dennis; Hart, William; Nowottnick, Ed; Selmer, Patrick; Kupchock, Andrew; Midzak, Natalie; Trepte, Chip; Vaughan, Mark; Colarco, Peter; da Silva, Arlindo

    2016-01-01

    The Cloud Aerosol Transport System (CATS), launched in January of 2015, is a lidar remote sensing instrument that will provide range-resolved profile measurements of atmospheric aerosols and clouds from the International Space Station (ISS). CATS is intended to operate on-orbit for at least six months, and up to three years. Status of CATS Level 2 and Plans for the Future:Version. 1. Aerosol Typing (ongoing): Mode 1: L1B data released later this summer; L2 data released shortly after; Identify algorithm biases (ex. striping, FOV (field of view) biases). Mode 2: Processed Released Currently working on correcting algorithm issues. Version 2 Aerosol Typing (Fall, 2016): Implementation of version 1 modifications Integrate GEOS-5 aerosols for typing guidance for non spherical aerosols. Version 3 Aerosol Typing (2017): Implementation of 1-D Var Assimilation into GEOS-5 Dynamic lidar ratio that will evolve in conjunction with simulated aerosol mixtures.

  19. Earth Abundant Element Type I Clathrate Phases

    Susan M. Kauzlarich

    2016-08-01

    Full Text Available Earth abundant element clathrate phases are of interest for a number of applications ranging from photovoltaics to thermoelectrics. Silicon-containing type I clathrate is a framework structure with the stoichiometry A8-xSi46 (A = guest atom such as alkali metal that can be tuned by alloying and doping with other elements. The type I clathrate framework can be described as being composed of two types of polyhedral cages made up of tetrahedrally coordinated Si: pentagonal dodecahedra with 20 atoms and tetrakaidecahedra with 24 atoms in the ratio of 2:6. The cation sites, A, are found in the center of each polyhedral cage. This review focuses on the newest discoveries in the group 13-silicon type I clathrate family: A8E8Si38 (A = alkali metal; E = Al, Ga and their properties. Possible approaches to new phases based on earth abundant elements and their potential applications will be discussed.

  20. Intensive integrated therapy of type 2 diabetes

    Gaede, Peter; Pedersen, Oluf

    2004-01-01

    effects on long-term outcome. The results from these studies are anticipated to change the future management of type 2 diabetes, and most of the updated national guidelines for the treatment of type 2 diabetes recommend a multipronged approach driven by ambitious treatment targets. The outcome...... of this intensive integrated therapy has, however, only been investigated in a few studies of patients with type 2 diabetes. One of these trials, the Steno-2 Study, showed that intensive intervention for an average of 7.8 years cuts cardiovascular events as well as nephropathy, retinopathy, and autonomic neuropathy......The macro- and microvascular burden of type 2 diabetes is well established. A number of recent single risk factor intervention trials targeting hyperglycemia, dyslipidemia, hypertension, procoagulation, microalbumuria, and existing cardiovascular disorders have, however, shown major beneficial...

  1. Stability of Jungck-type iterative procedures

    S. L. Singh

    2005-01-01

    Full Text Available We introduce and discuss the stability of Jungck and Jungck-Mann iterative procedures for a pair of Jungck-Osilike-type maps on an arbitrary set with values in a metric or linear metric space.

  2. Tension-Type and Other Primary Headaches

    J Gordon Millichap

    2005-12-01

    Full Text Available A review of the literature on tension-type and other “nonmigrainous” primary headaches is presented from Children’s Hospital of the King’s Daughters, Eastern Virginia Medical School, Norfolk, VA.

  3. Development of Osaka gas type planar SOFC

    Iha, M.; Shiratori, A.; Chikagawa, O. [Murata Mfg. Co., Ltd., Shiga (Japan)] [and others

    1996-12-31

    Osaka Gas Co. has been developing a planar type SOFC (OG type SOFC) which has a suitable structure for stacking. Murata Mfg. Co. has begun to develop the OG type SOFC stack through joint program since 1993. Figure 1 shows OG type cell structure. Because each cell is sustained by cell holders acting air manifold, the load of upper cell is not put on the lower cells. Single cell is composed of 3-layered membrane and LaCrO{sub 3} separator. 5 single cells are mounted on the cell holder, connected with Ni felt electrically, and bonded by glassy material sealant. We call the 5-cell stack a unit. Stacking 13 units, we succeeded 870 W generation in 1993. But the power density was low, 0.11 Wcm{sup -2} because of crack in the electrolyte and gas leakage at some cells.

  4. Types of Multi-Level Governance

    Gary Marks

    2001-10-01

    Full Text Available The reallocation of authority upwards, downwards, and sideways from central states has drawn attention from a growing number of scholars in the social sciences. Yet beyond the bedrock agreement that governance has become (and should be multi-level, there is no convergence about how it should be organized. This paper draws on various literatures in distinguishing two types of multi-level governance. One type conceives of dispersion of authority to multi-task, territorially mutually exclusive jurisdictions in a relatively stable system with limited jurisdictional levels and a limited number of units. A second type of governance pictures specialized, territorially overlapping jurisdictions in a relatively flexible, non-tiered system with a large number of jurisdictions. We find that both types co-exist in different locations, and we explain some facets of this co-existence.

  5. ADPKD: Prototype of Cardiorenal Syndrome Type 4

    Grazia Maria Virzì

    2011-01-01

    Full Text Available The cardiorenal syndrome type 4 (Chronic Renocardiac Syndrome is characterized by a condition of primary chronic kidney disease (CKD that leads to an impairment of the cardiac function, ventricular hypertrophy, diastolic dysfunction, and/or increased risk of adverse cardiovascular events. Clinically, it is very difficult to distinguish between CRS type 2 (Chronic Cardiorenal Syndrome and CRS type 4 (Chronic Renocardiac Syndrome because often it is not clear whether the primary cause of the syndrome depends on the heart or the kidney. Autosomal dominant polycystic kidney disease (ADPKD, a genetic disease that causes CKD, could be viewed as an ideal prototype of CRS type 4 because it is certain that the primary cause of cardiorenal syndrome is the kidney disease. In this paper, we will briefly review the epidemiology of ADPKD, conventional and novel biomarkers which may be useful in following the disease process, and prevention and treatment strategies.

  6. A Type System for Dynamic Web Documents

    Schwartzbach, Michael Ignatieff; Sandholm, Anders

    2000-01-01

    Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes the interaction by submitting data through incorporated form fields. This protocol is difficult to statically type......-check if the dynamic documents are created by arbitrary script code using printf-like statements. Previous proposals have suggested using static document templates which trades flexibility for safety. We propose a notion of typed, higher-order templates that simultaneously achieve flexibility and safety. Our type...... system is based on a flow analysis of which we prove soundness. We present an efficient runtime implementation that respects the semantics of only well-typed programs. This work is fully implemented as part of the system for defining interactive Web services....

  7. NEURODEGENERATION WITH IRON ACCUMULATION TYPE1

    Shrikhande D Y

    2010-03-01

    Full Text Available Neurodegeneration with iron accumulation type 1 is a rare degenerative disorder presenting with dementia and progressive extrapyramidal dysfunction. A 10 yrs old girl reported with complaints of difficulty in speech and involuntary movements. MRI Brain showed ‘eye of tiger appearance’ which is suggestive of neurodegeneration with iron accumulation type 1. Treatment is symptomatic and chelating agents have no effect. The disease is progressivelyfatal

  8. Introducing Types into Elementary Formal Systems

    Kiwata, Kazuhiro; Arikawa, Setsuo

    1994-01-01

    The elementary formal systems (EFS's for short) work as a theoretical basis in the various fields of computer science such as formal language theory, programming semantics, machine learning and so on. In this paper, we first define proof figures which illustrate proofs of EFS and show standard proof figures for ground atoms which are distinctive in the usage of inference rules. Then we formalize typed EFS, which is a natural extension of EFS obtained by replacing variables by typed variables ...

  9. Immunomodulatory functions of type I interferons

    González-Navajas, José M.; Lee, Jongdae; David, Michael; Raz, Eyal

    2012-01-01

    Interferon-α (IFNα) and IFNβ, collectively known as type I IFNs, are the major effector cytokines of the host immune response against viral infections. However, the production of type I IFNs is also induced in response to bacterial ligands of innate immune receptors and/or bacterial infections, indicating a broader physiological role for these cytokines in host defence and homeostasis than was originally assumed. The main focus of this Review is the underappreciated immunomodulatory functions...

  10. Symmetric Lévy Type Operator

    Jian WANG

    2009-01-01

    The study of symmetric property in the L2-sense for the non-positive definite operator is motivated by the theory of probability and analysis. This paper presents some sufficient conditions for the existence of symmetric measure for Lévy type operator. Some new examples are illustrated. The present study is an important step for considering various ergodic properties and functional inequalities of Lévy type operator.

  11. Dynamic simulation of flywheel-type fuses

    Editorial Office

    1996-01-01

    Rounds of ammunition are normally armed with a fuse. In this study, a fuse is developed which uses a flywheel-type mechanism controlled by time or distance. Due to its simplicity of operation and construction, the concept is expected to have high reliabil­ity. The dynamic response of all the components of this flywheel-type fuse is mathematically modelled. Simulation software was developed which connects the mathematical models of the various components. With the definition of boundary value...

  12. Operator Inequalities of Ostrowski and Trapezoidal Type

    Dragomir, Silvestru Sever

    2012-01-01

    Inequalities of Ostrowski and Trapezoidal Type for Functions of Selfadjoint Operators on Hilbert Spaces presents recent results concerning Ostrowski and Trapezoidal type inequalities for continuous functions of bounded Selfadjoint operators on complex Hilbert spaces. The first chapter recalls some fundamental facts concerning bounded Selfadjoint operators on complex Hilbert spaces. The generalized Schwarz's inequality for positive Selfadjoint operators as well as some results for the spectrum of this class of operators are presented. The author also introduces and explores the fundamental resu

  13. Intrafusal muscle fibre types in frog spindles.

    Diwan, F H; Ito, F

    1989-04-01

    Muscle spindles from bullfrog semitendinosus, iliofibularis and sartorius muscles were examined with light and electron microscopy. Four types of intrafusal muscle fibre were identified according to their diameter, central nucleation and reticular zone arrangement: a large nuclear bag fibre, a medium nuclear bag fibre, and two types of small nuclear chain fibres with and without a reticular zone, respectively. It is suggested that they are comparable to the nuclear bag1, bag2 and chain fibres in mammalian muscle spindles.

  14. Intrafusal muscle fibre types in frog spindles.

    Diwan, F H; Ito, F

    1989-01-01

    Muscle spindles from bullfrog semitendinosus, iliofibularis and sartorius muscles were examined with light and electron microscopy. Four types of intrafusal muscle fibre were identified according to their diameter, central nucleation and reticular zone arrangement: a large nuclear bag fibre, a medium nuclear bag fibre, and two types of small nuclear chain fibres with and without a reticular zone, respectively. It is suggested that they are comparable to the nuclear bag1, bag2 and chain fibres...

  15. Diabetes in young: Beyond type 1

    Anju Virmani

    2012-01-01

    Full Text Available Although majority of diabetes in children is type1 diabetes, childhood type2 diabetes prevalence is rapidly increasing due to changing lifestyle. Most patients can be definitely grouped into either of the two but some present diagnostic difficulty due to overlapping and non specific clinical features and laboratory findings. MODY and several other diseases affecting the pancreas also result in childhood diabetes. Treatment of diabetes in children presents unique challenges and primary prevention is of prime importance.

  16. [Cell therapy for type I diabete].

    Sokolova, I B

    2009-01-01

    Cell therapy is a modern and promising approach to type I diabetes mellitus treatment. Nowadays a wide range of cells is used in laboratory experiments and clinical studies, including allogeneic and xenogeneic cells of Langergance islets, bone marrow cells, haematopoietic stem cells, mesenchymal stem cells, and cord blood stem cells. Any type of the cells named could correct the status of the patients to a certain extent. However, full recovery after cell therapy has not been achieved yet.

  17. Metabolic surgery - cure for type 2 diabetes

    Zeve,Jorge Luiz de Mattos; Tomaz, Carlos Alberto Bezerra

    2011-01-01

    ABSTRACT INTRODUCTION: Type 2 diabetes is a metabolic disease characterized by chronic hyperglycemia associated with several organs damage and failure. It is the most common cause of blindness, amputation and kidney failure in western adults, besides increase the risk of coronary disease and stroke with high mortality of patients. The association of type 2 diabetes with obesity is really significant. Obese diabetic patients had a better glucose control after bariatric surgery even prior to...

  18. Fermionic cosmologies with Yukawa type interactions

    Ribas, Marlos O; Kremer, Gilberto M

    2010-01-01

    In this work we discuss if fermionic sources could be responsible for accelerated periods in a Friedmann-Robertson-Walker spatially flat universe, including a usual self-interaction potential of the Nambu-Jona-Lasinio type together with a fermion-scalar interaction potential of the Yukawa type. The results show that the combination of these potentials could promote an initially accelerated period, going through a middle decelerated era, with a final eternal accelerated period, where the self-interaction contribution dominates.

  19. Acrocephalopolysyndactyly, type Noack, in a large kindred.

    Robinow, M; Sorauf, T J

    1975-01-01

    ACS was highly variable in this family. At least one affected member could have passed as uninvolved. Others could have been assigned to ACS types III, IV or V. The current classification is probably sound, but great caution is needed to assign individual cases of ACS to any group other than ACS types I or II or the Carpenter syndrome. The great variability of ACS has obvious implications for genetic counseling.

  20. Black holes and groups of type 7

    Sergio Ferrara; Alessio Marrani

    2012-06-01

    We report some results on the relation between extremal black holes in locally supersymmetric theories of gravity and groups of type 7, appearing as generalized electric-magnetic duality symmetries in such theories. Some basics on the covariant approach to the stratification of the relevant symplectic representation are reviewed, along with a connection between special Kähler geometry and a ‘generalization’ of groups of type 7.

  1. Boosted Decision Trees for Lithiasis Type Identification

    Boutalbi Rafika; Farah Nadir; Chitibi Kheir Eddine; Boutefnouchet; Tanougast Camel

    2015-01-01

    Several urologic studies showed that it was important to determine the lithiasis types, in order to limit the recurrence residive risk and the renal function deterioration. The difficult problem posed by urologists for classifying urolithiasis is due to the large number of parameters (components, age, gender, background ...) taking part in the classification, and hence the probable etiology determination. There exist 6 types of urinary lithiasis which are distinguished according to their comp...

  2. Finite Metric Spaces of Strictly Negative Type

    Hjorth, Poul; Lisonek, P.; Markvorsen, Steen

    1998-01-01

    We prove that, if a finite metric space is of strictly negative type, then its transfinite diameter is uniquely realized by the infinite extender (load vector). Finite metric spaces that have this property include all spaces on two, three, or four points, all trees, and all finite subspaces of Eu...... by Kelly, we conjecture that all finite subspaces of hyperbolic spaces are hypermetric and regular, and hence of strictly negative type. (C) 1998 Elsevier Science Inc....

  3. Innate-Type and Acquired-Type Allergy Regulated by IL-33

    Tomohiro Yoshimoto

    2014-01-01

    Full Text Available We propose two types of allergic response: IgE-dependent and IgE-independent, and designate these as 'acquired-type allergy' and 'innate-type allergy', respectively. IL-33 stimulates both innate (basophils, mast cells, or group 2 innate lymphoid cells and acquired (Th2 cells allergy-related cells to induce and/or augment Th2 cytokine production, which leads to eosinophilic inflammation in vivo. Thus, IL-33 is an essential regulator for both 'innate-type allergy' and 'acquired-type allergy', and might be an attractive therapeutic target for allergic diseases.

  4. Unique type of isolated cardiac valvular amyloidosis

    Reehana Salma

    2006-10-01

    Full Text Available Abstract Background Amyloid deposition in heart is a common occurrence in systemic amyloidosis. But localised valvular amyloid deposits are very uncommon. It was only in 1922 that the cases of valvular amyloidosis were reported. Then in 1980, Goffin et al reported another type of valvular amyloidosis, which he called the dystrophic valvular amyloidosis. We report a case of aortic valve amyloidosis which is different from the yet described valvular amyloidosis. Case presentation A 72 years old gentleman underwent urgent aortic valve replacement. Intraoperatively, a lesion was found attached to the inferior surface of his bicuspid aortic valve. Histopathology examination of the valve revealed that the lesion contained amyloid deposits, identified as AL amyloidosis. The serum amyloid A protein (SAP scan was normal and showed no evidence of systemic amyloidosis. The ECG and echocardiogram were not consistent with cardiac amyloidosis. Conclusion Two major types of cardiac amyloidosis have been described in literature: primary-myelomatous type (occurs with systemic amyolidosis, and senile type(s. Recently, a localised cardiac dystrophic valvular amyloidosis has been described. In all previously reported cases, there was a strong association of localised valvular amyloidosis with calcific deposits. Ours is a unique case which differs from the previously reported cases of localised valvular amyloidosis. In this case, the lesion was not associated with any scar tissue. Also there was no calcific deposit found. This may well be a yet unknown type of isolated valvular amyloidosis.

  5. HLA Typing for the Next Generation.

    Neema P Mayor

    Full Text Available Allele-level resolution data at primary HLA typing is the ideal for most histocompatibility testing laboratories. Many high-throughput molecular HLA typing approaches are unable to determine the phase of observed DNA sequence polymorphisms, leading to ambiguous results. The use of higher resolution methods is often restricted due to cost and time limitations. Here we report on the feasibility of using Pacific Biosciences' Single Molecule Real-Time (SMRT DNA sequencing technology for high-resolution and high-throughput HLA typing. Seven DNA samples were typed for HLA-A, -B and -C. The results showed that SMRT DNA sequencing technology was able to generate sequences that spanned entire HLA Class I genes that allowed for accurate allele calling. Eight novel genomic HLA class I sequences were identified, four were novel alleles, three were confirmed as genomic sequence extensions and one corrected an existing genomic reference sequence. This method has the potential to revolutionize the field of HLA typing. The clinical impact of achieving this level of resolution HLA typing data is likely to considerable, particularly in applications such as organ and blood stem cell transplantation where matching donors and recipients for their HLA is of utmost importance.

  6. Observational properties of decameter type IV bursts

    Melnik, Valentin; Brazhenko, Anatoly; Rucker, Helmut; Konovalenko, Alexander; Briand, Carine; Dorovskyy, Vladimir; Zarka, Philippe; Frantzusenko, Anatoly; Panchenko, Michael; Poedts, Stefan; Zaqarashvili, Teimuraz; Shergelashvili, Bidzina

    2013-04-01

    Oscillations of decameter type IV bursts were registered during observations of solar radio emission by UTR-2, URAN-2 and NDA in 2011-2012. Large majority of these bursts were accompanied by coronal mass ejections (CMEs), which were observed by SOHO and STEREO in the visible light. Only in some cases decameter type IV bursts were not associated with CMEs. The largest periods of oscillations P were some tens of minutes. There were some modes of long periods of oscillations simultaneously. Periods of oscillations in flux and in polarization profiles were close. Detailed properties of oscillations at different frequencies were analyzed on the example of two type IV bursts. One of them was observed on April 7, 2011 when a CME happened. Another one (August 1, 2011) was registered without any CME. The 7 April type IV burst had two periods in the frames 75-85 and 35-85 minutes. Interesting feature of these oscillations is decreasing periods with time. The observed decreasing rates dP/dt equaled 0.03-0.07. Concerning type IV burst observed on August 1, 2011 the period of its oscillations increases from 17 min. at 30 MHz to 44 min. at 10 MHz. Connection of type IV burst oscillations with oscillations of magnetic arches and CMEs at corresponding altitudes are discussed. The work is fulfilled in the frame of FP7 project "SOLSPANET".

  7. Congenital fiber type disproportion--30 years on.

    Clarke, Nigel F; North, Kathryn N

    2003-10-01

    Thirty years ago, M. H. Brooke coined the term "congenital fiber type disproportion" (CFTD) to describe 12 children who had clinical features of a congenital myopathy and relative type 1 fiber hypotrophy on muscle biopsy. It is now clear that this histological pattern can accompany a wide range of neurological disorders, leading to disillusionment with CFTD as a distinct nosological entity. To determine whether the CFTD has clinical utility as a diagnostic entity, we have reviewed the literature for cases of type 1 fiber hypotrophy and have used strict exclusion criteria to identify 67 cases of CFTD. Most patients presented at birth with weakness and hypotonia, had normal intelligence, and followed a static or improving clinical course. In 43% of families, more than 1 individual was affected. Failure to thrive was common and 25% of patients had contractures or spinal deformities. Bulbar weakness and ophthalmoplegia were less common and cardiac involvement was rare. Twenty-five percent followed a severe course and 10% had died at the time of reporting, all from respiratory failure. Ophthalmoplegia and facial and bulbar weakness were significantly associated with a poorer prognosis. The relatively homogeneous phenotype supports the retention of CFTD as a distinct diagnostic entity and familial occurrence suggests a genetic basis. Regarding the diagnosis of CFTD, we found no strong evidence that the minimum difference between type 1 and type 2 fiber sizes should be increased from 12% to 25%. We also list the other reported causes of relative type 1 fiber hypotrophy to aid their exclusion from CFTD.

  8. Differences in Halo-Scale Environments between Type 1 and Type 2 AGNs at Low Redshift

    Jiang, Ning; Mo, Houjun; Dong, Xiaobo; Wang, Tinggui; Zhou, Hongyan

    2016-01-01

    Using samples of AGNs, normal galaxies and groups of galaxies selected from the Sloan Digital Sky Survey (SDSS), we study the environments of type 1 and type 2 AGNs both on small and large scales. Comparisons are made for samples matched in redshift, r-band luminosity, and [OIII] luminosity, and separately for central and satellite galaxies. We find that type 2 AGNs and normal galaxies reside in similar environments. Type 1 and type 2 AGNs have similar clustering properties on large scales, but at scales smaller than 100 kpc, type 2s have 3 times more neighbors than type 1s. These results suggest that type 1 and type 2 AGNs are hosted by halos of similar masses, as is also seen directly from the mass distributions of their host groups. Type 2s have significantly more satellites around them, and the distribution of their satellites is also more centrally concentrated. The host galaxies of both types of AGNs have similar optical properties, but their infrared colors are significantly different. Our results sugg...

  9. A Probable Short Decimetric Type I-like Noise Storm: Associated with Type III Bursts?

    Rui-Xiang Xie; Min Wang; Yi-Hua Yan

    2005-01-01

    A rare Type I-like noise storm was observed with the solar radio spectrometers (1.0-2.0 GHz and 2.60-3.8 GHz) at National Astronomical Observatories of China (NAOC) on September 23, 1998. We concentrate on checking the Type I-like noise storm occurred in the decay phase of a Type IV radio burst. This noise storm consists of many Type I bursts and isolated Type III or Type III pair bursts.It has a bandwidth of ≤ 0.5 GHz. The duration of each Type I burst is of the order of 100-300ms. The total duration is greater than 11 minutes. The circular polarization degree of the components of Type I and associated Type III bursts are about 40%-100% and almost 100%, respectively, which is greater than that of the background continuum (nearly the precision of our instrument). This short decimetric Type I-like storm may be another kind or the extension of the kind of metric Type I storm, and may possess the duality of metric and decimetric radio emission. It may be in favor of an earlier emission mechanism of the fundamental plasma radiation due to the coalescence of Langmuir waves with low-frequency waves.

  10. Trace element geochemistry of ordinary chondrite chondrules: the type I/type II chondrule dichotomy

    Jacquet, Emmanuel; Gounelle, Matthieu

    2015-01-01

    We report trace element concentrations of silicate phases in chondrules from LL3 ordinary chondrites Bishunpur and Semarkona. Results are similar to previously reported data for carbonaceous chondrites, with rare earth element (REE) concentrations increasing in the sequence olivine ~ 10 K/h) than type I chondrules. Appreciable Na concentrations (3-221 ppm) are measured in olivine from both chondrule types; type II chondrules seem to have behaved as closed systems, which may require chondrule formation in the vicinity of protoplanets or planetesimals. At any rate, higher solid concentrations in type II chondrule forming regions may explain the higher oxygen fugacities they record compared to type I chondrules. Type I and type II chondrules formed in different environments and the correlation between high solid concentrations and/or oxygen fugacities with rapid cooling rates is a key constraint that chondrule formation models must account for.

  11. Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types

    Andreas Abel

    2012-02-01

    Full Text Available Type systems certify program properties in a compositional way. From a bigger program one can abstract out a part and certify the properties of the resulting abstract program by just using the type of the part that was abstracted away. Termination and productivity are non-trivial yet desired program properties, and several type systems have been put forward that guarantee termination, compositionally. These type systems are intimately connected to the definition of least and greatest fixed-points by ordinal iteration. While most type systems use conventional iteration, we consider inflationary iteration in this article. We demonstrate how this leads to a more principled type system, with recursion based on well-founded induction. The type system has a prototypical implementation, MiniAgda, and we show in particular how it certifies productivity of corecursive and mixed recursive-corecursive functions.

  12. The Efficacy of Red Ginseng in Type 1 and Type 2 Diabetes in Animals

    Bin Na Hong

    2013-01-01

    Full Text Available Diabetes mellitus (DM is one of the most modern chronic metabolic diseases in the world. Moreover, DM is one of the major causes of modern neurological diseases. In the present study, the therapeutic actions of Korean red ginseng were evaluated in type 1 and type 2 diabetic mouse models using auditory electrophysiological measurement. The comprehensive results from auditory brainstem response (ABR, auditory middle latency response (AMLR, and transient evoked otoacoustic emission (TEOAE demonstrate auditory functional damage caused by type 1 or 2 DM. Korean red ginseng improved the hearing threshold shift, delayed latencies and signal intensity decrease in type 2 diabetic mice. Type 1 diabetic mice showed a partial improvement in decreasing amplitude and signal intensity, not significantly. We suggest that the Korean red ginseng has a more potent efficacy in hearing loss in insulin resistance type 2 diabetes than in type 1 diabetes.

  13. Suicidal ideation reported by adults with Type 1 or Type 2 diabetes

    Handley, T E; Ventura, A D; Browne, Jessica L

    2016-01-01

    or Type 2 diabetes not using insulin (14 and 12%, respectively). After controlling for depression, there was little difference in the prevalence of SI between diabetes types/treatments, but higher diabetes-specific distress significantly increased the odds of SI. CONCLUSIONS: As SI is a significant risk......AIMS: To examine the prevalence and correlates of suicidal ideation (SI) in a community-based sample of adults with Type 1 or Type 2 diabetes. METHODS: Participants were 3338 adults aged 18-70 years with Type 1 diabetes (n = 1376) or Type 2 diabetes (non-insulin: n = 1238; insulin: n = 724) from...... a national survey administered to a random sample registered with the National Diabetes Services Scheme. Depression and SI were assessed using the Patient Health Questionnaire, and diabetes-specific distress with the Problem Areas In Diabetes scale. Separate logistic regression analyses by diabetes type...

  14. DO GIANT PLANETS SURVIVE TYPE II MIGRATION?

    Hasegawa, Yasuhiro [Institute of Astronomy and Astrophysics, Academia Sinica (ASIAA), Taipei 10641, Taiwan (China); Ida, Shigeru, E-mail: yasu@asiaa.sinica.edu.tw, E-mail: ida@geo.titech.ac.jp [Earth-Life Science Institute, Tokyo Institute of Technology, Ookayama, Meguro-ku, Tokyo 152-8551 (Japan)

    2013-09-10

    Planetary migration is one of the most serious problems to systematically understand the observations of exoplanets. We clarify that the theoretically predicted type II, migration (like type I migration) is too fast, by developing detailed analytical arguments in which the timescale of type II migration is compared with the disk lifetime. In the disk-dominated regime, the type II migration timescale is characterized by a local viscous diffusion timescale, while the disk lifetime is characterized by a global diffusion timescale that is much longer than the local one. Even in the planet-dominated regime where the inertia of the planet mass reduces the migration speed, the timescale is still shorter than the disk lifetime except in the final disk evolution stage where the total disk mass decays below the planet mass. This suggests that most giant planets plunge into the central stars within the disk lifetime, and it contradicts the exoplanet observations that gas giants are piled up at r {approx}> 1 AU. We examine additional processes that may arise in protoplanetary disks: dead zones, photoevaporation of gas, and gas flow across a gap formed by a type II migrator. Although they make the type II migration timescale closer to the disk lifetime, we show that none of them can act as an effective barrier for rapid type II migration with the current knowledge of these processes. We point out that gas flow across a gap and the fraction of the flow accreted onto the planets are uncertain and they may have the potential to solve the problem. Much more detailed investigation for each process may be needed to explain the observed distribution of gas giants in extrasolar planetary systems.

  15. Analysis of the Influence of Type of Diabetes Mellitus on the Development and Type of Glaucoma

    Halilovic, Emina Alimanovic; Ljaljevic, Sanida; Alimanovic, Ilda; Mavija, Milka; Oros, Ana; Nisic, Faruk

    2015-01-01

    Aim: Main the goal of the research is to analyze the occurrence of glaucoma in patients with diabetes mellitus type 1 (DM type 1) and diabetes mellitus type 2 (DM type 2). Patients and methods: The study involved 140 patients, 34 with DM type 1 and 106 with DM type2. In relation to the type of glaucoma to the patients are divided into two groups: Primary and Secondary glaucoma. According to the stage of diabetic retinopathy (DR) patients were analyzed in three groups: non-proliferative, preproliferative and proliferative DR. Since ophthalmological parameters were analyzed: best corrected visual acuity (BCVA), intraocular pressure (IOP), visual field (VF) of computerized perimetry, excavatio optic nerve (E/D) by optic coherent tomography (OCT). Results: Applying the test of quotient chance found that subjects with DM type 1 have a 5.94 times greater chance of developing secondary glaucoma, but is of primary (P <0.0001). In patients with DM type 2, where the chance of getting the subjects of secondary glaucoma 4.43 times larger than that of the primary (P = 0.0002). Conclusion: Patients with DM type have great chance of developing secondary glaucoma of the primary. Primary glaucoma more common in NPDR but secondary glaucoma more common in PDR. PMID:25870475

  16. Molecular typing and epidemiological survey of prevalence of Clostridium perfringens types by multiplex PCR.

    Yoo, H S; Lee, S U; Park, K Y; Park, Y H

    1997-01-01

    Clostridium perfringens has been classified into five toxigenic types (A through E) on the basis of its capability to produce major lethal toxins (alpha, beta, epsilon, and iota toxins). Seroneutralization with mice or guinea pigs has been used to type each toxin, but this conventional method has some disadvantages. Therefore, we used a molecular biological technique to type the bacterium in the present study. A multiplex PCR was developed for this purpose. This method has several advantages in comparison with seroneutralization with mice or guinea pigs. By this method, we also investigated the most prevalent type(s) of the organism in Korean calves, piglets, and chickens showing clinical symptoms such as diarrhea, enterotoxemia, and necrotic enteritis. Only type A was isolated from calves and chickens, while type C (2 of 14 isolates), in addition to type A, was isolated from piglets. These results suggested that seroneutralization could be replaced by our new method and that type A of C. perfringens is the most prevalent type in livestock in Korea.

  17. Molecular Typing of Neisseria gonorrhoeae Isolates by Opa-Typing and Ribotyping in New Delhi, India

    Pejvak Khaki

    2009-01-01

    Full Text Available Control and preventive measures for gonococcal infections are based on precise epidemiological characteristics of N. gonorrhoeae isolates. In the present study the potential utility of opa-typing and ribotyping for molecular epidemiological study of consecutive gonococcal strains was determined. Sixty gonococcal isolates were subjected to ribotyping with two restriction enzymes, AvaII and HincII, and opa-typing with TaqI and HpaII for epidemiological characterization of gonococcal population. Ribotyping with AvaII yielded 6 ribotype patterns while twelve RFLP patterns were observed with HincII. Opa-typing of the 60 isolates revealed a total 54 opa-types, which 48 were unique and 6 formed clusters. Fifty-two opa-types were observed with TaqI-digested PCR product while opa-typing with HpaII demonstrated 54 opa-types. The opa-types from isolates that were epidemiologically unrelated were distinct, whereas those from the sexual contacts were identical. The results showed that opa-typing is highly useful for characterizing gonococcal strains from sexual contacts and has more discriminatory than ribotyping that could differentiate between gonococci of the same ribotype. The technique even with a single restriction enzyme has a high level of discrimination (99.9% between epidemiologically unrelated isolates. In conclusion, the molecular methods such as opa-typing and ribotyping can be used for epidemiological characterization of gonococcal strains.

  18. Maternal and Neonatal Outcomes in Korean Women with Type 1 and Type 2 Diabetes

    Hee-Sook Kim

    2015-08-01

    Full Text Available BackgroundThe purpose of this study was to evaluate maternal and neonatal outcomes in Korean women with type 1 diabetes and type 2 diabetes.MethodsWe performed a retrospective survey of 163 pregnancies in women with type 1 diabetes (n=13 and type 2 diabetes (n=150 treated from 2003 to 2010 at Cheil General Hospital & Women's Healthcare Center, Korea. We compared maternal characteristics as well as maternal and neonatal outcomes between groups.ResultsDifferences in glycosylated hemoglobin between type 1 and type 2 diabetes were not significant. Birth weight (3,501±689.6 g vs. 3,366±531.4 g and rate of major congenital malformations (7.7% vs. 5.6% were not significantly different. However, women with type 1 diabetes had higher rates of preeclampsia (38.5% vs. 8.2%, P=0.006, large for gestational age (LGA; 46.2% vs. 20.4%, P=0.004, macrosomia (38.5% vs. 13.4%, P=0.032, and admission for neonatal care (41.7% vs. 14.8%, P=0.03 than women with type 2 diabetes.ConclusionMaternal and neonatal outcomes for women with type 1 diabetes were poorer than for women with type 2 diabetes, especially preeclampsia, LGA, macrosomia and admission to the neonatal intensive care unit.

  19. Human muscle fiber type-specific insulin signaling: Impact of obesity and type 2 diabetes

    Albers, Peter Hjorth; Pedersen, Andreas J T; Birk, Jesper Bratz

    2015-01-01

    /or metabolic enzymes. Pools of type I and II fibers were prepared from biopsies of the vastus lateralis muscles from lean, obese and type 2 diabetic subjects before and after a hyperinsulinemic-euglycemic clamp. Type I fibers compared to type II fibers have higher protein levels of the insulin receptor, GLUT4......-responses to insulin adjusted for protein level were not different between fiber types. Independently of fiber type, insulin signaling was similar (TBC1D1, GS and PDH-E1α) or decreased (Akt and TBC1D4) in muscle from patients with type 2 diabetes compared to lean and obese subjects. We conclude that human type I......, hexokinase II, glycogen synthase (GS), pyruvate dehydrogenase (PDH-E1α) and a lower protein content of Akt2, TBC1D4 and TBC1D1. In type I fibers compared to type II fibers, the phosphorylation-response to insulin was similar (TBC1D4, TBC1D1 and GS) or decreased (Akt and PDH-E1α). Phosphorylation...

  20. Comparison between type-2 and type-1 myocardial infarction:clinical features, treatment strategies and outcomes

    Angel Lpez-Cuenca; Sergio Manzano-Fernndez; Miriam Gmez-Molina; Pedro J Flores-Blanco; Marianela Snchez-Martnez; Andrea Garca-Narbon; Ignacio De Las Heras-Gmez; Mara J Snchez-Galian; Esther Guerrero-Prez; Mariano Valds

    2016-01-01

    Objective To assess the differences in incidence, clinical features, current treatment strategies and outcome in patients with type-2vs. type-1 acute myocardial infarction (AMI).Methods We included 824 consecutive patients with a diagnosis of type-1 or type-2 AMI. Dur-ing index hospitalization, clinical features and treatment strategies were collected in detail. At 1-year follow-up, mortality, stroke, non-fatal myocardial infarction and major bleeding were recorded.ResultsType-1 AMI was present in 707 (86%) of the cases while 117 (14%) were classified as type-2. Patients with type-2 AMI were more frequently female and had higher co-morbidities such as diabetes, previous non-ST segment elevation acute coronary syndromes, impaired renal function, anaemia, atrial fibrillation and malignancy. However, preserved left ventricular ejection fraction and normal coronary arteries were more frequently seen, an invasive treatment was less common, and anti-platelet medications, statins and beta-blockers were less prescribed in patients with type-2 AMI. At 1-year follow-up, type-2 AMI was associated with a higher crude mortality risk (HR: 1.75, 95% CI: 1.14-2.68;P = 0.001), but this association did not remain significant after multivariable adjustment (P = 0.785). Furthermore, we did not find type-2 AMI to be associated with other clinical outcomes.Conclusions In this real-life population, compared with type-1, type-2 AMI were predominantly women and had more co-morbidities. Invasive treatment strategies and cardioprotective medications were less used in type-2, while the 1-year clinical outcomes were similar.

  1. Human papillomavirus type 29 (HPV-29), an HPV type cross-hybridizing with HPV-2 and with HPV-3-related types.

    Favre, M.; Croissant, O; Orth, G

    1989-01-01

    The cloning and partial characterization of human papillomavirus (HPV) type 29 is presented. By hybridization analyses, this virus appears to be related to HPV types associated with common warts and HPV types associated with flat warts.

  2. Immunological properties of inulin-type fructans.

    Vogt, Leonie; Meyer, Diederick; Pullens, Gerdie; Faas, Marijke; Smelt, Maaike; Venema, Koen; Ramasamy, Uttara; Schols, Henk A; De Vos, Paul

    2015-01-01

    Beneficial effects of inulin-type fructans are discussed in view of studies that applied the oligosaccharides in colon cancer, chronic inflammatory diseases, vaccination efficacy, and prevention of infection and allergy. In the present paper, we discuss their immunomodulating effects. It is suggested that immunomodulation is elicited through indirect and direct mechanisms. Indirect mechanisms encompass stimulation of growth and activity of lactic acid bacteria, but can also be caused by fermentation products of these bacteria, i.e., short chain fatty acids. Evidence for direct effects on the immune system generally remains to be confirmed. It is suggested that inulin-type fructans can be detected by gut dendritic cells (DCs), through receptor ligation of pathogen recognition receptors (PRRs) such as Toll-like receptors, nucleotide oligomerization domain containing proteins (NODs), C-type lectin receptors, and galectins, eventually inducing pro- and anti-inflammatory cytokines. DCs may also exert antigen presenting capacity toward effector cells, such as B cells, T cells, and natural killer cells locally, or in the spleen. Inulin-type fructans may also ligate PRRs expressed on gut epithelium, which could influence its barrier function. Inulin-type fructans are potent immunomodulating food components that hold many promises for prevention of disease. However, more studies into the mechanisms, dose-effect relations, and structure-function studies are required.

  3. SN Typing for the SDSS SN Survey

    Rivers, Elizabeth S.; /Wellesley Coll. /SLAC

    2005-12-15

    In the fall of 2004 the Sloan Digital Sky Survey (SDSS) 2.5m telescope scanned the southern equatorial stripe for approximately 20 nights over the space of two months. Light curves for over four dozen supernovae (SNe) were collected over time using five colored filters ugriz that together had a range of approximately 3000{angstrom} to 10500{angstrom}. 22 SNe were spectroscopically confirmed with follow-up observation. Using the data obtained in the Fall 2004 campaign, preparations are now being made for the Supernova Survey of the SDSS II, a three-year extension of the original project. One main goal of the Supernova Survey will be to identify and study type Ia SNe of up to redshift {approx}0.4, the intermediate ''redshift desert'', as well as enabling further study of other types of SNe including type 1b/c and peculiar SNe. Most of the SNe found will not have spectra taken, due to time and cost constraints. Thus it would be advantageous to be able to robustly type SNe solely from the light curves obtained by the SDSS telescope prior to, or even without ever obtaining a spectrum. Using light curves of well-observed SNe templates were constructed for comparison with unknown SNe in order to photometrically type them.

  4. Adrenal incidentaloma in neurofibromatosis type 1

    Tančić-Gajić Milina

    2008-01-01

    Full Text Available INTRODUCTION Neurofibromatosis type 1 is one of the most common genetically transmitted diseases with a high index of spontaneous mutations and extremely varied and unpredictable clinical manifestations. It is diagnosed by the existence of certain clinical criteria. The presence of numerous localised cutaneous neurofibromas or a plexiform neurofibroma is virtually pathognomonic of neurofibromatosis type 1. The incidence of pheochromocytoma in neurofibromatosis type 1 is 0.1-5.7%. CASE OUTLINE A 56-year old female patient was admitted for further evaluation of incidental adrenal tumour previously diagnosed on computerized tomography (CT. She had previously unrecognized neurofibromatosis type 1 and a clinical picture which could remind of pheochromocytoma. None of the catecholamine samples in 24 hr urine indicated functionally active pheochromocytoma. Chromogranin A was moderately increased. Decision for operation was made after performing the image techniques. Adrenal incidentaloma had features of pheochromocytoma on abdominal magnetic resonance imaging (MRI, with positive 131I-MIBG (iodine 131-labelled metaiodobenzylguanidine scintigraphy. After being treated with phenoxybenzamine and propranolol, she was operated on. The pathohistological finding showed the case of left adrenal pheochromocytoma. CONCLUSION Detailed diagnostic procedure for pheochromocytoma should be performed with patients having neurofibromatosis type 1 and adrenal incidentaloma. Pheochromocytomas are rare tumours with fatal outcome if not duly recognized and cured.

  5. Canagliflozin use in Type I diabetes mellitus.

    Guthrie, Robert

    2016-12-05

    Peters et al documented the appearance of diabetic ketoacidosis without significant elevation of serum glucose in patients treated with Canagliflozin. They solicited patient reports from their practice and from other colleagues' practices and identified nine patients, mainly with Type I Diabetes. Erondu et al evaluated the Canagliflozin development data base to describe the rate and appearance of ketoacidosis in the study patients. They found that in the research patients with Type 2 Diabetes, the rate of ketoacidosis in Canagliflozin patients was uncommon and similar to the reported rate in Type 2 patients not receiving Canagliflozin. Finally, Henry et al reported on a research program that added Canagliflozin onto insulin therapy in Type I patients, finding that there were only modest improvements in HgBA1 C levels and weight, while this therapy produced increased levels of ketosis and 6% rate of ketoacidosis in Canagliflozin patients. This information strongly suggests that Canagliflozin, and possibly the other SGLT-2 inhibitors, are not proper therapy for patients with Type I Diabetes.

  6. A novel type of developmental dentin defect.

    Lukinmaa, P L; Waltimo, J; Hölttä, P; Risteli, L; Risteli, J; Alaluusua, S

    1996-01-01

    We describe a developmental dentin disorder distinct from dentin defects characterized thus far. The proband was a 9-year-old boy who was the only family member known to be affected in five generations. The dental defect was not associated with any general disease or developmental disorder. The teeth appeared normal with the exception of the pink hue seen in some primary teeth. Radiographs showed pathological resorption of primary teeth and abnormally shaped pulp chambers and denticles in permanent teeth. Root canals were wide in developing teeth, but appeared thin in erupted teeth. Histological examination of two primary molars revealed canal-like defects in dentin. In the crown, the canals appeared as clusters, which alternated with columns of normal tubular dentin, and in the virtually atubular root dentin they were haphazardly distributed. Scanning electron microscopic examination confirmed the distribution pattern of the canals. In transmission electron microscopy, the defects were found to contain symmetrically banded, segmental collagenous structures. The canal contents immunostained with antibodies to the N-terminal propeptide of type I procollagen, suggesting retention of the propeptide extension in type I collagen. Whereas type III collagen reactivity was barely detectable in the canal region, staining for type V collagen and the non-fibril-forming type VI collagen was strong. The findings imply that the pathogenesis of the defect could be related to a local failure of odontoblasts to produce normal dentin matrix.

  7. Superflares on solar-type stars.

    Maehara, Hiroyuki; Shibayama, Takuya; Notsu, Shota; Notsu, Yuta; Nagao, Takashi; Kusaba, Satoshi; Honda, Satoshi; Nogami, Daisaku; Shibata, Kazunari

    2012-05-16

    Solar flares are caused by the sudden release of magnetic energy stored near sunspots. They release 10(29) to 10(32) ergs of energy on a timescale of hours. Similar flares have been observed on many stars, with larger 'superflares' seen on a variety of stars, some of which are rapidly rotating and some of which are of ordinary solar type. The small number of superflares observed on solar-type stars has hitherto precluded a detailed study of them. Here we report observations of 365 superflares, including some from slowly rotating solar-type stars, from about 83,000 stars observed over 120 days. Quasi-periodic brightness modulations observed in the solar-type stars suggest that they have much larger starspots than does the Sun. The maximum energy of the flare is not correlated with the stellar rotation period, but the data suggest that superflares occur more frequently on rapidly rotating stars. It has been proposed that hot Jupiters may be important in the generation of superflares on solar-type stars, but none have been discovered around the stars that we have studied, indicating that hot Jupiters associated with superflares are rare.

  8. Somatotype in elderly type 2 diabetes patients.

    Buffa, Roberto; Floris, Giovanni; Putzu, Paolo F; Carboni, Luciano; Marini, Elisabetta

    2007-09-01

    Somatotyping is a practical technique for the description of physique. Individuals with Type 2 diabetes are characterized by physical peculiarities, such as overweight, obesity and a central pattern of body fat distribution. Somatotype applications to diabetes are limited. The objective of this study is to describe the somatotype of elderly type 2 diabetes patients. The sample consisted of 110 patients with type 2 diabetes (45 men, mean age 69.4 +/- 7.0 years; 65 women, mean age 72.9 +/- 7.1 years). The pathological subjects were compared with a control group consisting of 280 healthy individuals (134 men, mean age 74.2 +/- 7.3 years; 146 women, mean age 74.9 +/- 7.4 years). The Heath-Carter somatotype was applied. Diabetic men and women (mean somatotype, respectively: 6.8-5.6-0.6 and 8.6-6.4-0.2) presented significantly higher values of endomorphy than the controls (p = 0.043 in men, p = 0.003 in women); men also had a lower mesomorphic component (p = 0.000). The somatotype method revealed physical peculiarities in type 2 diabetes patients. The marked endomorphy in the pathological individuals can be related to general fatness, which is a well known disease risk factor. The somatotype appears to be a suitable technique for the assessment of physique in type 2 diabetes patients.

  9. Dynamically Alterable Arrays of Polymorphic Data Types

    James, Mark

    2006-01-01

    An application library package was developed that represents data packets for Deep Space Network (DSN) message packets as dynamically alterable arrays composed of arbitrary polymorphic data types. The software was to address a limitation of the present state of the practice for having an array directly composed of a single monomorphic data type. This is a severe limitation when one is dealing with science data in that the types of objects one is dealing with are typically not known in advance and, therefore, are dynamic in nature. The unique feature of this approach is that it enables one to define at run-time the dynamic shape of the matrix with the ability to store polymorphic data types in each of its indices. Existing languages such as C and C++ have the restriction that the shape of the array must be known in advance and each of its elements be a monomorphic data type that is strictly defined at compile-time. This program can be executed on a variety of platforms. It can be distributed in either source code or binary code form. It must be run in conjunction with any one of a number of Lisp compilers that are available commercially or as shareware.

  10. Subjective sleep impairment in adults with type 1 or type 2 diabetes

    Nefs, Giesje; Donga, Esther; van Someren, Eus

    2015-01-01

    AIMS: Despite growing recognition of the impact of sleep on diabetes, a clear profile of people with diabetes regarding subjective sleep impairment has yet to be established. This study examines: (1) subjective sleep characteristics in adults with type 1 and type 2 diabetes; (2) the relationship...... of poor subjective sleep quality with glycaemic control, self-care and daytime functioning; (3) possible risk markers for poor sleep quality. METHODS: In a cross-sectional study, Dutch adults with type 1 (n=267) or type 2 diabetes (n=361) completed an online survey, including the Pittsburgh Sleep Quality...... Index (PSQI), socio-demographic, clinical, self-care and psychological measures. RESULTS: Poor sleep quality (PSQI-score >5) was reported by 31% of adults with type 1 and 42% of adults with type 2 diabetes. Participants with good and poor sleep quality did not differ in self-reported HbA1c...

  11. Type 2-diabetes. Sociale relationer og sundhedsadfaerd

    Holm, Astrid Ledgaard; Andersen, Anne Friis; Avlund, Kirsten

    2008-01-01

    INTRODUCTION: Type 2 diabetes is a chronic disease that challenges the Danish health care system and health behaviour is important in connection with rehabilitation. Foreign research shows that social relations are associated with a healthy lifestyle, but this effect has not yet been examined...... thoroughly based on Danish data. The purpose of this study was to examine the association between social relations and health behaviour among adult Danes with type 2 diabetes. MATERIALS AND METHODS: The study design was cross-sectional and based on data from the report ''Sundheds- og Sygelighedsundersøgelsen...... 2000'', published by The National Institute of Public Health; 264 respondents with type 2 diabetes were included in the final study population. Social relations were measured in terms of civil status, social contact and functional network. Health behaviour reflects whether the respondents comply...

  12. Type II Supernovae as Probes of Cosmology

    Poznanski, Dovi; Blondin, Stephane; Bloom, Joshua S; D'Andrea, Christopher B; Della Valle, Massimo; Dessart, Luc; Ellis, Richard S; Gal-Yam, Avishay; Goobar, Ariel; Hamuy, Mario; Hicken, Malcolm; Kasen, Daniel N; Krisciunas, Kevin L; Leonard, Douglas C; Li, Weidong; Livio, Mario; Marion, Howie; Matheson, Thomas; Neill, James D; Nomoto, Ken'ichi; Nugent, Peter E; Quimby, Robert; Sako, Masao; Sullivan, Mark; Thomas, Rollin C; Turatto, Massimo; Van Dyk, Schuyler D; Wood-Vasey, W Michael

    2009-01-01

    - Constraining the cosmological parameters and understanding Dark Energy have tremendous implications for the nature of the Universe and its physical laws. - The pervasive limit of systematic uncertainties reached by cosmography based on Cepheids and Type Ia supernovae (SNe Ia) warrants a search for complementary approaches. - Type II SNe have been shown to offer such a path. Their distances can be well constrained by luminosity-based or geometric methods. Competing, complementary, and concerted efforts are underway, to explore and exploit those objects that are extremely well matched to next generation facilities. Spectroscopic follow-up will be enabled by space- based and 20-40 meter class telescopes. - Some systematic uncertainties of Type II SNe, such as reddening by dust and metallicity effects, are bound to be different from those of SNe Ia. Their stellar progenitors are known, promising better leverage on cosmic evolution. In addition, their rate - which closely tracks the ongoing star formation rate -...

  13. Muscle fibre type and aetiology of obesity.

    Wade, A J; Marbut, M M; Round, J M

    1990-04-07

    Proportions of slow (type 1) muscle fibres of the vastus lateralis and percentage body fat were measured in 11 healthy sedentary men. The proportion of slow muscle fibres was inversely related to fatness; at least 40% of the variability in fatness may be related to variation in muscle fibre type. Metabolic evidence in 50 men, provided by the respiratory exchange ratio (RER) during cycle ergometry, indicated that fatter men (or, in the subset of 11 men, those with a low proportion of slow muscle fibres) combusted less fat during work at 100 W than did lean men (or those with a high proportion of slow fibres). The effects of fitness and of body size were excluded in the analysis. The evidence supports the hypothesis that muscle fibre type is an aetiological factor for obesity.

  14. Two Types of Magnetohydrodynamic Sheath Jets

    Kaburaki, Osamu

    2009-01-01

    Recent observations of astrophysical jets emanating from various galactic nuclei strongly suggest that a double layered structure, or a spine-sheath structure, is likely to be their common feature. We propose that such a sheath jet structure can be formed magnetohydrodynamically within a valley of the magnetic pressures, which is formed between the peaks due to the poloidal and toroidal components, with the centrifugal force acting on the rotating sheath plasma is balanced by the hoop stress of the toroidal field. The poloidal field concentrated near the polar axis is maintained by a converging plasma flow toward the jet region, and the toroidal field is developed outside the jet cone owing to the poloidal current circulating through the jet. Under such situations, the set of magnetohydrodynamic (MHD) equations allows two main types of solutions, at least, in the region far from the footpoint. The first type solution describes the jets of marginally bound nature. This type is realized when the jet temperature...

  15. Boosted Decision Trees for Lithiasis Type Identification

    Boutalbi Rafika

    2015-06-01

    Full Text Available Several urologic studies showed that it was important to determine the lithiasis types, in order to limit the recurrence residive risk and the renal function deterioration. The difficult problem posed by urologists for classifying urolithiasis is due to the large number of parameters (components, age, gender, background ... taking part in the classification, and hence the probable etiology determination. There exist 6 types of urinary lithiasis which are distinguished according to their compositions (chemical components with given proportions, their etiologies and patient profile. This work presents models based on Boosted decision trees results, and which were compared according to their error rates and the runtime. The principal objectives of this work are intended to facilitate the urinary lithiasis classification, to reduce the classification runtime and an epidemiologic interest. The experimental results showed that the method is effective and encouraging for the lithiasis type identification.

  16. Mathematical review on source-type diagrams

    Aso, Naofumi; Ohta, Kazuaki; Ide, Satoshi

    2016-03-01

    A source-type diagram is a visualization tool used to display earthquake sources, including double-couples, compensated linear vector dipoles, and isotropic deformation. Together with recent observations of non-double-couple events in a variety of tectonic settings, it is important to be able to recognize the source type intuitively from a representative diagram. Since previous works have proposed diagrams created using a range of projections, we review these diagrams in the framework of the moment tensor eigenvalue space. For further applications, we also provide complete formulas for conversion between moment tensor representation and the coordinate system of each diagram style. Using both a global catalog and synthetic data, we discuss differences between types of diagrams and the relative effectiveness of each.

  17. Hereditary angioedema type I: a case report.

    Muñoz Peralta, Francisca; Buller Vigueira, Eva; Cabello Pulido, Juana

    2016-01-28

    Hereditary angioedema is a rare disease with great heterogeneity of symptoms such as edema of the skin, gastro-intestinal mucosa and larynx or pharynx. Even though there are three types, the most frequent is type I, which is a result from a deficiency of the complement C1 inhibitor. The severity of its symptoms along with the low prevalence of the disease and the need for appropriate specific treatment make the diagnosis and treatment of the pathology an outstanding subject for the family physician. The present is the case of a male teenager with alpha-1 antitrypsin deficiency since he was six months old, angioedema on arms and legs since 11 years old and diagnosed with hereditary angioedema type I one year after. The definitive diagnosis of the disease enabled an appropriate treatment which consists in preventing outbreaks that may compromise the patient's life and, if they occur, administration of complement C1 inhibitor.

  18. Liraglutide for treating type 1 diabetes

    Dejgaard, Thomas Fremming; Frandsen, Christian Seerup; Holst, Jens Juul

    2016-01-01

    INTRODUCTION: Many persons with type 1 diabetes do not achieve glycemic targets, why new treatments, complementary to insulin, are of interest. Liraglutide, a long-acting glucagon-like peptide-1 receptor agonist could be a potential pharmacological supplement to insulin. This review discusses...... the mechanism of actions, efficacy and safety of liraglutide as add-on to insulin in persons with type 1 diabetes. AREAS COVERED: Physiological and clinical data on liraglutide in type 1 diabetes were reviewed. We searched the Cochrane library, MEDLINE and EMBASE, with the final search performed February 16......, 2016. EXPERT OPINION: Liraglutide as adjunct to insulin treatment reduced body weight and daily dose of insulin compared with insulin alone. The effect on HbA1c was inconsistent with mostly uncontrolled, small-scale studies reporting improvements in glycemic control. In placebo-controlled studies...

  19. Comparison of Prevalent Types of Sonic Anemometers

    Mauder, M.; Foken, Th.

    The objects of our investigations are five types of sonic anemometers that are widly used at present for turbulence measurements. These are the CSAT3 (Campbell Scien- tific), Solent HS (Gill Instruments), the NUW-Probe (NCAR), USA-1 (Metek) and the Model 81000 (R.M. Young). The main focus of this work was on the processing of the EBEX-2000 field intercomparison. In order to complete the characterisation of the instruments, the results of further intercomparison experiments were comparatively analysed and additionally three types of sonic anemometers were examined in a wind tunnel study. The highest measurement quality was found for the CSAT3 and the New UW-Probe. Other types of anemometers show significant deviations from the refer- ence, especially for the determination of fluctuations of the vertical wind component.

  20. Insomnia types and sleep microstructure dynamics.

    Chouvarda, I; Grassi, A; Mendez, M O; Bianchi, A M; Parrino, L; Milioli, G; Terzano, M; Maglaveras, N; Cerutti, S

    2013-01-01

    This work aims to investigate sleep microstructure as expressed by Cyclic Alternating Pattern (CAP), and its possible alterations in pathological sleep. Three groups, of 10 subjects each, are considered: a) normal sleep, b) psychophysiological insomnia, and c) sleep misperception. One night sleep PSG and sleep macro- micro structure annotations were available per subject. The statistical properties and the dynamics of CAP events are in focus. Multiscale and non-linear methods are presented for the analysis of the microstructure event time series, applied for each type of CAP events, and their combination. The results suggest that a) both types of insomnia present CAP differences from normal sleep related to hyperarousal, b) sleep misperception presents more extensive differences from normal, potentially reflecting multiple sleep mechanisms, c) there are differences between the two types of insomnia as regard to the intertwining of events of different subtypes. The analysis constitutes a contribution towards new markers for the quantitative characterization of insomnia, and its subtypes.

  1. Construction sustainability with adobe bricks type elements

    Andreea Hegyi

    2016-06-01

    Full Text Available Sustainability is a criterion defined in the 80, which is essential in all fields of current activity. At the moment, it can not talk about development without being taken into account sustainability criteria. It presents the ensuring for an harmonious development, in line with current needs, without to endanger the possibility to develop and satisfy the needs of future generations. The buildings of adobe bricks-type elements ensure successfully the conditions imposed by this criterion. This type of construction ensures the responsible use of renewable natural resources, the possibility of reuse and recycling of materials, contributes to environmental protection and to pollution reduction, to energy saving and it provides a cleaner and healthier living environment. Not least, the buildings of this type are accessible in terms of cost and can contribute to the development of other fields such as eco-tourism.

  2. Variants of Monteggia Type Injury: Case Reports

    Kamudin NAF

    2015-03-01

    Full Text Available Background: Monteggia fracture-dislocation is rare in children. Various reports attest to its rarity, while recording the many variant of this injury. It is, therefore, easy to miss the diagnosis in the absence of proper clinical examination and radiographs. Case Report : This report highlights two rare variants of Monteggia fracture-dislocation seen in children. The first case was a 12-year old girl alleged to have fallen from a 15-feet tall tree and sustaining a combined type III Monteggia injury with ipsilateral Type II Salter-Harris injury of distal end radius with a metaphyseal fracture of the distal third of the ulna. The second case was a 13-year old who had sustained a closed fracture of atypical Type I Monteggia hybrid lesion, in a road traffic accident. Conclusion: This report highlights the rare variants of Monteggia fracture dislocation which could have been missed without proper clinical examinations and radiographs.

  3. Type 2 diabetes sits in a chair

    Solomon, Thomas; Thyfault, J P

    2013-01-01

    The incidence of type 2 diabetes (T2D) continues to skyrocket across the industrialized world leading to soaring medical costs, reduced quality of life and increased mortality rates. Therefore, a more firm understanding of the development of the disease and effective, low cost therapies for preve......The incidence of type 2 diabetes (T2D) continues to skyrocket across the industrialized world leading to soaring medical costs, reduced quality of life and increased mortality rates. Therefore, a more firm understanding of the development of the disease and effective, low cost therapies....... In this review, we cover these topics and use current scientific evidence to support our belief that 'type 2 diabetes sits in a chair'. We also discuss a relatively new question that has yet to be examined: Would reducing sitting time be an effective treatment for T2D?...

  4. Genetic risk factors for type 1 diabetes

    Pociot, Flemming; Lernmark, Åke

    2016-01-01

    Type 1 diabetes is diagnosed at the end of a prodrome of β-cell autoimmunity. The disease is most likely triggered at an early age by autoantibodies primarily directed against insulin or glutamic acid decarboxylase, or both, but rarely against islet antigen-2. After the initial appearance of one...... of the three stages can differ. Type 1 diabetes could serve as a disease model for organ-specific autoimmune disorders such as coeliac disease, thyroiditis, and Addison's disease, which show similar early markers of a prolonged disease process before clinical diagnosis....... of these autoantibody biomarkers, a second, third, or fourth autoantibody against either islet antigen-2 or the ZnT8 transporter might also appear. The larger the number of β-cell autoantibody types, the greater the risk of rapid progression to clinical onset of diabetes. This association does not necessarily mean...

  5. Whole Genome Epidemiological Typing of Salmonella

    Leekitcharoenphon, Pimlapas

    Salmonella is one of the most common foodborne pathogens worldwide. In the US alone, salmonellosis was estimated to cause 1.4 million cases effecting 17,000 hospitalization and almost 600 deaths each year. Particularly, Salmonella enterica is a common cause of minor and large food borne outbreaks....... Technological advances and effective price in high throughput genome sequencing are making whole genome sequencing (WGS) available as a routine tool for bacterial typing. Typing of Salmonella, especially sub-typing within the same serotype or even the same clone, the genetic variation of the target genes being...... available Salmonella enterica genomes (accessed in April 2011). A consensus tree based on variation of the core genes gives better resolution than 16S rRNA and MLST that rarely provide separation between closely related strains. The performance of the pan-genome tree which is based on the presence...

  6. Response retrieval and motor planning during typing.

    Pinet, Svetlana; Dubarry, Anne-Sophie; Alario, F-Xavier

    2016-08-01

    Recent work in language production research suggests complex relationships between linguistic and motor processes. Typing is an interesting candidate for investigating further this issue. First, typing presumably relies on the same distributed left-lateralized brain network as handwriting and speech production. Second, typing has its own set of highly specific motor constraints, such as internal keystroke representations that hold information about both letter identity and spatial characteristics of the key to strike. The present study aims to further develop research on typed production, by targeting the dynamics between linguistic and motor neural networks. Specifically, we used a typed picture-naming task to examine the interplay between response retrieval and motor planning. To track processes associated with both linguistic processing and keystroke representation, we manipulated, respectively, the semantic context in which the target appeared and the side of the first keystrokes of the word. We recorded high-density electroencephalography (EEG) continuously from the presentation of a picture, to the typing of its name, and computed both event-related potentials (ERP) and beta-band power analyses. Non-parametric data-driven analysis revealed a clear pattern of response preparation over both hemispheres close to response time, in both the ERP and beta-band power modulations. This was preceded by a left-lateralized power decrease in the beta-band, presumably representing memory retrieval, and an early contrast in ERP, between left and right keystrokes' preparation. We discuss these results in terms of a dynamic access approach for internal keystroke representations, and argue for an integrative rather than separatist view of linguistic and motor processes.

  7. Inulin-type fructans: functional food ingredients.

    Roberfroid, Marcel B

    2007-11-01

    A food (ingredient) is regarded as functional if it is satisfactorily demonstrated to affect beneficially 1 or more target functions in the body beyond adequate nutritional effects. The term inulin-type fructans covers all beta(2inulin (DP 2-60, DP(av) = 12), oligofructose (DP 2-8, DP(av) = 4), and inulin HP (DP 10-60, DP(av) = 25) as well as Synergy 1, a specific combination of oligofructose and inulin HP. Inulin-type fructans resist digestion and function as dietary fiber improving bowel habits. But, unlike most dietary fibers, their colonic fermentation is selective, thus causing significant changes in the composition of the gut microflora with increased and reduced numbers of potentially health-promoting bacteria and potentially harmful species, respectively. Both oligofructose and inulin act in this way and thus are prebiotic: they also induce changes in the colonic epithelium and in miscellaneous colonic functions. In particular, the claim "inulin-type fructans enhance calcium and magnesium absorption" is scientifically substantiated, and the most active product is oligofructose-enriched inulin (Synergy 1). A series of studies furthermore demonstrate that inulin-type fructans modulate the secretion of gastrointestinal peptides involved in appetite regulation as well as lipid metabolism. Moreover, a large number of animal studies and preliminary human data show that inulin-type fructans reduce the risk of colon carcinogenesis and improve the management of inflammatory bowel diseases. Inulin-type fructans are thus functional food ingredients that are eligible for enhanced function claims, but, as more human data become available, risk reduction claims will become scientifically substantiated.

  8. Molecular typing and epidemiological survey of prevalence of Clostridium perfringens types by multiplex PCR.

    1997-01-01

    Clostridium perfringens has been classified into five toxigenic types (A through E) on the basis of its capability to produce major lethal toxins (alpha, beta, epsilon, and iota toxins). Seroneutralization with mice or guinea pigs has been used to type each toxin, but this conventional method has some disadvantages. Therefore, we used a molecular biological technique to type the bacterium in the present study. A multiplex PCR was developed for this purpose. This method has several advantages ...

  9. Type A and Type B personality among Undergraduate Medical Students: Need for psychosocial rehabilitation

    Hisam, Aliya; Rahman, Mahmood Ur; Mashhadi, Syed Fawad; Raza, Ghulam

    2014-01-01

    Objectives: To find out the frequency of Type A and Type B personality among the students of Undergraduate Medical College. To find association between student year and personality type. Methods: A descriptive cross sectional study was conducted at Undergraduate Medical College, Rawalpindi from Sept. 2012 till Feb. 2013. Among 500 sample size, 100 students from each MBBS year were inducted by probability systematic sampling technique. After taking consent from the institute and students, data...

  10. Audio-Visual Classification of Sports Types

    Gade, Rikke; Abou-Zleikha, Mohamed; Christensen, Mads Græsbøll

    2015-01-01

    In this work we propose a method for classification of sports types from combined audio and visual features ex- tracted from thermal video. From audio Mel Frequency Cepstral Coefficients (MFCC) are extracted, and PCA are applied to reduce the feature space to 10 dimensions. From the visual modality...... short trajectories are constructed to rep- resent the motion of players. From these, four motion fea- tures are extracted and combined directly with audio fea- tures for classification. A k-nearest neighbour classifier is applied for classification of 180 1-minute video sequences from three sports types...

  11. On Type I Singularities in Ricci flow

    Enders, Joerg; Topping, Peter M

    2010-01-01

    We define several notions of singular set for Type I Ricci flows and show that they all coincide. In order to do this, we prove that blow-ups around singular points converge to nontrivial gradient shrinking solitons, thus extending work of Naber. As a by-product we conclude that the volume of a finite-volume singular set vanishes at the singular time. We also define a notion of density for Type I Ricci flows and use it to prove a regularity theorem reminiscent of White's partial regularity result for mean curvature flow.

  12. The Innovation Types Evaluation of Small Business

    WANG Wen-jie; TANG Bing-yong; Ronald K. Mitchell; XING Xi-rong

    2002-01-01

    The technology innovation and technology innovation capability plays an important role in management study of small business's growth and development. In this paper, the types of innovation in small business are discussed. Then, a hierarchy comprehensive fuzzy index system evaluating the types of small businesses is proposed. Because of the fuzziness of 15 factors used to analyze the small business, L-R fuzzy number is applied to describe the basic fuzzy state index. Furthermore, the corresponding fuzzy evaluation algorithm is designed. An application example indicated the effects of the methods.

  13. Training centers of a new type

    Roza Rakhmanbaeva

    2010-02-01

    Full Text Available Necessity for innovative production development sets the new requirements for content, organization, forms and methods of management activity. Non-traditional tasks faced by the present system of human resources management require the similar type of non-traditional methodological approaches and tools for social diagnosis, training and management of people in new situations. Therefore special attention should be also given to development of new type training centers that act as concentration of continuous training through forming the networks of comparative analysis and detecting the best practice.

  14. Classification of sports types from tracklets

    Gade, Rikke; Moeslund, Thomas B.

    Automatic analysis of video is important in order to process and exploit large amounts of data, e.g. for sports analysis. Classification of sports types is one of the first steps to- wards a fully automatic analysis of the activities performed at sports arenas. In this work we test the idea...... experiments we use 30 2-minutes thermal video sequences from each of five different sports types. By applying a 10- fold cross validation we obtain a correct classification rate of 94.5 %....

  15. Cochlear implant in incomplete partition type I.

    Berrettini, S; Forli, F; De Vito, A; Bruschini, L; Quaranta, N

    2013-02-01

    In this investigation, we report on 4 patients affected by incomplete partition type I submitted to cochlear implant at our institutions. Preoperative, surgical, mapping and follow-up issues as well as results in cases with this complex malformation are described. The cases reported in the present study confirm that cochlear implantation in patients with incomplete partition type I may be challenging for cochlear implant teams. The results are variable, but in many cases satisfactory, and are mainly related to the surgical placement of the electrode and residual neural nerve fibres. Moreover, in some cases the association of cochlear nerve abnormalities and other disabilities may significantly affect results.

  16. [Surgical treatment of type 2 diabetes mellitus].

    Carrillo-Esper, Raúl; Muciño-Bermejo, María Jimena

    2014-01-01

    Sustained remission of type 2 diabetes mellitus and significantly improved hyperlipidemia and arterial hypertension, control has been achieves in both lean and obese patient after bariatric surgery procedures or other gastrointestinal surgical procedures. It has been demonstrated that the metabolic effects of bariatric surgery in these patients derives not only in reducing weight and caloric intake, but also endocrine changes resulting from surgical manifestation gastrointestinal tract. In this article we review the clinical outcomes of such interventions (collectively called "metabolic surgery") and the perspectives on the role that these surgeries play in the treatment of patients with type 2 diabetes mellitus.

  17. PRICING STRATEGIES – ASPECTS, TYPES AND CHARACTERISTICS

    Căruntu Roxana Corina

    2011-09-01

    Full Text Available Companies that want to maximize their profits must decide on several elements that influence this aspect. An important role is pricing the product or service offered by the company. In determining the best price for the product, management must take into account several factors such as cost / unit, market characteristics where the product is intended to be placed, consumer needs. Those that make this type of decisions often use price strategies which help enter a particular market. Economists state that there are many types of strategies out of which I will present those strategies that are based on marginal cost, incremental costs, break even and mark-up.

  18. The genus of a type of graph

    2010-01-01

    Based on the joint tree model introduced by Liu, the genera of further types of graphs not necessary to have certain symmetry can be obtained. In this paper, we obtain the genus of a new type of graph with weak symmetry. As a corollary, the genus of complete tripartite graph K n,n,l (l≥n≥2) is also derived. The method used here is more direct than those methods, such as current graph, used to calculate the genus of a graph and can be realized in polynomial time.

  19. Dual (type IV left anterior descending artery

    Ozdil Baskan

    2013-11-01

    Full Text Available Congenital coronary artery anomalies are uncommon. Dual left anterior descending coronary artery (LAD is defined as the presence of two LADs within the anterior interventricular sulcus (AIVS, and is classified into four types. Type IV is a rarely reported subtype and differs from the others, with a long LAD originating from the right coronary artery (RCA. Dual LAD is a benign coronary artery anomaly, but should be recognised especially before interventional procedures. With the increasing use of multidedector computed tomography (MDCT, it is essential for radiologists to be aware of this entity and the cross-sectional findings.

  20. Wind Farm Turbine Type and Placement Optimization

    Graf, Peter; Dykes, Katherine; Scott, George; Fields, Jason; Lunacek, Monte; Quick, Julian; Rethore, Pierre-Elouan

    2016-10-03

    The layout of turbines in a wind farm is already a challenging nonlinear, nonconvex, nonlinearly constrained continuous global optimization problem. Here we begin to address the next generation of wind farm optimization problems by adding the complexity that there is more than one turbine type to choose from. The optimization becomes a nonlinear constrained mixed integer problem, which is a very difficult class of problems to solve. This document briefly summarizes the algorithm and code we have developed, the code validation steps we have performed, and the initial results for multi-turbine type and placement optimization (TTP_OPT) we have run.