WorldWideScience

Sample records for type metodi operazionali

  1. Metodi Matematici della Fisica

    CERN Document Server

    Cicogna, Giampaolo

    2008-01-01

    Questo testo trae la sua origine da miei vecchi appunti, preparati per il corso di Metodi Matematici della Fisica e via via sistemati, raffinati e aggiornati nel corso di molti anni di insegnamento. L'obiettivo è stato sempre quello di fornire una presentazione per quanto possibile semplice e diretta dei metodi matematici rilevanti per la Fisica: serie di Fourier, spazi di Hilbert, operatori lineari, funzioni di variabile complessa, trasformata di Fourier e di Laplace, distribuzioni. Oltre a questi argomenti di base, viene presentata, in Appendice, una breve introduzione alle prime nozioni di teoria dei gruppi, delle algebre di Lie e delle simmetrie in vista delle loro applicazioni alla Fisica. Anche allo scopo di mantenere il libro nei limiti ragionevoli di un manuale di dimensioni contenute e di agevole consultazione, sono stati spesso tralasciati i dettagli tecnici delle dimostrazioni matematiche (o anzi le dimostrazioni per intero) e tutti i formalismi eccessivi che spesso nascondono la vera natura del p...

  2. Implementace metody Balanced Scorecard

    OpenAIRE

    Neuwirth, Pavel

    2014-01-01

    Diplomová práce je zaměřena na hodnocení výkonnosti společnosti pomocí metody Balanced Scorecard. Teoretická část práce popisuje východiska měření výkonnosti, metody Balanced Scorecard a postup při její implementaci. Analytická část vychází z teoretických poznatků z první části a hodnotí situaci společnosti finanční analýzou poměrových ukazatelů, strategickou analýzou a následným sestavením návrhu implementace metody Balanced Scorecard v konkrétní společnosti. Thesis is focused on evaluati...

  3. Metodi matematici della fisica

    CERN Document Server

    Cicogna, Giampaolo

    2015-01-01

    Questo libro trae la sua origine dagli appunti preparati per le lezioni di Metodi Matematici della Fisica tenute al Dipartimento di Fisica dell'Università di Pisa, e via via sistemati, raffinati e aggiornati nel corso di molti anni di insegnamento. L'intento generale è di fornire una presentazione per quanto possibile semplice e diretta dei metodi matematici basilari e rilevanti per la Fisica. Anche allo scopo di mantenere questo testo entro i limiti di un manuale di dimensioni contenute e di agevole consultazione, sono stati spesso sacrificati i dettagli tecnici delle dimostrazioni matematiche (o anzi le dimostrazioni per intero) e anche i formalismi eccessivi, che tendono a nascondere la vera natura dei problemi. Al contrario, si è cercato di evidenziare – per quanto possibile – le idee sottostanti e le motivazioni che conducono ai diversi procedimenti. L'obiettivo principale e quello di mettere in condizione chi ha letto questo libro di acquisire gli strumenti adatti e le conoscenze di base che gli ...

  4. PRIMERJAVA IZGRADNJE ŽELEZNIŠKE PROGE PO KLASIČNI METODI IN PO METODI TIRA NA TOGI PODLAGI

    OpenAIRE

    Pirš, Jurij

    2011-01-01

    Diplomska naloga obravnava primerjavo tehnologije gradnje železniške proge po klasični metodi in po metodi tira na togi podlagi. Predstavljene so osnovne zahteve za projektiranje železniške proge in kriteriji za izdelavo posameznih elementov spodnjega in zgornjega ustroja proge skupaj z opisom in uporabo gradbene mehanizacije. V nadaljevanju sledi predstavitev uporabe tehnologije tira na togi podlagi v predorih na odseku Košana – Gornje Ležeče. Prikazana je podrobna analiza togega tira s...

  5. Interpretazione matematico-statistica dei metodi di stima diretti

    Directory of Open Access Journals (Sweden)

    Gabriele Brondino

    2011-12-01

    Full Text Available Partendo dai presupposti dettati dai postulati estimativi dell’ordinarietà, della previsione e della comparazione, il legame tra la stima del Valore di Mercato e il Prezzo di Compravendita può essere spiegato da un punto di vista matematico. Il modello di Prezzo di Compravendita e un campione estimativo significativo sono strumenti centrali per lo sviluppo di uno dei qualsiasi metodi di stima diretti del Valore di Mercato. Obiettivo del presente studio è quello di descrivere le relazioni matematico-statistiche - nonché le difficoltà di applicazione – alla base dei metodi di stima diretti, prendendo spunto da casi studio pseudo-reali. Di seguito si prenderà quindi in considerazione un campione estimativo particolarmente numeroso e si fornirà una stima del Valore di Mercato del bene oggetto di stima attraverso la metodologia statistica nota come Regressione lineare multipla; si provvederà quindi ad applicare anche il cosiddetto Sales Comparison Approach (SCA per stimare il Valore di Mercato nel caso di un campione estimativo di bassa numerosità. Infine si valuterà l'utilità pratica e le condizioni di applicazioni di un metodo di stima noto come Nearest Neighbors Appraisal Technique (NNAT.

  6. Moderní metody hodnocení polymerů

    OpenAIRE

    Ropek, Lukáš

    2012-01-01

    Práce tvoří přehled současných moderních metod hodnocení polymerů. První část se zabývá historickým vývojem, jednotlivými druhy a přípravou samotných polymerů. Dále je práce zaměřena na samotnou strukturu polymerů, popis moderních přístupů tvorby vzorků a metod studia struktury polymerů. Poté jsou v práci diskutovány mechanické vlastnosti polymerů a metody jejich zkoušení. Závěrem je pak práce zaměřena na konkrétní testy odolnosti trubkových polymerních materiálů používaných v současné praxi....

  7. Stochastické metody v řízení projektů

    OpenAIRE

    Zemenová, Hana

    2007-01-01

    Každý projekt je ze své povahy spojen s jistou dávkou rizika a nejistoty, kterou je nutné zohlednit při volbě adekvátních metod pro jeho řízení. Cílem práce je tyto metody klasifikovat, porovnat a aplikovat na případové studii z podnikové praxe. Podrobněji jsou přitom rozebrány právě ty metody, které byly vhodné pro zkoumaný projekt z případové studie: jedná se o metodu CPM/PERT, simulaci Monte Carlo a analýzu projektu prostřednictvím bayesovských sítí.

  8. Le prime sensazioni al pianoforte restano per sempre? Indagine sui metodi pianistici per principianti

    Directory of Open Access Journals (Sweden)

    Giuseppe Sellari

    2015-12-01

    Full Text Available I metodi d’insegnamento del pianoforte utilizzati in Italia sono caratterizzati da percorsi basati su differenti ipotesi teoriche e indicazioni pratiche. Il primo libro di pianoforte, qualunque sia il suo valore, stabilisce il primo contatto con lo strumento, lasciando una forte impressione e tracciando il profilo delle competenze inizialmente sviluppate. Una più profonda comprensione di questi testi può mostrare quali sono le capacità e le strategie di apprendimento proposte dai metodi adottati e conseguentemente dagli insegnanti. L'obiettivo di questo studio è quello di identificare quali sono le scelte metodologiche più rappresentative nella didattica pianistica italiana degli ultimi 50 anni. I risultati sono basati sui dati raccolti dai questionari somministrati a 200 pianisti, di età compresa tra 20 e 60, ai quali è stato chiesto, insieme a informazioni generiche, quale fosse stato il loro primo libro pianoforte, quali aspetti positivi o negativi ricordavano maggiormente e quali ritenevano essere più utili. I dati suggeriscono una preferenza rilevante di cinque metodi, che sono stati analizzati secondo una serie di criteri metodologici e analitici. I risultati indicano un panorama metodologico concentrato principalmente sul rapporto iniziale con lo strumento e sulla lettura musicale. Questo studio contribuisce alla riflessione su due aspetti metodologici: lo sviluppo di nuovi repertori e la proposta di metodologie in grado di rispettare il mondo emotivo e cognitivo dei principianti.

  9. Orientamenti emergenti nella ricerca educativa: i metodi misti

    Directory of Open Access Journals (Sweden)

    Patrizia Picci

    2013-01-01

    Full Text Available In the debate about the quantitative and qualitative methodologies, that marked for many years the research, nowadays there is a new orientation, amenable to the formula of “mixed methods”. It’s not clear if the expression is only an label that masks a generic eclecticism of if it’s a epistemologically founded way to overcome the traditional dichotomy. The actual debate is an occasion to increase awareness and transparency about the researcher’s methodological choice. This text present a brief panoramic of diffusion of mixed methods in the international scenery, hinting some attempts of systematisation of the different and complex types of inquiry.

  10. Metody badania autofagii oparte na przemianach białek MAP1LC3 i p62/SQSTM1 

    Directory of Open Access Journals (Sweden)

    Edyta Wysokińska,

    2013-05-01

    Full Text Available Autofagia jest procesem katabolicznym o fundamentalnym znaczeniu dla przetrwania okresów niedoborów składników odżywczych i w recyklingu organelli komórkowych. W ostatnim czasie obserwuje się bardzo znaczący wzrost zainteresowania badaniem autofagii, a zaburzenia w jej przebiegu towarzyszą wielu chorobom. Niestety, warsztat jakim dysponujemy w badaniu autofagii pozostaje stosunkowo mało znany i ubogi. W pracy omówiono najczęściej stosowane metody badania autofagii. Oprócz mikroskopii elektronowej przedstawiono metody (fluorescencyjnei Western blotting oparte na obserwacji przemian białek MAP1LC3 i p62/SQSTM – należących do podstawowych markerów autofagii.

  11. Peroksīdu noteikšana ar eksprestestu metodi

    OpenAIRE

    Bruņeniece, Aiva

    2017-01-01

    Peroksīdu noteikšana ar eksprestestu metodi. Bruņeniece A., darba vadītājs Dr. ķīm. docents Ģībietis J. Bakalaura darbs, 44 lappuses, 10 tabulas, 26 attēli, 23 literatūras avoti. Latviešu valodā. Darbā apskatītas dažādas ūdeņraža peroksīda un peroksietiķskābes kvantitatīvās noteikšanas metodes. Veikta ITS firmas ekprestesta „Water-Works” teststrēmeļu kalibrēšana. Eksperimentāli izpētīta jonu spēka, pH un organiskā šķīdinātāja ietekme uz teststrēmeļu darbību. Iegūti kalibrēšanas grafiki un iz...

  12. Infezione sperimentale di capre con un ceppo atipico di Mycoplasma mycoides subsp. capri isolato in Giordania: confronto tra differenti metodi diagnostici

    OpenAIRE

    Massimo Scacchia; Robin A.J. Nicholas; Chiara De Caro; Flavio Sacchini; Gabriella Di Francesco; Andrea Di Provvido; Anna Rita D’Angelo

    2010-01-01

    Sono state infettate sperimentalmente 10 capre con un micoplasma identificato con metodi biomolecolari come Mycoplasma mycoides subsp. capri, ceppo Irbid, isolato da capre in un focolaio di agalassia contagiosa nel nord della Giordania e definito atipico per la sua peculiarità sierologica. Due gruppi di animali infettati rispettivamente per via endotracheale e aerosol sono stati posti in contatto con un terzo gruppo di capre. A sei settimane dall’infezione alcuni animali, sia infettati sia po...

  13. Methods of censusing Red fox (Vulpes vulpes populations / Metodi di censimento della Volpe (Vulpes vulpes

    Directory of Open Access Journals (Sweden)

    Juan Francisco Beltrán

    1991-07-01

    Full Text Available Abstract Estimating absolute or relative numbers in red fox populations is not an easy task. Although a range of methods has been described, neither an optimal nor a universally accepted technique has been found. Moreover, none has been tested on populations of known size. We reviewed the efficiency of fourteen indices of fox abundance classified into two groups: (a methods where individuals are captured and marked, which include ear tagging or similar conspicuous markings, toe clipping, radioactive tagging of faeces, radio-tracking, and statistics from hunting and trapping; (b methods not requiring capture, which include both direct methods (nocturnal counts, unsystematic observations, and drive censuses, and indirect methods (den counts, transects for track, scat counts, and scent stations. As a rule, statistics are rarely applicable to populations estimates. Methods involving capture are expensive but provide more accurate estimates than the second group of indices, which are not suitable for paired comparisons from one year to another. Management and wildlife specialists should have in mind such restrictions when considering their goals and the required level of accuracy. Finally, we recommend the simultaneous utilization and comparison of several methods (one from each group, as proposed in a double sampling strategy for optimum evaluations. Riassunto La valutazione della consistenza di una popolazione di Volpe, mediante censimenti assoluti o relativi, è di difficile soluzione. Tra i diversi metodi di conteggio impiegati, nessuno si è rivelato ottimale e universale. Tuttavia nessuno è stato utilizzato per popolazioni di consistenza nota. Qui esaminiamo la validità di 14 metodi impiegati per il calcolo di indici di abbondanza, ripartendoli in due gruppi: (a metodi che implicano la cattura e il marcamento degli animali mediante marche auricolari o contrassegni similari, amputazione delle falangi

  14. Aplikace plné metody konsolidace dle české účetní legislativy a IFRS

    OpenAIRE

    Kabeláková, Simona

    2015-01-01

    Tato diplomová práce se zabývá plnou metodou konsolidace dle české účetní legislativy a dle IFRS. Teoretická část je věnována významu a právní úpravě konsolidované účetní závěrky, základním pojmům jako je míra vlivu, konsolidační celek nebo mateřský podnik, a také jednotlivým metodám konsolidace, především plné metodě. Praktická část je zaměřena na praktickou aplikaci plné metody konsolidace v podmínkách společnosti TESLA Holding a.s. a jejich dceřiných společností v letech 2007 - 2012. Th...

  15. Návrh změny metody konsolidace u vybraného konsolidovaného celku

    OpenAIRE

    Čadová, Michaela

    2017-01-01

    Téma diplomové práce je konsolidace účetní závěrky. Práce obsahuje teoretická východiska, která se týkají problematiky konsolidace účetní závěrky, a tyto poznatky jsou potom zúročeny v části praktické. Analytická část se zaobírá zhodnocením současného stavu, obsahuje tedy původní konsolidaci účetní závěrky zvolené společnosti. V návrhové části je aplikována nová metoda konsolidace účetní závěrky. Následně je zhodnocen dopad změny konsolidační metody na ekonomickou situaci konsolidačního celku...

  16. Aplikace metody Fused Deposition Modeling pro vyhotovení návrhu modelu planetového mechanismu

    OpenAIRE

    Kudláčová, Barbora

    2015-01-01

    Tato bakalářská práce má za cíl pojednat o návrhu a konstrukci modelu planetového me-chanismu s využitím technologie rapidního prototypování. Virtuální model byl vytvořen v parametrickém programu SolidWorks 2013 a vytištěn 3D tiskárnou Dimension uPrint, jež pro zhotovení využívá metodu Fused Deposition Modeling. Součástí práce je vysvětlení planetového mechanismu po stránce teoretické, praktické a rovněž konstrukční a dále popis metody Fused Deposition Modeling. Model planetového mechanismu a...

  17. Kultura organizacyjna jako determinanta efektywnego zarządzania wiedzą w zespołach projektowych wykorzystujących metody zwinne

    OpenAIRE

    Paterek, Paweł

    2016-01-01

    Cyfryzacja, powszechny dostęp do informacji oraz silna konkurencyjność stawiają nowe wyzwania w obszarze zarządzania wiedzą w dużych organizacjach projektowo-zadaniowych. Artykuł pokazuje znacznie kultury organizacyjnej w zapewnieniu efektywności procesów zarządzania wiedzą w zespołach projektowych wykorzystujących zwinne metody organizacji pracy. Przeprowadzone badania ankietowe, obserwacje oraz wywiady z ekspertami potwierdziły znaczenie kultury organizacyjnej oraz pokazały jej pożądane cec...

  18. Analysis of Soft Soil Consolidation with the Application of Prefabricated Vertical Drains with Preloading Method Using Fem / Analiza Konsolidacji Słabych Gruntów Przy Uzyciu Metody Elementów Skonczonych

    Directory of Open Access Journals (Sweden)

    Binder K.

    2011-03-01

    Full Text Available W artykule przedstawiono zastosowanie metody elementów skonczonych przy przewidywaniu osiadan nasypów drogowych posadowionych na podłozu wzmacnianym przy uzyciu nasypu przeciazajacego i drenazu pionowego. Idea metody było przejscie z analitycznego rozwiazania jednowymiarowej konsolidacji do rozwiazania w Płaskim Stanie Odkształcenia z zachowaniem ekwiwalentnego czasu konsolidacji oraz porównanie z wynikami uzyskanymi z bezposrednich pomiarów osiadan nasypu drogowego bedacego czescia Obwodnicy Południowej Gdanska, zlokalizowanego w okolicach miejscowosci Przejazdowo.

  19. Metody badania spontanicznych i spowodowanych lekami przeciwpsychotycznymi zaburzeń ruchowych w schizofrenii

    Directory of Open Access Journals (Sweden)

    Olga Kałużyńska

    2013-09-01

    Full Text Available Od dawna wiadomo, że przynajmniej niektóre zaburzenia motoryczne występują u chorych na schizofrenię jeszcze przed podjęciem leczenia lekami przeciwpsychotycznymi istotnie statystycznie częściej niż w populacji ogólnej. Wpro‑ wadzenie leków przeciwpsychotycznych zahamowało jednak ten nurt badań, bowiem od tej pory koncentrowano się wyłącznie na objawach zaburzeń ruchowych powstałych w wyniku stosowania neuroleptyków. W kilku pracach wy‑ kazano również, że niektóre zaburzenia ruchowe są częstsze i bardziej nasilone u krewnych I stopnia osób chorych, lecz rzadsze i mniej nasilone niż u chorych na schizofrenię. Obecnie istnieje wiele narzędzi – skal klinicznych, używa‑ nych w praktyce i badaniach, opartych na obserwacji klinicznej, służących do oceny występowania i nasilenia zabu‑ rzeń motorycznych zarówno spontanicznych, jak i związanych z leczeniem lekami przeciwpsychotycznymi. Najczęściej przy pomocy tych skal ocenia się i monitoruje objawy parkinsonizmu, dystonie oraz akatyzję. Uważa się, że wszyst‑ kie te narzędzia mają jednak wiele wad i nie pozwalają na wykrycie i obiektywny pomiar subklinicznych objawów za‑ burzeń motorycznych. Instrumentalne metody oceny zaburzeń ruchowych (spontanicznych i spowodowanych leka‑ mi przeciwpsychotycznymi pozwalają na wykrycie właśnie subtelnych, słabo nasilonych objawów i dlatego mogą być przydatne przy identyfikacji osób z tzw. stanem wysokiego ryzyka rozwoju psychozy, ocenie występowania dysfunkcji motorycznych u krewnych osób chorych na schizofrenię, a także określaniu stopnia i rodzaju odpowiedzi na leczenie lekami przeciwpsychotycznymi. Większość tych metod wymaga jednak skomplikowanej aparatury i procedury analizy uzyskanych wyników. Jedną z interesujących i stosunkowo łatwych do realizacji metod instrumentalnych wydaje się wieloaspektowa ocena pisma. Zastosowanie nowych metod oceny zaburzeń motorycznych konieczne

  20. Infezione sperimentale di capre con un ceppo atipico di Mycoplasma mycoides subsp. capri isolato in Giordania: confronto tra differenti metodi diagnostici

    Directory of Open Access Journals (Sweden)

    Massimo Scacchia

    2010-06-01

    Full Text Available Sono state infettate sperimentalmente 10 capre con un micoplasma identificato con metodi biomolecolari come Mycoplasma mycoides subsp. capri, ceppo Irbid, isolato da capre in un focolaio di agalassia contagiosa nel nord della Giordania e definito atipico per la sua peculiarità sierologica. Due gruppi di animali infettati rispettivamente per via endotracheale e aerosol sono stati posti in contatto con un terzo gruppo di capre. A sei settimane dall’infezione alcuni animali, sia infettati sia posti in contatto, hanno manifestato febbre, scolo nasale, seguiti da grave sintomatologia respiratoria e poliartrite. Dagli animali deceduti o sacrificati, perché giunti al termine della sperimentazione, sono stati effettuati prelievi di organi. Dopo una descrizione dei quadri clinici ed anatomo-istopatologici, sono stati messi a confronto gli esiti degli isolamenti microbiologici e delle prove immunoisto-chimiche effettuate sugli organi prelevati.

  1. Użyteczność metody k-średnich w klasyfikacji przedsiębiorstw według ich kondycji finansowej

    Directory of Open Access Journals (Sweden)

    Joanna Dyczkowska

    2010-11-01

    Full Text Available Otoczenie i warunki rynkowe, w jakich działają przedsiębiorstwa budowlane, mają klu-czowy wpływ na podejmowane przez te podmioty decyzje, znajdujące odzwierciedlenie w ich sprawozdaniach finansowych. Ocena kondycji finansowej przedsiębiorstwa budowlanego z za-miarem zdiagnozowania kryzysu nie powinna odbywać się w oderwaniu od sytuacji rynkowej. W artykule dokonano klasyfikacji przedsiębiorstw budowlanych notowanych na Warszawskiej Giełdzie Papierów Wartościowych według ich pozycji konkurencyjnych z wykorzystaniem metody k-średnich. Algorytm ten umożliwiła podział badanych podmiotów na pięć klas obiektów: o najlepszej, dobrej, przeciętnej, słabej i najsłabszej kondycji finansowej. Przeprowadzone postępowanie przyczyniło się również do ustalenia wielkości wskaźników charakteryzujących każdą grupę przedsiębiorstw. Tego typu analiza jest przydatnym narzędziem przede wszystkim dla inwestorów, gdyż infor-muje o tym, jak badane przedsiębiorstwo prezentuje się na tle podmiotów o podobnym profilu działalności.

  2. Egzemplifikacja Tomograficznej Metody Do Oceny Jakości Połączeń Spawanych Ze Stopu EN 5754 H22

    Directory of Open Access Journals (Sweden)

    Błachnio Józef

    2016-12-01

    Full Text Available Jakość połączeń spawanych zależna jest od wielu czynników. Przedmiotowe normy określają warunki techniczne oceny jakościowej spawów, co stanowi podstawę do uznania połączenia za zgodne z wymaganiami lub wadliwe. W praktyce wykonanie połączenia spawanego całkowicie pozbawionego wad jest trudne. Do kontroli wewnętrznej struktury połączenia wykorzystać można nieniszczącą metodę z zastosowaniem przemysłowego tomografu komputerowego. Ta nowoczesna metoda diagnozowania łączy badanie rentgenowskie z zaawansowaną technologią komputerową. Podstawową zaletą tomografii komputerowej jest badanie obiektów w trzech wymiarach oraz możliwość wykonania rekonstrukcji przestrzennych. Celem artykułu jest omówienie wykorzystania tej metody do oceny jakości połączeń spawanych stopów aluminium. Możliwości tomografii komputerowej przedstawiono na przykładzie próbek spawalniczych wykonanych metodą TIG przy różnych parametrach procesu. Dokonano analizy jakości próbek wykazujących najmniejsze i największe zewnętrzne, jak również wewnętrzne wady spawalnicze.

  3. Metody urgentního mapování v krizových situacích s využitím komunitních a participativních nástrojů GIS

    Czech Academy of Sciences Publication Activity Database

    Trojan, Jakub

    2015-01-01

    Roč. 2, č. 2 (2015), s. 1-6 ISSN 1804-1795 Institutional support: RVO:68145535 Keywords : crisis mapping * participative GIS * geoinformatics * crisis management * Ushahidi Subject RIV: DE - Earth Magnetism, Geodesy, Geography http://trilobit.fai.utb.cz/metody-urgentniho-mapovani-v-krizovych-situacich-s-vyuzitim-komunitnich-a-participativnich-nastroju-gis

  4. Metody statystyczne w badaniach dialektologicznych

    OpenAIRE

    Kąś, Józef

    1986-01-01

    Statistical methods are an indispensable instrument for modern dialectological research which concentrates on the 'mutual influence of general language and dialects. Their usefulness is especially visible in phonetic research. The numerical presentation of linguistic phenomena must, however, be combined with differentiation between the official and unofficial character of the research situation during which the linguistic material is collected. Zadanie pt. „Digitalizacja...

  5. Męska depresja – koncepcja, metody pomiaru i związki z zachowaniami samobójczymi

    Directory of Open Access Journals (Sweden)

    Jan Chodkiewicz

    2016-03-01

    Full Text Available W artykule przedstawiono koncepcję atypowych objawów depresji występujących u mężczyzn. Ważnym źródłem tej koncepcji były doświadczenia wyniesione z programu diagnozowania i leczenia depresji wprowadzonego na Gotlandii (Szwecja w latach 80. ubiegłego stulecia. Program, skierowany do lekarzy rodzinnych, zmniejszył liczbę zachowań samobójczych wśród kobiet, ale nie wśród mężczyzn. Przyjęto, że jedną z przyczyn takiego stanu rzeczy może być odmienny obraz depresji u obu płci. Różnice między płciami mogą odpowiadać za to, że depresja u mężczyzn znacznie częściej niż u kobiet pozostaje nierozpoznana i nieleczona, co prowadzi do zwiększenia liczby samobójstw. Wśród dominujących objawów depresji u mężczyzn wyróżniono wzrost impulsywności i zachowań agresywnych, nadużywanie substancji psychoaktywnych (alkohol, narkotyki, nikotyna, podejmowanie zachowań ryzykownych (jazda samochodem pod wpływem alkoholu, przypadkowe kontakty seksualne oraz tłumienie emocji. Jako przyczyna występowania atypowej depresji u mężczyzn najczęściej wymieniane jest rygorystyczne podporządkowywanie się tradycyjnym męskim normom kulturowym. Normy te dotyczą odporności, wytrzymałości, konkurowania, opanowania i tłumienia uczuć oraz konieczności zapewnienia bytu rodzinie. W pracy omówiono najbardziej znane metody badania męskiej depresji – Gotland Male Depression Scale (GMDS Rutza, Male Depression Risk Scale (MDRS-22 Rice’a i współpracowników oraz Masculine Depression Scale (MDS Magovcevic i Addisa – a także przedstawiono wyniki badań prowadzonych z użyciem wspomnianych metod. Artykuł kończą refleksje dotyczące dalszych kierunków badań nad problemem męskiej depresji i opis kontrowersji związanych z omawianą koncepcją.

  6. Analiza porównawcza wyników badania oczopląsu w teście kalorycznym uzyskanych przy użyciu metody ENG i VNG u osób zdrowych

    Directory of Open Access Journals (Sweden)

    Renata Pepaś

    2010-03-01

    Full Text Available Wprowadzenie: Najważniejszą obiektywną metodą oceny zaburzeń układu równowagi jest badanie oczopląsu. Badanie kaloryczne jako jedyny test obrazuje pobudliwość poszczególnych błędników, umożliwiając ocenę każdego z nich osobno. Cel pracy: Celem pracy jest analiza porównawcza wyników badania oczopląsu kalorycznego uzyskanych przy użyciu metody ENG i VNG u osób zdrowych. Materiał i metody: Badaniami objęto grupę 20 osób zdrowych, w tym 10 kobiet i 10 mężczyzn w wieku 22-26 lat. U wszystkich chorych przeprowadzono badanie podmiotowe oraz badanie przedmiotowe otoneurologiczne, badanie ENG i w odstępie 7-dniowym badanie VNG z kalibracją, oceną oczopląsu samoistnego oraz próbami kalorycznymi wg Hallpike’a. Test kaloryczny wykonano kalorymetrem powietrznym firmy HOMOTH, używając temperatury powietrza 30°C oraz 44°C, podawanych przez 40 s do ucha. Wyniki: W teście kalorycznym u żadnej osoby nie stwierdzono deficytu kanałowego wykraczającego poza granice przyjętych norm. Zaobserwowano niższe wartości średnie maksymalnej prędkości wolnej fazy oczopląsów w badaniu ENG niż VNG. Ponadto badanie VNG dodatkowo umożliwiło wyznaczenie wartości przewagi kierunkowej bezwzględnej oraz średniej pobudliwości błędników. Wnioski: Uzyskane wyniki wskazują, iż badanie VNG w stosunku do badania ENG jest bardziej precyzyjne i umożliwia dokładniejsze opisanie próby kalorycznej wg Hallpike’a. W badaniu VNG analiza parametru przewagi kierunkowej bezwzględnej znacznie podnosi wartość próby kalorycznej wg Hallpike’a.

  7. Uplatnění metody senzomotorické stimulace v atletickém tréninku mládeže

    OpenAIRE

    Kladivová, Veronika

    2008-01-01

    Title: Applying method ofsenzomotorics stimulation in athletics training ofyouth Name: Veronik:a Kladivová Objectives: familiarization with method ofsenzomotoric stimulation; fmdings ofusing method of senzomotoric stimulation in the athletics training; information about types ofinjuries in the youth category in athletic; notice about the connection between injuries and using balanced facilitations Methods: pedagogic experimental technique anonymous unnormalized questionnaire was used for gett...

  8. Plagiátorství v textových dokumentech: Metody odhalování plagiátů

    OpenAIRE

    Chocholoušková, Petra

    2009-01-01

    Bachelor thesis "Plagiarism in text documents: Methods of Plagiarism" deals with plagiarism theses. Explain the term of plagiarism. It applies to legislation based on the Higher Education Act and the Copyright Act. Plagiarism connects with citation ethics and explains its principles. It defines the types and reasons for plagiarism. The theoretical part analyzes the electronic screening tools to detect plagiarism and evaluate the success of individual instruments. It selected programs are avai...

  9. Methods of medical sterilization; Metody sterylizacji medycznej

    Energy Technology Data Exchange (ETDEWEB)

    Stachowicz, W. [Institute of Nuclear Chemistry and Technology, Warsaw (Poland)

    1997-10-01

    Broad review of different (physical, chemical and mechanical) methods commonly used for medical materials sterilization have been performed. Among them the special attention have been played on radiosterilization. The advantages and weaknesses each of the presented method have been pointed out. 1 fig.

  10. The administration of the Rorschach inkblot method and changes in autonomic nervous system activity [Aplikace Rorschachovy metody a změny v aktivitě autonomního nervového systému

    Directory of Open Access Journals (Sweden)

    Emil Šiška

    2009-09-01

    ím dopadem na zdraví. CÍLE: Cílem této studie bylo zjistit, zda aplikace Rorschachovy metody (Rorschach Inkblot Method – RIM může ovlivnit aktivitu autonomního nervového systému (ANS ve smyslu posunu autonomní rovnováhy směrem k sympatiku. METODIKA: Test RIM byl aplikován u 39 zdravých žen (22,8 ± 2,4 roku. Aktivita ANS byla hodnocena pomocí spektrální analýzy variability srdeční frekvence (SA HRV před testem RIM, v jeho průběhu a po jeho ukončení. Stejný postup byl zachován i v souboru 30 zdravých žen (21,41 ± 1,7 roku, avšak test RIM byl zaměněn za Stroopův test (Stroop color word test – SCWT, který se používá jako uznávaný zátěžový faktor ovlivňující významně aktivitu ANS. Pro hodnocení aktivity ANS bylo použito pět relativních ukazatelů SA HRV: percentuální podíl komponent VLF, LF a HF na celkovém spektrálním výkonu a poměry mezi komponentami (VLF/HF a LF/HF. Tyto poměry byly použity pro porovnání změn aktivity ANS, ke kterým došlo při použití obou psychologických testů (RIM a SWCT. VÝSLEDKY: Během aplikace testu RIM došlo k významnému poklesu spektrálního výkonu HF (%, významnému vzestupu VLF a LF (% a významnému vzestupu poměrů VLF/HF a LF/HF. Mezi testy RIM a SCWT nebyly shledány žádné rozdíly v dynamice VLF/HF (ukazatel stresu. ZÁVĚRY: Aplikace testu RIM může vyvolat silnou stresovou reakci spojenou s významným poklesem vagové aktivity a posunem autonomní rovnováhy směrem k sympatiku. Aplikace testů RIM a SCWT může vyvolat stres podobné intenzity a s podobným dopadem na aktivitu ANS.

  11. Aplikace metody ukotvujících vinět v pedagogickém výzkumu: přehled literatury a metodologická doporučení/ Applying the anchoring vignette method in educational research: Literature review and methodological recommendations

    Directory of Open Access Journals (Sweden)

    Hana Voňková

    2016-03-01

    Full Text Available Dotazníková šetření se (sebehodnoticími položkami jsou v pedagogickém výzkumu využívána často. Respondenti však mohou na tyto položky odpovídat rozdílně, tj. volit jiné škálové kategorie, přestože jejich objektivní situace je stejná. Metoda ukotvujících vinět nabízí řešení tohoto problému. Odpovědi na tyto položky koriguje o rozdílné užívání škály a činí je tak porovnatelné. Tento příspěvek si klade dva cíle. Zaprvé poskytnout přehled do této chvíle publikovaných prací z oblastí pedagogického výzkumu, ve kterých byla tato metoda aplikována. Zadruhé shrnout metodologická doporučení týkající se správné formulace a užití ukotvujících vinět. Metoda byla zatím úspěšně aplikována při měření nečestného chování žáků, ICT znalostí a dovedností, spokojenosti rodičů se školou, řízení třídy učitelem a podpory žáků ze strany učitele. Ukazuje se, že respondenti s různými charakteristikami skutečně užívají škálu rozdílným způsobem a že korigování dat s využitím metody ukotvujících vinět může pomoci vysvětlit některá paradoxní zjištění o vztahu vybraných proměnných. Naše metodologická doporučení pro využívání vinět se týkají podpory základních předpokladů metody, diskriminační síly vinět, počtu vinět, obsahové relevance a jazykové složky vinět. Na základě shrnutí dosavadního rozšíření a přínosu této metody pedagogickému výzkumu diskutují autoři možnosti jejího dalšího využití pro měření pedagogických konceptů.

  12. Nástroje a metody pro prolamování bezdrátových sítí norem IEEE 802.11 s použitím virtualizace

    OpenAIRE

    PECHA, František

    2015-01-01

    This bachelor's thesis aims to introduce readers to penetration testing of wireless networks working on IEEE 802.11 standards. The theoretical part of work describes IEEE 802.11 standards and which security features are used. There are also described possible attacks on each type of security. In the practical part of work are all attacks tested with use of operating system Kali Linux, which is designed for penetration testing. Kali Linux is used in a virtual environment and Live distribution....

  13. Evaluation of Wheel Loaders in Open Pit Marble Quarrying by Using the AHP and Topsis Approaches / Ocena pracy ładowarki na podwoziu kołowym w odkrywkowej kopalni marmuru w oparciu o metody AHP i topsis

    Science.gov (United States)

    Kun, Mete; Topaloǧlu, Şeyda; Malli, Tahir

    2013-03-01

    The marble mining in Turkey has been rising since the early 80's. In relation to that, the marble income has become noticeably bigger than those of other mining sectors. In recent years, marble and natural stone export composes half of the total mine export with a value of two billion dollars. This rapid development observed in marble operation has increased the importance of mining economics, income-expenditure balance and cost analysis. The most important cost elements observed in marble quarrying are machinery and equipment, labor costs and geological structures of the field. The aim of this study is to is to propose a multi-criteria decision making (MCDM) approach to evaluate the wheel loader alternatives and select the best loader under multiple criteria. A two-step methodology based on two MCDM methods, which are namely the Analytic Hierarchy Process (AHP) and the Technique for Order Preference by Similarity to Ideal Solution (TOPSIS), are used in the evaluation procedure. More precisely, AHP is applied to determine the relative weights of evaluation criteria and TOPSIS is applied to rank the wheel loader alternatives. The proposed approach also provides a relatively simple and very well suited decision making tool for this type of decision making problems.

  14. Soil Organic Carbon (SOC) distribution in two differents soil types (Podzol and Andosol) under natural forest cover.

    Science.gov (United States)

    Álvarez-Romero, Marta; Papa, Stefania; Verstraeten, Arne; Cools, Nathalie; Lozano-García, Beatriz; Parras-Alcántara, Luis; Coppola, Elio

    2017-04-01

    Andosols are young soils that shall know a successive evolution towards pedological types where the dominant pedogenetic processes are more evident. Vegetation and climate influence Andosols evolution to other order of soils. In cold and wet climates or on acid vulcanite under heavy leaching young Andosols could change into Podzols (Van Breemn and Buurman, 1998). Were investigated a Podzol soil (World References Base, 2014) at Zoniën (Belgium), were and an Andosol soil (World References Base, 2014) at Lago Laceno (Avellino, Italy). This study shows the data on the SOC (Soil Organic Carbon) fractionation in two profiles from two natural pine forest soils. Together with the conventional activities of sampling and analysis of soil profile were examined surveys meant to fractionation and characterization of SOC, in particular: Total Organic Carbon (TOC) and Total Extractable Carbon (TEC) soil contents were determined by Italian official method of soil analysis (Mi.P.A.F. (2000)). Different soil C fractions were also determined: Humic Acid Carbon (HAC), Fulvic Acid Carbon (FAC), Not Humic Carbon (NHC) and Humin Carbon (Huc) fractions were obtained by difference. In the whole profile, therefore, were also assayed cellulose and lignin contents. The aim of this work was to compare the distribution of different soil organic components in a podzol and a soil with andic properties. The data show great similarity, among the selected profiles, in the organic components distribution estudied. References: - Mi.P.A.F. - Ministero per le Politiche Agricole e Forestali - Osservatorio Nazionale Pedologico e per la Qualità del Suolo (2000): Metodi Ufficiali di Analisi Chimica del Suolo. In: Franco Angeli (Editor), Collana di metodi analitici per l'agricoltura diretta da Paolo Sequi, n. 1124.2, Milano, Italy. - Van Breemn N. and Buurman P. (1998) Chapter 12 Formation of Andisols. In: Soil formation. Kluwer Ed., Wageningen, The Netherlands, 271-289. -Ussiri D.A.N., Johnson C

  15. Blood Types

    Science.gov (United States)

    ... Drive Home Types of Blood Donations Blood Types Blood Types Not all blood is alike. There are eight ... African descent. Learn More About Blood and Diversity Blood Types and Transfusion There are very specific ways in ...

  16. Wykorzystanie tomografii komputerowej i metody rapid prototyping dla potrzeb otolaryngologii

    Directory of Open Access Journals (Sweden)

    T. Markowski

    2008-03-01

    Full Text Available W pracy pr7cdslaviono etapy postcpowania przy opracowaniu prozotypu apantu sluchowcgo ucha zewnqlrznego czlowickn. W opnrciu otvyniki tomografii kompu~crowcsj tworzono trtijvymiarsvy rnodcl nurncryczny kanatu ucha zewnetrzncgo pacjcn~nN. a podstnwfc aprncowanegomodelu numeryczncgo wykonnno mctodq stcrcalitografii rnodcl SLA kanalu ucha. Model ten byt podstawq do ivykonaninrnatrycy (formy z zastosowanicrn ktbrci tvykonnno odlcw kanalu ucha prorotypowwgo aparatu sluchor~go.

  17. Metody zápisu nanostruktur rastrovací sondou

    Czech Academy of Sciences Publication Activity Database

    Urbánek, Michal; Krátký, Stanislav; Matějka, Milan; Kolařík, Vladimír; Horáček, Miroslav

    2014-01-01

    Roč. 108, č. 10 (2014), s. 937-941 ISSN 0009-2770 R&D Projects: GA MŠk(CZ) LO1212 Keywords : scanning probe lithography * local anodic oxidation * nanoscratching * atomic force microscopy Subject RIV: JA - Electronics ; Optoelectronics, Electrical Engineering Impact factor: 0.272, year: 2014

  18. La divulgazione del paesaggio in ambito turistico: criteri, metodi, esperienze

    OpenAIRE

    Frederick Bradley

    2015-01-01

    In the tourist context, the landscape meaning, as defined by the European Landscape Convention (ELC), is not yet well understood: actually, landscape is just conceived as a scenic view of the territory (panorama). This situation limits the role that landcape observation should play in policies aimed at promoting a sustainable and competitive tourism development. In order that landscape become a crucial element in visiting and knowing the territory, it is necessary to activate popularization m...

  19. La divulgazione del paesaggio in ambito turistico: criteri, metodi, esperienze

    Directory of Open Access Journals (Sweden)

    Frederick Bradley

    2015-11-01

    Full Text Available In the tourist context, the landscape meaning, as defined by the European Landscape Convention (ELC, is not yet well understood: actually, landscape is just conceived as a scenic view of the territory (panorama. This situation limits the role that landcape observation should play in policies aimed at promoting a sustainable and competitive tourism development. In order that landscape become a crucial element in visiting and knowing the territory, it is necessary to activate popularization methods able to capture and stimulate the tourist interests. The adoption of polularization methods could make tourism an extraorinary opportunity for applying the ELC principles, as they contitute important tools also for landscape sensitization.

  20. Metodi matematici per la teoria dell’evoluzione

    CERN Document Server

    Bazzani, Armando; Freguglia, Paolo

    2011-01-01

    Esistono ormai da tempo molti articoli, in particolar modo su riviste di biomatematica, di (bio)fisica e di biologia, che presentano proposte e risultati di modellistica matematica relativi direttamente ed indirettamente alla teoria dell’evoluzione. Sicuramente questi studi sono da considerarsi cruciali per l’istituzione della biologia teorica. I temi da prendere in esame sono dapprima le convinzioni che i biologi hanno in merito. Quindi un’analisi dei precedenti tentativi di formulare una teoria matematica dell’evoluzione, nonché i relativi sviluppi e insuccessi a cui abbiamo assistito nell’ambito della "teoria della complessità". La nostra proposta consiste dunque nel realizzare una teoria matematicamente formulata e biologicamente ben fondata dell’evoluzione con specifico e giustificato riferimento a quella fenotipica. Quindi su questa base costruiamo sia di un modello geometrico sia un modello dinamico stocastico. In questo modo, pur tenendo presente l’intrinseca insufficienza dell’appro...

  1. Marx, Althusser a problém metody

    Czech Academy of Sciences Publication Activity Database

    Kužel, Petr

    2015-01-01

    Roč. 63, č. 3 (2015), s. 379-396 ISSN 0015-1831 Institutional support: RVO:67985955 Keywords : Karl Marx * Louis Althusser * epistemological rupture * epistemological obstacles * over-determination * structural causality * ideology Subject RIV: AA - Philosophy ; Religion

  2. Metody stimulace uhelných slojí

    Czech Academy of Sciences Publication Activity Database

    Weishauptová, Zuzana; Přibyl, Oldřich

    2015-01-01

    Roč. 7, č. 1 (2015), s. 21-25 ISSN 1804-2058 Institutional support: RVO:67985891 Keywords : hydraulic fracturing * coal seams * propant * fracturing medium Subject RIV: DH - Mining, incl. Coal Mining http://paliva.vscht.cz/cz/archiv-clanku/detail/26

  3. Blood typing

    Science.gov (United States)

    Blood typing is a method to tell what type of blood you have. Blood typing is done so you can safely donate your blood or receive a blood transfusion. It is also done to see if you have a substance called Rh factor on the surface of your red ...

  4. Blood Types

    Science.gov (United States)

    ... KidsHealth / For Teens / Blood Types What's in this article? Four Blood Groups... Plus Rh Factor... ...Make Eight Blood Types Why Blood Type Matters Print en español Tipos de sangre About 5 million Americans need blood transfusions every ...

  5. Klebsiella Typing

    DEFF Research Database (Denmark)

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

    2002-01-01

    unit (NICU) were K-typed by countercurrent immunoelectrophoresis (CCIE), O-typed by an inhibition enzyme-linked immunosorbent assay method, and typed by pulsed-field gel electrophoresis (PFGE) using the restriction enzyme XbaI. RESULTS: Typing data for the 104 bacteremia isolates were compared......OBJECTIVE: To compare pulsed-field gel electrophoresis (PFGE) typing and O:K-serotyping of Klebsiella in two different epidemiological settings. METHODS: One hundred and four bacteremia isolates without known epidemiological relation and 47 isolates from an outbreak in a neonatal intensive care...

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

  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 (ALFP) logic. We then show how a reasonable model of the generated constraints yields a type/effect assignment such that P becomes well-typed with respect to E if and only if this is possible. The formulae generated satisfy a finite model property; a system of constraints is satisfiable if and only...... if it has a finite model. As a consequence, we obtain the result that type/effect inference in our system is polynomial-time decidable....

  8. Cavity types

    CERN Document Server

    Gerigk, Frank

    2011-01-01

    In the field of particle accelerators the most common use of RF cavities is to increase the particle velocity of traversing particles. This feature makes them one of the core ingredients of every accelerator, and in the case of linear accelerators they are even the dominant machine component. Since there are many different types of accelerator, RF cavities have been optimized for different purposes and with different abilities, e.g., cavities with fixed or variable RF frequency, cavities for short or long pulses/CW operation, superconducting and normal-conducting cavities. This lecture starts with a brief historical introduction and an explanation on how to get from Maxwell's equations to a simple cavity. Then, cavities will be classified by the type of mode that is employed for acceleration, and an explanation is given as to why certain modes are used in particular cavity types. The lecture will close with a comparison of normal versus superconducting cavities and a few words on the actual power consumption ...

  9. Periodic Solutions of Hamiltonian Systems of 3-Body Type

    Science.gov (United States)

    1989-08-01

    As has been noted earlier. a(C) < 4(4 + C2) - 1 implies this is impossible. Thus I has no critical points in this region and there does not exist a...unstable manifolds for Z 12 in the region e1 <- J 1 2(q) -< M + 1 have a transversal intersection. Points on the unstable manifold between levels ci...Hamiltonian systems, Nonlinear Analysis: TMA, 12, (1988), 259-270. [7] Marino, A. and G. Prodi, Metodi perturbativi nella teoria di Morse, Boll. Un. Mat

  10. Facts about Type 2

    Medline Plus

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

  11. Guarded Dependent Type Theory with Coinductive Types

    DEFF Research Database (Denmark)

    Bizjak, Ales; 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...

  12. Mucopolysaccharidosis type IV

    Science.gov (United States)

    MPS IV; Morquio syndrome; Mucopolysaccharidosis type IVA; MPS IVA; Galactosamine-6-sulfatase deficiency; Mucopolysaccharidosis type IVB; MPS IVB; Beta galactosidase deficiency; Lysosomal storage disease - mucopolysaccharidosis type IV

  13. 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 ... as well as the aged population. Patient Education Materials — Taking Care of Type 2 Diabetes This two- ...

  14. 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 ... Do I Begin With Type2? Living With Type 1 Diabetes Enroll in the Living WIth Type 2 Diabetes ...

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

  16. Application of digital image processing method for measuring maps graphical density on the example of city maps. (Polish Title: Zastosowanie metody cyfrowego przetwarzania obrazów do wyznaczania gęstości graficznej opracowań kartograficznych na przykładzie planów miast)

    Science.gov (United States)

    Ciołkosz-Styk, A.

    2013-12-01

    complexity of city maps loaded by different type of graphical elements (point signatures, lines, text, etc.). Extended analyses of selected cartographic materials proved the usability of the method for quantitative estimation of city map complexity via formal index.

  17. Facts about Type 2

    Medline Plus

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

  18. Types of Diabetes

    Science.gov (United States)

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

  19. Type 1 diabetes

    Science.gov (United States)

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

  20. Guarded Cubical Type Theory

    DEFF Research Database (Denmark)

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

    2016-01-01

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

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

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

  3. Different Types of Lupus

    Science.gov (United States)

    ... Donate Share on Twitter Facebook Pinterest Email Print Different types of lupus Lupus Foundation of America September 18, 2017 Resource Content There are four different types of lupus. Learn more about each type ...

  4. Facts about Type 2

    Medline Plus

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

  5. 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 ... eating and being active. But, your doctor may need to also prescribe oral medications or insulin to ...

  6. Facts about Type 2

    Medline Plus

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

  7. Type I Versus Type II Endometrial Cancer

    DEFF Research Database (Denmark)

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

    2018-01-01

    OBJECTIVE: Two distinct types of endometrial carcinoma (EC) with different etiology, tumor characteristics, and prognosis are recognized. We investigated if the prognostic impact of comorbidity varies between these 2 types of EC. Furthermore, we studied if the recently developed ovarian cancer....... A consistent association between increasing levels of comorbidity and poorer survival was observed for both types. Cox regression analyses revealed a significant interaction between cancer stage and comorbidity indicating that the impact of comorbidity varied with stage. In contrast, the interaction between...

  8. Guarded Cubical Type Theory

    DEFF Research Database (Denmark)

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

    2016-01-01

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

  9. Types and Automata

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Meineche Smidt, Erik

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

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

  11. Fix Your Types

    Directory of Open Access Journals (Sweden)

    Sol Swords

    2015-09-01

    Full Text Available When using existing ACL2 datatype frameworks, many theorems require type hypotheses. These hypotheses slow down the theorem prover, are tedious to write, and are easy to forget. We describe a principled approach to types that provides strong type safety and execution efficiency while avoiding type hypotheses, and we present a library that automates this approach. Using this approach, types help you catch programming errors and then get out of the way of theorem proving.

  12. Psychologiczna praca z filmem: prezentacja autorskiej metody „Patrz mądrzej”

    Directory of Open Access Journals (Sweden)

    Agnieszka Ogonowska

    2017-08-01

    Full Text Available The aim of the article is to present the “Look Smarter” method, which uses the film as a multicode, inter-media and narrative transfer; these attributes allow it to be used in education and therapeutic activities. The gist of working with a film according to this method is to learn on the film, learn through the film and learn beyond the film. The successful use of the film in this process is determined by most of all: correct choice of film for the undertaken aims and attributes of the group/person, and appropriate psychological competences of the educator, who also possesses the ability to weigh the efficiency if the achieved results. The last part of the article is devoted to the synthetic presentation of a case study, which describes a possibility to use this method in working with students of culture studies and media studies within the subject: social psychology.

  13. Metody měření bolesti u zvířat

    OpenAIRE

    Štěrbová, Petra

    2012-01-01

    Pain in animals was almost completely overlooked in the last years. It was assumed that animals do not suffer because they are not able to tell it anyway. In a recent time we know that it's not truth and the animals can physically feel pain as we do. This thesis is summarization of the basic knowledge about the pain measurement of animals. However, there are two different approaches to the measurement of pain. The first one is based on the threshold of pain, the another one observes changes i...

  14. Marie Darrieussecq, Rapporto di polizia. Le accuse di plagio e altri metodi di controllo della scrittura

    Directory of Open Access Journals (Sweden)

    Niccolò Scaffai

    2012-04-01

    Full Text Available Something strange happened to Marie Darrieussecq. It wasn’t that she was born in France, in Bayonne, in 1969. Or that she is a writer (in addition to being a scholar of literature and psychoanalyst who has published works of fiction, autobiographical short stories and literary essays. There is nothing strange about that. What is strange is that half of her novels have been considered, by various readers and by other writers, «imitations», «copies», «psychic plagiarism», and even «manuscript theft».

  15. Choroba Creutzfeldta-Jakoba − współczesne metody diagnostyki

    Directory of Open Access Journals (Sweden)

    Marianna Makowska

    2013-11-01

    Full Text Available Choroba Creutzfeldta-Jakoba (Creutzfeldt-Jakob disease, CJD należy do chorób wywoływanych przez priony (encefalopatii gąbczastych. Jest to postępująca, śmiertelna i nieuleczalna choroba o charakterze neurozwyrodnieniowym. Jej przyczyną jest akumulacja patologicznego białka prionu (scrapie, PrPSc w ośrodkowym układzie nerwowym. Choroba objawia się postępującym otępieniem, zaburzeniami mowy i wzroku oraz motoryki pod postacią mioklonii, ataksji oraz niedowładu kończyn i zaburzeń równowagi. Bezpośrednią przyczyną zgonu jest najczęściej odoskrzelowe zapalenie płuc. Okres inkubacji choroby wynosi zazwyczaj od kilku do kilkunastu lat, a zgon następuje najczęściej od kilku do kilkunastu miesięcy od wystąpienia pierwszych objawów klinicznych. Trudności w przyżyciowym rozpoznawaniu choroby Creutzfeldta-Jakoba wynikają z braku swoistego markera umożliwiającego pewną identyfikację czynnika infekcyjnego oraz nie zawsze charakterystycznego obrazu klinicznego wymagającego różnicowania z innymi chorobami o charakterze otępiennym. Aktualnie jedyną pewną metodą rozpoznania jest przeprowadzenie badania neuropatologicznego. Klasyczna triada objawów neuropatologicznych występujących w przebiegu chorób wywoływanych przez priony obejmuje zmiany gąbczaste, rozplem astrogleju oraz utratę neuronów. Publikacja jest przeglądem aktualnych informacji na temat najnowszych metod diagnostycznych, w tym EEG, badań neuroobrazowych oraz laboratoryjnych, które znacznie poprawiły możliwość rozpoznania.

  16. Zvětšeniny z metody Jaroslavy Janáčkové

    Czech Academy of Sciences Publication Activity Database

    Jedličková, Alice; Fedrová, Stanislava

    2015-01-01

    Roč. 63, č. 5 (2015), s. 746-762 ISSN 0009-0468 Institutional support: RVO:68378068 Keywords : Janáčková, Jaroslava * literary theory * literary history * genetic transformational poetics * theory of communication * reception aesthetics * narrative theory Subject RIV: AJ - Letters, Mass-media, Audiovision

  17. Metody zpracování dat z letových zkoušek

    OpenAIRE

    Kozelský, Martin

    2008-01-01

    Přehled moderních přístrojů pro měření základních a dalších důležitých dat z letových zkoušek a jejich zpracování pomocí určení chyb a přesnosti přístrojů. V této práci jsou popsány principy a funkce používaných přístrojů a dále jsou v práci pospany chyby, které se při měření vyskytují a musí se započítávat do naměřených hodnot. Summary of modern measuring instruments for measure basic and others important data from flight test. Processing through the use of definition of errors and accura...

  18. Historia przeciw teorii: komentarz do Marksowskiej metody z Kapitału

    Directory of Open Access Journals (Sweden)

    David Harvey

    2015-04-01

    Full Text Available Między teoretycznymi pismami Marksa z zakresu ekonomii politycznej (takimi jak, na przykład, trzy księgi Kapitału a jego pismami historycznymi (jak Osiemnasty Brumaire’a czy Wojna domowa we Francji istnieje pewna luka, wynikająca z ograniczeń, jakie Marks narzucił swoim badaniom polityczno-ekonomicznym. Ograniczenia te zostały naszkicowane w Zarysie krytyki ekonomii politycznej, gdzie Marks czyni rozróżnienie pomiędzy a uniwersalnością metabolicznej relacji ze światem natury, b ogólnym charakterem praw rządzących ruchem kapitału, c szczególnością podziału i wymiany, a d jednostkowością procesów konsumpcji. Analiza zawartości Kapitału pokazuje, że Marks zasadniczo ograniczył swoje wysiłki do wykazania, że istnieją prawa, którymi rządzi się proces produkcji. Optyka ta pozwoliła mu na identyfikację pewnych prawidłowości w zakresie ruchów kapitału, właściwych każdemu kapitalistycznemu sposobowi produkcji. Zarazem jednak wykluczała ona pozostałe czynniki, przez co nie mogła ustanowić kompletnej teorii kapitalistycznego sposobu produkcji. Lepsze zrozumienie tego, w czym Marks może nam pomóc dzięki swojemu rozpoznaniu ogólnych zasad ruchu prowadzi do znacznie lepszego zrozumienia, co my sami musimy zrobić, jeśli chcemy, by wyniki jego badań dały się zastosować w konkretnych okolicznościach. Takich jak te, które zaistniały w trakcie kryzysu ekonomicznego towarzyszącego nam od 2007 roku.

  19. Analytické metody při výzkumu cytokininů

    Czech Academy of Sciences Publication Activity Database

    Tarkowski, Petr; Doležal, Karel; Strnad, Miroslav

    2004-01-01

    Roč. 98, č. 9 (2004), s. 834-841 ISSN 0009-2770 R&D Projects: GA ČR GA522/01/0275; GA AV ČR IBS4055304 Institutional research plan: CEZ:AV0Z5038910 Keywords : Cytokinins * immunochemical methods * liquid chromatography Subject RIV: EF - Botanics Impact factor: 0.348, year: 2004

  20. Moderní teoretické metody analýzy elektronové struktury molekul.

    Czech Academy of Sciences Publication Activity Database

    Ponec, Robert

    2016-01-01

    Roč. 10, č. 5 (2016), s. 323-329 ISSN 0009-2770 Institutional support: RVO:67985858 Keywords : molecular structure * chemical bond * pair population analysis Subject RIV: CF - Physical ; Theoretical Chemistry Impact factor: 0.387, year: 2016

  1. Diagnostic methods of tubal factor in infertility; Metody diagnostyczne czynnika jajowodowego nieplodnosci

    Energy Technology Data Exchange (ETDEWEB)

    Korzon, T.; Mielnik, J.; Gosciniak, W. [Akademia Medyczna, Gdansk (Poland)] [and others

    1993-12-31

    The diagnostic methods of tubal factor in infertility have been presented. In details have been discussed PJ, PK HSG and pelviscopy. These examinations themselves constitute the basic ones in infertility. We turned our attention into technical details and possible mistakes which may occur at the time of performing them, these misinterpretations may lead to absolutely wrong conclusion and diagnosis. Authors have wide experience in performing the discussed examinations and this allows them to share their opinion. Over the years several thousand of PK and HSG examinations have been carried out and also 1000 laparoscopies. (author)

  2. Nové marketingové metody v knihovnách

    OpenAIRE

    Steklá, Zuzana

    2013-01-01

    In last few years marketing become one of the key processes in libraries. Marketing is used as an efficient tool of competitive struggle and means for defining the identity of the library, it is also new way of communication with library users. Libraries could use tools of classic marketing, which are primarly intended for profit organizations, but they have to be aware of differences between profit and nonprofite sector. These differences are goals of the organization, its directions and man...

  3. Točnyje metody v češskom stichovedenii

    Czech Academy of Sciences Publication Activity Database

    Plecháč, Petr; Kolár, Robert

    2017-01-01

    Roč. 11, č. 2017 (2017), s. 31-43 ISSN 2311-150X R&D Projects: GA ČR GAP406/11/1825 Institutional support: RVO:68378068 Keywords : versification * corpus linguistics * natural language processing * Czech poetry * verse corpora Subject RIV: AJ - Letters, Mass-media, Audiovision OBOR OECD: Specific literatures

  4. Dalla tavoletta al tablet: metodi classici e nuove tecnologie a confronto per l’Assiriologia.

    Directory of Open Access Journals (Sweden)

    Mirko Surdi

    2017-03-01

    Full Text Available Computer sciences are applied more frequently in Humanities and the present research is an example of the application of new technologies to Assyriology, i.e. the discipline studying the civilizations of ancient Mesopotamia. Photogrammetry, structured-light scanner and Reflectance Transformation Imaging were employed together in order to demonstrate how they can improve the fruition and the study of cuneiform tablets, or clay supports where “cuneiform signs” were impressed. The corpus of texts used for this research is represented by the collection of the Bank of Italy, at present the largest and most numerous collection of cuneiform tablets in Italy.

  5. Che cos'è la matematica? introduzione elementare ai suoi concetti e metodi

    CERN Document Server

    Courant, Richard

    1971-01-01

    I numeri naturali ; la teoria dei numeri ; il sistema dei numeri nella matematica ; l'algebra delle classi ; costruzioni geometriche, l'algebra nei campi di numeri ; geometria proiettiva, assiomatica, geometrie non euclidee ; topologia ; funzioni e limiti ; ulteriori esempi sui limiti e sulla continuità ; massimi minimi ; il calcolo.

  6. Sviluppo di metodi analitici per determinazioni affidabili in campo ambientale ed alimentare

    OpenAIRE

    Notardonato, Ivan

    2010-01-01

    La presenza di sostanze tossiche nei prodotti alimentari è stato da sempre un problema di grande rilevanza e influenza sociale sia per la natura sia per l’uomo. Nel corso degli anni sono state studiate e caratterizzate diverse sostanze presenti nell’ambiente, molte catalogate come tossiche, derivanti sia da fonti naturali sia da fonti industriali. Alcune di queste sostanze sono state ritenute particolarmente pericolose e quindi è nata l’esigenza di monitorarle e/o di cercare di limitarne il ...

  7. Kometový Test: Princip metody a klinické aplikace

    Czech Academy of Sciences Publication Activity Database

    Novotná, Božena; Neuwirtová, R.; Blažková, V.; Šišková, M.

    2001-01-01

    Roč. 140, č. 24 (2001), s. 761-766 ISSN 0008-7335 R&D Projects: GA MZd IZ4119 Grant - others:GA VZP(XC) 021/97 Institutional research plan: CEZ:AV0Z5039906 Keywords : comet assay * apoptosis Subject RIV: FE - Other Internal Medicine Disciplines

  8. Analytical methods for drinking water; Metodi di analisi per le acque destinate al consumo umano

    Energy Technology Data Exchange (ETDEWEB)

    Ottaviani, Massimo; Bonadonna, Lucia [Istituto Superiore di Sanita`, Rome (Italy). Lab. di Igiene Ambientale

    1997-03-01

    These analytical methods for drinking water were elaborated by the second Sub-commission of the Permanent study committee ex-article 9 of Italian Ministerial Decree (DM) of March 26, 1991, established at the Ministry of Health. The methods concern the chemical and microbiological parameters included in the C1, C2 and C3 controls of the Annex II of the Decree of the President of the Republic (DPR) 236/88.

  9. Nuovi Metodi di visualizzazione geografica: l'approccio Focus+Glue+Context

    Directory of Open Access Journals (Sweden)

    Flavio Lupia

    2010-03-01

    Full Text Available New cartographic visualization methods: the Focus+Glue+Context approach Focus+Glue+Context is a new cartographic visualization method specifically designed to solve the fruition problems connected with the use of mobile devices and web mapping services. The objective of the F+G+C approach is to reduce users cognitive efforts when reading a map: to do so, the area of interest is ‘highlighted’ in a lower and more detailed scale through a fisheye lens effect, while the sorrouding context, useful to the user to determine the items relationships in a map, is maintained on a higher scale.

  10. Zvětšeniny z metody Jaroslavy Janáčkové

    Czech Academy of Sciences Publication Activity Database

    Jedličková, Alice; Fedrová, Stanislava

    2015-01-01

    Roč. 63, č. 5 (2015), s. 746-762 ISSN 0009-0468 Institutional support: RVO:68378068 Keywords : Janáčková, Jaroslava * literary theory * literary history * genetic transformational poetics * theory of communicat ion * reception aesthetics * narrative theory Subject RIV: AJ - Letters, Mass-media, Audiovision

  11. Metodička osnova, ustroj i trajnost upravljačke misli H. Fayola

    OpenAIRE

    Biličić, Mijo

    1999-01-01

    Autor razlaže djelo H. Fayola u svjetlu novijih dostignuća znanosti o upravljanju. Pritom dokazuje Fayolov organski pristup, imanentnu podjelu sadržaja njegova djela na konstitutivne i funkcionalne aspekte, te ugrađenost Fayolovih pojmova u temelje znanosti o upravljanju, jer se prema njima obavlja razdioba materije o upravljanju, precizira rukovođenje i jer im se dodaje malo novih pojmova. Nedostatci Fayolove misli proizlaze iz ograničenosti prakse njegova vremena, iz ograničenosti internoga...

  12. Dynamická kognitivní struktura jako základ metody v teologii

    OpenAIRE

    Regner, Jan

    2016-01-01

    The goal of this doctoral thesis is to take a close look at the process of human understanding as foundations of theological method in postmodern age. In the very center of my research is so called "dynamic cognitional structure" presented by Canadian thinker, Bernard Lonergan. The purpose of the study is to analyze his epistemology in the context of the "generalized empirical method" and to investigate the relevance of this method for contemporary theology. The thesis also focuses on the que...

  13. I costi esterni della mobilità: tipologie metodi di stima

    Directory of Open Access Journals (Sweden)

    Mariano Gallo

    2008-03-01

    Full Text Available I costi dei sistemi di trasporto possono essere suddivisi in tre tipologie principali: i costi di produzione del servizio, i costi di uso del servizio ed i costi esterni. I costi di produzione sono sostenuti, secondo i casi, da Enti Pubblici, da aziende pubbliche o private o da amministrazioni locali, per la costruzione, manutenzione e gestione delle infrastrutture di trasporto, per l’acquisto e la manutenzione dei veicoli di trasporto collettivo e per l’esercizio e la gestione dei sistemi di trasporto collettivo. I costi di uso del servizio sono sostenuti dagli utenti del sistema di trasporto (acquisto e manutenzione veicoli privati, carburanti, lubrificanti, pedaggi, sosta, ecc.. I costi esterni, invece, pur essendo prodotti dall’esercizio e dall’uso dei sistemi di trasporto, ricadono sulla collettività nel suo complesso, cioè anche sui non utenti; tali costi, detti anche costi sociali, rappresentano le esternalità del sistema di trasporto. Le principali esternalità prodotte dai sistemi di trasporto sono le emissioni di gas serra, l’inquinamento acustico, l’inquinamento atmosferico, l’incidentalità e la congestione. Alcune di queste esternalità, come l’inquinamento e la congestione producono una sensibile riduzione della qualità della vita, mentre altre generano forti impatti sociali (incidentalità ed effetti di lungo termine sul clima (gas serra. In letteratura diversi studi hanno esaminato il problema della valutazione dei costi esterni. In questa nota, dopo un esame della letteratura, sono riportati e discussi alcuni risultati relativi alla valutazione dei costi esterni in Europa.

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

  15. Facts about Type 2

    Medline Plus

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

  16. Facts about Type 2

    Medline Plus

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

  17. Preventing Type 2 Diabetes

    Science.gov (United States)

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

  18. Facts about Type 2

    Medline Plus

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

  19. Types of Heart Failure

    Science.gov (United States)

    ... Venous Thromboembolism Aortic Aneurysm More Types of Heart Failure Updated:May 8,2017 Left-sided heart failure ... This content was last reviewed May 2017. Heart Failure • Home • About Heart Failure Introduction Types of Heart ...

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

  1. Facts about Type 2

    Medline Plus

    Full Text Available ... Type 1 Type 2 About Us Online Community Meal Planning Sign In Search: Search ... Eating Overweight Smoking High Blood Pressure Physical Activity High Blood Glucose My Health ...

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

  3. Facts about Type 2

    Medline Plus

    Full Text Available ... levels normal. Type 2 is treated with lifestyle changes, oral medications (pills), and insulin. When glucose builds ... It Together celebrates the steps you take Help change the conversation about type 2 diabetes. » « Connect With ...

  4. Haemophilus Influenzae Type b

    Science.gov (United States)

    ... Text Size Email Print Share Haemophilus Influenzae type b Page Content Article Body If you’re like ... may have been unfamiliar with Haemophilus influenzae type b (Hib) infections until your pediatrician recommended a vaccine ...

  5. Facts about Type 2

    Medline Plus

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

  6. Types of Blood Donations

    Science.gov (United States)

    ... ill patients. Blood Donation 101 Blood Donation FAQs Types of Blood Donations The Foundation for America's Blood Centers Donate Blood Blood Donation 101 Blood Donation FAQs Types of Blood Donations About Blood What is Blood? ...

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

  8. Facts about Type 2

    Medline Plus

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

  9. Facts about Type 2

    Medline Plus

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

  10. 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 active. But, your doctor may need to also prescribe oral medications or insulin to help you meet your target blood glucose ... type 2 diabetes than others. Type 2 diabetes is more common in African ...

  11. Type T Marital Therapy.

    Science.gov (United States)

    Farley, Frank; Carlson, Jon

    1991-01-01

    Briefly reviews Farley's Type T theory of personality and then considers a range of issues in marital therapy from the perspective of Type T. Suggests that Type T theory may be relevant in dealing with infidelity, sexual problems, love, marital abuse, child rearing, drug and alcohol use, money, division of household labor, recreation, and…

  12. Diabetes Type 2

    Science.gov (United States)

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

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

  14. Facts about Type 2

    Medline Plus

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

  15. Facts about Type 2

    Medline Plus

    Full Text Available ... from Diabetes Forecast® magazine: lp-type-2, . In this section Diabetes Basics Type 2 Facts About Type ... Your Stress-Free System for Family Dinners! A year of delicious meals to help prevent and manage ...

  16. Facts about Type 2

    Medline Plus

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

  17. Facts about Type 2

    Medline Plus

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

  18. Type B Drum packages

    International Nuclear Information System (INIS)

    Edwards, W.S.

    1995-11-01

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

  19. TypeSan : Practical type confusion detection

    NARCIS (Netherlands)

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

    2016-01-01

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

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

  1. TypeScript revealed

    CERN Document Server

    Maharry, Dan

    2013-01-01

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

  2. Type Ia Supernova Cosmology

    Science.gov (United States)

    Leibundgut, B.; Sullivan, M.

    2018-03-01

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

  3. Facts about Type 2

    Medline Plus

    Full Text Available ... CHIP For Parents & Kids Safe at School Everyday Life Children and Type 2 Diabetes Know Your Rights Employment Discrimination Health Care Professionals Law Enforcement Driver's ...

  4. Facts about Type 2

    Medline Plus

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

  5. Facts about Type 2

    Medline Plus

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

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

  7. Facts about Type 2

    Medline Plus

    Full Text Available ... A A A Listen En Español Facts About Type 2 Type 2 diabetes is the most common ... 5% back to the Association. Shopdiabetes.org: Your Stress-Free System for Family Dinners! - 2017-03-book- ...

  8. Facts about Type 2

    Medline Plus

    Full Text Available ... A A Listen En Español Facts About Type 2 Type 2 diabetes is the most common form ... program will help you live well. More from diabetes.org Healthy Recipes: Delicious Recipe Kits Delivered - 2017- ...

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

  10. Types of Anesthesia

    Science.gov (United States)

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

  11. 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 Sites Search ≡ Are You At Risk? Diabetes Basics Living with Diabetes Food & Fitness In My Community Advocacy Research & Practice Ways to Give Close Are You at ...

  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 Sites ... Twitter Pinterest Youtube Instagram Diabetes Stops Here Blog Online Community Site Menu Are You at Risk? Diagnosis Lower ...

  13. Improving Precision of Types

    DEFF Research Database (Denmark)

    Winther, Johnni

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

  14. Facts about Type 2

    Medline Plus

    Full Text Available ... Care of Type 2 Diabetes This two-page introduction to type 2 diabetes is in PDF format ... to the Association. Shopdiabetes.org: Your Stress-Free System for Family Dinners! - 2017-03-book-oclock-scramble. ...

  15. Facts about Type 2

    Medline Plus

    Full Text Available ... is the most common form of diabetes. In type 2 diabetes, your body does not use insulin properly. This is called insulin resistance. At first, ... insulin to keep your blood glucose levels normal. Type 2 is treated with lifestyle ... (pills), and insulin. When glucose builds up in the blood instead ...

  16. Beyond Type D personality

    DEFF Research Database (Denmark)

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

    2009-01-01

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

  17. Type Inference with Inequalities

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff

    1991-01-01

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

  18. Multiparty Asynchronous Session Types

    DEFF Research Database (Denmark)

    Honda, Kohei; Yoshida, Nobuko; Carbone, Marco

    2016-01-01

    Communication is a central elements in software development. As a potential typed foundation for structured communication-centered programming, session types have been studied over the past decade for a wide range of process calculi and programming languages, focusing on binary (two-party) sessio...

  19. Facts about Type 2

    Medline Plus

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

  20. Facts about Type 2

    Medline Plus

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

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

  2. Facts about Type 2

    Medline Plus

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

  3. Typing polymorphic recursion

    OpenAIRE

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

    2001-01-01

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

  4. Facts about Type 2

    Medline Plus

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

  5. Facts about Type 2

    Medline Plus

    Full Text Available ... A A Listen En Español Facts About Type 2 Type 2 diabetes is the most common form ... Your Stress-Free System for Family Dinners! A year of delicious meals to help prevent and manage ...

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

  7. Personality types of entrepreneurs.

    Science.gov (United States)

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

    2005-06-01

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

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

  9. Parametric compositional data types

    DEFF Research Database (Denmark)

    Bahr, Patrick; Hvitved, Tom

    2012-01-01

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

  10. Griscelli syndrome type-3

    Directory of Open Access Journals (Sweden)

    Bela J Shah

    2016-01-01

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

  11. Action Type Deontic Logic

    DEFF Research Database (Denmark)

    Bentzen, Martin Mose

    2014-01-01

    A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning...... are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and semantics of Action Type Deontic Logic is presented and it is shown to meet...

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

  13. Facts about Type 2

    Medline Plus

    Full Text Available ... Types of Carbohydrates Carbohydrate Counting Make Your Carbs Count Glycemic Index Low-Calorie Sweeteners Sugar and Desserts ... their blood glucose with healthy eating and being active. But, your doctor may need to also prescribe ...

  14. Facts about Type 2

    Medline Plus

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

  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 ... Type 2 Diabetes Know Your Rights Employment Discrimination Health Care Professionals Law Enforcement Driver's License For Lawyers Food & ... Terms Genetics Living With Diabetes Recently Diagnosed Treatment & Care Complications Health Insurance For Parents & Kids Know Your Rights We ...

  17. Type 1 diabetes

    DEFF Research Database (Denmark)

    Green, Anders; Kyvik, Kirsten Ohm

    2001-01-01

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

  18. Facts about Type 2

    Medline Plus

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

  19. Facts about Type 2

    Medline Plus

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

  20. Facts about Type 2

    Medline Plus

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

  1. 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 ... others. Type 2 diabetes is more common in African Americans, Latinos, Native Americans, and Asian Americans/Pacific Islanders, ...

  2. Facts about Type 2

    Medline Plus

    Full Text Available ... medications or insulin to help you meet your target blood glucose levels. Type 2 usually gets worse ... Advocacy Take Action Advocacy Priorities News & Events The Cost of Diabetes Advocate Toolkit Call to Congress Research & ...

  3. Facts about Type 2

    Medline Plus

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

  4. Facts about Type 2

    Medline Plus

    Full Text Available ... Are Research Leaders World's Largest Diabetes Meeting Recent Advances Type 1 Research Highlights Research Excellence Honorees How ... up in the blood instead of going into cells, it can cause two problems: Right away, your ...

  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 High Blood Glucose ...

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

  7. 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 ... Asian Americans/Pacific Islanders, as well as the aged population. Patient Education Materials — Taking Care of Type ...

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

  9. Facts about Type 2

    Medline Plus

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

  10. Facts about Type 2

    Medline Plus

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

  11. Facts about Type 2

    Medline Plus

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

  12. Facts about Type 2

    Medline Plus

    Full Text Available ... the Living WIth Type 2 Diabetes Program Gestational What is Gestational Diabetes? How to Treat Gestational Diabetes ... Cook with Heart-Healthy Foods Holiday Meal Planning What Can I Eat? Making Healthy Food Choices Diabetes ...

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

  14. Facts about Type 2

    Medline Plus

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

  15. [Types of insulin therapy].

    Science.gov (United States)

    Sáez de la Fuente, J; Granja Berna, V; Ferrari Piquero, J M; Valero Zanuy, M A; Herreros de Tejada López-Coterilla, A

    2008-02-01

    Diabetes mellitus is a chronic disease associated with a series of long-term microvascular and macrovascular complications that requires continuing therapeutic control. In recent years, the pharmaceutical industry has developed new types of insulin and administration systems in order to more closely mimic human insulin secretion. In this way, insulin therapy is divided into conventional and intensive regimens according to their complexity. In type 1 diabetes mellitus (T1DM) patients, the treatment of choice is the one which achieves intensive glycemic control. In type 2 diabetes mellitus, we can start with a simplified conventional regimen which could progress into an intensive one similar to that of T1DM treatment. Both types of diabetes require an individualized treatment prescription based on the needs and characteristics of each patient.

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... Index Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & Type 1 Diabetes Get Started Safely Get And ... Events Messaging Tools Recruiting Advocates Local Market Planning Training Webinars News & Events Advocacy News Call to Congress ...

  17. Facts about Type 2

    Medline Plus

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

  18. Facts about Type 2

    Medline Plus

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

  19. Facts about Type 2

    Medline Plus

    Full Text Available ... Diabetes Research & Practice Home We Are Research Leaders World's Largest Diabetes Meeting Recent Advances Type 1 Research ... help us get closer to curing diabetes and better treatments for those living with diabetes. Other Ways ...

  20. Facts about Type 2

    Medline Plus

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

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

  2. Treating Type 2 Diabetes

    Science.gov (United States)

    ... type 2 diabetes need to: eat a healthy, balanced diet and follow a meal plan get regular exercise ... with scheduling meals and insulin injections. Remember, a balanced diet, regular physical activity, and a healthy weight can ...

  3. Facts about Type 2

    Medline Plus

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

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

  5. Facts about Type 2

    Medline Plus

    Full Text Available ... year of delicious meals to help prevent and manage diabetes. Ask the Experts: Learn to Live Well ... It Together celebrates the steps you take Help change the conversation about type 2 diabetes. » « Connect With ...

  6. Facts about Type 2

    Medline Plus

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

  7. Facts about Type 2

    Medline Plus

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

  8. Facts about Type 2

    Medline Plus

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

  9. Facts about Type 2

    Medline Plus

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

  10. Facts about Type 2

    Medline Plus

    Full Text Available ... Right away, your cells may be starved for energy. Over time, high blood glucose levels may hurt ... lwt2d-en.html Have Type 2 Diabetes? Our free program will help you live well. More from ...

  11. Facts about Type 2

    Medline Plus

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

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

  13. Facts about Type 2

    Medline Plus

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

  14. Facts about Type 2

    Medline Plus

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

  15. Facts about Type 2

    Medline Plus

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

  16. Facts about Type 2

    Medline Plus

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

  17. Facts about Type 2

    Medline Plus

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

  18. Facts about Type 2

    Medline Plus

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

  19. 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 ... Diabetes Pro: Professional Resources Shop Diabetes » Close nonprofit software

  20. Facts about Type 2

    Medline Plus

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

  1. 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 ... Quick Meal Ideas Snacks Nutrient Content Claims Understanding Carbohydrates Types of Carbohydrates Carbohydrate Counting Make Your Carbs ...

  2. Facts about Type 2

    Medline Plus

    Full Text Available ... People Working to Stop Diabetes Common Terms Diabetes Statistics Infographics ... Islanders, as well as the aged population. Patient Education Materials — Taking Care of Type 2 ...

  3. Types of OI

    Science.gov (United States)

    ... Unbreakable Spirit® OI Golf Classic Awareness Week Fine Wines Strong Bones Bone China Tea Blue Jeans for Better Bones Upcoming Events Online Store Facts About OI Types of OI Myths About OI OI ...

  4. Facts about Type 2

    Medline Plus

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

  5. Type Systems for Bigraphs

    DEFF Research Database (Denmark)

    Elsborg, Ebbe; Hildebrandt, Thomas; Sangiorgi, Davide

    is based on a fixed set of elementary bigraphs and operators on these. An essential elementary bigraph is an ion, to which a control can be attached modelling its kind (its ordered number of channels and whether it is a guard), e.g. an input prefix of pi-calculus. A model of a calculus is then a set......; and the possibility of modularly adapting the type systems to extensions of the BRS (with new controls). As proof of concept we present a model of a pi-calculus, develop an i/o-type system with subtyping on this model, prove crucial properties (including subject reduction) for this type system, and transfer...... these properties to the (typed) pi-calculus....

  6. 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 ... Type 2 diabetes is more common in African Americans, Latinos, Native Americans, and Asian Americans/Pacific Islanders, ...

  7. Facts about Type 2

    Medline Plus

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

  8. Facts about Type 2

    Medline Plus

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

  9. Facts about Type 2

    Medline Plus

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

  10. Facts about Type 2

    Medline Plus

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

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

  12. Facts about Type 2

    Medline Plus

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

  13. Facts about Type 2

    Medline Plus

    Full Text Available ... is the most common form of diabetes. In type 2 diabetes, your body does not use insulin properly. This is called insulin resistance. At first, the pancreas makes extra insulin to ...

  14. Facts about Type 2

    Medline Plus

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

  15. Facts about Type 2

    Medline Plus

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

  16. Type extension trees

    DEFF Research Database (Denmark)

    Jaeger, Manfred

    2006-01-01

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

  17. Type Families with Class, Type Classes with Family

    DEFF Research Database (Denmark)

    Serrano, Alejandro; Hage, Jurriaan; Bahr, Patrick

    2015-01-01

    Type classes and type families are key ingredients in Haskell programming. Type classes were introduced to deal with ad-hoc polymorphism, although with the introduction of functional dependencies, their use expanded to type-level programming. Type families also allow encoding type-level functions......, now as rewrite rules. This paper looks at the interplay of type classes and type families, and how to deal with shortcomings in both of them. Furthermore, we show how to use families to simulate classes at the type level. However, type families alone are not enough for simulating a central feature...

  18. Helical type vacuum container

    International Nuclear Information System (INIS)

    Owada, Kimio.

    1989-01-01

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

  19. Congenital fiber type disproportion.

    Science.gov (United States)

    Kissiedu, Juliana; Prayson, Richard A

    2016-04-01

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

  20. Brauer type embedding problems

    CERN Document Server

    Ledet, Arne

    2005-01-01

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

  1. Guarded Type Promotion

    DEFF Research Database (Denmark)

    Winther, Johnni

    2011-01-01

    In Java, explicit casts are ubiquitous since they bridge the gap between compile-time and runtime type safety. Since casts potentially throw a ClassCastException, many programmers use a defensive programming style of guarded casts. In this programming style casts are protected by a preceding...... in a Java 6 compiler. Through our extensive testing of real-life code we show that guarded casts account for approximately one fourth of all casts and that Guarded Type Promotion can eliminate the need for 95 percent of these guarded casts....

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

    DEFF Research Database (Denmark)

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

    2014-01-01

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

  3. Facts about Type 2

    Medline Plus

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

  4. Types of Funerals

    Science.gov (United States)

    ... High-Speed Internet Service Shopping for Used Mattresses Solar Power for Your Home The FTC Funeral Rule The Language of Recycling Travel Tips Types of Funerals Using Layaway Plans Warranties You Are Here Bookmark Buying & Owning a Car Credit & Loans Dealing with Debt Resolving Consumer Problems ...

  5. Facts about Type 2

    Medline Plus

    Full Text Available ... Diagnosing Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk Healthy Eating Overweight Smoking High Blood Pressure Physical Activity High Blood Glucose My Health Advisor Tools To Know Your Risk Alert Day Diabetes Basics ...

  6. Facts about Type 2

    Medline Plus

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

  7. Chemistry of Blood Type

    Science.gov (United States)

    Coleman, William F.

    2005-01-01

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

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

  9. 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. A......-oriented languages practical....

  10. Facts about Type 2

    Medline Plus

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

  11. Facts about Type 2

    Medline Plus

    Full Text Available ... You at Risk? Home Prevention Diagnosing Diabetes and Learning About Prediabetes Type 2 Diabetes Risk Test Lower Your Risk Healthy Eating Overweight Smoking High Blood Pressure Physical Activity High Blood Glucose My Health Advisor Tools To Know Your Risk Alert Day Diabetes Basics ...

  12. Type VI secretion system.

    Science.gov (United States)

    Salomon, Dor; Orth, Kim

    2015-03-30

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

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

  14. Plaque Type Eryrhema Nodosum

    Directory of Open Access Journals (Sweden)

    Radha Mittal

    1987-01-01

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

  15. Facts about Type 2

    Medline Plus

    Full Text Available ... Edited: October 27, 2015 Articles from Diabetes Forecast® magazine: lp-type-2, . In this section Diabetes Basics ... up to ride in Tour de Cure and create your team today! More from diabetes.org Healthy ...

  16. Facts about Type 2

    Medline Plus

    Full Text Available ... lwt2d-en.html Have Type 2 Diabetes? Our free program will help you live well. More from diabetes.org Healthy Recipes: Delicious Recipe Kits Delivered - 2017-03-chefd.html Healthy Recipes Delicious ... Your Stress-Free System for Family Dinners! - 2017-03-book-oclock- ...

  17. Facts about Type 2

    Medline Plus

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

  18. Facts about Type 2

    Medline Plus

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

  19. Facts about Type 2

    Medline Plus

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

  20. Facts about Type 2

    Medline Plus

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

  1. Facts about Type 2

    Medline Plus

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

  2. Types of Timberland Ownership

    Science.gov (United States)

    William C. Siegel

    1999-01-01

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

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

  4. Types of CMT

    Science.gov (United States)

    ... for MDA Blog Donate Search MDA.org Close Charcot-Marie-Tooth Disease (CMT) Share print email share facebook twitter ... disrupt these interactions. The many different types of Charcot-Marie-Tooth (CMT) are distinguished by age of onset, inheritance ...

  5. Contract types - turnkey

    International Nuclear Information System (INIS)

    Loeffler, G.

    1975-01-01

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

  6. Analysis of xanthines in beverages using a fully automated SPE-SPC-DAD hyphenated system

    Energy Technology Data Exchange (ETDEWEB)

    Medvedovici, A. [Bucarest Univ., Bucarest (Romania). Faculty of Chemistry, Dept. of Analytical Chemistry; David, F.; David, V.; Sandra, P. [Research Institute of Chromatography, Kortrijk (Belgium)

    2000-08-01

    Analysis of some xanthines (caffeine, theophylline and theobromine) in beverages has been achieved by a fully automated on-line Solid Phase Extraction - Supercritical Fluid Chromatography - Diode Array Detection (Spe - Sofc - Dad). Three adsorbents have been tested for the Spe procedure: octadecyl modified silicagel (ODS) and two types of styrene-divinylbenzen copolymer based materials, from which Porapack proved to be the most suitable adsorbent. Optimisation and correlation of both Spe and Sofc operational parameters are also discussed. By this technique, caffeine was determined in ice tea and Coca-Cola in a concentration of 0.15 ppm, theobromine - 1.5 ppb, and theophylline - 0.15 ppb. [Italian] Si e' realizzata l'analis di alcune xantine (caffeina, teofillina e teobromina) mediante un sistema, in linea, completamente automatizzato basato su Estrazione in Fase Solida - Cromatografia in Fase Supercritica - Rivelazione con Diode Array (Spe - Sfc - Dad). Per la procedura Spe sono stati valutati tre substrati: silice ottadecilica (ODS) e due tipi di materiali polimerici a base stirene-divinilbenzene, di cui, quello denominato PRP-1, e' risultato essere il piu' efficiente. Sono discusse sia l'ottimizzazione che la correlazione dei parametri operazionali per la Spe e la Sfc. Con questa tecnica sono state determinate, in te' ghiacciato e Coca-Cola, la caffeina, la teobromina e la teofillina alle concentrazini di 0.15, 1.5 e 0.15 ppm.

  7. Type 1 autoimmune pancreatitis.

    Science.gov (United States)

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

    2011-12-07

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

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

  9. Tension-type headache

    DEFF Research Database (Denmark)

    Bendtsen, Lars; Jensen, Rigmor; Bendtsen, Lars

    2009-01-01

    The substantial societal and individual burdens associated with tension-type headache (TTH) constitute a previously overlooked major public health issue. TTH is prevalent, affecting up to 78% of the general population, and 3% suffer from chronic TTH. Pericranial myofascial nociception probably...... is important for the pathophysiology of episodic TTH, whereas sensitization of central nociceptive pathways seems responsible for the conversion of episodic to chronic TTH. Headache-related disability usually can be reduced by identification of trigger factors combined with nonpharmacologic and pharmacologic...

  10. Variations of interferometer types

    International Nuclear Information System (INIS)

    Graeff, W.

    1978-01-01

    The search for other interferometer configurations than the LLL interferometer that has been proved to work satisfactorily, has two reasons: first some disadvantages of the LLL interferometer like the smearins of the beams over the Borrmann fan or the loss of half of the intensity in the Laue case mirror may be overcome by changing the geometry. Secondly, problems of neutron optics like details of wave propagation in perfect and nearly perfect crystals coherence etc. can be investigated by varying the properties of the interferometer components. The discussion is restricted to those inteferometer types where Bragg diffracting single crystals are used for beam handling

  11. Type 2 diabetes mellitus

    DEFF Research Database (Denmark)

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

    2015-01-01

    Type 2 diabetes mellitus (T2DM) is an expanding global health problem, closely linked to the epidemic of obesity. Individuals with T2DM are at high risk for both microvascular complications (including retinopathy, nephropathy and neuropathy) and macrovascular complications (such as cardiovascular...... that multiple antidiabetic agents, used in combination, will be required to maintain normoglycaemia. The treatment must not only be effective and safe but also improve the quality of life. Several novel medications are in development, but the greatest need is for agents that enhance insulin sensitivity, halt...

  12. Representing Session Types

    DEFF Research Database (Denmark)

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

    2016-01-01

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

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

  14. Extending record typing to type parametric modules with sharing

    OpenAIRE

    Aponte , Maria Virginia

    1993-01-01

    Projet FORMEL; We extend term unification techniques used to type extensible records in order to solve the two main typing problems for modules in Standard ML : matching and sharing. We obtain a type system for modules based only on well known unification problems, modulo some equational theories we define. Our formalization is simple and has the elegance of polymorphic type disciplines based on unification. It can be seen as a synthesis of previous work on module and record typing.

  15. Desmoid-type fibromatosis

    International Nuclear Information System (INIS)

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

    2015-01-01

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

  16. Stack semantics of type theory

    DEFF Research Database (Denmark)

    Coquand, Thierry; Mannaa, Bassel; Ruch, Fabian

    2017-01-01

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

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

  18. Glutaric aciduria type I

    International Nuclear Information System (INIS)

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

    1991-01-01

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

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

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

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

  2. EXPERIMENTAL PNEUMONIA (FRIEDLANDER TYPE).

    Science.gov (United States)

    Sisson, W R; Walker, I C

    1915-12-01

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

  3. Object-Oriented Type Systems

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

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

  4. Pediatric obesity & type 2 diabetes.

    Science.gov (United States)

    Dea, Tara L

    2011-01-01

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

  5. Object-Oriented Type Systems

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

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

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

    DEFF Research Database (Denmark)

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

    2015-01-01

    Introduction: The classification of myocardial infarction (MI) into five types was introduced in 2007 as a component of the Universal definition. However, data outlining clinical symptoms in different MI types are limited. Purpose: To describe the presenting symptoms in patients with type 1 MI vs...... on the debut symptoms at the time of MI. The diagnosis and classification of MI were according to the Universal definition. Thus, a rise/fall pattern of troponin values was required with at least one value above the 99th percentile of the upper reference limit. Also, clilinical evidence of myocardial ischemia...... 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...

  7. A dependently-typed construction of semi-simplicial types

    OpenAIRE

    Herbelin, Hugo

    2015-01-01

    International audience; This paper presents a dependently-typed construction of semi-simplicial sets in type theory where sets are taken to be types. This addresses an open question raised on the wiki of the special year on Univalent Foundations at the Institute of Advanced Study (2012-2013).

  8. LMFBR type reactor

    International Nuclear Information System (INIS)

    Kumaoka, Yoshio; Kawamura, Yutaka.

    1990-01-01

    A main vessel support skirt is supported by a base mat of reactor buildings and the base mat is supported by means of an earthquake-proof device on concretes of a lower raft disposed on ground rocks. The earthquake-proof device is constituted by alternately stacking, laminating and press-bonding thin steel plates together with thin rubber layers between an upper flange and a lower raft. Thus, for the horizontal seismic vibrations, the period of the swinging in the horizontal direction of the buildings is made greater than the swinging period of earthquakes by the earthquake-proof device to reduce the impact shocks of earthquakes. Further, for the vertical seismic vibrations, the input seismic movements are not amplified during transmission from the base mat of the buildings to the reactor structure by way of the support skirt of the main vessel, due to the shortened load transmission path and the seismic power design to the reactor structure can be moderated sufficiently. A safety LMFBR type reactor with reduced construction cost and improved reliability can be attained. (N.H.)

  9. Miniaturized stirling type cooler

    International Nuclear Information System (INIS)

    Pundak, N.

    1988-01-01

    This patent describes a cryogenic Stirling type cooler system, an axially extending casing, a compressor unit located within the casing and including a crankshaft extending transversely of the casing axis, an expander and expander connecting rod arranged co-axially in and with the casing the casing including a cover having an axis in coaxial relation with the crankshaft, the casing and cover forming a sealed housing for the compressor unit and crankshaft. The cover consists of a cup-shaped non-magnetic partition, a drive for the compressor unit comprising a D.C. brushless motor including a stator, a rotor and driving electronics. The rotor located within the cover in the sealed housing and coupled directly to the crankshaft, the crankshaft connected to the expander and compressor connecting rods, the stator located outwardly of an encircling the cover in co-axial relation with the rotor. The drive electronics located outwardly of the casing, whereby the rotor is located within the sealed housing in driving engagement with the crankshaft while the stator is located outside the sealed housing for driving the rotor so that the rotor supplies rotational movement to the crankshaft which is converted by the crankshaft cam for driving the expander and compressor connecting rod

  10. FBR type reactor

    International Nuclear Information System (INIS)

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

    1994-01-01

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

  11. BWR type reactor core

    International Nuclear Information System (INIS)

    Tatemichi, Shin-ichiro.

    1981-01-01

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

  12. Manipulator type book

    International Nuclear Information System (INIS)

    Koehler, G.W.

    1981-01-01

    Manipulators and similar equipment operated by personnel constitute one of the two major branches of handling technology besides program controlled units (industrial robots and feeding machines). Despite the widespread use of remote handling equipment in nuclear engineering, its growing importance and increasing application also in other areas, a comprehensive treatment of the field has so far been missing. This gap is now filled with the manipulator type book. The bulk of the volume is reserved to remote handling equipment for nuclear purposes available in the international market. However, the survey would be incomplete, also for potential interactions, without manipulators now used also for purposes other than nuclear technology, and without a reference to experimental units and developments which may be assumed to reach practical application one day. This book has been written to help all those who are involved in remote handling technology in one way or the other - plant designers, public authorities and users of such equipment. The text is printed both in German and English for the benefit of foreign readers. A standardized language is proposed to improve communication. (orig./HP) [de

  13. LMFBR type reactor

    International Nuclear Information System (INIS)

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

    1988-01-01

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

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

  15. Play the Blood Typing Game

    Science.gov (United States)

    ... a desire to learn how one determines blood types, their differences and which ones are compatible for blood transfusions. ” See a Video about the Blood Typing Game 3 min. Play 1. ploster 3480 2. Yokota ...

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

  17. Types of Cancer Teens Get

    Science.gov (United States)

    ... Feelings Expert Answers Q&A Movies & More for Teens Teens site Sitio para adolescentes Body Mind Sexual ... for Educators Search English Español Types of Cancer Teens Get KidsHealth / For Teens / Types of Cancer Teens ...

  18. Pneumococcal Disease: Types of Infection

    Science.gov (United States)

    ... World Health Organization National Foundation for Infectious Diseases Sepsis Types of Infection Recommend on Facebook Tweet Share Compartir Streptococcus pneumoniae bacteria, or pneumococcus, can cause many types of illnesses. Some of these illnesses ...

  19. Computing effects for correspondence types

    OpenAIRE

    Hüttel, Hans

    2010-01-01

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

  20. Lectin typing of Campylobacter concisus

    DEFF Research Database (Denmark)

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

    2002-01-01

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

  1. Dynamic Typing: Syntax and Proof Theory

    DEFF Research Database (Denmark)

    Henglein, Fritz

    1994-01-01

    Dynamic typing, coercions, dynamically typed lambda-calculus, type inference coherence, completions, safety, minimality......Dynamic typing, coercions, dynamically typed lambda-calculus, type inference coherence, completions, safety, minimality...

  2. Exploring legacy systems using types

    NARCIS (Netherlands)

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

    2000-01-01

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

  3. Case 22:Type II diabetes

    Science.gov (United States)

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

  4. Lectin typing of Campylobacter concisus

    DEFF Research Database (Denmark)

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

    2002-01-01

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

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

  6. Magnetoelastic Generator Type Transducer

    Directory of Open Access Journals (Sweden)

    A. K. Efremov

    2014-01-01

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

  7. TypePad For Dummies

    CERN Document Server

    Nelson, Melanie

    2010-01-01

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

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

    Directory of Open Access Journals (Sweden)

    Akpinar Pinar

    2017-01-01

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

  9. Metody studia vodních bakterií pomocí fluorescenční mikroskopie

    Czech Academy of Sciences Publication Activity Database

    Šimek, Karel

    2016-01-01

    Roč. 64, č. 2 (2016), s. 76 ISSN 0044-4812 Institutional support: RVO:60077344 Keywords : microbial ecology * bacteria-protozoa interactions * fluorescence microscopy Subject RIV: EE - Microbiology, Virology

  10. Application of bootstrap method for assessment of linear regression models; Zastosowanie metody bootstrap do badania liniowych modeli regresyjnych

    Energy Technology Data Exchange (ETDEWEB)

    Urbanski, P.; Kowalska, E.

    1997-12-31

    The principle of the bootstrap methodology applied for the assessment of parameters and prediction ability of the linear regression models was presented. Application of this method was shown on the example of calibration of the radioisotope sulphuric acid concentration gauge. The bootstrap method allows to determine not only the numerical values of the regression coefficients, but also enables to investigate their distributions. (author). 11 refs, 12 figs, 3 tabs.

  11. Technologické metody svařování hliníku a jeho slitin

    OpenAIRE

    Pavlík, Zdeněk

    2014-01-01

    The diploma thesis deals with the technology of welding aluminum alloy AW 5754 by a method of arc welding TIG and with covered electrode. Introduction contains information about aluminum alloys and their labeling according to ČSN EN 573-1,2. Additional attention is focused on evaluation of the weld quality according to ISO 10042 and subsequent evaluation of the defects according to ISO 65 20 to 1. In the experimental section was welded samples tested at first by non-destructive methods (visua...

  12. Strategies and methods of development of information systems; Strategie e metodi di sviluppo dei sistemi informativi aziendali

    Energy Technology Data Exchange (ETDEWEB)

    Moretti, M.; Lucchetti, M.C. [Rome Univ. 3, Rome (Italy). Facolta' di Economia Federico Caffe' ; Di Marco, R.A. [ENEA, Funzione Centrale Informatica, Sede Centrale, Rome (Italy)

    2001-07-01

    Informative system is a relevant and current subject in the modern business studies. Although, in many economics books, is often marginally presented and considered by only one point of view. In this way, many students have a fragmented and incomplete knowledge of the subject, which doesn't allow using all the potentialities of this fundamental corporate resource. The thesis gives just a little contribution to find the fragment of theory dispersed in many field of business studies. The first step was exactly finding these fragments in: strategy, organization, quality, business administration, and business management. Analysed the different definitions and all the various notions to follow up with the speech, is described the impact of I.C.T. in the different business activities. The point of view adopted has been always the Informative System. Using a different approach, the thesis analysed the various business field related with the informative system. The key word of this thesis is: Change. Change is the business structures, strategy, quality, and in the qualifications required by the personal. Following this path, the thesis focuses opportunities offered by new technologies, in many companies during the definition of business strategy. In this second part is studied a business case, ENEA. ENEA is the national department for new technologies and environment. By on-site work, meetings with the personal, reading of the internal documents, and by all the studies done in the first part, are appeared some issues exploiting the Informative System. Are also considered some possible solutions to these issues, they are conform to the theory and law, and easy to realize. The research ends with tree interesting appendix, two about some ENEA's projects and one about hosting and housing. [Italian] I sistemi informativi sono un argomento sicuramente molto rilevante ed attuale. Proprio per questa caratteristica di relativa novita', molto spesso nei libri aziendali viene posto in secondo piano, attraversato soltanto marginalmente e quasi sempre esposto da un punto di vista unico. Si finisce cosi' per avere una conoscenza dell'argomento frammentaria e dispersa, che non permette di gestire poi nella pratica questa fondamentale risorsa aziendale. Coscienti di aver dato solo un piccolo contributo, con questa tesi si e' cercato di ritrovare l'unitarieta' dell'argomento. Questo ha comportato un primo passo fondato sulla ricerca dei pezzi teorici sparsi nelle principali discipline aziendali, che spaziano dall'organizzazione, alla gestione d'impresa, alle strategie, alla qualita' e all'amministrazione. Dopo una fase di introduzione all'argomento, in cui per i meno addetti, si sono descritte e analizzate le molteplici definizioni, necessarie per proseguire con il discorso, si e' passati allo studio dell'impatto del sistema informativo nelle diverse attivita' aziendali. Il punto di vista adottato e' sempre stato il sistema informativo, e tramite di esso si e' entrati nei diversi campi di studio, seguendo un approccio inverso rispetto a quello normalmente seguito. Il concetto chiave che e' emerso da questa analisi e' sintetizzabile in una parola: cambiamento. Cambiamento nella struttura organizzativa, nella definizione di qualita', nelle strategie. Seguendo questa traccia si e', in particolar modo, focalizzato sull'impatto e l'influenza esercitata dalle nuove tecnologie informatiche in molte realta' aziendali, nella definizione delle scelte strategiche. La seconda parte vede applicare questi principi ad un caso concreto, l'ENEA. Anche in questa parte ci si e' concentrati sulle opportunita' strategiche offerte all'ente dalle nuove tecnologie, e si e' misurato l'impatto concreto sulle scelte direzionali. Dal lavoro svolto sul posto, da discussioni con i responsabili, dall'esame di documenti aziendali interni, e alla luce delle considerazioni teoriche svolte nella prima parte, sono emerse alcune criticita' nello sfruttamento del sistema informativo aziendale. Il lavoro svolto non si e' fermato qui, ma ha individuato alcune possibili soluzioni, concretamente realizzabili e teoricamente conformi. Il lavoro di ricerca termina con tre interessanti appendici in cui si descrivono, nelle prime due i progetti ENEA nell'idrogeno e nelle celle combustibile, nell'ultima le basi tecniche per conoscere tutti gli elementi di cui si compone una rete aziendale.

  13. Psychologická akulturace: teoretické přístupy a metody měření

    Czech Academy of Sciences Publication Activity Database

    Chvojková, P.; Hřebíčková, Martina

    2018-01-01

    Roč. 62, č. 2 (2018), s. 153-172 ISSN 0009-062X R&D Projects: GA ČR(CZ) GA17-14387S Institutional support: RVO:68081740 Keywords : acculturation theory * measurement of acculturation * model s of acculturation * acculturation strategies Subject RIV: AN - Psychology OBOR OECD: Psychology (including human - machine relations) Impact factor: 0.242, year: 2016

  14. Metody pro redukci dimenze v mnohorozměrné statistice a jejich výpočet

    Czech Academy of Sciences Publication Activity Database

    Kalina, Jan; Duintjer Tebbens, Jurjen

    2014-01-01

    Roč. 25, č. 1 (2014), s. 13-29 ISSN 1210-8022 R&D Projects: GA ČR GA13-06684S Institutional support: RVO:67985807 Keywords : redukce dimense * spektrální rozklad * numerická stabilita Subject RIV: BA - General Mathematics http://www.statspol.cz/cs/wp-content/uploads/2014/4/IB_1_2014.pdf

  15. Metody výběru informačního systému

    OpenAIRE

    Procházka, Filip

    2015-01-01

    The thesis focuses on a process of selection of information systems (applications) and methods of their selection. It explores common mistakes, which businesses and their managers make when they select an information system. Overall, the research is focused on small and medium-sized enterprises. The main terms, the steps of selection, the methods of multi-criteria decision analysis and the common mistakes of decision makers are analysed in the theoretical part. In the practical part, three me...

  16. Psychologická akulturace: teoretické přístupy a metody měření

    Czech Academy of Sciences Publication Activity Database

    Chvojková, P.; Hřebíčková, Martina

    2018-01-01

    Roč. 62, č. 2 (2018), s. 153-172 ISSN 0009-062X R&D Projects: GA ČR(CZ) GA17-14387S Institutional support: RVO:68081740 Keywords : acculturation theory * measurement of acculturation * models of acculturation * acculturation strategies Subject RIV: AN - Psychology OBOR OECD: Psychology (including human - machine relations) Impact factor: 0.242, year: 2016

  17. Metody řešení hrozby krátkou střelnou zbraní

    OpenAIRE

    Kokta, Miroslav

    2013-01-01

    Title: Methods of solving handgun threats Objective: The goal is to compare methods of solving handgun threats and find common principles for creating universal techniques. Methods: analysis and synthesis of the literature Keywords: Handgun, threats, gun, disarm, solution, selfdefense, neutralization

  18. Využití metody Affolter v Bobath konceptu u pacientů s hemiparézou

    OpenAIRE

    Yaghi, Ammar

    2010-01-01

    This thesis studies three basic parmeters - the Affolter method with Bobath concept, the uses of Affolter methods in Bobath concept and casuistry in which I applied the above mentioned concepts. In my work I make reference of two patients' casuistries, the first patient is with cerebral lesion and the second is after ictus. Appended to the work are photographic files and test of functional independence measurement FIM.

  19. Nové fyzilální metody v diagnostice a léčbě bolesti

    Czech Academy of Sciences Publication Activity Database

    Slovák, P.; Jíra, J.; Sieger, L.; Dittert, Ivan

    2005-01-01

    Roč. 8, Suppl. 2 (2005), s. 33-33 ISSN 1212-0634. [Česko-Slovenské dialógy o bolesti /7./. 13.10.2005 - 15.10.2005, Bojnice] Institutional research plan: CEZ:AV0Z50110509 Keywords : screening * infrared thermometer Subject RIV: CF - Physical ; Theoretical Chemistry

  20. Využití metody Neurac u pacientů po poškození mozku

    OpenAIRE

    Divišová, Kamila

    2016-01-01

    This bachelor thesis investigates the Neurac method in patients with brain damage caused by cerebrovascular accidents, and their subsequent rehabilitation. The theoretical part of this work introduces different mechanism of brain damage with an emphasis on the ictus and the most widely used rehabilitation procedures. Furthermore, the Neurac method, the Redcord device as well as relevant clinical studies are described. The practical part of the thesis presents examination of two patients, a de...

  1. Paralelní robotické struktury a moderní metody jejich řízení

    Czech Academy of Sciences Publication Activity Database

    Belda, Květoslav

    2009-01-01

    Roč. 52, č. 5 (2009), s. 296-300 ISSN 0005-125X Institutional research plan: CEZ:AV0Z10750506 Keywords : Parallel robotic structures * industrial robotics * predictive control * real-time control Subject RIV: BC - Control Systems Theory http://library.utia.cas.cz/separaty/historie/belda-0325559.pdf

  2. Multidisciplinary projects and investigations on the solid earth geophysics; Metodi e prospettive per una maggiore conoscenza della crosta terrestre

    Energy Technology Data Exchange (ETDEWEB)

    Slejko, D. [Consiglio Nazionale delle Ricerche, Gruppo Nazionale di Geofisica della Terra Solida, Trieste (Italy)

    2001-07-01

    Physical phenomena that occur in the solid part of the Earth are investigated by Solid Earth Geophysics together with problems related to the shape, location, and characteristics of the different parts that constitute the Earth. Repeated measurements lead the scientists to model the past evolution of the various processes as well as to forecast the future ones. Various disciplines refer to Solid Earth Geophysics, they are: Seismology, Gravimetry, Magnetometry, Geothermics, Geodesy, Geo electromagnetism, and Seismic Exploration. A special citation is due to Applied Geophysics, which are devoted to the identification of minerals, energetic and natural resources. The National Group of Solid Earth Geophysics was constituted in 1978 by CNR for promoting, developing, and coordinating researches related to Solid Earth Geophysics. The limited annual financial budget has conditioned the realisation of relevant multi-disciplinary projects. Nevertheless, important results were obtained in all different fields of Geophysics and were disseminated during the annual conference of the Group. A summary review of the main topics treated during the last conference is given here and some ideas for future research projects are presented. [Italian] La Geofisica della Terra Solida e' quella branca delle scienze e delle tecnologie che prende in considerazione dei fenomeni connessi con le caratteristiche fisiche della parte solida della Terra. La complessita' della costituzione della Terra e della sua evoluzione nel tempo implica che vengano prese in considerazione tutte le fenomenologie che si riescono a misurare e che costituiscono branche diverse della Geofisica: la Sismologia, la Gravimetria, la Magnetometria, la Geotermia, la Geodesia, il Geoelettromagnetismo, la Geofisica applicata. Ognuna di queste branche della Geofisica ha avuto in passato uno sviluppo quasi del tutto indipendente con collaborazioni o integrazioni dirtte ad obiettivi specifici, limitati anche nel tempo. Il Gruppo Nazionale di Geofisica della Terra Solida (GNGTS) e' stato istituito dal CNR, per iniziativa dei Comitati per le Scienze Fisiche e per le Scienze Geologiche ed ha avuto come principale scopo quello di avvicinare e far interagire i ricercatori non solo delle varie branche della Geofisica ma anche delle varie scuole che si erano sviluppate in Italia, di far conoscere e confrontare le metodologie e le tecniche sviluppate, di promuovere ricerche, seminari, convegni, in cui le varie realta' si potessero confrontare ed integrare, anche per una nuova o rinnovata conoscenza personale.

  3. Pesticides in drinking water: Processes, simulation and estimate methods; Pesticidi nell`acqua: processi, metodi di simulazione e stima

    Energy Technology Data Exchange (ETDEWEB)

    Tani, A.; Caffarelli, V.; Rapagnani, M. [ENEA, Centro Ricerche Casaccia, Rome (Italy). Dip. Innovazione; Quercia, F. [ANPA, Rome (Italy)]|[Presidenza del Consiglio dei Ministri, Dip. Servizi Tecnici Nazionali, Rome (Italy)

    1996-07-01

    This booklet is a summary of basic concepts and methodologies to evaluate the processes by which the agrochemicals reach surface and underground water. The appendix reports a series of synthetic notes carrying a description of compute models commonly utilized in this field basic information on hardware and its availability.

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

  5. Type-2 fuzzy sets: geometric defuzzification and type-reduction

    OpenAIRE

    Coupland, Simon

    2007-01-01

    This paper presents the geometric defuzzifier for general type-2 fuzzy sets. This novel method has the potential to transform the fuzzy control paradigm. General type-2 fuzzy logic is better able to model noise and uncertainty but suffers from the massive computational cost of defuzzification. This paper uses geometry to eliminate this problem, paving the way for general type-2 fuzzy control. This paper was shortlisted for the best paper award at this prestigious international conference.

  6. Morse Theory for Symmetric Functionals on the Sphere and an Application to a Bifurcation Problem.

    Science.gov (United States)

    1984-04-01

    Morse index, CBMS, Regional Conf. Series in Math., 38 (1978). (CZ] Conley, C. C. and Zendher, E., Morse type index for flows and periodic solutions for...and Prodi, G., Metodi perturbativi nella teoria di Morse, Bollettino U.M.I. (4) 11, Suppl. fasc. 3 (1975), 1-32. (P) Pacella, F., Central configurations

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

  8. Early onset type 2 diabetes

    DEFF Research Database (Denmark)

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

    2018-01-01

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

  9. Object-Oriented Type Systems

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

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

  10. Types for DSP Assembler Programs

    DEFF Research Database (Denmark)

    Larsen, Ken

    2006-01-01

    for reuse, and a procedure that computes point-wise vector multiplication. The latter uses a common idiom of prefetching memory resulting in out-of-bounds reading from memory. I present two extensions to the baseline type system: The first extension is a simple modification of some type rules to allow out......-ofbounds reading from memory. The second extension is based on two major modifications of the baseline type system: • Abandoning the type-invariance principle of memory locations and using a variation of alias types instead. • Introducing aggregate types, making it possible to have different views of a block...... in assembler language. However, programming in assembler causes numerous problems, such as memory corruption, for instance. To test the thesis I define a model assembler language called Featherweight DSP which captures some of the essential features of a real custom DSP used in the industrial partner's digital...

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

  12. Behavioral types in programming languages

    OpenAIRE

    Yoshida, Nobuko; Vasconcelos, Vasco T.; Padovani, Luca; Bono, Nicholas Ng; Neykova, Rumyana; Montesi, Fabrizio; Mascardi, Viviana; Martins, Francisco; Johnsen, Einar Broch; Hu, Raymond; Giachino, Elena; Gesbert, Nils; Gay, Simon J.; Deniélou, Pierre-Malo; Castagna, Giuseppe

    2016-01-01

    A recent trend in programming language research is to use behav- ioral type theory to ensure various correctness properties of large- scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their represen- tation in a concrete programming language, to their integration with other programmi...

  13. Intensional Analysis of Quantified Types

    National Research Council Canada - National Science Library

    Saha, Bratin; Trifonov, Valery; Shao, Zhong

    2005-01-01

    Compilers for polymorphic languages can use run-time type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and flattened data structures...

  14. Fully Reflexive Intensional Type Analysis

    National Research Council Canada - National Science Library

    Saha, Bratin; Trifonov, Valery; Shao, Zhong

    2005-01-01

    Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and flattened data structures...

  15. Fungal type III polyketide synthases.

    Science.gov (United States)

    Hashimoto, Makoto; Nonaka, Takamasa; Fujii, Isao

    2014-10-01

    This article covers the literature on fungal type III polyketide synthases (PKSs) published from 2005 to 2014. Since the first discovery of fungal type III PKS genes in Aspergillus oryzae, reported in 2005, putative genes for type III PKSs have been discovered in fungal genomes. Compared with type I PKSs, type III PKSs are much less abundant in fungi. However, type III PKSs could have some critical roles in fungi. This article summarizes the studies on fungal type III PKS functional analysis, including Neurospora crassa ORAS, Aspergillus niger AnPKS, Botrytis cinerea BPKS and Aspergillus oryzae CsyA and CsyB. It is mostly in vitro analysis using their recombinant enzymes that has revealed their starter and product specificities. Of these, CsyB was found to be a new kind of type III PKS that catalyses the coupling of two β-keto fatty acyl CoAs. Homology modelling reported in this article supports the importance of the capacity of the acyl binding tunnel and active site cavity in fungal type III PKSs.

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

  17. Object-Oriented Type Inference

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    1991-01-01

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

  18. Equations of the mixed type

    CERN Document Server

    Bitsadze, A V

    1963-01-01

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

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

  20. Safety Analysis versus Type Inference with Partial Types

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Palsberg, Jens

    1992-01-01

    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......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...... also prove that safety analysis accepts strictly more safe lambda terms than does type inference for simple types. The latter result demonstrates that global program analysis can be more precise than local ones....

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

    Science.gov (United States)

    Shimizu, Yugo; Ogata, Hiroyuki; Goto, Susumu

    2017-07-01

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

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

  3. Type 1 Diabetes and Sleep

    OpenAIRE

    Farabi, Sarah S.

    2016-01-01

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

  4. Sandstone-type uranium deposits

    International Nuclear Information System (INIS)

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

    1985-01-01

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

  5. Teacher Type and Technology Training.

    Science.gov (United States)

    Rude-Parkins, Carolyn; And Others

    1993-01-01

    Discusses roles that people adopt when encountering new technology, i.e., innovators, resisters, and leaders; explains the Myers Briggs Type Indicator personality measure; and describes a study that was conducted to identify the personality types of high school teachers who participated in technology training and were successful in adopting…

  6. Types of Blood Pressure Medications

    Science.gov (United States)

    ... Peripheral Artery Disease Venous Thromboembolism Aortic Aneurysm More Types of Blood Pressure Medications Updated:Nov 6,2017 Prescription blood ... will find an overview of the classes of blood pressure medication. To expand the information on a type of medication, simply click on the subject tab. ...

  7. Bianchi type I string cosmologies

    Indian Academy of Sciences (India)

    sidered to portray early universe reasonably well. Letelier [2] obtained some particular. Bianchi type I string-dust models in which at a certain epoch, strings disappear with a phase transition to an anisotropic fluid. Another Bianchi type I model has been presented by Banerjee et al [3] which obeys Takabayashi's equation of ...

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

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

  10. Linear contextual modal type theory

    DEFF Research Database (Denmark)

    Schack-Nielsen, Anders; Schürmann, Carsten

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

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

  12. Completeness in Hybrid Type Theory

    DEFF Research Database (Denmark)

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

    2014-01-01

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

  13. Operational Semantics of Termination Types

    DEFF Research Database (Denmark)

    Nielson, Flemming; Nielson, Hanne Riis

    1996-01-01

    and algebraic data types. The well-founded orderings are defined by pattern matching against the definition of the algebraic data types. We prove that the analysis is semantically sound with respect to a big-step (or natural) operational semantics. We compare our approach based on operational semantics to one...

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

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

  16. Types of hydrogenic uranium deposits

    International Nuclear Information System (INIS)

    Kondrat'eva, I.A.; Lisitsin, A.K.; Komarova, G.V.

    1980-01-01

    Principles of uranium deposit systematics are considered. Systematization, presented in this paper, is based on a regularity that the main industrial exogenic epigenetic uranium concentrations are formed in zones of reduction geochemical barriers. Types of uranium-bearing ground waters and nature of uranium reducing agents were taken into account during systematization. Hydrogenic uranium deposits are related to 3 types: formed by ground (1 type), stratal (2 type) and vein (3 type) waters. By the nature of uranium reducing agents 2 deposit subtypes are marked out: A - in rocks with syngenetic reducing agents, B - in rocks with epigenetic reducing agents. Uranium deposits are also differentiated by nature of reducing agents distribution in ore-containing rocks [ru

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

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

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

    Energy Technology Data Exchange (ETDEWEB)

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

    1991-07-01

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

  20. User Types in Online Applications

    Directory of Open Access Journals (Sweden)

    Ion IVAN

    2011-08-01

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

  1. Types and Forms of Tourism

    Directory of Open Access Journals (Sweden)

    Anca Gabriela Turtureanu

    2008-10-01

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

  2. Modalities in homotopy type theory

    DEFF Research Database (Denmark)

    Rijke, Egbert; Shulman, Michael; Spitters, Bas

    2017-01-01

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

  3. Type Inference of Turbo Pascal

    DEFF Research Database (Denmark)

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

    1995-01-01

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

  4. Polymorphic Types in ACL2

    Directory of Open Access Journals (Sweden)

    Benjamin Selfridge

    2014-06-01

    Full Text Available This paper describes a tool suite for the ACL2 programming language which incorporates certain ideas from the Hindley-Milner paradigm of functional programming (as exemplified in popular languages like ML and Haskell, including a "typed" style of programming with the ability to define polymorphic types. These ideas are introduced via macros into the language of ACL2, taking advantage of ACL2's guard-checking mechanism to perform type checking on both function definitions and theorems. Finally, we discuss how these macros were used to implement features of Specware, a software specification and implementation system.

  5. Diabetes type 2 - meal planning

    Science.gov (United States)

    ... ency/article/007429.htm Diabetes type 2 - meal planning To use the sharing features on this page, ... urac.org). URAC's accreditation program is an independent audit to verify that A.D.A.M. follows ...

  6. Florence Nightingale. Her personality type.

    Science.gov (United States)

    Dossey, B M

    1998-06-01

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

  7. Lepromatous leprosy of histoid type

    Directory of Open Access Journals (Sweden)

    Annigeri S

    2007-01-01

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

  8. Radioisotope indicator, type BETA 2

    International Nuclear Information System (INIS)

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

    1975-01-01

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

  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. Living with Type 1 Diabetes

    Science.gov (United States)

    ... Count Glycemic Index Low-Calorie Sweeteners Sugar and Desserts Fitness Exercise & Type 1 Diabetes Get Started Safely ... Balancing nutrition, exercise and proper blood glucose management techniques with the rest of your life's priorities mean ...

  11. Multiple Endocrine Neoplasia Type I

    Science.gov (United States)

    ... hormone (GnRH). GnRH is normally secreted by the hypothalamus and stimulates the pituitary gland to release follicle ... do not require treatment. Treatment of Pancreatic Endocrine Cancer in MEN1 Because the type of pancreatic endocrine ...

  12. Dermatomyositis and Type 1 Interferons

    Science.gov (United States)

    2010-01-01

    Dermatomyositis is a poorly understood multisystem disease predominantly affecting skin and muscle. This review focuses on the potential role of a group of related cytokines, the type 1 interferons, in the pathogenesis of dermatomyositis. Type 1 interferon–inducible transcripts and proteins are uniquely elevated in dermatomyositis muscle compared with all other muscle diseases studied to date. The endothelial cell tubuloreticular inclusions present in affected dermatomyositis muscle are biomarkers of type 1 interferon exposure. The cell-poor lichenoid reaction in skin with predominant involvement of the basal epidermal cell layer and its topologic equivalent in muscle, perifascicular atrophy, may be lesions that develop directly in response to type 1 interferon signaling. PMID:20425524

  13. Types of Haemophilus influenzae Infections

    Science.gov (United States)

    ... Links Global Hib Vaccination Hib Vaccination Meningitis Pneumonia Sepsis Types of Haemophilus influenzae Infections Recommend on Facebook Tweet Share Compartir H. influenzae most often cause pneumonia, but can also cause severe illnesses like ...

  14. Type I Glycogen Storage Disease

    Science.gov (United States)

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

  15. UX Ori-Type Stars

    Science.gov (United States)

    Grinin, V.

    2017-06-01

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

  16. Type IV Wind Turbine Model

    DEFF Research Database (Denmark)

    Hansen, Anca Daniela; Margaris, Ioannis D.

    (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...... by the International Electrotechnical Commission (IEC), in the IEC61400-27-1 Committee Draft for electrical simulation models for wind power generation, which is currently under review, [1]. The Type 4 wind turbine model described in this report includes a set of adjustments of the standard Type 4 wind turbine model...... 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...

  17. 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...... moment distributions are of special interest in areas like demography and economics, and we calculate explicit formulas for the Lorenz curve and Gini index used in these disciplines....

  18. Exercise and Type 2 Diabetes

    OpenAIRE

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

    2010-01-01

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

  19. Computational semantics in type theory

    OpenAIRE

    Ranta, Aarne

    2006-01-01

    This paper aims to show how Montague-style grammars can be completely formalized and thereby declaratively implemented by using the Grammatical Framework GF. The implementation covers the fundamental operations of Montague’s PTQ model: the construction of analysis trees, the linearization of trees into strings, and the interpretation of trees as logical formulas. Moreover, a parsing algorithm is derived from the grammar. Given that GF is a constructive type theory with dependent types, the te...

  20. Type II canal configuration and Type I Dens invaginatus.

    Science.gov (United States)

    Liji, Mele Puthukudy; Chandrababu, Krishnankutty; Kumar, Maroli Ramesh; Jayashree, Santhadevi

    2014-07-01

    The prevalent notion about maxillary central incisor with normal external morphology is a tooth with single root and root canal. A case in which all four maxillary incisors were having Type II canal configurations (Vertucci's classification) is reported, in addition, the lateral incisors revealed dens invaginatus with a Type I pattern as suggested by Ohler's classification and a large periapical lesion was seen in relation to the right lateral incisor. The diagnosis was confirmed with the aid of spiral computed tomography (CT) and canals obturated. Nonsurgical healing of the lesion was assessed by reviewing the case at prefixed intervals of time.

  1. Vein-type uranium deposits

    International Nuclear Information System (INIS)

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

    1975-01-01

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

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

    OpenAIRE

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

    2011-01-01

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

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

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

  5. Classification of Building Object Types

    DEFF Research Database (Denmark)

    Jørgensen, Kaj Asbjørn

    2011-01-01

    Development of the existing classification systems has been very difficult and time consuming tasks, where many considerations have been taken and many compromises have been made. The results reveal that, although the theoretical foundation was clarified, many deviations and shortcuts have been m...... and in strong connection with databases holding a wide range of object types....... be managed by software applications and on the basis of building models. Classification systems with taxonomies of building object types have many application opportunities but can still be beneficial in data exchange between building construction partners. However, this will be performed by new methods...

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

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

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

  9. Interpretations of Recursive Type Definitions

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff

    1992-01-01

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

  10. Bianchi type I string cosmologies

    Indian Academy of Sciences (India)

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

  11. Update on type 2 diabetes

    African Journals Online (AJOL)

    2009-02-23

    Feb 23, 2009 ... the incretins and DPPIV inhibitors) and the role of self-monitoring of blood glucose (SMBG). Legacy effec t and macrovascular disease. Ten years ago, the UKPDS, a randomised trial of newly diagnosed people with type 2 diabetes allocated to either intensive. (sulphonylurea-insulin group) or conventional ...

  12. Type 2-diabetes i Danmark

    DEFF Research Database (Denmark)

    Beck-Nielsen, Henning; Henriksen, Jan Erik

    2012-01-01

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

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

  14. Type V glycogen storage disease

    Science.gov (United States)

    Type V glycogen storage disease (GSD V) is a rare inherited condition in which the body is not able to break down glycogen. ... can provide more information and resources: Association for ... Disease -- www.agsdus.org National Organization for Rare Disease ...

  15. High conversion burner type reactor

    International Nuclear Information System (INIS)

    Higuchi, Shin-ichi; Kawashima, Masatoshi

    1987-01-01

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

  16. Update on type 2 diabetes

    African Journals Online (AJOL)

    2009-02-23

    Feb 23, 2009 ... described benefits on myocardial infarction and death from any cause in the metformin-treated group persisted at follow-up (33%, p=0.005, and 27%, p=0.002 respectively). In type 1 diabetics too, the appearance of a delayed benefit of earlier improved glycaemic control on macrovascular events has been ...

  17. Bianchi type I string cosmologies

    Indian Academy of Sciences (India)

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

  18. Vacuum type D initial data

    Science.gov (United States)

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

    2016-09-01

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

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

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

  1. An Imperative Type Hierarchy with Partial Products

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Schmidt, Erik Meineche

    1989-01-01

    A type hierarchy for a programming language defines an ordering on the types such that any application for small types may be reused for all larger types. The imperative facet makes this non-trivial; the straight-forward definitions will yield an inconsistent system. We introduce a new type...

  2. Glycogen Storage Disease Type IV

    DEFF Research Database (Denmark)

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

    2016-01-01

    molecular genetic analyses confirmed glycogen storage disease Type IV with the finding of compound heterozygosity for 2 mutations (c.691+2T>C and c.1570C>T, p.R524X) in the GBE1 gene. We conclude that glycogen storage disease Type IV can cause early miscarriage and that diagnosis can initially be made......A 30-yr-old woman presented with 2 consecutive miscarriages within 7 mo. Histopathologic examination of the placental tissue showed intracytoplasmic inclusion vacuoles with a strong reaction in Periodic acid-Schiff staining and a slightly pallor reaction in alcian blue staining. Additional...... on histopathologic examination. Genetic analysis is required to confirm the diagnosis and to offer prenatal genetic testing in future pregnancies....

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

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

  5. LEARNING DISABILITIES: ETIOLOGY AND TYPES

    OpenAIRE

    Dr. Geetha Gopinath,; Tintu Mathew,

    2017-01-01

    Abstract This paper deals with the Etiology and Types of Learning disabilities. Learning disabilities are actually a failure on the part of the child who lacks adequate intelligence, maturation level, cultural background and educational experience to learn a scholastic skill. Such disabilities can only be determined by a psychologist, a paediatrician, or a psychiatrist. People with these disorders can find difficulty to learn as quickly as others who are not aff...

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

  7. Session Types in Abelian Logic

    Directory of Open Access Journals (Sweden)

    Yoichi Hirai

    2013-12-01

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

  8. New type fuel exchange system

    International Nuclear Information System (INIS)

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

    1988-01-01

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

  9. Productive vocabulary across discourse types.

    Science.gov (United States)

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

    2011-01-10

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

  10. Stack-Based Typed Assembly Language

    National Research Council Canada - National Science Library

    Morrisett, Greg

    1998-01-01

    .... This paper also formalizes the typing connection between CPS based compilation and stack based compilation and illustrates how STAL can formally model calling conventions by specifying them as formal translations of source function types to STAL types.

  11. Take Steps to Prevent Type 2 Diabetes

    Science.gov (United States)

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

  12. 7 CFR 29.6047 - Type 54.

    Science.gov (United States)

    2010-01-01

    ... INSPECTION Standards Definitions § 29.6047 Type 54. That type of cigar-leaf tobacco commonly known as Southern Wisconsin Cigar-leaf or Southern Wisconsin Binder-type, produced principally south and east of the...

  13. 7 CFR 29.6048 - Type 55.

    Science.gov (United States)

    2010-01-01

    ... INSPECTION Standards Definitions § 29.6048 Type 55. That type of cigar-leaf tobacco commonly known as Northern Wisconsin Cigar-leaf or Northern Wisconsin Binder-type, produced principally north and west of the...

  14. Genetics Home Reference: neurofibromatosis type 2

    Science.gov (United States)

    ... Facebook Twitter Home Health Conditions Neurofibromatosis type 2 Neurofibromatosis type 2 Printable PDF Open All Close All ... Javascript to view the expand/collapse boxes. Description Neurofibromatosis type 2 is a disorder characterized by the ...

  15. Foundations of Session Types and Behavioural Contracts

    DEFF Research Database (Denmark)

    Huttel, Hans; Lanese, Ivan; T. Vasconcelos, Vasco

    2016-01-01

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

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

    Directory of Open Access Journals (Sweden)

    Masafumi Koshiyama

    2014-01-01

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

  17. Delayed-type hypersensitivity (type IV) reactions in dental anesthesia.

    Science.gov (United States)

    Melamed, Julian; Beaucher, Wilfred N

    2007-01-01

    The recommended methodology of evaluating patients who have presented with reactions to local anesthetics consists of epicutaneous skin testing and serial subcutaneous challenge. However, the role of type IV reactions in this group has been poorly documented. Epicutaneous routine testing and subcutaneous challenge to local anesthetic was performed, as well as patch testing and subcutaneous rechallenge of both at 24 and 48 hours with evaluation up to 72 hours was performed. Three patients presented with a history of localized edema after dental anesthesia. All had negative lidocaine and mepivacaine testing as well as negative lidocaine challenge on evaluation at 1 hour. The first patient, who had previously reacted to EMLA, reacted to both lidocaine and mepivacaine patch testing and challenge, with delayed swelling at 24 and 48 hours after challenge. This patient subsequently tolerated the ester anesthetic chloroprocaine. Two other patients had strong histories of contact dermatitis. Patch testing and challenge with lidocaine was negative, but strong reactions were found to benzocaine on patch testing. Patients undergoing local anesthetic testing should be screened historically for features and risk factors associated with type IV reactions. This should be considered in patients who react to multiple amide anesthetics, who have delayed swelling, or who have a history of severe contact dermatitis. We confirm previous data showing that patients reacting to benzocaine can tolerate lidocaine and that lidocaine-allergic individuals can tolerate ester anesthetics.

  18. A simple solution to type specialization

    DEFF Research Database (Denmark)

    Danvy, Olivier

    1998-01-01

    all over. Neil Jones has stated that getting rid of these type tags was an open problem, despite possible solutions such as Torben Mogensen's “constructor specialization.” To solve this problem, John Hughes has proposed a new paradigm for partial evaluation, “Type Specialization”, based on type...... inference instead of being based on symbolic interpretation. Type Specialization is very elegant in principle but it also appears non-trivial in practice. Stating the problem in terms of types instead of in terms of type encodings suggests a very simple type-directed solution, namely, to use a projection......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...

  19. A Simple Solution to Type Specialization

    DEFF Research Database (Denmark)

    Danvy, Olivier

    1998-01-01

    all over. Neil Jones has stated that getting rid of these type tags was an open problem, despite possible solutions such as Torben Mogensen's “constructor specialization.” To solve this problem, John Hughes has proposed a new paradigm for partial evaluation, “Type Specialization”, based on type...... inference instead of being based on symbolic interpretation. Type Specialization is very elegant in principle but it also appears non-trivial in practice. Stating the problem in terms of types instead of in terms of type encodings suggests a very simple type-directed solution, namely, to use a projection......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...

  20. Type B Hepatitis in Iran

    Directory of Open Access Journals (Sweden)

    M. Tabarestani

    1977-01-01

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

  1. 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....... Input silhouettes are matched to the database using the Hungarian method. A classifier is defined based on the dissimilarity between the input silhouettes and the gait actions of the database. The overall recognition rate is 88.2% on a large and diverse test set. The recognition rate is better than...

  2. Nuclear Zpif-type plots

    International Nuclear Information System (INIS)

    Ma Yugang

    2000-01-01

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

  3. Lettre type d'approbation

    International Development Research Centre (IDRC) Digital Library (Canada)

    test

    aux fins des concours visant l'attribution de bourses du CRDI. Tous les candidats sont tenus de présenter une lettre-type d'approbation signée par le directeur de thèse ou de mémoire sur papier à en-tête officiel d'une université reconnue. La lettre doit confirmer ce qui suit : a) l'approbation par le directeur de thèse ou de ...

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

    Science.gov (United States)

    Meneghel, Stela Nazareth; Portella, Ana Paula

    2017-09-01

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

  5. Mobile Balkans: Temporality, types, trends

    Directory of Open Access Journals (Sweden)

    Krasteva Anna

    2015-01-01

    Full Text Available The objective of the article is to scrutunize the Balkan migration phenomenon, highlightening the alloy between continuity and discontinuity in the explanation of migrations; the former expressed in the trends, the latter - in breakthroughs, ruptures, changes. Four periods are articulated and characterized through the major trends. The typology of Balkan migrations identifies ten types, classified in three larger categories. The article distinguishes and compares the national migration models and draws a panoramic picture of the major trends during the last quarter of a century.

  6. Gulf and Dilmun Type seals

    DEFF Research Database (Denmark)

    Laursen, Steffen

    2011-01-01

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

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

  8. Rapid typing of Coxiella burnetii.

    Directory of Open Access Journals (Sweden)

    Heidie M Hornstra

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

  9. Molecular Typing of Borrelia burgdorferi.

    Science.gov (United States)

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

    2014-08-01

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

  10. New type radiation management system

    International Nuclear Information System (INIS)

    Mogi, Kenichi; Uranaka, Yasuo; Fujita, Kazuhiko

    2001-01-01

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

  11. Molecular Typing of Borrelia burgdorferi

    Science.gov (United States)

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

    2015-01-01

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

  12. Microseismic sources of rotational type

    Science.gov (United States)

    Pasternak, Elena; Dyskin, Arcady; He, Junxian

    2017-04-01

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

  13. Verifying Process Algebra Proofs in Type Theory

    NARCIS (Netherlands)

    Sellink, M.P.A.

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

  14. Memorization in Type-Directed Partial Evaluation

    DEFF Research Database (Denmark)

    Balat, Vincent; Danvy, Olivier

    2002-01-01

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

  15. Types and concept analysis for legacy systems

    NARCIS (Netherlands)

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

    2000-01-01

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

  16. 14 CFR 21.31 - Type design.

    Science.gov (United States)

    2010-01-01

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

  17. Foundations of Session Types and Behavioural Contracts

    DEFF Research Database (Denmark)

    Huttel, Hans; Lanese, Ivan; Vasconcelos, Vasco

    2016-01-01

    of interaction using expressive type languages, so types can be used to determine automatically whether the component interacts correctly with other components. Two related important notions of behavioural types are those of session types and behavioural contracts. This article surveys the main accomplishments...

  18. 7 CFR 51.2734 - Spanish type.

    Science.gov (United States)

    2010-01-01

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

  19. Individual monitoring of external exposure in terms of personal dose equivalent, H{sub p}(d); Dosimetria personale esterna in termini di equivalente di dose personale, H{sub p}(d). Atti. Giornata di studio, Bologna, 28 febbraio 2001

    Energy Technology Data Exchange (ETDEWEB)

    Fantuzzi, E. [ENEA, Div. Protezione dell' Uomo e degli Ecosistemi, Centro Ricerche Ezio Clementel, Bologna (Italy)

    2001-07-01

    del Dlgs 241 del 26/5/00 (G.U. 31/8/2000). Il decreto recepisce in legge le indicazioni della Direttiva Europea EURATOM 96/29 Basic standards for the protection of health of workers and the general public against dangers arising from ionizing radiation sul tema della radioprotezione dei lavoratori e della popolazione. Le novita' introdotte dal decreto sono varie, fra le altre, la indicazione delle grandezze operazionali per la dosimetria esterna personale e ambientale, rispettivamente H{sub p}(d) e H{sup *}(d), definite dall'ICRU (International Commission for Radiation Units and Measurements) come grandezze di riferimento, richiede l'aggiornamento dei metodi di misura e di calibrazione dei dosimetri personali e degli strumenti di monitoraggio. Il presente rapporto tecnico raccoglie le relazioni presentate alla giornata di studio, dedicate alla definizione dell'equivalente di dose personale, dei coefficienti di conversione ottenuti tramite simulazioni di calcolo Monte Carlo pubblicati dalle commission ICRU e ICRP (International Commission for Radiation Protection), discutere le nuove procedure di calibrazione e le conseguenze operative nel monitoraggio di routine del personale radioesposto. Infine, nel capitolo finale, sono brevemente elencate le risposte a tipiche Frequently asked questions (FAQ) sul tema della dosimetria personale operativa in termini di H{sub p}(d).

  20. Associations between dru Types and SCCmec Cassettes

    DEFF Research Database (Denmark)

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

    2013-01-01

    types (dt) in 283 isolates, while eighteen isolates contained no dru repeats and one isolate resisted sequencing. The most common dru type, dt10a, was present in 53% of the sequenced isolates and was found in all SCCmec types, except type II. Seven (10%) of the 68 epidemiologically related patients had...... isolates with dru type variants indicating that dru typing is not useful as a first line epidemiological typing tool. However, MRSA isolates cultured from a single patient over a three year period exhibited a single dru type. The finding of dt10a in most SCCmec types suggests that dru and mecA originate......Molecular typing is an important tool in the investigation of methicillin resistant Staphylococcus aureus (MRSA) outbreaks and in following the evolution of MRSA. The staphylococcal cassette chromosome mec (SCCmec) contains a hypervariable region with a variable number of 40 bp repeats named direct...

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

    DEFF Research Database (Denmark)

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

    2012-01-01

    This study investigated fiber-type-specific muscle ceramide content in obese subjects and type 2 diabetes patients. Two substudies, one which compared type 2 diabetes patients to both lean- and obese BMI-matched subjects and the other study which compared lean body-matched post-obese, obese...... 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...

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

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

  4. Livermore pool-type reactor

    International Nuclear Information System (INIS)

    Mann, L.G.

    1977-01-01

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

  5. An Abel type cubic system

    Directory of Open Access Journals (Sweden)

    Gary R. Nicklason

    2015-07-01

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

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

  7. Dens invaginatus (Type III B).

    Science.gov (United States)

    Kallianpur, Shreenivas; Sudheendra, Us; Kasetty, Sowmya; Joshi, Prathamesh

    2012-05-01

    Dens invaginatus or 'dens in dente' is a developmental malformation of the tooth resulting from infolding of the dental papilla before calcification. This article presents a case of dens invaginatus occurring in maxillary right lateral incisor of a 45-year-old male patient. The patient presented with pain and clinically missing maxillary right canine. The tooth was found to be non-vital. Radiographic examination revealed the tooth-in-tooth appearance of lateral incisor with a dilated pulp chamber. The crown of impacted canine was found within the pulp chamber of lateral incisor. Owing to this unique clinical presentation, both the lateral incisor and the impacted canine were extracted. Histopathologic examination confirmed the diagnosis of Dens invaginatus Type III B. A brief review on etiopathogenesis, radiographic features and treatment of dens invaginatus has also been included.

  8. 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......, A and Post, D.M. Life history differences in alewives (Alosa pseudoharengus) alter the ontogenetic trajectory of juvenile largemouth (Micropterus salmoides) (manuscript) MS III Boel, M. & Koed, A. Habitat specific avian predation on brown trout (Salmo trutta) (manuscript) MS IV Boel, M., Aarestrup, K., Koed......, A., Baktoft, H. and Skov, C.. Field based evaluation of the effect of 23 mm passive integrated transponder (PIT) tags on the length-mass relationship in wild juvenile brown trout (Salmo trutta) (submitted manuscript: Fisheries Management and Ecology) The thesis was focused on the life history...

  9. PWR type process heat reactor

    International Nuclear Information System (INIS)

    Aubert, Gilles; Petit, Guy.

    1974-01-01

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

  10. Instream Physical Habitat Modelling Types

    DEFF Research Database (Denmark)

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

    2010-01-01

    The introduction of the EU Water Framework Directive (WFD) is providing member state water resource managers with significant challenges in relation to meeting the deadline for 'Good Ecological Status' by 2015. Overall, instream physical habitat modelling approaches have advantages...... and 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...

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

  12. Emulsion type dry cleaning system

    International Nuclear Information System (INIS)

    Kohanawa, Osamu; Matsumoto, Hiroyo.

    1988-01-01

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

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

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

    Science.gov (United States)

    Mesa, Jordi

    2015-07-20

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

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

  16. A Typeful Integration of SQL into Curry

    OpenAIRE

    Hanus, Michael; Krone, Julia

    2017-01-01

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

  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. Composite type nuclear power system

    International Nuclear Information System (INIS)

    Nakamoto, Koichiro.

    1993-01-01

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

  19. Lateral type of intracerebral hemorrhage

    International Nuclear Information System (INIS)

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

    1987-01-01

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

  20. Genetics of type 2 diabetes.

    Science.gov (United States)

    Ahlqvist, Emma; Ahluwalia, Tarunveer Singh; Groop, Leif

    2011-02-01

    Type 2 diabetes (T2D) is a complex disorder that is affected by multiple genetic and environmental factors. Extensive efforts have been made to identify the disease-affecting genes to better understand the disease pathogenesis, find new targets for clinical therapy, and allow prediction of disease. Our knowledge about the genes involved in disease pathogenesis has increased substantially in recent years, thanks to genomewide association studies and international collaborations joining efforts to collect the huge numbers of individuals needed to study complex diseases on a population level. We have summarized what we have learned so far about the genes that affect T2D risk and their functions. Although more than 40 loci associated with T2D or glycemic traits have been reported and reproduced, only a minor part of the genetic component of the disease has been explained, and the causative variants and affected genes are unknown for many of the loci. Great advances have recently occurred in our understanding of the genetics of T2D, but much remains to be learned about the disease etiology. The genetics of T2D has so far been driven by technology, and we now hope that next-generation sequencing will provide important information on rare variants with stronger effects. Even when variants are known, however, great effort will be required to discover how they affect disease risk.

  1. Sugar and Type 2 diabetes.

    Science.gov (United States)

    Lean, Michael E J; Te Morenga, Lisa

    2016-12-01

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

  2. Polyglandular autoimmune syndrome type I.

    Science.gov (United States)

    Proust-Lemoine, Emmanuelle; Saugier-Veber, Pascale; Wémeau, Jean-Louis

    2012-12-01

    Polyglandular Autoimmune Syndrom type 1 (PAS-1) or Autoimmune PolyEndocrinopathy Candidiasis-Ectodermal-Dystrophy (APECED) is a rare recessive autosomal disease related to Autoimmune Regulator (AIRE) gene mutations. AIRE is mainly implicated in central and peripheric immune tolerance. Diagnosis was classically based on presence of at least two out of three "majors" criterions of Whitaker's triad (candidiasis, autoimmune hypoparathyroidism and adrenal insufficiency). Presence of one criterion was sufficient when a sibling was previously diagnosed. However, some atypic or poorly symptomatic variants do not correspond to these criterions. As a matter of fact, digestive (malabsorption, pernicious anemia, hepatitis), cutaneous (alopecia, vitiligo, enamel dysplasia) or ophtalmological (keratitis) components could prevail. In these cases, diagnosis could be made by molecular genetics. Prognosis is influenced by genetic (AIRE mutations, HLA), hormonal and environmental (infections) factors. Potentially letal components (hepatitis and severe malabsorption) could be treated by immunosuppressors. Candidiasis and other infections should be carefully screened and treated before beginning those therapies, in order to avoid severe systemic infections. Copyright © 2012 Elsevier Masson SAS. All rights reserved.

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

  4. Swift-Hohenberg-type model

    Science.gov (United States)

    Oza, Anand; Dunkel, Joern

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

  5. Natural convection type BWR reactor

    International Nuclear Information System (INIS)

    Tobimatsu, Toshimi.

    1990-01-01

    In a natural convection type BWR reactor, a mixed stream of steams and water undergo a great flow resistance. In particular, pressure loss upon passing from an upper plenum to a stand pipe and pressure loss upon passing through rotational blades are great. Then, a steam dryer comprising laminated dome-like perforated plates and a drain pipe for flowing down separated water to a downcomer are disposed above a riser. The coolants heated in the reactor core are boiled, uprise in the riser as a gas-liquid two phase flow containing voids, release steams containing droplets from the surface of the gas-liquid two phase, flow into the steam dryer comprising the perforated plates and are separated into a gas and a liquid. The dried steams flow to a turbine passing through a main steam pipe and the condensated droplets flow down through the drain pipe and the downcomer to the lower portion of the reactor core. In this way, the conventional gas-liquid separator can be saved without lowering the quality of steam drying to reduce the pressure loss and to improve the operation performance. (N.H.)

  6. A Type System for Certified Binaries

    National Research Council Canada - National Science Library

    Shao, Zhong; Trifonov, Valery; Saha, Bratin; Papaspyrou, Nikolaos

    2004-01-01

    ... (CPS and closure conversion) while preserving proofs represented in the type system. Our work provides a foundation for the process of automatically generating certified binaries in a type-theoretic framework.

  7. Diabetes Type 2 Is Serious But Manageable

    Science.gov (United States)

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

  8. Glucose counterregulation in Type 2 diabetes mellitus.

    NARCIS (Netherlands)

    Galan, B.E. de; Hoekstra, J.B.L.

    2001-01-01

    Glucose counterregulatory failure and hypoglycaemia unawareness frequently complicate treatment of Type 1 diabetes mellitus, especially when aiming for intensive metabolic control. Since tight metabolic control reduces microvascular long-term complications in Type 2 diabetes mellitus, the integrity

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

  10. Genetics Home Reference: spastic paraplegia type 15

    Science.gov (United States)

    ... eye called the macula , which is responsible for sharp central vision. Most people with spastic paraplegia type ... ethnic groups? Genetic Changes Mutations in the ZFYVE26 gene cause spastic paraplegia type 15 . This gene provides ...

  11. Verifying design patterns in Hoare Type Theory

    DEFF Research Database (Denmark)

    Svendsen, Kasper; Buisse, Alexandre; Birkedal, Lars

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

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

  13. Type Soundness in the Dart Programming Language

    DEFF Research Database (Denmark)

    Strocco, Fabio

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

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

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

  16. TYPE Ia SUPERNOVA CARBON FOOTPRINTS

    International Nuclear Information System (INIS)

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

    2011-01-01

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

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

  18. Band-type microelectrodes for amperometric immunoassays

    Energy Technology Data Exchange (ETDEWEB)

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

    2016-07-20

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

  19. Foundations of Session Types and Behavioural Contracts

    OpenAIRE

    Hüttel, Hans; Tuosto, Emilio; Vieira, Hugo Torres; Zavattaro, Gianluigi; Lanese, Ivan; Vasconcelos, Vasco T.; Caires, Luís; Carbone, Marco; Deniélou, Pierre-Malo; Mostrous, Dimitris; Padovani, Luca; Ravara, António

    2016-01-01

    International audience; Behavioural type systems, usually associated to concurrent or distributed computations, encompass concepts such as interfaces, communication protocols, and contracts, in addition to the traditional input/output operations. The behavioural type of a software component specifies its expected patterns of interaction using expressive type languages, so that types can be used to determine automatically whether the component interacts correctly with other components. Two rel...

  20. [Type IA glycogenosis with acute pancreatitis].

    Science.gov (United States)

    Herman, T E

    1995-01-01

    Type IA glycogenosis, or von Gierke disease, is the most common among the glycogenoses with enlarged liver. Acute pancreatitis is a rare manifestation of type IA glycogenosis and has been attributed to elevated serum fat levels. We report a case of type IA glycogenosis with acute pancreatitis. The radiologists should be familiar with the computed tomography findings in this rare complications of type IA glycogenosis.

  1. Software extension and integration with type classes

    DEFF Research Database (Denmark)

    Lämmel, Ralf; Ostermann, Klaus

    2006-01-01

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

  2. Detecting Terrorism Incidence Type from News Summary

    DEFF Research Database (Denmark)

    Nizamani, Sarwat; Memon, Nasrullah

    2012-01-01

    The paper presents the experiments to detect terrorism incidence type from news summary data. We have applied classification techniques on news summary data to analyze the incidence and detect the type of incidence. A number of experiments are conducted using various classification algorithms...... and results show that a simple decision tree classifier can learn incidence type with satisfactory results from news data....

  3. Filter type rotor for multistation photometer

    Science.gov (United States)

    Shumate, II, Starling E.

    1977-07-12

    A filter type rotor for a multistation photometer is provided. The rotor design combines the principle of cross-flow filtration with centrifugal sedimentation so that these occur simultaneously as a first stage of processing for suspension type fluids in an analytical type instrument. The rotor is particularly useful in whole-blood analysis.

  4. Hoare type theory, polymorphism and separation

    DEFF Research Database (Denmark)

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

    2008-01-01

    with higher-order functions and type polymorphism. We further show that in the presence of type polymorphism, it becomes possible to interpret the Hoare types in the “small footprint” manner, as advocated by separation logic, whereby specifications tightly describe the state required by the computation. We...

  5. Cosmology with type-Ia supernovae

    OpenAIRE

    Miquel, Ramon

    2007-01-01

    I review the use of type-Ia supernovae (SNe) for cosmological studies. After briefly recalling the main features of type-Ia SNe that lead to their use as cosmological probes, I briefly describe current and planned type-Ia SNe surveys, with special emphasis on their physics reach in the presence of systematic uncertainties, which will be dominant in nearly all cases.

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

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

    Science.gov (United States)

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

    2018-04-01

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

  8. Genetics Home Reference: type 1 diabetes

    Science.gov (United States)

    ... to control the amount of sugar in the blood. Type 1 diabetes can occur at any age; however, it usually ... Insulin Antibody Test Encyclopedia: Diabetic Ketoacidosis Encyclopedia: Home Blood Sugar Testing Encyclopedia: Type 1 Diabetes Health Topic: Diabetes Medicines Health Topic: Diabetes Type ...

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

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

  11. Neurofibromatosis type 1 growth charts.

    Science.gov (United States)

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

    1999-12-03

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

  12. Hoare type theory, polymorphism and separation

    DEFF Research Database (Denmark)

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

    2008-01-01

    with higher-order functions and type polymorphism. We further show that in the presence of type polymorphism, it becomes possible to interpret the Hoare types in the “small footprint” manner, as advocated by separation logic, whereby specifications tightly describe the state required by the computation. We...... establish that HTT is sound and compositional, in the sense that separate verifications of individual program components suffice to ensure the correctness of the composite program....... to statically track and enforce correct use of side effects. The main feature of HTT is the Hoare type {P}x:A{Q} specifying computations with precondition P and postcondition Q that return a result of type A. Hoare types can be nested, combined with other types, and abstracted, leading to a smooth integration...

  13. Validity of Type D personality in Iceland

    DEFF Research Database (Denmark)

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

    2012-01-01

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

  14. EBV Latency Types Adopt Alternative Chromatin Conformations

    Science.gov (United States)

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

    2011-01-01

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

  15. EBV latency types adopt alternative chromatin conformations.

    Directory of Open Access Journals (Sweden)

    Italo Tempera

    2011-07-01

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

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

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

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

    NARCIS (Netherlands)

    Pedersen, SS; Middel, B

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

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

    Directory of Open Access Journals (Sweden)

    Rabia Aktaş

    2013-01-01

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

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

    African Journals Online (AJOL)

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

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

    Science.gov (United States)

    Mazerolle, Erin L.; Marchand, Yannick

    2015-01-01

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

  1. Type Checking with XML Schema in XACT

    DEFF Research Database (Denmark)

    Kirkegaard, Christian; Møller, Anders

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

  2. Odontoma and Analysis of 57 different types

    Directory of Open Access Journals (Sweden)

    Baghaei-e- Naeini F

    1999-06-01

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

  3. Eating disorders in type 1 diabetes

    DEFF Research Database (Denmark)

    Nash, J.; Skinner, T. C.

    2005-01-01

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

  4. Bilateral type emphysematous pyelonephritis: imaging evaluation

    International Nuclear Information System (INIS)

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

    2000-01-01

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

  5. Pragmatics of type-directed partial evaluation

    DEFF Research Database (Denmark)

    Danvy, Olivier

    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...... 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...... effects (such as divergence). It prevents the duplication of residual computations, and more generally maintains the order of dynamic side effects in the residual program. This article describes the extension of type-directed partial evaluation to insert residual let expressions. This extension requires...

  6. [Modern treatment of type B dissections

    DEFF Research Database (Denmark)

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

    2008-01-01

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

  7. Obstructive sleep apnea and type 2 diabetes

    OpenAIRE

    Rasche, K; Keller, T; Tautz, B; Hader, C; Hergen?, G; Antosiewicz, J; Di Giulio, C; Pokorski, M

    2010-01-01

    Type 2 diabetes and obstructive sleep apnea (OSA) are diseases with high prevalence and major public health impact. There is evidence that regular snoring and OSA are independently associated with alterations in glucose metabolism. Thus, OSA might be a risk factor for the development of type 2 diabetes. Possible causes might be intermittent hypoxia and sleep fragmentation, which are typical features of OSA. OSA might also be a reason of ineffective treatment of type 2 diabetes. There is furth...

  8. : Diabetes mellitus 1. type and physical activity

    OpenAIRE

    Prouza, Michal

    2014-01-01

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

  9. Rural tourism: the content, features and types

    OpenAIRE

    Yuriy Onoyko

    2017-01-01

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

  10. Security Types for Dynamic Web Data

    OpenAIRE

    Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Varacca, Daniele

    2008-01-01

    Soumis pour la publication à TCS; International audience; We describe a type system for the Xdpi calculus. An Xdpi-network is a network of locations, where each location consists of both a data tree (which contains scripts and pointers to nodes in trees at different locations) and a process, for modelling process interaction, process migration and interaction between processes and data. Our type system is based on types for locations, data and processes, expressing security levels. A tree can...

  11. Legendre transformations and Clairaut-type equations

    Energy Technology Data Exchange (ETDEWEB)

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

    2016-05-10

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

  12. Homotopy Type Theory: Univalent Foundations of Mathematics

    OpenAIRE

    Program, The Univalent Foundations

    2013-01-01

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

  13. A new linear type hydraulic motor

    Science.gov (United States)

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

    2017-08-01

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

  14. A Typeful Integration of SQL into Curry

    Directory of Open Access Journals (Sweden)

    Michael Hanus

    2017-01-01

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

  15. Human papillomavirus type 56-associated Bowen disease.

    Science.gov (United States)

    Shimizu, A; Tamura, A; Abe, M; Amano, H; Motegi, S; Nakatani, Y; Hoshino, H; Ishikawa, O

    2012-11-01

    Some cases of human papillomavirus (HPV) type 56 infection in Bowen disease have been reported. However, the incidence and clinical characteristics are still unclear. To clarify the prevalence of HPV type 56-positive Bowen disease in our department and to characterize the clinical manifestations. Sixty-eight specimens of Bowen disease were examined by polymerase chain reaction using HPV consensus primers, and the amplified products were subjected to DNA sequence analyses. Moreover, positive samples were investigated by in situ hybridization. These findings were used to clarify the clinical characteristics of HPV-positive Bowen disease. Eight out of 68 specimens (12%) of Bowen disease were HPV-positive, of which six specimens were HPV type 56-positive. The HPV type 56-positive lesions were characterized by a longitudinal melanonychia or a deeply pigmented keratotic lesion. The remaining two specimens were genital Bowen disease in which HPV type 16 was detected. In situ hybridization demonstrated the positive cells in the upper layer of epidermis. The HPV type 56 detected in the samples of longitudinal melanonychia can be divided into at least into two types. This study determined the prevalence of HPV type 56-positive Bowen disease. Longitudinal melanonychia is the most characteristic manifestation of HPV type 56-associated Bowen disease. © 2012 The Authors. BJD © 2012 British Association of Dermatologists.

  16. Characterization of a NIMONIC TYPE super alloy

    International Nuclear Information System (INIS)

    Zamora Rangel, L.; Martinez Martinez, E.

    1985-01-01

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

  17. Clostridium perfringens isolate typing by multiplex PCR

    Directory of Open Access Journals (Sweden)

    MR Ahsani

    2010-01-01

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

  18. Vitamin D and Type 1 Diabetes Mellitus

    Directory of Open Access Journals (Sweden)

    К.S. Biliaieva

    2016-04-01

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

  19. Curves of restricted type in euclidean spaces

    Directory of Open Access Journals (Sweden)

    Bengü Kılıç Bayram

    2014-01-01

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

  20. Type I restriction enzymes and their relatives.

    Science.gov (United States)

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

    2014-01-01

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