This document provides the proceedings from the 6th World Multiconference on Systemics, Cybernetics and Informatics held from July 14-18, 2002 in Orlando, Florida. It contains over 150 papers presented in 16 sessions covering topics in computer science, mathematics, engineering, and intelligent systems.
Innovative query interfaces to knowledge and database systems must go beyond simply returning the re- quested information. They must be capable of produc- ing intentional answers when a description improves the understanding of an answer [Mot94], producing conditional answers when no one answer matches the conditions of a query, and using ontological informa- tion in processing a query. They should be able to call upon stand-alone reasoning modules that are most suitable for a given query. When answering a question involves reasoning beyond a simple lookup, the system must be able to explain the answer to the user.
Understanding narrative text is more than simple information extraction on a sentence-by-sentence basis. To comprehend the true meaning of a narrative requires determining the connections between the sentences and the effect of one event on other events. This story understanding process can be greatly enhanced by the use of event descriptor templates that begin with the basic journalistic questions of who, what, when, where, why, and how but that go beyond these simple basics to address more complex relationships: role playing, context, impact, causality, and interests. Previously, representing story narratives as knowledge representations has required intensive manual effort on the part of trained knowledge engineers to correctly encode the contents of stories into a knowledge base (KB). For large volumes of text, this becomes impractical, limiting the usefulness of KB-based systems in question-answering. This paper describes a means of automating the narrative representation process by using event descriptor templates to elicit critical narrative information to be encoded in a knowledge based system.
Innovative query interfaces to knowledge and database systems must go beyond simply returning the re- quested information. They must be capable of produc- ing intentional answers when a description improves the understanding of an answer [Mot94], producing conditional answers when no one answer matches the conditions of a query, and using ontological informa- tion in processing a query. They should be able to call upon stand-alone reasoning modules that are most suitable for a given query. When answering a question involves reasoning beyond a simple lookup, the system must be able to explain the answer to the user.
Understanding narrative text is more than simple information extraction on a sentence-by-sentence basis. To comprehend the true meaning of a narrative requires determining the connections between the sentences and the effect of one event on other events. This story understanding process can be greatly enhanced by the use of event descriptor templates that begin with the basic journalistic questions of who, what, when, where, why, and how but that go beyond these simple basics to address more complex relationships: role playing, context, impact, causality, and interests. Previously, representing story narratives as knowledge representations has required intensive manual effort on the part of trained knowledge engineers to correctly encode the contents of stories into a knowledge base (KB). For large volumes of text, this becomes impractical, limiting the usefulness of KB-based systems in question-answering. This paper describes a means of automating the narrative representation process by using event descriptor templates to elicit critical narrative information to be encoded in a knowledge based system.
sosp2011 socc2011 plos2011 Report
23rd ACM Symposium on Operating Systems Principles (SOSP)October 23-26, 2011, Cascais, Portugal
http://sosp2011.gsd.inesc-id.pt/
2nd ACM Symposium on Cloud Computing October 26-28, 2011, Cascais, Portugal
http://socc2011.gsd.inesc-id.pt/
6th Workshop on Programming Languages and Operating Systems, October 23, 2011, Cascais, Portugal
http://plosworkshop.org/2011/
June 2020: Most Downloaded Article in Soft Computing ijsc
Soft computing is likely to play an important role in science and engineering in the future. The successful applications of soft computing and the rapid growth suggest that the impact of soft computing will be felt increasingly in coming years. Soft Computing encourages the integration of soft computing techniques and tools into both everyday and advanced applications. This Open access peer-reviewed journal serves as a platform that fosters new applications for all scientists and engineers engaged in research and development in this fast growing field.
Dr. Jay Myung presents an overview of his program, Computational Cognition and Robust Decision Making, at the AFOSR 2013 Spring Review. At this review, Program Officers from AFOSR Technical Divisions will present briefings that highlight basic research programs beneficial to the Air Force.
In this deck from the Perth HPC Conference, Rob Farber from TechEnablement presents: AI is Impacting HPC Everywhere.
"The convergence of AI and HPC has created a fertile venue that is ripe for imaginative researchers — versed in AI technology — to make a big impact in a variety of scientific fields. From new hardware to new computational approaches, the true impact of deep- and machine learning on HPC is, in a word, “everywhere”. Just as technology changes in the personal computer market brought about a revolution in the design and implementation of the systems and algorithms used in high performance computing (HPC), so are recent technology changes in machine learning bringing about an AI revolution in the HPC community. Expect new HPC analytic techniques including the use of GANs (Generative Adversarial Networks) in physics-based modeling and simulation, as well as reduced precision math libraries such as NLAFET and HiCMA to revolutionize many fields of research. Other benefits of the convergence of AI and HPC include the physical instantiation of data flow architectures in FPGAs and ASICs, plus the development of powerful data analytic services."
Learn more: http://www.techenablement.com/
and
http://hpcadvisorycouncil.com/events/2019/australia-conference/agenda.php
Sign up for our insideHPC Newsletter: http://insidehpc.com/newsletter
2019년 파이콘 한국에서 진행된 튜토리얼 자료입니다. 최재식 교수님께서 설명가능인공지능이란 무엇인가에 대해 발표해주신 Part 1 발표자료입니다. 아래 링크를 통해 행사 관련 정보를 확인하실 수 있습니다.
http://xai.unist.ac.kr/Tutorial/2018/
https://github.com/OpenXAIProject/PyConKorea2019-Tutorials
Part 1: https://www.slideshare.net/OpenXAI/2019-part-1
Part 2: https://www.slideshare.net/OpenXAI/2019-lrp-part-2
Part 3: https://www.slideshare.net/OpenXAI/2019-shap-part-3
sosp2011 socc2011 plos2011 Report
23rd ACM Symposium on Operating Systems Principles (SOSP)October 23-26, 2011, Cascais, Portugal
http://sosp2011.gsd.inesc-id.pt/
2nd ACM Symposium on Cloud Computing October 26-28, 2011, Cascais, Portugal
http://socc2011.gsd.inesc-id.pt/
6th Workshop on Programming Languages and Operating Systems, October 23, 2011, Cascais, Portugal
http://plosworkshop.org/2011/
June 2020: Most Downloaded Article in Soft Computing ijsc
Soft computing is likely to play an important role in science and engineering in the future. The successful applications of soft computing and the rapid growth suggest that the impact of soft computing will be felt increasingly in coming years. Soft Computing encourages the integration of soft computing techniques and tools into both everyday and advanced applications. This Open access peer-reviewed journal serves as a platform that fosters new applications for all scientists and engineers engaged in research and development in this fast growing field.
Dr. Jay Myung presents an overview of his program, Computational Cognition and Robust Decision Making, at the AFOSR 2013 Spring Review. At this review, Program Officers from AFOSR Technical Divisions will present briefings that highlight basic research programs beneficial to the Air Force.
In this deck from the Perth HPC Conference, Rob Farber from TechEnablement presents: AI is Impacting HPC Everywhere.
"The convergence of AI and HPC has created a fertile venue that is ripe for imaginative researchers — versed in AI technology — to make a big impact in a variety of scientific fields. From new hardware to new computational approaches, the true impact of deep- and machine learning on HPC is, in a word, “everywhere”. Just as technology changes in the personal computer market brought about a revolution in the design and implementation of the systems and algorithms used in high performance computing (HPC), so are recent technology changes in machine learning bringing about an AI revolution in the HPC community. Expect new HPC analytic techniques including the use of GANs (Generative Adversarial Networks) in physics-based modeling and simulation, as well as reduced precision math libraries such as NLAFET and HiCMA to revolutionize many fields of research. Other benefits of the convergence of AI and HPC include the physical instantiation of data flow architectures in FPGAs and ASICs, plus the development of powerful data analytic services."
Learn more: http://www.techenablement.com/
and
http://hpcadvisorycouncil.com/events/2019/australia-conference/agenda.php
Sign up for our insideHPC Newsletter: http://insidehpc.com/newsletter
2019년 파이콘 한국에서 진행된 튜토리얼 자료입니다. 최재식 교수님께서 설명가능인공지능이란 무엇인가에 대해 발표해주신 Part 1 발표자료입니다. 아래 링크를 통해 행사 관련 정보를 확인하실 수 있습니다.
http://xai.unist.ac.kr/Tutorial/2018/
https://github.com/OpenXAIProject/PyConKorea2019-Tutorials
Part 1: https://www.slideshare.net/OpenXAI/2019-part-1
Part 2: https://www.slideshare.net/OpenXAI/2019-lrp-part-2
Part 3: https://www.slideshare.net/OpenXAI/2019-shap-part-3
Understanding narrative text is more than simple information extraction on a sentence-by-sentence basis. To comprehend the true meaning of a narrative requires determining the connections between the sentences and the effect of one event on other events. This story understanding process can be greatly enhanced by the use of event descriptor templates that begin with the basic journalistic questions of who, what, when, where, why, and how but that go beyond these simple basics to address more complex relationships: role playing, context, impact, causality, and interests. Previously, representing story narratives as knowledge representations has required intensive manual effort on the part of trained knowledge engineers to correctly encode the contents of stories into a knowledge base (KB). For large volumes of text, this becomes impractical, limiting the usefulness of KB-based systems in question-answering. This paper describes a means of automating the narrative representation process by using event descriptor templates to elicit critical narrative information to be encoded in a knowledge based system.
The AQUA Question Answering System uses two separate ontologically based systems in its operation. The first system, a knowledge-based information extraction system, derives the content from text documents (and queries) and converts them into an internal text meaning representation form (TMR). The second ontologically based system is the answer formulation unit, which maintains a separate ontology in a different form from the first. Answers produced by the answer formulation system are in Knowledge Interchange Format (KIF).
ased upon the results of a research project sponsored by the Defense Advance Research Projects Agency (DARP A), called High Performance Knowledge Bases (HPKB). The demonstrated portion of HPKB follows a question- answering paradigm. The integrated architecture developed at Science Applications International Corporation (SAIC), called the HPKB Integrated Knowledge Environment (HIKE) is introduced. Following this, the components involved in the demonstration, which include a natural language understanding system, a first order theorem prover, and a knowledge server are briefly described. The demonstration effectively illustrates the use of both a graphical user interface and a natural language interface to query a first order theorem prover with similar results.
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
UiPath Test Automation using UiPath Test Suite series, part 4DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 4. In this session, we will cover Test Manager overview along with SAP heatmap.
The UiPath Test Manager overview with SAP heatmap webinar offers a concise yet comprehensive exploration of the role of a Test Manager within SAP environments, coupled with the utilization of heatmaps for effective testing strategies.
Participants will gain insights into the responsibilities, challenges, and best practices associated with test management in SAP projects. Additionally, the webinar delves into the significance of heatmaps as a visual aid for identifying testing priorities, areas of risk, and resource allocation within SAP landscapes. Through this session, attendees can expect to enhance their understanding of test management principles while learning practical approaches to optimize testing processes in SAP environments using heatmap visualization techniques
What will you get from this session?
1. Insights into SAP testing best practices
2. Heatmap utilization for testing
3. Optimization of testing processes
4. Demo
Topics covered:
Execution from the test manager
Orchestrator execution result
Defect reporting
SAP heatmap example with demo
Speaker:
Deepak Rai, Automation Practice Lead, Boundaryless Group and UiPath MVP
Search and Society: Reimagining Information Access for Radical FuturesBhaskar Mitra
The field of Information retrieval (IR) is currently undergoing a transformative shift, at least partly due to the emerging applications of generative AI to information access. In this talk, we will deliberate on the sociotechnical implications of generative AI for information access. We will argue that there is both a critical necessity and an exciting opportunity for the IR community to re-center our research agendas on societal needs while dismantling the artificial separation between the work on fairness, accountability, transparency, and ethics in IR and the rest of IR research. Instead of adopting a reactionary strategy of trying to mitigate potential social harms from emerging technologies, the community should aim to proactively set the research agenda for the kinds of systems we should build inspired by diverse explicitly stated sociotechnical imaginaries. The sociotechnical imaginaries that underpin the design and development of information access technologies needs to be explicitly articulated, and we need to develop theories of change in context of these diverse perspectives. Our guiding future imaginaries must be informed by other academic fields, such as democratic theory and critical theory, and should be co-developed with social science scholars, legal scholars, civil rights and social justice activists, and artists, among others.
GraphRAG is All You need? LLM & Knowledge GraphGuy Korland
Guy Korland, CEO and Co-founder of FalkorDB, will review two articles on the integration of language models with knowledge graphs.
1. Unifying Large Language Models and Knowledge Graphs: A Roadmap.
https://arxiv.org/abs/2306.08302
2. Microsoft Research's GraphRAG paper and a review paper on various uses of knowledge graphs:
https://www.microsoft.com/en-us/research/blog/graphrag-unlocking-llm-discovery-on-narrative-private-data/
Epistemic Interaction - tuning interfaces to provide information for AI supportAlan Dix
Paper presented at SYNERGY workshop at AVI 2024, Genoa, Italy. 3rd June 2024
https://alandix.com/academic/papers/synergy2024-epistemic/
As machine learning integrates deeper into human-computer interactions, the concept of epistemic interaction emerges, aiming to refine these interactions to enhance system adaptability. This approach encourages minor, intentional adjustments in user behaviour to enrich the data available for system learning. This paper introduces epistemic interaction within the context of human-system communication, illustrating how deliberate interaction design can improve system understanding and adaptation. Through concrete examples, we demonstrate the potential of epistemic interaction to significantly advance human-computer interaction by leveraging intuitive human communication strategies to inform system design and functionality, offering a novel pathway for enriching user-system engagements.
Neuro-symbolic is not enough, we need neuro-*semantic*Frank van Harmelen
Neuro-symbolic (NeSy) AI is on the rise. However, simply machine learning on just any symbolic structure is not sufficient to really harvest the gains of NeSy. These will only be gained when the symbolic structures have an actual semantics. I give an operational definition of semantics as “predictable inference”.
All of this illustrated with link prediction over knowledge graphs, but the argument is general.
Smart TV Buyer Insights Survey 2024 by 91mobiles.pdf91mobiles
91mobiles recently conducted a Smart TV Buyer Insights Survey in which we asked over 3,000 respondents about the TV they own, aspects they look at on a new TV, and their TV buying preferences.
DevOps and Testing slides at DASA ConnectKari Kakkonen
My and Rik Marselis slides at 30.5.2024 DASA Connect conference. We discuss about what is testing, then what is agile testing and finally what is Testing in DevOps. Finally we had lovely workshop with the participants trying to find out different ways to think about quality and testing in different parts of the DevOps infinity loop.
Software Delivery At the Speed of AI: Inflectra Invests In AI-Powered QualityInflectra
In this insightful webinar, Inflectra explores how artificial intelligence (AI) is transforming software development and testing. Discover how AI-powered tools are revolutionizing every stage of the software development lifecycle (SDLC), from design and prototyping to testing, deployment, and monitoring.
Learn about:
• The Future of Testing: How AI is shifting testing towards verification, analysis, and higher-level skills, while reducing repetitive tasks.
• Test Automation: How AI-powered test case generation, optimization, and self-healing tests are making testing more efficient and effective.
• Visual Testing: Explore the emerging capabilities of AI in visual testing and how it's set to revolutionize UI verification.
• Inflectra's AI Solutions: See demonstrations of Inflectra's cutting-edge AI tools like the ChatGPT plugin and Azure Open AI platform, designed to streamline your testing process.
Whether you're a developer, tester, or QA professional, this webinar will give you valuable insights into how AI is shaping the future of software delivery.
Essentials of Automations: Optimizing FME Workflows with ParametersSafe Software
Are you looking to streamline your workflows and boost your projects’ efficiency? Do you find yourself searching for ways to add flexibility and control over your FME workflows? If so, you’re in the right place.
Join us for an insightful dive into the world of FME parameters, a critical element in optimizing workflow efficiency. This webinar marks the beginning of our three-part “Essentials of Automation” series. This first webinar is designed to equip you with the knowledge and skills to utilize parameters effectively: enhancing the flexibility, maintainability, and user control of your FME projects.
Here’s what you’ll gain:
- Essentials of FME Parameters: Understand the pivotal role of parameters, including Reader/Writer, Transformer, User, and FME Flow categories. Discover how they are the key to unlocking automation and optimization within your workflows.
- Practical Applications in FME Form: Delve into key user parameter types including choice, connections, and file URLs. Allow users to control how a workflow runs, making your workflows more reusable. Learn to import values and deliver the best user experience for your workflows while enhancing accuracy.
- Optimization Strategies in FME Flow: Explore the creation and strategic deployment of parameters in FME Flow, including the use of deployment and geometry parameters, to maximize workflow efficiency.
- Pro Tips for Success: Gain insights on parameterizing connections and leveraging new features like Conditional Visibility for clarity and simplicity.
We’ll wrap up with a glimpse into future webinars, followed by a Q&A session to address your specific questions surrounding this topic.
Don’t miss this opportunity to elevate your FME expertise and drive your projects to new heights of efficiency.
Slack (or Teams) Automation for Bonterra Impact Management (fka Social Soluti...Jeffrey Haguewood
Sidekick Solutions uses Bonterra Impact Management (fka Social Solutions Apricot) and automation solutions to integrate data for business workflows.
We believe integration and automation are essential to user experience and the promise of efficient work through technology. Automation is the critical ingredient to realizing that full vision. We develop integration products and services for Bonterra Case Management software to support the deployment of automations for a variety of use cases.
This video focuses on the notifications, alerts, and approval requests using Slack for Bonterra Impact Management. The solutions covered in this webinar can also be deployed for Microsoft Teams.
Interested in deploying notification automations for Bonterra Impact Management? Contact us at sales@sidekicksolutionsllc.com to discuss next steps.
UiPath Test Automation using UiPath Test Suite series, part 3DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 3. In this session, we will cover desktop automation along with UI automation.
Topics covered:
UI automation Introduction,
UI automation Sample
Desktop automation flow
Pradeep Chinnala, Senior Consultant Automation Developer @WonderBotz and UiPath MVP
Deepak Rai, Automation Practice Lead, Boundaryless Group and UiPath MVP
UiPath Test Automation using UiPath Test Suite series, part 3
Proceedings
1. The 6th World Multiconference
on Systemics, Cybernetics
and Informatics
July 14-18,2002
Orlando, Florida, USA
PROCEEDINGS
Volume XVI
Computer Science III
Organized by HIS EDITED BY
International Nagib Callaos
Institute of Toshikazu Ebisuzaki
Informatics and Barbara Starr
Systemics JairMinoro Abe
Member of Daniel Lichtblau
UB/TIB Hannover 89
International Federation of 124 986 919
Systems Research IFSR
2. CONTENTS
VOLUME XVI
Computer Science III
Contents i
Graph Theory, Combinatorics, and Computing- Invited Session
Organizer: Yung-Ling Lai (Taiwan)
Chen, Jung-Chih; Lai, Hang-Chin (Taiwan): "Conditions for Zero Duality 1
Gap of Nonconvex Programming"
Lai, Yung-Ling; Chiang, Feng-Hsu (Taiwan, R. O. C.): "Bandwidth of Some 7
Graph Products"
Lai, Yung-Ling; Chiang, Feng-Hsu; Lin, Chu-He; Yu, Tung-Chin (Taiwan): 12
"Orientable Step Domination of Complete r-Partite Graphs"
Computer Graphics, Geometric Modelling, Animation— Invited Session
Organizer: Sawa Andreas (Cyprus)
Brandao, M. L. (Brazil): "Marching Finite-Element Schemes for Nonlinear 31
Optical Propagation"
Filho, Rogerio T. Carvalho; Femandes, Humberto C. Chaves (Brazil): 36
"Superconducting Microstrip Antenna Array Analyzed by TTL Method"
Chaves Femandes, Humberto C; Rocha, Arthur R. B. (Brazil): "Utilization 40
of the TTL Method for Analysis of Antennas With PBG Substrate"
Femandes, Humberto C ; Silva, Magno C. (Brazil): "Analysis of the Finline 43
Resonator"
Kravchenko, V. F. *; Popov, AYu. * ; Femandes, Humberto C. C. ** (* 47
Russian-Federation, ** Brazil): "An Improved Method of Signal-Averaged
ECG Processing"
Neto, Jose Elesbao C ; Oliveira, Giuliano F. Batista; Femandes, Humberto 50
C. Chaves (Brazil): "TTL Numerical Analysis of Microstrip Antenna Array
with GaAS and Fenolite Substrates"
Query Formulation and Answer Determination - Invited Session
Organizer: Barbara Starr (USA)
Caudill, Maureen; Starr, Barbara (USA): "Event Templates for Improved 54
Narrative Understanding in Question Answering Systems "
Caudill, Maureen; Starr, Barbara; Buss, Teresa (USA): "The AQUA 60
Question-Answering System: Bi-Directional Dynamic Semantic Alignment
3. in a Multiple-Ontology Environment"
Hermjakob, Ulf; Hovy, EduardH; Lin, Chin-Yew (USA): "Knowledge- 66
Based Question Answering"
Katz, Boris; Lin, Jimmy J. (USA): "Start and Beyond" 72
Cluster Computing- Invited Session
Organizer: Felix Garcia-Carballeira (Spain)
Carretero, J.; Fernandez, I ; Perez, J. M.; Garcia-Carballeira, F. (Spain): 80
"Distributed Instrumentation Systems Using CORBA"
Garcia, F.; Calderon, A; Perez, M. S.; Sanchez, L. M (Spain): "Evaluating 86
Expand: A Parallel File System Using NFS Servers"
Hoare, Raymond R.; Volkar, Matthew J.; Cain, James T.; Farren, Benjamin; 92
Hordijk, Michael (USA): "ClusterNetNios: Utilizing Central Processing
within a Cluster's Network Switch"
Liu, Hui; Peng, Qinke; Shen, Junyi; Hu, Baosheng (China): "Metrics and 98
Principle for Employing Database Systems in Clustered Server"
Quantum Computing Mathematics And Applications - Invited Session
Organizer: Anatoliy Prykarpatsky (Poland)
Blackmore, Denis *; Basiura, Robert **; Prykarpatsky, Anatoliy **; Taneri, 102
Ufuk ***; Soroka, Orysia * (* USA, ** Poland, *** Turkey): 'Tactorized
Operator Dynamical Systems and their Megrability"
Blackmore, Denis *; Taneri, Ufuk **; Prykarpatsky, Anatoliy *** (* USA, 105
** Turkey, *** Poland): "Quantum Coherent Transform of Integrable
Hamiltonian Systems and Quantum Computing "
Bogoliubov Jr., Nickolai *; Taneri, Ufuk **; Prykarpatsky, Anatoliy *** (* 111
Russian-Federation, ** Cyprus, *** Poland): "On Modeling Of The
Maxwell-Bloch Quantum Optical Super-Radiance Process And Its
Application To Quantum Computing"
Automated Reasoning Based On Non-Classical Logic: Theory And
Applications — Invited Session
Organizer: Jun Liu (Belgium)
Li, Wenjiang; Xu, Yang; Ma, Jun (P. R. China): "a-Resolution Principle 114
Based on Lattice-valued Modal Propositional Logic LMPQQ"
Meng, Dan; Xu, Yang (P. R. China): "a-Resolution Principle Based on an ! 19
Intermediate Element Lattice-valued First-order Logic 1ELFQ0"
Wang, Xue Fang; Xu, Yang (P. R. China): "Ultraproduct Theorem of First- 125
order Lattice-valued Logic FM"
Xu, Yang; Liu, Jun; Li, Wenjiang; Qin, Keyun (P. R. China): "On Multi- 130
4. Dimension and Multiple Approximate Reasoning Based on 1^,"
Applications of Mathematica in Technology and Research - Invited
Session
Organizer: Daniel Lichtblau (USA)
Champion, Brett (USA): "Numerical Optimization in Mathematica: An 136
Insider's View of NMinimize"
Coleman, Mark S. (USA): "Simulating Historical Ratings Transition 141
Matrices for Credit Risk Analysis in Mathematica"
Jacob, Christian J.; Nazir, Aamer (Canada): "Polyhedron iTvo/w-Evolution 147
of 3D Shapes with Evolxic'a" ;
Jankowski, Mariusz (USA): "Digital Image Processing with Mathematica" 153
Kozlowski, Andrzej (Japan): "Derivative Pricing with Mathematica" 157
Kraus, Martin (Germany): "Parametrized Graphics in Mathematica" 163
Lichtblau, Daniel (USA): "Discrete Optimization using Mathematica" 169
Quinlan, Michael (Ireland): "The xLab Series of Mathematica-baseA High 175
Precision 2-D Elliptic PDE Solvers"
Non-Traditional Methodologies for Treating Risk Analysis Uncertainty
- Invited Session
Organizer: J. Arlin Cooper (USA)
D'Antonio, Perry E. (USA): "A Risk-Based Approach to Reducing Systems 179
Accidents"
Ferson, Scott; Tucker, W. Troy (USA): "Probability Bounds with Uncertain 186
Input Distributions and Correlations"
Sentz, Kari; Ferson, Scott (USA): "Combination Rules in Dempster-Shafer 191
Theory"
Paraconsistency In Artificial Intelligence And Robotics - Invited Session
Organizer: Jair Minoro Abe (Brazil)
Abe, Jair Minoro *; Da Silva Filho, Joao L *; Nakamatsu, Kazumi ** (* 197
Brazil, ** Japan): "Paraconsistent Multimodal Systems <E>n"
Abe, Jair Minoro; Da Silva Filho, Joao Liacio; Almeida Prado, Joao Carlos 202
(Brazil): "Paraconsistent Artificial Neural Networks and its application on
Pattern Recognition"
Abe, Jair Minoro *; Scalzitti, Alexandre *; Nakamatsu, Kazumi **; Da Silva 216
Filho, Joao I. * (* Brazil, ** Japan): "Incorporating Time in Paraconsistent
Reasoning"
in
5. Murai, Tetsuya; Sato, Yoshiharu (Japan): "Paraconsistency in Belief 221
Formation Based on Evidence"
Nakamatsu, Kazumi; Suito, Hiroshi; Suzuki, Atsuyuki (Japan): 225
"Probabilistic EVALPSN and its Application to Safety Verification for Air
Traffic Control"
Resconi, Germano *; Da Costa, Newton C. A. ** (* Italy, ** Brazil): 231
"Interaction between physical models and physical events in quantum
systems, described by paraconsistent sets"
Information Technolgy Applications in Transportation- Invited Session
Organizer: Manoj K. Jha (USA)
Austin, Mark; Kaisar, Evangelos L (USA): "Multi-Level Object-Based 235 , •
<
Analysis of Narrow Passageway Transportation Systems"
Kaisar, Evangelos I.; Haghani, Ali; Panchamgam, Kiran (USA): "A 241
Simulation Model for Two-Lane Urban Work Zones"
Ogallo, Hellon G.; Jha, Manoj K. (USA): "An Expert System for Selecting 247
Optimum Travel Route During Emergencies"
Perrin, Joseph; Coleman, Brad (USA): "Know Before Y"ou Go: Improving 251
Level of Service and Alerting the Public in real-time"
Perrin, Joseph; Hansen, Blake (USA): "Road Weather Information Systems: 256
Finding out what people want to know"
Language Sense Processing Engineering— Invited Session
Organizer: Akinori Abe (Japan)
Abe, Akinori (Japan): "Computational Generation of Affective Phrase" 261
Ikeda, Sadahiro; Kaneda, Shigeo (Japan): "A "Catchy" Copy and Concept 267
Evaluation System Using a Natural Language Processing Approach"
Kasahara, Kaname; Inago, Nozomu; Kanasugi, Tomoko; Nagamori, 273
Chiharu; Kato, Tsuneaki (Japan): "Comparison of Two Weights of Relation
Between Words: Recollection Weight and Relevancy Weight"
Kato, Yoshikiyo; Hori, Koichi; Taketa, Kohei (Japan): "Capturing Design 278
Rationale by Annotating E-mails"
Shoj i, Hiroko; Mori, Mikihiko; Hori, Koichi (Japan): "Creative 283
Communication for Concept Articulation in Shopping"
Convergence of Stochastic Schemes — Invited Session
Organizer: Marcus Spruill (USA)
Mendivil, Franklin *; Shonkwiler, Ron ** (* Canada, ** USA): "Estimating 289
the parameters of a stochastic search"
IV
6. Shonkwiler, R. (USA): "Estimating Basin Size for the Traveling Salesman 295
Problem"
Spruill, M. C. (USA): "Convergence Rates for Renewal Sequences" 300
Informatics and Data Processing-Invited Session
Organizer: Tetsuya Murai (Japan)
Kudo, Mineichi (Japan): "Automatic Determination of Size for Feature 305
Selection"
Mori, Yasukuni; Kudo, Mineichi (Japan): "Interactive Data Exploration 312
Using Graph Representation"
Sakurai, Hirohito; Takahashi, Kunihiko (Japan): "Bootstrap Tests for the 318 ,*
Equality of Two Distributions Using Kolmogorov-Smirnov Statistic"
Tanaka, Akira; Imai, Hideyuki; Miyakoshi, Masaaki (Japan): "Relations and 324
Differences Between Classical and Modern Formulations in Image
Restoration Problems"
Taniguchi, Fumitake; Kudo, Mineichi (Japan): "Random Selection of 329
Samples and Features for Getting General Accuracy of Classifier
Combination"
Heterogeneous High Performance Integrated Systems and Networks
- Invited Session
Organizer: Mary Eshaghian-Wilner (USA)
El Naga, Halima M ; El Naga, Nagi M. (USA): "PerformanceEvaluation of 333
a Multithreaded System"
Eshaghian-Wilner, Mary Mehrnoosh (USA): "Integrated Architectural 337
Solutions for Protein Sequence-Structure Alignment (Preliminary Version)"
Habib, Sami J. *; Parker, Alice C. ** (* Kuwait, ** USA): "Automating 343
Heterogeneous Intranet Design Including Data Management"
Mangir, Tulin E.; Mori, Yutaka; Solanki, Kalpesh (USA): "Resilient Overlay 349
Networks - Advantages and Issues" (Invited Paper)
Tchernykh, Andrei *; Trystram, Denis ** (* Mexico, ** France): "Adaptive 354
Strategy for On-Line Scheduling of Real World Parallel Applications"
Intelligent Systems: Tools and Applications —Invited Session
Organizer: Haleh Vafaie (USA)
Bala, Jerzy, Baik, Sung; Hadjarian, AH; Pachowicz, Peter (USA): "Cognitive 360
Support of Imagery Exploitation Through Incorporation of Naive
Geographical Reasoning"
Bala, Jerzy; Baik, Sung; Hadjarian, Ali; Pachowicz, Peter (USA): "Moving 365
Target Prediction via Application of Genetic Algorithms"
7. Vafaie, Haleh; Bethem, Thomas; Shaughnessy, Mark; Burton, Janet (USA): 370
"Intelligent Decision Support System for Monitoring Major US Waterways"
Intelligent Data Analysis —Invited Session
Organizer: Richi Nayak (Australia)
Ebrahim, Yasser H. (Canada): "Effect of diagram size, fan-out and layout on 3 76
the Useability of Tree Diagrams, an Empirical Study"
Emam, Ahmed Z.; Kantardzic, Mehmed; Elmaghraby, Adel S.; Min, Hokey 382
(USA): "Profile Association Rule Mining from Mixed Database"
George, Susan E.; George, David F. J. (Australia): "Spatio-Temporal • 388
Visualisation of Road Traffic Flow using the Self-Organising Feature Map"
Hogo, Mofreh A ; Snorek, M; Syam, Mostafa M. (Czech-Republic): "Hand 394
Written Arabic Numeral Recognition Using Three Clustering Techniques"
Nayak, Richi (Australia): "Intelligent Data Analysis: Issues and Challenges" 400
Tan, Hiong Sen; George, Susan E. (Australia): "Medical Information 406
Resource using a Self-Organising Map for Visualising Web Search Results"
Semantic Association Memory — Invited Session
Organizer: Shu-Ching Chen (USA)
Kountchev, Roumen *; Rubin, Stuart ** (* Bulgaria, ** USA): "Image 412
Compression with Adaptive Inverse Difference Pyramid"
Kulasekere, E. C; Premaratne, K.; Shyu, M. L.; Bauer, P. H. (USA): 417
"Association Rule Mining with Subjective Knowledge"
Louis, Sushil J.; McDonnell, John; Gizzi, Nick (USA): "Dynamic Strike 423
Force Asset Allocation Using Genetic Search and Case-Based Reasoning"
Rubin, Stuart H. *; Rush, Robert J. *; Trajkovic, Ljiljana **; Murthy, 429
Jayaram * (* USA, ** Canada): "KASER: A Qualitatively Fuzzy Object-
Oriented Expert System Inference Engine"
Shyu, Mei-Ling; Haruechaiyasak, Choochart; Chen, Shu-Ching; Premaratne, 435
Kamal (USA): "Mining Association Rules With Uncertain Item
Relationships"
Models, Algorithms and Software Quality (Problems, Tools and
Confirmation) - Invited Session
Organizer: Valery A. Granovsky (Russian-Federation)
Dmitriev, S. P.; Chelpanov, I. B. (Russian-Federation): "Certification of 441
Algorithms and Programs of Signal Processing in Navigation Systems"
Granovsky, Valery A.; Siraya, Tatiana N. (Russian-Federation): "Adequacy 445
Problem in Metrology: Measurand and Error"
Granovsky, Valery A; Siraya, Tatiana N. (Russian-Federation): "Models, 451
VI
8. Algorithms, and Software for Data Processing in Measurements: Quality
Evaluation"
Nesenjuk, Leonid P. (Russian-Federation): "Engineering Approach to 457
Kalman-Wiener Filter Design Based on Initial Data Reliability Control"
Stochastic Models of Financial Econometrics — Invited Session
Organizer: Yevgeny Jevgenijs Tsarkov Carkovs (Latvia)
Ajevskis, Viktors; Gutmanis, Normunds; Liepa, Evija; Pocs, Remigijs 462
(Latvia): "On Latvian Economic Indicators"
Carkova, Viktorija; Gutmanis, Normunds (Latvia): "Control Theory 464
Approach to GARCH Convergence Analysis" .
Kholmurodov, Kholmirzo *; Ebisuzaki, Toshikazu *; Yasuoka, Kenji *; 466
Puzynin, Igor **; Smith, William *** (* Japan, ** Russian-Federation, ***
UK): "Fast Forces Calculations in the DL_POLY Molecular Simulation
Package: Adapting the Program for a Special-Purpose Computer MDM"
Leidman, Mark; Tsarkov, Yevgeny, Pocs, Remigijs (Latvia): "Price 472
Equilibrium Stochastic Analysis"
Sadurskis, Karlis; Tsarkov, Yevgeny (Latvia): "On Price Cycle Stochastic 474
Bifurcation Owing to Random Delay of Supply"
Special-Purpose Computers and their Applications to Scientific
Researches — Invited Session
Organizer: Toshikazu Ebisuzaki (Japan)
Chau, Nguyen Hai; Kawai, Atsushi; Ebisuzaki, Toshikazu (Japan): 477
"Implementation of Fast Multipole Algorithm on Special-Purpose Computer
MDGRAPE-2"
Hoefinger, Siegfried *; Berces, Attila *; Narumi, Tetsu **; Ebisuzaki, 482
Toshikazu ** (* Austria, ** Japan): "Opportunities and Challenges in
Utilizing Application Specific Integrated Circuits in Drug Design"
Hosono, Satoru; Ito, Tomoj'oshi; Toshikazu, Ebisuzaki (Japan): "Special- 488
purpose Computer for DNA and Protein Sequence Homology Search"
Kawai, Atsushi; Ebisuzaki, Toshikazu (Japan): "MDM: A Special-Purpose 494
Computer for Molecular Dynamics "
Kinjo, Tomoyuki; Y'asuoka, Kenji (Japan): "Molecular Dynamics Simulation 500
of Simple Model for Organic Salts using MDGRAPE-2"
Koishi, T. *; Yasuoka, K. *; Zeng, X. C. **; Narumi, T. *; Susukita, R. *; 503
Kawai, A *; Furusawa, H. *; Ebisuzaki, T. * (* Japan, ** USA): "A Large
Scale Molecular Dynamics Simulation for Water with Special-Purpose
Computer MDM"
Makino, Junichiro (Japan): "The GRAPE project: Current Status" 508
vn
9. Ohno, Yousuke; Taiji, Makoto; Konagaya, Akihiko; Ebisuzaki, Toshikazu 514
(Japan): "MACE: MAtrix Calculation Engine"
Tachikawa, Masanori; Kawai, Atsushi; Ebisuzaki, Toshikazu (Japan): 518
"Application of a Special-Purpose Computer MDM for the First-Principles
Calculation"
Web Services & Grid Computing - Invited Session
Organizer: Jen-Yao Chung (USA)
Luo, Zongwei; Chen, Shyh-Kwei; Kumaran, Santhosh; Zhang, Liang-Jie; 522
Chung, Jen-Yao; Chang, Henry (USA): "A Web-Services-Based
Deployment Framework In Grid Computing Environment"
t
Sheth, Amit; Cardoso, Jorge; Miller, John; Kochut, Krys; Kang, Myong 528 .<•
(USA): "QoS for Service-oriented Middleware"
Shi, Min-Hua *; Chen, De-Ren *; Zhang, Liang-Jie ** (* P. R. China,** 535
USA): "A Framework of Universal Web Services"
Zhang, Liang-Jie; Chao, Tian; Chang, Henry, Chung, Jen-Yao (USA): 541
"Automatic Method Signature Adaptation Framework for Dynamic Web
Service Invocation"
Language Sense Processing Engineering — Invited Session
Organizer: Akinori Abe (Japan)
Kato, Yu-ichro (Japan): "Designing Brand Knowledge Structure Considering 547
Characteristics of Higher-order Cognitive Process in Advertising
Communication"
vm