simulation@uflorida.cis.ufl.edu (Moderator: Paul Fishwick) (05/23/91)
Volume: 21, Issue: 10, Wed May 22 22:43:28 EDT 1991 +----------------+ | TODAY'S TOPICS | +----------------+ (1) CALL: European Conference on Artificial Intelligence (2) SOFTWARE: Parallaxis Version 2.0 (3) Simulation and Modeling of Multiprocessors (4) WANTED: Public Domain Finite Element Software (5) Dynamic Articulation of Articulated Objects (6) Simulation of Digital Systems (7) WANTED: Book Material * Moderator: Paul Fishwick, Univ. of Florida * Send topical mail to: simulation@bikini.cis.ufl.edu OR post to comp.simulation via USENET * Archives available via FTP to bikini.cis.ufl.edu (128.227.224.1). Login as 'ftp', use your last name as the password, change directory to pub/simdigest. Do 'type binary' before any file xfers. * Simulation Tools available by doing above and changing the directory to pub/simdigest/tools. ----------------------------------------------------------------------------- Date: Tue, 14 May 91 15:36:27 +0200 From: ai-vie!paolo@relay.EU.net (paolo petta) To: LANTRA-L@FINHUTC.bitnet, NEURON@csl.ti.com, NL-KR@CS.ROCHESTER.EDU, PROLOG@SUSHI.STANFORD.EDU, VISION-LIST@ADS.COM, lseward@RAND.ORG, simulation@UFL.EDU Subject: *** ECAI'92 *** CALL FOR PAPERS (plain text version) ======================================================================= CALL FOR PAPERS - ECAI92 - CALL FOR PAPERS - ECAI92 - CALL FOR PAPERS ======================================================================= CALL FOR PAPERS 10th European Conference on Artificial Intelligence (ECAI 92) August 3-7, 1992, Vienna, Austria The European Conference on Artificial Intelligence (ECAI) is the European forum for scientific exchange and presentation of AI research. The aim of the conference is to cover all aspects of AI research and to bring together basic research and applied research. The Technical Programme will include paper presentations, invited talks, panels, workshops, and tutorials. The conference is designed to cover all subfields of AI, including non-symbolic methods. ECAIs are held in alternate years and are organized by the European Coordinating Committee for Artificial Intelligence (ECCAI). The 10th ECAI in 1992 will be hosted by the Austrian Society for Artificial Intelligence (OGAI). The conference will take place at the Vienna University of Economics and Business Administration. TOPICS OF INTEREST You are invited to submit an original research paper on any of the following subjects: - Automated Reasoning (e.g. automatic programming, reasoning with uncertainty, theorem proving, constraint satisfaction, logic programming, search) - Cognitive Modeling (e.g. models for human problem solving and information processing, memory models, computational theories in psychology) - Connectionist and PDP Models for AI (e.g. connectionist architectures, connectionist learning, neural networks applications) - Distributed AI and Multiagent Systems (e.g. distributed problem solving, distributed resource allocation, communication, cooperation) - Enabling Technology and Systems (e.g. machine architectures, AI computer languages, tools for AI system development) - Integrated Systems (e.g. integrating several AI components, embedded AI, integrating AI and conventional systems) - Knowledge Representation (e.g. terminological knowledge, nonmonotonic logic, foundations of temporal, causal and spatial reasoning, abduction, common sense, complexity of reasoning) - Machine Learning (e.g. inductive learning, knowledge intensive learning, discovery, concept formation) - Natural Language (e.g. text generation and understanding, speech understanding, syntax, semantics, discourse, representation issues, NL system architecture) - Philosophical Foundations (e.g. philosophy of mind, functionalism and AI, epistemological foundations) - Planning, Scheduling, and Reasoning about Actions (e.g. temporal and causal reasoning for planning, task scheduling, plan recognition, resource allocation) - Principles of AI Applications (e.g. generic applications, expert system design, tutoring systems, knowledge acquisition, case-based reasoning) - Reasoning about Physical Systems (e.g. modeling, model-based simulation, qualitative reasoning, diagnosis, design, monitoring, applications of causal, temporal and spatial reasoning for engineering, scientific, medical, economic problems) - Robotics (e.g. connecting perception to action, sensor-motor systems, kinematics, navigation, grasping) - Social, Economic, Legal, and Artistic Implications (e.g. AI scenarios, ethical issues, legal issues and responsibility, AI and music) - User Interfaces (e.g. intelligent graphical interfaces, natural language front ends, user models, knowledge-based information presentation, artificial reality) - Verification, Validation & Test of Knowledge-Based Systems (e.g. improving and securing consistency, completeness, reliability) - Vision and Signal Understanding (e.g. vision and perception in biological and technical systems, sensor interpretation, intelligent signal interpretation) SUBMISSION OF PAPERS Authors are requested to submit to the Programme Chairperson 5 copies of papers written in English in hardcopy format (electronic and fax submissions will not be accepted). Submitted papers must be unpublished, original work and substantially different from papers currently under review. They must not be submitted elsewhere before notification date. This restriction does not apply to workshops and similar specialized presentations with a limited audience. Papers can be either long papers (completed research: maximum 5000 words / 10 single-spaced pages) or short papers (ongoing research: maximum 2000 words / 4 pages). Each full page of figures counts as 500 words. Each paper should contain an abstract (maximum 200 words). A separate title page should include the title, the name(s) of the author(s), complete address(es), the specification of one of the above topics, and the category long or short. Papers should be printed on A4 or 8.5"x11" sized paper in letter quality print, with 12 point type (10 chars/inch on typewriter). Work described in an accepted paper may also be illustrated with a videotape or a demo. Special sessions will be scheduled for video presentations and demos. Authors wishing to show a videotape or a demo should specify the duration and the requirements of the videotape/demo when submitting their paper for review. TIMETABLE Papers must be received by the Programme Chairperson before January 17, 1992. Authors will be notified of acceptance or rejection by April 1, 1992. Final camera-ready papers must be received by May 15, 1992. WORKSHOPS Workshops are welcome at ECAI 92. They will give participants the opportunity to discuss specific technical topics in a small, informal environment, which encourages interaction and exchange of ideas. Workshop proposals should be sent to the Programme Chairperson as soon as possible, but not later than January 17, 1992. Workshop proposals should contain a brief description of the workshop and the technical issues addressed, a preliminary schedule, and the names and addresses (postal, phone, fax, e-mail) of the Organizing Committee of the workshop. The proposals will be reviewed and the organizers will be notified not later than February 28, 1992. The organizers are responsible for producing a call for participation, for reviewing requests to participate and for scheduling the workshop activities within the constraints set by the conference organizers. Workshops will be scheduled outside the main technical programme. ECAI PRIZE A prize for the best paper as determined by the Programme Committee will be awarded; the Digital Equipment Prize will also be awarded at ECAI 92. PROGRAMME CHAIRPERSON Papers, workshop proposals and all inquiries regarding the programme should be sent to the Programme Chairperson: Prof. Bernd Neumann FB Informatik University of Hamburg Bodenstedtstr.16 D-W-2000 Hamburg 50 Germany PROGRAMME COMMITTEE Luigia Carlucci Aiello, Italy Ramon Lopez de Mantaras, Spain Giuseppe Attardi, Italy David Makinson, France Wolfgang Bibel, Germany Robert Milne, United Kingdom Mike Brady, United Kingdom Katharina Morik, Germany Ivan Bratko, Yugoslavia Bernhard Nebel, Germany Alan R. Bundy, United Kingdom Wolfgang Nejdl, Austria Stephan Busemann, Germany Erkki Oja, Finland Rolf Eckmiller, Germany Eugenio Oliveira, Portugal Jan-Olof Eklundh, Sweden Domenico Parisi, Italy Boi Faltings, Switzerland Radoslav Pavlov, Bulgaria Olivier Faugeras, France Henri Prade, France Francoise Fogelman-Soulie, France Peter Raulefs, USA Christian Freksa, Germany Graeme D. Ritchie, United Kingdom Peter Gardenfors, Sweden Lorenza Saitta, Italy Volker Haarslev, Germany Erik Sandewall, Sweden Eva Hajicova, Czechoslovakia Aaron Sloman, United Kingdom Werner Horn, Austria Karen Sparck-Jones, United Kingdom Gerard Kempen, The Netherlands Sam Steel, United Kingdom Dietrich Koch, Germany Luc Steels, Belgium Yves Kodratoff, France Pietro Torasso, Italy Jan Koenderink, The Netherlands Robert Trappl, Austria Jean-Pierre Laurent, France Enn Tyugu, USSR Maurizio Lenzerini, Italy OTHER ACTIVITIES AND INQUIRIES ECAI 92 will present a set of tutorials which will focus both on AI topics from the practical perspective and on topics about emerging AI technologies. All inquiries regarding tutorials should be directed to the Tutorial Chairperson, Werner Horn, Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010 Vienna, Austria (tel: +43-1-53532810, fax: +43-1-630652, email: werner@ai-vie.uucp). For inquiries about registration (scientific programme and tutorials), accommodation and other local arrangements you should contact the ECAI92 Conference Office, ADV, Trattnerhof 2, A-1010 Vienna, Austria (tel: +43-1-5330913-74, fax: +43-1-5330913-77, telex: 75311178 adv a). All inquiries regarding other activities should be directed to the Local Arrangements Chairperson, Johannes Retti, Siemens AG, Abt.EK4, Goellnergasse 15, A-1030 Vienna, Austria (tel: +43-1-71711-5030, fax: +43-1-71711-5120, email: retti%siewien.uucp@relay.eu.net). ------------------------------ From: Thomas Braeunl <Braeunl@informatik.uni-stuttgart.de> Date: Thu, 16 May 91 14:00:51 +0200 To: simulation@bikini.cis.ufl.edu Subject: comp.simulation posting ___________________________________________________________________ THE P A R A L L A X I S MASSIVELY PARALLEL PROGRAMMING SYSTEM ___________________________________________________________________ ----------------------------------- Announcing Parallaxis Version 2.0 ----------------------------------- Parallaxis is a procedural programming language based on Modula-2, but extended for data parallel (SIMD) programming. It has been developed at the Universitaet Stuttgart (Germany) and is in the public domain since 1990. The main approach for machine independent parallel programming is to include a description of the virtual parallel machine with each parallel algorithm. The declaration includes the number of identical processors with local memory (PEs), the names of communication ports, and the network topology for data exchange among PEs. With this information contained in each program, the parallel algorithm becomes simpler (e.g. symbolic names for communication directions) and easier to understand. In Version 2 we extended the language in several ways: o multiple configuration and connection structures allow semi-dynamic topologies o new data exchange operations for exchanging data with inactive PEs and with implicit reductions allow general m:n connections o data structures pointer and variant record have been added The simulation system has also been extended: o compiler optionally generates cross-reference files for the o symbolic debugger on Parallaxis source level The Parallaxis system comprises a compiler and a simulator (except for the MasPar, which is the only parallel implementation as of today). The versions currently available are: * IBM-PC (DOS) * Apple Macintosh (MAC OS) * Sun3 w/ coproc. (OS 4.0) * Sun3 w/o coproc. (OS 4.0) * SPARCstation / Sun4 (OS 4.0) * DECstation (Ultrix) * VAXstation (Ultrix) * HP 9000/300 (Unix) * HP /800 series (Unix) * Cray-2 (scalar only, sorry) * Apollo (available soon) * MasPar MP-1 (available July 1991) The software packages and a number of example programs are available via "anonymous ftp" from: ftp.informatik.uni-stuttgart.de (129.69.211.1) in subdirectory pub/parallaxis Please send remarks and bug reports to: braunl@informatik.uni-stuttgart.de There is also a new User Manual for Parallaxis Version 2.0 . You may order a copy by sending a fee (cash or cheque) of DM 10.00 (Europe) or US$ 15.00 (outside Europe) to: Thomas Braunl, Univ. Stuttgart IPVR Breitwiesenstr. 20-22, D-7000 Stuttgart 80 Germany ========================================================================== Thomas Braunl e-mail: braunl@informatik.uni-stuttgart.de Univ. Stuttgart IPVR, Breitwiesenstr. 20-22, D-7000 Stuttgart 80, Germany ========================================================================== ------------------------------ To: comp-simulation@uunet.uu.net Path: arizona!pagels From: pagels@cs.arizona.edu (Michael A. Pagels) Newsgroups: comp.arch,comp.os.research,comp.simulation Subject: Request for references: Multiprocessor OS simulation Date: 16 May 91 17:03:47 GMT Sender: news@cs.arizona.edu Reply-To: pagels@cs.arizona.edu (Michael A. Pagels) Organization: U of Arizona, CS Dept, Tucson I'm having difficulty locating references in the following two areas, so I would be obliged for your assistance in providing citations. - Simulation and modeling of multiprocessor operating systems. - Simulation and modeling of multiprocessor architectures. To date I have a reasonable amount of information on Tango, Simon and the Chief simulation environments. Please reply via EMail, and I'll post a bibliography of responses. Thanks in advance. ------------------------------ Date: Sat, 18 May 91 14:32:55 -0400 From: "Paul Fishwick" <fishwick@fish.cis.ufl.edu> To: simulation@ufl.edu Subject: Public Domain Finite Element Software I am looking around to see if there is any available finite element software written in C. I notice that some of the FE textbooks include software with them. Does anyone have such software available through e-mail or FTP? Thanks for any responses. -paul f. +-------------------------------------------------------------------------+ | Prof. Paul A. Fishwick.............. INTERNET: fishwick@fish.cis.ufl.edu| | Complex Systems and Simulation Group UUCP: gatech!uflorida!fishwick | | Dept. of Computer Science........... PHONE: (904) 392-1414 | | University of Florida............... FAX: (904) 392-1220 | | Bldg. CSE, Room 301................. | | Gainesville, FL 32611............... | +-------------------------------------------------------------------------+ ------------------------------ Date: Mon, 20 May 1991 16:35 +8:00 From: "puchm@cutmcvax.cs.curtin.edu.au"@cc.curtin.edu.au Subject: dynamic simulation of articulated objects To: comp-simulation@munnari.oz.au X-Envelope-To: comp-simulation@munnari.oz.au X-Vms-To: in::"comp-simulation@munnari.oz.au" Dear net, I am interested in any and all references to ARTICLES (from magazines and journals) about dynamic simulation of articulated objects. Thanks, Richard. -- Richard Puchmayer == puchm@cutmcvax.cs.curtin.edu.au | Some of us are poets, Masters Student at Curtin University of Technology, WA.| some of us are not! -------------------------------------------------------+------------------------ I know nothing, so can hold no opinions for myself or others... ------------------------------ To: comp-simulation@iraun1.ira.uka.de Path: ifistg!lanches@adam.informatik.uni-stuttgart.de From: Philipp Lanches <Lanches@informatik.uni-stuttgart.de> Newsgroups: comp.simulation Subject: Simulation of digital systems Date: 22 May 91 15:51:22 GMT Sender: news@informatik.uni-stuttgart.de Organization: Informatik, Uni Stuttgart, W.Germany Originator: lanches@adam I am interested in principles and techniques of mixed simulation for digital systems at different levels of abstraction (system-, RT-, gate-level). I would appreciate if anybody could give me a pointer to fundamental literature and/or basic papers concerning this topic. Methods and algorithms for parallel and distributed simulation would be of particular interest since we are using a message-passing oriented, transputer-based machine at our site. Please send your responses directly by e-mail. If anybody is interested, I will post a summary to the net. Thank you. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ Philipp Lanches IPVR/ISE, Universitaet Stuttgart e-mail: Breitwiesenstr. 20-22 lanches@informatik.uni-stuttgart.de W-7000 Stuttgart 80 (F.R.G) -- +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ Philipp Lanches IPVR/ISE, Universitaet Stuttgart e-mail: Breitwiesenstr. 20-22 lanches@informatik.uni-stuttgart.de W-7000 Stuttgart 80 (F.R.G) ------------------------------ Newsgroups: comp.simulation,comp.theory.self-org-sys,sci.bio.technology,sci.edu,sci.math,sci.math.stat,sci.med.physics,sci.nanotech,bionet.population-bio,bionet.sci-resources,bionet.software Path: mwitten From: mwitten@hermes.chpc.utexas.edu (Matthew Witten) Subject: REQUEST FOR ASSISTANCE Sender: news@hermes.chpc.utexas.edu Nntp-Posting-Host: morpheus.chpc.utexas.edu Reply-To: mwitten@hermes.chpc.utexas.edu (Matthew Witten) Organization: The University of Texas System CHPC Date: Wed, 22 May 91 14:19:26 GMT Apparently-To: uunet!comp-parallel Dear Reader: I am writing this note to solicit reprints/preprints for a book that I am writing. The book is called Frankenstein In The Machine (Pergamon Press). It is aimed at being a comprehensive study of the role of high performance computing in medicine/biology/dentistry/allied health sciences. The book is in its final stages of organization. I am trying to make the book relatively comprehensive. I am looking for the following items: (1)Color pictures/black and white graphics (slides/prints) of actual results. Same areas are -medical imaging -molecular visualization -simulation visualization -microscopy -medical visualization but are not limited to these areas. I will make copies of anything sent to me and gladly return it to you. In addition, I will acknowledge all figures used in the book. If you send pictures, please include appropriate citation/legend (2)Copies of reprints/preprints in the area of computational medicine, dentistry, veterinary medicine, and allied health sciences. Areas include, not exclusively, -computational physiology and metabolism -computational pharmacology, pharmacodynamics, drug design -computational chemistry -demography, epidemiology, and statistics/biostatistics -disease modeling -cell biology -radiology -surgery -cardiology -renal function, brain modeling, neurophysiology, bone modeling joint modeling -issues in teaching (3)Names and addresses of individuals working in areas related to the above and who might be interested in contributing to it. I am trying to make this as complete a book as possible and do not wish to commit the faux pas of forgetting someone, if at all possible. Please feel free to circulate copies of this note, to repost copies of this note, and to discuss the book with others. I am setting an end of July 1991 target for receipt of materials. However, I am willing to be flexible if necessary. If you are interested in being kept informed about this project, please also let me know. My contact information is below. Please feel free to contact me if you have any further questions. Matthew Witten, Ph.D. Director, Applications Research & Development Associate Director, UT System Center For High Performance Computing Balcones Research Center, 1.154 CMS 10100 Burnet Road, Austin, TX 78758-4497 USA Phone: (512) 471-2472 FAX: (512) 471-2445/2449 E-MAIL MWITTEN@HERMES.CHPC.UTEXAS.EDU or MWITTEN@UTCHPC.BITNET _____________________________________________________________________ Matthew Witten, Ph.D. Director, Applications Research & Development Associate Director, UT System Center For High Performance Computing Balcones Research Center, 1.154 CMS 10100 Burnet Road, Austin, TX 78758-4497 USA Phone: (512) 471-2472 FAX: (512) 471-2445/2449 E-MAIL MWITTEN@HERMES.CHPC.UTEXAS.EDU or MWITTEN@UTCHPC.BITNET "some intellectuals make their living by creating obscurities for the rest of us to puzzle over" _____________________________________________________________________ ------------------------------ END OF SIMULATION DIGEST ************************