Page 1
Page 1
Introduction to Operating System Design and Implementation : The OSP 2 Approach
This book exposes students to many essential features of operating systems while at the same time isolating them from low-level, machine-dependent concerns. With its accompanying software, the book contains enough projects for up to three semesters.
Intelligent system algorithms and applications in science and technology
Explores the application of intelligent techniques in various fields of engineering and technology. It addresses diverse topics in such areas as machine learning-based intelligent systems for healthcare, applications of artificial intelligence and the Internet of Things, intelligent data analytics techniques, intelligent network systems and applications, and inequalities and process control systems. The authors explore the full breadth of the field, which encompasses data analysis, image processing, speech processing and recognition, medical science and healthcare monitoring, smart irrigation systems, insurance and banking, robotics and process control, and more.
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.
Information Processing with Evolutionary Algorithms : From Industrial Applications to Academic Speculations
The last decade of the 20th century has witnessed a surge of interest in num- ical, computation-intensive approaches to information processing. The lines that draw the boundaries among statistics, optimization, arti cial intelligence and information processing are disappearing, and it is not uncommon to nd well-founded and sophisticated mathematical approaches in application - mains traditionally associated with ad-hoc programming. Heuristics has - come a branch of optimization and statistics. Clustering is applied to analyze soft data and to provide fast indexing in the World Wide Web. Non-trivial matrix algebra is at the heart of the last advances in computer vision. The breakthrough impulse was, apparently, due to the rise of the interest in arti cial neural networks, after its rediscovery in the late 1980s. Disguised as ANN, numerical and statistical methods made an appearance in the - formation processing scene, and others followed. A key component in many intelligent computational processing is the search for an optimal value of some function. Sometimes, this function is not evident and it must be made explicit in order to formulate the problem as an optimization problem. The search - ten takes place in high-dimensional spaces that can be either discrete, or c- tinuous or mixed. The shape of the high-dimensional surface that corresponds to the optimized function is usually very complex. Evolutionary algorithms are increasingly being applied to information processing applications that require any kind of optimization.
Information and communication technologies in education, research, and industrial applications ; 16th International Conference, ICTERI 2020, Kharkiv, Ukraine, October 6–10, 2020, Revised Selected Papers
This book contains revised and extended versions of the best papers presented at the 16th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2020, held in Kherson, Ukraine, in October 2020. Due to the COVID-19 pandemic the conference was held online. The 8 revised full papers included in this volume were carefully reviewed and selected from 347 initial submissions. The papers are organized in the following topical sections: ICT in education; ICT in research and industry.
Foundations of software science and computation structures ; Vol. 3921 ; 9th International conference, FOSSACS 2006, Held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on mobile processes, software science, distributed computation, categorical models, real time and hybrid systems, process calculi, automata and logic, domains, lambda calculus, types, and security.
Foundations of software science and computation structures ; 25th International conference, FOSSACS 2022, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Foundations of software science and computation structures ; 24th International conference, FOSSACS 2021, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Foundations of software science and computation structures ; 23rd International conference, FOSSACS 2020, Held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
Entertainment Computing - ICEC 2005 ; 4th International Conference, Sanda, Japan, September 19-21, 2005, Proceedings
First of all, we appreciate the hard work of all the authors who contributed to ICEC 2005 by submitting their papers. ICEC 2005 attracted 95 technical paper submissions, 8 poster submissions and 7 demo submissions, in total 110. This number is nearly equal to ICEC 2004. Based on a thorough review and selection process carried out by 76 international experts from academia and industry as members of the senior and international program committees, a high-quality program was compiled. The program committee consisted of experts from all over the world: 1 from Austria, 3 from Bulgaria, 2 from Canada, 4 from China, 1 from Finland, 4 from France, 10 from Germany, 1 from Greece, 1 from Ireland, 1 from Israel, 1 from Italy, 26 from Japan, 1 from Korea, 4 from The Netherlands, 1 from New Zealand, 1 from Norway, 1 from Singapore, 1 from Thailand, 4 from the UK, and 8 from the USA. In this number, reviewers are included. The final decision was made at the senior program committee meeting based on three reviewers' feedback, available online via the conference management tool. Through earnest and fair discussion at the meeting, 25 technical papers were accepted as long papers and 32 technical papers were accepted as short papers from 95 submitted technical papers. Moreover, 3 poster papers and 5 demo papers were accepted.
Embedded systems design : The ARTIST roadmap for research and development
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant evolution in information science and technology. We expect that within a short timeframe embedded systems will be a part of nearly all equipment designed or manufactured in Europe, the USA, and Asia. There is now a strategic shift in emphasis for embedded systems designers: from simply achieving feasibility, to achieving optimality. Optimal design of embedded systems means targeting a given market segment at the lowest cost and delivery time possible. Optimality implies seamless integration with the physical and electronic environment while respecting real-world constraints such as hard deadlines, reliability, availability, robustness, power consumption, and cost. In our view, optimality can only be achieved through the emergence of embedded systems as a discipline in its own right.
Coordination models and languages ; Vol.3454 : 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, COORDINATION 2005, held in Namur, Belgium in April 2005. The 19 revised full papers presented were carefully reviewed and selected from 88 submissions. Among the topics addressed are Web services, safe ambients, process calculus, abstract verification, role-based software, delegation modeling, distributed information flow, adaptive Web content provision, global computing, mobile agents, mobile computing, multithreaded code generation, shared data space coordination languages, automata specifications, time aware coordination, and service discovery.
Coordination models and languages ; 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway, in June 2008, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2008.
Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.
CONCUR 2007 – Concurrency Theory ; 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
Computer algebra in scientific computing ; 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings
This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, held in Sochi, Russia, in September 2021. The 24 full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers cover theoretical computer algebra and its applications in scientific computing.
Machine-learning-assisted intelligent processing and optimization of complex systems
Focuses on the most recent developments in intelligent optimization methods and their applications in various test cases. The reprint covers various topics, including distributed multiagent modeling, metaheuristic algorithms, multisource data fusion, mobile computing and mobile sensing, machine learning-based intelligent processing for modeling complex manufacturing systems, and data-driven intelligent modeling
Business process management ; 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings
This book includes business process maturity and performance, business process modeling, case studies, compliance and change, process configuration and execution, formal foundations of BPM, business process mining, and semantic issues in BPM.
Beginning PHP and MySQL E-Commerce : From novice to professional
Beginning PHP and MySQL E-Commerce: From Novice to Professional, Second Edition covers every step of the design and building process involved in creating powerful, extendable e–commerce web sites. Based around a real–world example involving a web site selling t–shirts, you'll learn how to create and manage a product catalog, build and integrate a shopping cart, and process customer accounts and PayPal/credit card transactions. With the e–commerce framework in place, authors Emilian Balanescu and Cristian Darie show you how to integrate advanced features sure to set your web site apart from the competition. You'll learn how to expand your catalog using Amazon Web Services, optimize the web site for the search engines, and take advantage of Ajax to build an even more user–friendly shopping cart.
Autotuning of PID Controllers : A Relay Feedback Approach
Recognising the benefits of improved control, the second edition of Autotuning of PID Controllers provides simple yet effective methods for improving PID controller performance. The practical issues of controller tuning are examined using numerous worked examples and case studies in association with specially written autotuning MATLAB® programs to bridge the gap between conventional tuning practice and novel autotuning methods. Autotuning of PID Controllers is more than just a monograph, it is an independent learning tool applicable to the work of academic control engineers and of their counterparts in industry looking for more effective process control and automation.
