Results 51 to 60 of about 1,420,577 (310)
Emergence of XIII.2.2 genotype of Avian Avulavirus-1 with unique FPCS site in India
Indian Journal of Animal Sciences, 2022 In the present study, two isolates namely D162 and D165 obtained from Newcastle disease outbreaks in backyard poultry in Tamil Nadu were subjected to phylogenetic analysis using complete Fusion (F) gene sequence to understand the circulation and ...
N SARIKA +4 more
doaj +1 more source
Bin packing with directed stackability conflicts
Acta Universitatis Sapientiae: Informatica, 2015 The Bin Packing problem is a well-known and highly investigated problem in the computer science: we have n items given with their sizes, and we want to assign them to unit capacity bins such, that we use the minimum number of bins.
Bódis Attila
doaj +1 more source
A Reduced Semantics for Deciding Trace Equivalence [PDF]
Logical Methods in Computer Science, 2017 Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e., without ...
David Baelde +2 more
doaj +1 more source
Simple Proof of Hardness of Feedback Vertex Set
Theory of Computing, 2016 The Feedback Vertex Set problem (FVS), where the goal is to find a small subset of vertices that intersects every cycle in an input directed graph, is among the fundamental problems whose approximability is not well understood.
V. Guruswami, Euiwoong Lee
semanticscholar +1 more source
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets [PDF]
Logical Methods in Computer Science, 2008 We propose a framework for the specification of behaviour-preserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of ordinary Place/Transition nets suited to model open systems which might
Paolo Baldan +4 more
doaj +1 more source
Molecular Oncology, EarlyView.Circulating tumor DNA (ctDNA) offers a possibility for different applications in early and late stage breast cancer management. In early breast cancer tumor informed approaches are increasingly used for detecting molecular residual disease (MRD) and early recurrence. In advanced stage, ctDNA provides a possibility for monitoring disease progression and
Eva Valentina Klocker +14 more
wiley +1 more source
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis [PDF]
Logical Methods in Computer Science, 2010 The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure and hence conclude the decidability of the safety problem.
Silvio Ghilardi, Silvio Ranise
doaj +1 more source
SpringerPlus, 2013 Moderately preterm birth seems to be an evolutional risk condition at cognitive, behavioural and socio-relational levels. The study is aimed to investigate the likely occurrence of precursors of Attention Deficit Hyperactivity Disorder (ADHD) in ...
G. Perricone +2 more
semanticscholar +1 more source
Molecular Oncology, EarlyView.This study demonstrates that KRAS and GNAS mutations are more prevalent in patients with resected intraductal papillary mucinous neoplasms (IPMN) compared to those under clinical surveillance. GNAS mutations significantly differ between the two patient cohorts, indicating that their absence may serve as a potential biomarker to support conservative ...
Christine Nitschke +12 more
wiley +1 more source
Molecular Oncology, EarlyView.This nationwide study evaluated KRAS and NRAS mutations in 10 754 Turkish patients with metastatic colorectal cancer. The results revealed a mutation frequency of 51.1%, with 46.6% having KRAS mutations, 4.5% having NRAS mutations, and 48.5% being wild‐type for both.
Gozde Kavgaci +6 more
wiley +1 more source