Complete Pattern Matching for DNA Computing

2006 ◽  
Vol 05 (04) ◽  
pp. 337-343
Author(s):  
Nadia Nedjah ◽  
Luiza De Macedo Mourelle
Keyword(s):  
Information Retrieval ◽  
Logic Programming ◽  
Pattern Matching ◽  
Theorem Proving ◽  
Dna Computing ◽  
Term Rewriting ◽  
Matching Method ◽  
Subject Term ◽  
Matching Technique ◽  
Complete Matching

Pattern matching is essential in many applications such as information retrieval, logic programming, theorem-proving, term rewriting and DNA-computing. It usually breaks down into two categories: root and complete pattern matching. Root matching determines whether a subject term is an instance of a pattern in a pattern set while complete matching determines whether a subject term contains a sub-term that is an instance of a pattern in a pattern set. For the sake of efficiency, root pattern matching need to be deterministic and lazy. Furthermore, complete pattern matching also needs to be parallel. Unlike root pattern matching, complete matching received little interest from the researchers of the field. In this paper, we present a novel deterministic multi-threaded complete matching method. This method subsumes a deterministic lazy root matching technique that was developped by the authors in an earlier work. We evaluate the performance of proposed method using theorem-proving and DNA-computing applications.

Rancang Bangun Aplikasi Chatbot Sebagai Media Pencarian Informasi Anime Menggunakan Regular Expression Pattern Matching

2017 ◽  
Vol 9 (1) ◽  
pp. 19-24 ◽  
Author(s):  
David Domarco ◽  
Ni Made Satvika Iswari
Keyword(s):  
Information Retrieval ◽  
Expression Pattern ◽  
Pattern Matching ◽  
Language Processing ◽  
Regular Expression ◽  
Technology Development ◽  
Data Retrieval ◽  
Index Terms ◽  
Retrieval Engine ◽  
Behavioral Intention To Use

Technology development has affected many areas of life, especially the entertainment field. One of the fastest growing entertainment industry is anime. Anime has evolved as a trend and a hobby, especially for the population in the regions of Asia. The number of anime fans grow every year and trying to dig up as much information about their favorite anime. Therefore, a chatbot application was developed in this study as anime information retrieval media using regular expression pattern matching method. This application is intended to facilitate the anime fans in searching for information about the anime they like. By using this application, user can gain a convenience and interactive anime data retrieval that can’t be found when searching for information via search engines. Chatbot application has successfully met the standards of information retrieval engine with a very good results, the value of 72% precision and 100% recall showing the harmonic mean of 83.7%. As the application of hedonic, chatbot already influencing Behavioral Intention to Use by 83% and Immersion by 82%. Index Terms—anime, chatbot, information retrieval, Natural Language Processing (NLP), Regular Expression Pattern Matching

scholarly journals A novel optimal multi-pattern matching method with wildcards for DNA sequence

2021 ◽  
Vol 29 ◽  
pp. 115-124
Author(s):  
Xinlu Wang ◽  
Ahmed A.F. Saif ◽  
Dayou Liu ◽  
Yungang Zhu ◽  
Jon Atli Benediktsson
Keyword(s):  
Dna Sequence ◽  
Pattern Matching ◽  
Health Informatics ◽  
State Of The Art ◽  
Machine Language ◽  
Data Sets ◽  
Fundamental Issue ◽  
Matching Method ◽  
Dna Sequence Alignment ◽  
The Given

BACKGROUND: DNA sequence alignment is one of the most fundamental and important operation to identify which gene family may contain this sequence, pattern matching for DNA sequence has been a fundamental issue in biomedical engineering, biotechnology and health informatics. OBJECTIVE: To solve this problem, this study proposes an optimal multi pattern matching with wildcards for DNA sequence. METHODS: This proposed method packs the patterns and a sliding window of texts, and the window slides along the given packed text, matching against stored packed patterns. RESULTS: Three data sets are used to test the performance of the proposed algorithm, and the algorithm was seen to be more efficient than the competitors because its operation is close to machine language. CONCLUSIONS: Theoretical analysis and experimental results both demonstrate that the proposed method outperforms the state-of-the-art methods and is especially effective for the DNA sequence.

PATTERN MATCHING CODE MINIMIZATION IN REWRITING-BASED PROGRAMMING LANGUAGES

2002 ◽  
Vol 13 (06) ◽  
pp. 873-887
Author(s):  
NADIA NEDJAH ◽  
LUIZA DE MACEDO MOURELLE
Keyword(s):  
Programming Languages ◽  
Pattern Matching ◽  
Term Rewriting ◽  
Directed Acyclic Graphs ◽  
Tree Automaton ◽  
Minimal Tree ◽  
Term Rewriting Systems ◽  
Rewriting Systems ◽  
Acyclic Graphs ◽  
Space Requirements

We compile pattern matching for overlapping patterns in term rewriting systems into a minimal, tree matching automata. The use of directed acyclic graphs that shares all the isomorphic subautomata allows us to reduce space requirements. These are duplicated in the tree automaton. We design an efficient method to identify such subautomata and avoid duplicating their construction while generating the dag automaton. We compute some bounds on the size of the automata, thereby improving on previously known equivalent bounds for the tree automaton.

scholarly journals Planning a holistic summative eHealth evaluation in an interdisciplinary and multi-national setting: a case study and propositions for guideline development

