Results 1 to 10 of about 1,087,555 (135)
Annals of Animal Science, 2021 Bovine peptidoglycan recognition protein 1 (PGLY RP1) is an important receptor that binds to murein peptidoglycans (PGN) of Grampositive and Gram-negative bacteria and is, therefore, involved in innate immunity.
T. Zabolewicz +4 more
semanticscholar +1 more source
Фізико-математична освіта, 2023 Formulation of the problem. At the present stage of the development of science education and information technology, their integration, complementarity, and implementation are essential.
Наталія Юркович +3 more
doaj +1 more source
Discovery and Biotechnology for the Better of Humanity and Environmental in Asia Region
International Journal of Technology, 2022 Biotechnology is a rapidly growing cross-disciplinary field involving medicine, biology, chemistry, engineering, nanotechnology, and computer science.
Eny Kusrini +2 more
doaj +1 more source
Scientific Reports, 2021 MUC5B promoter rs35705950 T/G gene polymorphism has been associated with the risk of IPF, but the influence of this relationship varies among different populations.
Xiaozheng Wu +3 more
doaj +1 more source
A Proof of CSP Dichotomy Conjecture [PDF]
IEEE Annual Symposium on Foundations of Computer Science, 2017 Many natural combinatorial problems can be expressed as constraint satisfaction problems. This class of problems is known to be NP-complete in general, but certain restrictions on the form of the constraints can ensure tractability.
Dmitriy Zhuk
semanticscholar +1 more source
An ML-style Record Calculus with Extensible Records [PDF]
EPTCS 351, 2021, pp. 1-17, 2021 In this work, we develop a polymorphic record calculus with extensible records. Extensible records are records that can have new fields added to them, or preexisting fields removed from them. We also develop a static type system for this calculus and a sound and complete type inference algorithm.
arxiv +1 more source
Technical Symposium on Computer Science Education, 2019 SIGCSE is packed with teaching insights and inspiration. However, we get these insights and inspiration from hearing our colleagues talk about their teaching. Why not just watch them teach? This session does exactly that.
Colleen M. Lewis +6 more
semanticscholar +1 more source
A review on graph representation for object-oriented programming [PDF]
BIO Web of ConferencesRelationships and connections between entities are typically represented by graphs, a fundamental data structure in computer science. A graph illustrates the control flow among statements within a program, whereas a dependence graph delineates the ...
Farooq Khattak Umar +2 more
doaj +1 more source
Logic in Computer Science, 2018 Dependent type theory allows us to write programs and to prove properties about those programs in the same language. However, some properties do not require much proof, as they are evident from a program's implementation, e.g. if a polymorphic program is
Andreas Nuyts, Dominique Devriese
semanticscholar +1 more source