Degenerate primer designing system for gene biodiversity study using dynamic pattern matching by Weeris Treeratanajaru

Get full text

DETEKSI GENOMIC REPEATS MENGGUNAKAN ALGORITMA BOYER-MOORE DENGAN APACHE SPARK STREAMING by Farhan Dhiyaa Pratama, -

Link Metadata

The discovery of Top-K DNA frequent patterns with approximate method / Nittaya Kerdprasop and Kittisak Kerdprasop by Kerdprasop, Nittaya, Kerdprasop, Kittisak

Link Metadata

Repetitive Structures in Biological Sequences: Algorithms and Applications by Marco Pellegrini

DOAB: download the publication
DOAB: description of the publication

A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach by Horn, Tassilo

DOAB: download the publication
DOAB: description of the publication

A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach by Horn, Tassilo

DOAB: download the publication
DOAB: description of the publication

STRATEGI KOMUNIKASI ORGANISASI NIRLABA DALAM MENARIK MINAT DONATUR: Studi Kasus Yayasan Buddha Tzu Chi Indonesia by Aisha Gita Arumdalu,

Link Metadata

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata

A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach by Horn, Tassilo

OAPEN Library: download the publication
OAPEN Library: description of the publication

MOTIF UNI EROPA MENGHAPUS VALIDITAS EUROPEAN UNION-UNITED STATES PRIVACY SHIELD DALAM MENGATASI KEJAHATAN SIBER BERDASARKAN KONSEP EUROPEAN NORMATIVE POWER: STUDI KASUS SCHREMS II by Isma Mufidah,

Link Metadata

Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era /

Table of Contents: “…-- Chapter 2: Property Testing on Graphs and Games -- Chapter 3: Constant-Time Algorithms for Continuous Optimization Problems -- Chapter 4: Oracle-based Primal-Dual Algorithms for Packing and Covering Semidefinite Programs -- Chapter 5: Almost Linear Time Algorithms for Some Problems on Dynamic Flow Networks -- Chapter 6: Sublinear Data Structure -- Chapter 7: Compression and Pattern Matching -- Chapter 8: Orthogonal Range Search Data Structures -- Chapter 9: Enhanced RAM Simulation in Succinct Space -- Chapter 10: Review of Sublinear Modeling in Markov Random Fields by Statistical-Mechanical Informatics and Statistical Machine Learning Theory -- Chapter 11: Empirical Bayes Method for Boltzmann Machines -- Chapter 12: Dynamical analysis of quantum annealing -- Chapter 13: Mean-field analysis of Sourlas codes with adiabatic reverse annealing -- Chapter 14: Rigidity theory for protein function analysis and structural accuracy validations -- Chapter 15: Optimization of Evacuating and Walking Home Routes from Osaka City with Big Road Network Data on Nankai Megathrust Earthquake -- Chapter 16: Stream-based Lossless Data Compression.…”
Link to Metadata

Mathematics for Elementary Teachers by Manes, Michelle

Table of Contents: “…Patterns and Algebraic Thinking -- Introduction -- Borders on a Square -- Careful Use of Language in Mathematics: = -- Growing Patterns -- Matching Game -- Structural and Procedural Algebra -- Problem Bank -- VI. …”
Access online version