Zeolites containing Zn in their frameworks are promising materials for ion-exchange and catalysis because of their unique ion-exchange capabilities and characteristic Lewis acidity. However, expensive organic compounds often required in their synthesis can prevent their practical uses. Here, a facile organic-free synthesis route for new zincoaluminosilicate zeolites having MOR topology, in whic...

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your perso...

and the destination points are in different maps. For instance, bus-stop T3 can be reached from C1 by highway line H2 (or H1) to C3 and then by bus trip R1: S 22 (C1H2) ∧ S 34 (C3H2) ∧ T 22 (C3R1) ∧ T 23 (T3R1). Additional types of connections can be defined to express situations involving routes from a station to another. In procedural terms the previous definitions reduce to a search for inte...

The described Fuzzy Controller was implemented in a test car and performed quite well in various driving situations. The behavior of the active accelerator pedal felt very " human like " and fulfilled the requirements described in section 3. The part of a test drive with the Fuzzy ACC presented in Figure 6 shows that the accuracy of the acceleration control was high enough to meet the intention...

The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, λProlog and its linear logic refinement, Lolli [12], provide for various forms of abstraction (modules, abstract data types, higher-order programming) but lack primitives for concurrency. The logic programming language, LO (Linear Objects) [2] pr...