Results 91 to 100 of about 8,980,708 (398)
Tarski's influence on computer science [PDF]
Logical Methods in Computer Science, Volume 2, Issue 3 (September
27, 2006) lmcs:2248, 2006 The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of elimination of quantifiers, the semantics of formal languages, modeltheoretic preservation theorems, and ...
arxiv +1 more source
Molecular Oncology, EarlyView.Prostate cancer is a leading malignancy with significant clinical heterogeneity in men. An 11‐gene signature derived from dysregulated epithelial cell markers effectively predicted biochemical recurrence‐free survival in patients who underwent radical surgery or radiotherapy.
Zhuofan Mou, Lorna W. Harries
wiley +1 more source
Mathematical Logic in Computer Science [PDF]
arXiv, 2018 The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.
arxiv
Molecular Oncology, EarlyView.In molecular cancer diagnostics, comprehensive genomic profiling (CGP) is going to replace the small NGS panels since it provides all clinically relevant somatic variants as well as genomic biomarkers with clinical value. Here, we compared two CGP assays and demonstrate that the choice for diagnostic implementation will depend on the specific ...
Guy Froyen +17 more
wiley +1 more source
Using Graphing Calculators to Integrate Mathematics and Science [PDF]
, 1997 The computational, graphing, statistical and programming capabilities of today’s graphing calculators make it possible for teachers and students to explore aspects of functions and investigate real-world situations in ways that were previously ...
Garofalo, J., Pullano, F.
core +1 more source
arXiv, 2015 Data science is gaining more and more and widespread attention, but no consensus viewpoint on what data science is has emerged. As a new science, its objects of study and scientific issues should not be covered by established sciences. Data in cyberspace have formed what we call datanature.
arxiv
Ubiquity symposium: The science in computer science: unplugging computer science to find the science [PDF]
Ubiquity, 2014 The Computer Science Unplugged project provides activities that enable students to engage with concepts from computer science without having to program. Many of the activities provide the basis of a scientific exploration of computer science, and thus help students to see the relationship of the discipline with science.
openaire +3 more sources
Molecular and functional profiling unravels targetable vulnerabilities in colorectal cancer
Molecular Oncology, EarlyView.We used whole exome and RNA‐sequencing to profile divergent genomic and transcriptomic landscapes of microsatellite stable (MSS) and microsatellite instable (MSI) colorectal cancer. Alterations were classified using a computational score for integrative cancer variant annotation and prioritization.
Efstathios‐Iason Vlachavas +15 more
wiley +1 more source
Building machines that adapt and compute like brains [PDF]
, 2017 Building machines that learn and think like humans is essential not only for cognitive science, but also for computational neuroscience, whose ultimate goal is to understand how cognition is implemented in biological brains. A new cognitive computational
Kriegeskorte, Nikolaus, Mok, Robert M.
core +2 more sources
The Complexity of Rooted Phylogeny Problems [PDF]
Logical Methods in Computer Science, 2011 Several computational problems in phylogenetic reconstruction can be formulated as restrictions of the following general problem: given a formula in conjunctive normal form where the literals are rooted triples, is there a rooted binary tree that ...
Manuel Bodirsky, Jens K Mueller
doaj +1 more source