Considering different implication operators, such as Lukasiewicz, Gödel or product implication in the same logic program, naturally leads to the allowance of several adjoint pairs in the lattice of truthvalues. In this paper we apply this idea to introduce multi-adjoint logic programs as an extension of monotonic logic programs. The continuity of the immediate consequences operators is proved a...

Functional genomic quantities such as histone modifications, chromatin accessibility, and evolutionary constraint can now be measured in a nearly continuous fashion across the genome. The genome is highly heterogeneous, and the relationships between different functional annotations may be fluid. Here we present an approach for visualizing, quantifying, and determining the statistical significan...

We report the first continuous flow synthesis of lamivudine, an antiretroviral drug used in the treatment of HIV/AIDS and hepatitis B. The key intermediate (5-acetoxy oxathiolane) was prepared by an integrated two step continuous flow process from l-menthyl glyoxalate hydrate in a single solvent, in 95% overall conversion. For the crucial glycosidation reaction, using pyridinium triflate as the...

The essence of exploration is acting to try to decrease uncertainty. We propose a new methodology for representing uncertainty in continuous-state control problems. Our approach, multi-resolution exploration (MRE), uses a hierarchical mapping to identify regions of the state space that would benefit from additional samples. We demonstrate MRE’s broad utility by using it to speed up learning in ...

The multi-step synthesis of complex organic compounds from simpler precursors is one of the outstanding accomplishments and ongoing challenges of synthetic organic chemistry. Through the development and invention of synthesis strategies, methods and technologies, increasingly complex molecules can be assembled with designed structures and functions for a variety of medicinal, agrochemical and m...

nowadays, the environmental impact of transportation project and, especially air pollution impacts, are major concerns in evaluating transportation projects. based on this concern, beside definition of traditional objective functions like total travel time and total investment cost, different type of environmental related function is considered as objective function in urban network design. in...

Agent-based distributed systems are increasingly used in various application domains, where autonomy, proactivity and cooperation are required. Correspondingly, the demands on the quality of the delivered agents are growing. However, testing remains a challenging activity and systematic and automated approaches are still missing. We propose a novel framework for the continuous testing of multi-...

Bandit methods for black-box optimisation, such as Bayesian optimisation, are used in a variety of applications including hyper-parameter tuning and experiment design. Recently, multifidelity methods have garnered considerable attention since function evaluations have become increasingly expensive in such applications. Multifidelity methods use cheap approximations to the function of interest t...

In this paper, we study a distribution Υ of labeled particles {1, 2, . . . , n} on a continuous ring. It arises in three different ways, all related to the multi-type TASEP on a ring. We prove formulas for the probability density function for some (cylic) permutations and give conjectures for a larger class. We give a complete conjecture for the probability of two particles i, j being next to e...

Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect inconsistencies. However, sophisticated systems such as QSIM and QPE h ave been developed for qualitative modeling and simulation of continuous dynamic systems. We present an integration of these two lines of research as imp...