الصفحة 3
الصفحة 3
Creative applications of artificial intelligence in education
Explores the synergy between AI and education, highlighting its potential impact on pedagogical practices. It navigates the evolving landscape of AI-powered educational technologies and suggests practical ways to personalise instruction, nurture human-AI co-creativity, and transform the learning experience. Spanning from primary to higher education, this short and engaging volume proposes concrete examples of how educational stakeholders can be empowered in their AI literacy to foster creativity, inspire critical thinking, and promote problem-solving by embracing AI as a tool for expansive learning. Structured in three parts, the book starts developing the creative engagement perspective for learning and teaching to then present practical applications of AI in K-12 and higher education, covering different fields (teacher education, professional education, business education) as well as different types of AI supported tools (games, chatbots, and AI assisted assessment).
Coordination models and languages ; 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers and 6 short papers included in this volume were carefully reviewed and selected from 30 submissions. They are presented in this volume together with 2 invited tutorials and 4 tool papers. The papers are organized in the following topical sections: tutorials; coordination languages; message-based communication; communications: types & implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification & analysis.
Control problems for conservation laws with traffic applications: modeling, analysis, and numerical methods
Conservation and balance laws on networks have been the subject of much research interest given their wide range of applications to real-world processes, particularly traffic flow. This open access monograph is the first to investigate different types of control problems for conservation laws that arise in the modeling of vehicular traffic. Four types of control problems are discussed - boundary, decentralized, distributed, and Lagrangian control - corresponding to, respectively, entrance points and tolls, traffic signals at junctions, variable speed limits, and the use of autonomy and communication. Because conservation laws are strictly connected to Hamilton-Jacobi equations, control of the latter is also considered.
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.
Concise Guide to Quantum Computing : Algorithms, Exercises, and Implementations
This textbook is intended for practical, laboratory sessions associated with the course of quantum computing and quantum algorithms, as well as for self-study. It contains basic theoretical concepts and methods for solving basic types of problems and gives an overview of basic qubit operations, entangled states, quantum circuits, implementing functions, quantum Fourier transform, phase estimation, etc. The book serves as a basis for the application of new information technologies in education and corporate technical training: theoretical material and examples of practical problems, as well as exercises with, in most cases, detailed solutions, have relation to information technologies. A large number of detailed examples serve to better develop professional competencies in computer science.
Concepts and Semantics of Programming Languages 2 : Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes.
Concepts and Semantics of Programming Languages 1 : A Semantical Approach with OCaml and Python
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. It is dedicated to functional and imperative features. Included is the formal study of the semantics of typing and execution; their acquisition is facilitated by implementation into OCaml and Python, as well as by worked examples. Data representation is considered in detail: endianness, pointers, memory management, union types and pattern-matching, etc., with examples in OCaml, C and C++. The second volume introduces a specific model for studying modular and object features and uses this model to present Ada and OCaml modules, and subsequently Java, C++, OCaml and Python classes and objects.
Command-Line Rust : A Project-Based Primer for Writing Rust CLIs
Rather than focusing on the language as a whole, this guide teaches Rust using a single small, complete, focused program in each chapter. Author Ken Youens-Clark shows you how to start, write, and test each of these programs to create a finished product. You'll learn how to handle errors in Rust, read and write files, and use regular expressions, Rust types, structs, and more.
Machine learning for brain disorders
Organized into five parts. Part One presents the fundamentals of ML. Part Two looks at the main types of data used to characterize brain disorders, including clinical assessments, neuroimaging, electro- and magnetoencephalography, genetics and omics data, electronic health records, mobile devices, connected objects and sensors. Part Three covers the core methodologies of ML in brain disorders and the latest techniques used to study them. Part Four is dedicated to validation and datasets, and Part Five discusses applications of ML to various neurological and psychiatric disorders.
Logical approaches to computational barriers ; 2nd Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, natural computation, molecular computation, and computational learning. Applications are everywhere, especially, in algebra, analysis and geometry, or data types and programming. This volume, Logical Approaches to Computational Barriers, is the proce- ings of the second in a series of conferences of CiE that was held at the Depa- ment of Computer Science, Swansea University, 30 June - 5 July, 2006.
JDBC Recipes : A Problem-Solution Approach
JDBC Recipes provides easy-to-implement, usable solutions to problems in relational databases that use JDBC. You will be able to integrate these solutions into your web-based applications, such as Java servlets, JavaServer Pages, and Java server-side frameworks. This handy book allows you to cut and paste the solutions without any code changes. This book focuses on topics that have been ignored in most other JDBC books, such as database and result set metadata. It will help you develop database solutions, like adapters, connectors, and frameworks using Java/JDBC. The insightful solutions will enable you to handle all data types, including large binary objects. A unique feature of the book is that it presents JDBC solutions (result sets) in XML.
C# 10 Quick Syntax Reference : A Pocket Guide to the Language, APIs, and Library
Reviews the essential C# 10 and earlier syntax, not previously covered, in a well-organized format that can be used as a handy reference. Specifically, unions, generic attributes, CallerArgumentExpression, params span, Records, Init only setters, Top-level statements, Pattern matching enhancements, Native sized integers, Function pointers and more. You will: Employ nullable reference types / Work with ranges and indices / Apply recursive patterns to your applications / Use switch expressions
Body Sensor Networks
While the problems of long-term stability and biocompatibility are being addressed, several promising prototypes are starting to emerge for managing patients with acute diabetes, for treatment of epilepsy and other debilitating neurological disorders and for monitoring of patients with chronic cardiac diseases. Despite the technological developments in sensing and monitoring devices, issues related to system integration, sensor miniaturization, low-power sensor interface circuitry design, wireless telemetric links and signal processing still have to be investigated.
Beyond Media Borders ; Vol.2 : Intermedial Relations among Multimodal Media
This book promotes the idea that all media types are multimodal and that comparing media types, through an intermedial lens, necessarily involves analysing these multimodal traits.
Beyond Media Borders ; Vol.1 : Intermedial relations among multimodal media
This book promotes the idea that all media types are multimodal and that comparing media types, through an intermedial lens, necessarily involves analysing these multimodal traits.
Between Mobility and Migration : The Multi-Level Governance of Intra-European Movement
Offers a critical perspective on intra-European mobility and migration by using new empirical data and theoretical discussions. It develops a theoretical and empirical analysis of the consequences of intra-European movement for sending and receiving urban regions in The Netherlands, Sweden, Austria, Turkey, Poland and Czech Republic.The book conceptualizes Central and Eastern European (CEE) migration by distinguishing between different types of CEE migrants and consequences. This involves a mapping of migration corridors within Europe, a unique empirical analysis of consequences for urban regions, and an analysis of governance responses. Next to the European and country perspectives on this phenomenon, the book focuses on the local perspective of urban regions where most mobile citizens settle (either permanently or temporarily). This way the book puts the analysis of intra-European movement in the perspective of broader theoretical debates in migration studies and beyond.
Beginning jOOQ : Learn to Write Efficient and Effective Java-Based SQL Database Operations
Learn to use the jOOQ library to manage SQL database operations in Java and JVM applications. This book walks you through what JOOQ is, how to install and get started with it, and then gets you working with it. You will: Comparing equivalent features between Hibernate, JPA and jOOQ. Unlock the power of your SQL database with high performing, flexible and typesafe SQL queries. Seamlessly work with many different SQL database vendors without changing your code. Effortlessly generate Java code based on the content of your database. Write reactive SQL database access code with R2DBC. Integrating jOOQ into popular frameworks and platforms like Hibernate, Spring boot and Quarkus tools like IDEs. Testing jOOQ-based code with modern integration testing frameworks like TestContainers and Docker. Learn how to safely handle data access code within frameworks like the Java Persistence API (JPA)
Beginning Java 17 Fundamentals : Object-Oriented Programming in Java 17
Learn the fundamentals of the Java 17 LTS or Java Standard Edition version 17 Long Term Support release, including basic programming concepts and the object-oriented fundamentals necessary at all levels of Java development. You will: Write your first Java programs with emphasis on learning object-oriented programming / How to work with switch expressions, value types (records), local variable type inference, pattern matching switch and more from Java 17 / Handle exceptions, assertions, strings and dates, and object formatting / Learn about how to define and use modules / Dive in depth into classes, interfaces, and inheritance in Java / Use regular expressions / Take advantage of the JShell REPL tool
Beginning deep learning with TensorFlow : Work with Keras, MNIST data sets, and advanced neural networks
Stats with an introduction to AI, where you’ll learn the history of neural networks and what sets deep learning apart from other varieties of machine learning. Discovery the variety of deep learning frameworks and set-up a deep learning development environment. Next, you’ll jump into simple classification programs for hand-writing analysis. Once you’ve tackled the basics of deep learning, you move on to TensorFlow 2 specifically. Find out what exactly a Tensor is and how to work with MNIST datasets. Finally, you’ll get into the heavy lifting of programming neural networks and working with a wide variety of neural network types such as GANs and RNNs. Deep Learning is a new area of Machine Learning research widely used in popular applications, such as voice assistant and self-driving cars. Work through the hands-on material in this book and become a TensorFlow programmer! You will: Develop using deep learning algorithms Build deep learning models using TensorFlow 2 Create classification systems and other, practical deep learning applications
Balanced Website Design : Optimising Aesthetics, Usability and Purpose
Balanced Website Design (BWD) is a new methodology that fuses the strengths of traditional structured, stepped, and iterative approaches with a sharp focus on defining and achieving the desired characteristics of purpose, usability and aesthetics – absolutely essential requirements for any website. The book includes discussions of new perspectives on usability and aesthetics in the special context of website design. BWD is suitable for all types of websites, for individual and/or team projects, and should prove to be of significant value for even the most experienced of website designers. BWD provides guidance, structure and detailed documentation/process support for the activity of designing and implementing your next website – helping you to maximise its effectiveness and relevance.
