WorldWideScience

Sample records for 200kw multi-fuel type

  1. Development of a 200kW multi-fuel type PAFC power plant

    Energy Technology Data Exchange (ETDEWEB)

    Take, Tetsuo; Kuwata, Yutaka; Adachi, Masahito; Ogata, Tsutomu [NTT Integrated Information & Energy System Labs., Tokyo (Japan)

    1996-12-31

    Nippon Telegraph and Telephone Corporation (NFT) has been developing a 200 kW multi-fuel type PAFC power plant which can generate AC 200 kW of constant power by switching fuel from pipeline town gas to liquefied propane gas (LPG) and vice versa. This paper describes the outline of the demonstration test plant and test results of its fundamental characteristics.

  2. Multi-Fuel Rotary Engine for General Aviation Aircraft

    Science.gov (United States)

    Jones, C.; Ellis, D. R.; Meng, P. R.

    1983-01-01

    Design studies, conducted for NASA, of Advanced Multi-fuel General Aviation and Commuter Aircraft Rotary Stratified Charge Engines are summarized. Conceptual design studies of an advanced engine sized to provide 186/250 shaft KW/HP under cruise conditions at 7620/25,000 m/ft. altitude were performed. Relevant engine development background covering both prior and recent engine test results of the direct injected unthrottled rotary engine technology, including the capability to interchangeably operate on gasoline, diesel fuel, kerosene, or aviation jet fuel, are presented and related to growth predictions. Aircraft studies, using these resultant growth engines, define anticipated system effects of the performance and power density improvements for both single engine and twin engine airplanes. The calculated results indicate superior system performance and 30 to 35% fuel economy improvement for the Rotary-engine airplanes as compared to equivalent airframe concept designs with current baseline engines. The research and technology activities required to attain the projected engine performance levels are also discussed.

  3. Performance evaluation of open core gasifier on multi-fuels

    Energy Technology Data Exchange (ETDEWEB)

    Bhoi, P.R.; Singh, R.N.; Sharma, A.M.; Patel, S.R. [Thermo Chemical Conversion Division, Sardar Patel Renewable Energy Research Institute (SPRERI), Vallabh Vidyanagar 388 120, Gujarat (India)

    2006-06-15

    Sardar Patel renewable energy research institute (SPRERI) has designed and developed open core, throat-less, down draft gasifier and installed it at the institute. The gasifier was designed for loose agricultural residues like groundnut shells. The purpose of the study is to evaluate the gasifier on multi-fuels such as babul wood (Prosopis juliflora), groundnut shell briquettes, groundnut shell, mixture of wood (Prosopis juliflora) and groundnut shell in the ratio of 1:1 and cashew nut shell. The gasifier performance was evaluated in terms of fuel consumption rate, calorific value of producer gas and gasification efficiency. Gasification efficiency of babul wood (Prosopis juliflora), groundnut shell briquettes, groundnut shell, mixture of Prosopis juliflora and groundnut shell in the ratio of 1:1 and cashew nut shell were 72%, 66%, 70%, 64%, 70%, respectively. Study revealed that babul wood (Prosopis juliflora), groundnut shell briquettes, groundnut shell, mixture of wood (Prosopis juliflora) and groundnut shell in the ratio of 1:1 and cashew nut shell were satisfactorily gasified in open core down draft gasifier. The study also showed that there was flow problem with groundnut shell. (author)

  4. Results of 200 KW fuel cell evaluation programs

    Energy Technology Data Exchange (ETDEWEB)

    Torrey, J.M.; Merten, G.P. [SAIC, San Diego, CA (United States); Binder, M.J. [Army Construction Engineering Research Labs., Champaign, IL (United States)] [and others

    1996-12-31

    Science Applications International Corporation (SAIC) has installed six monitoring systems on ONSI Corporation 200 kW phosphoric acid fuel cells. Three of the systems were installed for the U.S. Army Construction Engineering Research Laboratories (USACERL) which is coordinating the Department of Defense (DoD) fuel cell Demonstration Program and three were installed under a contract with the New York State Energy Research and Development Authority (NYSERDA). Monitoring of the three NYSERDA sites has been completed. Monitoring systems for the DoD fuel cells were installed in August, 1996 and thus no operating data was available at the time of this writing, but will be presented at the Fuel Cell Seminar. This paper will present the monitoring configuration and research approach for each program. Additionally, summary performance data is presented for the completed NYSERDA program.

  5. State of the art: Multi-fuel reformers for automotive fuel cell applications. Problem identification and research needs

    Energy Technology Data Exchange (ETDEWEB)

    Westerholm, R. [Stockholm Univ. (Sweden). Dept. of Analytical Chemistry; Pettersson, L.J. [Royal Inst. of Tech., Stockholm (Sweden). Dept. of Chemical Engineering and Technology

    1999-12-01

    On an assignment from the Transport and Communications Research Board (KFB) a literature study and a study trip to the USA and Great Britain have been performed. The literature study and the study trip was made during late spring and autumn 1999.The purpose of the project was to collect available information about the chemical composition of the product gas from a multi-fuel reformer for a fuel cell vehicle. It was furthermore to identify problems and research needs. The report recommends directions for future major research efforts. The results of the literature study and the study trip led to the following general conclusions: With the technology available today it does not seem feasible to develop a highly efficient and reliable multi-fuel reformer for automotive applications, i. e. for applications where all types of fuels ranging from natural gas to heavy diesel fuels can be used. The potential for developing a durable and reliable system is considerably higher if dedicated fuel reformers are used.The authors propose that petroleum-derived fuels should be designed for potential use in mobile fuel cell applications. In the present literature survey and the site visit discussions we found that there are relatively low emissions from fuel cell engines compared to internal combustion engines. However, the major research work on reformers/fuel cells have been performed during steady-state operation. Emissions during start-up, shutdown and transient operation are basically unknown and must be investigated in more detail. The conclusions and findings in this report are based on open/available information, such as discussions at site visits, reports, scientific publications and symposium proceedings.

  6. A MultiAir®/MultiFuel Approach to Enhancing Engine System Efficiency

    Energy Technology Data Exchange (ETDEWEB)

    Reese, Ronald [Chrysler Group LLC., Auburn Hills, MI (United States)

    2015-05-20

    FCA US LLC (formally known as Chrysler Group LLC, and hereinafter “Chrysler”) was awarded an American Recovery and Reinvestment Act (ARRA) funded project by the Department of Energy (DOE) titled “A MultiAir®/MultiFuel Approach to Enhancing Engine System Efficiency” (hereinafter “project”). This award was issued after Chrysler submitted a proposal for Funding Opportunity Announcement DE-FOA- 0000079, “Systems Level Technology Development, Integration, and Demonstration for Efficient Class 8 Trucks (SuperTruck) and Advanced Technology Powertrains for Light-Duty Vehicles (ATP-LD).” Chrysler started work on this project on June 01, 2010 and completed testing activities on August 30, 2014. Overall objectives of this project were; Demonstrate a 25% improvement in combined Federal Test Procedure (FTP) City and Highway fuel economy over a 2009 Chrysler minivan; Accelerate the development of highly efficient engine and powertrain systems for light-duty vehicles, while meeting future emissions standards; and Create and retain jobs in accordance with the American Recovery and Reinvestment Act of 2009

  7. Evaluation of the performance of a multi-fuel domestic boiler with respect to the existing European standard and quality labels: Part-1

    Energy Technology Data Exchange (ETDEWEB)

    Verma, V.K.; De Ruyck, J. [Department Mechanical Engineering, Faculty of Applied Sciences, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel (Belgium); Bram, S. [Department Mechanical Engineering, Faculty of Applied Sciences, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel (Belgium); Department of Industrial Sciences and Technology, Erasmushoge school Brussel, Nijverheidskaai 170, 1070 Brussel (Belgium); Gauthier, G. [Unite de Thermodynamique et Turbomachines (TERM), Universite Catholique de Louvain (U.C.L.), 1348 Louvain-la-Neuve (Belgium)

    2011-01-15

    Emissions from a multi-fuel domestic boiler (40 kW), fired with nine different agro-biomass pellets have been compared. The pellets include apple pomace (Malus domestica), reed canary grass (Phalaris arundinacea), pectin waste from citrus shells (Citrus reticulata), sunflower husk (Helianthus annuus), peat, two types of straw pellets and two types of wood pellets. The measurements of emissions comprised carbon monoxide (CO), nitrogen oxides (NO{sub x}), unburned hydrocarbons (C{sub x}H{sub y}), sulphur oxides (SO{sub x}) and flue dust mass concentration (by DINplus and isokinetic sampling methods). Comparison of experimental emission values with relevant quality labels (Blue Angel and Swan Mark) and standard (EN-303-5) showed that the boiler satisfied the emissions requirements of Blue Angel, Swan Mark and EN-303-5 when using wood pellets-1 (except CO emission), reed canary grass and citrus pectin waste pellets as fuel at nominal load. The wood pellets-1 yielded the highest boiler efficiency of 92.4%. Dusts emission varied as a function of fine content and elemental constituent of the pellets and was the highest with sunflower husk. CO and C{sub x}H{sub y} emissions were maximum with peat pellets. NO{sub x} emissions were below the concerned permissible values with all experimental pellets. Emissions of NO{sub x} and SO{sub x} were found maximum with straw pellets. For agro-pellets, statistical differences in ash contents were significant. High ash contents and low ash melting temperature made straw pellets less suitable for domestic applications. Reed canary grass, citrus pectin and apple pellets were the most suitable agro-pellets for small scale boilers with reasonable less ash contents and less emissions as compared to others. (author)

  8. Analysis and effect of multi-fuel and practical constraints on economic load dispatch in the presence of Unified Power Flow Controller using UDTPSO

    Directory of Open Access Journals (Sweden)

    Chintalapudi V. Suresh

    2015-09-01

    Full Text Available This paper presents an attempt to analyze the effect of multi-fuel and practical constraints on economic load dispatch problem using a novel uniform distributed two-stage particle swarm optimization (UDTPSO algorithm without and with unified power flow controller (UPFC while satisfying equality, inequality, practical constraints such as ramp-rate and prohibited operating zone (POZ limits and device operating limits. A Novel severity function is formulated based on the transmission line overloads and bus voltage violations to identify an optimal location to install UPFC. A multi-objective optimization problem is solved for multi-fuel non-convex cost and transmission power loss objectives. Obtained results for considered standard test functions and electrical systems indicate the effectiveness of the proposed algorithm and can obtain efficient solution when compared to existing methods. Hence, the proposed method is a promising method and can be easily applied to optimize the power system objectives.

  9. Towards Multi Fuel SOFC Plant

    DEFF Research Database (Denmark)

    Rokni, Masoud; Clausen, Lasse Røngaard; Bang-Møller, Christian

    2011-01-01

    Complete Solid Oxide Fuel Cell (SOFC) plants fed by several different fuels are suggested and analyzed. The plants sizes are about 10 kW which is suitable for single family house with needs for both electricity and heat. Alternative fuels such as, methanol, DME (Di-Methyl Ether) and ethanol...... are also considered and the results will be compared with the base plant fed by Natural Gas (NG). A single plant design will be suggested that can be fed with methanol, DME and ethanol whenever these fuels are available. It will be shown that the plant fed by ethanol will have slightly higher electrical...... efficiency compared with other fuels. A methanator will be suggested to be included into the plants design in order to produce methane from the fuel before entering the anode side of the SOFC stacks. Increasing methane content will decrease the needed compressor effect and thereby increase the plant power....

  10. Deployable Fuel Cell Power Generator - Multi-Fuel Processor

    Science.gov (United States)

    2009-02-01

    apparent difference between the two investigations is the catalyst; however, the larger capacity of the packed-bed over that of microchannel reactor might...Steam Reforming Reactor and the Radiant Burner ................................................................... 7  6: Combustion Fuel Vaporizer...demonstrate the direct steam reforming concept. Packed-bed steam reforming reactor and coiled tube steam generator with radiant burners were used. The

  11. Session Types = Intersection Types + Union Types

    CERN Document Server

    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.

  12. Type-indexed data types

    OpenAIRE

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

  13. Blood Types

    Science.gov (United States)

    ... blood, safe blood transfusions depend on careful blood typing and cross-matching. The ABO Blood Group System ... that provided by the ABO positive/negative blood typing. For example, sometimes if the donor and recipient ...

  14. Blood typing

    Science.gov (United States)

    A blood sample is needed. The test to determine your blood group is called ABO typing. Your blood sample is mixed with antibodies against type A and B blood. Then, the sample is checked to see whether ...

  15. Type inference for correspondence types

    DEFF Research Database (Denmark)

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

    2009-01-01

    We present a correspondence type/effect system for authenticity in a π-calculus with polarized channels, dependent pair types and effect terms and show how one may, given a process P and an a priori type environment E, generate constraints that are formulae in the Alternating Least Fixed-Point (A...

  16. Type Tricks

    DEFF Research Database (Denmark)

    Beier, Sofie

    2017-01-01

    an expert as a typography professor, Sofie Beier knows exactly what the students need to know and how they can improve their skills. ‘Type Tricks’ is not only perfect for students, it also comes in handy for every type designer. It gives them the opportunity to reread information they were thaught at during...

  17. Type-indexed data types

    NARCIS (Netherlands)

    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

  18. Pollutant Types

    Science.gov (United States)

    Describes the types of air pollutants, including common or criteria pollutants, and hazardous air pollutants and links to additional information. Also links to resources on other air pollution issues.

  19. Type Inference for Guarded Recursive Data Types

    OpenAIRE

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

  20. type-0

    Directory of Open Access Journals (Sweden)

    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.

  1. Study on Model Based Combustion Control of Diesel Engine with Multi Fuel Injection

    Science.gov (United States)

    Ikemura, R.; Yamasaki, Y.; Kaneko, S.

    2016-09-01

    A controller for model-based control of diesel engine with triple injection were developed with a combustion model. In the combustion model, an engine cycle is discretized into several representative points in order to improve calculation speed, while physical equations are employed to expand the versatility. The combustion model can predict in-cylinder pressure and temperature in these discrete points. Prediction accuracy of the combustion model was evaluated by comparison with experimental result. A controller was designed with the combustion model in order to calculate optimal fuel injection pattern for controlling in-cylinder pressure peak timing. The controller's performance was evaluated through simulation in which the combustion model was used as a plant model.

  2. Plant Characteristics af a Multi-Fuel Sofc-Stirling Hybrid Configuration

    DEFF Research Database (Denmark)

    Rokni, Masoud

    2012-01-01

    is generated. Simulations for the proposed system were conducted using different fuels which facilitate use of variety of fuels depending on availability. Here, results for Natural Gas (NG), ammonia, Di-Methyl Ether (DME), methanol and ethanol are presented and analysed. System behaviour is further...... efficiency compared with the stand alone Stirling engine or SOFC plant. For the SOFC and Stirling combined configuration, the overall power production has increased by about 10% compared to the stand alone SOFC plant. System efficiencies of about 60% are achieved which is remarkable for such small plant...

  3. Multi-fuel furnace. Demonstration project. Final rapport; Multibraendselsovn - Demonstrationsprojekt. Slutrapport

    Energy Technology Data Exchange (ETDEWEB)

    Dall Bentzen, J.

    2012-06-15

    It has been verified that the Dall Energy Furnace have unique features: - The furnace will accept biomass fuel with moisture content in range 20% to 60% and still keep the flue gas temperature within +-10 deg. Celsius (for pre-set temperature 900 to 975 deg. Celsius); - The ash quality from the furnace is very good with no excessive sintering and without carbon in the ash; - Flue gas dust content at the furnace exit is below 50 mg/Nm3, while the content of NO{sub x} and CO is below 175 mg/Nm3 and 20 mg/Nm3, respectively. The Dall Energy biomass furnace consists of two separate stages which are combined in a single aggregate: an updraft gasification process and a gas combustion process. As the furnace is refractory lined and as the furnace can operate at low excess air it is possible to burn biomass with water content above 60%. No mechanical parts are used at temperatures above 200 deg. Celsius. This provides a very rugged system. In the gasifier section a combustible gas is produced with a low velocity at the top of the gasifier bed. This gas is combusted to a flue gas with extremely low dust content. Also, the NO{sub x} and CO content is very low. The temperature of the flue gas at the exit is kept low by injecting water spray together with the secondary air. (Author)

  4. Multi-Fuel oxidation in Solid Oxide Fuel Cells: Model anodes and system studies

    NARCIS (Netherlands)

    Patel, H.C.

    2015-01-01

    With the evolution of renewable energy technologies it has become necessary that a balance is found between power production with conventional energy sources and other long term solutions. SOFCs offer an alternative for utilising conventional fossil fuels as well as sustainable biomass derived fuels

  5. Type Classes for Lightweight Substructural Types

    Directory of Open Access Journals (Sweden)

    Edward Gan

    2015-02-01

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

  6. Guarded dependent type theory with coinductive types

    DEFF Research Database (Denmark)

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

  7. Blood Type Game

    Science.gov (United States)

    ... Blood > Blood Donor Community > Games > Blood Type Game Blood Type Game This feature requires version 6 or later ... many points as possible by matching the appropriate blood type of a donor to the blood type of ...

  8. Facts about Type 2

    Medline Plus

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

  9. Facts about Type 2

    Medline Plus

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

  10. Guarded dependent type theory with coinductive types

    DEFF Research Database (Denmark)

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

    2015-01-01

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

  11. Types of Breast Pumps

    Science.gov (United States)

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

  12. Facts about Type 2

    Medline Plus

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

  13. Types of Diabetes

    Science.gov (United States)

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

  14. Guarded Cubical Type Theory

    DEFF Research Database (Denmark)

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

    2016-01-01

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

  15. Guarded Cubical Type Theory

    DEFF Research Database (Denmark)

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

    2016-01-01

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

  16. Facts about Type 2

    Medline Plus

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

  17. Facts about Type 2

    Medline Plus

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

  18. Type XI Collagen

    DEFF Research Database (Denmark)

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

  19. Types and Automata

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Meineche Smidt, Erik

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

  20. Type checking with open type functions

    DEFF Research Database (Denmark)

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

    2008-01-01

    We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The contribution of the paper is that we identify and characterise the key technical challenge of entailment checking; an...

  1. Type Classes for Mathematics in Type Theory

    CERN Document Server

    Spitters, Bas

    2011-01-01

    The introduction of first-class type classes in the Coq system calls for re-examination of the basic interfaces used for mathematical formalization in type theory. We present a new set of type classes for mathematics and take full advantage of their unique features to make practical a particularly flexible approach formerly thought infeasible. Thus, we address both traditional proof engineering challenges as well as new ones resulting from our ambition to build upon this development a library of constructive analysis in which abstraction penalties inhibiting efficient computation are reduced to a minimum. The base of our development consists of type classes representing a standard algebraic hierarchy, as well as portions of category theory and universal algebra. On this foundation we build a set of mathematically sound abstract interfaces for different kinds of numbers, succinctly expressed using categorical language and universal algebra constructions. Strategic use of type classes lets us support these high...

  2. Multiparty Asynchronous Session Types

    DEFF Research Database (Denmark)

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

  3. Custodial Teacher Social Types.

    Science.gov (United States)

    Licata, Joseph W.

    Two types of teacher behavior were elicited from student responses to the Pupil Control Behavior Form (PCB). Two custodial teacher types emerged from the data: the "screamer" type, described as a teacher who controlled pupil behavior with verbal methods that expressed anger or frustration; and the "cold fish" type, depicted as a teacher who…

  4. Guarded Cubical Type Theory

    DEFF Research Database (Denmark)

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

    2016-01-01

    This paper improves the treatment of equality in guarded dependent type theory (GDTT), by combining it with cubical type theory (CTT). GDTT is an extensional type theory with guarded recursive types, which are useful for building models of program logics, and for programming and reasoning with co...

  5. Breast Cancer Types: What Your Type Means

    Science.gov (United States)

    ... tumor. Using a tissue sample from your breast biopsy or using your tumor if you've already undergone surgery, your medical team determines your breast cancer type. This information helps your doctor decide which treatment ...

  6. Multiparty Symmetric Sum Types

    DEFF Research Database (Denmark)

    Nielsen, Lasse; Yoshida, Nobuko; Honda, Kohei

    2010-01-01

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

  7. Advances in Blood Typing.

    Science.gov (United States)

    Quraishy, N; Sapatnekar, S

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

  8. Land Type Inventory

    Data.gov (United States)

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

  9. Blood Type Puzzle.

    Science.gov (United States)

    Kelly, Janet

    1997-01-01

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

  10. Unlocking Personality Type.

    Science.gov (United States)

    Tieger, Paul D.

    2002-01-01

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

  11. Facts about Type 2

    Medline Plus

    Full Text Available ... Know Your Rights Employment Discrimination Health Care Professionals Law Enforcement Driver's License For Lawyers Food & Fitness Home ... Care of Type 2 Diabetes This two-page introduction to type 2 diabetes is in PDF format ...

  12. Facts about Type 2

    Medline Plus

    Full Text Available ... instead of going into cells, it can cause two problems: Right away, your cells may be starved ... Materials — Taking Care of Type 2 Diabetes This two-page introduction to type 2 diabetes is in ...

  13. Types of Cardiomyopathy

    Science.gov (United States)

    ... page from the NHLBI on Twitter. Types of Cardiomyopathy The types of cardiomyopathy include: Hypertrophic cardiomyopathy Dilated ... cardiomyopathy Arrhythmogenic right ventricular cardiomyopathy Unclassified ... Cardiomyopathy Hypertrophic cardiomyopathy is very common and can affect ...

  14. Types of Ulcerative Colitis

    Science.gov (United States)

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

  15. Facts about Type 2

    Medline Plus

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

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... Your Plate Gluten Free Diets Meal Planning for Vegetarian Diets Cook with Heart-Healthy Foods Holiday Meal ... to later on. Some groups have a higher risk for developing type 2 diabetes than others. Type ...

  17. Types of Stem Cells

    Science.gov (United States)

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

  18. Types of Hemolytic Anemia

    Science.gov (United States)

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

  19. Different Types of Lupus

    Science.gov (United States)

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

  20. Facts about Type 2

    Medline Plus

    Full Text Available ... En Español Type 1 Type 2 About Us Online Community Meal Planning Sign In Search: Search More ... Generation of Brilliant Researchers Diabetes Pro: Professional Resources Online We Support Your Doctor Clinical Practice Guidelines Patient ...

  1. Unlocking Personality Type.

    Science.gov (United States)

    Tieger, Paul D.

    2002-01-01

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

  2. Types of chemotherapy

    Science.gov (United States)

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

  3. Facts about Type 2

    Medline Plus

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

  4. Refining Inductive Types

    CERN Document Server

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

  5. Facts about Type 2

    Medline Plus

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

  6. Facts about Type 2

    Medline Plus

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

  7. Diabetes Type 2

    Science.gov (United States)

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

  8. Osteogenesis imperfecta type V

    DEFF Research Database (Denmark)

    Rauch, Frank; Moffatt, Pierre; Cheung, Moira;

    2013-01-01

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

  9. Facts about Type 2

    Medline Plus

    Full Text Available ... Eating Overweight Smoking High Blood Pressure Physical Activity High Blood Glucose My Health Advisor Tools To Know Your Risk Alert Day Diabetes Basics Home Symptoms Diagnosis America's Diabetes Challenge Type 1 Type 2 Facts About Type 2 Enroll in ...

  10. Facts about Type 2

    Medline Plus

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

  11. Facts about Type 2

    Medline Plus

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

  12. Facts about Type 2

    Medline Plus

    Full Text Available ... Day Diabetes Basics Home Symptoms Diagnosis America's Diabetes Challenge Type 1 Type 2 Facts About Type 2 ... zone with Tough Mudder! Learn More: Take Ryan’s Challenge - 2017-03-d2sd.html Learn More Take Ryan’s ...

  13. Facts about Type 2

    Medline Plus

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

  14. Type Systems for Bigraphs

    DEFF Research Database (Denmark)

    Elsborg, Ebbe; Hildebrandt, Thomas; Sangiorgi, Davide

    of controls and a set of reaction rules, collectively a bigraphical reactive system (BRS). Possible advantages of developing bigraphical type systems include: a deeper understanding of a type system itself and its properties; transfer of the type systems to the concrete family of calculi that the BRS models...

  15. Types of Data Systems

    Science.gov (United States)

    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…

  16. Types of Data Systems

    Science.gov (United States)

    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…

  17. Guarded Type Promotion

    DEFF Research Database (Denmark)

    Winther, Johnni

    2011-01-01

    conditional using the instanceof operator and thus the cast type is redundantly mentioned twice. We propose a new typing rule for Java called Guarded Type Promotion aimed at eliminating the need for the explicit casts when guarded. This new typing rule is backward compatible and has been fully implemented...... in a Java 6 compiler. Through our extensive testing of real-life code we show that guarded casts account for approximately one fourth of all casts and that Guarded Type Promotion can eliminate the need for 95 percent of these guarded casts....

  18. Improving Precision of Types

    DEFF Research Database (Denmark)

    Winther, Johnni

    Types in programming languages provide a powerful tool for the programmer to document the code so that a large aspect of the intent can not only be presented to fellow programmers but also be checked automatically by compilers. The precision with which types model the behavior of programs...... is crucial to the quality of these automated checks, and in this thesis we present three different improvements to the precision of types in three different aspects of the Java programming language. First we show how to extend the type system in Java with a new type which enables the detection of unintended...... 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...

  19. Typing Manuscripts and Reports. Typing 13.

    Science.gov (United States)

    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…

  20. Interactions between Child Types and Classroom Types.

    Science.gov (United States)

    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…

  1. Large capacity, multi-fuel, and high temperature working fluid heaters to optimize CSP plant cost, complexity and annual generation

    Science.gov (United States)

    Peterseim, J. H.; Viscuso, L.; Hellwig, U.; McIntyre, P.

    2016-05-01

    This paper analyses the potential to optimize high temperature fluid back-up systems for concentrating solar power (CSP) plants by investigating the cost impact of component capacity and the impact of using multiple fuels on annual generation. Until now back-up heaters have been limited to 20MWth capacity but larger units have been realised in other industries. Installing larger units yields economy-of-scale benefits through improved manufacturing, optimised transport, and minimized on-site installation work. Halving the number of back-up boilers can yield cost reduction of 23% while minimizing plant complexity and on-site construction risk. However, to achieve these benefits it is important to adapt the back-up heaters to the plant's requirements (load change, capacity, minimum load, etc.) and design for manufacture, transport and assembly. Despite the fact that biomass availability is decreasing with increasing direct normal irradiance (DNI), some biomass is available in areas suitable for CSP plants. The use of these biomass resources is beneficial to maximise annual renewable energy generation, substitute natural gas, and use locally/seasonally available biomass resources that may not be used otherwise. Even small biomass quantities of only 50,000 t/a can increase the capacity factor of a 50MWe parabolic trough plant with 7h thermal energy storage from 40 to 49%. This is a valuable increase and such a concept is suitable for new plants and retrofit applications. However, similar to the capacity optimisation of back-up heaters, various design criteria have to be considered to ensure a successful project.

  2. Multi-fuel reformers for fuel cells used in transportation: Assessment of hydrogen storage technologies. Phase 2: Final report

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1995-05-01

    During Phase 1 of this program, the authors evaluated all known hydrogen storage technologies (including those that are now practiced and those that are development) in the context of fuel cell vehicles. They determined that among the development technologies, carbon sorbents could most benefit from closer scrutiny. During Phase 2 of this program, they tested ten different carbon sorbents at various practical temperatures and pressures, and developed the concept of the usable Capacity Ratio, which is the ratio of the mass of hydrogen that can be released from a carbon-filled tank to the mass of hydrogen that can be released from an empty tank. The authors also commissioned the design, fabrication, and NGV2 (Natural Gas Vehicle) testing of an aluminum-lined, carbon-composite, full-wrapped pressure vessel to store hydrogen at 78 K and 3,000 psi. They constructed a facility to pressure cycle the tank at 78 K and to temperature cycle the tank at 3,000 psi, tested one such tank, and submitted it for a burst test. Finally, they devised a means by which cryogenic compressed hydrogen gas tanks can be filled and discharged using standard hardware--that is, without using filters, valves, or pressure regulators that must operate at both low temperature and high pressure. This report describes test methods and test results of carbon sorbents and the design of tanks for cold storage. 7 refs., 91 figs., 10 tabs.

  3. Mastering TypeScript

    CERN Document Server

    Rozentals, Nathan

    2015-01-01

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

  4. Types of biological variables.

    Science.gov (United States)

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

    2017-06-01

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

  5. TypeScript revealed

    CERN Document Server

    Maharry, Dan

    2013-01-01

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

  6. Tukey types of ultrafilters

    CERN Document Server

    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.

  7. Types of Foreign Aid

    DEFF Research Database (Denmark)

    Bjørnskov, Christian

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

  8. Facts about Type 2

    Medline Plus

    Full Text Available ... Stop Diabetes at School Tour de Cure Women's Series Destination Races Do-It-Yourself Fundraising Become a ... Chat Closed engagement en -- Free Type 2 Education Series - 2017-06-free-type-2-education-series.html ...

  9. Beyond Type D personality

    DEFF Research Database (Denmark)

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

    2009-01-01

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

  10. Types of OI

    Science.gov (United States)

    ... a spontaneous mutation. Spontaneous mutations are common. Biochemical tests on cultured skin fibroblasts show a lower-than-normal amount of type I collagen. Collagen structure is normal. People with OI Type I experience the psychological burden of appearing normal and healthy to the ...

  11. Diabetes Type 1

    Science.gov (United States)

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

  12. Molecular Typing and Differentiation

    Science.gov (United States)

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

  13. Facts about Type 2

    Medline Plus

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

  14. Types of Heart Failure

    Science.gov (United States)

    ... 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. Beyond Type D personality

    DEFF Research Database (Denmark)

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

    2009-01-01

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

  16. Types of Myelodysplastic Syndromes

    Science.gov (United States)

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

  17. Typed links in Webvise

    DEFF Research Database (Denmark)

    1999-01-01

    We extended the Webvise open hypermedia system with support for typed links.  The ECDL'99 paper describes these extensions.......We extended the Webvise open hypermedia system with support for typed links.  The ECDL'99 paper describes these extensions....

  18. Flash-Type Discrimination

    Science.gov (United States)

    Koshak, William J.

    2010-01-01

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

  19. Personality types of dentists.

    Science.gov (United States)

    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. Blood-type distribution

    Science.gov (United States)

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

    2007-01-01

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

  1. New mutation type in pseudohypoparathyroidism type Ia.

    Science.gov (United States)

    Fernandez-Rebollo, Eduardo; Barrio, Raquel; Pérez-Nanclares, Gustavo; Carcavilla, Atilano; Garin, Intza; Castaño, Luis; de Nanclares, Guiomar Pérez

    2008-11-01

    The GNAS gene encodes the alpha-subunit of the stimulatory G proteins, which play a crucial role in intracellular signal transduction of peptide and neurotransmitter receptors. Heterozygous inactivating maternally inherited mutations of GNAS (including translation initiation mutations, amino acid substitutions, nonsense mutations, splice site mutations and small insertions or deletions) lead to a phenotype in which Albright hereditary osteodystrophy is associated with pseudohypoparathyroidism type Ia. We sought to identify the molecular defect in a patient who was thought to have PHP-Ia. The GNAS gene of a 5-year-old boy with brachydactily, mental retardation, pseudohypoparathyroidism and congenital hypothyroidism was investigated. We found a heterozygous inversion of exon 2 and part of intron 1 of de novo origin. Molecular studies of cDNA from blood RNA demonstrated that both the normal and the mutant variants were stable and that new splice-sites were generated. This report demonstrates the first evidence for an inversion at the GNAS gene responsible of pseudohypoparathyroidism type Ia.

  2. Parametric Compositional Data Types

    DEFF Research Database (Denmark)

    Bahr, Patrick; Hvitved, Tom

    2012-01-01

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

  3. Type 2 diabetes models

    DEFF Research Database (Denmark)

    Gram, Dorte Xenia

    2012-01-01

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

  4. Griscelli syndrome type-3

    Directory of Open Access Journals (Sweden)

    Bela J Shah

    2016-01-01

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

  5. Making Type Inference Practical

    DEFF Research Database (Denmark)

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

    1992-01-01

    We present the implementation of a type inference algorithm for untyped object-oriented programs with inheritance, assignments, and late binding. The algorithm significantly improves our previous one, presented at OOPSLA'91, since it can handle collection classes, such as List, in a useful way. Abo....... 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...

  6. Type-II Leptogenesis

    CERN Document Server

    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.

  7. The type III manufactory

    CERN Document Server

    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.

  8. Facts about Type 2

    Medline Plus

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

  9. Facts about Type 2

    Medline Plus

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

  10. Facts about Type 2

    Medline Plus

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

  11. Facts about Type 2

    Medline Plus

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

  12. Types of Pulmonary Hypertension

    Science.gov (United States)

    ... from the NHLBI on Twitter. Types of Pulmonary Hypertension The World Health Organization divides pulmonary hypertension (PH) ... are called pulmonary hypertension.) Group 1 Pulmonary Arterial Hypertension Group 1 PAH includes: PAH that has no ...

  13. Facts about Type 2

    Medline Plus

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

  14. Facts about Type 2

    Medline Plus

    Full Text Available ... Living WIth Type 2 Diabetes Program Gestational What is Gestational Diabetes? How to Treat Gestational Diabetes Genetics ... battle diabetes and every 23 seconds someone new is diagnosed. Diabetes causes more deaths a year than ...

  15. Facts about Type 2

    Medline Plus

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

  16. Type VI secretion system.

    Science.gov (United States)

    Salomon, Dor; Orth, Kim

    2015-03-30

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

  17. Types of Hearing Aids

    Science.gov (United States)

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

  18. Facts about Type 2

    Medline Plus

    Full Text Available ... Funding the Next Generation of Brilliant Researchers Diabetes Pro: Professional Resources Online We Support Your Doctor Clinical ... Type 2 Diabetes Recipes for Healthy Living Diabetes Pro: Professional Resources Shop Diabetes » Close nonprofit software

  19. Facts about Type 2

    Medline Plus

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

  20. Description of vegetation types

    Data.gov (United States)

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

  1. Facts about Type 2

    Medline Plus

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

  2. Facts about Type 2

    Medline Plus

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

  3. Facts about Type 2

    Medline Plus

    Full Text Available ... an Employer Options for the Uninsured Medicare Medicaid & CHIP For Parents & Kids Safe at School Everyday Life ... form of diabetes. In type 2 diabetes, your body does not use insulin properly. This is called ...

  4. Facts about Type 2

    Medline Plus

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

  5. Facts about Type 2

    Medline Plus

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

  6. Type 1 diabetes

    DEFF Research Database (Denmark)

    Green, Anders; Kyvik, Kirsten Ohm

    2001-01-01

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

  7. Facts about Type 2

    Medline Plus

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

  8. Facts about Type 2

    Medline Plus

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

  9. Types of Pesticide Ingredients

    Science.gov (United States)

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

  10. Types of Crude Oil

    Science.gov (United States)

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

  11. Facts about Type 2

    Medline Plus

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

  12. Facts about Type 2

    Medline Plus

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

  13. Facts about Type 2

    Medline Plus

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

  14. Facts about Type 2

    Medline Plus

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

  15. Facts about Type 2

    Medline Plus

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

  16. Facts about Type 2

    Medline Plus

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

  17. Types of Hypotension

    Science.gov (United States)

    ... drops much lower in shock than in other types of hypotension. Many factors can cause shock. Examples include major blood loss, certain severe ... FEAR ACT OIG CONTACT US National Institutes of Health ...

  18. Facts about Type 2

    Medline Plus

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

  19. Facts about Type 2

    Medline Plus

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

  20. Facts about Type 2

    Medline Plus

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

  1. Facts about Type 2

    Medline Plus

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

  2. Types of Heart Surgery

    Science.gov (United States)

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

  3. Facts about Type 2

    Medline Plus

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

  4. Facts about Type 2

    Medline Plus

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

  5. Facts about Type 2

    Medline Plus

    Full Text Available ... insulin to keep your blood glucose levels normal. Type 2 is treated with lifestyle changes, oral medications (pills), and insulin. When glucose builds up in the blood instead of going into cells, ...

  6. Facts about Type 2

    Medline Plus

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

  7. Tissue types (image)

    Science.gov (United States)

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

  8. Facts about Type 2

    Medline Plus

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

  9. Facts about Type 2

    Medline Plus

    Full Text Available ... for the Uninsured Medicare Medicaid & CHIP For Parents & Kids Safe at School Everyday Life Children and Type 2 Diabetes Know Your Rights Employment Discrimination Health Care Professionals ...

  10. Type 1 diabetes

    DEFF Research Database (Denmark)

    Green, Anders; Kyvik, Kirsten Ohm

    2001-01-01

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

  11. Facts about Type 2

    Medline Plus

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

  12. Parametric compositional data types

    DEFF Research Database (Denmark)

    Bahr, Patrick; Hvitved, Tom

    2012-01-01

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

  13. Type Families with Class, Type Classes with Family

    DEFF Research Database (Denmark)

    Serrano, Alejandro; Hage, Jurriaan; Bahr, Patrick

    2015-01-01

    Type classes and type families are key ingredients in Haskell programming. Type classes were introduced to deal with ad-hoc polymorphism, although with the introduction of functional dependencies, their use expanded to type-level programming. Type families also allow encoding type-level functions...

  14. Types of quantum information

    OpenAIRE

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

  15. Type extension trees

    DEFF Research Database (Denmark)

    Jaeger, Manfred

    2006-01-01

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

  16. Type extension trees

    DEFF Research Database (Denmark)

    Jaeger, Manfred

    2006-01-01

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

  17. LMFBR type reactor

    Energy Technology Data Exchange (ETDEWEB)

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

  18. [Type 2 diabetes complications].

    Science.gov (United States)

    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.

  19. Interplanetary Type IV Bursts

    CERN Document Server

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

  20. Play the Blood Typing Game

    Science.gov (United States)

    ... Nobel's Life and Work Teachers' Questionnaire The Blood Typing Game What happens if you get a blood ... learn about human blood types! Play the Blood Typing Game About this game Embed the Blood Typing ...

  1. Interplanetary Type IV Bursts

    Science.gov (United States)

    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

  2. Geodesic order types

    OpenAIRE

    Aichholzer, Oswin; Korman Cozzetti, Matías; Pilz, Alexander; Vogtenhuber, Birgit

    2014-01-01

    The geodesic between two points a and b in the interior of a simple polygon P is the shortest polygonal path inside P that connects a to b. It is thus the natural generalization of straight line segments on unconstrained point sets to polygonal environments. In this paper we use this extension to generalize the concept of the order type of a set of points in the Euclidean plane to geodesic order types. In particular, we show that, for any set S of points and an ordered subset of at least four...

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

    DEFF Research Database (Denmark)

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

    2014-01-01

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

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

    DEFF Research Database (Denmark)

    Huttel, Hans; Graversen, Eva Fajstrup; Wahl, Sebastian

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

  5. TypeScript essentials

    CERN Document Server

    Nance, Christopher

    2014-01-01

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

  6. Compositional data types

    DEFF Research Database (Denmark)

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

  7. Compiling with Types

    Science.gov (United States)

    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

  8. Facts about Type 2

    Medline Plus

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

  9. Facts about Type 2

    Medline Plus

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

  10. Simply—typed Underdeterminism

    Institute of Scientific and Technical Information of China (English)

    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.

  11. Compositional data types

    DEFF Research Database (Denmark)

    Bahr, Patrick; Hvitved, Tom

    2011-01-01

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

  12. Type 2 diabetes mellitus

    DEFF Research Database (Denmark)

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

    2015-01-01

    Type 2 diabetes mellitus (T2DM) is an expanding global health problem, closely linked to the epidemic of obesity. Individuals with T2DM are at high risk for both microvascular complications (including retinopathy, nephropathy and neuropathy) and macrovascular complications (such as cardiovascular...

  13. Facts about Type 2

    Medline Plus

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

  14. Facts about Type 2

    Medline Plus

    Full Text Available ... Professional Books Patient Access to Research Student Resources History of Diabetes Resources for School Projects How to Reference Our ... most common form of diabetes. In type 2 diabetes, your body does not use insulin properly. This is called insulin resistance. At first, ...

  15. Facts about Type 2

    Medline Plus

    Full Text Available ... levels may hurt your eyes, kidneys, nerves or heart. Some people with type 2 can control their blood glucose with healthy eating and being active. But, your doctor may need to also prescribe oral medications or insulin to help you meet your target ...

  16. Facts about Type 2

    Medline Plus

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

  17. TWO TYPES OF EDUCATION

    Institute of Scientific and Technical Information of China (English)

    卫子辰

    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.

  18. Plaque Type Blue Naevus

    Directory of Open Access Journals (Sweden)

    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.

  19. Facts about Type 2

    Medline Plus

    Full Text Available ... Starchy Vegetables Fats Alcohol What Can I Drink? Fruit Dairy Food Tips Eating Out Quick Meal Ideas Snacks Nutrient Content Claims Understanding Carbohydrates Types of Carbohydrates Carbohydrate Counting Make Your Carbs Count Glycemic Index Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & ...

  20. Compositional data types

    DEFF Research Database (Denmark)

    Bahr, Patrick; Hvitved, Tom

    2011-01-01

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

  1. [C4 type photosynthesis].

    Science.gov (United States)

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

    2012-01-01

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

  2. Facts about Type 2

    Medline Plus

    Full Text Available ... Diabetes Meal Plans Create Your Plate Gluten Free Diets Meal Planning for Vegetarian Diets Cook with Heart-Healthy Foods Holiday Meal Planning ... Safely Get And Stay Fit Types of Activity Weight Loss Assess Your Lifestyle Getting Started Food Choices ...

  3. Teaching to the Type

    Science.gov (United States)

    Tucker, Maggie

    2008-01-01

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

  4. Facts about Type 2

    Medline Plus

    Full Text Available ... org > Diabetes Basics > Type 2 Share: Print Page Text Size: A A A Listen En Español Facts ... 2 Recently Diagnosed Treatment and Care Blood Glucose Control Complications Medication Doctors, Nurses & More Enroll ... Cost of Diabetes Advocate Toolkit Call to Congress Research & ...

  5. Type 2 Diabetes

    Science.gov (United States)

    ... glucose, the body uses alternative fuels stored in muscle and fat. Calories are lost as excess glucose is released ... are. Age. The risk of type 2 diabetes increases as you get older, ... tend to exercise less, lose muscle mass and gain weight as they age. But ...

  6. Facts about Type 2

    Medline Plus

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

  7. [Definition of shock types].

    Science.gov (United States)

    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.

  8. Action Type Deontic Logic

    DEFF Research Database (Denmark)

    Bentzen, Martin Mose

    2014-01-01

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

  9. Types of Ubiquitin Ligases.

    Science.gov (United States)

    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.

  10. Types du Caucase

    OpenAIRE

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

  11. Unobscured Type 2 AGNs

    CERN Document Server

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

  12. Beyond trial types.

    Science.gov (United States)

    Dyrholm, Mads; Vangkilde, Signe; Bundesen, Claus

    2015-05-01

    Conventional wisdom on psychological experiments has held that when one or more independent variables are manipulated it is essential that all other conditions are kept constant such that confounding factors can be assumed negligible (Woodworth, 1938). In practice, the latter assumption is often questionable because it is generally difficult to guarantee that all other conditions are constant between any two trials. Therefore, the most common way to check for confounding violations of this assumption is to split the experimental conditions in terms of "trial types" to simulate a reduction of unintended trial-by-trial variation. Here, we pose a method which is more general than the use of trial types: use of mathematical models treating measures of potentially confounding factors and manipulated variables as equals on the single-trial level. We show how the method can be applied with models that subsume under the generalized linear item response theory (GLIRT), which is the case for most of the well-known psychometric models (Mellenbergh, 1994). As an example, we provide a new analysis of a single-letter recognition experiment using a nested likelihood ratio test that treats manipulated and measured variables equally (i.e., in exactly the same way) on the single-trial level. The test detects a confounding interaction with time-on-task as a single-trial measure and yields a substantially better estimate of the effect size of the main manipulation compared with an analysis made in terms of trial types.

  13. Type Safe Extensible Programming

    Science.gov (United States)

    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.

  14. Hyperprolinemia Type IA

    Directory of Open Access Journals (Sweden)

    Piero Pavone MD

    2017-05-01

    Full Text Available Objective: Hyperprolinemia type I (HPI is a rare and inherited autosomal recessive disorder caused by proline oxidase deficiency. Hyperprolinemia type 1 is biochemically defined as high plasma proline levels without urinary Δ-1-pyrroline-5-carboxylate excretion. Hyperprolinemia type 1 has been considered a benign metabolic disorder, but a relationship with neurological disorders has recently been suggested. Study Design: We retrospectively analyzed plasma amino acid values obtained by amino acid analysis from 10 030 children admitted for neurological reasons during the years 1996 to 2010 at the Regional Sicilian Centre for Metabolic Diseases. Patients with proline levels above the normal range of 129 to 245 μM were identified. Results: Only 2 children showed high levels of proline (450-480 μM and 380-470 μM, respectively, but their disorders (tubercular neuroencephalitis and progressive mitochondrial encephalopathy did not seem to be related to hyperprolinemia as a causative factor. Conclusion: The question of HPI as benign metabolic anomaly or as a direct cause of brain damage is still open. Since HPI is rare, other observations on this regard are necessary.

  15. Self-Assessments of Five Types of Typing Ability.

    Science.gov (United States)

    Ash, Ronald A.

    1980-01-01

    Examined the usefulness of self-assessments of typing ability. Self-assessment of straight copy typing ability emerged as the best predictor of tested typing ability. Minority group members were generally less accurate in self-assessment of their typing ability. Presented at the Annual Convention of the American Psychological Association, Toronto,…

  16. Composing and decomposing data types

    DEFF Research Database (Denmark)

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

  17. Laryngeal cleft type 1

    Directory of Open Access Journals (Sweden)

    Danilo de Assis Pereira

    2015-06-01

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

  18. Type 1 autoimmune pancreatitis

    Directory of Open Access Journals (Sweden)

    Zen Yoh

    2011-12-01

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

  19. Type 1 narcolepsy

    DEFF Research Database (Denmark)

    Degn, Matilda; Kornum, Birgitte Rahbek

    2015-01-01

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

  20. Spinocerebellar ataxia type 6.

    Science.gov (United States)

    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.

  1. Exploring legacy systems using types

    NARCIS (Netherlands)

    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.

  2. Efficient Type Representation in TAL

    Science.gov (United States)

    Chen, Juan

    2009-01-01

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

  3. Enteroendocrine cell types revisited

    DEFF Research Database (Denmark)

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

    2013-01-01

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

  4. Type 1 Tyrosinaemia

    LENUS (Irish Health Repository)

    Mannion, MA

    2016-06-01

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

  5. Mechanoluminescent Contact Type Sensor

    Directory of Open Access Journals (Sweden)

    A. K. Yefremov

    2017-01-01

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

  6. Pragmatic phenomenological types.

    Science.gov (United States)

    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.

  7. Typewriting: Is Problem Typing Synonymous with Production Typing?

    Science.gov (United States)

    Stoddard, Ted D.; Stoddard, Lucille T.

    1977-01-01

    Notes that in a good production typing program that builds significant keystroking skills along with high-level production skills, quality of typing work plus the time required to complete that quality work must be adequately reflected. Essential conditions of production typing are outlined. (HD)

  8. Calderon type reproducing formula on spaces of homogeneous type

    Institute of Scientific and Technical Information of China (English)

    邓东皋; 韩永生

    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.

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

    Science.gov (United States)

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

    2010-06-01

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

  10. Tornado type wind turbines

    Science.gov (United States)

    Hsu, Cheng-Ting

    1984-01-01

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

  11. Neurofibromatosis Type II

    Directory of Open Access Journals (Sweden)

    Akram Kasiri Ghahi

    2003-08-01

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

  12. LMFBR type reactor

    Energy Technology Data Exchange (ETDEWEB)

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

  13. LMFBR type reactor

    Energy Technology Data Exchange (ETDEWEB)

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

  14. Treatise on intuitionistic type theory

    CERN Document Server

    Granström, Johan Georg

    2011-01-01

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

  15. Organ Type and Waiting Time

    Science.gov (United States)

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

  16. OF NIGERIAN TYPE 2 DIABETICS

    African Journals Online (AJOL)

    impact of a parental history of Type 2 DM on anthropometric measurements known to govern glucose tolerance was examined in ... body fat distribution and insulin resistance. ..... ponderance of enlarged fat cells in this type of adipose tissue.

  17. Computing effects for correspondence types

    OpenAIRE

    2010-01-01

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

  18. Presenting symptoms in type 1 vs. type 2 myocardial infarction

    DEFF Research Database (Denmark)

    Saaby, L.; Sarkisian, Laura; Poulsen, T. S.

    2015-01-01

    had to be present. Results: During the inclusion period 360 patients with a type 1 MI were indentified, whereas 119 patients had a type 2 MI. As shown in the Table patients with type 1 MI more frequently had chest pain/discomfort than type 2 MI patients. However, patients with type 2 MI more often....... type 2 MI. Methods: During January 2010-January 2011 unselected patients admitted to a single hospital with a catchment area of 300.000 residents were studied. All patients having cardiac troponin I measured on clinical indication were considered and had a supplementary history taken with focus...... symptom in patients with type 2 MI appears to be dyspnea. (Table Presented )....

  19. COMPRESSOR TYPE OZONATOR

    Directory of Open Access Journals (Sweden)

    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

  20. Lectin typing of Campylobacter concisus

    DEFF Research Database (Denmark)

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

    2002-01-01

    A total of 44 clinical isolates and the type strain of the putative pathogen Campylobacter concisus were grouped based on their reactions with plant lectins. The optimized lectin typing system used C. concisus strains proteolytically pretreated and subsequently typed by using a panel of four...

  1. Type inference for COBOL systems

    NARCIS (Netherlands)

    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

  2. Computing effects for correspondence types

    DEFF Research Database (Denmark)

    Hüttel, Hans

    2010-01-01

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

  3. Mucopolysaccharidosis type I.

    Science.gov (United States)

    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

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

    Institute of Scientific and Technical Information of China (English)

    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.

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

    Institute of Scientific and Technical Information of China (English)

    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.

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

    Science.gov (United States)

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

    2016-12-01

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

  7. Type System in Programming Languages

    Institute of Scientific and Technical Information of China (English)

    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.

  8. Types for BioAmbients

    CERN Document Server

    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.

  9. Type System in Programming Languages

    Institute of Scientific and Technical Information of China (English)

    蒋慧; 林东; 等

    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.

  10. Types for BioAmbients

    Directory of Open Access Journals (Sweden)

    Sara Capecchi

    2010-02-01

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

  11. Genus distribution of ladder type and cross type graphs

    Institute of Scientific and Technical Information of China (English)

    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.

  12. Genus distribution of ladder type and cross type graphs

    Institute of Scientific and Technical Information of China (English)

    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.

  13. Type-safe pattern combinators

    DEFF Research Database (Denmark)

    Rhiger, Morten

    2009-01-01

    Macros still haven't made their way into typed higher-order programming languages such as Haskell and Standard ML. Therefore, to extend the expressiveness of Haskell or Standard ML, one must express new linguistic features in terms of functions that fit within the static type systems of these lan...... of these languages. This is particularly challenging when introducing features that span across multiple types and that bind variables. We address this challenge by developing, in a step by step manner, mechanisms for encoding patterns and pattern matching in Haskell in a type-safe way....

  14. Management of type IIb dyslipidemia.

    Science.gov (United States)

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

    2012-01-01

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

  15. Linear contextual modal type theory

    DEFF Research Database (Denmark)

    Schack-Nielsen, Anders; Schürmann, Carsten

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

  16. Equations of the mixed type

    CERN Document Server

    Bitsadze, A V

    1963-01-01

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

  17. A Type System for Tom

    Directory of Open Access Journals (Sweden)

    Claude Kirchner

    2010-03-01

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

  18. Types for DSP Assembler Programs

    DEFF Research Database (Denmark)

    Larsen, Ken

    2006-01-01

    for reuse, and a procedure that computes point-wise vector multiplication. The latter uses a common idiom of prefetching memory resulting in out-of-bounds reading from memory. I present two extensions to the baseline type system: The first extension is a simple modification of some type rules to allow out...... 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...

  19. Bilateral Hardy-type Inequalities

    Institute of Scientific and Technical Information of China (English)

    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.

  20. Object-Oriented Type Inference

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    1991-01-01

    We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, annotates the program with type information, allows polymorphic methods, and can be used as the basis of an op-timizing......We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, annotates the program with type information, allows polymorphic methods, and can be used as the basis of an op...

  1. A Minimal Propositional Type Theory

    CERN Document Server

    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.

  2. Completeness in Hybrid Type Theory

    DEFF Research Database (Denmark)

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

    2014-01-01

    We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types...... 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...

  3. Florence Nightingale: her personality type.

    Science.gov (United States)

    Dossey, Barbara M

    2010-03-01

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

  4. Java type unification with wild cards

    OpenAIRE

    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

  5. Safety Analysis versus Type Inference with Partial Types

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    1992-01-01

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

  6. Types of subtalar joint facets.

    Science.gov (United States)

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

    2015-08-01

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

  7. Object-Oriented Type Systems

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    binding. Existing languages employ different type systems, and it can be difficult to compare, evaluate and improve them, since there is currently no uniform theory for such languages. This book provides such a theory. The authors review the type systems of Simula, Smalltalk, C++ and Eiffel and present...

  8. Typed combinators for generic traversal

    NARCIS (Netherlands)

    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,

  9. Type Inference of Turbo Pascal

    DEFF Research Database (Denmark)

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

    1995-01-01

    of Turbo Pascal. It has the form of a preprocessor that analyzes programs in which the type annotations are only partial or even absent. The resulting program has full type annotations, will be accepted by the standard Turbo Pascal compiler, and has polymorphic use of procedures resolved by means of code...

  10. Paranormal weighted conditional type operators

    OpenAIRE

    Estaremi, Yousef

    2014-01-01

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

  11. Homological Type of Geometric Transitions

    CERN Document Server

    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.

  12. Types of Cancer Teens Get

    Science.gov (United States)

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

  13. Type-Directed Partial Evaluation

    DEFF Research Database (Denmark)

    Danvy, Olivier

    1998-01-01

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

  14. Type 1 Diabetes and Sleep.

    Science.gov (United States)

    Farabi, Sarah S

    2016-02-01

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

  15. Moment Distributions of Phase Type

    DEFF Research Database (Denmark)

    Bladt, Mogens; Nielsen, Bo Friis

    2011-01-01

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

  16. Type-Directed Partial Evaluation

    DEFF Research Database (Denmark)

    Danvy, Olivier

    1998-01-01

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

  17. Brauer algebras of type B

    NARCIS (Netherlands)

    Cohen, A.M.; Liu, S.

    2015-01-01

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

  18. The Spindle Type Cotton Harvester

    Science.gov (United States)

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

  19. Type specimen studies in Pleurotus

    NARCIS (Netherlands)

    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

  20. Type-2 fuzzy fractional derivatives

    Science.gov (United States)

    Mazandarani, Mehran; Najariyan, Marzieh

    2014-07-01

    In this paper, we introduce two definitions of the differentiability of type-2 fuzzy number-valued functions of fractional order. The definitions are in the sense of Riemann-Liouville and Caputo derivative of order β ɛ (0, 1), and based on type-2 Hukuhara difference and H2-differentiability. The existence and uniqueness of the solutions of type-2 fuzzy fractional differential equations (T2FFDEs) under Caputo type-2 fuzzy fractional derivative and the definition of Laplace transform of type-2 fuzzy number-valued functions are also given. Moreover, the approximate solution to T2FFDE by a Predictor-Evaluate-Corrector-Evaluate (PECE) method is presented. Finally, the approximate solutions of two examples of linear and nonlinear T2FFDEs are obtained using the PECE method, and some cases of T2FFDEs applications in some sciences are presented.

  1. DNA typing by capillary electrophoresis

    Energy Technology Data Exchange (ETDEWEB)

    Zhang, N.

    1997-10-08

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

  2. Personality types of oncology nurses.

    Science.gov (United States)

    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.

  3. Intersection Types and Related Systems

    Directory of Open Access Journals (Sweden)

    Paweł Parys

    2017-02-01

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

  4. Theoretical models for Type I and Type II supernova

    Energy Technology Data Exchange (ETDEWEB)

    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.

  5. Type-II Weyl semimetals.

    Science.gov (United States)

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

    2015-11-26

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

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

    Directory of Open Access Journals (Sweden)

    Horvat Branka

    2008-02-01

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

  7. Groundwater types in Southeast Srem

    Directory of Open Access Journals (Sweden)

    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.

  8. Operational Semantics of Termination Types

    DEFF Research Database (Denmark)

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

  9. User Types in Online Applications

    Directory of Open Access Journals (Sweden)

    Ion IVAN

    2011-08-01

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

  10. Types of Treatment: Clinical Trials

    Science.gov (United States)

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

  11. Allegheny County Soil Type Areas

    Data.gov (United States)

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

  12. HRD in "Z" Type Companies.

    Science.gov (United States)

    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)

  13. [Surgery for diabetes type 2?].

    Science.gov (United States)

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

    2010-02-17

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

  14. Allegheny County Soil Type Areas

    Data.gov (United States)

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

  15. Play the Blood Typing Game

    Science.gov (United States)

    ... Life and Work Teachers' Questionnaire The Blood Typing Game What happens if you get a blood transfusion ... of the game 2012 Winner of the Best Game Category by Swedish Learning Awards " The winner has ...

  16. Types of Arrhythmia in Children

    Science.gov (United States)

    ... If an abnormal rhythm occurs, it's important to find out what kind it is. Treatment recommendations depend on its type. Arrhythmias can cause the heart rate to be irregular, fast or slow ( View an animation of arrhythmia ). Fast ...

  17. Types of Managed Care Plans

    Science.gov (United States)

    ... Size Email Print Share Types of Managed Care Plans Page Content Article Body ​Managed care plans have ... to any deductible you must meet. High Deductible Plans (HDP): HDPs, also known as consumer directed health ...

  18. LABORATORY FERMENTERS OF CAPACITY TYPE

    National Research Council Canada - National Science Library

    Yu I Sidorov

    2012-01-01

    ...) of a capacity type with mixing devices that are intended for the cultivation of prokaryotes and also vegetable, animal, and insect cells, which the following firms such as Sartorius BBI Systems, New...

  19. Forest Cover Types - Direct Download

    Data.gov (United States)

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

  20. Moment Distributions of Phase Type

    DEFF Research Database (Denmark)

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

  1. Autoimmune Polyglandular Syndrome Type 1

    OpenAIRE

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

  2. Text Type and Translation Strategy

    Institute of Scientific and Technical Information of China (English)

    刘福娟

    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.

  3. Familial episodic ataxia type II.

    Science.gov (United States)

    Mugundhan, K; Thiruvarutchelvan, K; Sivakumar, S

    2011-10-01

    The familial episodic ataxia type II is a rare, dominantly inherited disease characterized by episodes of ataxia of early onset, often with completely normal cerebellar function between attacks. We report a family with affected members who had features of episodic ataxia type II and cerebellar atrophy on MRI imaging. All the affected members were successfully treated with acetazolamide, a carbonic anhydrase inhibitor. They are asymptomatic at 2 year follow-up.

  4. Sun and Other Types of Radiation

    Science.gov (United States)

    ... 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. Spinocerebellar Ataxia Type 10 (SCA10)

    Science.gov (United States)

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

  6. Spinocerebellar Ataxia Type 5 (SCA5)

    Science.gov (United States)

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

  7. Study for application of multi fuel technology in the Brazilian automobilistic market; Estudo para aplicacao da tecnologia multi combustivel no mercado automobilistico brasileiro

    Energy Technology Data Exchange (ETDEWEB)

    Gasparotto, Alexsander David [FIAT/GM Powertrain (Brazil); Massarani, Marcelo [Universidade de Sao Paulo (USP), SP (Brazil)

    2006-07-01

    The objective of this work is a study for the application of a new technology that will be used in the engine management system in the vehicle; where the final consumer can opt for the inquiry performance or seeking an economy for the fuel consumption depending on its daily use and of the prices offered in the gas stations. Flexible Fuel is a technology in development for the automobile market that mixes the use of two fuels (gasoline and ethanol) and their mixtures in the internal combustion engine. (author)

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

    Science.gov (United States)

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

    2013-09-01

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

  9. Simple algebras of Weyl type

    Institute of Scientific and Technical Information of China (English)

    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.

  10. Pomegranate and type 2 diabetes.

    Science.gov (United States)

    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.

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

    OpenAIRE

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

  12. Quantization via Linear homotopy types

    CERN Document Server

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

  13. Glucagon and type 2 diabetes

    DEFF Research Database (Denmark)

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

    2014-01-01

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

  14. Blood types in Pacific salmon

    Science.gov (United States)

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

    1961-01-01

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

  15. Type-2 fuzzy granular models

    CERN Document Server

    Sanchez, Mauricio A; Castro, Juan R

    2017-01-01

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

  16. Ameloblastoma, Solid/Multicystic Type

    Science.gov (United States)

    Bachmann, Angela M.

    2009-01-01

    The ameloblastoma, particularly the solid/multicystic type, is the most clinically significant odontogentic tumor. The tumor is often locally aggressive and has a significant impact and may have a patient’s morbidity and mortality. In this report, we present a case of a large ameloblastoma that presented with the typical radiographic features of variably sized radiolucent loculations. Microscopically the tumor showed a variety of histologic types, with plexiform and follicular predominating. The tumor was treated with a partial resection of the mandible. PMID:20596851

  17. NEUROFIBROMATOSIS TYPE I: CASE REPORT

    Directory of Open Access Journals (Sweden)

    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.

  18. Interpretations of Recursive Type Definitions

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff

    1992-01-01

    A system of hierarchical imperative types is extended to allow infinite values. The general structure of value assignments to types in the context of a hierarchy is considered, and it is shown that both a minimal and a maximal value assignment exist. We give two different characterizations...... of intermediate value assignments: In terms of the predicates that describe them as subsets of the maximal values, and in terms of computational stability. As an application we introduce rational infinite values in our system. Programs can then work on infinite imperative data structures which are allocated...

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

    Science.gov (United States)

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

    2013-12-01

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

  20. The 3R anthracite clean coal technology: Economical conversion of brown coal to anthracite type clean coal by low temperature carbonization pre-treatment process

    Directory of Open Access Journals (Sweden)

    Someus Edward

    2006-01-01

    Full Text Available The preventive pre-treatment of low grade solid fuels is safer, faster, better, and less costly vs. the "end-of-the-pipe" post treatment solutions. The "3R" (Recycle-Reduce-Reuse integrated environment control technology provides preventive pre-treatment of low grade solid fuels, such as brown coal and contaminated solid fuels to achieve high grade cleansed fuels with anthracite and coke comparable quality. The goal of the 3R technology is to provide cost efficient and environmentally sustainable solutions by preventive pre-treatment means for extended operations of the solid fuel combustion power plants with capacity up to 300 MWe power capacities. The 3R Anthracite Clean Coal end product and technology may advantageously be integrated to the oxyfuel-oxy-firing, Foster Wheeler anthracite arc-fired utility type boiler and Heat Pipe Reformer technologies in combination with CO2 capture and storage programs. The 3R technology is patented original solution. Advantages. Feedstock flexibility: application of pre-treated multi fuels from wider fuel selection and availability. Improved burning efficiency. Technology flexibility: efficient and advantageous inter-link to proven boiler technologies, such as oxyfuel and arcfired boilers. Near zero pollutants for hazardous-air-pollutants: preventive separation of halogens and heavy metals into small volume streams prior utilization of cleansed fuels. >97% organic sulphur removal achieved by the 3R thermal pre-treatment process. Integrated carbon capture and storage (CCS programs: the introduction of monolitic GHG gas is improving storage safety. The 3R technology offers significant improvements for the GHG CCS conditions. Cost reduction: decrease of overall production costs when all real costs are calculated. Improved safety: application of preventive measures. For pre-treatment a specific purpose designed, developed, and patented pyrolysis technology used, consisting of a horizontally arranged externally

  1. Clause Types in Southeastern Tepehuan.

    Science.gov (United States)

    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…

  2. Invariant Classification of Gait Types

    DEFF Research Database (Denmark)

    Fihl, Preben; Moeslund, Thomas B.

    2008-01-01

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

  3. Magnesium and type 2 diabetes

    Institute of Scientific and Technical Information of China (English)

    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.

  4. [Obesity and type 2 diabetes].

    Science.gov (United States)

    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

    Science.gov (United States)

    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. Two types of parasitic assimilation

    Directory of Open Access Journals (Sweden)

    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.

  7. "Divergent" Ramanujan-type supercongruences

    CERN Document Server

    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.

  8. Imagery of Errors in Typing

    Science.gov (United States)

    Rieger, Martina; Martinez, Fanny; Wenke, Dorit

    2011-01-01

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

  9. Personality and personal network type

    NARCIS (Netherlands)

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

    2008-01-01

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

  10. Unoriented Minimal Type 0 Strings

    CERN Document Server

    Carlisle, J E; Carlisle, James E; Johnson, Clifford V

    2004-01-01

    We define a family of string equations with perturbative expansions that admit an interpretation as an unoriented minimal string theory with background D-branes and R-R fluxes. The theory also has a well-defined non-perturbative sector and we expect it to have a continuum interpretation as an orientifold projection of the non-critical type~0A string for \\hat{c}=0, the (2,4) model. There is a second perturbative region which is consistent with an interpretation in terms of background R-R fluxes. We identify a natural parameter in the formulation that we speculate may have an interpretation as characterizing the contribution of a new type of background D-brane. There is a non-perturbative map to a family of string equations which we expect to be the \\hat{c}=0 type 0B string. The map exchanges D-branes and R-R fluxes. We present the general structure of the string equations for the (2,4k) type 0A models.

  11. Living with Type 1 Diabetes

    Science.gov (United States)

    ... Starchy Vegetables Fats Alcohol What Can I Drink? Fruit Dairy Food Tips Eating Out Quick Meal Ideas Snacks Nutrient Content Claims Understanding Carbohydrates Types of Carbohydrates Carbohydrate Counting Make Your Carbs Count Glycemic Index Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & ...

  12. Evaluation of Type A personality

    Science.gov (United States)

    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

  13. Gaussian Fibonacci Circulant Type Matrices

    Directory of Open Access Journals (Sweden)

    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.

  14. Personality and personal network type

    NARCIS (Netherlands)

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

    2008-01-01

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

  15. Tension type headaches: a review

    African Journals Online (AJOL)

    23. Epidemiology. A wide variation in the prevalence of tension-type headaches .... intensity tending to be less in the morning, building up after noon, and reducing ... with a change in position or the start of Valsalva-like sneezing. • Associated ...

  16. Fuchsian equations of type DN

    NARCIS (Netherlands)

    Golyshev, V.

    2007-01-01

    We prove that a generic differential operator of type DN is irreducible, regular, (anti)self-adjoint, and has quasiunipotent local monodromies. We prove that the defining matrix of a DN operator can be recovered from the expression of the operator as a polynomial in t and d/dt. -

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

    Energy Technology Data Exchange (ETDEWEB)

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

    1997-12-01

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

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

    Science.gov (United States)

    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

  19. Hardy type inequalities on time scales

    CERN Document Server

    Agarwal, Ravi P; Saker, Samir H

    2016-01-01

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

  20. An Imperative Type Hierarchy with Partial Products

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Schmidt, Erik Meineche

    1989-01-01

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

  1. On the internal structures of inductive types

    Institute of Scientific and Technical Information of China (English)

    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.

  2. 29 CFR 779.329 - Effect of type of customer and type of goods or services.

    Science.gov (United States)

    2010-07-01

    ... 29 Labor 3 2010-07-01 2010-07-01 false Effect of type of customer and type of goods or services... customer and type of goods or services. In some industries the type of goods or services sold or the type... retail regardless of the type of goods or services sold or the type of customer. Where a sale is...

  3. Type IV Wind Turbine Model

    DEFF Research Database (Denmark)

    Hansen, Anca Daniela; Margaris, Ioannis D.

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

  4. Tuberculosis vaccine types and timings.

    Science.gov (United States)

    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.

  5. Instream Physical Habitat Modelling Types

    DEFF Research Database (Denmark)

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

  6. Life history types and strategies

    DEFF Research Database (Denmark)

    Boel, Mikkel

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

  7. [Tyrosinemia type II. Case report].

    Science.gov (United States)

    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.

  8. Types for X10 Clocks

    Directory of Open Access Journals (Sweden)

    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.

  9. Five types of organizational strategy

    DEFF Research Database (Denmark)

    Steensen, Elmer Fly

    2014-01-01

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

  10. Introducing inulin-type fructans.

    Science.gov (United States)

    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

  11. Familial colorectal cancer type X

    DEFF Research Database (Denmark)

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

    2015-01-01

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

  12. DNA typing from cigarette butts.

    Science.gov (United States)

    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.

  13. Combining different types of classifiers

    OpenAIRE

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

  14. Treatment of type 2 diabetes.

    OpenAIRE

    Scheen, André

    2003-01-01

    Type 2 diabetes is a heterogeneous disease resulting from a dynamic interaction between defects in insulin secretion and insulin action. As most subjects are overweighted or obese, the initial treatment is optimization of the meal plan and enhancement of physical activity in order to obtain sustained weight reduction. In case of failure of life-style changes, various oral antihyperglycaemic agents may be used. Some are targeting defective insulin secretion (sulphonylureas, glinides) while oth...

  15. Repair Types, Procedures - Part 1

    Science.gov (United States)

    2010-05-01

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

  16. Epidermolytic Hyperkeratosis -NPS 2 Type

    Directory of Open Access Journals (Sweden)

    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.

  17. Phacomatosis pigmentovascularis of cesioflammea type*

    Science.gov (United States)

    Villarreal, Delky Johanna Villarreal; Leal, Fabiano

    2016-01-01

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

  18. Session Types in Abelian Logic

    Directory of Open Access Journals (Sweden)

    Yoichi Hirai

    2013-12-01

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

  19. Gastaut type idiopathic occipital epilepsy

    Directory of Open Access Journals (Sweden)

    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. 

  20. Rare types of diabetes mellitus.

    Science.gov (United States)

    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.

  1. Genetics Home Reference: mucopolysaccharidosis type I

    Science.gov (United States)

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

  2. Genetics Home Reference: otopalatodigital syndrome type 1

    Science.gov (United States)

    ... Management Genetic Testing (1 link) Genetic Testing Registry: Oto-palato-digital syndrome, type I Other Diagnosis and ... syndrome faciopalatoosseous syndrome FPO OPD syndrome, type 1 oto-palato-digital syndrome, type I Taybi syndrome Related ...

  3. Genetics Home Reference: otopalatodigital syndrome type 2

    Science.gov (United States)

    ... Management Genetic Testing (1 link) Genetic Testing Registry: Oto-palato-digital syndrome, type II Other Diagnosis and ... syndrome faciopalatoosseous syndrome FPO OPD syndrome, type 2 oto-palato-digital syndrome, type II Taybi syndrome Related ...

  4. Take Steps to Prevent Type 2 Diabetes

    Science.gov (United States)

    ... En español Take Steps to Prevent Type 2 Diabetes Browse Sections The Basics Overview Types of Diabetes ... 1 of 9 sections The Basics: Types of Diabetes What is diabetes? Diabetes is a disease. People ...

  5. Language Arts Multidisciplinary: A Touch of Typing.

    Science.gov (United States)

    Switzer, Mary Ellen

    1979-01-01

    Suggests teaching elementary students to type by providing a typing learning station and one 30-minute lesson each week. Includes ideas for relating typing to other curriculum areas such as punctuation, spelling, and writing. (SJL)

  6. 7 CFR 29.3559 - Type 36.

    Science.gov (United States)

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

  7. Genetics Home Reference: spastic paraplegia type 11

    Science.gov (United States)

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

  8. Genetics Home Reference: spastic paraplegia type 4

    Science.gov (United States)

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

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

    Science.gov (United States)

    James, Mark

    2008-01-01

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

  10. Typeview: A Tool for Understanding Type Errors

    OpenAIRE

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

  11. Transportation of energy materials in the United states

    Energy Technology Data Exchange (ETDEWEB)

    Emmett, R. C.

    1978-07-01

    This bibliography lists 459 books, periodical articles, research reports, and conference papers on the transportation of general/multi-fuel, coal, petroleum and gas, nuclear fuel, and electric power. Emphasis is on the various impacts of this transport in the U.S.: environmental, economic, social, safety, policy, etc. Arrangement is by commodity and by mode. An index by type of impact is included.

  12. A simple solution to type specialization

    DEFF Research Database (Denmark)

    Danvy, Olivier

    1998-01-01

    Partial evaluation specializes terms, but traditionally this specialization does not apply to the type of these terms. As a result, specializing, e.g., an interpreter written in a typed language, which requires a “universal” type to encode expressible values, yields residual programs with type tags...... inference instead of being based on symbolic interpretation. Type Specialization is very elegant in principle but it also appears non-trivial in practice. Stating the problem in terms of types instead of in terms of type encodings suggests a very simple type-directed solution, namely, to use a projection...... from the universal type to the specific type of the residual program. Standard partial evaluation then yields a residual program without type tags, simply and efficiently....

  13. A Simple Solution to Type Specialization

    DEFF Research Database (Denmark)

    Danvy, Olivier

    1998-01-01

    Partial evaluation specializes terms, but traditionally this specialization does not apply to the type of these terms. As a result, specializing, e.g., an interpreter written in a typed language, which requires a “universal” type to encode expressible values, yields residual programs with type tags...... inference instead of being based on symbolic interpretation. Type Specialization is very elegant in principle but it also appears non-trivial in practice. Stating the problem in terms of types instead of in terms of type encodings suggests a very simple type-directed solution, namely, to use a projection...... from the universal type to the specific type of the residual program. Standard partial evaluation then yields a residual program without type tags, simply and efficiently....

  14. Adiabatic Wankel type rotary engine

    Science.gov (United States)

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

    1988-01-01

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

  15. Simple algebras of Weyl type

    Institute of Scientific and Technical Information of China (English)

    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. Dust around Type Ia supernovae

    Energy Technology Data Exchange (ETDEWEB)

    Wang, Lifan

    2005-10-20

    An explanation is given of the low value of R lambda triple bond A lambda/E(B - V), the ratio of absolute to selective extinction deduced from Type Ia supernova observations. The idea involves scattering by dust clouds located in the circumstellar environment, or at the highest velocity shells of the supernova ejecta. The scattered light tends to reduce the effective R lambda in the optical, but has an opposite effect in the ultraviolet. The presence of circumstellar dust can be tested by ultraviolet to near infrared observations and by multi-epoch spectropolarimetry of SNe Ia.

  17. Bianchi type I string cosmologies

    Indian Academy of Sciences (India)

    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.

  18. Type 1 diabetes pathogenesis - Prevention???

    Directory of Open Access Journals (Sweden)

    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

  19. [Zinc and type 2 diabetes].

    Science.gov (United States)

    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.

  20. Instream Physical Habitat Modelling Types

    DEFF Research Database (Denmark)

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

    2010-01-01

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

  1. Infrastructure: concept, types and value

    Directory of Open Access Journals (Sweden)

    Alexander E. Lantsov

    2013-01-01

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

  2. Type 2-diabetes i Danmark

    DEFF Research Database (Denmark)

    Beck-Nielsen, Henning; Henriksen, Jan Erik

    2012-01-01

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

  3. Caldera types and collapse styles

    Science.gov (United States)

    Aguirre-Diaz, G. J.

    2008-12-01

    Three main types of collapse calderas can be defined, 1) summit caldera, 2) classic caldera, and 3) graben caldera. Summit calderas are those formed at the top of large volcanoes and are related to relatively small- volume pyroclastic products that include plinian fallouts and ignimbrites, such as Crater Lake, Las Cañadas, and Somma-Vesuvio. Classic calderas are semi-circular to irregular-shaped large structures, several km in diameter that are related to relatively large-volume pyroclastic products including pumice fallouts and widespread ignimbrites, such as Long-Valley, Campi Flegrei, and Los Humeros. Graben calderas are explosive volcano-tectonic collapse structures from which large-volume, ignimbrite-forming eruptions occurred through several vents along the graben walls and the intra-graben block faults causing the collapse of the graben or of a sector of the graben. The main products of graben calderas are surge-deposits and large-volume widespread ignimbrite sheets. Pumice fallouts are practically absent. Examples include the Sierra Madre Occidental in Mexico, La Pacana (Andes), Catalan Pyrenees, and perhaps Scafell (United Kingdom). Any of the three caldera types mentioned above could have collapsed at least in three different ways, 1) piston, when the collapse occurs as a single crustal block; 2) trap-door, when collapse occurs unevenly along one side while the opposite side remains with no collapse; 3) piece-meal, when collapse occurs as broken pieces of the crust on top of the magma chamber.

  4. Autoimmune Polyglandular Syndrome Type 1

    Directory of Open Access Journals (Sweden)

    Vedeswari C Ponranjini

    2012-01-01

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

  5. Treatment of type 2 diabetes.

    Science.gov (United States)

    Scheen, André J

    2003-01-01

    Type 2 diabetes is a heterogeneous disease resulting from a dynamic interaction between defects in insulin secretion and insulin action. As most subjects are overweighted or obese, the initial treatment is optimization of the meal plan and enhancement of physical activity in order to obtain sustained weight reduction. In case of failure of life-style changes, various oral antihyperglycaemic agents may be used. Some are targeting defective insulin secretion (sulphonylureas, glinides) while others are targeting insulin resistance (metformin, thiazolidinediones). Criteria of drug selection should include both patient's characteristics (body weight, age, degree of hyperglycaemia, comorbidities) and pharmacological properties of the compound (mode of action, safety profile, cost). Monotherapy is usually recommended first, but combined therapy using drugs with additive or synergistic effects may be required to obtain appropriate blood glucose control. As the natural history of the disease is characterized by a progressive exhaustion of beta cells, exogenous insulin may be required in the long term, usually in combination with oral agents. Finally, as patients with type 2 diabetes are insulin-resistant and often have a metabolic syndrome, a multifactorial intervention including aggressive treatment of arterial hypertension and dyslipidaemia is recommended in order to reduce the incidence of cardiovascular complications.

  6. Mix bed type desalting device

    Energy Technology Data Exchange (ETDEWEB)

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

  7. Phage typing of Staphylococcus saprophyticus.

    Science.gov (United States)

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

    1991-01-01

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

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

    Science.gov (United States)

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

  9. 14 CFR 21.31 - Type design.

    Science.gov (United States)

    2010-01-01

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

  10. Accounting Students' Performance and Personality Types.

    Science.gov (United States)

    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…

  11. Types and concept analysis for legacy systems

    NARCIS (Netherlands)

    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

  12. Psychological Types of Academically Gifted Adolescents

    Science.gov (United States)

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

    2007-01-01

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

  13. 7 CFR 51.2734 - Spanish type.

    Science.gov (United States)

    2010-01-01

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

  14. Verifying Process Algebra Proofs in Type Theory

    NARCIS (Netherlands)

    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

  15. Psychological Types of Academically Gifted Adolescents

    Science.gov (United States)

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

    2007-01-01

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

  16. Polymorphic Endpoint Types for Copyless Message Passing

    Directory of Open Access Journals (Sweden)

    Viviana Bono

    2011-07-01

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

  17. Finite Type Non—Minimal Submanifolds

    Institute of Scientific and Technical Information of China (English)

    宋鸿藻; 吴报强

    1992-01-01

    The notion of finite type xubmanifolds was introduced by B.Y.Chen.In this paper we consider the characteristics and the classifications of finite type non-minimal submanifolds.The characteristic theorems of 2-type Chen submanifolds、mass-symmetric hypersurfaces and Dupin hypersurfaces in Esm are obtained.The classification theorems of 3-type hypersurfaces and null 2-type curves in Esm are also proved.

  18. Hyperbolic spaces are of strictly negative type

    DEFF Research Database (Denmark)

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

    2002-01-01

    We study finite metric spaces with elements picked from, and distances consistent with, ambient Riemannian manifolds. The concepts of negative type and strictly negative type are reviewed, and the conjecture that hyperbolic spaces are of strictly negative type is settled, in the affirmative....... The technique of the proof is subsequently applied to show that every compact manifold of negative type must have trivial fundamental group, and to obtain a necessary criterion for product manifolds to be of negative type....

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

    DEFF Research Database (Denmark)

    Kristensen, Ditte Bech; Prats Gavalda, Clara; 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...

  20. Exercise and type 2 diabetes

    DEFF Research Database (Denmark)

    Karstoft, Kristian; Pedersen, Bente Klarlund

    2016-01-01

    Type 2 diabetes mellitus (T2DM) is associated with metabolic dysregulation and chronic inflammation, and regular exercise may provide a strong stimulus for improving both. In this review, we first discuss the link between inflammation and metabolism. Next, we give an update on the clinical...... 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...

  1. Two types of psychological hedonism.

    Science.gov (United States)

    Garson, Justin

    2016-04-01

    I develop a distinction between two types of psychological hedonism. Inferential hedonism (or "I-hedonism") holds that each person only has ultimate desires regarding his or her own hedonic states (pleasure and pain). Reinforcement hedonism (or "R-hedonism") holds that each person's ultimate desires, whatever their contents are, are differentially reinforced in that person's cognitive system only by virtue of their association with hedonic states. I'll argue that accepting R-hedonism and rejecting I-hedonism provides a conciliatory position on the traditional altruism debate, and that it coheres well with the neuroscientist Anthony Dickinson's theory about the evolutionary function of hedonic states, the "hedonic interface theory." Finally, I'll defend R-hedonism from potential objections. Copyright © 2015 Elsevier Ltd. All rights reserved.

  2. Progenitors of Supernovae Type Ia

    CERN Document Server

    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.

  3. Forensic DNA typing in China.

    Science.gov (United States)

    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.

  4. Standardization of type Ia supernovae

    CERN Document Server

    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.

  5. Multiple endocrine neoplasia type 2.

    Science.gov (United States)

    Lodish, Maya

    2013-01-01

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

  6. Progenitors of type Ia supernovae

    CERN Document Server

    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.

  7. Genetics of Type 2 diabetes

    DEFF Research Database (Denmark)

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

    2016-01-01

    Type 2 diabetes (T2D) affects millions of people worldwide. Improving the understanding of the underlying mechanisms and ultimately improving the treatment strategies are, thus, of great interest. To achieve this, identification of genetic variation predisposing to T2D is important. A large number...... disease-associated variants due to genetic drift. Collectively, this increases the statistical power to detect association signals in isolated populations compared to large outbred populations. In this review, we elaborate on why isolated populations are a powerful resource for the identification...... of complex disease variants and describe their contributions to the understanding of the genetics of T2D. © 2016, Springer Science+Business Media New York....

  8. Chandra Early Type Galaxy Atals

    Science.gov (United States)

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

    2017-08-01

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

  9. Whirling-type dust catcher

    Energy Technology Data Exchange (ETDEWEB)

    Rachev, V.G.; Butylkin, Yu.P.; Denisov, V.I.; Ermin, Yu.S.

    1980-10-07

    A whirling-type dust catcher is proposed, containing a cylindrical body mounted in its upper part, a diaphragm, a tangential nozzle (venturi) for delivery of the secondary gas, located in the lower part of the bunker body and an axial pipe with a vortex generator for introduction of the gas to be cleaned and a coaxial pipe connecting the bunker with the evacuation zone of the vortex generator. For increasing the degree of dust collection by elimination of gas fedthrough from the bunker into the axial zone of the dust catcher, it is equipped with an additional vortex generator set up in the outlet of the coaxial pipe, which is made in the shape of an inverse cone.

  10. Saxagliptin for type 2 diabetes

    Directory of Open Access Journals (Sweden)

    Chacra

    2010-09-01

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

  11. Hypoglycaemia in Type 2 diabetes.

    Science.gov (United States)

    Amiel, S A; Dixon, T; Mann, R; Jameson, K

    2008-03-01

    The primary cause of hypoglycaemia in Type 2 diabetes is diabetes medication-in particular, those which raise insulin levels independently of blood glucose, such as sulphonylureas (SUs) and exogenous insulin. The risk of hypoglycaemia is increased in older patients, those with longer diabetes duration, lesser insulin reserve and perhaps in the drive for strict glycaemic control. Differing definitions, data collection methods, drug type/regimen and patient populations make comparing rates of hypoglycaemia difficult. It is clear that patients taking insulin have the highest rates of self-reported severe hypoglycaemia (25% in patients who have been taking insulin for > 5 years). SUs are associated with significantly lower rates of severe hypoglycaemia. However, large numbers of patients take SUs in the UK, and it is estimated that each year > 5000 patients will experience a severe event caused by their SU therapy which will require emergency intervention. Hypoglycaemia has substantial clinical impact, in terms of mortality, morbidity and quality of life. The cost implications of severe episodes-both direct hospital costs and indirect costs-are considerable: it is estimated that each hospital admission for severe hypoglycaemia costs around pound1000. Hypoglycaemia and fear of hypoglycaemia limit the ability of current diabetes medications to achieve and maintain optimal levels of glycaemic control. Newer therapies, which focus on the incretin axis, may carry a lower risk of hypoglycaemia. Their use, and more prudent use of older therapies with low risk of hypoglycaemia, may help patients achieve improved glucose control for longer, and reduce the risk of diabetic complications.

  12. Types, structures and theories in NKI

    Institute of Scientific and Technical Information of China (English)

    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.

  13. A Reflection on Teacher Questioning Types

    Directory of Open Access Journals (Sweden)

    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.

  14. Industrial Electron Accelerators Type ILU

    CERN Document Server

    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.

  15. [The new types of addiction].

    Science.gov (United States)

    Semaille, P

    2009-09-01

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

  16. Towards new Grangier type experiments

    Science.gov (United States)

    Khrennikov, Andrei

    2012-07-01

    The experiment on coincidence detection which was done by Grangier in 1986 [18] played a crucial role in rejection of (semi-)classical field models in favour of quantum mechanics (QM). QM predicts that the relative probability of coincidence detection, the degree of second order coherence, g(0) is zero (for one photon states), but in (semi-)classical models g(0)≥1. We present a purely wave model (based on classical random field) which reproduces quantum probabilities given by the fundamental law of quantum mechanics (Born's rule). The crucial point of our approach is that the presence of a detector's threshold has to be treated not as simply an experimental technicality, but as the basic counterpart of the theoretical model. We call this approach the threshold signal detection model (TSD). In TSD, the degree of second order coherence g(0) decreases as 1/Ed2, where Ed is the detection threshold. Hence, by increasing this threshold an experimenter can make g(0) essentially less than 1. The TSD-prediction can be tested experimentally in new Grangier type experiments presenting a detailed monitoring of dependence of the degree of second order coherence g(0) on the detection threshold.

  17. Immunogenetics of type 1 diabetes.

    Science.gov (United States)

    Kim, Mimi S; Polychronakos, Constantin

    2005-01-01

    The T-cell mediated autoimmune process that destroys pancreatic beta cells in type 1 diabetes (T1D) is a complex phenotype influenced by multiple genetic and environmental factors. Human leukocyte antigen (HLA) accounts for about half of the genetic susceptibility, through a large variety of protective and predisposing haplotypes. Other important loci associated with T1D, with much smaller effects than HLA, include the insulin variable number of tandem repeats, PTPN22, and CTLA-4. Detecting the association and confirming it beyond doubt is only the first step. Identifying the functional variant from among a block of polymorphisms in tight linkage disequilibrium and determining its biological consequences can be an even more challenging task. It is hoped that the identification of additional loci and functional analysis of known ones, no matter how small each individual effect is, will provide: (1) pathophysiological insights necessary for the development of preventive interventions; (2) risk prediction to identify individuals that can benefit from them, and (3) potentially, identification of distinct subgenotypes, with different immune dysregulation pathways leading to the common disease phenotype that may respond to different preventive interventions. (c) 2005 S. Karger AG, Basel.

  18. Investigating Inflation in Type IIA

    Energy Technology Data Exchange (ETDEWEB)

    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.

  19. Puberty and type 1 diabetes

    Directory of Open Access Journals (Sweden)

    Subhankar Chowdhury

    2015-01-01

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

  20. Type 1 diabetes associated autoimmunity.

    Science.gov (United States)

    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. Copyright © 2016 Elsevier B.V. All rights reserved.

  1. Multiple endocrine neoplasia type 1

    Directory of Open Access Journals (Sweden)

    R V Thakker

    2012-01-01

    Full Text Available Multiple endocrine neoplasia type 1 (MEN1 is characterized by the occurrence of parathyroid, pancreatic islet and anterior pituitary tumors. Some patients may also develop carcinoid tumors, adrenocortical tumors, facial angiofibromas, collagenomas, and lipomas. MEN1 is an autosomal-dominant disorder, due to mutations in the tumor suppressor gene MEN1, which encodes a 610 amino acid protein, menin. Thus, the finding of MEN1 in a patient has important implications for family members because first-degree relatives have a 50% risk of developing the disease and can often be identified by MEN1 mutational analysis. Patients with MEN1 have a decreased life-expectancy and the outcomes of current treatments, which are generally similar to that for the respective tumors occurring in non-MEN1 patients, are not as successful because of multiple tumors, which may be larger, more aggressive, and resistant to treatment, and the concurrence of metastases. The prognosis for MEN1 patients might be improved by pre-symptomatic tumor detection and undertaking treatment specific for MEN1-tumors. Thus, it is recommended that MEN1 patients and their families should be cared for by multi-disciplinary teams comprising relevant specialists with experience in the diagnosis and treatment of patients with endocrine tumors.

  2. Radiosurgery for type II neurofibromatosis.

    Science.gov (United States)

    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.

  3. Type Ia Supernova Carbon Footprints

    CERN Document Server

    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. Structures, Mixed Types - Oil & Gas Locations

    Data.gov (United States)

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

  5. Delaying or Preventing Type 2 Diabetes

    Science.gov (United States)

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

  6. Foundations of Session Types and Behavioural Contracts

    DEFF Research Database (Denmark)

    Huttel, Hans; Lanese, Ivan; Vasconcelos, Vasco

    2016-01-01

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

  7. Type Soundness in the Dart Programming Language

    DEFF Research Database (Denmark)

    Strocco, Fabio

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

  8. Pragmatics of type-directed partial evaluation

    DEFF Research Database (Denmark)

    1996-01-01

    the user to annotate arrow types with effect information. It is achieved by delimiting and abstracting control, comparably to continuation-based specialization in direct style. It enables type-directed partial evaluation of programs with effects (e.g., a definitional lambda-interpreter for an imperative......Type-directed partial evaluation stems from the residualization of static values in dynamic contexts, given their type and the type of their free variables. Its algorithm coincides with the algorithm for coercing a subtype value into a supertype value, which itself coincides with Berger...... and 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...

  9. For Personal Typing--How Much "Production"?

    Science.gov (United States)

    Rhodes, George S.

    1976-01-01

    Guidelines are provided for reducing superfluous production techniques and for concentrating instead on the principal objectives of personal use typing: (1) Development of student keyboard typing skill and (2) student comprehension of essential copy placement rules. (TA)

  10. Who Needs Ten-Finger Typing?

    Science.gov (United States)

    Brady, Holly

    1984-01-01

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

  11. Genetics Home Reference: spinocerebellar ataxia type 3

    Science.gov (United States)

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

  12. Genetics Home Reference: spinocerebellar ataxia type 2

    Science.gov (United States)

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

  13. Genetics Home Reference: spinocerebellar ataxia type 1

    Science.gov (United States)

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

  14. Gardasil 9 Protects against Additional HPV Types

    Science.gov (United States)

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

  15. Insulin requirements in type 1 diabetic pregnancy

    DEFF Research Database (Denmark)

    Callesen, Nicoline; Ringholm, Lene; Stage, Edna;

    2012-01-01

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

  16. Rate type isotach compaction of consolidated sandstone

    NARCIS (Netherlands)

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

    2015-01-01

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

  17. BERGMAN TYPE PROJECTIONS ON Lp SPACES

    Institute of Scientific and Technical Information of China (English)

    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. Band-type microelectrodes for amperometric immunoassays

    Energy Technology Data Exchange (ETDEWEB)

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

    2016-07-20

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

  19. Two-Point Fuzzy Ostrowski Type Inequalities

    Directory of Open Access Journals (Sweden)

    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.

  20. Autoimmune diseases associated with neurofibromatosis type 1.

    Science.gov (United States)

    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.

  1. Fractional Type Marcinkiewicz Integral on Hardy Spaces

    Institute of Scientific and Technical Information of China (English)

    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. Strongly typed rewriting for coupled software transformation

    OpenAIRE

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

  3. Sacrifical sites, types and function

    Directory of Open Access Journals (Sweden)

    Örnulv Vorren

    1987-01-01

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

  4. Convection in Type 2 supernovae

    Energy Technology Data Exchange (ETDEWEB)

    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.

  5. Japanese Small Type Coastal Whaling

    Directory of Open Access Journals (Sweden)

    Sue Fisher

    2016-07-01

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

  6. Multiple endocrine neoplasia type 1

    Directory of Open Access Journals (Sweden)

    Luzi Ettore

    2006-10-01

    Full Text Available Abstract Multiple Endocrine Neoplasia type 1 (MEN1 is a rare autosomal dominant hereditary cancer syndrome presented mostly by tumours of the parathyroids, endocrine pancreas and anterior pituitary, and characterised by a very high penetrance and an equal sex distribution. It occurs in approximately one in 30,000 individuals. Two different forms, sporadic and familial, have been described. The sporadic form presents with two of the three principal MEN1-related endocrine tumours (parathyroid adenomas, entero-pancreatic tumours and pituitary tumours within a single patient, while the familial form consists of a MEN1 case with at least one first degree relative showing one of the endocrine characterising tumours. Other endocrine and non-endocrine lesions, such as adrenal cortical tumours, carcinoids of the bronchi, gastrointestinal tract and thymus, lipomas, angiofibromas, collagenomas have been described. The responsible gene, MEN1, maps on chromosome 11q13 and encodes a 610 aminoacid nuclear protein, menin, with no sequence homology to other known human proteins. MEN1 syndrome is caused by inactivating mutations of the MEN1 tumour suppressor gene. This gene is probably involved in the regulation of several cell functions such as DNA replication and repair and transcriptional machinery. The combination of clinical and genetic investigations, together with the improving of molecular genetics knowledge of the syndrome, helps in the clinical management of patients. Treatment consists of surgery and/or drug therapy, often in association with radiotherapy or chemotherapy. Currently, DNA testing allows the early identification of germline mutations in asymptomatic gene carriers, to whom routine surveillance (regular biochemical and/or radiological screenings to detect the development of MEN1-associated tumours and lesions is recommended.

  7. TYPE Ia SUPERNOVA CARBON FOOTPRINTS

    Energy Technology Data Exchange (ETDEWEB)

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

    2011-12-10

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

  8. Convection in Type 2 supernovae

    Energy Technology Data Exchange (ETDEWEB)

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

    1993-10-15

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

  9. MYOCARDIAL INFARCTION TYPE 2. MYTH OR REALITY?

    OpenAIRE

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

  10. Bringing Realism Into the Vocational Typing Course

    Science.gov (United States)

    Lloyd, Alan C.

    1978-01-01

    Based on "Typing 2," Gregg's new second-year vocational typing book for high schools, this article discusses ways to use the textbook and what the teacher can do to support the spirit of realism, purpose, and efficiency that the author feels should dominate the vocational typing course. (TA)

  11. Type I signal peptidases of Bacillus subtilis

    NARCIS (Netherlands)

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

    1997-01-01

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

  12. Type Ⅱ codes over finite rings

    Institute of Scientific and Technical Information of China (English)

    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.

  13. International typing study of Clostridium difficile.

    Science.gov (United States)

    Manzo, Carl E; Merrigan, Michelle M; Johnson, Stuart; Gerding, Dale N; Riley, Thomas V; Silva, Joseph; Brazier, Jon S

    2014-08-01

    We report the results of an international Clostridium difficile typing study to cross reference strain designations for seven typing methodologies and facilitate inter-laboratory communication. Four genotypic and three phenotypic methods were used to type 100 isolates and compare the results to 39 PCR ribotypes identified among the collection.

  14. Hoare type theory, polymorphism and separation

    DEFF Research Database (Denmark)

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

    2008-01-01

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

  15. Windchill-201 - Custom Soft-Type Construction

    Science.gov (United States)

    Jones, Corey; LaPha, Steven

    2013-01-01

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

  16. SOME LIOUVILLE TYPE THEOREMS FOR THE P-SUB-LAPLACIAN ON THE GROUP OF HEISENBERG TYPE

    Institute of Scientific and Technical Information of China (English)

    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.

  17. Hereditary sensory neuropathy type I

    Directory of Open Access Journals (Sweden)

    Auer-Grumbach Michaela

    2008-03-01

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

  18. GATE TYPE SELECTION BASED ON FUZZY MAPPING

    Institute of Scientific and Technical Information of China (English)

    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.

  19. Type synthesis to design variable camber mechanisms

    Directory of Open Access Journals (Sweden)

    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.

  20. Bernstein-type approximations of smooth functions

    Directory of Open Access Journals (Sweden)

    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.

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

    DEFF Research Database (Denmark)

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

  2. Validity of Type D personality in Iceland

    DEFF Research Database (Denmark)

    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...... was 26-29%, and assessment of Type D personality was not confounded by severity of underlying coronary artery disease. Regarding risk markers, Type D patients reported more psychopharmacological medication use and smoking, but frequency of previous mental problems was similar across groups. Type D...

  3. Type Soundness in the Dart Programming Language

    DEFF Research Database (Denmark)

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

  4. INVARIANTS UNDER STABLE EQUIVALENCES OF MORITA TYPE

    Institute of Scientific and Technical Information of China (English)

    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.

  5. Memorization in Type-Directed Partial Evaluation

    DEFF Research Database (Denmark)

    Balat, Vincent; Danvy, Olivier

    2002-01-01

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

  6. Memoization in Type-Directed Partial Evaluation

    DEFF Research Database (Denmark)

    Balat, Vincent; Danvy, Olivier

    2002-01-01

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

  7. EBV latency types adopt alternative chromatin conformations.

    Directory of Open Access Journals (Sweden)

    Italo Tempera

    2011-07-01

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

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

    Directory of Open Access Journals (Sweden)

    Rabia Aktaş

    2013-01-01

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

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

    Science.gov (United States)

    Mazerolle, Erin L.; Marchand, Yannick

    2015-01-01

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

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

    NARCIS (Netherlands)

    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

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

    DEFF Research Database (Denmark)

    Mehnert, Hannes

    2010-01-01

    Whereas dynamic typing enables rapid prototyping and easy experimentation, static typing provides early error detection and better compile time optimization. Gradual typing [26] provides the best of both worlds. This paper shows how to define and implement gradual typing in Dylan, traditionally a...

  12. Muscle adiposity and body fat distribution in type 1 and type 2 diabetes: varying relationships according to diabetes type.

    Science.gov (United States)

    Dubé, M C; Joanisse, D R; Prud'homme, D; Lemieux, S; Bouchard, C; Pérusse, L; Lavoie, C; Weisnagel, S J

    2006-12-01

    To compare the relationships between markers of total and regional adiposity with muscle fat infiltration in type 1 diabetic and type 2 diabetic subjects and their respective nondiabetic controls, and to document these relationships in type 1 diabetic subjects. Cross-sectional study. In total, 86 healthy, with type 1 diabetes, type 2 diabetes or control subjects. Each diabetic group was matched for age, sex and body mass index with its respective nondiabetic control group. Measures of body composition (hydrodensitometry), fat distribution (waist circumference, abdominal and mid-thigh computed tomography scans) and blood lipid profiles were assessed. Low attenuation mid-thigh muscle surface correlated similarly with markers of adiposity and body composition in all groups, regardless of diabetes status, except for visceral adipose tissue and waist circumference. Indeed, relationships between visceral adiposity and muscle adiposity were significantly stronger in type 2 vs type 1 diabetic subjects (P<0.05 for comparison of slopes). In addition, in well-controlled type 1 diabetic subjects (mean HbA(1c) of 6.8%), daily insulin requirements tended to correlate with low attenuation mid-thigh muscle surface, a specific component of fat-rich muscle (r=0.36, P=0.08), but not with glycemic control (HbA(1c)). This study suggests that the relationship of central adiposity and muscle adiposity is modulated by diabetes status and is stronger in the insulin resistant diabetes type (type 2 diabetes). In well-controlled nonobese type 1 diabetic subjects, the relationship between muscle fat accumulation and insulin sensitivity was also maintained.

  13. Whole Genome Epidemiological Typing of Salmonella

    DEFF Research Database (Denmark)

    Leekitcharoenphon, Pimlapas

    . 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...... used for typing is crucial for successful discrimination. The core genes or the genes that are conserved in all members of a genus or species are potentially good candidates for investigating genomic variation in phylogeny and epidemiology. A total of 2,882 core genes have been observed among 73...... evolution and remain useful as candidate genes for bacterial genome typing-even if they cannot be expected to differentiate highly clonal isolates e.g. outbreak cases of Salmonella [I]. To achieve successful ‘real-time’ monitoring and identification of outbreaks, rapid and reliable sub-typing is essential...

  14. Molecular Typing of Treponema pallidum in Denmark

    DEFF Research Database (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...... strain typing was based on characterization of 3 variable treponemal genes, arp, tpr and tp0548. A total of 278 specimens from 269 patients were included. Among the fully typeable specimens (n = 197), 22 strain types were identified, with 1 type, 14d/g, accounting for 54%. The majority (93......%) of the patients reported acquiring syphilis in Denmark. Among patients with concurrent HIV, 9 full strain types were identified and no difference in strain type was found by HIV status (p = 0.197). In conclusion, the majority of patients were infected in Denmark and the HIV-infected syphilis patients were...

  15. Odontoma and Analysis of 57 different types

    Directory of Open Access Journals (Sweden)

    Baghaei-e- Naeini F

    1999-06-01

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

  16. Revisiting Parametric Types and Virtual Classes

    DEFF Research Database (Denmark)

    Madsen, Anders Bach; Ernst, Erik

    2010-01-01

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

  17. Type Checking with XML Schema in XACT

    DEFF Research Database (Denmark)

    Kirkegaard, Christian; Møller, Anders

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

  18. Differences in typing forces, muscle activity, comfort, and typing performance among virtual, notebook, and desktop keyboards.

    Science.gov (United States)

    Kim, Jeong Ho; Aulck, Lovenoor; Bartha, Michael C; Harper, Christy A; Johnson, Peter W

    2014-11-01

    The present study investigated whether there were physical exposure and typing productivity differences between a virtual keyboard with no tactile feedback and two conventional keyboards where key travel and tactile feedback are provided by mechanical switches under the keys. The key size and layout were same across all the keyboards. Typing forces; finger and shoulder muscle activity; self-reported comfort; and typing productivity were measured from 19 subjects while typing on a virtual (0 mm key travel), notebook (1.8 mm key travel), and desktop keyboard (4 mm key travel). When typing on the virtual keyboard, subjects typed with less force (p's typing forces and finger muscle activity came at the expense of a 60% reduction in typing productivity (p typing sessions or when typing productivity is at a premium, conventional keyboards with tactile feedback may be more suitable interface.

  19. Are Thinking Styles and Personality Types Related?

    OpenAIRE

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

  20. Renal tubular acidosis type 4 in pregnancy.

    Science.gov (United States)

    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. 2016 BMJ Publishing Group Ltd.

  1. Covariant action for type IIB supergravity

    Science.gov (United States)

    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.

  2. Moderne behandling af type B-aortadissektion

    DEFF Research Database (Denmark)

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

    2008-01-01

    Rapid classification is essential in the management of aortic dissections, as Type A dissections require surgery, while the optimal treatment of Type B dissections is controversial. Medical treatment with antihypertensive medication and analgesics has so far been the main treatment of uncomplicated...... Type B dissections, while surgery has been reserved for complications and persistent pain in spite of medical treatment. Endovascular techniques are less invasive than open repair and show promising early results Udgivelsesdato: 2008/9/8...

  3. [Modern treatment of type B dissections

    DEFF Research Database (Denmark)

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

    2008-01-01

    Rapid classification is essential in the management of aortic dissections, as Type A dissections require surgery, while the optimal treatment of Type B dissections is controversial. Medical treatment with antihypertensive medication and analgesics has so far been the main treatment of uncomplicated...... Type B dissections, while surgery has been reserved for complications and persistent pain in spite of medical treatment. Endovascular techniques are less invasive than open repair and show promising early results Udgivelsesdato: 2008/9/8...

  4. Legendre transformations and Clairaut-type equations

    CERN Document Server

    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.

  5. Legendre transformations and Clairaut-type equations

    Science.gov (United States)

    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.

  6. Legendre transformations and Clairaut-type equations

    Energy Technology Data Exchange (ETDEWEB)

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

    2016-05-10

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

  7. Legendre transformations and Clairaut-type equations

    Directory of Open Access Journals (Sweden)

    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.

  8. A new linear type hydraulic motor

    Science.gov (United States)

    Jiang, Dong; Zhang, Tong; Li, Wenhua; Chen, Xinyang

    2017-08-01

    This paper proposes the design of liner type hydraulic motor on the base of inner curved radial piston hydraulic motor. The hydraulic cylinders of the new type motor are in the straight line which will improve the utilization of the axial space and different out power can be supplied by changes the number of cylinders. In this paper, the structure and working principle of the liner type hydraulic motor is introduced.

  9. [Modern treatment of type B dissections

    DEFF Research Database (Denmark)

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

    2008-01-01

    Rapid classification is essential in the management of aortic dissections, as Type A dissections require surgery, while the optimal treatment of Type B dissections is controversial. Medical treatment with antihypertensive medication and analgesics has so far been the main treatment of uncomplicated...... Type B dissections, while surgery has been reserved for complications and persistent pain in spite of medical treatment. Endovascular techniques are less invasive than open repair and show promising early results Udgivelsesdato: 2008/9/8...

  10. Homotopy Type Theory: Univalent Foundations of Mathematics

    OpenAIRE

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

  11. Dietary Sodium Intake in Type 2 Diabetes

    OpenAIRE

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

  12. Convolution neural networks for ship type recognition

    Science.gov (United States)

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

    2016-05-01

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

  13. Genetics Home Reference: neurofibromatosis type 2

    Science.gov (United States)

    ... Research Institute National Institute of Neurologic Disorders and Stroke Educational Resources (9 links) Centre for Genetics Education (Australia) Disease InfoSearch: Neurofibromatosis type 2 JAMA ...

  14. Finite type invariants of nanowords and nanophrases

    CERN Document Server

    Gibson, Andrew

    2010-01-01

    Homotopy classes of nanowords and nanophrases are combinatorial generalizations of virtual knots and links. Goussarov, Polyak and Viro defined finite type invariants for virtual knots and links via semi-virtual crossings. We extend their definition to nanowords and nanophrases. We study finite type invariants of low degrees. In particular, we show that the linking matrix and T invariant defined by Fukunaga are finite type of degree one and degree two respectively. We also give a finite type invariant of degree 4 for open homotopy of Gauss words.

  15. Clostridium perfringens isolate typing by multiplex PCR

    Directory of Open Access Journals (Sweden)

    MR Ahsani

    2010-01-01

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

  16. Type I restriction enzymes and their relatives.

    Science.gov (United States)

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

    2014-01-01

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

  17. Two unusual types of syndactyly in the same family; Cenani-Lenz type and "new" type versus severe type I syndactyly?

    Science.gov (United States)

    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.

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

    Directory of Open Access Journals (Sweden)

    Ada H. Zohar

    2016-02-01

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

  19. Compactly Supported Curvelet-Type Systems

    DEFF Research Database (Denmark)

    Rasmussen, Kenneth Niemann; Nielsen, Morten

    2012-01-01

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

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

    Science.gov (United States)

    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.

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

    DEFF Research Database (Denmark)

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

  2. Inhibitory effect of herpes simplex virus type 1 on type 2 virus replication.

    Science.gov (United States)

    Zelená, D; Roubal, J; Vonka, V

    1976-11-01

    Simultaneous infection with herpes simplex type I and type 2 viruses of chick embryo fibroblasts (CEF), which are only permissive for type 2 virus, or rabbit embryo fibroblasts (REF), which are permissive for both virus types, resulted in a marked reduction of type 2 virus production. This effect was dependent on the m.o.i. of type I, being expressed at a high rather than a low m.o.i. The rate of interference decreased with the prolongation of the interval between infection with type 2 and type I viruses. No evidence suggestive of interferon involvement was obtained. Partial inactivation of type 2 virus by ultraviolet irradiation enhanced the inhibitory effect of type I virus. On the other hand, u.v. irradiation of type I virus resulted in a progressive loss of inhibitory activity. The results of the present experiments suggest that a type I genome function is responsible for the interfering effect, and that an early step in the growth of type 2 virus is sensitive to the particular type I virus product involved.

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

    Science.gov (United States)

    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.

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

    Science.gov (United States)

    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.

  5. Ranking Very Many Typed Entities on Wikipedia

    NARCIS (Netherlands)

    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

  6. Immunogenetics of type 1 diabetes mellitus

    African Journals Online (AJOL)

    EL-HAKIM

    neuropathy, retinopathy and nephropathy, as well as a 3-fold ... of type 1 diabetes patients at diagnosis. Table 2. Evidence for an immune etiology to type 1 diabetes1. 1. ... titer can be observed during the pre-diabetic phase.6. Of the three islet ...

  7. Finite Metric Spaces of Strictly Negative Type

    DEFF Research Database (Denmark)

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

    1998-01-01

    of Euclidean spaces. We prove that, if the distance matrix is both hypermetric and regular, then it is of strictly negative type. We show that the strictly negative type finite subspaces of spheres are precisely those which do not contain two pairs of antipodal points. In connection with an open problem raised...

  8. Personality disorder types proposed for DSM-5

    NARCIS (Netherlands)

    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

  9. 7 CFR 51.1997 - Similar type.

    Science.gov (United States)

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

  10. Simple algebraic data types for C

    NARCIS (Netherlands)

    Hartel, Pieter H.; Muller, Henk L.

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

  11. Personality disorder types proposed for DSM-5

    NARCIS (Netherlands)

    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

  12. Autonomous Duffing-Holmes Type Chaotic Oscillator

    DEFF Research Database (Denmark)

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

  13. 46 CFR 161.006-2 - Type.

    Science.gov (United States)

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

  14. 7 CFR 51.2853 - One type.

    Science.gov (United States)

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

  15. Lie bialgebras of generalized Witt type

    Institute of Scientific and Technical Information of China (English)

    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.

  16. A Rewriting Logic Approach to Type Inference

    Science.gov (United States)

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

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

  17. Staphylococcus aureus spa type t437

    DEFF Research Database (Denmark)

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

    2015-01-01

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

  18. Displacement Ventilation by Different Types of Diffusers

    DEFF Research Database (Denmark)

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

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

  19. Detecting Terrorism Incidence Type from News Summary

    DEFF Research Database (Denmark)

    Nizamani, Sarwat; Memon, Nasrullah

    2012-01-01

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

  20. Aspects of type $0$ string theory

    CERN Document Server

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

    2000-01-01

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