Results 61 to 70 of about 2,516,098 (344)
Chagas disease reactivation in a heart transplant patient infected by domestic Trypanosoma cruzi discrete typing unit I (TcIDOM) [PDF]
, 2015 Background Trypanosoma cruzi, causative agent of Chagas disease, displays high intraspecific genetic diversity: six genetic lineages or discrete typing units (DTUs) are currently recognized, termed TcI through TcVI.
Bhattacharyya, T. +7 more
core +2 more sources
Software & Systems Modeling, 2007 Where object-oriented languages deal with objects as described by classes, model-driven development uses models, as graphs of interconnected objects, described by metamodels. A number of new languages have been and continue to be developed for this modelbased paradigm, both for model transformation and for general programming using models.
Steel, Jim, Jézéquel, Jean-Marc
openaire +4 more sources
Dendritic cells steering antigen and leukocyte traffic in lymph nodes
FEBS Letters, EarlyView.Dendritic cells are key players in the activation of T cells and their commitment to effector function. In this In a Nutshell Review, we will discuss how dendritic cells guide the trafficking of antigen and leukocytes in the lymph node, thus influencing T‐cell activation processes. Dendritic cells (DCs) play a central role in initiating and shaping the
Enrico Dotta +3 more
wiley +1 more source
The dual nature of TDC – bridging dendritic and T cells in immunity
FEBS Letters, EarlyView.TDC are hematopoietic cells combining dendritic and T cell features. They reach secondary lymphoid organs (SLOs) and peripheral organs (liver and lungs) after FLT3‐dependent development in the bone marrow and maturation in the thymus. TDC are activated and enriched in SLOs upon viral infection, suggesting that they might play unique immune roles, since
Maria Nelli, Mirela Kuka
wiley +1 more source
Phylogenetic analysis of the enigmatic Kalash population in Pakistan
Scientific ReportsThe genetic origin of the Kalash, an isolated community in northern Pakistan, have long been a subject of debate. This study aimed at investigating the genetic diversity and ancestral composition of Kalash people using an advanced set of genetic data ...
Imran Shahid +5 more
doaj +1 more source
Journal of Infection in Developing Countries, 2015 Introduction: Bovine viral diarrhea (BVD) is one of the most economically significant diseases in the bovine industry causing losses due to diarrhea, reproductive disorders, immunosuppression and mortalities.
Mohamed Ahmed Soltan +5 more
doaj +1 more source
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2013 We show that time complexity analysis of higher-order functional programs can be effectively reduced to an arguably simpler (although computationally equivalent) verification problem, namely checking first-order inequalities for validity. This is done by giving an efficient inference algorithm for linear dependent types which, given a PCF term ...
DAL LAGO, UGO, Barbara Petit
openaire +3 more sources
Several Types of Types in Programming Languages [PDF]
, 2016 Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of ...
Simone Martini, Simone Martini
openaire +3 more sources
Inductive Types in Homotopy Type Theory [PDF]
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012 Homotopy type theory is an interpretation of Martin-Löf's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof ...
Awodey, S, GAMBINO, Nicola, Sojakova, K.
openaire +4 more sources