For a challenging application, the software component retrieval , we present a powerful solution by combining two systems. The NORA/HAMMR-tool handles all aspects concerning with the logical representation of the application problem, the ILF-tool provides an infrastructure to apply several ATPs like SETHEO, OTTER, SPASS to the emerging deductive problems. For a fruitful practically application,...

background: phenylalanine dehydrogenase (phedh ec 1.4.1.20) is a nad+-dependent enzyme that performs the reversible oxidative deamination of l-phenylalanine to phenylpyruvate. it plays an important role in detection and screening of phenylketonuria (pku) diseases and production of chiral intermediates as well. the main goal of this study was to find a simple and rapid alternative method for pur...

Normalization procedures are an important component of most automated theorem provers. In this work we present an adaption of advanced first-order normalization techniques for higher-order theorem proving which have been bundled in a stand-alone tool. It can be used in conjunction with any higher-order theorem prover, even though the implemented techniques are primarily targeted on resolution-b...

We present a trustworthy connection between the Leon verification system and the Isabelle proof assistant. Leon is a system for verifying functional Scala programs. It uses a variety of automated theorem provers (ATPs) to check verification conditions (VCs) stemming from the input program. Isabelle, on the other hand, is an interactive theorem prover used to verify mathematical specifications u...

Extracellular vesicles (EVs) such as exosomes and microvesicles released from cells are potential biomarkers for blood-based diagnostic applications. To exploit EVs as diagnostic biomarkers, an effective pre-analytical process is necessary. However, recent studies performed with blood-borne EVs have been hindered by the lack of effective purification strategies. In this study, an efficient EV i...

We present a simple and rapid method to isolate extracellular vesicles (EVs) by using a polyethylene glycol/dextran aqueous two-phase system (ATPS). This system isolated more than ~75% of melanoma-derived EVs from a mixture of EVs and serum proteins. To increase the purity of EVs, a batch procedure was combined as additional steps to remove protein contaminants, and removed more than ~95% of th...