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
  • Books  (118)
  • thema EDItEUR::U Computing and Information Technology::UY Computer science  (94)
  • Chemistry
  • Political Science
  • thema EDItEUR::C Language and Linguistics::CF Linguistics
  • Springer Nature  (118)
Collection
  • Books  (118)
Keywords
Language
Years
  • 1
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 3
    Publication Date: 2024-04-06
    Description: fuzzy arithmetic; defuzzyfication; fuzzy prediction models; analysis; trend processing; uncertainty modeling; propagation of uncertainty; Kosinski’s fuzzy numbers
    Keywords: fuzzy arithmetic ; defuzzyfication ; fuzzy prediction models ; analysis ; trend processing ; uncertainty modeling ; propagation of uncertainty ; Kosinski’s fuzzy numbers ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-30
    Description: Migration; Population Economics; European Law; Political Science
    Keywords: Migration ; Population Economics ; European Law ; Political Science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    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 Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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 ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: automata theory ; computer programming ; computer systems ; databases ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; linguistics ; ontologies ; parallel processing systems ; program compilers ; programming languages ; semantics ; software design ; software engineering ; software quality ; verification ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; 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::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Publication Date: 2024-04-14
    Description: artificial intelligence; big data; cloud computing; communication; computer architecture; computer science; computer systems; data management; databases; hardware; High-Performance Computing (HPC); information management; map-reduce; processors; programming languages; semantics; wireless telecommunication systems
    Keywords: artificial intelligence ; big data ; cloud computing ; communication ; computer architecture ; computer science ; computer systems ; data management ; databases ; hardware ; High-Performance Computing (HPC) ; information management ; map-reduce ; processors ; programming languages ; semantics ; wireless telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.
    Keywords: Computer science ; Computer security ; Software engineering ; Artificial intelligence ; Computer system failures ; Computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; 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 International Publishing
    Publication Date: 2024-04-04
    Description: This open access book describes Smittestopp, the first Norwegian system for digital contact tracing of Covid-19 infections, which was developed in March and early April 2020. The system was deployed after five weeks of development and was active for a little more than two months, when a drop in infection levels in Norway and privacy concerns led to shutting it down. The intention of this book is twofold. First, it reports on the design choices made in the development phase. Second, as one of the only systems in the world that collected population data into a central database and which was used for an entire population, we can share experience on how the design choices impacted the system's operation. By sharing lessons learned and the challenges faced during the development and deployment of the technology, we hope that this book can be a valuable guide for experts from different domains, such as big data collection and analysis, application development, and deployment in a national population, as well as digital tracing.
    Keywords: digital contract tracing ; Covid-19 ; public health ; pandemic ; BLE ; GPS ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKS Numerical analysis ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine::MBNS Epidemiology and Medical statistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
    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: This open access book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a concluding chapter it discusses realistic ways forward. In discussions on cyber security, there is a tacit assumption that the manufacturer of equipment will collaborate with the user of the equipment to stop third-party wrongdoers. The Snowden files and recent deliberations on the use of Chinese equipment in the critical infrastructures of western countries have changed this. The discourse in both cases revolves around what malevolent manufacturers can do to harm their own customers, and the importance of the matter is on par with questions of national security. This book is of great interest to ICT and security professionals who need a clear understanding of the two questions posed in the subtitle, and to decision-makers in industry, national bodies and nation states.
    Keywords: Privacy ; Computer Engineering ; Management of Computing and Information Systems ; Governance and Government ; R & D/Technology Policy ; Computer Hardware ; IT Operations ; Economics ; cyber security ; IT management ; computer science ; digital vulnerability ; open access ; Privacy & data protection ; Information architecture ; Maintenance & repairs ; Political structure & processes ; Research & development management ; thema EDItEUR::U Computing and Information Technology::UR Computer security::URD Privacy and data protection ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV6 Research and development management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Publication Date: 2024-04-14
    Description: computer science; algorithms; visualization; software; programming
    Keywords: computer science ; algorithms ; visualization ; software ; programming ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book provides an in-depth description of the EU project European Language Grid (ELG). Its motivation lies in the fact that Europe is a multilingual society with 24 official European Union Member State languages and dozens of additional languages including regional and minority languages. The only meaningful way to enable multilingualism and to benefit from this rich linguistic heritage is through Language Technologies (LT) including Natural Language Processing (NLP), Natural Language Understanding (NLU), Speech Technologies and language-centric Artificial Intelligence (AI) applications. The European Language Grid provides a single umbrella platform for the European LT community, including research and industry, effectively functioning as a virtual home, marketplace, showroom, and deployment centre for all services, tools, resources, products and organisations active in the field. Today the ELG cloud platform already offers access to more than 13,000 language processing tools and language resources. It enables all stakeholders to deposit, upload and deploy their technologies and datasets. The platform also supports the long-term objective of establishing digital language equality in Europe by 2030 – to create a situation in which all European languages enjoy equal technological support. This is the very first book dedicated to Language Technology and NLP platforms. Cloud technology has only recently matured enough to make the development of a platform like ELG feasible on a larger scale. The book comprehensively describes the results of the ELG project. Following an introduction, the content is divided into four main parts: (I) ELG Cloud Platform; (II) ELG Inventory of Technologies and Resources; (III) ELG Community and Initiative; and (IV) ELG Open Calls and Pilot Projects.
    Keywords: Language technology platform ; Language processing platform ; LT platform ; NLP platform ; Language technology directory ; Language processing directory ; LT directory ; NLP directory ; Language technology repository ; Language processing repository ; LT repository ; NLP repository ; Language data repository ; 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::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 14
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 15
    facet.materialart.
    Unknown
    Springer Nature | Springer Singapore
    Publication Date: 2024-03-29
    Description: In this open access publication it is shown, that sustainable low carbon development is a transformative process that constitutes the shifting from the initially chosen or taken pathway to another pathway as goals have been re-visited and revised to enable the system to adapt to changes. However, shifting entails transition costs that are accrued through the effects of lock-ins that have framed decisions and collective actions. The uncertainty about these costs can be overwhelming or even disruptive. This book aims to provide a comprehensive and integrated analytical framework that promotes the understanding of transformation towards sustainability. The analysis of this book is built upon negotiative perspectives to help define, design, and facilitate collective actions in order to execute the principles of sustainability.
    Keywords: Political Science ; Transformation ; Sustainable Development ; Negotiations ; Transformative Pathways ; Environmental and Climate Politics ; Open access ; Political science & theory ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPA Political science & theory ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPA Political science and theory
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Publication Date: 2024-04-14
    Description: computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification
    Keywords: computer architecture ; computer software selection and evaluation ; formal logic ; formal methods ; model checker ; model checking ; multi core processors ; program compilers ; programming languages ; semantics ; software engineering ; specifications ; state space ; verification ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 19
    Publication Date: 2021-02-10
    Description: This open access book discusses financial crisis management and policy in Europe and Latin America, with a special focus on equity and democracy. Based on a three-year research project by the Jean Monnet Network, this volume takes an interdisciplinary, comparative approach, analyzing both the role and impact of the EU and regional organizations in Latin America on crisis management as well as the consequences of crisis on the process of European integration and on Latin America’s regionalism. The book begins with a theoretical introduction, exploring the effects of the paradigm change on economic policies in Europe and in Latin America and analyzing key systemic aspects of the unsustainability of the present economic system explaining the global crises and their interconnections. The following chapters are divided into sections. The second section explores aspects of regional governance and how the economic and financial crises were managed on a macro level in Europe and Latin America. The third and fourth sections use case studies to drill down to the impact of the crises at the national and regional levels, including the emergence of political polarization and rise in populism in both areas. The last section presents proposals for reform, including the transition from finance capitalism to a sustainable real capitalism in both regions and at the inter-regional level of EU-LAC relations. Written by an international network of academics, practitioners and policy advisors, this volume will be of interest to researchers and students interested in macroeconomics, comparative regionalism, democracy, and financial crisis management as well as politicians, policy advisors, and members of national and regional organizations in the EU and Latin America.
    Keywords: Macroeconomics/Monetary Economics//Financial Economics ; Financial Crises ; Democracy ; Macroeconomics and Monetary Economics ; Financial History ; Political Science ; Open access ; Populism ; Latin America ; EU governance ; Crisis management ; Systemic aspects of unsustainability of the global economy ; Social and democratic impact ; Bi-regional macroeconomic dialogue ; Comparative regionalism ; European Union ; Macroeconomics ; Monetary economics ; Economic & financial crises & disasters ; History: specific events & topics ; Political structures: democracy ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCB Macroeconomics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCX Economic & financial crises & disasters ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPH Political structure & processes::JPHV Political structures: democracy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Publication Date: 2024-03-23
    Description: user interfaces; human computer interaction; computers and society
    Keywords: user interfaces ; human computer interaction ; computers and society ; thema EDItEUR::A The Arts ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Theory of Computation ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Computer science ; Mathematical theory of computation ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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::UYD Systems analysis and design ; 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::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Software Engineering ; Computer Engineering and Networks ; architecture verification and validation ; automata theory ; computer systems ; distributed computer systems ; embedded systems ; formal logic ; mathematics ; model checking ; model-checking ; parallel processing systems ; SAT and SMT solving ; software architecture ; static and dynamic program analysis ; theorem-proving ; verification and validation ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; 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 ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: Simulation and Modeling ; Computational Biology/Bioinformatics ; Models and Principles ; Computer Appl. in Arts and Humanities ; Computer Science ; Computational and Systems Biology ; Database Management System ; Computer and Information Systems Applications ; Computational Aesthetics ; Computing with Natural media ; Harness the Nature for Computation ; Synthetic Biology ; Computer modelling & simulation ; Life sciences: general issues ; Information technology: general issues ; Computer science ; Computer applications in the arts & humanities ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.
    Keywords: Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Computer Communication Networks ; Mathematical Logic and Formal Languages ; Computer and Information Systems Applications ; Formal Languages and Automata Theory ; open access ; concept lattices ; data mining ; databases ; fca ; formal concept analysis ; formal languages ; formal logic ; information analysis ; information systems ; knowledge-based system ; model-based reasoning ; network protocols ; ontologies ; Information retrieval ; Internet searching ; Network hardware ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    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-08
    Description: This open access book tackles the pressing problem of integrating concerns related to Artificial Intelligence (AI) ethics into higher education curriculums aimed at future AI developers in Africa and beyond. For doing so, it analyzes the present and future states of AI ethics education in local computer science and engineering programs. The authors share relevant best practices and use cases for teaching, develop answers to ongoing organizational challenges, and reflect on the practical implications of different theoretical approaches to AI ethics. The book is of great interest to faculty members, researchers, and students in the fields of artificial intelligence, computer science, mathematics, computer engineering, and related areas, as well as higher education administration.
    Keywords: Artificial Intelligence Ethics ; African AI Ethics ; Responsible Use of Technology ; Computer Science Training ; Higher Education in Africa ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; 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 ...
  • 28
    Publication Date: 2024-04-14
    Description: software development; process management; collaboration; software-driven innovation
    Keywords: software development ; process management ; collaboration ; software-driven innovation ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-02
    Description: Migration; Child and School Psychology; Political Science
    Keywords: Migration ; Child and School Psychology ; Political Science ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes ; thema EDItEUR::L Law
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book explores the conceptual challenges posed by the presence of migrants with irregular immigration status in Europe and the evolving policy responses at European, national and municipal level. It addresses the conceptual and policy issues raised, post-entry, by this particular section of the migrant population. Drawing on evidence from different parts of Europe, the book takes the reader through philosophical and ethical dilemmas, legal and sociological analysis to questions of public policy and governance before addressing the concrete ways in which those questions are posed in current policy agendas from the international to the local level. As such this book is a valuable read to researchers, practitioners and policy makers as well as to students working on irregular migration in Europe in a comparative and/or country based perspective.
    Keywords: Migration ; Political Science ; Population Economics ; International Relations ; Sociology of Migration ; Open access ; irregular migration in Europe ; migration and integration ; social equality ; refugees ; European human rights ; immigration law enforcement ; social movement of vulnerable groups ; non-removable migrants ; irregular work ; European Union ; Labour market ; Migration policy ; Mobilisation ; Asylum seekers ; Migration, immigration & emigration ; Political science & theory ; Political economy ; Population & demography ; International relations ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes::JFFN Migration, immigration & emigration ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPA Political science & theory ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPS International relations
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-24
    Description: This open access book focuses on the textual features, or ‘strategies’, which form popularization discourse. In popularization discourse, research findings from academia are re-presented to make them noteworthy to society and influential for everyday life. Popularization involves recontextualization, or reimagination of findings in an everyday and newsworthy context, and reformulation, the use of audience-appropriate language to increase text comprehension and engagement. ‘Re-presenting research’ presents an empirically grounded, analytic framework for the analysis of popularization texts. Its applicability spans across disciplinary, multidisciplinary, and interdisciplinary fields, and overarches science communication, science journalism, and research communication. The book offers theoretical background information on popularization discourse, empirical underpinning of the construction of the framework, and practical applicability in examples from multiple text types and academic fields. This book acts as a guide for those working with or on popularization discourse – whether it is to analyze it or learn about it.
    Keywords: popularization discourse ; discourse analysis ; science journalism ; textual features ; media and communication ; linguistic strategies ; science writing ; popular science ; thema EDItEUR::C Language and Linguistics::CF Linguistics ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; 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 ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 33
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-24
    Description: This open access book presents novel theoretical, empirical and experimental work exploring the nature of mental representations that support natural language production and understanding, and other manifestations of cognition. One fundamental question raised in the text is whether requisite knowledge structures can be adequately modeled by means of a uniform representational format, and if so, what exactly is its nature. Frames are a key topic covered which have had a strong impact on the exploration of knowledge representations in artificial intelligence, psychology and linguistics; cascades are a novel development in frame theory. Other key subject areas explored are: concepts and categorization, the experimental investigation of mental representation, as well as cognitive analysis in semantics. This book is of interest to students, researchers, and professionals working on cognition in the fields of linguistics, philosophy, and psychology.
    Keywords: Cognitive Linguistics ; Philosophy of Mind ; Experimental Psychology ; Psycholinguistics and Cognitive Lingusitics ; Representation of Concepts ; Lexical Semantics ; Frame Semantics ; Frame Representations ; Conceptual Spaces ; Categorization and Linguistics ; Open Access ; Linguistics ; Cognitive studies ; thema EDItEUR::C Language and Linguistics::CF Linguistics ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTM Philosophy of mind ; thema EDItEUR::J Society and Social Sciences::JM Psychology::JML Experimental psychology
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-07
    Description: Human Geography; World Regional Geography (Continents, Countries, Regions); Political Science; Economic Geography
    Keywords: Human Geography ; World Regional Geography (Continents, Countries, Regions) ; Political Science ; Economic Geography ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book explores the dataspace paradigm as a best-effort approach to data management within data ecosystems. It establishes the theoretical foundations and principles of real-time linked dataspaces as a data platform for intelligent systems. The book introduces a set of specialized best-effort techniques and models to enable loose administrative proximity and semantic integration for managing and processing events and streams. The book is divided into five major parts: Part I “Fundamentals and Concepts” details the motivation behind and core concepts of real-time linked dataspaces, and establishes the need to evolve data management techniques in order to meet the challenges of enabling data ecosystems for intelligent systems within smart environments. Further, it explains the fundamental concepts of dataspaces and the need for specialization in the processing of dynamic real-time data. Part II “Data Support Services” explores the design and evaluation of critical services, including catalog, entity management, query and search, data service discovery, and human-in-the-loop. In turn, Part III “Stream and Event Processing Services” addresses the design and evaluation of the specialized techniques created for real-time support services including complex event processing, event service composition, stream dissemination, stream matching, and approximate semantic matching. Part IV “Intelligent Systems and Applications” explores the use of real-time linked dataspaces within real-world smart environments. In closing, Part V “Future Directions” outlines future research challenges for dataspaces, data ecosystems, and intelligent systems. Readers will gain a detailed understanding of how the dataspace paradigm is now being used to enable data ecosystems for intelligent systems within smart environments. The book covers the fundamental theory, the creation of new techniques needed for support services, and lessons learned from real-world intelligent systems and applications focused on sustainability. Accordingly, it will benefit not only researchers and graduate students in the fields of data management, big data, and IoT, but also professionals who need to create advanced data management platforms for intelligent systems, smart environments, and data ecosystems.
    Keywords: Computer science ; Database management ; Special purpose computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Publication Date: 2024-04-14
    Description: anomaly detection; artificial intelligence; cloud computing; data security; cyber crime; internet; network security; wireless; web
    Keywords: anomaly detection ; artificial intelligence ; cloud computing ; data security ; cyber crime ; internet ; network security ; wireless ; web ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Publication Date: 2024-04-02
    Description: Migration; Population Economics; Sociology, general; Political Science; Human Geography
    Keywords: Migration ; Population Economics ; Sociology, general ; Political Science ; Human Geography ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes ; thema EDItEUR::L Law
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Publication Date: 2024-04-14
    Description: human-computer interaction; machine learning; cyber-physical systems
    Keywords: human-computer interaction ; machine learning ; cyber-physical systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    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 ...
  • 40
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2021-02-10
    Description: This open access book is about the perception of the independence of the judiciary in Europe. Do citizens and judges see its independence in the same way? Do judges feel that their independence is respected by the users of the courts, by the leadership of the courts and by politicians? Does the population trust the judiciary more than other public institutions, or less? How does independence of the judiciary work at the national level and at the level of the European Union? These interrelated questions are particularly relevant in times when the independence of the judiciary is under political pressure in several countries in the European Union, giving way to illiberal democracy. Revealing surveys among judges, lay judges and lawyers - in addition to regular surveys of the European Commission - provide a wealth of information to answer these questions. While the answers will not please everyone, they are of interest to a wide audience, in particular court leaders, judges, lawyers, politicians and civil servants.
    Keywords: Political Science ; Legislative and Executive Politics ; Theories of Law, Philosophy of Law, Legal History ; Executive Politics ; Open Access ; judicial independence ; European judiciary ; lay judges ; public trust in the judiciary ; respect for judicial independence ; democracy and the judiciary ; perceptions ; trust ; impartiality ; multilevel governance ; judges ; lawyers ; citizens ; civil servants ; court users ; politicians ; survey ; independence ; Political science & theory ; Political structure & processes ; Methods, theory & philosophy of law ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPA Political science & theory ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPH Political structure & processes ; bic Book Industry Communication::L Law::LA Jurisprudence & general issues::LAB Jurisprudence & philosophy of law
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    Publication Date: 2021-02-10
    Description: This open access short reader discusses the emerging patterns of sedentary migration versus mobility of the highly-skilled thereby providing a comprehensive overview of the recent literature on highly-skilled migration. Highly-skilled migrations are arguably the only non-controversial migrant category in political and public discourse. The common perception is that highly-skilled migrants are high-earners with top educational skills and that they are easy to integrate. These perceptions make them a “wanted” migrant. There seems to be however a big divide between the popular perceptions of this migration and its realities uncovered in social research. This publication closes this divide by delving deeper in the variety of experiences, discourses and realities of highly skilled migrants, thereby uncovering the inherent divides between the highly skilled migrants from the North and the South. The reader shows that these divides are constructed realities, shaped by the state policies and underpinned by social imaginary. Written in an accessible language this reader is a perfect read for academics, students and policy makers and all those unfamiliar with the topic.
    Keywords: Social Sciences, general ; Population Economics ; Political Science ; Human Geography ; Sociology of Migration ; Open access ; Expatriates ; Lifestyle migrants ; Cosmopolitans ; Eurostars ; Elite migrants ; Knowledge migrants ; Low-skilled migrants ; International student migration ; Migration and integration ; Migration and labour market ; Settlement and mobility ; Transatlantic migrations ; Brain flows ; Highly skilled migration ; Labour market integration ; Freedom of movement ; Talent mobility ; Society & Social Sciences ; Sociology ; Political economy ; Population & demography ; Political science & theory ; Human geography ; bic Book Industry Communication::J Society & social sciences ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPA Political science & theory ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-04
    Description: This open access text aims at giving you the simplest possible introduction to differential equations that are used in models of electrophysiology. It covers models at several spatial and temporal scales with associated numerical methods. The text demonstrates that a very limited number of fundamental techniques can be used to define numerical methods for equations ranging from ridiculously simple to extremely complex systems of partial differential equations. Every method is implemented in Matlab and the codes are freely available online. By using these codes, the reader becomes familiar with classical models of electrophysiology, like the cable equation, the monodomain model, and the bidomain model. But modern models that have just started to gain attention in the field of computational electrophysiology are also presented. If you just want to read one book, it should probably not be this one, but if you want a simple introduction to a complex field, it is worth considering the present text.
    Keywords: Action potential ; Cardiomyocytes ; Differential equations ; numerical methods ; software ; computational physiology ; computational electrophysiology ; Cable equation ; bidomain ; cell-based models ; thema EDItEUR::P Mathematics and Science::PB Mathematics ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::P Mathematics and Science::PH Physics::PHV Applied physics::PHVN Biophysics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: QA75.5-76.95 ; TP248.13-248.65 ; TL1-4050 ; TS1-2301 ; Computational Biology/Bioinformatics ; Simulation and Modeling ; Models and Principles ; Computer Appl. in Arts and Humanities ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Publication Date: 2024-04-14
    Description: agile software development; test-driven development; project and people management; empirical software engineering; continuous experimentation
    Keywords: agile software development ; test-driven development ; project and people management ; empirical software engineering ; continuous experimentation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-03-24
    Description: This open access volume reveals the hidden power of the script we read in and how it shapes and drives our minds, ways of thinking, and cultures. Expanding on the Linguistic Relativity Hypothesis (i.e., the idea that language affects the way we think), this volume proposes the “Script Relativity Hypothesis” (i.e., the idea that the script in which we read affects the way we think) by offering a unique perspective on the effect of script (alphabets, morphosyllabaries, or multi-scripts) on our attention, perception, and problem-solving. Once we become literate, fundamental changes occur in our brain circuitry to accommodate the new demand for resources. The powerful effects of literacy have been demonstrated by research on literate versus illiterate individuals, as well as cross-scriptal transfer, indicating that literate brain networks function differently, depending on the script being read. This book identifies the locus of differences between the Chinese, Japanese, and Koreans, and between the East and the West, as the neural underpinnings of literacy. To support the “Script Relativity Hypothesis”, it reviews a vast corpus of empirical studies, including anthropological accounts of human civilization, social psychology, cognitive psychology, neuropsychology, applied linguistics, second language studies, and cross-cultural communication. It also discusses the impact of reading from screens in the digital age, as well as the impact of bi-script or multi-script use, which is a growing trend around the globe. As a result, our minds, ways of thinking, and cultures are now growing closer together, not farther apart. ; Examines the origin, emergence, and co-evolution of written language, the human mind, and culture within the purview of script effects Investigates how the scripts we read over time shape our cognition, mind, and thought patterns Provides a new outlook on the four representative writing systems of the world Discusses the consequences of literacy for the functioning of the mind
    Keywords: Literacy ; Language Education ; Cognitive Linguistics ; Psycholinguistics and Cognitive Lingusitics ; Open Access ; The emergence of written language ; Linguistic relativity and reading ; Psychological mechanisms of reading ; Script effects and critical contrastive rhetoric ; Writing systems and literacy ; Language teaching & learning ; Linguistics ; Cognitive studies ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFC Literacy ; thema EDItEUR::C Language and Linguistics::CJ Language teaching and learning ; thema EDItEUR::C Language and Linguistics::CF Linguistics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
    Keywords: Computer science ; Programming languages (Electronic computers) ; Computer programming ; Software engineering ; Computers ; Computers ; Computer system failures ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; 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 ; 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::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-27
    Description: Information Storage and Retrieval; Innovation/Technology Management; Computer Applications; Computers and Society; Big data
    Keywords: Information Storage and Retrieval ; Innovation/Technology Management ; Computer Applications ; Computers and Society ; Big data ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Mathematical Logic and Formal Languages ; Theory of Computation ; Natural Language Processing (NLP) ; Database Management ; Programming Techniques ; Formal Languages and Automata Theory ; automata theory ; databases ; formal languages ; formal logic ; computational linguistics ; open access ; semantics ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; logical foundations of data bases ; models of software security ; logical aspects of computation complexity ; logics of programming ; Mathematical theory of computation ; Computer science ; Natural language & machine translation ; Database programming ; Computer programming / software engineering ; 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::UN Databases ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; Mathematical 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::UM Computer programming / software engineering ; 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/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 52
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This open access book provides the first comprehensive coverage of the wheat genome sequence since the publication of the draft and reference sequences for bread wheat and durum wheat. It presents an overview and all aspects of the gold standard sequence of the bread wheat genome, IWGSC RefSeq v1.0 and its subsequent improvements through 2022 (IWGSC RefSeq v2.1), as well as the sequencing of multiple elite wheat varieties, durum wheat, and ancient wheat. The book provides a broad and extensive review of the resources, tools, and methodologies available for exploiting the wheat genome sequence for crop improvement and studying fundamental questions related to the structure, function, and evolution of the wheat genome. Wheat (Tritcum aestivum L.) is the most widely grown crop in the world, contributing approximately 20 percent of total calories and more protein in human diets than any other single source. This book is useful to students, teachers, and scientists in academia and industry interested in gaining an understanding of the wheat genome and its application as well as plant scientists generally interested in polyploid plant species.
    Keywords: International Wheat Genome Sequencing Consortium ; polyploidy ; wheat genome sequence ; structural genomics ; functional genomics ; wheat evolution ; wheat improvement ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAK Genetics (non-medical) ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TC Biochemical engineering::TCB Biotechnology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSB Biochemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Publication Date: 2024-04-14
    Description: brain computer interface; artificial intelligence; computer networks; classification databases; HCI machine learning; signal processing; user interfaces
    Keywords: brain computer interface ; artificial intelligence ; computer networks ; classification databases ; HCI machine learning ; signal processing ; user interfaces ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Publication Date: 2024-04-14
    Description: Computational Science and Engineering; Numerical Analysis;
    Keywords: Computational Science and Engineering ; Numerical Analysis ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: DevOps; continuous delivery; software lifecycle; concurrent parallel testing; service management; ITIL; GRC; PaaS; containerization; API management; lean principles; technical debt; end-to-end automation; automation
    Keywords: DevOps ; continuous delivery ; software lifecycle ; concurrent parallel testing ; service management ; ITIL ; GRC ; PaaS ; containerization ; API management ; lean principles ; technical debt ; end-to-end automation ; automation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Publication Date: 2024-04-14
    Description: Big data; Computing ethics; Women in computing; Research ethics
    Keywords: Big data ; Computing ethics ; Women in computing ; Research ethics ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 59
    Publication Date: 2024-04-14
    Description: authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering; specifications; verification; world wide web
    Keywords: authentication ; computer science ; computer software selection and evaluation ; cryptography ; data privacy ; formal logic ; formal methods ; formal specification ; internet ; privacy ; program compilers ; programming languages ; security analysis ; security systems ; semantics ; separation logic ; software engineering ; specifications ; verification ; world wide web ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-28
    Description: Migration; Population Economics; Political Science
    Keywords: Migration ; Population Economics ; Political Science ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Publication Date: 2024-04-02
    Description: Migration; Urban Geography / Urbanism (inc. megacities, cities, towns); Political Science
    Keywords: Migration ; Urban Geography / Urbanism (inc. megacities, cities, towns) ; Political Science ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes ; thema EDItEUR::L Law ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-07
    Description: This open access book explores the field of human rights dissemination in Central Asia. Offering a comparative perspective on five post-Soviet Central Asian states—Kazakhstan, Kyrgyzstan, Uzbekistan, Turkmenistan, and Tajikistan, it examines compliance with international human rights standards in these countries. The contributions capture various aspects of human rights dissemination through educational programs, seminars, training, and empowerment programs at Central Asian universities, together with Central Asian NGOs/CSOs and international organizations. The book shows that a change of behavior among state and non-state actors in the region can only happen when both local and international actors, usually international donors, jointly take action to report, train, and empower people in human rights. This book is an invitation to anyone interested in the (troubled) nexus between international human rights norms and standards and their implementation on the local level, as well as in the effective empowerment of citizen in the region.
    Keywords: Internationalization ; State Building ; Political Science ; Human rights education ; Human rights empowerment and capacity building ; International human rights norms ; Post-Soviet Central Asian states ; Autocratic regimes ; International organizations ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPA Political science and theory ; thema EDItEUR::L Law::LB International law::LBB Public international law ; thema EDItEUR::J Society and Social Sciences::JP Politics and government
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    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 Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-29
    Description: Information Systems and Communication Service; Education, general
    Keywords: Information Systems and Communication Service ; Education, general ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNT Media, information & communication industries::KNTX Information technology industries ; bic Book Industry Communication::U Computing & information technology::UY Computer science ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 67
    Publication Date: 2024-04-14
    Description: cyber security; IT management; computer science; computer engineering; digital vulnerability
    Keywords: cyber security ; IT management ; computer science ; computer engineering ; digital vulnerability ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; semantics of programming languages ; program analysis ; logics of programming ; software specification and refinement ; models of concurrent systems ; emerging models of computation ; logical aspects of computational complexity ; correctness, transformation, and verification ; models of software security ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations ; 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::UYD Systems analysis and design ; 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 ...
  • 69
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-24
    Description: This open access book addresses communicative aspects of the current COVID-19 pandemic as well as the epidemic of misinformation from the perspective of argumentation theory. Argumentation theory is uniquely placed to understand and account for the challenges of public reason as expressed through argumentative discourse. The book thus focuses on the extent to which the forms, norms and functions of public argumentation have changed in the face of the COVID-19 pandemic. This question is investigated along the three main research lines of the COST Action project CA 17132: European network for Argumentation and Public PoLicY analysis (APPLY): descriptive, normative, and prescriptive. The volume offers a broad range of contributions which treat argumentative phenomena that are directly related to the changes in public discourse in the wake of the outburst of COVID-19. The volume additionally places particular emphasis on expert argumentation, given (i) the importance expert discourse has had over the last two years, and (ii) the challenges that expert argumentation has faced in the public sphere as a result of scientific uncertainty and widespread misinformation. Contributions are divided into three groups, which (i) examine various features and aspects of public and institutional discourse about the COVID-19 pandemic, (ii) scrutinize the way health policies have been discussed, debated, attacked and defended in the public sphere, and (iii) consider a range of proposals meant to improve the quality of public discourse, and public deliberation in particular, in such a way that concrete proposals for argumentative literacy will be brought to light. Overall, this volume constitutes a timely inquiry into all things argumentative in pandemic discourse. This volume is of interest to a broad readership including philosophers, linguists, communication and legal scholars, and members of the wider public who seek to better understand the discourse surrounding communicative phenomena in times of crisis. COST (European Cooperation in Science and Technology) is a funding organisation for research and innovation networks. For more information: www.cost.eu
    Keywords: Argument Propagation ; Fake News Propagation ; Argumentation Covid ; Misinformation Pandemic ; Conspiracy Theory Covid ; Argumentative Literacy ; Public Debate ; Trust/Mistrust in Science ; Public Health Discourse ; Political Interference and Argumentative Styles ; Metalinguistic Arguments on What Counts As “Covid-19 Death” ; Evaluative Component in Pragmatic Argumentation ; public Discourse First Wave Sars-Cov-2 Pandemic in Italy ; Controversies and Dispute in France During the Covid-19 Crisis ; Analysing the Public Debate About Lockdown ; Responding to the COVID Conspiracy Theories ; Why Narratives are More Powerful Arguments than Fact-Checking ; Expanded Understanding of the Role of Analogy ; Argumentative Dark Side of Pandemic Discourse ; Open Access ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFA Philosophy of language ; thema EDItEUR::C Language and Linguistics::CF Linguistics ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCT Media studies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications.
    Keywords: architecture verification and validation ; distributed computer systems ; embedded systems ; empirical software validation ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; program analysis, ; software performance ; software quality ; software testing and debugging ; 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 ; 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::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2023-12-20
    Description: ‘Transgovernance: Advancing Sustainability Governance’ analyses the question what recent and ongoing changes in the relations between politics, science and media – together characterized as the emergence of a knowledge democracy – may imply for governance for sustainable development, on global and other levels of societal decision making, and the other way around: How can the discussion on sustainable development contribute to a knowledge democracy? How can concepts such as second modernity, reflexivity, configuration theory, (meta)governance theory and cultural theory contribute to a ‘transgovernance’ approach which goes beyond mainstream sustainability governance? This volume presents contributions from various angles: international relations, governance and metagovernance theory, (environmental) economics and innovation science. It offers challenging insights regarding institutions and transformation processes, and on the paradigms behind contemporary sustainability governance.This book gives the sustainability governance debate a new context. It transforms classical questions into new options for societal decision making and identifies starting points and strategies towards effective governance of transitions to sustainability.
    Keywords: H1-99 ; JA1-92 ; general ; Business Ethics ; Sustainable Development ; Social Policy ; Non-Profit Enterprises/Corporate Social Responsibility ; Political Science ; bic Book Industry Communication::H Humanities
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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 ...
  • 73
    Publication Date: 2024-04-04
    Description: Computational Science and Engineering; software Engineering; Programming Techniques
    Keywords: Computational Science and Engineering ; software Engineering ; Programming Techniques ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 75
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-24
    Description: This open access edited collection examines representations of human trafficking in media ranging from British and Serbian newspapers, British and Scandinavian crime novels, and a documentary series, and questions the extent to which these portrayals reflect the realities of trafficking. It tackles the problematic tendency to under-report particular types of victim and forms of trafficking, and seeks to explore both dominant and marginalised points of view. The authors take a cross-disciplinary approach, utilising analytical tools from across the humanities and social sciences, including linguistics, literary and media studies, and cultural criminology. It will appeal to students, academics and policy-makers with an interest in human trafficking and its depiction in the modern day.
    Keywords: Linguistics ; Discourse analysis ; Transnational crime ; Philology ; Linguistics ; Corpora (Linguistics) ; Cultural studies ; Communication ; thema EDItEUR::C Language and Linguistics::CF Linguistics ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFG Semantics, discourse analysis, stylistics ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSB Literary studies: general ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCC Cultural studies ; 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::JK Social services and welfare, criminology::JKV Crime and criminology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Publication Date: 2024-04-14
    Description: artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification
    Keywords: artificial intelligence ; computer software ; selection and evaluation ; formal logic ; graph theory ; modal logic ; petri nets ; program compilers ; programming language ; semantics ; separation logic ; software engineering ; theorem proving ; type systems ; verification ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.
    Keywords: Computer science ; Software engineering ; Programming languages (Electronic computers) ; Computer system failures ; Computers ; Computers ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-04
    Description: This is open access book provides plenty of pleasant mathematical surprises. There are many fascinating results that do not appear in textbooks although they are accessible with a good knowledge of secondary-school mathematics. This book presents a selection of these topics including the mathematical formalization of origami, construction with straightedge and compass (and other instruments), the five- and six-color theorems, a taste of Ramsey theory and little-known theorems proved by induction. Among the most surprising theorems are the Mohr-Mascheroni theorem that a compass alone can perform all the classical constructions with straightedge and compass, and Steiner's theorem that a straightedge alone is sufficient provided that a single circle is given. The highlight of the book is a detailed presentation of Gauss's purely algebraic proof that a regular heptadecagon (a regular polygon with seventeen sides) can be constructed with straightedge and compass. Although the mathematics used in the book is elementary (Euclidean and analytic geometry, algebra, trigonometry), students in secondary schools and colleges, teachers, and other interested readers will relish the opportunity to confront the challenge of understanding these surprising theorems.
    Keywords: open access high school mathematics book ; origami book ; elementary mathematics book ; mathematics circle book ; Moti Ben-Ari mathematical surprises ; what is mathematics book ; mathematics independent study ; mathematics problems book ; thema EDItEUR::P Mathematics and Science::PB Mathematics ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 80
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 81
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
    Keywords: Computer science ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Artificial intelligence ; Computer simulation ; Computer organization ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; 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::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; 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 ...
  • 82
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    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 ...
  • 85
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2021-02-10
    Description: This open access handbook presents a multidisciplinary and multifaceted perspective on how the ‘digital’ is simultaneously changing Russia and the research methods scholars use to study Russia. It provides a critical update on how Russian society, politics, economy, and culture are reconfigured in the context of ubiquitous connectivity and accounts for the political and societal responses to digitalization. In addition, it answers practical and methodological questions in handling Russian data and a wide array of digital methods. The volume makes a timely intervention in our understanding of the changing field of Russian Studies and is an essential guide for scholars, advanced undergraduate and graduate students studying Russia today.
    Keywords: Digital/New Media ; Culture and Technology ; Social Media ; Media and Communication ; Russian and Post-Soviet Politics ; Digital and New Media ; Political Science ; Russia ; Digitalization ; Digital Humanities ; New Media ; Digital Methods ; Big Data ; Open Data ; open access ; Media studies: Internet, digital media & society ; Cultural studies ; Media studies ; Politics & government ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFD Media studies ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFC Cultural studies ; bic Book Industry Communication::J Society & social sciences::JP Politics & government
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-29
    Description: This open access book offers a systematic survey of the attitudes and values of European political scientists. It builds a structural interpretation based on empirical data, as well as offering reflections on the future structure of the discipline. In the middle of a delicate phase of changes marked by the effects of pandemic and the war in Ukraine, we need to pay attention to the factors that are affecting not only the ‘objects’ of Political Science as a discipline but also its interactions with the world around it. First, this book asks to what extent the work of European political scientists is impacted by the current change. Second, their attitudes and predisposition about the future goals of the discipline are analysed. In the final chapter, the authors seek to understand to what extent a diffuse but still not completely institutionalized academic discipline will be able to produce a comprehensive impact around the European society, in order to be more visible and effective in policy making and policy processes.
    Keywords: Political Science ; Higher Education in Europe ; Comparative Political Institutions in Europe ; Teaching and Learning in Social Science ; Public Intellectuals ; Political advocacy ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPA Political science and theory ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: Software Engineering; Software Development; Software Processes; Software Architectures; Software Management
    Keywords: Software Engineering ; Software Development ; Software Processes ; Software Architectures ; Software Management ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Publication Date: 2024-04-14
    Description: authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security systems; semantics; separation logic; software engineering; verification; world wide web
    Keywords: authentication ; computer science ; computer software selection and evaluation ; cryptography ; data privacy ; formal logic ; formal methods ; formal specification ; internet ; privacy ; program compilers ; programming languages ; security systems ; semantics ; separation logic ; software engineering ; verification ; world wide web ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Publication Date: 2024-04-14
    Description: cloud computing; communication channels; information theory; computer networks; computer systems; data communication systems; Human-Computer Interactopm (HCI); internet; Internet of Services (IoS); Internet of Things (IoT); multimedia systems; quality of experience (QoE); quality of service (QoS); telecommunication networks; telecommunication traffic; user interfaces
    Keywords: cloud computing ; communication channels ; information theory ; computer networks ; computer systems ; data communication systems ; Human-Computer Interactopm (HCI) ; internet ; Internet of Services (IoS) ; Internet of Things (IoT) ; multimedia systems ; quality of experience (QoE) ; quality of service (QoS) ; telecommunication networks ; telecommunication traffic ; user interfaces ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Information Systems and Communication Service ; Natural Language Processing (NLP) ; Theory of Computation ; artificial intelligence ; computer networks ; computer programming ; computer security ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; object-oriented programming ; parallel processing systems ; program compilers ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Computer networking & communications ; Algorithms & data structures ; Natural language & machine translation ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; 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::UYQL Natural language and machine translation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Publication Date: 2021-02-10
    Description: This open access book shows how the politics of migration affect community building in the 21st century, drawing on both retrogressive and progressive forms of mobilization. It elaborates theoretically and shows empirically how the two master frames of nostalgia and hope are used in local, national and transnational settings, in and outside conventional forms of doing politics. It expands on polarized societal processes and external events relevant for the transformation of European welfare systems and the reproduction of national identities today. It evidences the importance of gender in the narrative use of the master frames of nostalgia and hope, either as an ideological tool for right-wing populist and extreme right retrogressive mobilization or as an essential element of progressive intersectional politics of hope. It uses both comparative and single case studies to address different perspectives, and by means of various methodological approaches, the manner in which the master frames of nostalgia and hope are articulated in the politics of culture, welfare, and migration. The book is organized around three thematic sections whereby the first section deals with right-wing populist party politics across Europe, the second section deals with an articulation of politics beyond party politics by means of retrogressive mobilization, and the third and last section deals with emancipatory initiatives beyond party politics as well.
    Keywords: Migration ; Political Science ; Sociology of Migration ; Open access ; Migration and integration ; Populism and radical right parties ; Welfare and culture ; Nexus of welfare, economy, and culture ; Welfare and national identity ; Diversity ; Social movements ; Party politics ; Homeland and identity ; Immigration ; (In)equality ; Politics of migration ; Welfare politics ; National identity ; Politics of intersectional hope ; Migration, immigration & emigration ; Political science & theory ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes::JFFN Migration, immigration & emigration ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPA Political science & theory
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
    Keywords: computer software maintenance ; computer software selection and evaluation ; formal logic ; formal methods ; formal specification ; programming languages ; semantics ; software engineering ; specifications ; verification ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-04
    Description: This open access volume explains the foundations of modern solvers for ordinary differential equations (ODEs). Formulating and solving ODEs is an essential part of mathematical modeling and computational science, and numerous solvers are available in commercial and open source software. However, no single ODE solver is the best choice for every single problem, and choosing the right solver requires fundamental insight into how the solvers work. This book will provide exactly that insight, to enable students and researchers to select the right solver for any ODE problem of interest, or implement their own solvers if needed. The presentation is compact and accessible, and focuses on the large and widely used class of solvers known as Runge-Kutta methods. Explicit and implicit methods are motivated and explained, as well as methods for error control and automatic time step selection, and all the solvers are implemented as a class hierarchy in Python.
    Keywords: Ordinary differential equations ; Runge-Kutta methods ; scientific programming ; Python programming ; object-oriented programming ; difference equations ; adaptive time step methods ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDE Maths for scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PB Mathematics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This is an open access book. Media industry research and EU policymaking are predominantly tailored to large (and, in the latter case, Western) European markets. This open access book addresses the specific qualities of smaller media markets, highlighting their vulnerability to global digital competition and outlining survival strategies for them. New online distribution models and new trends in the consumption of audiovisual content are limited by, and pose new challenges for, existing audiovisual business models and their legal framework in the EU. The European Commission’s Digital Single Market (DSM) strategy, which was intended e.g. to remove obstacles to the cross-border distribution of audiovisual content, has triggered a heated debate on the transformation of the existing ecosystem for European screen industries. While most current discussions focus on the United States, Western Europe, and the multinational giants, this book approaches these industry trends and policy questions from the perspective of relatively small and peripheral (in terms of their population, language, cross-border cultural flows, and financial and/or symbolic capital) media markets.
    Keywords: Media Management ; Media Sociology ; European Union Politics ; IT Law, Media Law, Intellectual Property ; European Cinema and TV ; Marketing ; Political Science ; European Film and TV ; Open access ; Small media markets ; EU Digital Single Market Strategy (DSM) ; Copyright law ; Media industry research ; Online media distribution ; Video on demand ; Media, entertainment, information & communication industries ; Media studies ; Sociology ; Politics & government ; EU (European Union) ; Entertainment & media law ; Performing arts ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNT Media, information & communication industries ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNJ Entertainment & media law ; bic Book Industry Communication::A The arts::AP Film, TV & radio
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    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 ...
  • 98
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Artificial Intelligence ; Information Systems and Communication Service ; Computer Hardware ; Computer Engineering and Networks ; Database Management System ; architecture verification and validation ; artificial intelligence ; computer hardware ; computer networks ; computer programming ; computer systems ; data security ; distributed computer systems ; embedded systems ; formal logic ; linguistics ; model checking ; network protocols ; parallel processing systems ; signal processing ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Artificial intelligence ; Computer hardware ; 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 ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Publication Date: 2024-04-14
    Description: finite difference methods; programming; python; verification; numerical methods; differential equations
    Keywords: finite difference methods ; programming ; python ; verification ; numerical methods ; differential equations ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: From fundamental concepts and results to recent advances in computational social choice, this open access book provides a thorough and in-depth look at multi-winner voting based on approval preferences. The main focus is on axiomatic analysis, algorithmic results and several applications that are relevant in artificial intelligence, computer science and elections of any kind. What is the best way to select a set of candidates for a shortlist, for an executive committee, or for product recommendations? Multi-winner voting is the process of selecting a fixed-size set of candidates based on the preferences expressed by the voters. A wide variety of decision processes in settings ranging from politics (parliamentary elections) to the design of modern computer applications (collaborative filtering, dynamic Q&A platforms, diversity in search results, etc.) share the problem of identifying a representative subset of alternatives. The study of multi-winner voting provides the principled analysis of this task. Approval-based committee voting rules (in short: ABC rules) are multi-winner voting rules particularly suitable for practical use. Their usability is founded on the straightforward form in which the voters can express preferences: voters simply have to differentiate between approved and disapproved candidates. Proposals for ABC rules are numerous, some dating back to the late 19th century while others have been introduced only very recently. This book explains and discusses these rules, highlighting their individual strengths and weaknesses. With the help of this book, the reader will be able to choose a suitable ABC voting rule in a principled fashion, participate in, and be up to date with the ongoing research on this topic.
    Keywords: Multi-Winner Voting ; Computational Social Choice ; Approval-Based Committee (ABC) Voting ; ABC Rules ; Proportionality ; Fairness Axioms ; Strategic Voting ; Collective Decisions ; Artificial Intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCA Economic theory and philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    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...