@article{16700, author = {{Karp, R. M. and Luby, M. and Meyer auf der Heide, Friedhelm}}, issn = {{0178-4617}}, journal = {{Algorithmica}}, pages = {{517--542}}, title = {{{Efficient PRAM simulation on a distributed memory machine}}}, doi = {{10.1007/bf01940878}}, year = {{1996}}, } @inproceedings{16896, author = {{Volbracht, S. and Domik, Gitta and Shahrbabaki, K. and Fels, G.}}, booktitle = {{Proceedings of IEEE Visualization }}, location = {{San Francisco, USA}}, pages = {{8--11}}, title = {{{An Experimental Comparison of 3D Display Modes}}}, year = {{1996}}, } @inproceedings{11767, abstract = {{This paper tells the story of the design of a command-based speech interface for a voice mail system. Speech recognition was integrated in the voice mail system in order to allow the remote interrogation of messages in a speech-only dialogue. Our design goal was that consumers would perceive voice control as a clear benefit versus touch-tone control. It is shown how the speech interface was designed in a top-down approach. We started with a concept development and tested it by means of a Wizard-of-Oz simulation. After refining the concept in parallel design, the design was implemented in a high-fidelity prototype. By means of qualitative user testing it was improved in three iteration steps. We verified the achievement of our design goal with tests in two countries}}, author = {{Gamm, Stephan and Haeb-Umbach, Reinhold and Langmann, Detlev}}, booktitle = {{IEEE Workshop on Interactive Voice Technology for Telecommunications Applications}}, title = {{{Findings with the Design of a Command-Based Speech Interface for a Voice Mail System}}}, year = {{1996}}, } @inproceedings{15293, author = {{Hüllermeier, Eyke}}, booktitle = {{International Symposium on Soft Computing, Reading U.K.}}, editor = {{Anderson, P.G. and Warwick, K.}}, pages = {{B230--B236}}, publisher = {{ICSC Academic Press}}, title = {{{A fuzzy simulation method}}}, year = {{1996}}, } @inproceedings{30069, author = {{Sun, J. and Grotstollen, H.}}, booktitle = {{PESC Record. 27th Annual IEEE Power Electronics Specialists Conference}}, publisher = {{IEEE}}, title = {{{Fast time-domain simulation by waveform relaxation methods}}}, doi = {{10.1109/pesc.1996.548800}}, year = {{1996}}, } @misc{17956, author = {{Peckhaus, Volker}}, booktitle = {{zbMATH Open, Zbl. 0849.00032}}, title = {{{Casati, Roberto/Smith, Barry/White, Graham (Hgg.), Philosophy of the Cognitive Sciences. Proceedings of the 16th International Wittgenstein-Symposium, 15–22 August 1993, Kirchberg am Wechsel, Austria, Hölder-Pichler-Tempsky: Wien 1994 (= Schriftenreihe der Wittgenstein-Gesellschaft; 21)}}}, year = {{1996}}, } @misc{17913, author = {{Peckhaus, Volker}}, booktitle = {{zbMATH Open, Zbl. 0833.01017}}, title = {{{Franchella, Miriam, “L.E.J. Brouwer: Toward Intuitionistic Logic”, Historia Mathematica 22 (1995), 304–322}}}, year = {{1996}}, } @misc{17950, author = {{Peckhaus, Volker}}, booktitle = {{zbMATH Open, Zbl. 0849.00015}}, title = {{{De Caro, Mario, “Galileo’s Mathematical Platonism”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 13–22}}}, year = {{1996}}, } @article{27950, author = {{Bigga, Regine}}, journal = {{ARBEIT UND TECHNIK in der Schule}}, pages = {{386--387}}, title = {{{Sicherheitserziehung - ein Thema für den Arbeitslehreunterricht.}}}, volume = {{10}}, year = {{1996}}, } @inproceedings{39517, author = {{Dücker, Marita and Lehrenfeld, Georg and Müller, Wolfgang}}, booktitle = {{Proceedings of the 10th European Simulation Multiconference (ESM'96)}}, title = {{{Specification and Analysis of Concurrent Systems in a Complete Visual Environment}}}, year = {{1996}}, } @inproceedings{39526, abstract = {{The main goal of the article is to evaluate the suitability of visual programming languages, i.e., Pictorial Janus (K. Kahn and V. Saraswat, 1990), for the modeling of complex systems and their control strategies. These systems can be seen as networks of communicating objects. Objects select strategies for suitable actions based on incoming messages. Our field of investigation is in computer integrated manufacturing considering the example of a car manufacturing cell. This color sorting assembly buffer (CSAB) schedules jobs in queues. The jobs represent car bodies scheduled in feeder lines for the enameling. Feeder lines collect raw bodies to blocks. Blocks are bodies which are to be enameled by the same color. This organization decreases the cost of expensive change-over-times when changing colors at the enamelling. Blocks of bodies are dislocated from the queue and enameled successively. Contradictory system goals, such as minimizing color changes and preserving the sequence of incoming jobs, have to be regarded by appropriate control strategies. Due to the complexity of this (NP complete) problem and to real time requirements for online control there are no optimal strategies on hand. Consequently, suitable heuristics have to be developed. Often they are designed applying a trial-and-error method. A modeling framework has to support the rapid prototyping of these systems as well as an expressive end user oriented representation. Both are essential requirements since end users need other visualization techniques than experienced designers due to their different knowledge and interests.}}, author = {{Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang and Quintanilla, J. and Tahedl, C. and Weber, A.}}, booktitle = {{Proceedings of the 1996 IEEE Symposium on Visual Languages}}, isbn = {{0-8186-7508-X}}, keywords = {{Computer integrated manufacturing, Job shop scheduling, Processor scheduling, Computer languages, Control system synthesis, Computer aided manufacturing, Sorting, Assembly, Costs, Control systems}}, title = {{{Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing}}}, doi = {{10.1109/VL.1996.545302}}, year = {{1996}}, } @article{13794, author = {{Käckell, Peter and Schmidt, Wolf Gero and Bechstedt, Friedhelm}}, issn = {{0169-4332}}, journal = {{Applied Surface Science}}, pages = {{141--146}}, title = {{{Se-induced 3d core-level shifts of GaAs(110)}}}, doi = {{10.1016/s0169-4332(96)00135-3}}, volume = {{104-105}}, year = {{1996}}, } @article{13790, author = {{Schmidt, Wolf Gero and Käckell, P. and Bechstedt, F.}}, issn = {{0039-6028}}, journal = {{Surface Science}}, pages = {{545--549}}, title = {{{3d core-level shifts at}}}, doi = {{10.1016/0039-6028(96)00220-8}}, volume = {{357-358}}, year = {{1996}}, } @article{16551, abstract = {{ Spiral patterns have been observed experimentally, numerically, and theoretically in a variety of systems. It is often believed that these spiral wave patterns can occur only in systems of reaction–diffusion equations. We show, both theoretically (using Hopf bifurcation techniques) and numerically (using both direct simulation and continuation of rotating waves) that spiral wave patterns can appear in a single reaction–diffusion equation [ in u(x, t)] on a disk, if one assumes "spiral" boundary conditions (ur = muθ). Spiral boundary conditions are motivated by assuming that a solution is infinitesimally an Archimedian spiral near the boundary. It follows from a bifurcation analysis that for this form of spirals there are no singularities in the spiral pattern (technically there is no spiral tip) and that at bifurcation there is a steep gradient between the "red" and "blue" arms of the spiral. }}, author = {{Dellnitz, Michael and Golubitsky, Martin and Hohmann, Andreas and Stewart, Ian}}, issn = {{0218-1274}}, journal = {{International Journal of Bifurcation and Chaos}}, pages = {{1487--1501}}, title = {{{Spirals in Scalar Reaction–Diffusion Equations}}}, doi = {{10.1142/s0218127495001149}}, year = {{1995}}, } @article{10610, author = {{Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold}}, journal = {{J.UCS Journal of Universal Computer Science}}, pages = {{811--820}}, publisher = {{Springer}}, title = {{{Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation}}}, volume = {{12}}, year = {{1995}}, } @inproceedings{15295, author = {{Hüllermeier, Eyke}}, booktitle = {{in Proceedings ISFL-95 International Symposium on Logic, Zürich}}, pages = {{B49--B56}}, publisher = {{ICSC Academic Press}}, title = {{{Rule-based modelling in fuzzy simulation}}}, year = {{1995}}, } @inproceedings{15305, author = {{Hüllermeier, Eyke}}, booktitle = {{in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin}}, pages = {{401--404}}, publisher = {{Gordon and Breach Publishers}}, title = {{{Fuzzy polynomial and spline interpolation}}}, year = {{1995}}, } @inbook{16236, author = {{Hüllermeier, Eyke}}, booktitle = {{Moderne Makroökonomie-Eine kritische Bestandsaufnahme}}, editor = {{Flemmig, J.}}, pages = {{413--454}}, publisher = {{Metropolis}}, title = {{{Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung}}}, year = {{1995}}, } @inproceedings{13469, author = {{Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold }}, booktitle = {{Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing }}, pages = {{311--318}}, publisher = {{IEEE CS Press}}, title = {{{A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs}}}, year = {{1995}}, } @inproceedings{13471, author = {{Friedl, Gerald and Platzner, Marco and Rinner, Bernhard}}, booktitle = {{Proceedings of the EURO-PAR'95 International Conference on Parallel Processing}}, pages = {{695--698}}, publisher = {{Springer International Publishing}}, title = {{{A Special-Purpose Coprocessor for Qualitative Simulation}}}, year = {{1995}}, }