الصفحة 9
الصفحة 9
Intelligent Computing ; Proceedings of the 2021 Computing Conference ; Vol.1
This book is a comprehensive collection of chapters focusing on the core areas of computing and their further applications in the real world. Each chapter is a paper presented at the Computing Conference 2021 held on 15-16 July 2021. Computing 2021 attracted a total of 638 submissions which underwent a double-blind peer review process. Of those 638 submissions, 235 submissions have been selected to be included in this book. The goal of this conference is to give a platform to researchers with fundamental contributions and to be a premier venue for academic and industry practitioners to share new ideas and development experiences.
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 ; 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.
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 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 ; 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.
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 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 Internet Computing Systems ; 2nd International Workshop, IICS 2002, Kühlungsborn, Germany, June 20-22, 2002, Proceedings
Constitutes the proceedings of the second international workshop on Innovative Internet Computing Systems, held in Germany in 2002. The 20 papers cover large-scale distributed computing infrastructures, management and retrieval of web-based information, content classification and more.
Innovations in E-learning, Instruction Technology, Assessment and Engineering Education
Innovations in E-learning, Instruction Technology, Assessment and Engineering 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. Instruction Technology including internet textbooks; pedagogy-oriented markup languages; graphic design possibilities; open source classroom management software; automatic email response systems; tablet-pcs; personalization using web mining technology; intelligent digital chalkboards; virtual room concepts for cooperative scientific work; and network technologies, management, and architecture.
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.
Innovations and Advanced Techniques in Computer and Information Sciences and Engineering
Innovations and Advanced Techniques in Computer and Information Sciences and Engineering is a collection of world class paper articles addressing the following topics: Signal and Image Processing: Content Based Video Retrieval, Character Recognition, Incremental Learning for Speech Recognition, Signal Processing Theory and Methods, and Vision-based Monitoring Systems. Software and Systems: Activity-Based Software Estimation, Algorithms, Genetic Algorithms, Information Systems Security, Programming Languages, Software Protection Techniques, Software Protection Techniques, and User Interfaces. Distributed Processing: Asynchronous Message Passing System, Heterogeneous Software Environments, Mobile Ad Hoc Networks, Resource Allocation, and Sensor Networks. Advanced and innovative techniques in computing: e-Science and Virtual Instrumentation, Fault-Tolerant Scheduling, Grid Computing, Microcracking in Cortical Bones, Service-oriented Architectures, and Virtualization in Data Warehouses.
Inner Speech - L2 : Thinking Words in a Second Language
The purpose of this book is to explore "inner speech" and its connections to second language (L2) learning. reviews the extant literature on L1-L2 inner speech in its attempt to offer a coherent and comprehensive account of the phenomenon. The book draws mainly from Vygotskyan sociocultural theory for insights into the nature of L2 inner speech and the processes that engender it and characterize its development. The pedagogical implications of recognizing the crucial role inner speech plays in L2 learning are also addressed.
Inglese per radiologi : Scrivere, presentare e comunicare in ambito internazionale = Imaging in vascular emergencies - Body : Case studies for Radiologists : Writing, presenting and communicating internationally
The volume deals with the different aspects and multiple applications of radiological English, providing useful suggestions for preparing a scientific work, for understanding the meaning of abbreviations and acronyms commonly used in the Anglo-Saxon language, for presenting a report to a congress international or to moderate a scientific session.
Information Technology in Languages for Specific Purposes : Issues and Prospects
The purpose of this volume is to offer an overview of an ample variety of applications of IT in the field of LSP. It is addressed to a wide audience that includes LSP teachers and researchers, although the contents may also be relevant to applied linguists working in other fields. This book contains research studies as well as educational experiences and proposals, presented from different perspectives and backgrounds (both geographical and cultural), all of which are theoretically grounded and with a clear and sound rationale. Thus, the reader will find a variety of educational projects and research studies situated in specific educational contexts and in particular geographical locations.
Information Systems Security ; Vol. 3803 : 1st International conference, ICISS 2005, Kolkata, India, December 19-21, 2005, Proceedings
The 1st InternationalConference on Information Systems Security (ICISS 2005) was held December 19–21, 2005 at Jadavpur University, Kolkata, India. The objectives of the conference were to discuss in depth the current state of the research and practice in information systems security, enable participants to bene?tfrompersonalcontactwithotherresearchersandexpandtheirknowledge, and disseminate the research results. This volumecontains 4 invitedpapers,19refereedpapersthat werepresented at the conference, and 5 ongoing project summaries. The refereed papers, which were selected from the 72 submissions, were rigorouslyreviewed by the Program Committee members. The volume provides researcherswith a broad perspective of recent developments in information systems security. A special note of than...
Information systems security ; 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Information Systems Security, ICISS 2008, held in Hyderabad, India, in December 2008.The 15 revised full papers, 4 short papers, and 2 research reports presented together with 4 keynote talks were carefully reviewed and selected from 81 submissions. The papers span a wide range of topics including access control, cryptography, forensics, formal methods and language-based security, intrusion detection, malware defense, network and Web security, operating system security.
Information Systems Reengineering and Integration
This text takes a practical approach to re-engineering existing systems and looks at data integration, and focuses on proven methods and tools for: •the conversion of hierarchical or network database systems into relational database technology, or from relational to object-oriented and XML databases •the integration of database systems and expert systems to produce MIS and EIS systems Taking a very practical approach, the book describes in detail database conversion techniques, reverse engineering and forward engineering, and re-engineering methodology for information systems, offering a systematic software engineering approach for reusing existing database systems built with "old" technology. Many examples, illustrations and case studies are used, making the methodology easy to follow.
Information Retrieval Technology ; Vol. 4182 ; 3rd Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006, Proceedings
Asia Information Retrieval Symposium (AIRS) 2006 was the third AIRS conf- ence in the series established in 2004.The ?rst AIRS washeld in Beijing, China, and the 2nd AIRS was held in Cheju, Korea. The AIRS conference series traces its roots to the successful Information Retrieval with Asian Languages (IRAL) workshop series which started in 1996. The AIRS series aims to bring together international researchers and dev- opers to exchange new ideas and the latest results in information retrieval. The scope of the conference encompassed the theory and practice of all aspects of information retrieval in text, audio, image, video, and multimedia data. Wearehappyto reportthatAIRS2006received148submissions,thehighest number since the conference series started in 2004. Submissions came from Asia and Australasia, Europe, and North America. We accepted 34 submissions as regular papers (23%) and 24 as poster papers (16%). We would like to thank all the authors who submitted papers to the conf- ence, the seven area chairs, who worked tirelessly to recruit the program c- mittee members and oversaw the review process, and the program committee members and their secondary reviewers who reviewed all the submissions.
