UB Paderborn / Katalog / Suche / in CDI

Efficient Generation of RNA Secondary Structure Prediction Algorithm Under PAR Framework

Frontiers in plant science, 2022-01, Vol.12, p.830042-830042

2022

Volltextzugriff (PDF)

Component-Based Design and Assembly of Heuristic Multiple Sequence Alignment Algorithms

Frontiers in genetics, 2020-02, Vol.11, p.105-105

2020

Volltextzugriff (PDF)

Correctness by Construction for Pairwise Sequence Alignment Algorithm in Bio-Sequence

Tehnički vjesnik, 2023-06, Vol.30 (3), p.742-749

2023

Volltextzugriff (PDF)

Efficient Multiple Sequences Alignment Algorithm Generation via Components Assembly Under PAR Framework

Frontiers in genetics, 2021-02, Vol.11, p.628175-628175

2021

Volltextzugriff (PDF)

A Method for Bio-Sequence Analysis Algorithm Development Based on the PAR Platform

Big Data Mining and Analytics, 2023-03, Vol.6 (1), p.11-20

2023

Volltextzugriff (PDF)

Research on Components Assembly Platform of Biological Sequences Alignment Algorithm

Frontiers in genetics, 2021-01, Vol.11, p.630923-630923

2021

Volltextzugriff (PDF)

Gene Sequence Assembly Algorithm Model Based on the DBG Strategy and Its Application

Journal of healthcare engineering, 2021-01, Vol.2021, p.1-11

2021

Volltextzugriff (PDF)

A New Implementation of Genome Rearrangement Problem

Journal of healthcare engineering, 2021-01, Vol.2021, p.6692775-9

2021

Volltextzugriff (PDF)

New Construction of Family of MLCS Algorithms

Journal of healthcare engineering, 2021, Vol.2021, p.6636710-10

2021

Volltextzugriff (PDF)

Algorithm Design Through the Optimization of Reuse-Based Generation

Theoretical Computer Science, p.14-32

Volltextzugriff (PDF)

A Generative Approach to Searching Algorithmic Programs Development

2011 Fifth International Conference on Theoretical Aspects of Software Engineering, 2011, p.76-81

2011

Volltextzugriff (PDF)

Introducing formal derivation into the design and analysis of algorithms

2009 4th International Conference on Computer Science & Education, 2009, p.1322-1324

2009

Volltextzugriff (PDF)

Notice of Retraction: Applying PRG model to typical optimization algorithm development in logistics

2010 International Conference on Computer Application and System Modeling (ICCASM 2010), 2010, Vol.4, p.V4-94-V4-98

2010

Volltextzugriff (PDF)

A new method of software reliability models

2018 International Conference on Information and Computer Technologies (ICICT), 2018, p.36-39

2018

Volltextzugriff (PDF)

Generating Provably Correct Algorithmic Programs from Formal Specifications

2010 10th International Conference on Quality Software, 2010, p.270-275

2010

Volltextzugriff (PDF)

A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development

New Horizons in Web-Based Learning - ICWL 2010 Workshops, p.237-245

Volltextzugriff (PDF)

An algebraic approach to mechanical tabu search algorithm generation

2010 IEEE International Conference on Progress in Informatics and Computing, 2010, Vol.2, p.988-992

2010

Volltextzugriff (PDF)

A Mechanical Approach for Deriving Algorithmic Programs

Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008), 2008, p.483-487

2008

Volltextzugriff (PDF)

A category theoretic approach to search algorithms: Towards a unified implementation for branch-and-bound and backtracking

2009 4th International Conference on Computer Science & Education, 2009, p.845-850

2009

Volltextzugriff (PDF)

Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs

Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007), 2007, Vol.3, p.952-957

2007

Volltextzugriff (PDF)

Generating Algorithms plus Loop Invariants by Formal Derivation

Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008), 2008, p.496-501

2008

Volltextzugriff (PDF)

Formal Programming for the Shortest Path and Its Critical Edge Problems

2007 IEEE International Conference on Automation and Logistics, 2007, p.72-76

2007

Volltextzugriff (PDF)

Formal Derivation of Two Algorithms Involving Sequences

2011 10th IEEE/ACIS International Conference on Computer and Information Science, 2011, p.287-291

2011

Volltextzugriff (PDF)

From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum

Computational Science – ICCS 2007, p.469-476

Volltextzugriff (PDF)

Poly C binding protein 1 represses autophagy through downregulation of LC3B to promote tumor cell apoptosis in starvation

The international journal of biochemistry & cell biology, 2016-04, Vol.73, p.127-136

2016

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Efficient Generation of RNA Secondary Structure Prediction Algorithm Under PAR Framework

Component-Based Design and Assembly of Heuristic Multiple Sequence Alignment Algorithms

Correctness by Construction for Pairwise Sequence Alignment Algorithm in Bio-Sequence

Efficient Multiple Sequences Alignment Algorithm Generation via Components Assembly Under PAR Framework

A Method for Bio-Sequence Analysis Algorithm Development Based on the PAR Platform

Research on Components Assembly Platform of Biological Sequences Alignment Algorithm

Gene Sequence Assembly Algorithm Model Based on the DBG Strategy and Its Application

A New Implementation of Genome Rearrangement Problem

New Construction of Family of MLCS Algorithms

Algorithm Design Through the Optimization of Reuse-Based Generation

A Generative Approach to Searching Algorithmic Programs Development

Introducing formal derivation into the design and analysis of algorithms

Notice of Retraction: Applying PRG model to typical optimization algorithm development in logistics

A new method of software reliability models

Generating Provably Correct Algorithmic Programs from Formal Specifications

A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development

An algebraic approach to mechanical tabu search algorithm generation

A Mechanical Approach for Deriving Algorithmic Programs

A category theoretic approach to search algorithms: Towards a unified implementation for branch-and-bound and backtracking

Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs

Generating Algorithms plus Loop Invariants by Formal Derivation

Formal Programming for the Shortest Path and Its Critical Edge Problems

Formal Derivation of Two Algorithms Involving Sequences

From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum

Poly C binding protein 1 represses autophagy through downregulation of LC3B to promote tumor cell apoptosis in starvation

Suchergebnisse filtern