The challenges ahead for bio-inspired 'soft' robotics

THERE ARE MANY different kinds of robots: factory automation systems that weld and assemble car engines; machines that place chocolates into boxes; medical devices that support surgeons in operations requiring high-precision manipulation; cars that drive automatically over long distances; vehicles for planetary exploration; mechanisms for powerline or oil platform inspection; toys and educational toolkits for schools and universities; service robots that deliver meals, clean floors, or mow lawns; and "companion robots" that are real partners for humans and share our daily lives. In a sense, all these robots are inspired by biological systems; it's just a matter of degree. A driverless vehicle imitates animals moving autonomously in the world.© 2012 ACM.

Detecting quantum entanglement by means of local operations and classical communication

Based on the positive maps separability criterion, we present a method for the detection of quantum entanglement of a shared bipartite quantum state, within the "distant labs" paradigm, using only local operations and classical communication.

Noiseless method for checking the Peres separability criterion by local operations and classical communication

We present a method for checking the Peres separability criterion in an arbitrary bipartite quantum state rho(AB) within local operations and classical communication scenario. The method does not require noise operation which is needed in making the partial transposition map physically implementable. The main task for the two observers, Alice and Bob, is to measure some specific functions of the partial transposed matrix. With these functions, they can determine the eigenvalues of rho(T)(AB)(B), among which the minimum serves as an entanglement witness.

Method for measuring two-qubit entanglement of formation by local operations and classical communication

We present a parametrically efficient method for measuring the entanglement of formation E-f in an arbitrarily given unknown two-qubit state rho(AB) by local operations and classical communication. The two observers, Alice and Bob, first perform some local operations on their composite systems separately, by which the desired global quantum states can be prepared. Then they estimate seven functions via two modified local quantum networks supplemented a classical communication. After obtaining these functions, Alice and Bob can determine the concurrence C and the entanglement of formation E-f.

Detecting a set of entanglement measures in an unknown tripartite quantum state by local operations and classical communication

We propose a more general method for detecting a set of entanglement measures, i.e., negativities, in an arbitrary tripartite quantum state by local operations and classical communication. To accomplish the detection task using this method, three observers do not need to perform partial transposition maps by the structural physical approximation; instead, they only need to collectively measure some functions via three local networks supplemented by a classical communication. With these functions, they are able to determine the set of negativities related to the tripartite quantum state.

Method for detecting concurrence without the structural physical approximation by local operations and classical communication

We present a modified method for detecting the concurrence in an arbitrary two-qubit quantum state rho(AB) with local operations and classical communication. In this method, it is not necessary for the two observers to prepare the quantum state rho(AB) by the structural physical approximation. Their main task is to measure four specific functions via two local quantum networks. With these functions they can determine the concurrence and then the entanglement of formation.

hyo-xtm: a set of hyper-graph operations on xml topic map toward knowledge management

Knowledge management is a critical issue for the next-generation web application, because the next-generation web is becoming a semantic web, a knowledge-intensive network. XML Topic Map (XTM), a new standard, is appearing in this field as one of the structures for the semantic web. It organizes information in a way that can be optimized for navigation. In this paper, a new set of hyper-graph operations on XTM (HyO-XTM) is proposed to manage the distributed knowledge resources.HyO-XTM is based on the XTM hyper-graph model. It is well applied upon XTM to simplify the workload of knowledge management.The application of the XTM hyper-graph operations is demonstrated by the knowledge management system of a consulting firm. HyO-XTM shows the potential to lead the knowledge management to the next-generation web.

Manipulator Grasping and Pushing Operations

The primary goal of this research is to develop theoretical tools for analysis, synthesis, application of primitive manipulator operations. The primary method is to extend and apply traditional tools of classical mechanics. The results are of such a general nature that they address many different aspects of industrial robotics, including effector and sensor design, planning and programming tools and design of auxiliary equipment. Some of the manipulator operations studied are: (1) Grasping an object. The object will usually slide and rotate during the period between first contact and prehension. (2) Placing an object. The object may slip slightly in the fingers upon contact with the table as the base aligns with the table. (3) Pushing. Often the final stage of mating two parts involves pushing one object into the other.

Hypothesis Formation and Evaluation in Medical Diagnosis

This thesis describes some aspects of a computer system for doing medical diagnosis in the specialized field of kidney disease. Because such a system faces the spectre of combinatorial explosion, this discussion concentrates on heuristics which control the number of concurrent hypotheses and efficient "compiled" representations of medical knowledge. In particular, the differential diagnosis of hematuria (blood in the urine) is discussed in detail. A protocol of a simulated doctor/patient interaction is presented and analyzed to determine the crucial structures and processes involved in the diagnosis procedure. The data structure proposed for representing medical information revolves around elementary hypotheses which are activated when certain disposing of findings, activating hypotheses, evaluating hypotheses locally and combining hypotheses globally is examined for its heuristic implications. The thesis attempts to fit the problem of medical diagnosis into the framework of other Artifcial Intelligence problems and paradigms and in particular explores the notions of pure search vs. heuristic methods, linearity and interaction, local vs. global knowledge and the structure of hypotheses within the world of kidney disease.

Relation algebra operations on formal contexts.

This paper discusses the use of relation algebra operations on formal contexts. These operations are a generalisation of some of the context operations that are described in the standard FCA textbook (Ganter & Wille, 1999). This paper extends previous research in this area with respect to applications and implementations. It also describes a software tool (FcaFlint) which in combination with FcaStone facilitates the application of relation algebra operations to contexts stored in many formats.