Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system’s behavior analysis, the latter controls the actual diagnosis process. Especially when pursuing qualitative simulation, it makes sense to realize the simulation machinery with a logic calculus as well. Say, a qualitatively described hypothesis can direct...

The two universally required components of the intracellular membrane fusion machinery, SNARE and SM (Sec1/Munc18-like) proteins, play complementary roles in fusion. Vesicular and target membrane-localized SNARE proteins zipper up into an alpha-helical bundle that pulls the two membranes tightly together to exert the force required for fusion. SM proteins, shaped like clasps, bind to trans-SNAR...

Active magnetic bearings (AMBs) are a mature bearing technology that is being applied to many new turbomachines. They have become the bearing of choice for most new turboexpander applications. They are seen as a key enabling technology for compact, high speed, high power density direct-drive generators and turbomachinery. As more and more units are fielded, it will become important that end-use...

Recent work in Optimality Theory (Prince and Smolensky 1993, McCarthy and Prince 1993, to appear) has suggested that phonological regularities can be explained without reference to phonological rules, strictly in terms of constraints on representational wellformedness. A unique aspect of Optimality Theory (OT) is that candidates are evaluated in parallel: there is no serial derivation. Given th...

Ausgehend von Thomas Nagels Aufsatz " What is it like to be a bat? " und Alan Turings Aufsatz " Computing machinery and intelligence " wird argumentiert, das eine erfolgreiche Interaktion von Menschen und autonomen artifiziellen Agenten vor allem darauf beruht, welche Eigenschaften Menschen jenen Agenten zuschreiben und nicht so sehr, ob diese Agenten jene Eigenschaften wirklich besitzen. Diese...

Alan Turing begins his 1950 Mind article, “Computing Machinery and Intelligence,” with the following straightforward pronouncement: “I propose to consider the question ‘Can machines think?’ ” He quickly (too quickly?) argues for “replacing” the original question with another “which is closely related to it and is expressed in relatively unambiguous words.” (Please note the vagueness of the clai...

This paper outlines the iterative stages involved in designing and developing a blended course of English for General Academic Purposes (EGAP) at Osaka University. First, the basic Successive Approximation Model (SAM 1) is introduced as the guiding instructional design model upon which the course was created. Afterward, the stages of design and development of the blended course are explained wi...