Results 31 to 40 of about 2,516,098 (344)
W-types in homotopy type theory [PDF]
Mathematical Structures in Computer Science, 2014 We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition, we will discuss W-types in categories of simplicial presheaves and an application to models of set theory.
van den Berg, B., Moerdijk, I.
openaire +8 more sources
Typing Copyless Message Passing [PDF]
, 2011 We present a calculus that models a form of process interaction based on copyless message passing, in the style of Singularity OS. The calculus is equipped with a type system ensuring that well-typed processes are free from memory faults, memory leaks ...
Bruno Courcelle +9 more
core +3 more sources
Electronic Proceedings in Theoretical Computer Science, 2010 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,
CAPECCHI, SARA, TROINA, ANGELO
openaire +7 more sources
Type Annotation for Adaptive Systems [PDF]
, 2016 We introduce type annotations as a flexible typing mechanism for graph systems and discuss their advantages with respect to classical typing based on graph morphisms.
Bottoni, Paolo +2 more
core +3 more sources
Brazilian Journal of Poultry Science, 2012 Salmonella is widespread in nature and can be found in all links of the poultry production chain. Due to its high impact on meat processing, techniques for the rapid detection and reproducible characterization of Salmonella serotypes in foods are needed.
CM Baratto +4 more
doaj +1 more source
Журнал микробиологии, эпидемиологии и иммунобиологии, 2022 Introduction. About 1,000,000 cases of infections caused by Acinetobacter spp. per year are registered globally, making up 1.8% of all the cases of hospital-acquired infections.
O. S. Fedotova +4 more
doaj +1 more source
Toxins, 2017 Staphylococcus aureus is a major cause of clinical infections in humans and its enterotoxins cause foodborne disease. In the present study, we tested a total of 51 isolates of S.
Guerrino Macori +9 more
doaj +1 more source
eJHaem, 2022 The effect of higher FOXP3 mRNA expression by recipient pre‐transplant CD4+ T cells on leukaemia relapse was analysed in a series of 106 patients who received allogeneic haematopoietic stem cell transplantation after myeloablative conditioning with or ...
Niels Jacobsen +7 more
doaj +1 more source
A novel word-independent gesture-typing continuous authentication scheme for mobile devices [PDF]
, 2019 In this study, we produce a new continuous authentication scheme for gesture-typing on mobile devices. Our scheme is the first scheme that authenticates gesture-typing interactions in a word-independent format.
Rajarajan, M., Smith-Creasey, M.
core +1 more source
Typing Context-Dependent Behavioural Variation [PDF]
, 2012 Context Oriented Programming (COP) concerns the ability of programs to adapt to changes in their running environment. A number of programming languages endowed with COP constructs and features have been developed. However, some foundational issues remain
Degano, Pierpaolo +3 more
core +3 more sources