ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence  (53)
  • Springer Nature  (38)
  • IntechOpen  (15)
  • Blackwell Publishing Ltd
  • Copernicus
  • International Union of Crystallography (IUCr)
  • 2020-2024  (53)
  • 2023  (53)
Collection
Keywords
Language
Years
  • 2020-2024  (53)
Year
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-03
    Description: This open access book deconstructs the core features of online misinformation and disinformation. It finds that the optimisation of emotions for commercial and political gain is a primary cause of false information online. The chapters distil societal harms, evaluate solutions, and consider what must be done to strengthen societies as new biometric forms of emotion profiling emerge. Based on a rich, empirical, and interdisciplinary literature that examines multiple countries, the book will be of interest to scholars and students of Communications, Journalism, Politics, Sociology, Science and Technology Studies, and Information Science, as well as global and local policymakers and ordinary citizens interested in how to prevent the spread of false information worldwide, both now and in the future.
    Keywords: media ecology ; emotional AI ; disinformation ; politics of emotion ; economies of emotion ; digital activism ; fake news ; political communication ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPA Political science and theory ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCT Media studies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-11
    Description: This open access book will give insights into global issues of work and work systems design from a wide range of perspectives. Topics like the impact of AI in the workplace as well as design for digital sovereignty at the workplace or foresight processes for digital work are covered. Practical cases, empirical results and theoretical considerations are not only taken from Germany and Europe, but also from Southeast Asia, South Africa, Middle America, and Australia. The book intends to expand the so far national view on the aspects of digital work (e.g. like in Ernst Hartmann’s immensely successful work “Zukunft der Arbeit in Industrie 4.0”) into an international context – thus showing not only common challenges, but also offering suggestions, best practice examples or thoughts from different global regions.
    Keywords: Digital Work ; Digital Sovereignty ; Artificial Intelligence ; Capacity Building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCD Economics of industrial organization ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book is a practitioner's guide to smart, connected products and solutions. As a hands-on playbook, it combines the business and technical execution perspectives to help product companies, OEMs, manufacturers and equipment operators utilize the full potential of digital enablers, especially Artificial Intelligence (AI), Internet of Things (IoT) and Digital Twins. The Digital Playbook provides comprehensive and actionable guidance, helping to address the challenges of creating sustainable and scalable digital business models, managing cocreation and sourcing, setting up the digital organization, and handling the legal aspects. For the technical execution perspective, the playbook includes the AIoT Framework, which explains how to combine data science and AI engineering with Digital Twins, as well as software development for cloud and edge. The integration with physical product development and retrofit integration of existing equipment is included as well. A pragmatic, agile approach is introduced that takes common agile inhibitors into consideration. A holistic AIoT DevOps approach is described, which combines key elements of DevOps for cloud, edge and AI. Enterprise readiness is ensured by looking at trust and security as well as reliability and resilience for AIoT. A large number of real-world examples and case studies help ensure practical relevance. Readers should have a previous, general understanding of digital strategies and technologies. This book offers readers a clear understanding of the opportunities, as well as the challenges related to building and operating smart, connected products and solutions. They are given a set of tools and blueprints, which they can apply to their practical work in this space. ;
    Keywords: Artificial Intelligence of Things ; Digital OEM ; Product AI ; AIoT DevOps ; Data management ; agile cloud development ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering::TJFM1 Robotics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book presents the proceedings of the 10th Machine Intelligence and Digital Interaction Conference. Artificial intelligence (AI) is rapidly affecting more aspects of our lives as a result of significant advancements in its research and the widespread usage of interactive technologies. This has led to the birth of several new social phenomena. Many nations have been working to comprehend these phenomena and discover solutions for moving artificial intelligence development in the proper direction to benefit individuals and communities at large. These efforts necessitate multidisciplinary approaches, encompassing not only the scientific fields involved in the creation of artificial intelligence and human–computer interaction but also strong collaboration between academics and practitioners. Because of this, the primary objective of the MIDI conference, which was conducted online on December 13–15, 2022, is to combine two up until recently distinct disciplines of research—artificial intelligence and human–technology interaction.
    Keywords: Computational Intelligence ; AI ; MIDI 2022 ; MIDI ; Machine Intelligence ; Digital Interaction ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-06
    Description: This open access book contributes to the discourse of Responsible Artificial Intelligence (AI) from an African perspective. It is a unique collection that brings together prominent AI scholars to discuss AI ethics from theoretical and practical African perspectives and makes a case for African values, interests, expectations and principles to underpin the design, development and deployment (DDD) of AI in Africa. The book is a first in that it pays attention to the socio-cultural contexts of Responsible AI that is sensitive to African cultures and societies. It makes an important contribution to the global AI ethics discourse that often neglects AI narratives from Africa despite growing evidence of DDD in many domains. Nine original contributions provide useful insights to advance the understanding and implementation of Responsible AI in Africa, including discussions on epistemic injustice of global AI ethics, opportunities and challenges, an examination of AI co-bots and chatbots in an African work space, gender and AI, a consideration of African philosophies such as Ubuntu in the application of AI, African AI policy, and a look towards a future of Responsible AI in Africa. This is an open access book.
    Keywords: Artificial Intelligence ; AI Ecosystems in Africa ; AI ethics ; digital culture ; SDGs ; Sustainable Development Goals ; AI policy ; ICT infrastructure in Africa ; AI governance ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: This open access book presents an overview of recent advances in photonic neural networks with spatiotemporal dynamics. The computing and implementation paradigms presented in this book are outcomes of interdisciplinary studies by collaborative researchers from the three fields of nonlinear mathematical science, information photonics, and integrated systems engineering. This book offers novel multidisciplinary viewpoints on photonic neural networks, illustrating recent advances in three types of computing methodologies: fluorescence energy transfer computing, spatial-photonic spin system, and photonic reservoir computing. The book consists of four parts: Part I introduces the backgrounds of optical computing and neural network dynamics; Part II presents fluorescence energy transfer computing, a novel computing technology based on nanoscale networks of fluorescent particles; Parts III and IV review the models and implementation of spatial-photonic spin systems and photonic reservoir computing, respectively. These contents are beneficial to researchers in a broad range of fields, including information science, mathematical science, applied physics, and engineering, to better understand the novel computing concepts of photonic neural networks with spatiotemporal dynamics.
    Keywords: photonic neural network ; spatiotemporal dynamics ; optical computing ; nonlinear dynamics ; fluorescence energy transfer ; Ising machine ; reservoir computing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWH Mathematical modelling ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWR Nonlinear science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: This open access book discusses the theory and methods of hypergraph computation. Many underlying relationships among data can be represented using graphs, for example in the areas including computer vision, molecular chemistry, molecular biology, etc. In the last decade, methods like graph-based learning and neural network methods have been developed to process such data, they are particularly suitable for handling relational learning tasks. In many real-world problems, however, relationships among the objects of our interest are more complex than pair-wise. Naively squeezing the complex relationships into pairwise ones will inevitably lead to loss of information which can be expected valuable for learning tasks. Hypergraph, as a generation of graph, has shown superior performance on modelling complex correlations compared with graph. Recent years have witnessed a great popularity of researches on hypergraph-related AI methods, which have been used in computer vision, social media analysis, etc. We summarize these attempts as a new computing paradigm, called hypergraph computation, which is to formulate the high-order correlations underneath the data using hypergraph, and then conduct semantic computing on the hypergraph for different applications. The content of this book consists of hypergraph computation paradigms, hypergraph modelling, hypergraph structure evolution, hypergraph neural networks, and applications of hypergraph computation in different fields. We further summarize recent achievements and future directions on hypergraph computation in this book.
    Keywords: Hypergraph ; Hypergraph Computation ; Hypergraph Learning ; Hypergraph Modelling ; Hypergraph Neural Network ; Complex Correlation Modelling ; High-Order Correlation Modelling ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: Ontology is a formal characteristic and an entity of perception and concept. The characteristic of an ontology is the formal description of a set of terms and the relationships between them, which is obtained with a special language and in a file that can be understood by computers. Ontologies could be employed in several domains, such as global semantic networks, search engines, electronic commerce, natural language processing, knowledge engineering, information extraction and retrieval, multi-agent systems, qualitative modeling of physical systems, database design, information systems, and geographic and digital libraries. This book presents the latest advances and new visions in the field of ontology in information science.
    Keywords: climate change ; security ; complex system ; protection ; scalability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.
    Keywords: artificial intelligence ; computer networks ; automated reasoning ; computer systems ; description logics ; formal languages ; formal logic ; constraint solving ; decision procedures ; network protocols ; ontologies ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: The contributions gathered in this open access book focus on modern methods for data science and classification and present a series of real-world applications. Numerous research topics are covered, ranging from statistical inference and modeling to clustering and dimension reduction, from functional data analysis to time series analysis, and network analysis. The applications reflect new analyses in a variety of fields, including medicine, marketing, genetics, engineering, and education. The book comprises selected and peer-reviewed papers presented at the 17th Conference of the International Federation of Classification Societies (IFCS 2022), held in Porto, Portugal, July 19–23, 2022. The IFCS federates the classification societies and the IFCS biennial conference brings together researchers and stakeholders in the areas of Data Science, Classification, and Machine Learning. It provides a forum for presenting high-quality theoretical and applied works, and promoting and fostering interdisciplinary research and international cooperation. The intended audience is researchers and practitioners who seek the latest developments and applications in the field of data science and classification.
    Keywords: Classification ; Data Science ; Clustering ; Statistical Learning ; Machine Learning ; Data Analysis ; Mutlivariate Analysis ; Statistical Inference ; Dimension Reduction ; Functional Data Analysis ; Time Series Analysis ; Network Analysis ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UF Business applications::UFM Mathematical and statistical software ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: Artificial Intelligence (AI) is widely known as a knowledge field that aims to make computers, robots, or products that mimic the way humans think. In the current scientific community, AI is an intensively studied area composed of multiple branches. Historically, machine learning and optimization are two of the most studied fronts thanks to the development of novel and challenging research topics such as transfer optimization, swarm robotics, and drift detection and adaptation to evolving conditions in real-time. This book collects radically new theoretical insights, reporting recent developments and evincing innovative applications regarding AI methods in all fields of knowledge. It also presents works focused on new paradigms and novel branches of AI science.
    Keywords: deep learning, ai, feature extraction, condition monitoring, innovation, power quality ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-11
    Description: This open access book covers emerging opportunities and future use of nanotechnology in construction, including deep advances in cement chemistry, nanotechnology, artificial intelligence, robotics, concrete technology, and extreme engineering (blast, impact and fire). The proceedings also presents sectorial interactions within the traditional construction industry supply chain, enabled by the dynamic partnership between international industry, government agencies, and universities. Nanotechnology has transformed the construction materials industry into an advanced manufacturing sector to address climate change and carbon neutrality challenges by delivering sustainable and resilient infrastructure assets. Hence, this book reports specific advances in nanoscience and nano-engineering, and their impacts on numerous novel construction materials including binders, additives, high-performance concrete materials, concrete structural systems, polymer composites, and pavement materials.
    Keywords: Cement chemistry ; Concrete technology ; Polymer composites ; Pavement materials ; Construction material ; Nanocomposites ; Structural health monitoring ; Polymer paints ; Cement additives ; Clinker and Binder ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBN Nanotechnology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: The solution to many real-world problems lies in optimizing processes, parameters, or techniques, which requires dealing with immense search spaces. As such, finding solutions involves exhaustive methods to evaluate all possible solutions in the search for a global optimum. Some of these methods include evolutionary algorithms and genetic algorithms, both of which have proven to effectively deal with complex search spaces. This book focuses on genetic algorithms and their applications in various fields, including engineering and architecture.
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: Optimisation is one of the unavoidable key subjects in engineering and other real-world problems, which attracts researchers’ and practitioners’ attention for decades. On the other hand, computational algorithms nowadays play a definitive role in most real-life applications, from mobile phones to supercomputers, Internet servers, manufacturing, etc. An intelligent method for the enumeration of feasible solutions may lead to efficient computational algorithms. Swarm intelligence emerges as a rather new and novel of field computational intelligence that turned into a hot spot in optimization studies last two decades. This book brings together a number of research articles within the intersection of these two prominent subjects, which introduces techniques and approaches in detail and demonstrates how optimisation problems can be solved with heuristic and swarm intelligence approaches. It contains a few contributions on Particle Swarm Optimisation (PSO) area, which is one of renown swarm optimisation approaches that will shed light to issues around optimisation with swarm intelligence to guide junior researchers with implementation details provided.
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Publication Date: 2024-04-14
    Description: This is an open access book. The book starts with an introductory IoT overview related to its selected scope of applications. There is no doubt that digitalization solutions from Industry 4.0 and the Internet of Things (IoT) can be perceived as excellent candidate strategies capable of handling the above-stated issues concerning measurements and transparency. However, IoT tools themselves can provide appropriate data only, while their efficient integration and application are possible using a dedicated onboarding platform only. To settle this issue, the book undertakes the problem of modern IoT onboarding platforms for the advanced applications pertaining to manufacturing and logistics. In particular, instead of deliberating about a possible hypothetic platforms, an existing and efficient one is employed, which is called KIS.ME. KIS.ME (Keep It Simple. Manage Everything) is a complete IoT solution for a simple integration in manufacturing and logistics. It is composed of a set of hardware devices (KIS.BOX, KIS.IO and KIS.LIGHT), which are intuitively integrated with the cloud platform called KIS.MANAGER. Moreover, the entire platform is an open one, and hence, it enables communication with external services using KIS.API architecture. The application range of KIS.ME is extensive. This is due to the intuitive implementation and visualization of a user-defined key performance indicators (KPIs), which constitute effective optimization measures. Thus, the potential areas of application of KIS.ME are, e.g., manufacturing, warehouse management and logistics. Indeed, triggering and/or ordering various tasks can be immediately and efficiently implemented with KIS.ME. Such an approach translates directly to the savings of the time and energy. Subsequently, a gradual introduction to KIS.ME platform is presented, which constitutes the base for further advanced applications including logistics, control and maintenance of various processes. Finally, the potential of KIS.API communication framework is utilized for an efficient communication with external services.
    Keywords: loT Platforms ; KIS.Manager ; Communication Framework ; Warehouse Management and Logistics ; Potential of KIS.API ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory::GPFC Cybernetics and systems theory
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-07
    Description: This open access book provides an extensive overview of the usage of information and communication technologies in the tourism and hospitality industry. It presents the proceedings of the International Federation for IT and Travel & Tourism (IFITT)’s 30th Annual International eTourism Conference, which assembles the latest research presented at the ENTER2023 conference. The enclosed papers cover various topics within the field, including augmented and virtual reality, website development, social media use, e-learning, big data, analytics and recommendation systems.
    Keywords: Virtual reality in tourism and hospitality ; Augmented reality in tourism and hospitality ; e-Tourism ; e-Learning ; recommendation systems in tourism ; social media use in tourism and hospitality ; big data analytics in tourism and hospitality ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNS Hospitality and service industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJJ Business and the environment; ‘green’ approaches to business
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: This unique open access book applies the functional OCaml programming language to numerical or computational weighted data science, engineering, and scientific applications. This book is based on the authors' first-hand experience building and maintaining Owl, an OCaml-based numerical computing library. You'll first learn the various components in a modern numerical computation library. Then, you will learn how these components are designed and built up and how to optimize their performance. After reading and using this book, you'll have the knowledge required to design and build real-world complex systems that effectively leverage the advantages of the OCaml functional programming language. What You Will Learn Optimize core operations based on N-dimensional arrays Design and implement an industry-level algorithmic differentiation module Implement mathematical optimization, regression, and deep neural network functionalities based on algorithmic differentiation Design and optimize a computation graph module, and understand the benefits it brings to the numerical computing library Accommodate the growing number of hardware accelerators (e.g. GPU, TPU) and execution backends (e.g. web browser, unikernel) of numerical computation Use the Zoo system for efficient scripting, code sharing, service deployment, and composition Design and implement a distributed computing engine to work with a numerical computing library, providing convenient APIs and high performance Who This Book Is For Those with prior programming experience, especially with the OCaml programming language, or with scientific computing experience who may be new to OCaml. Most importantly, it is for those who are eager to understand not only how to use something, but also how it is built up.
    Keywords: programming language ; OCaml ; scientific computing ; computational ; debugging ; open source ; source ; code ; numerical ; data science ; big data ; owl ; functional ; math ; scientific ; engineering ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-11
    Description: This open access book is a compilation of selected papers from DigitalFUTURES 2022—The 4th International Conference on Computational Design and Robotic Fabrication (CDRF 2022). The work focuses on novel techniques for computational design and robotic fabrication. The contents make valuable contributions to academic researchers, designers, and engineers in the industry. As well, readers encounter new ideas about intelligence in architecture.
    Keywords: History, Theory and Critics of Building Technology ; Performance-based Design ; Fabrication and Construction ; Data Mining and Visualizing ; Post-humanist Intelligence ; AI in Architecture ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering ; thema EDItEUR::U Computing and Information Technology::UG Graphical and digital media applications::UGC Computer-aided design (CAD) ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes selected papers presented during the 30th Irish Conference on Artificial Intelligence and Cognitive Science, held in Munster, Ireland, in December 2022. The 41 presented papers were thoroughly reviewed and selected from the 102 submissions. They are organized in topical sections on ​machine learning, deep learning and applications; responsible and trustworthy artificial intelligence; natural language processing and recommender systems; knowledge representation, reasoning, optimisation and intelligent applications.
    Keywords: information retrieval ; computer vision ; artificial intelligence ; machine learning ; agent systems ; collaborative networks ; neural networks ; image processing ; patter recognition ; neural computing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access handbook describes foundational issues, methodological approaches and examples on how to analyse and model data using Computational Social Science (CSS) for policy support. Up to now, CSS studies have mostly developed on a small, proof-of concept, scale that prevented from unleashing its potential to provide systematic impact to the policy cycle, as well as from improving the understanding of societal problems to the definition, assessment, evaluation, and monitoring of policies. The aim of this handbook is to fill this gap by exploring ways to analyse and model data for policy support, and to advocate the adoption of CSS solutions for policy by raising awareness of existing implementations of CSS in policy-relevant fields. To this end, the book explores applications of computational methods and approaches like big data, machine learning, statistical learning, sentiment analysis, text mining, systems modelling, and network analysis to different problems in the social sciences. The book is structured into three Parts: the first chapters on foundational issues open with an exposition and description of key policymaking areas where CSS can provide insights and information. In detail, the chapters cover public policy, governance, data justice and other ethical issues. Part two consists of chapters on methodological aspects dealing with issues such as the modelling of complexity, natural language processing, validity and lack of data, and innovation in official statistics. Finally, Part three describes the application of computational methods, challenges and opportunities in various social science areas, including economics, sociology, demography, migration, climate change, epidemiology, geography, and disaster management. The target audience of the book spans from the scientific community engaged in CSS research to policymakers interested in evidence-informed policy interventions, but also includes private companies holding data that can be used to study social sciences and are interested in achieving a policy impact.
    Keywords: Computational Social Science ; Data Science ; Big Data Analytics ; Statistical Learning ; Machine Learning ; Sentiment Analysis ; Natural Language Processing ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: Artificial intelligence (AI) is taking an increasingly important role in our society. From cars, smartphones, airplanes, consumer applications, and even medical equipment, the impact of AI is changing the world around us. The ability of machines to demonstrate advanced cognitive skills in taking decisions, learn and perceive the environment, predict certain behavior, and process written or spoken languages, among other skills, makes this discipline of paramount importance in today's world. Although AI is changing the world for the better in many applications, it also comes with its challenges. This book encompasses many applications as well as new techniques, challenges, and opportunities in this fascinating area.
    Keywords: deep learning, machine learning, optimization, cardiovascular disease, virtual reality, iot ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Keywords: architecture verification and validation ; artificial intelligence ; computer programming ; distributed computer systems ; formal logic ; embedded systems ; model checking ; programming languages ; software architecture ; software design ; software quality ; logic and verification ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Keywords: architecture verification and validation ; artificial intelligence ; computer programming ; distributed computer systems ; formal logic ; software engineering ; distributed systems ; model checking ; programming languages ; software quality ; theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Keywords: architecture verification and validation ; artificial intelligence ; computer programming ; computer systems ; distributed systems ; embedded systems ; formal logic ; model checking ; programming languages ; software architecture ; software design ; software quality ; software engineering ; logic and verification ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-11
    Description: This open access book provides a unified overview of topological obstructions to the stability and stabilization of dynamical systems defined on manifolds and an overview that is self-contained and accessible to the control-oriented graduate student. The authors review the interplay between the topology of an attractor, its domain of attraction, and the underlying manifold that is supposed to contain these sets. They present some proofs of known results in order to highlight assumptions and to develop extensions, and they provide new results showcasing the most effective methods to cope with these obstructions to stability and stabilization. Moreover, the book shows how Borsuk’s retraction theory and the index-theoretic methodology of Krasnosel’skii and Zabreiko underlie a large fraction of currently known results. This point of view reveals important open problems, and for that reason, this book is of interest to any researcher in control, dynamical systems, topology, or related fields.
    Keywords: Control Systems ; Feedback Control ; Algebraic Topology ; Differential Topology ; Index Theory ; Retractive Theory ; Topological Obstruction ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWR Nonlinear science ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBP Topology ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: This open access book provides a wealth of hands-on examples that illustrate how hyperparameter tuning can be applied in practice and gives deep insights into the working mechanisms of machine learning (ML) and deep learning (DL) methods. The aim of the book is to equip readers with the ability to achieve better results with significantly less time, costs, effort and resources using the methods described here. The case studies presented in this book can be run on a regular desktop or notebook computer. No high-performance computing facilities are required. The idea for the book originated in a study conducted by Bartz & Bartz GmbH for the Federal Statistical Office of Germany (Destatis). Building on that study, the book is addressed to practitioners in industry as well as researchers, teachers and students in academia. The content focuses on the hyperparameter tuning of ML and DL algorithms, and is divided into two main parts: theory (Part I) and application (Part II). Essential topics covered include: a survey of important model parameters; four parameter tuning studies and one extensive global parameter tuning study; statistical analysis of the performance of ML and DL methods based on severity; and a new, consensus-ranking-based way to aggregate and analyze results from multiple algorithms. The book presents analyses of more than 30 hyperparameters from six relevant ML and DL methods, and provides source code so that users can reproduce the results. Accordingly, it serves as a handbook and textbook alike.
    Keywords: Hyperparameter Tuning ; Hyperparameters ; Tuning ; Deep Neural Networks ; Reinforcement Learning ; Machine Learning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UF Business applications::UFM Mathematical and statistical software ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UF Business applications::UFM Mathematical and statistical software ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-07
    Description: This open access book offers a strategic perspective on AI and the process of embedding it in society. ​After decades of research, Artificial Intelligence (AI) is now entering society at large. Due to its general purpose character, AI will change society in multiple, fundamental and unpredictable ways. Therefore, the Netherlands Scientific Council for Government Policy (WRR) characterizes AI as a system technology: a rare type of technologies that have a systemic impact on society. Earlier system technologies include electricity, the combustion engine and the computer. The history of these technologies provides us with useful insights about what it takes to direct the introduction of AI in society. The WRR identifies five key tasks to structurally work on this process: demystification, contextualisation, engagement, regulation and positioning. By clarifying what AI is (demystification), creating a functional ecosystem (contextualisation), involving diverse stakeholders (engagement), developing directive frameworks (regulation) and engaging internationally (positioning), societies can meaningfully influence how AI settles. Collectively, these activities steer the process of co-development between technology and society, and each representing a different path to safeguard public values. Mission AI - The New System Technology was originally published as an advisory report for the government of the Netherlands. The strategic analysis and the outlined recommendations are, however, relevant to every government and organization that aims to take up 'misson AI' and embed this newest system technology in our world.
    Keywords: Artificial intelligence ; Public policy ; Strategic governance of technology ; Safeguarding public values ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.
    Keywords: tableaux ; tableaux calculus ; sequent calculus ; proof theory ; theorem proving ; proof assistant ; natural deduction ; formalized proof ; decision procedures ; automated deduction ; SMT ; resolution ; cut-elimination ; non-classical logics ; modal logic ; intuitionistic ; inear logic ; substructural logic ; separation logic ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This book constitutes the refereed proceedings of the 4th Symposium of the Norwegian AI Society, NAIS 2022, held in Oslo, Norway, during May 31–June 1, 2022. The 11 full papers included in this book were carefully reviewed and selected from 17 submissions. They were organized in topical sections as follows: robotics and intelligent systems; ai in cyber and digital sphere; ai in biological applications and medicine; and towards new ai methods. This is an open access book.
    Keywords: artificial intelligence ; clustering algorithms ; computer security ; computer vision ; correlation analysis ; data handling ; data integration ; engineering ; expert systems ; Human-Computer Interaction (HCI) ; image analysis ; image processing ; integrated data ; machine learning ; network protocols ; software engineering ; unsupervised learning ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes refereed proceedings of the Third Conference on Silicon Valley Cybersecurity Conference, SVCC 2022, held as virtual event, in August 17–19, 2022. The 8 full papers included in this book were carefully reviewed and selected from 10 submissions. The contributions are divided into the following thematic blocks: Malware Analysis; Blockchain and Smart Contracts; Remote Device Assessment. This is an open access book.
    Keywords: artificial intelligence ; blockchain ; classification ; computer crime ; computer networks ; computer security ; computer systems ; computer vision ; cryptography ; data communication systems ; data security ; distributed computer systems ; distributed ledger ; image analysis ; intrusion detection ; machine learning ; network protocols ; network security ; parallel processing systems ; query languages ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-11
    Description: This Open Access proceedings presents a good overview of the current research landscape of assembly, handling and industrial robotics. The objective of MHI Colloquium is the successful networking at both academic and management level. Thereby, the colloquium focuses an academic exchange at a high level in order to distribute the obtained research results, to determine synergy effects and trends, to connect the actors in person and in conclusion, to strengthen the research field as well as the MHI community. In addition, there is the possibility to become acquatined with the organizing institute. Primary audience is formed by members of the scientific society for assembly, handling and industrial robotics (WGMHI).
    Keywords: Assembly Processes & Systems ; Handling & Grasping ; Modelling & Simulation ; Human-robot-collaboration ; Industry 4.0 ; Industrial Robotics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering::TJFM1 Robotics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book conveys attention to the theme of transition towards resilience and sustainability and its evolutionary perspective that emphasizes the complexity and uncertainty that governments and society are called to address in response to the ongoing challenges. "New Metropolitan Perspective Post COVID Dynamics: Green and Digital Transition, between Metropolitan and Return to Villages’ Perspectives”, 25–27 May 2022, Reggio Calabria, Italy. The papers included in the book are grouped around the following main topics: the envisaged transition towards resilience and sustainability; the relevance of the planning dimension for defining sustainable development pathways and managing complexity; and the green and digital transition by glimpsing at approaches, experiences, and cases that outline innovative solutions in cities and inner areas. The book primarily targets the academic and policymaker communities involved in managing the complexity of the transition for regions and cities.
    Keywords: Urban Transition ; Peripheral areas ; Scientific computing and data processing ; Resilience and Recovery ; Research & open innovation ; European Industrial Ecosystem ; Technological resilience ; Knowledge complexity ; Evolutionary economy ; Digital Transition ; Energy-Mobility-Food Systems ; Sustainability transitions ; NMP 2022 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    Publication Date: 2024-03-29
    Description: Dieses Buch – eine Open-Access-Publikation mit freiem Online-Zugang – bietet eine verständliche und kompakte Einführung in die Nutzung von KI-Systemen in öffentlichen Verwaltungen. Es beantwortet folgende Fragen: Was bedeutet Künstliche Intelligenz? Wie und in welchen Einsatzgebieten können KI-Systeme im öffentlichen Sektor genutzt werden. Welche Erwartungen und Ziele werden mit dem KI-Einsatz verbunden? Welche Probleme werden adressiert? Auch Aspekte der Governance, also Steuerungsfragen, spielen eine Rolle. Ein besonderer Schwerpunkt liegt auf der Betrachtung der Beziehung und Interaktionen zwischen Mensch und KI-System. Dabei wird auch die Erklärbarkeit der Funktionsweise eines KI-Systems erläutert. Die Inhalte sollen Personen in die Lage versetzen, den Einsatz von KI in der öffentlichen Verwaltung differenziert beurteilen zu können. Kenntnisse im Bereich der Informatik werden nicht vorausgesetzt. Nach dem Lesen dieses Buches sind Sie in der Lage, KI-Anwendungsfälle und Potenziale im öffentlichen Sektor zu identifizieren, KI-Methoden im Überblick zu verstehen, Grenzen und Herausforderungen bei der Anwendung im öffentlichen Sektor zu diskutieren und Anforderungen an KI-Anwendungen im öffentlichen Sektor zu erarbeiten. Im Sinne von Offenheit ist dieses Werk eine Open-Access-Publikation mit freiem Online-Zugang. Inklusive kostenlosem Online-Wissens-Quiz mit der Springer Nature Flashcards-App: Der Fragensatz mit 78 Fragen und Antworten in den SN Flashcards beinhaltet Wiederholungs- und Vertiefungsfragen zum Lehrbuch „KI in öffentlichen Verwaltungen“. Die Fragen und Antworten vermitteln spielerisch wichtige Begriffe, Hintergründe und Wissenswertes zum Thema. ; Dieses Buch – eine Open-Access-Publikation mit freiem Online-Zugang – bietet eine verständliche und kompakte Einführung in die Nutzung von KI-Systemen in öffentlichen Verwaltungen. Es beantwortet folgende Fragen: Was bedeutet Künstliche Intelligenz? Wie und in welchen Einsatzgebieten können KI-Systeme im öffentlichen Sektor genutzt werden. Welche Erwartungen und Ziele werden mit dem KI-Einsatz verbunden? Welche Probleme werden adressiert? Auch Aspekte der Governance, also Steuerungsfragen, spielen eine Rolle. Ein besonderer Schwerpunkt liegt auf der Betrachtung der Beziehung und Interaktionen zwischen Mensch und KI-System. Dabei wird auch die Erklärbarkeit der Funktionsweise eines KI-Systems erläutert. Die Inhalte sollen Personen in die Lage versetzen, den Einsatz von KI in der öffentlichen Verwaltung differenziert beurteilen zu können. Kenntnisse im Bereich der Informatik werden nicht vorausgesetzt. Nach dem Lesen dieses Buches sind Sie in der Lage, KI-Anwendungsfälle und Potenziale im öffentlichen Sektor zu identifizieren, KI-Methoden im Überblick zu verstehen, Grenzen und Herausforderungen bei der Anwendung im öffentlichen Sektor zu diskutieren und Anforderungen an KI-Anwendungen im öffentlichen Sektor zu erarbeiten. Im Sinne von Offenheit ist dieses Werk eine Open-Access-Publikation mit freiem Online-Zugang. Inklusive kostenlosem Online-Wissens-Quiz mit der Springer Nature Flashcards-App: Der Fragensatz mit 78 Fragen und Antworten in den SN Flashcards beinhaltet Wiederholungs- und Vertiefungsfragen zum Lehrbuch „KI in öffentlichen Verwaltungen“. Die Fragen und Antworten vermitteln spielerisch wichtige Begriffe, Hintergründe und Wissenswertes zum Thema.
    Keywords: Open Access Publikation zu Open Government im eGov-Campus ; KI in der öffentlichen Verwaltung ; Künstliche Intelligenz im öffentlichen Sektor ; KI verständlich erklärt mit Anwendungsbeispielen ; KI und Ethik in öffentlicher Verwaltung ; KI-Anwendungen und rechtliche Aspekte ; Datenstrukturen für KI-Anwendungen ; KI und Datenschutz ; Gebrauchstaugliche Entwicklung von KI-Anwendungen ; Mensch-KI-Systeme ; Prozessautomatisierung mit KI ; KI in Kommunalverwaltung, Landes- und Bundesverwaltung ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: Artificial intelligence (AI) has attracted the attention of many and is taking an increasingly crucial role in our modern society. AI machines demonstrate advanced cognitive skills in making decisions, learning, perceiving the environment, predicting certain behavior, and processing written or spoken languages, among other skills. In tandem with AI, “swarm intelligence” is being used to solve complex problems that are beyond the reasoning and problem-solving abilities of humans. This book discusses both AI and swarm intelligence, including their theoretical backgrounds and applications.
    Keywords: optimization ; particle swarm optimization ; deep learning ; artificial neural network ; genetic algorithm ; response surface methodology ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: This book integrates the practices of enthusiastic investigators in the field of MAS-based approaches, elaboration, and implementation. The content of the book identifies the most complicated tasks and their possible solutions while implementing MAS instrumentation into engineering practice. The proposed focus on the control problems involves a wide range of adjacent problems described in the chapters of the book. Material presented in the book aim to provide the basic knowledge for further MAS-systems study and control design to reach the goals and needs coming from engineering practice under often contradictory existing requirements.
    Keywords: autonomy, formation control, ant colony optimization, distributed system, functional analysis ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book provides a comprehensive overview of the state of the art in research and applications of Foundation Models and is intended for readers familiar with basic Natural Language Processing (NLP) concepts. Over the recent years, a revolutionary new paradigm has been developed for training models for NLP. These models are first pre-trained on large collections of text documents to acquire general syntactic knowledge and semantic information. Then, they are fine-tuned for specific tasks, which they can often solve with superhuman accuracy. When the models are large enough, they can be instructed by prompts to solve new tasks without any fine-tuning. Moreover, they can be applied to a wide range of different media and problem domains, ranging from image and video processing to robot control learning. Because they provide a blueprint for solving many tasks in artificial intelligence, they have been called Foundation Models. After a brief introduction to basic NLP models the main pre-trained language models BERT, GPT and sequence-to-sequence transformer are described, as well as the concepts of self-attention and context-sensitive embedding. Then, different approaches to improving these models are discussed, such as expanding the pre-training criteria, increasing the length of input texts, or including extra knowledge. An overview of the best-performing models for about twenty application areas is then presented, e.g., question answering, translation, story generation, dialog systems, generating images from text, etc. For each application area, the strengths and weaknesses of current models are discussed, and an outlook on further developments is given. In addition, links are provided to freely available program code. A concluding chapter summarizes the economic opportunities, mitigation of risks, and potential developments of AI.
    Keywords: Pre-trained Language Models ; Deep Learning ; Natural Language Processing ; Transformer Models ; BERT ; GPT ; Attention Models ; Natural Language Understanding ; Multilingual Models ; Natural Language Generation ; Chatbot ; Foundation Models ; Information Extraction ; Text Generation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFX Computational and corpus linguistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: In the era globalisation the emerging technologies are governing engineering industries to a multifaceted state. The escalating complexity has demanded researchers to find the possible ways of easing the solution of the problems. This has motivated the researchers to grasp ideas from the nature and implant it in the engineering sciences. This way of thinking led to emergence of many biologically inspired algorithms that have proven to be efficient in handling the computationally complex problems with competence such as Genetic Algorithm (GA), Ant Colony Optimization (ACO), Particle Swarm Optimization (PSO), etc. Motivated by the capability of the biologically inspired algorithms the present book on "Swarm Intelligence: Focus on Ant and Particle Swarm Optimization" aims to present recent developments and applications concerning optimization with swarm intelligence techniques. The papers selected for this book comprise a cross-section of topics that reflect a variety of perspectives and disciplinary backgrounds. In addition to the introduction of new concepts of swarm intelligence, this book also presented some selected representative case studies covering power plant maintenance scheduling; geotechnical engineering; design and machining tolerances; layout problems; manufacturing process plan; job-shop scheduling; structural design; environmental dispatching problems; wireless communication; water distribution systems; multi-plant supply chain; fault diagnosis of airplane engines; and process scheduling. I believe these 27 chapters presented in this book adequately reflect these topics.
    Keywords: Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
    Keywords: artificial intelligence ; automata theory ; Boolean functions ; formal languages ; formal logic ; model checking ; software engineering ; automated theorem proving ; software verification ; logic programming ; automated reasoning ; automated deduction ; propositional satisfiability ; constraint solving ; computer algebra ; satisfiability modulo theories ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: Objective Information Theory (OIT) is proposed to represent and compute the information in a large-scale complex information system with big data in this monograph. To formally analyze, design, develop, and evaluate the information, OIT interprets the information from essential nature, measures the information from mathematical properties, and models the information from concept, logic, and physic. As the exemplified applications, Air Traffic Control System (ATCS) and Smart Court SoSs (System of Systems) are introduced for practical OITs. This Open Access book can be used as a technical reference book in the field of information science and also a reference textbook for senior students and graduate ones in related majors.
    Keywords: Object Information Theory ; Information Space ; Structural Framework ; Metaverse ; Information Model ; Information Measure ; Information Systems Dynamics ; Air Traffic Control System (ATCS) ; Smart Court SoSs (System of Systems) ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: Artificial Intelligence (AI) has attracted the attention of many researchers and users alike, and it has become increasingly crucial in our modern society. From cars, smartphones, airplanes, medical equipment, consumer applications, and industrial machines, among others, the impact of AI is notoriously changing the world we live in and making it better in many areas. However, it is equally important to remember that every progress comes with certain challenges that we as a society must address.
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: The book on Ontology in Information Science explores a broad set of ideas and presents some of the state-of-the-art research in this field concisely in 12 chapters. This book provides researchers and practitioners working in the field of ontology and information science an opportunity to share their theories, methodologies, experiences, and experimental results related to ontology development and application in various areas. It also includes the design aspects of domain ontologies considering the architecture, development strategy, and selection of tools. The intended audience of this book will mainly consist of researchers, research students, and practitioners in the field of ontology and information science.
    Keywords: knowledge management, agriculture, big data, complex systems, project management, data management ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: The development of new technologies based on artificial intelligence and computer vision, together with the possibility of connecting different devices together in real-time, has enabled the development and progress of intelligent video surveillance. Thanks to IoT technologies, high-resolution cameras can be networked to monitor their territory, collect recordings and have them analyzed by artificial intelligence systems trained to identify critical situations. This book discusses new achievements in intelligent video surveillance solutions and their future prospects.
    Keywords: face recognition ; machine learning ; remote sensing ; image processing ; security ; artificial intelligence (ai) ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: Intelligent system is an advanced machine that can perceive, learn, and solve the problems with a great accuracy. Technologies with intelligent system are currently available in the market and used in real-world applications, i.e., self-driving cars, Siri, Alexa, Facebook, and so on. To exceed human cognitive capabilities, the important keys rely on the development of sensors and algorithms. Therefore, the insight into artificial intelligence (AI) methods becomes a fundamental building block for design and construction of intelligent system with particular applications. This book aims to describe the AI systems ranging from the basic knowledge, i.e., algorithm and mathematical models of AI techniques, fundamentals of machine learning, genetic algorithm, and fuzzy logic, to the current state-of-the-art applications, such as smart road and biomedical applications.
    Keywords: machine learning, artificial intelligence, breast cancer, data mining, neural network, dna ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-11
    Description: This book guides its audience—which can range from novice users to experts— though a 55-chapter tour of Google Earth Engine. A sequenced and diverse set of lab materials, this is the product of more than a year of effort from more than a hundred individuals, collecting new exercises from professors, undergraduates, master’s students, PhD students, postdocs, and independent consultants. Cloud Based Remote Sensing with Google Earth Engine is broadly organized into two halves. The first half, Fundamentals, is a set of 31 labs designed to take the reader from being a complete Earth Engine novice to being a quite advanced user. The second half, Applications, presents a tour of the world of Earth Engine across 24 chapters, showing how it is used in a very wide variety of settings that rely on remote-sensing data This is an open access book.
    Keywords: Cloud computing ; Remote sensing ; Satellite imagery ; Big data ; Image processing ; Historical change ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology::TQD Environmental monitoring ; thema EDItEUR::P Mathematics and Science::PN Chemistry::PNF Analytical chemistry ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TT Other technologies and applied sciences::TTB Applied optics::TTBM Imaging systems and technology ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: This open access book systematically investigates the topic of entity alignment, which aims to detect equivalent entities that are located in different knowledge graphs. Entity alignment represents an essential step in enhancing the quality of knowledge graphs, and hence is of significance to downstream applications, e.g., question answering and recommender systems. Recent years have witnessed a rapid increase in the number of entity alignment frameworks, while the relationships among them remain unclear. This book aims to fill that gap by elaborating the concept and categorization of entity alignment, reviewing recent advances in entity alignment approaches, and introducing novel scenarios and corresponding solutions. Specifically, the book includes comprehensive evaluations and detailed analyses of state-of-the-art entity alignment approaches and strives to provide a clear picture of the strengths and weaknesses of the currently available solutions, so as to inspire follow-up research. In addition, it identifies novel entity alignment scenarios and explores the issues of large-scale data, long-tail knowledge, scarce supervision signals, lack of labelled data, and multimodal knowledge, offering potential directions for future research. The book offers a valuable reference guide for junior researchers, covering the latest advances in entity alignment, and a valuable asset for senior researchers, sharing novel entity alignment scenarios and their solutions. Accordingly, it will appeal to a broad audience in the fields of knowledge bases, database management, artificial intelligence and big data.
    Keywords: Knowledge Graph ; Entity Alignment ; Knowledge Graph Alignment ; Knowledge Graph Matching ; Entity Matching ; Knowledge Fusion ; Data Integration ; Knowledge Graph Representation Learning ; Multi-Modal Knowledge Graph ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: The theoretical approach of this book is to develop a primary survey of the knowledge representation model, providing convergence of classical operations research and modern knowledge engineering. This convergence creates new opportunities for complicated problems of formalization and solution by integrating the best features of mathematical programming or constraint programming. This book explains in six chapters that expert systems are products in the field of computer science that attempt to perform as intelligent software. What is outstanding for expert systems is the applicability area and the solving of different problems in many fields or industrial branches.
    Keywords: digital economy, systems analysis, artificial intelligence, bayesian networks, programming ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    facet.materialart.
    Unknown
    Springer Nature | Springer Fachmedien Wiesbaden
    Publication Date: 2024-04-11
    Description: This Open-Access-book addresses the issue of translating mathematical expressions from LaTeX to the syntax of Computer Algebra Systems (CAS). Over the past decades, especially in the domain of Sciences, Technology, Engineering, and Mathematics (STEM), LaTeX has become the de-facto standard to typeset mathematical formulae in publications. Since scientists are generally required to publish their work, LaTeX has become an integral part of today's publishing workflow. On the other hand, modern research increasingly relies on CAS to simplify, manipulate, compute, and visualize mathematics. However, existing LaTeX import functions in CAS are limited to simple arithmetic expressions and are, therefore, insufficient for most use cases. Consequently, the workflow of experimenting and publishing in the Sciences often includes time-consuming and error-prone manual conversions between presentational LaTeX and computational CAS formats. To address the lack of a reliable and comprehensive translation tool between LaTeX and CAS, this thesis makes the following three contributions. First, it provides an approach to semantically enhance LaTeX expressions with sufficient semantic information for translations into CAS syntaxes. Second, it demonstrates the first context-aware LaTeX to CAS translation framework LaCASt. Third, the thesis provides a novel approach to evaluate the performance for LaTeX to CAS translations on large-scaled datasets with an automatic verification of equations in digital mathematical libraries. This is an open access book.
    Keywords: LaTeX ; Computer Algebra Systems ; Presentational Mathematics ; Presentation to Computation Translations ; Computable Mathematics ; Mathematical Information Retrieval ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.* The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full and 42 short papers were accepted to the workshops/ thematic tracks. *The conference was held in a hybrid format This is an open access book.
    Keywords: artificial intelligence ; communication systems ; computer networks ; computer systems ; computer vision ; correlation analysis ; data mining ; image analysis ; image processing ; machine learning ; network protocols ; neural networks ; numerical methods ; signal processing ; telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: This book provides an overview of the recent advances in representation learning theory, algorithms, and applications for natural language processing (NLP), ranging from word embeddings to pre-trained language models. It is divided into four parts. Part I presents the representation learning techniques for multiple language entries, including words, sentences and documents, as well as pre-training techniques. Part II then introduces the related representation techniques to NLP, including graphs, cross-modal entries, and robustness. Part III then introduces the representation techniques for the knowledge that are closely related to NLP, including entity-based world knowledge, sememe-based linguistic knowledge, legal domain knowledge and biomedical domain knowledge. Lastly, Part IV discusses the remaining challenges and future research directions. The theories and algorithms of representation learning presented can also benefit other related domains such as machine learning, social network analysis, semantic Web, information retrieval, data mining and computational biology. This book is intended for advanced undergraduate and graduate students, post-doctoral fellows, researchers, lecturers, and industrial engineers, as well as anyone interested in representation learning and natural language processing. As compared to the first edition, the second edition (1) provides a more detailed introduction to representation learning in Chapter 1; (2) adds four new chapters to introduce pre-trained language models, robust representation learning, legal knowledge representation learning and biomedical knowledge representation learning; (3) updates recent advances in representation learning in all chapters; and (4) corrects some errors in the first edition. The new contents will be approximately 50%+ compared to the first edition. This is an open access book.
    Keywords: Deep Learning ; Representation Learning ; Knowledge Representation ; Word Representation ; Document Representation ; Big Data ; Machine Learning ; Natural Language Processing ; Artificial Intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFX Computational and corpus linguistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: This open access book serves as a compact source of information on sine cosine algorithm (SCA) and a foundation for developing and advancing SCA and its applications. SCA is an easy, user-friendly, and strong candidate in the field of metaheuristics algorithms. Despite being a relatively new metaheuristic algorithm, it has achieved widespread acceptance among researchers due to its easy implementation and robust optimization capabilities. Its effectiveness and advantages have been demonstrated in various applications ranging from machine learning, engineering design, and wireless sensor network to environmental modeling. The book provides a comprehensive account of the SCA, including details of the underlying ideas, the modified versions, various applications, and a working MATLAB code for the basic SCA.
    Keywords: Sine Cosine Algorithms ; Meta-heuristics ; Numerical Optimization ; Soft Computing ; Numerical Experiments ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBU Optimization ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKS Numerical analysis
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: Artificial intelligence (AI) is a potent buzzword and happening technology which has greatly impacted the lifestyle of every human being either directly or indirectly and is shaping the future of tomorrow. In fact, AI is fast becoming an intrinsic part of our daily life and is not confined to university research labs, even if remarkable progress has been made in this domain. The benefit of this phenomenon is widely recognized in diversified areas, ranging from medicine to security to consumer applications and business, and resulting in improvements in the quality of life of humankind. Every new disruptive technology has its own pros and cons and AI is no exception to this rule. Privacy, data protection, and the rights of individuals pose social and ethical challenges.
    Keywords: big data, environment, databases, social network, prediction ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-03-29
    Description: AI (Artificial Intelligence) is predicted to radically change teaching and learning in both schools and industry causing radical disruption of work. AI can support well-being initiatives and lifelong learning but educational institutions and companies need to take the changing technology into account. Moving towards AI supported by digital tools requires a dramatic shift in the concept of learning, expertise and the businesses built off of it. Based on the latest research on AI and how it is changing learning and education, this book will focus on the enormous opportunities to expand educational settings with AI for learning in and beyond the traditional classroom. This open access book also introduces ethical challenges related to learning and education, while connecting human learning and machine learning. This book will be of use to a variety of readers, including researchers, AI users, companies and policy makers.
    Keywords: artificial intelligence ; life-long learning ; tutoring ; virtual learning ; learning analytics ; well-being ; simulations ; games ; intelligent digital tools ; deep learning ; robotics ; human-machine interaction ; bic Book Industry Communication::J Society & social sciences::JM Psychology ; bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::H Humanities::HP Philosophy::HPM Philosophy of mind ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::J Society and Social Sciences::JM Psychology ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTM Philosophy of mind ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    facet.materialart.
    Unknown
    IntechOpen | IntechOpen
    Publication Date: 2024-04-14
    Description: Biometrics are widely used in various real-life applications, including personal recognition, identification, verification, and more. They may also be used for safety, security, permission, banking, crime prevention, forensics, medical applications, and communication. This book explores the latest developments, theories, methods, approaches, algorithms, analysis, systems, hardware, and software in biometrics and related systems.
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...