WorldWideScience

Sample records for two-meter darrieus type

  1. Small power wind turbine (Type DARRIEUS

    Directory of Open Access Journals (Sweden)

    Marcel STERE

    2012-03-01

    Full Text Available This presentation focuses on the calculation for small vertical axis wind turbines (VAWT for an urban application. The fixed-pitch straight – bladed vertical axis wind turbine (SB-VAWT is one of the simplest types of wind turbine and accepts wind from any angle (no yaw system. This turbine is useful for moderate wind speeds (3 - 6 m/s. A case study is presented based upon the use of well documented symmetrical NACA 0012 turbine blade profile. We describe a solution for VAWT. To perform a linear static analysis in the structure, the commercial finite element analysis code ANSYS is used because of its flexibility for handling information in files written in a more or less free format.

  2. Aerodynamic performance prediction of Darrieus-type wind turbines

    Directory of Open Access Journals (Sweden)

    Ion NILĂ

    2010-06-01

    Full Text Available The prediction of Darrieus wind turbine aerodynamic performances provides the necessarydesign and operational data base related to the wind potential. In this sense it provides the type ofturbine suitable to the area where it is to be installed. Two calculation methods are analyzed for arotor with straight blades. The first one is a global method that allows an assessment of the turbinenominal power by a brief calculation. This method leads to an overestimation of performances. Thesecond is the calculation method of the gust factor and momentum which deals with the pale as beingcomposed of different elements that don’t influence each other. This method, developed based on thetheory of the turbine blades, leads to values close to the statistical data obtained experimentally. Thevalues obtained by the calculation method of gust factor - momentum led to the concept of a Darrieusturbine, which will be tested for different wind values in the INCAS subsonic wind tunnel.

  3. A New Approach for Modeling Darrieus-Type Vertical Axis Wind Turbine Rotors Using Electrical Equivalent Circuit Analogy: Basis of Theoretical Formulations and Model Development

    National Research Council Canada - National Science Library

    Pierre Tchakoua; Rene Wamkeue; Mohand Ouhrouche; Tommy Andy Tameghe; Gabriel Ekemb

    2015-01-01

    .... Thus, models can significantly reduce design, development and optimization costs. This paper proposes a novel equivalent electrical model for Darrieus-type vertical axis wind turbines (DTVAWTs...

  4. Performance Prediction of Darrieus-Type Hydroturbine with Inlet Nozzle Operated in Open Water Channels

    Science.gov (United States)

    Nakashima, K.; Watanabe, S.; Matsushita, D.; Tsuda, S.; Furukawa, A.

    2016-11-01

    Small hydropower is one of the renewable energies and is expected to be effectively used for local supply of electricity. We have developed Darrieus-type hydro-turbine systems, and among them, the Darrieus-turbine with a weir and a nozzle installed upstream of turbine is, so far, in success to obtain more output power by gathering all water into the turbine. However, there can several cases exist, in which installing the weir covering all the flow channel width is unrealistic, and in such cases, the turbine should be put alone in open channels without upstream weir. Since the output power is very small in such a utilization of small hydropower, it is important to derive more power for the cost reduction. In the present study, we parametrically investigate the preferable shape of the inlet nozzle for the Darrieus-type hydroturbine operated in an open flow channel. Experimental investigation is carried out in the open channel in our lab. Tested inlet nozzles are composed of two flat plates with the various nozzle converging angles and nozzle outlet (runner inlet) widths with the nozzle inlet width kept constant. As a result, the turbine with the nozzles having large converging angle and wide outlet width generates higher power. Two-dimensional unsteady numerical simulation is also carried out to qualitatively understand the flow mechanism leading to the better performance of turbine. Since the depth, the width and the flow rate in the real open flow channels are different from place to place and, in some cases from time to time, it is also important to predict the onsite performance of the hydroturbine from the lab experiment at planning stage. One-dimensional stream-tube model is developed for this purpose, in which the Darrieus-type hydroturbine with the inlet nozzle is considered as an actuator-disk modelled based on our experimental and numerical results.

  5. Cavitating behaviour analysis of Darrieus-type cross flow water turbines

    Energy Technology Data Exchange (ETDEWEB)

    Aumelas, V; Pellone, C; MaItre, T, E-mail: vivien.aumelas@hmg.inpg.f [Equipe Energetique, Grenoble-INP - LEGI (Laboratory of Geophysical and Industrial Flows) Domaine Universitaire - BP 53, Grenoble cedex 9, 38041 (France)

    2010-08-15

    The aim of this paper is to study the cavitating behaviour of bare Darrieus-type turbines. For that, the RANS code CAVKA, has been used. Under non-cavitating conditions, the power coefficient and the thrusts calculated with CAVKA are compared to experimental values obtained in the LEGI hydrodynamic tunnel. Under cavitating conditions, for several cavitation numbers, the numerical power coefficients and vapour structures are compared to experimental ones. Different blade profiles and camber lines are also studied for non-cavitating and cavitating conditions.

  6. Cavitating behaviour analysis of Darrieus-type cross flow water turbines

    Science.gov (United States)

    Aumelas, V.; Pellone, C.; Maître, T.

    2010-08-01

    The aim of this paper is to study the cavitating behaviour of bare Darrieus-type turbines. For that, the RANS code CAVKA, has been used. Under non-cavitating conditions, the power coefficient and the thrusts calculated with CAVKA are compared to experimental values obtained in the LEGI hydrodynamic tunnel. Under cavitating conditions, for several cavitation numbers, the numerical power coefficients and vapour structures are compared to experimental ones. Different blade profiles and camber lines are also studied for non-cavitating and cavitating conditions.

  7. Direct numerical simulations of type Ia supernovae flames I: The landau-darrieus instability

    Energy Technology Data Exchange (ETDEWEB)

    Bell, J.B.; Day, M.S.; Rendleman, C.A.; Woosley, S.E.; Zingale, M.

    2003-11-24

    Planar flames are intrinsically unstable in open domains due to the thermal expansion across the burning front--the Landau-Darrieus instability. This instability leads to wrinkling and growth of the flame surface, and corresponding acceleration of the flame, until it is stabilized by cusp formation. We look at the Landau-Darrieus in stability for C/O thermonuclear flames at conditions relevant to the late stages of a Type Ia supernova explosion. Two-dimensional direct numerical simulations of both single-mode and multi-mode perturbations using a low Mach number hydrodynamics code are presented. We show the effect of the instability on the flame speed as a function of both the density and domain size, demonstrate the existence of the small scale cutoff to the growth of the instability, and look for the proposed breakdown of the non-linear stabilization at low densities. The effects of curvature on the flame as quantified through measurements of the growth rate and computation of the corresponding Markstein number. While accelerations of a few percent are observed, they are too small to have any direct outcome on the supernova explosion.

  8. Assessment of C-Type Darrieus Wind Turbine Under Low Wind Speed Condition

    Science.gov (United States)

    Misaran, M. S.; Rahman, Md. M.; Muzammil, W. K.; Ismail, M. A.

    2017-07-01

    Harvesting wind energy in in a low wind speed region is deem un-economical if not daunting task. Study shows that a minimum cut in speed of 3.5 m/s is required to extract a meaningful wind energy for electricity while a mean speed of 6 m/s is preferred. However, in Malaysia the mean speed is at 2 m/s with certain potential areas having 3 m/s mean speed. Thus, this work aims to develop a wind turbine that able to operate at lower cut-in speed and produce meaningful power for electricity generation. A C-type Darrieus blade is selected as it shows good potential to operate in arbitrary wind speed condition. The wind turbine is designed and fabricated in UMS labs while the performance of the wind turbine is evaluated in a simulated wind condition. Test result shows that the wind turbine started to rotate at 1 m/s compared to a NACA 0012 Darrieus turbine that started to rotate at 3 m/s. The performance of the turbine shows that it have good potential to be used in an intermittent arbitrary wind speed condition as well as low mean wind speed condition.

  9. Direct Numerical Simulations of Type Ia Supernovae Flames I: The Landau-Darrieus Instability

    CERN Document Server

    Bell, J B; Rendleman, C A; Woosley, S E; Zingale, M A

    2004-01-01

    Planar flames are intrinsically unstable in open domains due to the thermal expansion across the burning front--the Landau-Darrieus instability. This instability leads to wrinkling and growth of the flame surface, and corresponding acceleration of the flame, until it is stabilized by cusp formation. We look at the Landau-Darrieus instability for C/O thermonuclear flames at conditions relevant to the late stages of a Type Ia supernova explosion. Two-dimensional direct numerical simulations of both single-mode and multi-mode perturbations using a low Mach number hydrodynamics code are presented. We show the effect of the instability on the flame speed as a function of both the density and domain size, demonstrate the existence of the small scale cutoff to the growth of the instability, and look for the proposed breakdown of the non-linear stabilization at low densities. The effects of curvature on the flame as quantified through measurements of the growth rate and computation of the corresponding Markstein numb...

  10. Numerical and experimental analysis of a darrieus-type cross flow water turbine in bare and shrouded configurations

    Energy Technology Data Exchange (ETDEWEB)

    Roa, A M; Aumelas, V; MaItre, T; Pellone, C, E-mail: ane.mentxaka@hmg.inpg.f [Equipe Energetique, Grenoble-INP - LEGI (Laboratory of Geophysical and Industrial Flows), Domaine Universitaire - BP 53, Grenoble cedex 9, 38041 (France)

    2010-08-15

    The aim of this paper is to present the results of the analysis of a Darrieus-type cross flow water turbine in bare and shrouded configurations. Numerical results are compared to experimental data and differences found in values are also highlighted. The benefit of the introduction of a channelling device, which generates an efficiency increment factor varying from 2 to 5, depending on the configuration, is discussed.

  11. Numerical and experimental analysis of a darrieus-type cross flow water turbine in bare and shrouded configurations

    Science.gov (United States)

    Roa, A. M.; Aumelas, V.; Maître, T.; Pellone, C.

    2010-08-01

    The aim of this paper is to present the results of the analysis of a Darrieus-type cross flow water turbine in bare and shrouded configurations. Numerical results are compared to experimental data and differences found in values are also highlighted. The benefit of the introduction of a channelling device, which generates an efficiency increment factor varying from 2 to 5, depending on the configuration, is discussed.

  12. Dynamical study of the Darrieus-type turbine runners by using finite element method; Estudo da dinamica de turbinas hidraulicas mare-motrizes do tipo Darrieus atraves do metodo dos elementos finitos

    Energy Technology Data Exchange (ETDEWEB)

    Sena, Manoel Jose dos Santos; Mesquita, Andre Luiz Amarante [Para Univ., Belem, PA (Brazil). Dept. de Engenharia Mecanica. Grupo de Turbomaquinas]. E-mail: gtdem@ufpa.br

    2000-07-01

    The purpose of this work is describe the implementation of a finite element model for dynamic response analysis of Darrieus-type turbine runners. A fluid-structure coupling is be used to put in evidence some aspects of the rotor-water interaction. The rotating system fixed to the rotor will be used when writing the equations governing the system. A procedure using the ANSYS Parametric Design Language is discussed and some results obtained for the free-free configuration are shown. (author)

  13. The Darrieus wind turbine for electrical power generation

    Science.gov (United States)

    Robinson, M. L.

    1981-06-01

    Aspects of wind as an energy source and the momentum theory of wind turbines are briefly examined. Types of Darrieus wind turbine are described; attention is given to a turbine with airfoil blades curved in troposkein form, and a turbine with straight blades of fixed or variable pitch. The Darrieus vertical-axis wind turbine is then considered with regard to aerodynamics, annual energy output, structures, control systems, and energy storage. Brief reviews of selected Darrieus wind turbine projects are given, including those at Magdalen Islands, Canada, Sandia Laboratories, Reading University, and Australia and New Zealand.

  14. A New Approach for Modeling Darrieus-Type Vertical Axis Wind Turbine Rotors Using Electrical Equivalent Circuit Analogy: Basis of Theoretical Formulations and Model Development

    Directory of Open Access Journals (Sweden)

    Pierre Tchakoua

    2015-09-01

    Full Text Available Models are crucial in the engineering design process because they can be used for both the optimization of design parameters and the prediction of performance. Thus, models can significantly reduce design, development and optimization costs. This paper proposes a novel equivalent electrical model for Darrieus-type vertical axis wind turbines (DTVAWTs. The proposed model was built from the mechanical description given by the Paraschivoiu double-multiple streamtube model and is based on the analogy between mechanical and electrical circuits. This work addresses the physical concepts and theoretical formulations underpinning the development of the model. After highlighting the working principle of the DTVAWT, the step-by-step development of the model is presented. For assessment purposes, simulations of aerodynamic characteristics and those of corresponding electrical components are performed and compared.

  15. Electric Circuit Model for the Aerodynamic Performance Analysis of a Three-Blade Darrieus-Type Vertical Axis Wind Turbine: The Tchakoua Model

    Directory of Open Access Journals (Sweden)

    Pierre Tchakoua

    2016-10-01

    Full Text Available The complex and unsteady aerodynamics of vertical axis wind turbines (VAWTs pose significant challenges for simulation tools. Recently, significant research efforts have focused on the development of new methods for analysing and optimising the aerodynamic performance of VAWTs. This paper presents an electric circuit model for Darrieus-type vertical axis wind turbine (DT-VAWT rotors. The novel Tchakoua model is based on the mechanical description given by the Paraschivoiu double-multiple streamtube model using a mechanical‑electrical analogy. Model simulations were conducted using MATLAB for a three-bladed rotor architecture, characterized by a NACA0012 profile, an average Reynolds number of 40,000 for the blade and a tip speed ratio of 5. The results obtained show strong agreement with findings from both aerodynamic and computational fluid dynamics (CFD models in the literature.

  16. Side-wall effect of runner casing on performance of Darrieus-type hydro turbine with inlet nozzle for extra-low head utilization

    Institute of Scientific and Technical Information of China (English)

    Kai; SHIMOKAWA; Akinori; FURUKAWA; Kusuo; OKUMA; Daisuke; MATSUSHITA; Satoshi; WATANABE

    2010-01-01

    A ducted Darrieus-type turbine has been proposed for hydropower utilization of extra-low head less than 2 m.Though the hydro turbine system,in general,might consist of an intake,runner casing section and a draft tube for higher efficiency operation,it was clarified in previous experiment that there was no need of the side-walls of runner casing section and a draft-tube for keeping the efficiency high in the case of duct with an inlet nozzle.This would yield a simplification of the structure of the turbine system.In order to reconfirm this result for large-sized turbine with 560 mm×300 mm duct,instead of small-sized one with 400 mm×200 mm duct,the side-wall effect on turbine performance was experimentally investigated for three-or four-bladed runner.In the present paper,the experimental results are shown with considering flow behaviors in the runner section.

  17. CFD analysis of a Darrieus wind turbine

    Science.gov (United States)

    Niculescu, M. L.; Cojocaru, M. G.; Pricop, M. V.; Pepelea, D.; Dumitrache, A.; Crunteanu, D. E.

    2017-07-01

    The Darrieus wind turbine has some advantages over the horizontal-axis wind turbine. Firstly, its tip speed ratio is lower than that of the horizontal-axis wind turbine and, therefore, its noise is smaller, privileging their placement near populated areas. Secondly, the Darrieus wind turbine does needs no orientation mechanism with respect to wind direction in contrast to the horizontal-axis wind turbine. However, the efficiency of the Darrieus wind turbine is lower than that of the horizontal-axis wind turbine since its aerodynamics is much more complex. With the advances in computational fluids and computers, it is possible to simulate the Darrieus wind turbine more accurately to understand better its aerodynamics. For these reasons, the present papers deals with the computational aerodynamics of a Darrieus wind turbine applying the state of the art of CFD methods (anisotropic turbulence models, transition from laminar to turbulent, scale adaptive simulation) to better understand its unsteady behavior.

  18. Hybrid Configuration of Darrieus and Savonius Rotors for Stand-alone Power Systems

    Science.gov (United States)

    Wakui, Tetsuya; Tanzawa, Yoshiaki; Hashizume, Takumi; Nagao, Toshio

    The suitable hybrid configuration of Darrieus lift-type and Savonius drag-type rotors for stand-alone wind turbine-generator systems is discussed using our dynamic simulation model. Two types of hybrid configurations are taken up: Type-A installs the Savonius rotor inside the Darrieus rotor and Type-B installs the Savonius rotor outside the Darrieus rotor. The computed results of the output characteristics and the dynamic behaviors of the system operated at the maximum power coefficient points show that Type-A, which has fine operating behavior to wind speed changes and can be compactly designed because of a shorter rotational shaft, is an effective way for self-controlled stand-alone small-scale systems.

  19. Comparative study of a three-bucket Savonius rotor with a combined three-bucket Savonius-three-bladed Darrieus rotor

    Energy Technology Data Exchange (ETDEWEB)

    Gupta, R.; Biswas, A.; Sharma, K.K. [Department of Mechanical Engineering, National Institute of Technology (NIT), Silchar 788 010, Assam (India)

    2008-09-15

    The vertical axis wind turbines are simple in construction, self-starting, inexpensive and can accept wind from any direction without orientation. A combined Savonius-Darrieus type vertical axis wind rotor has got many advantages over individual Savonius or individual Darrieus wind rotor, such as better efficiency than Savonius rotor and high starting torque than Darrieus rotor. But works on the combined Savonius-Darrieus wind rotor are very scare. In view of the above, two types of models, one simple Savonius and the other combined Savonius-Darrieus wind rotors were designed and fabricated. The Savonius rotor was a three-bucket system having provisions for overlap variations. The Savonius-Darrieus rotor was a combination of three-bucket Savonius and three-bladed Darrieus rotors with the Savonius placed on top of the Darrieus rotor. The overlap variation was made in the upper part, i.e. the Savonius rotor only. These were tested in a subsonic wind tunnel available in the department. The various parameters namely, power coefficients and torque coefficients were calculated for both overlap and without overlap conditions. From the present investigation, it is seen that with the increase of overlap, the power coefficients start decreasing. The maximum power coefficient of 51% is obtained at no overlap condition. However, while comparing the power coefficients (C{sub p}) for simple Savonius-rotor with that of the combined configuration of Savonius-Darrieus rotor, it is observed that there is a definite improvement in the power coefficient for the combined Savonius-Darrieus rotor without overlap condition. Combined rotor without overlap condition provided an efficiency of 0.51, which is higher than the efficiency of the Savonius rotor at any overlap positions under the same test conditions. (author)

  20. Flutter of Darrieus wind turbine blades

    Science.gov (United States)

    Ham, N. D.

    1978-01-01

    The testing of Darrieus wind turbines has indicated that under certain conditions, serious vibrations of the blades can occur, involving flatwise bending, torsion, and chordwise bending. A theoretical method of predicting the aeroelastic stability of the coupled bending and torsional motion of such blades with a view to determining the cause of these vibrations, and a means of suppressing them was developed.

  1. H-Darrieus Wind Turbine with Blade Pitch Control

    Directory of Open Access Journals (Sweden)

    I. Paraschivoiu

    2009-01-01

    Full Text Available A procedure for computing the optimal variation of the blades' pitch angle of an H-Darrieus wind turbine that maximizes its torque at given operational conditions is proposed and presented along with the results obtained on a 7 kW prototype. The CARDAAV code, based on the “Double-Multiple Streamtube” model developed by the first author, is used to determine the performances of the straight-bladed vertical axis wind turbine. This was coupled with a genetic algorithm optimizer. The azimuthal variation of the blades' pitch angle is modeled with an analytical function whose coefficients are used as variables in the optimization process. Two types of variations were considered for the pitch angle: a simple sinusoidal one and one which is more general, relating closely the blades' pitch to the local flow conditions along their circular path. A gain of almost 30% in the annual energy production was obtained with the polynomial optimal pitch control.

  2. Scale Adaptive Simulation Model for the Darrieus Wind Turbine

    DEFF Research Database (Denmark)

    Rogowski, K.; Hansen, Martin Otto Laver; Maroński, R.

    2016-01-01

    Accurate prediction of aerodynamic loads for the Darrieus wind turbine using more or less complex aerodynamic models is still a challenge. One of the problems is the small amount of experimental data available to validate the numerical codes. The major objective of the present study is to examine...

  3. Numerical investigation on the flow and power of small-sized multi-bladed straight Darrieus wind turbine

    Institute of Scientific and Technical Information of China (English)

    2007-01-01

    Straight Darrieus wind turbine has attractive characteristics such as the ability to accept wind from random direction and easy installation and maintenance. But its aerodynamic performance is very complicated, especially for the existence of dynamic stall. How to get better aerodynamic performance arouses lots of interests in the design procedure of a straight Darrieus wind turbine. In this paper, mainly the effects of number of blades and tip speed ratio are discussed. Based on the numerical investigation, an assumed asymmetric straight Darrieus wind turbine is proposed to improve the averaged power coefficient. As to the numerical method, the flow around the turbine is simulated by solving the 2D unsteady Navier-Stokes equation combined with continuous equation. The time marching method on a body-fitted coordinate system based on MAC (Marker-and-Cell) method is used. O-type grid is generated for the whole calculation domain. The characteristics of tangential and normal force are discussed related with dynamic stall of the blade. Averaged power coefficient per period of rotating is calculated to evaluate the eligibility of the turbine.

  4. The effect of solidity on the performance of H-rotor Darrieus turbine

    Science.gov (United States)

    Hassan, S. M. Rakibul; Ali, Mohammad; Islam, Md. Quamrul

    2016-07-01

    Utilization of wind energy has been investigated for a long period of time by different researchers in different ways. Out of which, the Horizontal Axis Wind Turbine and the Vertical Axis Wind Turbine have now advanced design, but still there is scope to improve their efficiency. The Vertical Axis Wind Turbine (VAWT) has the advantage over Horizontal Axis Wind Turbine (HAWT) for working on omnidirectional air flow without any extra control system. A modified H-rotor Darrieus type VAWT is analysed in this paper, which is a lift based wind turbine. The effect of solidity (i.e. chord length, no. of blades) on power coefficient (CP) of H-rotor for different tip speed ratios is numerically investigated. The study is conducted using time dependent RANS equations using SST k-ω model. SIMPLE scheme is used as pressure-velocity coupling and in all cases, the second order upwind discretization scheme is chosen for getting more accurate solution. In results, different parameters are compared, which depict the performance of the modified H-rotor Darrieus type VAWT. Double layered H-rotor having inner layer blades with longer chord gives higher power coefficient than those have inner layer blades with smaller chord.

  5. Performance of Combined Water Turbine Darrieus-Savonius with Two Stage Savonius Buckets and Single Deflector

    OpenAIRE

    Sahim, Kaprawi; Santoso, Dyos; Sipahutar, Riman

    2016-01-01

    The objective of this study is to show the effect of single deflector plate on the performance of combined Darrieus-Savonius water turbine. In order to overcome the disadvantages of low torque of solo Darrieus turbine, a plate deflector mounted in front of returning Savonius bucket of combined water turbine composing of Darrieus and Savonius rotor has been proposed in this study. Some configurations of combined turbines with two stage Savonius rotors were experimentally tested in a river of c...

  6. A vortex model for Darrieus turbine using finite element techniques

    Energy Technology Data Exchange (ETDEWEB)

    Ponta, Fernando L. [Universidad de Buenos Aires, Dept. de Electrotecnia, Grupo ISEP, Buenos Aires (Argentina); Jacovkis, Pablo M. [Universidad de Buenos Aires, Dept. de Computacion and Inst. de Calculo, Buenos Aires (Argentina)

    2001-09-01

    Since 1970 several aerodynamic prediction models have been formulated for the Darrieus turbine. We can identify two families of models: stream-tube and vortex. The former needs much less computation time but the latter is more accurate. The purpose of this paper is to show a new option for modelling the aerodynamic behaviour of Darrieus turbines. The idea is to combine a classic free vortex model with a finite element analysis of the flow in the surroundings of the blades. This avoids some of the remaining deficiencies in classic vortex models. The agreement between analysis and experiment when predicting instantaneous blade forces and near wake flow behind the rotor is better than the one obtained in previous models. (Author)

  7. Scale Adaptive Simulation Model for the Darrieus Wind Turbine

    Science.gov (United States)

    Rogowski, K.; Hansen, M. O. L.; Maroński, R.; Lichota, P.

    2016-09-01

    Accurate prediction of aerodynamic loads for the Darrieus wind turbine using more or less complex aerodynamic models is still a challenge. One of the problems is the small amount of experimental data available to validate the numerical codes. The major objective of the present study is to examine the scale adaptive simulation (SAS) approach for performance analysis of a one-bladed Darrieus wind turbine working at a tip speed ratio of 5 and at a blade Reynolds number of 40 000. The three-dimensional incompressible unsteady Navier-Stokes equations are used. Numerical results of aerodynamic loads and wake velocity profiles behind the rotor are compared with experimental data taken from literature. The level of agreement between CFD and experimental results is reasonable.

  8. An Experimental Study on the Darrieus-Savonius Turbine for the Tidal Current Power Generation

    Science.gov (United States)

    Kyozuka, Yusaku

    The Darrieus turbine is popular for tidal current power generation in Japan. It is simple in structure with straight wings rotating around a vertical axis, so that it has no directionality against the motion of tidal flow which changes its direction twice a day. However, there is one defect in the Darrieus turbine; its small starting torque. Once it stops, a Darrieus turbine is hard to re-start until a fairly fast current is exerted on it. To improve the starting torque of the Darrieus turbine used for tidal power generation, a hybrid turbine, composed of a Darrieus turbine and a Savonius rotor is proposed. Hydrodynamic characteristics of a semi-circular section used for the Savonius bucket were measured in a wind tunnel. The torque of a two bucket Savonius rotor was measured in a circulating water channel, where four different configurations of the bucket were compared. A combined Darrieus and Savonius turbine was tested in the circulating water channel, where the effect of the attaching angle between Darrieus wing and Savonius rotor was studied. Finally, power generation experiments using a 48 pole electric generator were conducted in a towing tank and the power coefficients were compared with the results of experiments obtained in the circulating water channel.

  9. Experimental Study of Darrieus-Savonius Water Turbine with Deflector: Effect of Deflector on the Performance

    OpenAIRE

    Sahim, Kaprawi; Ihtisan, Kadafi; Santoso, Dyos; Sipahutar, Riman

    2014-01-01

    The reverse force on the returning blade of a water turbine can be reduced by setting a deflector on the returning blade side of a rotor. The deflector configuration can also concentrate the flow which passes through the rotor so that the torque and the power of turbine can be considerably increased. The placing of Savonius in Darrieus rotor is carried out by setting the Savonius bucket in Darrieus rotor at the same axis. The combination of these rotors is also called a Darrieus-Savonius turb...

  10. Computational investigation of flow control by means of tubercles on Darrieus wind turbine blades

    Science.gov (United States)

    Sevinç, K.; Özdamar, G.; Şentürk, U.; Özdamar, A.

    2015-09-01

    This work presents the current status of the computational study of the boundary layer control of a vertical axis wind turbine blade by modifying the blade geometry for use in wind energy conversion. The control method is a passive method which comprises the implementation of the tubercle geometry of a humpback whale flipper onto the leading edge of the blades. The baseline design is an H-type, three-bladed Darrieus turbine with a NACA 0015 cross-section. Finite-volume based software ANSYS Fluent was used in the simulations. Using the optimum control parameters for a NACA 634-021 profile given by Johari et al. (2006), turbine blades were modified. Three dimensional, unsteady, turbulent simulations for the blade were conducted to look for a possible improvement on the performance. The flow structure on the blades was investigated and flow phenomena such as separation and stall were examined to understand their impact on the overall performance. For a tip speed ratio of 2.12, good agreement was obtained in the validation of the baseline model with a relative error in time- averaged power coefficient of 1.05%. Modified turbine simulations with a less expensive but less accurate turbulence model yielded a decrease in power coefficient. Results are shown comparatively.

  11. Design of h-Darrieus vertical axis wind turbine

    Science.gov (United States)

    Parra, Teresa; Vega, Carmen; Gallegos, A.; Uzarraga, N. C.; Castro, F.

    2015-05-01

    Numerical simulation is used to predict the performance of a Vertical Axis Wind Turbine (VAWT) H-Darrieus. The rotor consists of three straight blades with shape of aerofoil of the NACA family attached to a rotating vertical shaft. The influence of the solidity is tested to get design tendencies. The mesh has two fluid volumes: one sliding mesh for the rotor where the rotation velocity is established while the other is the environment of the rotor. Bearing in mind the overall flow is characterized by important secondary flows, the turbulence model selected was realizable k-epsilon with non-equilibrium wall functions. Conservation equations were solved with a Third-Order Muscl scheme using SIMPLE to couple pressure and velocity. During VAWT operation, the performance depends mainly on the relative motion of the rotating blade and has a fundamental period which depends both on the rate of rotation and the number of blades. The transient study is necessary to characterise the hysteresis phenomenon. Hence, more than six revolutions get the periodic behaviour. Instantaneous flows provide insight about wake structure interaction. Time averaged parameters let obtain the characteristic curves of power coefficient.

  12. Design of h-Darrieus vertical axis wind turbine

    Directory of Open Access Journals (Sweden)

    Parra Teresa

    2015-01-01

    Full Text Available Numerical simulation is used to predict the performance of a Vertical Axis Wind Turbine (VAWT H-Darrieus. The rotor consists of three straight blades with shape of aerofoil of the NACA family attached to a rotating vertical shaft. The influence of the solidity is tested to get design tendencies. The mesh has two fluid volumes: one sliding mesh for the rotor where the rotation velocity is established while the other is the environment of the rotor. Bearing in mind the overall flow is characterized by important secondary flows, the turbulence model selected was realizable k-epsilon with non-equilibrium wall functions. Conservation equations were solved with a Third-Order Muscl scheme using SIMPLE to couple pressure and velocity. During VAWT operation, the performance depends mainly on the relative motion of the rotating blade and has a fundamental period which depends both on the rate of rotation and the number of blades. The transient study is necessary to characterise the hysteresis phenomenon. Hence, more than six revolutions get the periodic behaviour. Instantaneous flows provide insight about wake structure interaction. Time averaged parameters let obtain the characteristic curves of power coefficient.

  13. Experimental Study of Darrieus-Savonius Water Turbine with Deflector: Effect of Deflector on the Performance

    Directory of Open Access Journals (Sweden)

    Kaprawi Sahim

    2014-01-01

    Full Text Available The reverse force on the returning blade of a water turbine can be reduced by setting a deflector on the returning blade side of a rotor. The deflector configuration can also concentrate the flow which passes through the rotor so that the torque and the power of turbine can be considerably increased. The placing of Savonius in Darrieus rotor is carried out by setting the Savonius bucket in Darrieus rotor at the same axis. The combination of these rotors is also called a Darrieus-Savonius turbine. This rotor can improve torque of turbine. Experiments are conducted in an irrigation canal to find the performance characteristics of presence of deflector and Savonius rotor in Darrieus-Savonius turbine. Results conclude that the single deflector plate placed on returning blade side increases the torque and power coefficient. The presence of Savonius rotor increases the torque at a lower speed, but the power coefficient decreases. The torque and power coefficient characteristics depend on the aspect ratio of Savonius rotor.

  14. Active Blade Pitch Control for Straight Bladed Darrieus Vertical Axis Wind Turbine of New Design

    DEFF Research Database (Denmark)

    Chougule, Prasad; Nielsen, Søren R.K.; Basu, Biswajit

    2013-01-01

    As Development of small vertical axis wind turbines (VAWT) for urban use is becoming an interesting topic both within industry and academia. However, there are few new designs of vertical axis turbines which are customized for building integration. These are getting importance because they operate...... at low rotational speed producing very less noise during operation, although these are less efficient than Horizontal Axis Wind Turbines (HAWT). The efficiency of a VAWT has been significantly improved by H-Darrieus VAWT design based on double airfoil technology as demonstrated by the authors...... multiple stream tube method is used to determine the performance of the H-Darrieus VAWT. The power coefficient is compared with that of a fixed pitch and a variable pitch double airfoil blade VAWT. It is demonstrated that an improvement in power coefficient by 20% is achieved and the turbine could start...

  15. Soot properties and species measurements in a two-meter diameter JP-8 pool fire.

    Energy Technology Data Exchange (ETDEWEB)

    Shaddix, Christopher R.; Murphy, Jeffrey J.

    2003-06-01

    A tunable diode laser absorption spectroscopy probe was used to measure in situ soot properties and species concentrations in two-meter diameter JP-8 pool fires. Twelve tests were performed at the Lurance Canyon Bum Site operated by Sandia in Albuquerque, New Mexico. Seven of the tests were conducted with the probe positioned close to the centerline at heights above the pool surface ranging from 0.5 m to 2.0 mm in 0.25 m increments. For the remaining five tests, the probe was positioned at two heights 0.3 m from the centerline and at three heights 0.5 m from the centerline. Soot concentration was determined using a soot absorption measurement based on the transmission of a solid-state red laser (635 nm) through the 3.7 cm long probe volume. Soot temperature and a second estimate of soot concentration were measured using two-color optical pyrometry at 850 nm and la00 nm. The effective data rate for these measurements was 10 Mz. Finally, tunable diode laser absorption spectroscopy was used to qualitatively estimate water concentration at a rate of 1 kHz. To improve signal-to-noise, these data were averaged to an effective rate of 2 Hz. The results presented include the statistics, probability density functions, and spectral density functions of soot concentration, soot temperature, and approximate water concentrations at the different measurement locations throughout the fire.

  16. Computational fluid dynamics analysis of a twisted airfoil shaped two-bladed H-Darrieus rotor made from fibreglass reinforced plastic (FRP

    Directory of Open Access Journals (Sweden)

    Rajat Gupta, Sukanta Roy, Agnimitra Biswas

    2010-11-01

    Full Text Available H-Darrieus rotor is a lift type device having two to three blades designed as airfoils. The blades are attached vertically to the central shaft through support arms. The support to vertical axis helps the rotor maintain its shape. In this paper, Computational Fluid Dynamics (CFD analysis of an airfoil shaped two-bladed H-Darrieus rotor using Fluent 6.2 software was performed. Based on the CFD results, a comparative study between experimental and computational works was carried out. The H-Darrieus rotor was 20cm in height, 5cm in chord and twisted with an angle of 30° at the trailing end. The blade material of rotor was Fiberglass Reinforced Plastic (FRP. The experiments were earlier conducted in a subsonic wind tunnel for various height-to-diameter (H/D ratios. A two dimensional computational modeling was done with the help of Gambit tool using unstructured grid. Realistic boundary conditions were provided for the model to have synchronization with the experimental conditions. Two dimensional steady-state segregated solver with absolute velocity formulation and cell based grid was considered, and a standard k-epsilon viscous model with standard wall functions was chosen. A first order upwind discretization scheme was adopted for pressure velocity coupling of the flow. The inlet velocities and rotor rotational speeds were taken from the experimental results. From the computational analysis, power coefficient (Cp and torque coefficient (Ct values at ten different H/D ratios namely 0.85, 1.0, 1.10, 1.33, 1.54, 1.72, 1.80, 1.92, 2.10 and 2.20 were calculated in order to predict the performances of the twisted H-rotor. The variations of Cp and Ct with tip speed ratios were analyzed and compared with the experimental results. The standard deviations of computational Cp and Ct from experimental Cp and Ct were obtained. From the computational analysis, the highest values of Cp and Ct were obtained at H/D ratios of 1.0 and 1.54 respectively. The

  17. Active Blade Pitch Control for Straight Bladed Darrieus Vertical Axis Wind Turbine of New Design

    DEFF Research Database (Denmark)

    Chougule, Prasad; Nielsen, Søren R.K.; Basu, Biswajit

    2013-01-01

    at low rotational speed producing very less noise during operation, although these are less efficient than Horizontal Axis Wind Turbines (HAWT). The efficiency of a VAWT has been significantly improved by H-Darrieus VAWT design based on double airfoil technology as demonstrated by the authors...... in a previous publication. Further, it is well know that the variation of the blade pitch angle during the rotation improves the power efficiency. A blade pitch variation is implemented by active blade pitch control, which operates as per wind speed and position of the blade with respect to the rotor. A double...

  18. Structural analysis of a 1kW Darrieus turbine spoke

    DEFF Research Database (Denmark)

    Belloni, Federico; Bedon, Gabriele; Castelli, Marco Raciti

    A structural study of a 1 kW Darrieus turbine spoke was performed in order to study stress distribution on the piece and make it more light. The VAWT turbine, originally intended for urban operation, is provided with 3 blades and 6 spokes. Since turbine initial tests showed relevant balancing......, the spoke was considered rotating at the maximum admitted rotational speed, since centrifugal forces were observed to be much more remarkable than others loads. Original steel configuration and different architectures with shaped holes made along the spoke were simulated, but stress value was found...

  19. CFD analysis for H-rotor Darrieus turbine as a low speed wind energy converter

    Directory of Open Access Journals (Sweden)

    M.H. Mohamed

    2015-03-01

    Full Text Available Vertical axis wind turbines like the Darrieus turbine appear to be promising for the conditions of low wind speed, but suffer from a low efficiency compared to horizontal axis turbines. A fully detailed numerical analysis is introduced in this work to improve the global performance of this wind turbine. A comparison between ANSYS Workbench and Gambit meshing tools for the numerical modeling is performed to summarize a final numerical sequence for the Darrieus rotor performance. Then, this model sequence is applied for different blade airfoils to obtain the best performance. Unsteady simulations performed for different speed ratios and based on URANS turbulent calculations using sliding mesh approach. Results show that the accuracy of ANSYS Workbench meshing is improved by using SST K-omega model but it is not recommended for other turbulence models. Moreover, this CFD procedure is used in this paper to assess the turbine performance with different airfoil shapes (25 airfoils. The results introduced new shapes for this turbine with higher efficiency than the regular airfoils by 10%. In addition, blade pitch angle has been studied and the results indicated that the zero pitch angle gives best performance.

  20. Numerical investigation of aerodynamic performance of darrieus wind turbine based on the magnus effect

    Directory of Open Access Journals (Sweden)

    L Khadir

    2016-10-01

    Full Text Available The use of several developmental approaches is the researchers’ major preoccupation with the DARRIEUS wind turbine. This paper presents the first approach and results of a wide computational investigation on the aerodynamics of a vertical axis DARRIEUS wind turbine based on the MAGNUS effect. Consequently, wind tunnel tests were carried out to ascertain overall performance of the turbine and two-dimensional unsteady computational fluid dynamics (CFD models were generated to help understand the aerodynamics of this new performance. Accordingly, a moving mesh technique was used where the geometry of the turbine blade was cylinders. The turbine model was created in Gambit modeling software and then read into fluent software for fluid flow analysis. Flow field characteristics are investigated for several values of tip speed ratio (TSR, in this case we generated a new rotational speed ratio between the turbine and cylinder (δ = ωC/ωT. This new concept based on the MAGNUS approach provides the best configuration for better power coefficient values. The positive results of Cp obtained in this study are used to generate energy; on the other hand, the negative values of Cp could be used in order to supply the engines with energy.

  1. Counterpart of the Darrieus-Landau instability at a magnetic deflagration front

    Science.gov (United States)

    Jukimenko, O.; Modestov, M.; Dion, C. M.; Marklund, M.; Bychkov, V.

    2016-04-01

    The magnetic instability at the front of the spin avalanche in a crystal of molecular magnets is considered. This phenomenon reveals similar features with the Darrieus-Landau instability, inherent to classical combustion flame fronts. The instability growth rate and the cutoff wavelength are investigated with respect to the strength of the external magnetic field, both analytically in the limit of an infinitely thin front and numerically for finite-width fronts. The presence of quantum tunneling resonances is shown to increase the growth rate significantly, which may lead to a possible transition from deflagration to detonation regimes. Different orientations of the crystal easy axis are shown to exhibit opposite stability properties. In addition, we suggest experimental conditions that could evidence the instability and its influence on the magnetic deflagration velocity.

  2. Aeroelastic equations of motion of a Darrieus vertical-axis wind-turbine blade

    Science.gov (United States)

    Kaza, K. R. V.; Kvaternik, R. G.

    1979-01-01

    The second-degree nonlinear aeroelastic equations of motion for a slender, flexible, nonuniform, Darrieus vertical-axis wind turbine blade which is undergoing combined flatwise bending, edgewise bending, torsion, and extension are developed using Hamilton's principle. The blade aerodynamic loading is obtained from strip theory based on a quasi-steady approximation of two-dimensional incompressible unsteady airfoil theory. The derivation of the equations has its basis in the geometric nonlinear theory of elasticity and the resulting equations are consistent with the small deformation approximation in which the elongations and shears are negligible compared to unity. These equations are suitable for studying vibrations, static and dynamic aeroelastic instabilities, and dynamic response. Several possible methods of solution of the equations, which have periodic coefficients, are discussed.

  3. Feedback control of a Darrieus wind turbine and optimization of the produced energy

    Science.gov (United States)

    Maurin, T.; Henry, B.; Devos, F.; de Saint Louvent, B.; Gosselin, J.

    1984-03-01

    A microprocessor-driven control system, applied to the feedback control of a Darrieus wind turbine is presented. The use of a dc machine as a generator to recover the energy and as a motor to start the engine, allows simplified power electronics. The architecture of the control unit is built to ensure four different functions: starting, optimization of the recoverable energy, regulation of the speed, and braking. An experimental study of the system in a wind tunnel allowed optimization of the coefficients of the proportional and integral (pi) control algorithm. The electrical energy recovery was found to be much more efficient using the feedback system than without the control unit. This system allows a better characterization of the wind turbine and a regulation adapted to the wind statistics observed in one given geographical location.

  4. A design of vertical axis wind power generating system combined with Darrieus-Savonius for adaptation of variable wind speed

    Energy Technology Data Exchange (ETDEWEB)

    Seo, Young Taek; Oh, Chul Soo [Kyung Pook National University, Taegu (Korea, Republic of)

    1996-02-01

    This paper presents a design of vertical axis Darrieus wind turbine combined with Savonius for wind-power generating system to be adapted for variable wind speed. The wind turbine consists of two troposkien- and four Savonius-blades. Darrieus turbine is designed with diameter 9.4[m], chord length 380[mm], tip speed ratio 5. Savonius turbine is designed with diameter 1.8[m], height 2[m], tip speed ratio 0.95. The design of turbine is laid for the main data of rated wind speed 10[m/s], turbine speed 101.4[rpm]. The generating power is estimated to maximum power 20[kWh], and this is converted to commercial power line by means of three phase synchronous generator-inverter system. Generating system is designed for operation on VSVF(variable speed variable frequency) condition and constant voltage system. (author). 11 refs., 14 figs.

  5. Interplay of Darrieus-Landau instability and weak turbulence in premixed flame propagation

    Science.gov (United States)

    Creta, Francesco; Lamioni, Rachele; Lapenna, Pasquale Eduardo; Troiani, Guido

    2016-11-01

    In this study we investigate, both numerically and experimentally, the interplay between the intrinsic Darrieus-Landau (DL) or hydrodynamic instability of a premixed flame and the moderately turbulent flow field in which the flame propagates. The objective is threefold: to establish, unambiguously, through a suitably defined marker, the presence or absence of DL-induced effects on the turbulent flame, to quantify the DL effects on the flame propagation and morphology and, finally, to asses whether such effects are mitigated or suppressed as the turbulence intensity is increased. The numerical simulations are based on a deficient reactant model which lends itself to a wealth of results from asymptotic theory, such as the determination of stability limits. The skewness of the flame curvature probability density function is identified as an unambiguous morphological marker for the presence or absence of DL effects in a turbulent environment. In addition, the turbulent propagation speed is shown to exhibit a distinct dual behavior whereby it is noticeably enhanced in the presence of DL instability while it is unchanged otherwise. Furthermore, increasing the turbulence intensity is found to be mitigating with respect to DL-induced effects such as the mentioned dual behavior which disappears at higher intensities. Experimental propane and/or air Bunsen flames are also investigated, utilizing two distinct diameters, respectively, above and below the estimated DL cutoff wavelength. Curvature skewness is still clearly observed to act as a marker for DL instability while the turbulent propagation speed is concurrently enhanced in the presence of the instability.

  6. Fractal flame structure due to the hydrodynamic Darrieus-Landau instability

    Science.gov (United States)

    Yu, Rixin; Bai, Xue-Song; Bychkov, Vitaly

    2015-12-01

    By using large scale numerical simulations, we obtain fractal structure, which develops at originally planar flame fronts due to the hydrodynamic Darrieus-Landau (DL) instability bending the fronts. We clarify some important issues regarding the DL fractal flames, which have been debated for a long time. We demonstrate an increase of the flame propagation speed with the hypothetic channel width, which controls the length scale of the instability development. We show that this increase may be fitted by a power law indicating the mean fractal properties of the flame front structure. The power exponent in this law is found to be not a universal constant, rather it depends on the flame properties—on the density drop at the front. Using box counting on the simulated flame front shapes we show the fractal flame dimension at the intermediate scale is smaller than the one given by the power law, but it has a similar dependency on the density drop. We also obtain a formation of pockets at the DL fractal flame fronts, which previously has been associated only with turbulent burning.

  7. Soot properties and species measurements in a two-meter diameter JP-8 pool fire : 2003 test series.

    Energy Technology Data Exchange (ETDEWEB)

    Shaddix, Christopher R.; Murphy, Jeffrey J.

    2004-03-01

    A tunable diode laser absorption spectroscopy probe was used to measure in situ soot properties and species concentrations in a two-meter diameter JP-8 pool fire. Thirty-five tests were performed at the Lurance Canyon Burn Site operated by Sandia in Albuquerque, New Mexico. The axial profile of the fire was characterized with a series of tests with the probe located on the centerline at heights ranging from 0.5 m to 2.0 m in 0.25 m increments. The radial profile of the fire was characterized with a series of tests with the probe 1.0 m above the fuel surface at radial positions ranging from 0.0 m to 0.6 m, in 0.1 m increments. Experiments were also performed with variation of the air flow into the facility. Soot concentration was determined using a light extinction measurement based on the transmission of a solid-state red laser (635 nm) through the 3.7 cm long probe volume. Soot temperature and a second estimate of soot concentration were measured using two-color optical pyrometry at 850 nm and 1000 nm. The effective data rate for these measurements was 10 kHz. Finally, tunable diode laser absorption spectroscopy was used to estimate the concentrations of water vapor, acetylene, and methane. The results presented include the statistics, probability density functions, and spectral density functions of soot concentration, soot temperature, and approximate species concentrations at the different measurement locations throughout the fire.

  8. CFD study of a twisted blade H-Darrieus wind turbine

    Directory of Open Access Journals (Sweden)

    Rajat Gupta, Rituraj Gautam, Siddhartha Sankar Deka

    2014-01-01

    Full Text Available In this paper, a two-dimensional Computational Fluid Dynamics (CFD study of the performance of a H-Darrieus turbine with three twisted blade had been carried out. The chord length of each blade is 5cm and the blade height is considered to be same for all the rotors. A two dimensional (2D model of the turbine was designed in CATIA V5R19 software and a k-epsilon turbulence closure was adopted with the unstructured mesh generated around the rotor modeled in GAMBIT 2.3.16. The inlet velocities and the rotational speeds are taken from the experimental results and the CFD analysis was carried out in CFD Code-FLUENT 6.3.26. From the CFD analysis, power coefficient (Cp and torque coefficient (Ct at three different H/D ratios of 1.13, 1.31 and 1.55 respectively were calculated and compared with available experimental results. The computational analysis showed that the highest values of Cp (0.525 and Ct (0.95 were obtained at H/D ratios of 1.31 and 1.13 respectively. The deviation of computational Cp from experimental Cp was within ±3.08 % and that of computational Ct from experimental Ct was within ±1.106 %. A study of the flow behaviour around the rotor was also carried out using the pressure contours and velocity vectors plots. A maximum pressure drop is obtained for H/D ratio of 1.31 and a vortex reattachment near rear blade of rotor with H/D ratio of 1.31 was observed from the pressure contours and velocity vectors plots. The vortex attachment to the blade of the rotor enhances the lift coefficient of the rotor which helps in improving the power coefficient of the rotor. The comparison between the computational results and previous experimental work is pretty encouraging.

  9. Modal analysis of a small vertical axis wind turbine (Type DARRIEUS

    Directory of Open Access Journals (Sweden)

    Ion NILA

    2012-06-01

    Full Text Available This paper reports a brief study on free vibration analysis for determining parameters such as natural frequencies and mode shapes for vertical axis wind turbines (VAWT for an urban application. This study is focused on numerical work using available finite element software. For further understanding of the wind turbine dynamic analysis, two vibration parameters of dynamic response have been studied, namely natural frequencies and mode shapes.Block Lanczos method has been used to analyze the natural frequency while wind turbine mode shapes have been utilized because of their accuracy and faster solution. In this problem 12 modes of structure have been extracted.

  10. On the dynamic behavior of a wind turbine-generator system with a Darrieus-Savonius hybrid wind turbine; Hybrid furyoku turbine wo mochiita furyoku hatsuden system no kyodo ni tsuite

    Energy Technology Data Exchange (ETDEWEB)

    Wakui, T.; Tanzawa, Y.; Hashizume, T.; Ota, E. [Waseda University, Tokyo (Japan). School of Science and Engineering; Terashima, Y.; Machiyama, T. [Nippon Institute of Technology, Saitama (Japan)

    1997-03-25

    In order to clarify the dynamic characteristics of a self-controlled Darrieus-Savonius hybrid wind turbine system, a system consisting of a hybrid wind turbine and an AC generator was tested under various wind conditions in the wind tunnel. We took up four types of wind blowing change for the test; ramp, sinusoidal and square wind velocity changes and a similar wind velocity change to the field wind. A series of tests substantiated the effectiveness of our operating scheme wherein the tip speed ratio is maintained at a constant value. On the other hand, theoretical studies have been carried out on the characteristics of the system. A simulation model is presented in order to describe the system characteristics not only for the steady-state behavior but also for the dynamic behavior. In spite of its simplicity, the model can predict both characteristics of the system well. The appropriateness of the simulation model is confirmed by comparing with the experimental results. -In addition, the field test data are discussed. As a result, it is confirmed that the system is operated and controlled satisfactorily in the field. 14 refs., 19 figs., 3 tabs.

  11. 一种提高Darrieus型海流能转换装置性能方法的研究%A Study on a Method to Improve the Hydrodynamic Performance of a Darrieus Marine Current Turbine

    Institute of Scientific and Technical Information of China (English)

    孙晓晶; 黄典贵; 吴国庆

    2011-01-01

    Most marine current turbines currently under development can be divided into horizontal axis and vertical axis. A weak self-starting ability and low efficiency of energy conversion are the main obstacles on the way of a commercial application of vertical-axis marine current devices. In this paper, an approach is numerically investigated, which aims to improve the performance of vertical-axis marine current device through the installation of several straight plates around its periphery. The efficiency of a Darrieus-type marine current turbine with and without surrounding plates has been compared and the results indicate that these plates can form a narrow entrance in front of the device and effectively accelerate the water speed to increase the power output. Meanwhile due to its low cost, this approach has great potential to be applied to an actual project.%目前大多数海流能发电装置的设计可分为水平轴和垂直轴两类。起动性能差、能量利用率低是限制垂直轴海流能转换装置进行商业化应用的主要障碍。本文以Darrieus型垂直轴海流能装置为例,通过数值模拟分析,对在其周边以一定角度添加竖直平板来提高其性能的方法进行b 研究。结果表明这些平板可以在装置前方形成一个导流加速的通道,从而可以有效地提高这类装置的能量转换率。同时由于造价低廉,使这种方法在实际工程中具有很大的应用潜力。

  12. Matching of wind turbine type and system scale to wind conditions; Chiten no fukyo ni taisuru furyoku turbine no keitai to sytem taikaku no seigosei ni tsuite

    Energy Technology Data Exchange (ETDEWEB)

    Wakui, T. [Japan Society for the Promotion of Science, Tokyo (Japan); Tanzawa, Y. [Nippon Institute of Technology, Saitama (Japan); Ota, E. [Waseda University, Tokyo (Japan). School of Science and Engineering; Hashizume, T.

    2000-09-25

    The matching of the wind turbine type and system scale of the stand-alone wind turbine generator system to wind conditions is investigated using our dynamic simulation model. This paper examines three types of wind turbines: the Darrieus-Savonius hybrid wind turbine, the Darrieus turbine proper and the up-wind Propeller turbine. These systems are mainly operated at a constant tip speed ratio, which refers to a maximum power coefficient. As a computed result of the net extracting energy under fluctuations of wind speed and direction, the Darrieus turbine proper has little conformability to wind fluctuations because of its output characteristics. As for other wind turbines, large-scale systems do not always have advantages over small-scale systems as the effect of the dynamic characteristics. Furthermore, it is confirmed that the net extracting power of the Propeller turbine under wind direction fluctuations is much reduced when compared with that of the hybrid wind turbine. Thus, it is concluded that the appropriate wind turbine type and system scale exist for each wind condition. (author)

  13. Tentative Study on Performance of Darriues-Type Hydroturbine Operated in Small Open Water Channel

    Science.gov (United States)

    Matsushita, D.; Moriyama, R.; Nakashima, K.; Watanabe, S.; Okuma, K.; Furukawa, A.

    2014-03-01

    The development of small hydropower is one of the realistic and preferable utilizations of renewable energy, but the extra-low head hydropower less than 2 m is almost undeveloped yet for some reasons. The authors have developed several types of Darrieus-type hydro-turbine system, and among them, the Darrieus-turbine with a wear and a nozzle installed upstream of turbine is so far in success to obtain more output power, i.e. more shaft torque, by gathering all water into the turbine. However, there can several cases exist, in which installing the wear covering all the flow channel width is unrealistic. Then, in the present study, the hydraulic performances of Darrieus-type hydro-turbine with the inlet nozzle is investigated, putting alone in a small open channel without upstream wear. In the experiment, the five-bladed Darrieus-type runner with the pitch-circle diameter of 300 mm and the blade span of 300 mm is vertically installed in the open channel with the width of 1,200 mm. The effectiveness of the shape of the inlet nozzle is also examined using two types of two-dimensional symmetric nozzle, the straight line nozzle (SL nozzle) with the converging angle of 45 degrees and the half diameter curved nozzle (HD nozzle) whose radius is a half diameter of runner pitch circle. Inlet and outlet nozzle widths are in common for the both nozzles, which are 540 mm and 240 mm respectively. All the experiments are carried out under the conditions with constant flow rate and downstream water level, and performances are evaluated by measured output torque and the measured head difference between the water levels upstream and downstream of the turbine. As a result, it is found that the output power is remarkably increased by installing the inlet nozzle, and the turbine with SL nozzle produces larger power than that with HD nozzle. However, the peak efficiency is deteriorated in both cases. The speed ratio defined by the rotor speed divided by the downstream water velocity at

  14. Analysis of Reaction-Diffusion Systems for Flame Capturing in Type Ia Supernova Simulations

    CERN Document Server

    Zhiglo, Andrey V

    2009-01-01

    We present a study of numerical behavior of a thickened flame used in Flame Capturing (FC, Khokhlov (1995)) for tracking thin unresolved physical flames in deflagration simulations. We develop a steady-state procedure for calibrating the flame model used, and test it against analytical results. We observe numerical noises generated by original realization of the technique. Alternative artificial burning rates are discussed, which produce acceptably quiet flames. Two new quiet models are calibrated to yield required "flame" speed and width, and further studied in 2D and 3D setting. Landau-Darrieus type instabilities of the flames are observed. One model also shows significantly anisotropic propagation speed on the grid, both effects increasingly pronounced at larger matter expansion as a result of burning; this makes the model unacceptable for use in type Ia supernova simulations. Another model looks promising for use in flame capturing at fuel to ash density ratio of order 3 and below. That "Model B" yields f...

  15. A project of a two meter telescope in North Africa

    Science.gov (United States)

    Benkhaldoun, Zouhair

    2015-03-01

    Site testing undertaken during the last 20 years by Moroccan researchers through international studies have shown that the Atlas mountains in Morocco has potentialities similar to those sites which host the largest telescopes in world. Given the quality of the sites and opportunities to conduct modern research, we believe that the installation of a 2m diameter telescope will open new horizons for Astronomy in Morocco and north Africa allowing our region to enter definitively into the very exclusive club of countries possessing an instrument of that size. A state of the art astrophysical observatory on any good astronomical observation site should be equipped with a modern 2m-class, robotic telescope and some smaller telescopes. Our plan should be to operate one of the most efficient robotic 2m class telescopes worldwide in order to offer optimal scientific opportunities for researchers and maintain highest standards for the education of students. Beside all categories of astronomical research fields, students will have the possibility to be educated intensively on the design, manufacturing and operating of modern state of the art computer controlled instruments. In the frame of such education and observation studies several PhD and dissertational work packages are possible. Many of the observations will be published in articles worldwide and a number of guest observers from other countries will have the possibility to take part in collaborations. This could be a starting point of an international reputation of our region in the field of modern astronomy.

  16. Direct numerical simulations of type Ia supernovae flames II: The Rayleigh-Taylor instability

    Energy Technology Data Exchange (ETDEWEB)

    Bell, J.B.; Day, M.S.; Rendleman, C.A.; Woosley, S.E.; Zingale, M.

    2004-01-12

    A Type Ia supernova explosion likely begins as a nuclear runaway near the center of a carbon-oxygen white dwarf. The outward propagating flame is unstable to the Landau-Darrieus, Rayleigh-Taylor, and Kelvin-Helmholtz instabilities, which serve to accelerate it to a large fraction of the speed of sound. We investigate the Rayleigh-Taylor unstable flame at the transition from the flamelet regime to the distributed-burning regime, around densities of 10e7 gm/cc, through detailed, fully resolved simulations. A low Mach number, adaptive mesh hydrodynamics code is used to achieve the necessary resolution and long time scales. As the density is varied, we see a fundamental change in the character of the burning--at the low end of the density range the Rayleigh-Taylor instability dominates the burning, whereas at the high end the burning suppresses the instability. In all cases, significant acceleration of the flame is observed, limited only by the size of the domain we are able to study. We discuss the implications of these results on the potential for a deflagration to detonation transition.

  17. Wind tunnel tests of sailwings for Darrieus rotors

    Science.gov (United States)

    Revell, P. S.; Everitt, K. W.

    Wind tunnel tests have been made to investigate the aerodynamics of sailwings intended for use in vertical axis wind turbines. The tests were made over the full range of angles of incidence and used a number of different membranes and pre-tensions. The majority of tests used a rigid trailing edge but a limited number of tests was made using a wire or nylon cord in a circular-arc shaped trailing-edge. The tangential and radial force coefficients were measured as also was the chordwise component of membrane tension. It is concluded that such turbines should produce a high starting torque and that their performance will be influenced by the trailing edge elasticity and pre-tension at quite low tip speed ratios.

  18. Dynamic Analysis of Darrieus Vertical Axis Wind Turbine Rotors

    Science.gov (United States)

    Lobitz, D. W.

    1981-01-01

    The dynamic response characteristics of the vertical axis wind turbine (VAWT) rotor are important factors governing the safety and fatigue life of VAWT systems. The principal problems are the determination of critical rotor speeds (resonances) and the assessment of forced vibration response amplitudes. The solution to these problems is complicated by centrifugal and Coriolis effects which can have substantial influence on rotor resonant frequencies and mode shapes. The primary tools now in use for rotor analysis are described and discussed. These tools include a lumped spring mass model (VAWTDYN) and also finite-element based approaches. The accuracy and completeness of current capabilities are also discussed.

  19. Search for decays of superdense nuclei in a two-meter propane chamber

    Energy Technology Data Exchange (ETDEWEB)

    Abdivaliev, A. (Leninabadskij Gosudarstvennyj Pedagogicheskij Inst. (USSR)); Zubarev, A.N.; Korzhev, N.A.; Kochurov, A.G.; Nikitin, A.V.; Pechenov, V.N.; Smirnov, N.A.; Sokolov, V.P.; Solov' ev, M.I.; Troyan, Yu.A. (Joint Inst. for Nuclear Research, Dubna (USSR))

    1981-10-01

    The upper limits of the cross sections for formation of superdense nuclei are determined. They lie between 5x10/sup -33/ and 10/sup -28/ cm/sup 2/ for /sub 28/Ni/sup 58/, /sub 82/Pb/sup 208/, /sub 29/Cu/sup 63/, /sub 73/Ta/sup 181/ and /sub 6/C/sup 12/ targets irradiated by 1.90, 3.36 or 9.86 GeV/c protons, 0.95 GeV/c per nucleon ..cap alpha..-particles and 3.36 GeV/c per nucleon carbon nuclei. Decay particles with energies exceeding 16.4 MeV were searched for.

  20. Characterization of soot properties in two-meter JP-8 pool fires.

    Energy Technology Data Exchange (ETDEWEB)

    Suo-Anttila, Jill Marie; Jensen, Kirk A.; Blevins, Linda Gail (Sandia National Laboratories, Livermore, CA)

    2005-02-01

    The thermal hazard posed by large hydrocarbon fires is dominated by the radiative emission from high temperature soot. Since the optical properties of soot, especially in the infrared region of the electromagnetic spectrum, as well as its morphological properties, are not well known, efforts are underway to characterize these properties. Measurements of these soot properties in large fires are important for heat transfer calculations, for interpretation of laser-based diagnostics, and for developing soot property models for fire field models. This research uses extractive measurement diagnostics to characterize soot optical properties, morphology, and composition in 2 m pool fires. For measurement of the extinction coefficient, soot extracted from the flame zone is transported to a transmission cell where measurements are made using both visible and infrared lasers. Soot morphological properties are obtained by analysis via transmission electron microscopy of soot samples obtained thermophoretically within the flame zone, in the overfire region, and in the transmission cell. Soot composition, including carbon-to-hydrogen ratio and polycyclic aromatic hydrocarbon concentration, is obtained by analysis of soot collected on filters. Average dimensionless extinction coefficients of 8.4 {+-} 1.2 at 635 nm and 8.7 {+-} 1.1 at 1310 nm agree well with recent measurements in the overfire region of JP-8 and other fuels in lab-scale burners and fires. Average soot primary particle diameters, radius of gyration, and fractal dimensions agree with these recent studies. Rayleigh-Debye-Gans theory of scattering applied to the measured fractal parameters shows qualitative agreement with the trends in measured dimensionless extinction coefficients. Results of the density and chemistry are detailed in the report.

  1. Mechanical power efficiency of modified turbine blades

    Science.gov (United States)

    Mahmud, Syahir; Sampebatu, Limbran; Kwang, Suendy Ciayadi

    2017-01-01

    Abstract-The problem of energy crisis has become one of the unsolved issues until today. Indonesia has a lot of non-conventional energy sources that does not utilized effectively yet. For that the available resources must utilized efficiently due to the energy crisis and the growing energy needs. Among the abundant resources of energy, one potential source of energy is hydroelectric energy. This research compares the mechanical power efficiency generated by the Darrieus turbine, Savonius turbine and the Darrieus-Savonius turbine. The comparation of the mechanical power amongst the three turbine starts from the measurement of the water flow rate, water temperature, turbine rotation and force on the shaft on each type of turbine. The comparison will show the mechanical power efficiency of each turbine to find the most efficient turbine that can work optimally. The results show that with 0.637m/s flow velocity and 44.827 Watt of water flow power, the Darrieus-Savonius turbine can generate power equal to 29.927 Watt and shaft force around by 17 N. The Darrieus-Savonius turbine provides around 66.76% efficiency betwen the three turbines; Darrieus turbine, Savonius turbine and the Darrieus-Savonius turbine. Overall, the Darrieus Savonius turbine has the ability to work optimally at the research location.

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

  3. Analysis of the Fall-1989 two-meter box test bed experiments performed at the Army Pulse Radiation Facility (APRF)

    Science.gov (United States)

    Johnson, J. O.; Drischler, J. D.; Barnes, J. M.

    This report summarizes the results of a benchmark analysis of the Monte Carlo Adjoint Shielding Code System (MASH) against a series of experiments performed at the Army Pulse Radiation Facility (APRF) in Aberdeen Proving Ground, Maryland. The series of experiments was performed in the Fall of 1989 and involved experimentalists from APRF; the Defense Research Establishment Ottawa, Canada (DREO); Bubble Technology Industries, Canada, (BTI); and the Establishment Technique Central de l'Armement, France (ETCA). The 'benchmark' analysis of MASH is designed to determine the capability of MASH to reproduce the measured neutron and gamma ray integral and differential (spectral) data. Results of the 'benchmark' analysis are to be used in the recommendations to the North Atlantic Treaty Organization (NATO) Panel 7 Ad Hoc Group of Shielding Experts for replacing the Vehicle Code System (VCS) with MASH as the reference code of choice for armored vehicle nuclear vulnerability calculations.

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

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

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

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

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

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

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

  11. Model tests of wind turbine with a vertical axis of rotation type Lenz 2

    Directory of Open Access Journals (Sweden)

    Zwierzchowski Jaroslaw

    2017-01-01

    Full Text Available A building design of vertical axis wind turbines (VAWT was presented in the article. The construction and operating principle of a wind turbine were described therein. Two VAWT turbine models were compared, i.a. Darrieus and Lenz2, taking their strengths and weaknesses into consideration. 3D solid models of turbine components were presented with the use of SolidWorks software. Using CFD methods, the air flow on two aerodynamic fins, symmetrical and asymmetrical, at different angles of attack were tested. On the basis of flow simulation conducted in FlowSimulation, an asymmetrical fin was chosen as the one showing greater load bearing capacities. Due to the uncertainty of trouble-free operation of Darrieus turbine on construction elements creating the basis thereof, a 3D model of Lenz2 turbine was constructed, which is more reliable and makes turbine self-start possible. On the basis of the research, components were designed and technical docu mentation was compiled.

  12. The Internal Stress Evaluation of Pultruded Blades for a Darrieus Wind Turbine

    DEFF Research Database (Denmark)

    Baran, Ismet; Tutum, Cem Celal; Hattel, Jesper Henri

    2013-01-01

    This paper investigates the integrated modeling of a pultruded NACA0018 blade profile which is a part of the FP7 EU project DeepWind. The pultrusion process simulation is combined with the preliminary subsequent in-service load scenario. In particular, the process induced residual stresses and di...

  13. The Internal Stress Evaluation of Pultruded Blades for a Darrieus Wind Turbine

    NARCIS (Netherlands)

    Baran, Ismet; Tutum, Cem C.; Hattel, Jesper Henri

    2013-01-01

    This paper investigates the integrated modeling of a pultruded NACA0018 blade profile which is a part of the FP7 EU project DeepWind. The pultrusion process simulation is combined with the preliminary subsequent in-service load scenario. In particular, the process induced residual stresses and disto

  14. Innovative Design of a Darrieus Straight Bladed Vertical Axis Wind Turbine by using Multi Element Airfoil

    DEFF Research Database (Denmark)

    Chougle, Prasad Devendra

    , as big as 10 MW wind energy convertors. Today wind turbines are the biggest structures on the earth. The knowledge and experiences from aviation and a construction industry has made quicker developments in the wind turbines. This research work is aimed at design and development of a small wind turbine....... Mainly, there is the horizontal axis wind turbine (HAWT) and vertical axis wind turbine (VAWT). HAWTs are more popular than VAWTs due to failure of VAWT commercialization during the late of 1980s on a large scale. However, in recent research work it has been documented that VAWTs are more economical...... for validation. In this PhD research, a development of wind turbine rotor is planned based on the multi-element airfoil technology used in aviation for aeroplanes. A method of experimental and numerical analysis is combined together for successful research. A double-element airfoil design is carried out...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  9. Design and fabrication of a low cost Darrieus vertical axis wing turbine system. Phase I. Technical report

    Energy Technology Data Exchange (ETDEWEB)

    None,

    1979-06-22

    The contract has two phases, a design phase and a fabrication and installation phase. Presented is the work completed in Phase I, the design phase. The Sandia 17 m was used as the background machine from which design information was drawn. By concentrating the modifications on an existing design, emphasis was focused on component cost reduction rather than selection of optimal configuration or operating modes. The resulting design is a stretched version of the Sandia 17 m preserving the same rotor diameter and many other good features, but in the meantime lighter in weight, larger in capacity, and anticipated to be more cost effective.

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

  11. Experimental studies for the vertical-axis hybrid wind turbine; Suichiyokuziku haiburiddo hoshiki fusya ni kansuru kenkyu

    Energy Technology Data Exchange (ETDEWEB)

    Ito, M.; Ushiyama, I. [Ashikaga Institute Of Technology, Tochigi (Japan); Inoh, M.; Hiroki, T. [NihondenkiSeiki Corp., Tokyo (Japan)

    1997-06-01

    Advantages and disadvantages of Darrieus type and Savonius type turbines as the wind energy generation system are described and the above-titled wind turbine is proposed to improve the drawback of poorer output performance in case of hybrid of these 2 types than that of independent Darrieus type. The layout of wind channel equipment and the hybrid system of conventional direct type and that of the clutch type prototype are explained with consideration on the test results. When compared 2 blades of 136mm chord length to 3 blades of 90mm chord length in terms of torque and power properties, the prototype showed a performance for the both properties 20% better than those of conventional type, particularly in the case of 3 blades, both the maximum power and the torque coefficients became about half of those of 2 blades. Further, a prototype wind turbine was designed and fabricated according to the theory of single tube of flow with regard to the straight Darrieus type and tested in association with Savonius type turbine as well as the latter alone and the results for each case were compared and examined. As for the conclusion, the usefulness of clutch connection and its effect of improvement became more remarkable along with the increase of wind speed and so forth are indicated. 7 refs., 14 figs., 2 tabs.

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

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

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

  15. Performance of Combined Water Turbine with Semielliptic Section of the Savonius Rotor

    OpenAIRE

    Kaprawi Sahim; Dyos Santoso; Agus Radentan

    2013-01-01

    The Darrieus turbine is a suitable power generation in free stream flow because it is simple in construction, but it has the disadvantage of its small starting torque. The Savonius turbine has a high starting torque but the efficiency is smaller than that of Darrieus turbine. To improve the starting torque of Darrieus turbine, the Savonius buckets are introduced into the Darrieus turbine and the combined turbine is called Darrieus-Savonius turbine. In this study, three semielliptic sections o...

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

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

  18. Design And Analysis Of Savonius Wind Turbine Blades

    OpenAIRE

    2015-01-01

    There are two kinds of wind turbines according to the axis of rotation to the ground, horizontal axis wind turbines (HAWT) and vertical axis wind turbines (VAWT). VAWTs include both a drag type configuration like Savonius wind turbine and a lift-type configuration like Darrieus wind turbine. Savonius wind rotor has many advantages such as low starting speeds and no need for external torque for its starting. Moreover it is cheaper in construction and has low maintenance. It is inde...

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

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

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

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

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

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

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

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

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

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

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

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

  12. Flash-Type Discrimination

    Science.gov (United States)

    Koshak, William J.

    2010-01-01

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

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

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

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

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

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

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

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

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

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

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

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

  4. Facts about Type 2

    Medline Plus

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

  5. Facts about Type 2

    Medline Plus

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  2. Facts about Type 2

    Medline Plus

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

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

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

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

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

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

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

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

  10. Facts about Type 2

    Medline Plus

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

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

  12. Facts about Type 2

    Medline Plus

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

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

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

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

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

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

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

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

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

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

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

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

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

  5. Facts about Type 2

    Medline Plus

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

  6. Parametric compositional data types

    DEFF Research Database (Denmark)

    Bahr, Patrick; Hvitved, Tom

    2012-01-01

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

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

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

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

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

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

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

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

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

  15. 水轮机

    Institute of Scientific and Technical Information of China (English)

    2005-01-01

    Heat-storage characteristics of LongTan hydroelectric station's building enclosure in China;Integrated maintenance features of hydro turbine governors;Latest progress of design and manufacturing for hydro turbine in China;Life Damage of Shaft and Spider in Hydraulic Generator Unit Based on Vibration Signal;On Applicability of Darrieus-type Cross Flow Water Turbine for Abandoned Hydro and Tidal Powers……

  16. Efisiensi Prototipe Turbin Savonius pada Kecepatan Angin Rendah

    OpenAIRE

    Melda Latif

    2013-01-01

    Wind energy can be transformed into electrical energy using wind turbine. Based on rotation axis, there are two types of wind turbine, namely turbine with horizontal axis and the one with vertical axis. Turbine with vertical axis has been known with various names that are Darrieus turbine, Savonius turbine and H turbine. This research designed and implemented a prototype of simple Savonius turbine for small scale wind speed. Resistor with resistance of 200 ohm and LED are used as the load. Ma...

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

  18. Effect of Difference-frequency Forces on the Dynamics of a Semi-submersible Type FVAWT in Misaligned Wave-wind Condition

    DEFF Research Database (Denmark)

    Wang, Kai; Cheng, Zhengshun; Moan, Torgeir;

    2015-01-01

    With increasing interests in the development of offshore floating vertical axis wind turbines (FVAWTs), a large amount of studies on the FVAWTs have been conducted. This paper focuses on evaluating the effect of second-order difference-frequency force on the dynamics of a 5 MW FVAWT in misaligned...... wave-wind condition. The studied FVAWT is composed of a 5 MW Darrieus rotor, a semi-submersible floater and a catenary mooring system. Fully coupled nonlinear time domain simulations were conducted using the state-of-art code Simo- Riflex-DMS. Several misaligned wave-wind conditions were selected...... to investigate the global dynamic responses of the FVAWT, such as the platform motions, structural responses and mooring line tensions. It has been found that the wave-wind misalignment does not significantly affect the mean values of the global responses since the global responses are primarily wind...

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

  20. Design of a wind turbine-generator system considering the conformability to wind velocity fluctuations

    Energy Technology Data Exchange (ETDEWEB)

    Wakui, Tetsuya; Hashizume, Takumi; Outa, Eisuke

    1999-07-01

    The conformability of the rated power output of the wind turbine-generator system and of the wind turbine type to wind velocity fluctuations are investigated with a simulation model. The authors examine three types of wind turbines: the Darrieus-Savonius hybrid, the Darrieus proper and the Propeller. These systems are mainly operated at a constant tip speed ratio, which refers to a maximum power coefficient points. As a computed result of the net extracting power, the Darrieus turbine proper has little conformability to wind velocity fluctuations because of its output characteristics. As for the other turbines, large-scale systems do not always have an advantage over small-scale systems as the effect of its dynamic characteristics. Furthermore, it is confirmed that the net extracting power of the Propeller turbine, under wind direction fluctuation, is much reduced when compared with the hybrid wind turbine. Thus, the authors conclude that the appropriate rated power output of the system exists with relation to the wind turbine type for each wind condition.

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

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

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

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

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

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

  7. Facts about Type 2

    Medline Plus

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

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

  9. Compositional data types

    DEFF Research Database (Denmark)

    Bahr, Patrick; Hvitved, Tom

    2011-01-01

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  13. Performance of Combined Water Turbine with Semielliptic Section of the Savonius Rotor

    Directory of Open Access Journals (Sweden)

    Kaprawi Sahim

    2013-01-01

    Full Text Available The Darrieus turbine is a suitable power generation in free stream flow because it is simple in construction, but it has the disadvantage of its small starting torque. The Savonius turbine has a high starting torque but the efficiency is smaller than that of Darrieus turbine. To improve the starting torque of Darrieus turbine, the Savonius buckets are introduced into the Darrieus turbine and the combined turbine is called Darrieus-Savonius turbine. In this study, three semielliptic sections of aspect ratio 0.8 were used for Savonius bucket while the Darrieus blade used three wings of airfoil NACA 0015. The Darrieus-Savonius turbine’s performances were studied experimentally in an irrigation canal of South Sumatera, Indonesia. The results show that the distance of Savonius buckets from the shaft centre influences performance of combined turbine, and the attachment angle of Savonius rotor made important variation of turbine performance.

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

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

  16. Hardy type inequalities on time scales

    CERN Document Server

    Agarwal, Ravi P; Saker, Samir H

    2016-01-01

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  8. 水能

    Institute of Scientific and Technical Information of China (English)

    2005-01-01

    An Undergraduate Research Experience in New Technology Commercialization of PEM Fuel Cells;Barriers against tidal power; CHILD EDUCATION ON RENEWABLE ENERGIES IN PERU; Computer aided design of pumps installed at Hindustan paper corporation LTD. Panchgram, Cachar paper mill (Assam);DEGREE OF CENTRALIZATION, DISTRIBUTION, AND WAYS FOR OPTIMIZATION OF HEAT LOAD OF INDUSTRIAL HUBS IN THE RUSSIAN FEDERATION; Experimental Study on Water Turbine Characteristics of Darrieus Type Runner with Staggered Blade Arrangement;Following the plan: Stephen Watson reports on development in the water use planning process in place at the ash river hydroelectric facility in British Columbia;

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

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

  11. Performance Investigation of A Mix Wind Turbine Using A Clutch Mechanism At Low Wind Speed Condition

    Science.gov (United States)

    Jamanun, M. J.; Misaran, M. S.; Rahman, M.; Muzammil, W. K.

    2017-07-01

    Wind energy is one of the methods that generates energy from sustainable resources. This technology has gained prominence in this era because it produces no harmful product to the society. There is two fundamental type of wind turbine are generally used this day which is Horizontal axis wind turbine (HAWT) and Vertical axis wind turbine (VAWT). The VAWT technology is more preferable compare to HAWT because it gives better efficiency and cost effectiveness as a whole. However, VAWT is known to have distinct disadvantage compared to HAWT; self-start ability and efficiency at low wind speed condition. Different solution has been proposed to solve these issues which includes custom design blades, variable angle of attack mechanism and mix wind turbine. A new type of clutch device was successfully developed in UMS to be used in a mix Savonius-Darrieus wind turbine configuration. The clutch system which barely audible when in operation compared to a ratchet clutch system interconnects the Savonius and Darrieus rotor; allowing the turbine to self-start at low wind speed condition as opposed to a standalone Darrieus turbine. The Savonius height were varied at three different size in order to understand the effect of the Savonius rotor to the mix wind turbine performance. The experimental result shows that the fabricated Savonius rotor show that the height of the Savonius rotor affecting the RPM for the turbine. The swept area (SA), aspect ratio (AR) and tip speed ratio (TSR) also calculated in this paper. The highest RPM recorded in this study is 90 RPM for Savonius rotor 0.22-meter height at 2.75 m/s. The Savonius rotor 0.22-meter also give the highest TSR for each range of speed from 0.75 m/s, 1.75 m/s and 2.75 m/s where it gives 1.03 TSR, 0.76 TSR, and 0.55 TSR.

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

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

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

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

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

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

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

  19. Infrastructure: concept, types and value

    Directory of Open Access Journals (Sweden)

    Alexander E. Lantsov

    2013-01-01

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  16. Hyperbolic spaces are of strictly negative type

    DEFF Research Database (Denmark)

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

    2002-01-01

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

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

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

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

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

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

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

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

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

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

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

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

  8. Saxagliptin for type 2 diabetes

    Directory of Open Access Journals (Sweden)

    Chacra

    2010-09-01

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  2. Thermo-mechanical modelling and experimental validation of CLIC prototype module type 0

    CERN Document Server

    Kortelainen, Lauri; Koivurova, Hannu; Riddone, Germana; Österberg, Kenneth

    Micron level stability of the two-meter repetitive modules constituting the two main linacs is one of the most important requirements to achieve the luminosity goal for the Compact Linear Collider. Structural deformations due to thermal loads and related to the RF power dissipated inside the modules affect the alignment of the linacs and therefore the resulting luminosity performance. A CLIC prototype module has been assembled in a dedicated laboratory and a thermal test program has been started in order to study its thermo-mechanical behaviour. This thesis focuses on the finite elements modelling of the first CLIC prototype module 0. The aim of the modelling is to examine the temperature distributions and the resulting deformations of the module in different operating conditions defined in the thermal test program. The theoretical results have been compared to the experimental ones; the comparison shows that the results are in good agreement both for the thermal behaviour of the module and for the resulting ...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  16. Hereditary sensory neuropathy type I

    Directory of Open Access Journals (Sweden)

    Auer-Grumbach Michaela

    2008-03-01

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

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

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

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

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