الصفحة 10
الصفحة 10
Intelligent Computing in Engineering and Architecture ; 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers
Providing computer support for tasks in civil engineering and architecture is hard. Projects can be complex, long and costly. Firms that contribute to design, construction and maintenance are often worth less than the value of their projects. Everyone in the field is justifiably risk adverse. Contextual variables have a strong influence making generalization difficult. The product life cycle may exceed one hundred years and functional requirements may evolve during the service life. It is therefore no wonder that practitioners in this area have been so reluctant to adopt advanced computing systems. After decades of research and industrial pilot projects, advanced computing s- tems are now being recognized by many leading practitioners to be strategically - portant for the future profitability of firms involved in engineering and architecture. Engineers and architects with advanced computing knowledge are hired quickly in the market place. Closer collaboration between research and practice is leading to more comprehensive validation processes for new research ideas. This is feeding devel- ment of more useful systems, thus accelerating progress. These are exciting times. th This volume contains papers that were presented at the 13 Workshop of the Eu- pean Group for Intelligent Computing in Engineering. Over five days, 70 participants from around the world listened to 59 paper presentations in a single session format.
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 Computer Mathematics ; 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*. The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics.
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 and Security Informatics ; Vol. 3975 ; IEEE International Conference on Intelligence and Security Informatics, ISI 2006, San Diego, CA, USA, May 23-24, 2006.
In the past few years, intelligence and security informatics (ISI) research, which is concerned with the study of the development and use of advanced information te- nologies and systems for national and international security-related applications, has experienced tremendous growth and attracted substantial interest from academic - searchers in related fields as well as practitioners from both government agencies and industry. The ISI community is maturing, and a core set of research methodologies and technical approaches has emerged and is becoming the underpinning of ISI research.
Intelligence and security informatics : Biosurveillance ; 2nd NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007, Proceedings
The 2007 NSF BioSurveillance Workshop (BioSurveillance 2007) was built on the success of the first NSF BioSurveillance Workshop, hosted by the University of Arizona’s NSF BioPortal Center in March 2006.
Intelleger = انتليجر
The project management system is a web application designed to assist software managers in efficiently managing their projects, including websites, mobile apps, and other software initiatives. Utilizing artificial intelligence, the application streamlines project creation and management processes, offering significant benefits in terms of organization and accuracy. Managers can create projects by inputting essential details such as the name, scope, deadline, and tasks. The system generates AI-based functional and non-functional requirements tailored to the project scope using gpt2 model on Pure dataset. Managers can then review and edit these requirements as needed before finalizing the project. The application facilitates comprehensive task management by allowing managers to assign tasks to developers, edit task details, and ensure task deadlines align with project deadlines. Developers can log their start and end times automatically when they begin and complete tasks, providing accurate time tracking and performance analysis.also they can use code generation model to generate their task’s code using codebert model on concode and codesearchnet dataset Real-time notifications keep both managers and developers informed of task assignments, completions, and other critical updates.
Intel® Galileo and Intel® Galileo Gen 2 : API Features and Arduino Projects for Linux Programmers
ntel® Galileo and Intel® Galileo Gen 2: API Features and Arduino Projects for Linux Programmers provides detailed information about Intel® Galileo and Intel® Galileo Gen 2 boards for all software developers interested in Arduino and the Linux platform. The book covers the new Arduino APIs and is an introduction for developers on natively using Linux.
Integration and innovation orient to e-society ; Vol.2 ; 7th IFIP International Conference on e-business, e-Services, and e-Society (I3E2007), October 10-12, Wuhan, China
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Integration and innovation orient to e-society ; Vol.1 ; 7th IFIP International Conference on e-Business, e-Services, and e-Society (I3E2007), October 10-12, Wuhan, China
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Integrated Graphic and Computer Modelling
Full colour throughout, the book explores programming language developments from machine code to more natural language forms, and the basic display operations and commands needed to create effective computer graphic systems. As the visual presentation of real and virtual environments becomes more and more the norm in application systems, a clear understanding of the theory that underpins these techniques is required of all students and practitioners studying and working on large computer systems.
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.
Inside deep learning : Math, algorithms, models
Journey through the theory and practice of modern deep learning, and apply innovative techniques to solve everyday data problems. In Inside Deep Learning, you will learn how to: Implement deep learning with PyTorch Select the right deep learning components Train and evaluate a deep learning model Fine tune deep learning models to maximize performance Understand deep learning terminology Adapt existing PyTorch code to solve new problems Inside Deep Learning is an accessible guide to implementing deep learning with the PyTorch framework. It demystifies complex deep learning concepts and teaches you to understand the vocabulary of deep learning so you can keep pace in a rapidly evolving field. No detail is skipped--you'll dive into math, theory, and practical applications. Everything is clearly explained in plain English.
Innovative Internet Community Systems ; Vol. 3908 ; 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers
Traditionally, there are topics discussed in three main aspects. All of them must be considered in a united manner in order to investigate and understand the emergence and evolution of communities in the Internet: knowledge about networking, content and text processing as well as theory. The goal of the I2CS workshop is to bring researchers from both industry and academic fields together to discuss current progress and future developments in these areas and to eliminate the gap between theory and application. At this point, we want to express immense gratitude to all the authors of the submitted papers and to the members of the international Program Committee for their contribution to the success of the event and a program of high quality. In a peer-to-peer review process, 17 papers were selected out of 27 submissions.
Innovations for requirement analysis : From stakeholders needs to formal designs ; 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, September 10-13, 2007. The theme of the workshop was Innovations for Requirement Analysis: From Stakeholders' Needs to Formal Designs.The 10 revised full papers included in the book were carefully selected during two rounds of reviewing and revision. These are preceded by the abstracts of the three keynote talks as well as a detailed introduction to the theme of the workshop, including a case study used by many participants to frame their analyses, and a summary of the workshop's results.
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems ; International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 Revised Papers
Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like planning, scheduling, coordination, communication, transport, simulation, and module integration technologies and as such constitutes a great challenge to the individual researcher active in the area. The book presents a collection of papers on approaches that will help make deployed and large scale multi-agent systems a reality. The first part focuses on available infrastructure and requirements for constructing research-grade agents and multi-agent systems. The second part deals with support in infrastructure and software development methods for multi-agent systems that can directly support coordination and management of large multi-agent communities; performance analysis and scalability techniques are needed to promote deployment of multi-agent systems to professionals in software engineering and information technology.
