Using recent results on integrating induction schemes into decidable theories, a method for generating lemmas useful for reasoning about T -based function definitions is proposed. The method relies on terms in a decidable theory admitting a (finite set of) canonical form scheme(s) and ability to solve parametric equations relating two canonical form schemes with parameters. Using nontrivial exa...

Remote internet voting incorporates many of the core challenges of trusted global computing. In this paper, we present the Kiezen op Afstand (KOA) system. KOA is a Free Software, remote voting system developed for the Dutch government in 2003/2004. In addition to being Open Source, it is also partially formally specified and verified. This paper summarises the work carried out to date on the KO...

Proof-Carrying Code (PCC) is a technique that can be used for safe execution of untrusted code. In a typical instance of PCC, a code receiver establishes a set of safety rules that guarantee safe behavior of programs, and the code producer creates a formal safety proof that proves, for the untrusted code, adherence to the safety rules. Then, the receiver is able to use a simple and fast proof v...

The α-arylation of enolizable aryl ketones can be carried out with aryl halides under transition-metal-free conditions using KOtBu in DMF. The α-aryl ketones thus obtained can be used for step- and cost-economic syntheses of fused heterocycles and Tamoxifen. Mechanistic studies demonstrate the synergetic role of base and solvent for the initiation of the radical process.

A new control method for a cooperative carrying task control problem by two mobile robots is proposed. In the problem, a leading robot is assumed to be controlled by a human directory or remotely. On the other hand, a following robot must be run autonomously anytime without dropping a carrying object. The proposed method based on the receding horizon control (RHC) generates optimal left and rig...

The preparation of oligonucleotide conjugates carrying viologen and fluorescein is described. Reaction of the appropriate carboxyl derivatives with oligonucleotides carrying aliphatic amino groups gave the desired compounds. A simple method for the introduction of the amino group at the 5’-end of the oligonucleotides is reported.

in this paper a performance analysis is presented for a cable-suspended parallel manipulator. experimental results from some first tests are presented and discussed to validate the theoretical calculation of load carrying capacity. the load-carrying capacity during a given trajectory is obtained. this computational technique is tested on a typical planar cable suspended manipulator. the experim...

this paper focuses on the effects of closed- control on the calculation of the dynamic load carrying capacity (dlcc) for mobile-base flexible-link manipulators. in previously proposed methods in the literature of dlcc calculation in flexible robots, an open-loop control scheme is assumed, whereas in reality, robot control is achieved via closed loop approaches which could render the calculated ...

We investigate the existence, uniqueness and Gaussian curvature of the invariant carrying simplices of 3 species autonomous totally competitive Lotka-Volterra systems. Explicit examples are given where the carrying simplex is convex or concave, but also where the curvature is not single-signed. Our method monitors the curvature of an evolving surface that converges uniformly to the carrying sim...

In driving sustainable tourism, the concept of carrying capacity in tourism needs to be applied. This gives a comprehensive emphasis development whether physical, social or economic aspects. If this is applied, it determining situation tourist destination still state that can accepted by stakeholders namely tourists, locals and tour operators. paper, given which one parts capacity. most difficu...