Results 11 to 20 of about 998,947 (335)
Restriction categories III: colimits, partial limits, and extensivity [PDF]
Mathematical Structures in Computer Science, 17(4):775-817, 2007, 2002 A restriction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents.
Adámek +19 more
core +7 more sources
Formalizing restriction categories [PDF]
Journal of Formalized Reasoning, 2017 Restriction categories are an abstract axiomatic framework by Cockett and Lack for reasoning about (generalizations of the idea of) partiality of functions.
Chapman, James +2 more
core +4 more sources
Reformulating the Value Restriction and the Not-Strict Value Restriction in Terms of Possibility Preference Map [PDF]
arXiv, 2022 In social choice theory, Sen's value restriction and Pattanaik's not-strict value restriction are both attractive conditions for testing social preference transitivity and/or non-empty social choice set existence. This article introduces a novel mathematical representation tool, called possibility preference map (PPM), for weak orderings, and then ...
Fujun Hou
arxiv +3 more sources
A physical map of human Alu repeats cleavage by restriction endonucleases [PDF]
BMC Genomics, 2008 Background Alu repetitive elements are the abundant sequences in human genome. Diversity of DNA sequences of these elements makes difficult the construction of theoretical patterns of Alu repeats cleavage by restriction endonucleases.
Chernukhin Valery A +3 more
doaj +2 more sources
Applied General Topology, 2022 For topological spaces X and Y, let Qp(X,Y) be the space of all quasicontinuous functions from X to Y with the topology of pointwise convergence.
Mandeep Kumar, Brij Kishore Tyagi
doaj +1 more source
Unusual Magnetic Resonance Imaging Findings Contrast-induced Encephalopathy following Cerebral Angiography [PDF]
Kosin Medical Journal, 2021 Contrast-induced encephalopathy (CIE) following cerebral angiography has similar clinical presentations to ischemic complications of cerebral angiography. Neurologic deficits in CIE are mostly transient, but those caused by acute cerebral infarction (ACI)
Won Ho Cho +4 more
doaj +1 more source
Frontiers in Microbiology, 2021 Mycobacterium avium subsp. paratuberculosis (Map) is the etiological agent of Johne’s disease in ruminants. The IS900 insertion sequence (IS) has been used widely as an epidemiological marker and target for PCR diagnosis.
Cyril Conde +7 more
doaj +1 more source
Generation of restriction endonucleases barcode map to trace SARS-CoV-2 origin and evolution
Scientific Reports, 2021 Since the first report of SARS-CoV-2 in China in 2019, there has been a huge debate about the origin. In this work, using a different method we aimed to strengthen the observation that no evidence of genetic manipulation has been found by (1) detecting ...
Federico Colombo +3 more
doaj +1 more source
مجلة مركز بحوث التقنيات الاحيائية, 2011 pecific data base was used for restriction enzymes (rebase) and related proteins, to design executive program in quick basic language to determine the restriction sites and drawing restriction map for the complete sequence of lipase gene from Bacillus ...
Hameed M. Jasim
doaj +1 more source