الصفحة 4
الصفحة 4
International Handbook of English Language Teaching
This two-volume handbook provides a comprehensive examination of policy, practice, research, and theory related to English language teaching (ELT) in international contexts. Nearly 70 chapters highlight the research foundation for the best practices, frameworks for policy decisions, and areas of consensus and controversy in the teaching and development of English as a second and/or additional language for kindergarten through to adult speakers of languages other than English.
Intelligent Virtual Agents ; 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings
This book constitutes the refereed proceedings of the 8th International Workshop on Intelligent Virtual Agents, IVA 2008, held in Tokyo, Japan, in September 2008.The 18 revised full papers and 28 revised short papers presented together 42 poster papers were carefully reviewed and selected from 99 submissions. The papers are organized in topical sections on motion and empathy; narrative and augmented reality; conversation and negotiation; nonverbal behavior; models of culture and personality; markup and representation languages; architectures for robotic agents; cognitive architectures; agents for healthcare and training; and agents in games, museums and virtual worlds.
Intelligent cryptocurrency trading assistant
With blockchain being invented in 2008, cryptocurrencies have grown steadily through the years. Cryptocurrencies continue today to be an extremely interesting phenomenon. Having quickly achieved popularity and becoming very popular, cryptocurrencies continue to be a profitable investment tool, capable of generating huge profits on exchanges and transactions. Being a professional trader is not an easy task to achieve, a professional trader needs to observe and process multiple factors and events that affect the cryptocurrency market to make the right decision. What makes this process challenging is that some of the factors cannot be predicted or calculated but rather, their changes should be observed and comprehended, and an action should be taken in response quickly in order to maximize the profit or minimize the loss.
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.
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.
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.
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 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.
Information Retrieval Technology ; Vol. 3689 ; 2nd Asia information retrieval symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005, Proceedings
Asia Information Retrieval Symposium (AIRS) was established in 2004 by the Asian information retrieval community after the successful series of Information Retrieval with Asian Languages (IRAL) workshops held in six different locations in Asia, starting from 1996. The AIRS symposium aims to bring together international researchers and developers to exchange new ideas and the latest results in the field of information retrieval (IR). The scope of the symposium covers applications, systems, technologies and theoretical aspects of information retrieval in text, audio, image, video and multi-media data. We are very pleased to report that we saw a sharp and steady increase in the number of submissions and their qualities, compared with previous IRAL workshop series. We received 136 submissions from all over the world including Asia, North America, Europe, Australia, and even Africa, from which 32 papers (23%) were presented in oral sessions and 36 papers in poster sessions (26%). We also held a special session called “Digital Photo Albuming,” where 4 oral papers and 3 posters were presented. It was a great challenge and hard work for the program committee to select the best among the excellent papers. The high acceptance rates witness the success and stability of the AIRS series. All the papers and posters are included in this LNCS (Lecture Notes in Computer Science) proceedings volume, which is S- indexed. The technical program included two keynote talks by Prof. Walter Bender and Prof.
Information retrieval technology ; Vol. 3411 ; Asia information retrieval symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers
TheAsiaInformationRetrievalSymposium(AIRS)wasestablishedbytheAsian information retrieval community after the successful series of Information - trieval with Asian Languages (IRAL) workshops held in six di?erent locations in Asia, starting from 1996. While the IRAL workshops had their focus on inf- mation retrieval problems involving Asian languages, AIRS covers a wider scope of applications, systems, technologies and theory aspects of information retrieval in text, audio, image, video and multimedia data. This extension of the scope re?ects and fosters increasing research activities in information retrieval in this region and the growing need for collaborations across subdisciplines. We are very pleased to report that we saw a sharp increase in the number of submissions and their quality, compared to the IRAL workshops. We received 106papersfromninecountriesinAsiaandNorthAmerica,fromwhich28papers (26%) were presented in oral sessions and 38 papers in poster sessions (36%). It was a great challenge for the Program Committee to select the best among the excellent papers. The low acceptance rates witness the success of this year’s conference. After a long discussion between the AIRS 2004 Steering Committee and Springer, the publisher agreed to publish our proceedings in the Lecture Notes in Computer Science (LNCS) series, which is SCI-indexed. We feel that this strongly attests to the excellent quality of the papers.
Information and knowledge : A constructive type-theoretical approach
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. On the basis of this conceptual framework, the problem of analyticity for logical derivations is faced and a solution is proposed.The text begins with a presentation of the formal structure of CTT, paying particular attention to some topics that have been neglected by current researchers in Type Theory. Information and Knowledge presents a new interesting perspective on the constructive interpretation of knowledge processes, suggesting the reliability of such an approach for the logical modeling of epistemic problems and proposing a unifying frame from one of the more important contemporary philosophical perspectives.
Inductive logic programming ; 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
The 18th International Conference on Inductive Logic Programming was held in Prague, September 10–12, 2008. ILP returned to Prague after 11 years, and it is tempting to look at how the topics of interest have evolved during that time. The ILP community clearly continues to cherish its beloved ?rst-order logic representation framework. This is legitimate, as the work presented at ILP 2008 demonstrated that there is still room for both extending established ILP approaches (such as inverse entailment) and exploring novel logic induction frameworks (such as brave induction). Besides the topics lending ILP research its unique focus.
Induction, Algorithmic Learning Theory, and Philosophy
This is the first book to collect essays from philosophers, mathematicians and computer scientists working at the exciting interface of algorithmic learning theory and the epistemology of science and inductive inference. Readable, introductory essays provide engaging surveys of different, complementary, and mutually inspiring approaches to the topic, both from a philosophical and a mathematical viewpoint.
Implementation of functional languages ; 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of Functional Languages, IFL 2003, held in Edinburgh, UK in September 2003. The 11 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 workshop presentations. The papers are organized in topical sections on language constructs and programming, static analysis and types, parallelism, and generic programming.
Implementation and Applications of Automata ; 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and Application of Automata, CIAA 2008, held in San Francisco, USA, in July 2008.The 26 revised full papers togehter with 4 invited papers were carefully reviewed and selected from 40 submissions and have gone through two rounds of reviewing and improvement. The papers cover various topics in the theory, implementation, and applications of automata and related structures.
