온스콜라 학원

실시간 인기검색어

네이버 전문자료검색결과

(73,667건)

Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1,¿,gn}, i.e.,

Rheumatoid arthritis, Phenotype, Medicine, Immunology

Hardware Trojan attacks have emerged as a major security issue for hardware at different level of abstractions, which relate to malici

Theoretical computer science, Strategyproof, Social choice theory, Computer science, Computational social choice, Preference (econom

The knowledge of foot-and-mouth disease virus (FMDV) dynamics and epidemiology in Nigeria and the West Africa subregion is important t

Normal pregnancy is essential for human reproduction. However, environmental BaP (benzo(a)pyrene) and its metabolite BPDE (benzo(a)pyr

Abstract Insulin and glucagon secretion from the islets of Langerhans is highly regulated. Although an increased plasma glucose l

The last steps of cysteine biosynthesis are catalysed by a bi-enzyme complex composed of serine acetyltransferase (SAT) and cysteine s

AbstractIn this paper, we address the problem of applying SAT-based bounded model checking (BMC) and temporal k-induction to asynchron

AbstractDue to significant advances in SAT technology in the last years, its use for solving constraint satisfaction problems has been