Fourty years ago Quine noted that finding a procedure that computes a minimal sum of products for a given propositional formula is very complex, even though propositional formulas are fairly simple. Since this early work, this problem, known as two-level logic minimization, has attracted much attention. It arises in several fields of computer science, e.g., in logic synthesis, reliability analy...

As digital designs grow evermore complex and design cycles become ever shorter, traditional informal methods of design veriication are proving inadequate. Design teams are increasingly turning to formal techniques to address this \veriication crunch". The theorem prover, with its emphasis on establishing correctness, is arguably the dream design veriication tool; however, theorem provers are ra...

We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and algorithm design at diierent levels of abstraction. Besides providing an overall view we summarize the individual research results achieved in the course of this development.

The core technologies of fully automated organic synthesis include the management large amounts accumulated reaction examples, machine learning based on these experimental results, and subsequent development devices. Digitization is key in progressing towards full automation. Various attempts at digitization are already enabling a framework, which input molecular structure converted into actual...

The objective of automated planners is to synthesize sequences of actions (called policies in MDP frameworks) that will achieve a predetermined goal given a fully or partially observable formal representation of the domain. In contrast, the main characteristic of project management is the greater emphasis on plan execution under uncertainty as opposed to plan synthesis. This paper explains the ...

Objectives: An SLR is presented focusing on text mining-based automation of creation. The present review identifies the objectives studies and aspects those steps that were automated. In so doing, various ML techniques used challenges, limitations, scope further research are explained. Methods: Accessible published literature primarily focus study selection, quality assessment, data extraction,...

Peptide nucleic acids (PNAs) are DNA mimics with a neutral peptide backbone instead of the negatively charged sugar phosphates. PNAs exhibit several attractive features such as high chemical and thermal stability, resistance to enzymatic degradation, and stable binding to their RNA or DNA targets in a sequence-specific manner. Therefore, they are widely used in molecular diagnosis of antisense-...