Answer Garden allows organizations to develop databases of commonly asked questions that grow "organically" as new questions arise and are answered. It is designed to help in situations (such as field service organizations and customer "hot lines") where there is a continuing stream of questions, many of which occur over and over, but some of which the organization has never seen before. The sy...

Two logics are implicationally equivalent if the axioms and inference rules of each imply the axioms of the other. Characterizing the inferential equivalences of various formulations of the sentential calculi is thus foundational to the study of logic. Using an automated deduction system, I show that Łukasiewicz's CN can be derived from the sentential calculus, here called GTL, of Hilbert/Acker...

Using an Electric Differential (ED) in electric vehicle has many advantages such as flexibility and direct torque control of the wheels during cornering and risky maneuvers. Despite its reported successes and advantages, the ED has several problems limits its applicability, for instance, an increment of control loops and an increase of computational effort. In this paper, an electric differenti...

The article is devoted to the problem of Diana Ackerman’s creativity. She created a touching and extremely objective book ‘The Zookeeper’s Wife’ showing people suffering from humiliation their human dignity. Ackerman, with endless love anxiety for her characters, describes what close saw experienced during World War II. Her novel, imbued intense deployment tragic actions deeds, does not leave i...

Skid-steered wheeled vehicles are commonly adopted in outdoor environments with the benefits of mobility and flexible structure. However, different from Ackerman turning vehicles, skid-steered do not possess geometric constraint but only dynamic when steered, which leads to motion control state estimation problems for vehicles. The controlling accuracy a vehicle depends largely on feedback info...

Safe mobility for unmanned ground vehicles requires reliable detection of other vehicles, along with precise estimates of their locations and trajectories. Here we describe the algorithms and system we have developed for accurate trajectory estimation of nearby vehicles using an onboard scanning LADAR. We introduce a variable-axis Ackerman steering model and compare this to an independent steer...