Results 121 to 130 of about 12,021,669 (295)
Enumerating Counter-Factual Type Error Messages with an Existing Type Checker (poster+demo) [PDF]
, 2014 The Hindley-Milner type system is a foundation for most statically typed functional programming languages, such as ML, OCaml and Haskell. This type system has many advantageous, but it does make type debugging hard: If a program is not well-typed, it ...
Chitil, Olaf, Tsushima, Kanae
core
A typed lambda calculus with intersection types
Theoretical Computer Science, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Viviana Bono +2 more
openaire +4 more sources
FEBS Letters, EarlyView.Structural and biochemical characterisations show that the planar cell polarity (PCP) protein Inturned harbours a unique PDZ‐like domain that does not bind canonical PDZ‐binding motifs (PBMs) like that of another PCP protein Vangl2. In contrast, the apical‐basal polarity protein Scribble contains four PDZ domains that bind Vangl2, but one PDZ domain ...
Stephan Wilmes +4 more
wiley +1 more source
, 1966 Letter from Curator, V & R Registry, American Type Culture Collection to Members of the Viral and Rickettsial Registry Committee dated 1966-04-19.Sabin Collection Fair Use ...
Curator, V & R Registry, American Type Culture Collection
core
Hospital admission patterns subsequent to diagnosis of type 1 diabetes in children : a systematic review [PDF]
, 2007 Background Patients with type 1 diabetes are known to have a higher hospital admission rate than the underlying population and may also be admitted for procedures that would normally be carried out on a day surgery basis for non-diabetics.
Waugh Norman +6 more
core +1 more source
Algebras of acyclic cluster type: tree type and type $\widetilde{A}$
, 2010 In this paper, we study algebras of global dimension at most 2 whose generalized cluster category is equivalent to the cluster category of an acyclic quiver which is either a tree or of type $\widetilde{A}$. We are particularly interested in their derived equivalence classification.
Amiot, Claire, Oppermann, Steffen
openaire +4 more sources
Tau acetylation at K331 has limited impact on tau pathology in vivo
FEBS Letters, EarlyView.We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto +3 more
wiley +1 more source
SUMO pathway dependent recruitment of cellular repressors to herpes simplex virus type 1 genomes [PDF]
, 2011 Components of promyelocytic leukaemia (PML) nuclear bodies (ND10) are recruited to sites associated with herpes simplex virus type 1 (HSV-1) genomes soon after they enter the nucleus. This cellular response is linked to intrinsic antiviral resistance and
Delphine Cuchet-Lourenço +24 more
core +1 more source
Assessment of Type A Behaviour Pattern Among National Open University of Nigeria Academic Staff
West African Journal of Open and Flexible Learning, 2018 This study focused on assessment of Type A Behaviour Pattern (TABP) among academic staff of Open and Distance Learning. The Type A individuals of both sexes are considered to have the following characteristics: intense sustained drive to achieve set ...
JaneFrances O. Agbu +2 more
doaj
Structural insights into an engineered feruloyl esterase with improved MHET degrading properties
FEBS Letters, EarlyView.A feruloyl esterase was engineered to mimic key features of MHETase, enhancing the degradation of PET oligomers. Structural and computational analysis reveal how a point mutation stabilizes the active site and reshapes the binding cleft, expading substrate scope.
Panagiota Karampa +5 more
wiley +1 more source