Search Results - "CLOCK"
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 13
- Biology, life sciences 10
- Clocks and watches 9
- Technology: general issues 9
- History of engineering & technology 8
- Medicine 8
- Physics 6
- Computer science 4
- History 4
- Humanities 4
- Software Engineering 4
- Theory of Computation 4
- Astrophysics 3
- Compilers (Computer programs) 3
- Compilers and Interpreters 3
- Computer Engineering and Networks 3
- Computer engineering 3
- Computer networks 3
- Endocrinology 3
- Neurosciences 3
- Software engineering 3
- String instruments 3
- African history 2
- Artificial Intelligence 2
- Artificial intelligence 2
- Botany & plant sciences 2
- Central government 2
- Child and Adolescence Psychology 2
- Classical music (c 1750 to c 1830) 2
- Clock and watch making 2
-
661
Evolutionary Genomics Statistical and Computational Methods /
Published 2019Table of Contents: “…Introduction to Genome Biology and Diversity -- Probability, Statistics, and Computational Science -- A Not-So-Long Introduction to Computational Molecular Evolution -- Whole-Genome Alignment -- Inferring Orthology and Paralogy -- Transposable Elements and Their Identification -- Modern Phylogenomics: Building Phylogenetic Trees Using the Multispecies Coalescent Model -- Genome-Wide Comparative Analysis of Phylogenetic Trees: The Prokaryotic Forest of Life -- The Methodology Behind Network-Thinking: Graphs to Analyze Microbial Complexity and Evolution -- Bayesian Molecular Clock Dating Using Genome-Scale Datasets -- Genome Evolution in Outcrossing vs. …”
Link to Metadata
Electronic eBook -
662
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata
Electronic eBook -
663
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Table of Contents: “…Language Design -- Consistent Subtyping for All -- HOBiT: Programming Lenses without using Lens Combinators -- Dualizing Generalized Algebraic Data Types by Matrix Transposition -- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach -- Probabilistic Programming -- An Assertion-Based Program Logic for Probabilistic Programs -- Fine-grained Semantics for Probabilistic Programs -- How long, O Bayesian network, will I sample thee? …”
Link to Metadata
Electronic eBook -
664
-
665
-
666
-
667
-
668
-
669
-
670
-
671
-
672
-
673
-
674
-
675
-
676
-
677
-
678
-
679
-
680