الصفحة 18
الصفحة 18
Intelligent Computing ; International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part I
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum with dedication to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring together researchers and practitioners from both the academia and industry to share ideas, problems and solutions related to the multifaceted aspects of intelligent computing. The ICIC 2006 to be held in Kunming, Yunnan, China, 16-19 August 2006 is the second International Conference on Intelligent Computing, which is built upon the success of ICIC 2005 held in Hefei, China, 2005. This year, the conference mainly concentrates on the theories & methodologies as well as the emerging applications of intelligent computing. It intends to unify the contemporary intelligent computing techniques within an integral framework that highlights the trends in advanced computational intelligence and bridges the theoretical research with the applications. In particular, the bio-inspired computing emerges as a key role in pursuing for novel technology in recently years. The resulting techniques vitalize the life science engineering and daily life applications. In light of this trend, the theme for this conference is the Emerging Intelligent Computing Technology and Applications. Papers related to this theme were especially solicited, including theories, methodologies, and applications in science and technology.
Intelligent Agents and Multi-Agent Systems ; 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
A Combined System for Update Logic and Belief Revision.- Using Messaging Structure to Evolve Agents Roles in Electronic Markets.- Specifying DIMA Multi-agents Models Using Maude.- picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing.- An Approach to Safe Continuous Planning.- Modeling e-Procurement as Co-adaptive Matchmaking with Mutual Relevance Feedback.- Price Determination and Profit Sharing for Bidding Groups in Agent-Mediated Auctions.- Agent Based Risk Management Methods for Speculative Actions.- Handling Emergent Resource Use Oscillations.- The Role of Agents in Intelligent Mobile Services.
Intelligent Agents and Multi-Agent Systems ; 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings
This book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held in Hanoi, Vietnam, in December 2008.The 19 regular papers and 22 short papers presented together with 3 keynote speeches, were carefully reviewed and selected from 56 submissions. Many current subjects in multi-agent research and development are addressed, ranging from theoretical and methodological issues to various applications in different fields. There was a track on multi-issue negotiation and agents and HCI.
Intelligence in communication systems ; IFIP international onference on intelligence in communication systems, INTELLCOMM 2005, Montreal, Canada, October 17-19, 2005
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Intelligence and security informatics ; IEEE ISI 2008 International Workshops : PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings
This book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, held as satellite events of the IEEE International Conference on Intelligence and Security Informatics, ISI 2008, in Taipei, Taiwan, in June 2008.The 55 revised full papers presented were carefully reviewed and selected from the presentations at the workshops. The 21 papers of the Pacific Asia Workshop on Intelligence and Security Informatics (PAISI 2008) cover topics such as information retrieval and event detection, internet security and cybercrime, currency and data protection, cryptography, image and video analysis, privacy issues, social networks, modeling and visualization, and network intrusion detection.
Intelligence and security informatics : Techniques and applications
This book, INTELLIGENCE and SECURITY INFORMATICS: TECHNIQUES & APPLICATIONS, presents a collection of works discussing terrorism informatics, information sharing, data mining, intelligence and crime analysis, infrastructure protection, privacy protection, information surveillance, and emergency response.
Integration of Fuzzy Logic and Chaos Theory
Attempts to present some current research progress and results on the interplay of fuzzy logic and chaos theory. More specifically, this book includes a collection of some state-of-theart surveys, tutorials, and application examples written by some experts working in the interdisciplinary fields overlapping fuzzy logic and chaos theory.
Integrating Human Aspects in Production Management ; IFIP TC5 / WG5.7 Proceedings of the International Conference on Human Aspects in Production Management 5-9 October 2003, Karlsruhe, Germany
This book is composed of six parts, each focusing on a specific theme: Human Resource Planning; Human Aspects in the Digital Factory; Human Aspects in Production Planning & Control; Knowledge Management; Management of Distributed Work; and Service Engineering. The included papers were presented at the IFIP International Working Conference "Human Aspects in Production Management." Following this conference, the papers were extended by the authors and passed a peer review process.
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Integrated System-Level Modeling of Network-on-Chip Enabled Multi-Processor Platforms first gives a comprehensive update on recent developments in the area of SoC platforms and ESL design methodologies. The main contribution is the rigorous definition of a framework for modeling at the timing approximate level of abstraction. Subsequently this book presents a set of tools for the creation and exploration of timing approximate SoC platform models.
Integrated Ring Resonators : The Compendium
Ring resonators find applications not only in optical networks, but also as sensors. The required passband shape of ring resonator-filters can be custom designed by the use of configurations of various ring coupled resonators. This book describes the current state-of-the-art on these devices with respect to design, fabrication and application.
Integrated Methods for Optimization
Integrated Methods for Optimization integrates the key concepts of Mathematical Programming and Constraint Programming into a unified framework that allows them to be generalized and combined. The unification of MP and CP creates optimization methods that have much greater modeling power, increased computational speed, and a sizeable reduction computational coding. Hence the benefits of this integration are substantial, providing the Applied Sciences with a powerful, high-level modeling solution for optimization problems. As reviewers of the book have noted, this integration along with constraint programming being incorporated into a number of programming languages, brings the field a step closer to being able to simply state a problem and having the computer solve it.
Integrated formal methods ; 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.
Integrated formal methods ; 5th International conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005. The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.
Integrated formal methods ; 3rd International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
IFM 2002 explored the relations between formal methods and graphical notations, especially the industrial standard language for software design, the Unified Modeling Language (UML). The themes of IFM 2002 reflect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computer scientists have developed a range of formalisms focusing on particular aspects of behavior or analysis, such as sequential program structures, concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. Much effort is now being devoted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance of providing these with the for mal underpinnings and form alanalysis capabilities found in formal methods.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation ; Vol. 4148 ; 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by LIRMM with CAS technical - sponsorship and CEDA sponsorship. Over the years, the PATMOS workshop has evolved into an important European event, where researchers from both industry and academia discuss and investigate the emerging challenges in future and contemporary applications, design methodologies, and tools required for the development of upcoming generations of integrated circuits and systems. The technical program of PATMOS 2006 contained state-of-the-art technical contributions, three invited talks, a special session on hearing-aid design, and an embedded tutorial. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on modeling, design, characterization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert reviewers, selected the 64 papers presented at PATMOS. The papers were organized into 11 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, full papers were required, and several reviews were received per manuscript.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation ; Vol. 3728 ; 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
Welcome to the proceedings of PATMOS 2005, the 15th in a series of international workshops.PATMOS2005wasorganizedbyIMECwithtechnicalco-sponsorshipfrom the IEEE Circuits and Systems Society. Over the years, PATMOS has evolved into an important European event, where - searchers from both industry and academia discuss and investigate the emerging ch- lenges in future and contemporary applications, design methodologies, and tools - quired for the developmentof upcominggenerationsof integrated circuits and systems. The technical program of PATMOS 2005 contained state-of-the-art technical contri- tions, three invited talks, a special session on hearing-aid design, and an embedded - torial. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on modeling, design, char- terization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert revi- ers, selected the 74 papers to be presented at PATMOS. The papers were divided into 11 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, the review process was anonymous, full papers were required, and several reviews were carried out per paper. Beyond the presentations of the papers, the PATMOS technical program was - riched by a series of speeches offered by world class experts, on important emerging research issues of industrial relevance. Prof. Jan Rabaey, Berkeley, USA, gave a talk on “Traveling the Wild Frontier of Ulta Low-Power Design”, Dr. Sung Bae Park, S- sung, gave a presentation on “DVL (Deep Low Voltage): Circuits and Devices”, Prof.
Integrated circuit and system design : Power and timing modeling, optimization and simulation ; 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings
Papers cover high level design, low power design techniques, low power analog circuits, statistical static timing analysis, power modeling and optimization, low power routing optimization, security and asynchronous design, low power applications, modeling and optimization, and more.
Innovative Tools and methods using BIM for an efficient renovation in buildings
This book describes a BIM-based toolkit that has been developed according to the latest research activities on building information modelling and semantic interoperability to optimize the building process. It highlights the impacts of using such new tools to fast renovation activities starting from the decision-making and design stages to the construction site management with the possibility to monitor occupants' and owners’ feedback during the realization process. In this process, a framework has been developed and implemented to allow stakeholders involved in a renovation project to efficiently compile, maintain, and add data about (i) building elements, (ii) building services systems, (iii) tenants, operators, and owners of the building, and (iv) current and predicted performance of the building from the various data sources available. The framework applies and specializes the existing practices in the Semantic Web, Linked Data, and ontology domain to the management of renovation projects. It has been designed to be open so that any system which implements the required functions and uses the specified conventions will be able to achieve semantic interoperability with other framework-compliant systems in the renovation domain. Finally, this book represents the validation process of the toolkit that has been held in three demo sites: a social housing building in Italy and two private residential buildings in Poland and Finland. The outcome shows that the toolkit facilitates the renovation process with relevant reductions of time, costs, and energy consumption and that the inhabitants can take advantage of the increase in building performances, quality, and comfort.
Innovative techniques in instruction technology, e-learning, e-assessment, and education
Innovative Techniques in Instruction Technology, E-Learning, E-Assessment and Education is a collection of world-class paper articles addressing the following topics:E-Learning including development of courses and systems for technical and liberal studies programs; online laboratories; intelligent testing using fuzzy logic; evaluation of on line courses in comparison to traditional courses; mediation in virtual environments; and methods for speaker verification.
Innovative Superhard Materials and Sustainable Coatings for Advanced Manufacturing ; Proceedings of the NATO Advanced Research Workshop on Innovative Superhard Materials and Sustainable Coating, Kiev, Ukraine,12 - 15 May 2004.
Modern industry imposes ever increasing requirements upon tools and tool materials as to the provision for performance under the conditions of high cutting speeds and dynamic loads as well as under intensive thermal and chemical interactions with workpiece materials. The industry demands a higher productivity in combination with the accuracy of geometry and dimensions of workpieces and quality of working surfaces of the machined pieces. These requirements are best met by the tool superhard materials (diamond and diamond-like cubic boron nitride). Ceramics based on silicon carbide, aluminum and boron oxides as well as on titanium, silicon and aluminum nitrides offer promise as tool materials. Tungsten-containing cemented carbides are still considered as suitable tool materials. Hi- hardness and high strength composites based on the above materials fit all the requirements imposed by machining jobs when manufacturing elements of machinery, in particular those operating under the extreme conditions of high temperatures and loads.