2021 ◽  
Vol 21 (1) ◽  
Author(s):  
Monika Jurkeviciute ◽  
Amia Enam ◽  
Johanna Torres-Bonilla ◽  
Henrik Eriksson
Keyword(s):  
Pattern Matching ◽  
Quality Evaluation ◽  
Empirical Process ◽  
Guideline Development ◽  
Evaluation Process ◽  
Feasibility Analysis ◽  
National Team ◽  
Matching Technique ◽  
Interdisciplinary Setting

Abstract Background Summative eHealth evaluations frequently lack quality, which affects the generalizability of the evidence, and its use in practice and further research. To guarantee quality, a number of activities are recommended in the guidelines for evaluation planning. This study aimed to examine a case of an eHealth evaluation planning in a multi-national and interdisciplinary setting and to provide recommendations for eHealth evaluation planning guidelines. Methods An empirical eHealth evaluation process was developed through a case study. The empirical process was compared with selected guidelines for eHealth evaluation planning using a pattern-matching technique. Results Planning in the interdisciplinary and multi-national team demanded extensive negotiation and alignment to support the future use of the evidence created. The evaluation planning guidelines did not provide specific strategies for different set-ups of the evaluation teams. Further, they did not address important aspects of quality evaluation, such as feasibility analysis of the outcome measures and data collection, monitoring of data quality, and consideration of the methods and measures employed in similar evaluations. Conclusions Activities to prevent quality problems need to be incorporated in the guidelines for evaluation planning. Additionally, evaluators could benefit from guidance in evaluation planning related to the different set-ups of the evaluation teams.

scholarly journals Subtree matching by pushdown automata

2010 ◽  
Vol 7 (2) ◽  
pp. 331-357 ◽  
Author(s):  
Tomás Flouri ◽  
Jan Janousek ◽  
Bořivoj Melichar
Keyword(s):  
Programming Languages ◽  
Theorem Proving ◽  
Systematic Approach ◽  
Finite Automata ◽  
Term Rewriting ◽  
Mechanical Theorem Proving ◽  
Pushdown Automaton ◽  
String Pattern ◽  
Pushdown Automata ◽  
Mechanical Theorem

Subtree matching is an important problem in Computer Science on which a number of tasks, such as mechanical theorem proving, term-rewriting, symbolic computation and nonprocedural programming languages are based on. A systematic approach to the construction of subtree pattern matchers by deterministic pushdown automata, which read subject trees in prefix and postfix notation, is presented. The method is analogous to the construction of string pattern matchers: for a given pattern, a nondeterministic pushdown automaton is created and is then determinised. In addition, it is shown that the size of the resulting deterministic pushdown automata directly corresponds to the size of the existing string pattern matchers based on finite automata.

scholarly journals Research on the Relative Positions-Constrained Pattern Matching Method for Underwater Gravity-Aided Inertial Navigation

2015 ◽  
Vol 68 (5) ◽  
pp. 937-950 ◽  
Author(s):  
Lin Wu ◽  
Hubiao Wang ◽  
Hua Chai ◽  
Houtse Hsu ◽  
Yong Wang
Keyword(s):  
South China Sea ◽  
Pattern Matching ◽  
Inertial Navigation System ◽  
Inertial Navigation ◽  
Success Rates ◽  
Simulation Test ◽  
Matching Method ◽  
Contour Matching ◽  
Simulation Results ◽  
Straight Lines

A Relative Positions-Constrained pattern Matching (RPCM) method for underwater gravity-aided inertial navigation is presented in this paper. In this method the gravity patterns are constructed based on the relative positions of points in a trajectory, which are calculated by Inertial Navigation System (INS) indications. In these patterns the accumulated errors of INS indicated positions are cancelled and removed. Thus the new constructed gravity patterns are more accurate and reliable while the process of matching can be constrained, and the probability of mismatching also can be reduced. Two gravity anomaly maps in the South China Sea were chosen to construct a simulation test. Simulation results show that with this RPCM method, the shape of the trajectory in gravity-aided navigation is not as restricted as that in traditional Terrain Contour Matching (TERCOM) algorithms. Moreover, the performance included matching success rates and position accuracies are highly improved in the RPCM method, especially for the trajectories that are not in straight lines. Thus the proposed method is effective and suitable for practical navigation.

scholarly journals Using Tabled Logic Programming to Solve the Petrobras Planning Problem

2014 ◽  
Vol 14 (4-5) ◽  
pp. 697-710 ◽  
Author(s):  
ROMAN BARTÁK ◽  
NENG-FA ZHOU
Keyword(s):  
Monte Carlo ◽  
Logic Programming ◽  
Pattern Matching ◽  
Planning Problem ◽  
Tree Search ◽  
Limited Capacity ◽  
Plan Quality ◽  
Monte Carlo Tree Search ◽  
Improve Efficiency ◽  
Prolog Programs

AbstractTabling has been used for some time to improve efficiency of Prolog programs by memorizing answered queries. The same idea can be naturally used to memorize visited states during search for planning. In this paper we present a planner developed in the Picat language to solve the Petrobras planning problem. Picat is a novel Prolog-like language that provides pattern matching, deterministic and non-deterministic rules, and tabling as its core modelling and solving features. We demonstrate these capabilities using the Petrobras problem, where the goal is to plan transport of cargo items from ports to platforms using vessels with limited capacity. Monte Carlo Tree Search has been so far the best technique to tackle this problem and we will show that by using tabling we can achieve much better runtime efficiency and better plan quality.

Sign in / Sign up

Export Citation Format

Share Document