Automated theorem provers (ATPs) consist of a number of complicated algorithms, that can be parameterized and combined together in different ways. Examples of such parameterizations are clause weighting and selection schemes, term orderings, sets of inference and reduction rules used, etc. E [8] (as some other ATPs) has a language for packaging such useful combinations of parameterizations into...

We propose an adaptive power based transmission scheme for WSN (Wireless Sensor Networks) where transmit power is adapted depending on node density and channel conditions so as to maintain a desired level of signal detection probability at a receiving node as demanded by sensing range. In existing Fixed Transmit Power Scheme (FTPS), detection probability degrades with decrease in node spatial d...

We demonstrate the generation of water-in-water (w/w) jets and emulsions by combining droplet microfluidics and aqueous two-phase systems (ATPS). The application of ATPS in microfluidics has been hampered by the low interfacial tension between typical aqueous phases. The low tension makes it difficult to form w/w droplets with conventional droplet microfluidic approaches. We show that by mechan...

Artificial Intelligence aims to provide computer programs with commonsense knowledge to reason about our world. This paper offers a new practical approach towards automated commonsense reasoning with first-order logic (FOL) ontologies. We propose a new black-box testing methodology of FOL SUMO-based ontologies by exploiting WordNet and its mapping into SUMO. Our proposal includes a method for t...

Gigaporous poly(styrene-divinyl benzene) microspheres made via the surfactant reverse micelles swelling method had a controllable pore size of 100–500 nm. These microspheres had unique advantages in biomacromolecule separation and enzymes immobilization. However, the obtained microspheres adhered to each other in the preparation process. Though the weak aggregation could be re-dispersed easily ...

This work aimed to optimize the parameters affecting partitioning of a bacteriocin-like inhibitory substances (BLIS) from Lactococcus lactis Gh1 in extractive fermentation using polyethylene glycol (PEG)/dextran aqueous two-phase system (ATPS). was developed for simultaneous cell cultivation and downstream processing BLIS. Results showed that molecular weight PEG, PEG concentration, dextran T50...

This study aimed to purify and partially characterize a keratinolytic protease produced by Bacillus sp. P45 through bioconversion of feather meal. Crude extract was purified using sequence an aqueous two-phase system (ATPS) in large volume systems (10, 50, 500 g) increase obtaining enzyme, followed diafiltration (DF) step. Purified characterized terms protein profile analysis SDS-PAGE, optimum ...