Results 31 to 40 of about 3,773,797 (206)
Efficient Set Sharing Using ZBDDs [PDF]
, 2008 Set sharing is an abstract domain in which each concrete object is represented by the set of local variables from which it might be reachable. It is a useful abstraction to detect parallelism opportunities, since it contains definite information about ...
Mario Méndez-Lojo +5 more
core +1 more source
Molecular Oncology, EarlyView.Circulating microRNAs as biomarkers of cachexia and sex‐specific cancer in senior dogs. In 25 client‐owned dogs, four circulating miRNAs (miR‐15a, miR‐15b, miR‐16, miR‐140) were downregulated in cachexia, with miR‐16 the strongest individual biomarker (AUC = 0.899).
Soon‐Seok Park +6 more
wiley +1 more source
Lex-Partitioning: A New Option for BDD Search [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 For the exploration of large state spaces, symbolic search using binary decision diagrams (BDDs) can save huge amounts of memory and computation time. State sets are represented and modified by accessing and manipulating their characteristic functions ...
Stefan Edelkamp +2 more
doaj +1 more source
CEACAM1 participation in breast cancer progression
Molecular Oncology, EarlyView.In invasive breast cancer (BC), CEACAM1 shifts from an apical to a uniform membranous/cytoplasmic pattern, or is lost, as tumors dedifferentiate, inversely tracking the Ki‐67 proliferative index. In MCF‐7 cells, only CEACAM1‐4L suppresses proliferation, repressing cell cycle and growth factor genes.
Mykola Lyndin +3 more
wiley +1 more source
Survey of machine learning methods for detecting false data injection attacks in power systems
IET Smart Grid, 2020 Over the last decade, the number of cyber attacks targeting power systems and causing physical and economic damages has increased rapidly. Among them, false data injection attacks (FDIAs) are a class of cyber-attacks against power grid monitoring systems.
Ali Sayghe +7 more
doaj +1 more source
Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 When treating Markov decision processes (MDPs) with large state spaces, using explicit representations quickly becomes unfeasible. Lately, Wimmer et al. have proposed a so-called symblicit algorithm for the synthesis of optimal strategies in MDPs, in the
Aaron Bohy +2 more
doaj +1 more source
Molecular Oncology, EarlyView.Circulating microRNA profiles distinguish nonmalignant Lynch syndrome from cancer‐associated Lynch syndrome, sporadic colorectal cancer, and healthy controls. Age‐stratified analysis reveals disease‐specific regulatory states, and a six‐miRNA panel shows concordant separation in an independent colorectal tissue cohort.
Ramadhani Salum Chambuso +5 more
wiley +1 more source
Frontiers in Plant Science, 2012 Model checking is a well-established technique for automaticallyverifying complex systems. Recently, model checkers have appearedin computer tools for the analysis of biochemical (and generegulatory) networks.
Miguel eCarrillo +2 more
doaj +1 more source
Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol [PDF]
, 2006 We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity
Raimondi, F. +5 more
core
Attitudes of cancer patients toward ctDNA‐based liquid biopsy for follow‐up
Molecular Oncology, EarlyView.This mixed‐methods study explored cancer patients' experiences, knowledge, and preferences regarding ctDNA‐based liquid biopsy for follow‐up. Awareness of ctDNA was low and recall of previous liquid biopsy was imperfect, yet acceptance was high.
Siddharth Chhajlani +7 more
wiley +1 more source