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
  • Open access  (71)
  • thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering  (62)
  • Springer Nature  (132)
  • American Meteorological Society (AMS)
  • MDPI Publishing
  • English  (132)
Collection
Keywords
Language
Years
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes papers from the research workshops presented at XP 2022 and XP 2023, respectively the 23rd and 24th International Conferences on Agile Software Development, held on June 13-17, 2022 at the IT University of Copenhagen, Denmark and June 13-16, 2023 in Amsterdam, Netherlands. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. In 2022, the following workshops took place: ● 3rd International Workshop on Agility with Microservices Programming ● 2nd International Workshop on Agile Sustainability ● Agile and Education In 2023, six workshops were held: ● Workshop on Organisational Debt and Large-Scale Agile ● Workshop on Software-Intensive Business ● Workshop on Global and Hybrid Work ● Workshop on Fear-Based Agile Transformation ● Workshop on AI-assisted Agile ● Workshop on Agile-Quantum Software Engineering In 2022, 6 workshop papers were accepted for publication in these post-proceedings, out of 11 submissions, and in 2023, 15 papers were accepted for publication out of 38 submissions.
    Keywords: software measurement ; software creation and management ; process management ; project management ; software development techniques ; empirical software engineering ; continuous experimentation ; business agility ; large-scale agile ; agile software development ; microservices ; extreme programming ; 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::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-06
    Description: This open access book constitutes the refereed proceedings of the 23rd International Conference on Software Business, ICSOB 2023, which was held in Lahti, Finland, during November 27–29, 2023. The special theme of ICSOB 2023 was Digital Agility: Mastering Change in Software Business and Digital Services. The 27 full papers and 8 short papers presented in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Requirements; software procurement; platforms, ecosystems and data; artificial intelligence; software startups; software product management; software and business co-development; and emerging digital world.
    Keywords: software sustainability ; digital transformation ; business intelligence ; business analytics ; software startups ; software product development ; software platforms ; digital ecosystems ; software project management ; 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::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJH Entrepreneurship / Start-ups ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UL Operating systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-05-09
    Description: The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.
    Keywords: TACAS ; formal verification ; software systems ; hardware systems ; static analysis ; probabilistic programming ; program synthesis ; concurrency ; testing ; simulations ; verification of machine ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book improves the users' skills needed to implement models for performance evaluation of digital infrastructures. Building a model is usually a relatively easy task, but making it an accurate representation of the phenomenon to be reproduced is a completely different matter. It is well-known that to increase the ability to build reliable models it is necessary to accumulate experience. The book addresses this need by presenting a collection of case studies of increasing complexity. Readers are introduced to the modeling process gradually, learning the basic concepts step-by-step as they go through the case studies. Queueing Networks are used to design the models solved with simulation and analytical techniques from the open source Java Modelling Tools (JMT). Among the models analyzed there are systems for optimizing performance, identifying bottlenecks, evaluating the impact of the variability of traffic and service demands, analyzing the effects of synchronization policies in parallel computing. Four case studies derived from real-life scenarios are also presented: a surveillance system, autoscaling load fluctuations, web app workflow simulation, and crowd computing platform. This book serves as a reference tool for graduate and senior-level computer science students in courses of performance evaluation and modeling, as well as for researchers and practitioners.
    Keywords: Capacity planning of digital infrastructures ; Performance modeling ; performance models ; Petri Nets ; Queueing Networks ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFC Electronics: circuits and components ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.
    Keywords: artificial intelligence ; computer networks ; automated reasoning ; computer systems ; description logics ; formal languages ; formal logic ; constraint solving ; decision procedures ; network protocols ; ontologies ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Keywords: architecture verification and validation ; artificial intelligence ; computer programming ; distributed computer systems ; formal logic ; embedded systems ; model checking ; programming languages ; software architecture ; software design ; software quality ; logic and verification ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Keywords: architecture verification and validation ; artificial intelligence ; computer programming ; distributed computer systems ; formal logic ; software engineering ; distributed systems ; model checking ; programming languages ; software quality ; theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
    Keywords: architecture verification and validation ; artificial intelligence ; computer programming ; computer systems ; distributed systems ; embedded systems ; formal logic ; model checking ; programming languages ; software architecture ; software design ; software quality ; software engineering ; logic and verification ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.
    Keywords: tableaux ; tableaux calculus ; sequent calculus ; proof theory ; theorem proving ; proof assistant ; natural deduction ; formalized proof ; decision procedures ; automated deduction ; SMT ; resolution ; cut-elimination ; non-classical logics ; modal logic ; intuitionistic ; inear logic ; substructural logic ; separation logic ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book provides information how to choose and collect the appropriate metrics for a software project in an organization. There are several kinds of metrics, based on the analysis of source code and developed for different programming paradigms such as structured programming and object-oriented programming (OOP). This way, the book follows three main objectives: (i) to identify existing and easily-collectible measures, if possible in the early phases of software development, for predicting and modeling both the traditional attributes of software systems and attributes specifically related to their efficient use of resources, and to create new metrics for such purposes; (ii) to describe ways to collect these measures during the entire lifecycle of a system, using minimally-invasive monitoring of design-time processes, and consolidate them into conceptual frameworks able to support model building by using a variety of approaches, including statistics, data mining and computational intelligence; and (iii) to present models and tools to support design time evolution of systems based on design-time measures and to empirically validate them. The book provides researchers and advanced professionals with methods for understanding the full implications of alternative choices and their relative attractiveness in terms of enhancing system resilience. It also explores the simultaneous use of multiple models that reflect different system interpretations or stakeholder perspectives.
    Keywords: Software Engineering ; Software Metrics ; Software Sustainability ; Software Quality Assurance ; Green Software ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This book constitutes the refereed proceedings of the 4th Symposium of the Norwegian AI Society, NAIS 2022, held in Oslo, Norway, during May 31–June 1, 2022. The 11 full papers included in this book were carefully reviewed and selected from 17 submissions. They were organized in topical sections as follows: robotics and intelligent systems; ai in cyber and digital sphere; ai in biological applications and medicine; and towards new ai methods. This is an open access book.
    Keywords: artificial intelligence ; clustering algorithms ; computer security ; computer vision ; correlation analysis ; data handling ; data integration ; engineering ; expert systems ; Human-Computer Interaction (HCI) ; image analysis ; image processing ; integrated data ; machine learning ; network protocols ; software engineering ; unsupervised learning ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 20th International Conference on Digital Health Transformation and Smart Ageing, ICOST 2023, held in Wonju, South Korea, during July 7–8, 2023. The 18 full papers and 16 short papers included in this book were carefully reviewed and selected from 41 submissions. They were organized in topical sections as follows: IoT and AI Solutions for E-health, Biomedical and Health Informatics, Wellbeing Technologies, Short Contributions: Medical Systems and E-health Solutions and Short Contributions: Wellbeing Technologies.
    Keywords: architechture types ; Information systems ; Security and privacy ; Human-centered computing ; Applied computing ; Emerging technologies ; Network protocols ; Network algorithms ; Data management systems ; Information storage systems ; Information retrieval ; Information systems applications ; system security ; Network security ; Software and application security ; Data base and storage security ; Human computer interaction ; Ubiquitous and mobile computing ; Life and medical sciences ; 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::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
    Keywords: artificial intelligence ; automata theory ; Boolean functions ; formal languages ; formal logic ; model checking ; software engineering ; automated theorem proving ; software verification ; logic programming ; automated reasoning ; automated deduction ; propositional satisfiability ; constraint solving ; computer algebra ; satisfiability modulo theories ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Agile Software Development, XP 2023, which took place in Amsterdam, The Netherlands, during June 13-16, 2023. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends.  XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Whole Team Sustainability”. The 11 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 40 submissions. They focus on agile practices and agile in the large.
    Keywords: agile software development ; software creation and management ; Scrum ; lean software development ; process management ; test-driven development ; project and people management ; software development techniques ; risk management ; empirical software engineering ; continuous software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    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 Fundamental Approaches to Software Engineering, FASE 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 12 regular papers presented in this volume were carefully reviewed and selected from 50 submissions. The proceedings also contain 2 tool papers, 2 NIER papers, and 2 competition papers 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: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; 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::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2022-03-16
    Description: This open access book focuses on Albanian internal and international female migration and places gender at the heart of postsocialist transformation. It explores the vulnerabilities that arise for female citizens from the contradictory policies produced by the Albanian state. By illuminating the intersection of gender and migration, it shows how Albanian women are likely to embed themselves in complex social relations and migration trajectories. By focusing on various cases – internal, international, return, economic and student female migrants – the book underlines that migration does not follow any kind of evolutionary development, according to which women go from 'traditional’ to ‘modern' gender relations. By providing a compelling account on the complex negotiations and tactics women employ to deal with gender inequalities, this book leads to a better understanding of gender and migration entanglements. It is a useful read to students, academics in migration and gender studies as well as social scientists and policy-makers in European countries.
    Keywords: Albanian female migration ; Gender relations and post-socialist transformations ; Internal and international female student migration ; Internal and international care chains ; Post-socialist migratory processes ; Tactics and strategies mobilised by women ; Informality and rudimentary welfare state ; Education as a platform for migration in Albania ; Invisibility of domestic care work sector in Albania ; Intersections of care, gender and migration regimes ; Gendered imaginaries of Albanian female migrants ; Albanian migrants filling the care gap in Italy and Greece ; Commercialization of care ; Social networks in post-socialist Albanian migration ; Open access ; 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::JPP Public administration ; 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-02
    Description: This open access book explores the role of religion in England's overseas companies and the formation of English governmental identity abroad in the seventeenth century. Drawing on research into the Virginia, East India, Massachusetts Bay, Plymouth, New England and Levant Companies, it offers a comparative global assessment of the inextricable links between the formation of English overseas government and various models of religious governance across England's emerging colonial empire. While these approaches to governance varied from company to company, each sought to regulate the behaviour of their personnel, as well as the numerous communities and faiths which fell within their jurisdiction. This book provides a crucial reassessment of the seventeenth-century foundations of British imperial governance.
    Keywords: Open access ; British Empire ; Colonialism ; Overseas trading companies ; Religious governance ; Imperial government ; thema EDItEUR::N History and Archaeology::NH History::NHD European history ; thema EDItEUR::N History and Archaeology::NH History::NHT History: specific events and topics::NHTQ Colonialism and imperialism ; thema EDItEUR::Q Philosophy and Religion::QR Religion and beliefs::QRA Religion: general::QRAX History of religion
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 7th Asian Conference Supercomputing Conference, SCFA 2022, which took place in Singapore in March 2022. The 8 full papers presented in this book were carefully reviewed and selected from 21 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.
    Keywords: cloud computing ; computer networks ; computer programming ; computer systems ; CUDA ; distributed computer systems ; gpu ; gpus ; hpc ; microprocessor chips ; mpi ; parallel algorithms ; parallel architectures ; parallel processing systems ; parallel programming ; programming languages ; signal processing ; telecommunication systems ; algorithms ; high performance computing ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains eleven papers that describe the works by Jonathan Brachthäuser (EPFL Lausanne) entitled What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style, Mojdeh Golagha’s (Fortiss, Munich) thesis How to Effectively Reduce Failure Analysis Time?, Nikolay Harutyunyan’s (FAU Erlangen-Nürnberg) work on Open Source Software Governance, Dominic Henze’s (TU Munich) research about Dynamically Scalable Fog Architectures, Anne Hess’s (Fraunhofer IESE, Kaiserslautern) work on Crossing Disciplinary Borders to Improve Requirements Communication, Istvan Koren’s (RWTH Aachen U) thesis DevOpsUse: A Community-Oriented Methodology for Societal Software Engineering, Yannic Noller’s (NU Singapore) work on Hybrid Differential Software Testing, Dominic Steinhofel’s (TU Darmstadt) thesis entitled Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules, Peter Wägemann’s (FAU Erlangen-Nürnberg) work Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems, Michael von Wenckstern’s (RWTH Aachen U) research on Improving the Model-Based Systems Engineering Process, and Franz Zieris’s (FU Berlin) thesis on Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.
    Keywords: Software Engineering ; Software Development ; Requirements Engineering ; Software Modeling ; Software Research ; Ernst Denert Award ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends.  XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Agile in the Era of Hybrid Work”. The 13 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 40 submissions. They were organized in topical sections named: agile practices; agile processes; and agile in the large.
    Keywords: agile software development ; software creation and management ; Scrum ; lean software development ; process management ; test-driven development ; project and people management ; software development techniques ; risk management ; empirical software engineering ; software measurement ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2022, held in Paris, France, in June 2022. The 15 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 33 submissions. They cover topics such as design, development, deployment, and evaluation of AI for health, smart urban environments, assistive technologies, chronic disease management, and coaching and health telematics systems.
    Keywords: architecture types ; artificial intelligence ; communication systems ; computer hardware ; computer networks ; computer science ; computer systems ; engineering ; Human-Computer Interaction (HCI) ; internet ; Internet of Things (IoT) ; network protocols ; sensors ; signal processing ; software architecture ; software design ; software engineering ; telecommunication systems ; ubiquitous computing ; user interfaces ; 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::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
    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 book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources. The experts participating in the project describe how SODALITE works and how it can be exploited by end users. While multiple languages and tools are available in the literature to support DevOps teams in the automation of deployment and operation steps, still these activities require specific know-how and skills that cannot be found in average teams. The SODALITE framework tackles this problem by offering modelling and smart editing features to allow those we call Application Ops Experts to work without knowing low level details about the adopted, potentially heterogeneous, infrastructures. The framework offers also mechanisms to verify the quality of the defined models, generate the corresponding executable infrastructural code, automatically wrap application components within proper execution containers, orchestrate all activities concerned with deployment and operation of all system components, and support on-the-fly self-adaptation and refactoring.
    Keywords: Heterogeneous Computing ; Cloud, Edge ; HPC ; IaC ; DevOps ; Semantic Reasoning ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UL Operating systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2022-02-15
    Description: This open access book provides an analysis of the functioning, consequences and inherent limitations of internalised immigration control. By adopting the perspective of irregular residents as well as local service providers, the book sheds new light on the intricate mechanisms that either help or hinder the diffusion of immigration control into concrete institutional settings, like schools or hospitals. A simple and innovative analytical framework enables the systematic comparison of three different spheres of service provision across two distinct local as well as also national contexts. This is necessary to understand the complex interplay between formal law and policy, the intrinsic rules and logics operating within institutions, and the ethical or practical obligations and constraints attached to particular roles and professions. Based on empirical findings and rigorous analysis, the book argues that internalised control is part of the problem that irregular migration poses for society, rather than constituting a potential solution to it.
    Keywords: Micro-management irregular migration ; Undocumented illegal migration micro-management ; Internal immigration control in London and Barcelona ; Internal immigration control in Spain and the UK ; Immigration control through welfare provision ; Access to public services for irregular migrants ; Irregular migration and residence in Spain and the UK ; Public service providers exercising immigration control ; Migrants inclusion and exclusion from public services ; Internal borders and bordering practices ; Local implementation of immigration control policy ; Civil servants and immigration control enforcement ; Immigration control and enforcement in cities ; Immigration control enforcement at the local level ; Local government and irregular undocumented migrants ; Open access ; 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::JPP Public administration
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the thoroughly refereed proceedings of the Second International Symposium on Computer and Information Sciences, EuroCybersec 2021, held in Nice, France, in October 2021. The 9 papers presented together with 1 invited paper were carefully reviewed and selected from 21 submissions. The papers focus on topics of security of distributed interconnected systems, software systems, Internet of Things, health informatics systems, energy systems, digital cities, digital economy, mobile networks, and the underlying physical and network infrastructures. This is an open access book.
    Keywords: architecture types ; artificial intelligence ; communication systems ; computer crime ; computer hardware ; computer networks ; computer security ; computer systems ; cryptography ; data security ; Internet of Things (IoT) ; network protocols ; network security ; signal processing ; software architecture ; software design ; software engineering ; telecommunication networks ; telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; 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::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBL Digital and information technologies: Legal aspects ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPJ Coding theory and cryptology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    facet.materialart.
    Unknown
    Springer Nature | Springer Singapore
    Publication Date: 2024-03-29
    Description: This open access book is based on the research outputs of China Council for International Cooperation on Environment and Development (CCICED) in 2020. It covers major topics of Chinese and international attention regarding green development, such as climate, biodiversity, ocean, BRI, urbanization, sustainable production and consumption, technology, finance, value chain, and so on. It also looks at the progress of China’s environmental and development policies,and the impacts from CCICED. This is a highly informative and carefully presented book, providing insight for policy makers in environmental issues.
    Keywords: Open access ; Climate Change ; Biodiversity Conservation ; BRI Green Development ; Green Value Chain ; Green Finance ; Integrated Ocean Governance ; Green Consumption ; Green Urbanization Strategy ; Ecological Capital Accounting in Yangtze River ; Major Green Technology ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNF Environmental management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2022-01-15
    Description: This Open Access book presents a multidisciplinary perspective to increase our understanding of climate policies that are rooted in the natural moral inclinations of people, families and firms. Which policies prevent a widening gap between higher and lower educated people? Which policy instruments are there, and how could they be used? What is the role of free entrepreneurship? In this book, academics from different fields have brought together their knowledge and expertise to reflect on the following three questions: How are the polarised positions on climate change of different groups related to their moral outlook, world view, tradition, cultural norms and values? What is a good distribution of responsibilities between firms, households and the government relating to climate change? What are possible avenues where the climate policies are a natural extension of moral inclinations of families and firms, such as the stewardship for the natural environment and the climate? This book will be of interest to policy and decision-makers, students of social and behavioural sciences, and those interested climate change policies and how this effects our lives
    Keywords: Climate change policy ; Responsible citizenship ; Free entrepreneurship ; Natural extension of moral inclinations ; Distribution of moral inclinations ; Stewardship for the natural environment and climate ; Open access ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JM Psychology::JMH Social, group or collective psychology ; bic Book Industry Communication::J Society & social sciences::JK Social services & welfare, criminology::JKS Social welfare & social services::JKSN Social work
    Language: English
    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-03-29
    Description: This open access book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in order to reach goals one has reason to value – from a multidisciplinary approach. With for the first time in history there being more people in the world aged 60 years and over than there are children below the age of 5, the book describes this demographic trends as well as the large global challenges and important societal implications this will have such as a worldwide increase in the number of persons affected with dementia, and in the ratio of retired persons to those still in the labor market. Through contributions from many different research areas, it discussed how capability depends on interactions between the individual (e.g. health, genetics, personality, intellectual capacity), environment (e.g. family, friends, home, work place), and society (e.g. political decisions, ageism, historical period). The final chapter summarizes the differences and similarities in these contributions. As such this book provides an interesting read for students, teachers and researchers at different levels and from different fields interested in capability and multidisciplinary research.
    Keywords: Open access ; Centre for Ageing and Health in Sweden ; Time trends and capability ; Work/retirement and capability ; Cognition and capability in older adults ; Health, frailty and capability in older adults ; Multidisciplinary research methods ; Participation, representation of older adults ; Self-determination and capability of older adults ; Capability - ability to perform actions in order to reach goals ; Cumulative advantage/disadvantage ; Capability in the ageing process ; Overall functioning and participation in societal life ; How to interpret capability in ageing ; Persons affected with dementia ; Ratio of retired persons to those still in the labor market ; Vast increase in the population aged 〉65 years ; Understanding ageing through a multidisciplinary approach ; AgeCap ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBD Population and demography ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    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 ...
  • 29
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Keywords: architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; mathematics ; model checking ; programming languages ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; verification ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2022-02-15
    Description: This open access book investigates the complexity and the modalities of securitization of migration and border control at the EU level. It discusses and compares how different EU institutions and agencies have been deploying different logics of security, e.g. humanitarianism or management of risk, while framing increased migratory flows and so called migration crisis as a security problem. The book argues that the (re)development of EU migration and border control policies in response to increased migratory flows of 2015 have revealed an increasingly tangled nature of securitization of migration in the EU. This is reflected in the intertwining of security logics where migrants and human mobility tend to be securitized through different, sometimes multiple, interpretative lenses at different stages of policy framing. From a theoretical point of view, the book develops a fresh analytical perspective that further contributes to burgeoning discussion on securitization theory. By bridging the literature on policy framing and securitization it makes a significant contribution to the debates on both securitization and migration. As such this book is of great interest to students, academics, policy makers and all those working in the fields of EU politics, migration, security, and international relations.
    Keywords: Open access ; Migration crisis in the EU ; Increased migratory movements in the EU ; Refugee crisis in the EU ; Immigration crisis in the EU ; Securitization theory ; Securitization of migration in the EU ; Migration and security in the EU ; EU security discourses ; Policy discourse on migration ; EU institutional discourses on migration ; EU border security ; EU migration policy ; EU security logics ; Migration and humanitarianism in the EU ; Human security and migration in the EU ; Migration and resilience in the EU ; Migration and risk management in the EU ; Policy and security framing ; EU institutions and securitization of migration ; 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::J Society & social sciences::JP Politics & government::JPP Public administration
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.
    Keywords: artificial intelligence ; automata theory ; computer hardware ; computer networks ; computer programming ; computer systems ; embedded systems ; formal languages ; formal logic ; logic programming ; network protocols ; semantics ; software architecture ; software design ; software engineering ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::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::UYQ Artificial intelligence ; 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 ...
  • 32
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This open access book reflects on matters of social and ethical concern raised in the daily practices of those working in and around precision oncology. Each chapter addresses the experiences, concerns and issues at stake for people who work in settings where precision oncology is practiced, enacted, imagined or discussed. It subsequently discusses and analyses bioethical dilemmas, scientific challenges and economic trade-offs, the need for new policies, further technological innovation, social work, as well as phenomenological research. This volume takes a broad actor-centred perspective as, whenever cancer is present, the range of actors with issues at stake appears almost unlimited. This perspective and approach opens up the possibility for further in-depth and diverse questions, posed by the actors themselves, such as: How are cancer researchers navigating biological uncertainties? How do clinicians and policy-makers address ethical dilemmas around prioritisation of care? What are the patients’ experiences with, and hopes for, precision oncology? How do policy-makers and entrepreneurs envisage precision oncology? These questions are of great interest to a broad audience, including cancer researchers, oncologists, policy-makers, medical ethicists and philosophers, social scientists, patients and health economists.
    Keywords: cancer biomarkers ; Sociology of medicine ; Science and Technology Studies ; Oncology ; Philosophy of medicine ; precision oncology ; personalised cancer treatments ; health technology assessment ; Open access ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAD Bioethics ; thema EDItEUR::M Medicine and Nursing::MJ Clinical and internal medicine::MJC Diseases and disorders::MJCL Oncology ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVJ Health economics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Keywords: architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; databases ; distributed computer systems ; embedded systems ; engineering ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; 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 ...
  • 34
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 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, exibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: embedded systems ; formal languages and automata theory ; Formal methods and theory of security ; Machine learning ; Modeling and simulation ; Semantics and reasoning ; software and hardware verification ; specification and verification techniques ; static and dynamic program analysis ; Symbolic and algebraic manipulation ; system construction and transformation techniques ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPJ Coding theory and cryptology ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 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, exibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: formal languages and automata theory ; Formal methods and theory of security ; Machine learning ; Modeling and simulation ; Semantics and reasoning ; signal processing ; software and hardware verification ; specification and verification techniques ; Symbolic and algebraic manipulation ; system construction and transformation techniques ; 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2022-02-15
    Description: This open access book explores the digital transformation of small and rural towns, in particular, how to measure the evolution and development of digital towns. In addition to access to resources, competition from urban and global markets, and population trends, rural communities present lesser access and use of digital technologies and have lower digital competencies and skills than their urban counterparts. Consequently, they experience less beneficial outcomes from increased digitalisation than urban areas. This book defines what a digital town is and explores digitalisation from the perspective of the four basic economic sectors in towns - individuals and households, businesses, the public sector, and civil society - and three types of enabling infrastructure - digital connectivity, education, and governance. Particular attention is paid to how digitalisation efforts are measured by intergovernmental and international organisations for each sector and enabling infrastructure. The book concludes with a Digital Town Readiness Framework that offers local communities, policymakers, and scholars an initial set of indicators upon which to develop digital town initiatives, and measure progress. For those ready to embrace the opportunity, this book is a pathfinder on the road to a more equitable and impactful digital society and digital economy.
    Keywords: digital policy ; public policy ; urban rural divide ; broadband ; connectivity ; Digital Citizen ; technology management ; Open access ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    facet.materialart.
    Unknown
    Springer Nature | Springer Singapore
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 17th International Annual Conference on Cyber Security, CNCERT 2021, held in Beijing, China, in AJuly 2021. The 14 papers presented were carefully reviewed and selected from 51 submissions. The papers are organized according to the following topical sections: ​data security; privacy protection; anomaly detection; traffic analysis; social network security; vulnerability detection; text classification.
    Keywords: artificial intelligence ; authentication ; computer hardware ; computer networks ; computer security ; computer systems ; cryptography ; data communication systems ; data mining ; data security ; databases ; information retrieval ; network protocols ; network security ; privacy ; signal processing ; telecommunication networks ; telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPJ Coding theory and cryptology ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications::UTN Network security ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2021-02-10
    Description: This third and last open access volume in the series takes the perspective of non-EU countries on immigrant social protection. By focusing on 12 of the largest sending countries to the EU, the book tackles the issue of the multiple areas of sending state intervention towards migrant populations. Two “mirroring” chapters are dedicated to each of the 12 non-EU states analysed (Argentina, China, Ecuador, India, Lebanon, Morocco, Russia, Senegal, Serbia, Switzerland, Tunisia, Turkey). One chapter focuses on access to social benefits across five core policy areas (health care, unemployment, old-age pensions, family benefits, guaranteed minimum resources) by discussing the social protection policies that non-EU countries offer to national residents, non-national residents, and non-resident nationals. The second chapter examines the role of key actors (consulates, diaspora institutions and home country ministries and agencies) through which non-EU sending countries respond to the needs of nationals abroad. The volume additionally includes two chapters focusing on the peculiar case of the United Kingdom after the Brexit referendum. Overall, this volume contributes to ongoing debates on migration and the welfare state in Europe by showing how non-EU sending states continue to play a role in third country nationals’ ability to deal with social risks. As such this book is a valuable read to researchers, policy makers, government employees and NGO’s.
    Keywords: Social Sciences, general ; Microeconomics ; Social Policy ; Sociology of Migration ; Open access ; Non-EU countries ; Immigrant social protection ; Migrant populations ; Argentina, China, Ecuador, India ; Lebanon, Morocco, Russia ; Senegal, Serbia, Switzerland ; Tunisia, Turkey ; Health care ; Unemployment ; Old-age pensions ; Guaranteed minimum resources ; Family benefits ; Migration and integration ; Sending states ; Society & Social Sciences ; Sociology ; Political economy ; Social & ethical issues ; bic Book Industry Communication::J Society & social sciences ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCC Microeconomics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    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: Software Engineering/Programming and Operating Systems ; 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 ; Software Engineering ; Operating systems ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Mathematical theory of computation ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::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 ...
  • 40
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-04
    Description: This open access book – as the title suggests – explores some of the historical roots and epistemological ramifications of perspectivism. Perspectivism has recently emerged in philosophy of science as an interesting new position in the debate between scientific realism and anti-realism. But there is a lot more to perspectivism than discussions in philosophy of science so far have suggested. Perspectivism is a much broader view that emphasizes how our knowledge (in particular our scientific knowledge of nature) is situated; it is always from a human vantage point (as opposed to some Nagelian "view from nowhere"). This edited collection brings together a diverse team of established and early career scholars across a variety of fields (from the history of philosophy to epistemology and philosophy of science). The resulting nine essays trace some of the seminal ideas of perspectivism back to Kant, Nietzsche, the American Pragmatists, and Putnam, while the second part of the book tackles issues concerning the relation between perspectivism, relativism, and standpoint theories, and the implications of perspectivism for epistemological debates about veritism, epistemic normativity and the foundations of human knowledge.
    Keywords: Philosophy of Science ; Epistemology ; Perspectival realism ; Ernst Sosa on virtue perspectivism ; Conceptual relativism ; Standpoint epistemology ; Scientific understanding ; Explanatory perspectivism ; Putnam’s naturalism ; American Pragmatists on contextualism ; Nietzsche on perspectivism ; Kant on perspectivism ; anti-realism ; Nagelian ; Epistemic Circularity ; Putnam ; Critique of Pure Reason ; contextualism ; scientific knowledge of nature ; Carnap ; Open access ; Philosophy of science ; Philosophy: epistemology & theory of knowledge ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDA Philosophy of science ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTK Philosophy: epistemology and theory of knowledge
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes papers from the 5 research workshops, the poster presentations, as well as two panel discussions which were presented at XP 2021, the 22nd International Conference on Agile Software Development, which was held online during June 14-18, 2021. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. The 18 papers included in this volume were carefully reviewed and selected from overall 37 submissions. They stem from the following workshops: 3rd International Workshop on Agile Transformation 9th International Workshop on Large-Scale Agile Development 1st International Workshop on Agile Sustainability 4th International Workshop on Software-Intensive Business 2nd International Workshop on Agility with Microservices Programming
    Keywords: open access ; Agile software development ; Extreme programming ; SaaS - Software as a Service ; Software maintenance ; Software platforms ; Software management ; Software development techniques ; Microservices ; XP ; Hackathons ; 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::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access methodological book summarises existing analysing techniques using data from PIAAC, a study initiated by the OECD that assesses key cognitive and occupational skills of the adult population in more than 40 countries. The approximately 65 PIAAC datasets that has been published worldwide to date has been widely received and used by an interdisciplinary research community. Due to the complex structure of the data, analyses with PIAAC datasets are very challenging. To ensure the quality and significance of these data analyses, it is necessary to instruct users in the correct handling of the data. This methodological book provides a standardised approach to successfully implementing these data analyses. It contains examples of and tools for the analysis of the PIAAC data using different statistical approaches and software, and it offers perspectives from various disciplines. The contributing authors have hands-on experience of using PIAAC data, and/or they have conducted data analysis workshops with these data.
    Keywords: Assessment, Testing and Evaluation ; Statistics for Social Sciences, Humanities, Law ; Education Economics ; International and Comparative Education ; Education ; Statistics in Social Sciences, Humanities, Law, Education, Behavorial Sciences, Public Policy ; PIAAC data ; Large-scale assessment ; Data analysis ; Plausible values ; International comparison ; Key cognitive skills ; Literacy of adult population ; Numeracy of adult population ; Analysis with PIAAC datasets ; Stata ; R software ; Open access ; Education: examinations & assessment ; Social research & statistics ; Economics of specific sectors ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKD Examinations & assessment ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology::JHBC Social research & statistics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics ; bic Book Industry Communication::J Society & social sciences::JN Education
    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 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 ...
  • 44
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book assembles landmark studies on divorce and separation in European countries, and how this affects the life of parents and children. It focuses on four major areas of post-separation lives, namely (1) economic conditions, (2) parent-child relationships, (3) parent and child well-being, and (4) health. Through studies from several European countries, the book showcases how legal regulations and social policies influence parental and child well-being after divorce and separation. It also illustrates how social policies are interwoven with the normative fabric of a country. For example, it is shown that father-child contact after separation is more intense in those countries which have adopted policies that encourage shared parenting. Correspondingly, countries that have adopted these regulations are at the forefront of more egalitarian gender role attitudes. Apart from a strong emphasis on the legal and social policy context, the studies in this volume adopt a longitudinal perspective and situate post-separation behaviour and well-being in the life course. The longitudinal perspective opens up new avenues for research to understand how behaviour and conditions prior or at divorce and separation affect later behaviour and well-being. As such this book is of special appeal to scholars of family research as well as to anyone interested in the role of divorce and separation in Europe in the 21st century.
    Keywords: Life course ; Population Economics ; Quality of Life Research ; Sociology of Family, Youth and Aging ; European Politics ; Life Course ; Open access ; Separation ; Divorce ; Well-being ; Parent-child relationships ; post-separation families ; Parental and Child well-being ; economic conditions after divorce ; Sociology ; Political economy ; Population & demography ; Personal & public health ; Public health & preventive medicine ; Sociology: family & relationships ; Politics & government ; Europe ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBN Public health & preventive medicine::MBNH Personal & public health ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology::JHBK Sociology: family & relationships ; 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 ...
  • 45
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.
    Keywords: Logic Design ; Computer System Implementation ; Computer Communication Networks ; Special Purpose and Application-Based Systems ; Software Engineering ; Operating Systems ; open access ; reversible computation ; semantics of reversible computation ; formal methods ; models of computation ; circuit design ; simulation ; robotics ; debugging ; quantum computing ; wireless communications ; programming languages ; dependability ; modelling of biochemical systems ; computer networks ; engineering ; software engineering ; parallel processing systems ; theoretical computer science ; Computer architecture & logic design ; Systems analysis & design ; Network hardware ; Expert systems / knowledge-based systems ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UL Operating systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    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 ...
  • 47
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book highlights concepts discussed at two international conferences that brought together world-renowned scientists to advance the science of potassium (K) recommendations for crops. There was general agreement that the potassium recommendations currently in general use are oversimplified, outdated, and jeopardize soil, plant, and human health. Accordingly, this book puts forward a significantly expanded K cycle that more accurately depicts K inputs, losses and transformations in soils. This new cycle serves as both the conceptual basis for the scientific discussions in this book and a framework upon which to build future improvements. Previously used approaches are critically reviewed and assessed, not only for their relevance to future enhancements, but also for their use as metrics of sustainability. An initial effort is made to link K nutrition in crops and K nutrition in humans. The book offers an invaluable asset for graduate students, educators, industry scientists, data scientists, and advanced agronomists.
    Keywords: Agriculture ; Plant Biochemistry ; Soil Science & Conservation ; Applied Ecology ; Soil Science ; Bioavailable Potassium ; Fertilizer Management ; Plant Nutrition ; Potash ; Soil Chemistry ; Sustainability ; Open access ; Agricultural science ; Botany & plant sciences ; Biochemistry ; Sedimentology & pedology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBG Geology, geomorphology and the lithosphere::RBGB Sedimentology and pedology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNC Applied ecology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.
    Keywords: Software Engineering ; Software Management ; Automotive Engineering ; Special Purpose and Application-Based Systems ; IT in Business ; Model-Driven Software Development ; Requirements Engineering ; Automotive Software Engineering ; Embedded Systems ; Open Access ; SPES Methodology ; Simulation ; Co-Design of Systems ; Business mathematics & systems ; Business applications ; Automotive technology & trades ; Automotive (motor mechanic) skills ; Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRC Automotive technology and trades ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    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 30th European Symposium on Programming, ESOP 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 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Natural Language Processing (NLP) ; Software Engineering ; Logics and Meanings of Programs ; Computer Systems Organization and Communication Networks ; Compilers and Interpreters ; Computer Science Logic and Foundations of Programming ; Computer Engineering and Networks ; computer programming ; concurrency theory ; distributed computer systems ; formal logic ; lamdba calculi ; linguistics ; logic ; object-oriented programming ; parallel processing systems ; probabilistic programming ; process calculi ; program compilers ; semantics ; software design ; software quality ; theory ; types ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Natural language & machine translation ; Computer programming / software engineering ; Computer architecture & logic design ; Computer networking & communications ; 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::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    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 | Palgrave Macmillan
    Publication Date: 2024-04-08
    Description: This open access book discusses individual, collective, and institutional responsibilities with regard to vaccination from the perspective of philosophy and public health ethics. It addresses the issue of what it means for a collective to be morally responsible for the realisation of herd immunity and what the implications of collective responsibility are for individual and institutional responsibilities. The first chapter introduces some key concepts in the vaccination debate, such as ‘herd immunity’, ‘public goods’, and ‘vaccine refusal’; and explains why failure to vaccinate raises certain ethical issues. The second chapter analyses, from a philosophical perspective, the relationship between individual, collective, and institutional responsibilities with regard to the realisation of herd immunity. The third chapter is about the principle of least restrictive alternative in public health ethics and its implications for vaccination policies. Finally, the fourth chapter presents an ethical argument for unqualified compulsory vaccination, i.e. for compulsory vaccination that does not allow for any conscientious objection. The book would appeal both philosophers interested in public health ethics and the general public interested in the philosophical underpinning of different arguments about our moral obligations with regard to vaccination.
    Keywords: Open access ; medical ethics ; public health ethics ; vaccination policies ; policy making ; moral responsibility ; bic Book Industry Communication::H Humanities::HP Philosophy::HPQ Ethics & moral philosophy ; bic Book Industry Communication::M Medicine ; bic Book Industry Communication::M Medicine::MB Medicine: general issues ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBD Medical profession::MBDC Medical ethics & professional conduct ; bic Book Industry Communication::V Health & personal development::VF Family & health::VFD Popular medicine & health ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::M Medicine and Nursing ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBD Medical profession::MBDC Medical ethics and professional conduct ; thema EDItEUR::V Health, Relationships and Personal development::VF Family and health::VFD Popular medicine and health
    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 ...
  • 51
    Publication Date: 2021-02-10
    Description: This open access book examines the multiple intersections between national and international courts in the field of investment protection, and suggests possible modes for regulating future jurisdictional interactions between domestic courts and international tribunals. The current system of foreign investment protection consists of more than 3,000 international investment agreements (IIAs), most of which provide for investment arbitration as the forum for the resolution of disputes between foreign investors and host States. However, national courts also have jurisdiction over certain matters involving cross-border investments. International investment tribunals and national courts thus interact in a number of ways, which range from harmonious co-existence to reinforcing complementation, reciprocal supervision and, occasionally, competition and discord. The book maps this complex relationship between dispute settlement bodies in the current investment treaty context and assesses the potential role of domestic courts in future treaty frameworks that could emerge from the States’ current efforts to reform the system. The book concludes that, in certain areas of interaction between domestic courts and international investment tribunals, the “division of labor” between the two bodies is not always optimal, producing inefficiencies that burden the system as a whole. In these areas, there is a need for improvement by introducing a more fruitful allocation of tasks between domestic and international courts and tribunals – whatever form(s) the international mechanism for the settlement of investment disputes may take. Given its scope, the book contributes not only to legal analysis, but also to the policy reflections that are needed for ongoing efforts to reform investor-State dispute settlement.
    Keywords: Dispute Resolution, Mediation, Arbitration ; International Economic Law, Trade Law ; International Economics ; ISDS ; Investment arbitration ; National courts ; Domestic courts ; Multilateral investment court ; Reform of ISDS ; Appeal mechanism ; Bilateral investment treaties ; ICSID Convention ; Exhaustion of local remedies ; Open access ; Arbitration, mediation & alternative dispute resolution ; Public international law: economic & trade ; International economics ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNA Legal system: general::LNAC Civil procedure, litigation & dispute resolution::LNAC5 Arbitration, mediation & alternative dispute resolution ; bic Book Industry Communication::L Law::LB International law::LBB Public international law::LBBM International economic & trade law ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCL International economics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    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 ...
  • 53
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: Drawing on interdisciplinary, cross-national perspectives, this open access book contributes to the development of a coherent scientific discourse on social exclusion of older people. The book considers five domains of exclusion (services; economic; social relations; civic and socio-cultural; and community and spatial domains), with three chapters dedicated to analysing different dimensions of each exclusion domain. The book also examines the interrelationships between different forms of exclusion, and how outcomes and processes of different kinds of exclusion can be related to one another. In doing so, major cross-cutting themes, such as rights and identity, inclusive service infrastructures, and displacement of marginalised older adult groups, are considered. Finally, in a series of chapters written by international policy stakeholders and policy researchers, the book analyses key policies relevant to social exclusion and older people, including debates linked to sustainable development, EU policy and social rights, welfare and pensions systems, and planning and development. The book’s approach helps to illuminate the comprehensive multidimensionality of social exclusion, and provides insight into the relative nature of disadvantage in later life. With 77 contributors working across 28 nations, the book presents a forward-looking research agenda for social exclusion amongst older people, and will be an important resource for students, researchers and policy stakeholders working on ageing.
    Keywords: Demography ; Internal Medicine ; Health Psychology ; Quality of Life Research ; Aging Population ; Ageing ; Social exclusion ; Social and public policy ; Life course ; Older people ; Social relations ; Loneliness ; Rights and identity ; Service infastructure ; Sustainable development ; EU policy and social rights ; Welfare and pensions systems ; Unemployment at 50 + ; Older age divorced and widowed women ; Abuse and discrimination in older adults ; Ageing and caring in rural environments ; Long-term care institutions ; Pensions policies ; Nursing home residents ; Open access ; Population & demography ; Clinical & internal medicine ; Social & ethical issues ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBD Population and demography ; thema EDItEUR::M Medicine and Nursing::MJ Clinical and internal medicine ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine::MBNH Personal and public health / health education::MBNH4 Birth control, contraception, family planning ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBF Social and ethical issues
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
    Keywords: Computer science ; Computer logic ; Software engineering ; Artificial intelligence ; Mathematical logic ; Algorithms ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYA Mathematical theory of computation ; 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 ...
  • 55
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-11
    Description: This Open Access book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have emerged particularly within the last five years. This book introduces the most prominent reliability concerns from today’s points of view and roughly recapitulates the progress in the community so far. Unlike other books that focus on a single abstraction level such circuit level or system level alone, the focus of this book is to deal with the different reliability challenges across different levels starting from the physical level all the way to the system level (cross-layer approaches). The book aims at demonstrating how new hardware/software co-design solution can be proposed to ef-fectively mitigate reliability degradation such as transistor aging, processor variation, temperature effects, soft errors, etc. Provides readers with latest insights into novel, cross-layer methods and models with respect to dependability of embedded systems; Describes cross-layer approaches that can leverage reliability through techniques that are pro-actively designed with respect to techniques at other layers; Explains run-time adaptation and concepts/means of self-organization, in order to achieve error resiliency in complex, future many core systems.
    Keywords: Circuits and Systems ; Cyber-physical systems, IoT ; Processor Architectures ; Electronic Circuits and Systems ; Cyber-Physical Systems ; Fault-Tolerant Computing ; Reliability Enhancers in Embedded Systems ; SoCs based on cross-layer-reliability ; System-Level Reliability Analysis ; Dependable Software Execution ; Open access ; Electronics: circuits & components ; Electrical engineering ; Cybernetics & systems theory ; Computer architecture & logic design ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFC Electronics: circuits and components ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    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 ...
  • 57
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This open access book aims to show which factors have been decisive in the rise of successful countries. Never before have so many people been so well off. However, prosperity is not a law of nature; it has to be worked for. A liberal economy stands at the forefront of this success – not as a political system, but as a set of economic rules promoting competition, which in turn leads to innovation, research and enormous productivity. Sustainable prosperity is built on a foundation of freedom, equal opportunity and a functioning government. This requires a stable democracy that cannot be defeated by an autocrat. Autocrats claim that “illiberalism” is more efficient, an assertion that justifies their own power. Although autocrats can efficiently guide the first steps out of poverty, once a certain level of prosperity has been achieved, people begin to demand a sense of well-being – freedom and codetermination. Only when this is possible will they feel comfortable, and progress will continue. Respect for human rights is crucial. The rules of the free market do not lean to either the right or left politically. Liberalism and the welfare state are not mutually exclusive. The “conflict” concerns the amount of government intervention. Should there be more or less? As a lawyer, entrepreneur, and board member with over 40 years of experience in this field of conflict, the author clearly describes the conditions necessary for a country to maintain its position at the top.
    Keywords: Comparative Politics ; Political Theory ; International Economics ; Governance and Government ; Liberalism ; Equal opportunity ; Stable democracy ; Freedom ; Free market ; Government intervention ; Liberal Economy ; Illiberalism ; Human rights ; Autocracy ; Poverty ; Prosperity ; Productivity ; Innovation ; Welfare state ; European Union ; Switzerland ; Immigration ; Integration ; Open access ; Comparative politics ; Political science & theory ; International economics ; Political structure & processes ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPB Comparative politics ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPA Political science and theory ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCL International economics ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    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 ...
  • 59
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book contains 13 contributions on global animal law, preceded by an introduction which explains key concepts and methods. Global Animal Law refers to the sum of legal rules and principles (both state-made and non-state-made) governing the interaction between humans and other animals, on a domestic, local, regional, and international level. Global animal law is the response to the mismatch between almost exclusively national animal-related legislation on the one hand, and the global dimension of the animal issue on the other hand. The chapters lay some historical foundations in the ius naturae et gentium, examine various aspects of how national and international law traditionally deals with animals as commodity; and finally suggest new legal concepts and protective strategies. The book shows numerous entry points for animal issues in international law and at the same time shifts the focus and scope of inquiry.
    Keywords: Private International Law, International & Foreign Law, Comparative Law ; Theories of Law, Philosophy of Law, Legal History ; Animal Welfare/Animal Ethics ; Biodiversity ; Global Animal Law ; Animal Protection Law ; Animal Turn ; Legal Animal Studies ; Animal Welfare ; Human Rights ; Minority Rights ; Species Protection ; Ius naturae et gentium ; Open access ; International law ; Comparative law ; Methods, theory & philosophy of law ; Veterinary medicine ; Bioethics ; bic Book Industry Communication::L Law::LB International law ; bic Book Industry Communication::L Law::LA Jurisprudence & general issues::LAB Jurisprudence & philosophy of law ; bic Book Industry Communication::M Medicine::MZ Veterinary medicine ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNC Applied ecology::RNCB Biodiversity
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of the complex systems that are part of operation centers. As such, each chapter includes principles to summarize the design implication that engineers can use to inform their own design of interfaces for operation centers and similar systems. It includes example materials for the design of a fictitious system, which are referenced in the book and can be duplicated and extended for real systems. The design materials include a system overview, the system architecture, an example scenario, a stakeholder analysis, a task analysis, a description of the system and interface technology, and contextualized design guidelines. The guidelines can be specified because the user, the task, and the technology are well specified as an example. Building Better Interfaces for Remote Autonomous Systems is for working system engineers who are designing interfaces used in high throughput, high stake, operation centers (op centers) or control rooms, such as network operation centers (NOCs). Intended users will have a technical undergraduate degree (e.g., computer science) with little or no training in design, human sciences, or with human-centered iterative design methods and practices. Background research for the book was supplemented by interaction with the intended audience through a related project with L3Harris Technologies (formerly Harris Corporation).
    Keywords: User Interfaces and Human Computer Interaction ; Software Engineering ; Autonomous Systems ; User-Centered Design ; Operation Centres ; Interface Technology ; Human-Centered Design ; Open Access ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book introduces the legacy of Piotr Galperin to a wider audience of researchers, educators and psychologists. Previous translations of Galperin’s work present only some aspects of his conceptual thinking; however, his main contribution to the general, genetic and pedagogical psychology as a unique holistic and systemic approach to studying of psychological phenomena and processes, mechanisms of their formation and development, is still quite unknown in most parts of the world. The eight lectures chosen for the book have been translated from Russian for the first time, and they belong to the Study of the Formation of Human Mental Activity from Galperin’s collection of the Lectures in Psychology (Galperin, 2002). These eight lectures present the central ideas of Galperin’s pedagogical theory, and they conceptualise learning to learn approach and argue how teaching and learning process can enhance the development of higher mental functions with learners and therefore enhance the development of students as learners. These ideas may be of primary importance to educational practitioners and researchers interested in developmental learning and teaching approach given the current concerns of educational practice that schools struggle to prepare students for their adult and the need to develop the capacity in lifelong learning with students in the 21st century.
    Keywords: Educational Psychology ; Educational Philosophy ; Learning & Instruction ; Education ; Galperin Lectures in psychology ; P.Y. Galperin ; Piotr Galperin ; Cultural-historical theory ; Socio-cultural theory ; Learning and development ; Learning to learn ; Teaching and learning ; Vygotsky ; Leontiev ; Davydov ; Development of human mental activity ; Open access ; Philosophy & theory of education ; Teaching skills & techniques ; Cognition & cognitive psychology ; bic Book Industry Communication::J Society & social sciences::JN Education::JNC Educational psychology ; bic Book Industry Communication::J Society & social sciences::JN Education::JNA Philosophy & theory of education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNT Teaching skills & techniques
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This book is a collection of short essays, accessible through open access, which takes the interested reader on a tour across the global higher education landscape. It addresses pertinent themes and challenges in higher education. To mark the 70th anniversary of the International Association of Universities (IAU) and its role in higher education since 1950, experts from around the world share their insights into higher education’s recent past, present and future. The book is divided into six parts: Part I – “70 years of Higher Education Cooperation and Advocacy” looks back at key events in IAU’s history, its mission and significant activities over time, and remarks on the current global context informing its quest to promote academic partnerships and solidarity on a global scale. Part II – “Facilitating International Cooperation” provides for different perspectives on the transformation of the internationalisation of higher education and the contribution of higher education to international cooperation. Part III – “Coding the Values” debates the values upon which higher education was, is and will have to be built to provide for a democratic and inclusive society. Part IV – “The Changing Landscape” analyses various aspects of the transformation of higher education in an evolving context across the globe. Part V – “The Promise of Education” reflects on the role of higher education, its ideals and shortfalls and what it must do to stay true to its promise to help shape our societies. Part VI – “Opening up – The Future of Higher Education” focuses on future scenarios of higher education and call on the reader to envision a different kind of higher education and reimagine the contribution of higher education to society, as well as future roles for the IAU. The book will be of interest to higher education policy makers and academics. It is also of interest to the general public, as it provides a comprehensive overview of the challenges higher education institutions currently face and suggests scenarios of what the future of education might look like.
    Keywords: Open access ; International Association of Universities ; Relevance and value of higher education ; Fundamental principles of higher education ; International co-operation for higher education ; Changing landscape of universities ; IAU principles ; 70 years of IAU ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education ; 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 ...
  • 63
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-04
    Description: This open access book features a selection of high-quality papers from the presentations at the International Conference on Spectral and High-Order Methods 2018, offering an overview of the depth and breadth of the activities within this important research area. The carefully reviewed papers provide a snapshot of the state of the art, while the extensive bibliography helps initiate new research directions.
    Keywords: Partial Differential Equations ; Numerical Analysis ; Analysis ; High-order methods ; Partial differential equations ; Spectral methods ; Isogeometric methods ; Discontinuous Galerkin methods ; Wave simulation ; Uncertainty quantification ; Open access ; Differential calculus & equations ; Numerical analysis ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKJ Differential calculus and equations ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKS Numerical analysis
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-29
    Description: This open access textbook offers a critical introduction to human and economic development prospects in Africa revolving around three questions: where is Africa today, what explains the current state, and, given historical trends and what we know about the world, where do we think the continent will be in 2040? And, a final question: what can we do to create a better tomorrow? It models ambitious progress in health, demographics, agriculture, education, industrialization, technological leapfrogging, increased trade, greater stability, better governance and external support. The book reviews the future of work/jobs, poverty and the impact of climate change. A combined Closing the Gap scenario presents a forecast of what could be possible by 2040. Each chapter suggests which policies might accelerate prospects for each sector. Written in an accessible style, and supported by a range of pedagogical features, this textbook introduces undergraduate and graduate students to the contemporary human and economic development prospects in Africa.
    Keywords: African Politics ; Development Studies ; Political Economy/Economic Systems ; Political Economy and Economic Systems ; Africa ; demographics ; population ; development ; development in Africa ; African Union ; China ; political economy in Africa ; Open access ; Politics & government ; Political economy ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GT Interdisciplinary studies::GTF Development studies ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This open access book focuses on family diversity from a legal, demographical and sociological perspective. It investigates what is at stake in the life of homosexuals in the field of family formation, parenting and parenthood, what it brings to everyday life, the support of the law, and what its absence implies. The book shows the paths leading to the adoption of laws while demographic analyses concentrate on the link between registration of same-sex marriages and same-sex parenting with a detailed focus on Spain. The sociological chapters in this book, based upon qualitative surveys in France, Iceland and Italy, underline how the importance of the legal structure influenced the daily life of homosexual families. As such this book is an interesting read to lawyers, demographers, sociologists, behavioural scientists, and all those working in the field.
    Keywords: Sociology of Family, Youth and Aging ; Private International Law, International & Foreign Law, Comparative Law ; Demography ; Gender Studies ; Quality of Life Research ; Homosexuality ; Family law ; Equal rights ; Homoparentality/same-sex families ; Same-sex marriage ; Open access ; Sociology: family & relationships ; International law ; Comparative law ; Population & demography ; Gender studies, gender groups ; Personal & public health ; Public health & preventive medicine ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBK Sociology: family and relationships ; thema EDItEUR::L Law::LB International law ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBD Population and demography ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSF Gender studies, gender groups ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine::MBNH Personal and public health / health education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book presents a set of basic techniques for estimating the benefit of IT development projects and portfolios. It also offers methods for monitoring how much of that estimated benefit is being achieved during projects. Readers can then use these benefit estimates together with cost estimates to create a benefit/cost index to help them decide which functionalities to send into construction and in what order. This allows them to focus on constructing the functionality that offers the best value for money at an early stage. Although benefits management involves a wide range of activities in addition to estimation and monitoring, the techniques in this book provides a clear guide to achieving what has always been the goal of project and portfolio stakeholders: developing systems that produce as much usefulness and value as possible for the money invested. The techniques can also help deal with vicarious motives and obstacles that prevent this happening. The book equips readers to recognize when a project budget should not be spent in full and resources be allocated elsewhere in a portfolio instead. It also provides development managers and upper management with common ground as a basis for making informed decisions.
    Keywords: Mathematical Software ; Software Engineering ; open access ; benefits management ; benefit points ; earned business ; value management ; benefit/costs index ; uncertainty assessment ; periodization ; Mathematical & statistical software ; thema EDItEUR::U Computing and Information Technology::UF Business applications::UFM Mathematical and statistical software ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.
    Keywords: Software Engineering ; Cyber-physical systems, IoT ; Special Purpose and Application-Based Systems ; Computer Applications ; Computer-Aided Engineering (CAD, CAE) and Design ; Open Access ; Embedded and cyber-physical systems ; Software design engineering ; Model-driven software engineering ; Modelica ; Performance Analysis ; Design Languages ; System Description Languages ; System and Modeling ; DEVS ; Statecharts ; Petri Nets ; Multi-Paradigm Modeling ; AADL ; Concurrency Modeling ; Electrical engineering ; Cybernetics & systems theory ; Expert systems / knowledge-based systems ; Information technology: general issues ; Computer-aided design (CAD) ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; 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::UG Graphical and digital media applications::UGC Computer-aided design (CAD)
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-11
    Description: This open access book presents thirteen outstanding doctoral dissertations in Information Technology from the Department of Electronics, Information and Bioengineering, Politecnico di Milano, Italy. Information Technology has always been highly interdisciplinary, as many aspects have to be considered in IT systems. The doctoral studies program in IT at Politecnico di Milano emphasizes this interdisciplinary nature, which is becoming more and more important in recent technological advances, in collaborative projects, and in the education of young researchers. Accordingly, the focus of advanced research is on pursuing a rigorous approach to specific research topics starting from a broad background in various areas of Information Technology, especially Computer Science and Engineering, Electronics, Systems and Control, and Telecommunications. Each year, more than 50 PhDs graduate from the program. This book gathers the outcomes of the thirteen best theses defended in 2019-20 and selected for the IT PhD Award. Each of the authors provides a chapter summarizing his/her findings, including an introduction, description of methods, main achievements and future work on the topic. Hence, the book provides a cutting-edge overview of the latest research trends in Information Technology at Politecnico di Milano, presented in an easy-to-read format that will also appeal to non-specialists.
    Keywords: Communications Engineering, Networks ; Control and Systems Theory ; Data Structures and Information Theory ; Information Technology ; PhD Springer Award ; Politecnico DEIB ; Polimi PhD School ; artificial intelligence ; computer system architectures ; Telecommunications ; Open access ; Communications engineering / telecommunications ; Automatic control engineering ; Algorithms & data structures ; Information theory ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    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 ...
  • 70
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book provides worldwide examples demonstrating the importance of the interplay between demography and disasters in regions and spatially. It marks an advance in practical and theoretical insights for understanding the role of demography in planning for and mitigating impacts from disasters in developed nations. Both slow onset (like the of loss polar ice from climate change) and sudden disasters (such as cyclones and man-made disasters) have the capacity to fundamentally change the profiles of populations at local and regional levels. Impacts vary according to the type, rapidity and magnitude of the disaster, but also according to the pre-existing population profile and its relationships to the economy and society. In all cases, the key to understanding impacts and avoiding them in the future is to understand the relationships between disasters and population change. In most chapters in this book we compare and contrast studies from at least two cases and summarize their practical and theoretical lessons.
    Keywords: Demography ; Human Geography ; Climate Change ; Statistics for Social Sciences, Humanities, Law ; Population Economics ; Natural Hazards ; Population and Demography ; Environmental Sciences ; Statistics in Social Sciences, Humanities, Law, Education, Behavorial Sciences, Public Policy ; Impact of disasters ; Demograhic change ; Regional effects of disasters ; Population dynamics ; Environmental change ; Open access ; Population & demography ; Human geography ; Climate change ; Social research & statistics ; Political economy ; Natural disasters ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology::JHBD Population & demography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology::JHBC Social research & statistics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNR Natural disasters
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-01
    Description: This open access book describes and illustrates the surgical techniques, implants, and technologies used for the purpose of personalized implantation of hip and knee components. This new and flourishing treatment philosophy offers important benefits over conventional systematic techniques, including component positioning appropriate to individual anatomy, improved surgical reproducibility and prosthetic performance, and a reduction in complications. The techniques described in the book aim to reproduce patients’ native anatomy and physiological joint laxity, thereby improving the prosthetic hip/knee kinematics and functional outcomes in the quest of the forgotten joint. They include kinematically aligned total knee/total hip arthroplasty, partial knee replacement, and hip resurfacing. The relevance of available and emerging technological tools for these personalized approaches is also explained, with coverage of, for example, robotics, computer-assisted surgery, and augmented reality. Contributions from surgeons who are considered world leaders in diverse fields of this novel surgical philosophy make this open access book will invaluable to a wide readership, from trainees at all levels to consultants practicing lower limb surgery
    Keywords: Surgical Orthopedics ; Orthopaedics ; Kinematic alignment ; Bone preservation ; Surgical techniques ; Total knee arthroplasty ; Total hip arthroplasty ; Prosthetic joint ; Open access ; Surgical orthopaedics & fractures ; Surgery ; thema EDItEUR::M Medicine and Nursing::MN Surgery::MNS Surgical orthopaedics and fractures
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    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 ...
  • 73
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
    Keywords: Computer science ; Computer logic ; Software engineering ; Artificial intelligence ; Mathematical logic ; Algorithms ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYA Mathematical theory of computation ; 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 ...
  • 74
    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 ...
  • 75
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2021-02-10
    Description: This open access volume identifies the common and specific aspects of social mechanisms that generate inequalities, through comparative analyses of different dimensions in which inequalities are expressed. It includes studies on social inequalities in 5 European and 5 Latin American countries, along 11 thematic axes: inequalities in the labour market and labour trajectories; asymmetries in the relationship between training and employment; inequalities in work and family life; educational inequalities; geographical and social inequalities: ethnicity and language; social inequalities, migration and space; uncertainty, strategies, resources and capabilities; inequality of opportunity: intergenerational social mobility; social policies; gender inequalities; and research methodology. This volume is the result of a large collaborative project on social inequality funded by the European Commission: the International Network for Comparative Analysis of Social Inequalities. Taking into account diverse perspectives and approximations, the collaborators have created a general analytical framework as a model of analysis of social inequalities. The various contributions in this volume help readers gain a global outlook and help reflect on social inequalities in a comparative perspective. This volume addresses social science graduate and postgraduate students, researchers, social policy makers, as well as a broader academic audience interested in social inequality.
    Keywords: Social Structure, Social Inequality ; Development and Social Change ; Development Economics ; Social Structure ; Development Studies ; Open access ; Analytical Model of Social Inequalities and Trajectories ; INCASI ; inequality of opportunity ; unemployment protection ; labour market inequalities ; inequality in education ; digital divide ; social stratification ; social inequality at work ; gender and inequality ; Social & ethical issues ; Development economics & emerging economies ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes ; bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GT Interdisciplinary studies::GTF Development studies ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCM Development economics & emerging economies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    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 ...
  • 77
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-05
    Description: The use of non-standard technologies such as superconductivity, cryogenics and radiofrequency pose challenges for the safe operation of accelerator facilities that cannot be addressed using only best practice from occupational safety in conventional industry. This book introduces readers to different occupational safety issues at accelerator facilities and is directed to managers, scientists, technical personnel and students working at current or future accelerator facilities. While the focus is on occupational safety – how to protect the people working at these facilities – the book also touches on “machine safety” – how to prevent accelerators from doing structural damage to themselves. This open access book offers a first introduction to safety at accelerator facilities. Presenting an overview of the safety-related aspects of the specific technologies employed in particle accelerators, it highlights the potential hazards at such facilities and current prevention and protection measures. It closes with a review of safety management and organization at accelerator facilities.
    Keywords: Particle Acceleration and Detection, Beam Physics ; Measurement Science and Instrumentation ; Quality Control, Reliability, Safety and Risk ; Low Temperature Physics ; Accelerator Physics ; Industrial and Production Engineering ; Radiation safety ; Hierarchy of safety measures ; Accelerator operation ; Laser safety ; Ionising radiation ; Superconducting radio frequency ; Superconducting magnet ; Cryostat Design ; Open access ; Particle & high-energy physics ; Scientific standards, measurement etc ; Reliability engineering ; thema EDItEUR::P Mathematics and Science::PH Physics::PHP Particle and high-energy physics ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDD Scientific standards, measurement etc ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering::TGPR Reliability engineering ; thema EDItEUR::P Mathematics and Science::PH Physics::PHF Materials / States of matter::PHFB Low temperature physics
    Language: English
    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: 2021-02-10
    Description: This second open access book in a series of three volumes examines the repertoire of policies and programmes led by EU Member States to engage with their nationals residing abroad. Focusing on sending states’ engagement in the area of social protection, this book shows how a series of emigration-related policies that go beyond the realm of social security address the needs of nationals abroad in the area of health care, unemployment, family benefits, pensions and economic hardship. In addition, this volume highlights the variety of sending states’ institutions that are involved in these policies (consulates, diaspora institutions, ministries, agencies…) and their engagement with citizens abroad in other policy areas such as electoral rights, citizenship, language, culture, education, business or religion. As such this book is a valuable read to researchers, policy makers, government employees and NGO’s.
    Keywords: Social Sciences, general ; Microeconomics ; Social Policy ; Sociology of Migration ; Open access ; Diaspora Policies ; Emigration-related policies ; Health care ; Unemployment ; Family benefits ; Pensions ; Economic hardship ; migration and integration ; Social security and inequality ; Expats ; Sending states ; Society & Social Sciences ; Sociology ; Political economy ; Social & ethical issues ; bic Book Industry Communication::J Society & social sciences ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCC Microeconomics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
    Keywords: Computer science ; Computer logic ; Mathematical logic ; Software engineering ; Artificial intelligence ; Computer system failures ; 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 ; 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::UYA Mathematical theory of computation ; 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 ...
  • 80
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which was planned to be held during June 8-12, 2020, at the IT University of Copenhagen, Denmark. However, due to the COVID-19 pandemic the conference was postponed until an undetermined date. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2020 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. The 14 full and 2 short papers presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: agile adoption; agile practices; large-scale agile; the business of agile; and agile and testing.
    Keywords: Software Engineering ; IT in Business ; Management of Computing and Information Systems ; IT Operations ; Agile software development ; Software creation and management ; Scrum ; Lean software development ; Process management ; open access ; Test-driven development ; Project and people management ; Software development techniques ; Risk management ; Business mathematics & systems ; Business applications ; Information architecture ; Maintenance & repairs ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2021-02-10
    Description: This open access book explores the role of the ILO (International Labour Organization) in building global social governance from multiple and mutually complementary perspectives. It explores the impact of this UN´s oldest agency, founded in 1919, on the transforming world of work in a global setting, providing insights into the unique history and functions of the ILO as an organization and the evolution of workers’ rights through international labour standards stemming from its regulatory mechanism. The book examines the persistent dilemma of balancing the benefits of globalization with the protection of workers. It critically assesses the challenges that emerge when international labour standards are implemented and enforced in highly diverse regulatory frameworks in international, regional, national and local contexts. The book also identifies feasible ways to achieve more inclusive labour protection, putting into perspective the tension between the economic and the social in the ILO’s second century of operation. It includes reflections on the work of the ILO World Commission on the Social Dimension of Globalisation by Tarja Halonen, who as President of Finland co-chaired the Commission with Benjamin William Mkapa, President of Tanzania. Written by distinguished experts and scholars in the fields of international labour law and international law, the book provides an insightful and in-depth analysis of the role of the ILO as an international organization devoted to decent work and social justice. It also sheds light on tripartism and its particular role in the work of the ILO, examining the challenges that a profoundly changing working life presents in terms of labour protection and social justice, and examining the transnational dimension of labour law. Lastly, the book includes a postscript by Nobel economics laureate Professor Joseph E. Stiglitz.
    Keywords: Labour Law/Social Law ; Sources and Subjects of International Law, International Organizations ; International Organization ; Development and Social Change ; Development Studies ; ILO ; Social governance of globalization ; International labour standards ; Social justice ; ILO world commission of globalization ; Decent work ; ILO world commission on the social dimension of globalization ; International labour law ; Social sustainability ; Transformation of work ; Open access ; Employment & labour law: general ; Social law & Medical law ; Public international law ; International institutions ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNH Employment & labour law ; bic Book Industry Communication::L Law::LB International law::LBB Public international law ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPS International relations::JPSN International institutions ; bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GT Interdisciplinary studies::GTF Development studies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-23
    Description: This open access book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to raise the profile of software testers and their profession. It gathers contributions by respected software testing experts in order to highlight the state of the art as well as future challenges and trends. In addition, it covers current and emerging technologies like test automation, DevOps, and artificial intelligence methodologies used for software testing, before taking a look into the future. The contributing authors answer questions like: "How is the profession of tester currently changing? What should testers be prepared for in the years to come, and what skills will the next generation need? What opportunities are available for further training today? What will testing look like in an agile world that is user-centered and fast-paced? What tasks will remain for testers once the most important processes are automated?" iSQI has been focused on the education and certification of software testers for fifteen years now, and in the process has contributed to improving the quality of software in many areas. The papers gathered here clearly reflect the numerous ways in which software quality assurance can play a critical role in various areas. Accordingly, the book will be of interest to both professional software testers and managers working in software testing or software quality assurance.
    Keywords: Computer science ; Software engineering ; Management information systems ; Management information systems ; Computer science ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; 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::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book deals with Article 7 TEU measures, court proceedings, financial sanctions and the EU Rule of Law Framework to protect EU values with a particular focus on checks and balances in EU Member States. It analyses substantive standards, powers, procedures as well as the consequences and implications of the various instruments. It combines the analysis of the European level, be it the EU or the Council of Europe, with that of the national level, in particular in Hungary and Poland. The LM judgment of the European Court of Justice is made subject to detailed scrutiny.
    Keywords: European Fundamental Rights and Freedoms ; Treaty of the European Union ; Court of Justice of the European Union ; Member States ; CJEU ; Democracy ; Rule of Law ; EU Values ; Constitutional Crisis ; Open access ; Public international law: human rights ; bic Book Industry Communication::L Law::LB International law::LBB Public international law::LBBR International human rights law
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    facet.materialart.
    Unknown
    Springer Nature | Springer Netherlands
    Publication Date: 2024-03-29
    Description: undefined
    Keywords: Mathematics Education ; ICMI 19 ; mathematical reasoning ; mathematics teaching ; proof ; proving ; Open access ; Teaching of a specific subject ; Mathematics ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; thema EDItEUR::J Society and Social Sciences::JN Education::JNU Teaching of a specific subject
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book.
    Keywords: architecture verification ; artificial intelligence ; automata theory ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; formal methods ; model checking ; software architecture ; software design ; software engineering ; software quality ; temporal logic ; verification techniques ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; 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::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-11
    Description: This edited open access book gives a comprehensive overview of small and lightweight electric three- and four-wheel vehicles with an international scope. The present status of small electric vehicle (SEV) technologies, the market situation and main hindering factors for market success as well as options to attain a higher market share including new mobility concepts are highlighted. An increased usage of SEVs can have different impacts which are highlighted in the book in regard to sustainable transport, congestion, electric grid and transport-related potentials. To underline the effects these vehicles can have in urban areas or rural areas, several case studies are presented covering outcomes of pilot projects and studies in Europe. A study of the operation and usage in the Global South extends the scope to a global scale. Furthermore, several concept studies and vehicle concepts on the market give a more detailed overview and show the deployment in different applications.
    Keywords: Transportation ; Automotive Engineering ; Transportation Technology and Traffic Engineering ; Light vehicles ; small electric vehicles ; SEV ; light electric vehicles ; three-wheeler ; Open access ; Electrical engineering ; Automotive technology & trades ; Automotive (motor mechanic) skills ; Highway & traffic engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THY Energy, power generation, distribution and storage ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRC Automotive technology and trades ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNH Highway and traffic engineering
    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: 2021-02-10
    Description: This open access volume addresses the role of external actors in social protection in the Global South, from the Second World War until today, analysing the influence of colonial powers, superpowers during the Cold War and contemporary donor agencies. Following an introduction to the analysis of external actors in social policy making in the Global South, the contributions explore which external actors were dominant in the decades after World War II, and how they shaped early and contemporary social protection making in developing countries. The latter half of the collection elucidates important players in the contemporary transnational social policy arena, such as donor organizations and international organizations, and critically evaluates the potential for and limits of the explanatory power of external actors in social protection making in the Global South, considering the relative contribution of external and domestic influences. By examining how transnational relationships and external actors have influenced the formation, development and transformation of social policies in the developing world, this collection will be an invaluable resource for scholars interested in social protection in the Global South from a range of disciplines. These include political science, social policy, and sociology, as well as historians of the welfare state, international relations scholars and scholars working on global and transnational social policy and development policy.
    Keywords: Comparative Social Policy ; Social Structure, Social Inequality ; Public Policy ; Political Sociology ; Social Policy ; Social Structure ; Cold War ; colonialism ; superpowers ; transnational social policy ; global social policy ; Open access ; Central / national / federal government policies ; Social & ethical issues ; Public administration ; Sociology ; Politics & government ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPP Public administration ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book focuses on the molecular mechanism of congenital heart disease and pulmonary hypertension, offering new insights into the development of pulmonary circulation and the ductus arteriosus. It describes in detail the molecular mechanisms involved in the development and morphogenesis of the heart, lungs and ductus arteriosus, covering a range of topics such as gene functions, growth factors, transcription factors and cellular interactions, as well as stem cell engineering technologies. The book also presents recent advances in our understanding of the molecular mechanism of lung development, pulmonary hypertension and molecular regulation of the ductus arteriosus. As such, it is an ideal resource for physicians, scientists and investigators interested in the latest findings on the origins of congenital heart disease and potential future therapies involving pulmonary circulation/hypertension and the ductus arteriosus.
    Keywords: Cardiology ; Pediatrics ; Internal Medicine ; Pulmonary circulation ; Ductus arteriosus ; Molecular mechanisms ; Cellular interactions ; Stem cell engineering ; Heart ; Lung ; Open access ; Cardiovascular medicine ; Paediatric medicine ; bic Book Industry Communication::M Medicine::MJ Clinical & internal medicine::MJD Cardiovascular medicine ; bic Book Industry Communication::M Medicine::MJ Clinical & internal medicine::MJW Paediatric medicine
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Publication Date: 2024-04-14
    Description: This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2019. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains five papers describing the works by Sebastian Baltes (U Trier) on Software Developers’Work Habits and Expertise, Timo Greifenberg’s thesis on Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte, Marco Konersmann’s (U Duisburg-Essen) work on Explicitly Integrated Architecture, Marija Selakovic’s (TU Darmstadt) research about Actionable Program Analyses for Improving Software Performance, and Johannes Späth’s (Paderborn U) thesis on Synchronized Pushdown Systems for Pointer and Data-Flow Analysis – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.
    Keywords: Software Engineering ; Software Management ; Management of Computing and Information Systems ; IT in Business ; IT Operations ; Software Development ; Requirements Engineering ; Software Modeling ; Software Research ; Open Access ; Ernst Denert Award ; Business mathematics & systems ; Business applications ; Information architecture ; Maintenance & repairs ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-04
    Description: This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software library. Using a series of examples, including the Poisson equation, the equations of linear elasticity, the incompressible Navier–Stokes equations, and systems of nonlinear advection–diffusion–reaction equations, it guides readers through the essential steps to quickly solving a PDE in FEniCS, such as how to define a finite variational problem, how to set boundary conditions, how to solve linear and nonlinear systems, and how to visualize solutions and structure finite element Python programs. This book is open access under a CC BY license.
    Keywords: Computational Science and Engineering ; Algorithms ; Visualization ; Mathematical Software ; Numerical Analysis ; Software Engineering/Programming and Operating Systems ; Data and Information Visualization ; Software Engineering ; Finite element ; FEniCS ; Partial Differential Equations ; Python ; Simulation ; Open access ; Maths for scientists ; Combinatorics & graph theory ; Mathematical & statistical software ; Operating systems ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDE Maths for scientists ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKS Numerical analysis ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBV Combinatorics and graph theory ; thema EDItEUR::U Computing and Information Technology::UF Business applications::UFM Mathematical and statistical software ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 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 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
    Keywords: Software Engineering ; Special Purpose and Application-Based Systems ; Control Structures and Microprogramming ; Computer System Implementation ; Information Systems and Communication Service ; Artificial Intelligence ; open access ; software engineering ; requirements engineering ; model-based design ; software analysis ; testing ; software architectures ; security ; model transformations ; software evolution ; software product lines ; architecting ; artificial intelligence ; computer programming ; computer systems ; embedded systems ; mathematics ; software architecture ; software design ; Expert systems / knowledge-based systems ; Algorithms & data structures ; Systems analysis & design ; Computer networking & communications ; Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; 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::UT Computer networking and communications ; 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 ...
  • 92
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2021-02-10
    Description: This open access volume draws on a multidimensional model of educational change, the book reviews the field of climate change education and identifies some of the areas in which past efforts have fallen short in supporting effective pedagogical change at scale. It then formulates an approach to engage university students and faculty in partnering with schools and adult education institutions and directly contribute innovative curricula on climate change. The approach is illustrated with several case studies which present curricula developed to support school-based innovation in the Middle East and in Guatemala, and adult education in Haiti and Pakistan, and educators preparation at the university level. The approach followed to develop innovative curriculum follows five steps: 1) What are the specific impacts of climate change in this jurisdiction? How do they impact various human populations? 2) What knowledge, dispositions and behaviors could mitigate the impact of climate change and are there ways in which changes in the behaviors of populations in this jurisdiction could slow down climate change? 3) What are the means of delivery to reach each of the specific populations in this jurisdiction who needs to be educated on climate change? 4) What curriculum can help educate each population? 5) What role can the institution we are collaborating with play in advancing climate change education in that jurisdiction? The various chapters of the book present the conceptual foundation of these programs and illustrate how these programs respond to specific characteristics of local contexts. These programs focus in schools, non-formal settings and educator preparation institutions. The chapters offer examples of general value beyond the specific contexts for which they were designed, as they illustrate how in order to be optimally useful climate change education needs to be firmly grounded in the specifics of a context and responsive to that context.
    Keywords: Environmental and Sustainability Education ; Curriculum Studies ; Educational Policy and Politics ; Science Education ; International and Comparative Education ; Higher Education ; Open access ; climate change education ; Sustainability Studies ; Curriculum Reform ; Comparative Education ; Education Policy ; Educational Change ; twenty first century education ; climate education strategies ; integrating climate change education ; university climate change education ; climate change education strategies ; Climate Action in Guatemala ; Education ; Sustainability ; Curriculum planning & development ; Educational strategies & policy ; Teaching of a specific subject ; Science: general issues ; Higher & further education, tertiary education ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKC Curriculum planning & development ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Publication Date: 2021-02-10
    Description: This open access book offers up-to-date advice and practical guidance on how to undertake a discrete choice experiment as a tool for environmental valuation. It discusses crucial issues in designing, implementing and analysing choice experiments. Compiled by leading experts in the field, the book promotes discrete choice analysis in environmental valuation through a more solid scientific basis for research practice. Instead of providing strict guidelines, the book helps readers avoid common mistakes often found in applied work. It is based on the collective reflections of the scientific network of researchers using discrete choice modelling in the field of environmental valuation (www.envecho.com).
    Keywords: Environmental Economics ; Environmental Policy ; Economic Theory/Quantitative Economics/Mathematical Methods ; Quantitative Economics ; Discrete choice experiment ; Stated preference method ; Environmental valuation ; Survey and questionnaire design ; Discrete Choice Modelling ; Open access ; Central / national / federal government policies ; Economic theory & philosophy ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCN Environmental economics ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCA Economic theory & philosophy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2021-02-10
    Description: By adopting a rights-based approach, this open access book sheds light on the different legal and policy instruments that have been adopted to implement circular migration policies in the EU and their consequences for the rights of migrant workers. It contributes to the understanding of the meaning of this concept in general, in the EU, as well as more specifically with regard to its Eastern neighbourhood. The book provides a comprehensive overview of the formation and implementation of the EU’s circular migration approach that has developed through both EU and national instruments on the basis of comparative case study analysis of Bulgaria and Poland’s migration law and policy. Furthermore, by applying legal empirical research methods, it draws conclusions about the policy outcomes from the implementation of the various migration instruments falling under the circular migration umbrella and shows the consequences for the rights of migrant workers as a result of the application of different policy options. Along with its value to an academic audience, the book can be used by policy makers at the EU, international and national level as well as international organisations and NGOs working in the field of migration law and policy.
    Keywords: Migration ; Biotechnology ; Labour Law/Social Law ; Population Economics ; European Politics ; Sociology of Migration ; Open access ; The concept of circular migration ; Legal Migration Fitness Check ; European Commission ; Global Compact for Migration ; Rights of migrant workers ; Eastern neighbourhood ; Central and Eastern Europe ; EU labour migration legal instruments ; Bulgaria and Poland ; Migration, immigration & emigration ; Employment & labour law: general ; Social law & Medical law ; Political economy ; Population & demography ; Politics & government ; Europe ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes::JFFN Migration, immigration & emigration ; bic Book Industry Communication::T Technology, engineering, agriculture::TC Biochemical engineering::TCB Biotechnology ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNH Employment & labour law ; 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Publication Date: 2024-03-29
    Description: This open access book analyses intercultural dialogue as a concept, policy and ideal in European education policy documentation. The core European transnational organizatons – the Council of Europe and the European Union – have actively promoted policies to engender inclusive societies and respond to challenges that diversification may entail. This book, in turn, offers suggestions for improving education policies in super-diversified Europe and beyond, where there is an increasing need for cultural understanding and constructive dialogue. The authors utilize concept analysis to reveal how these organizations seek to deal with dialogue between cultures, as well as weight given to cultural differences and intercultural encounters. This book will be of interest and value to scholars of intercultural dialogue and European education policies.
    Keywords: Educational Policy and Politics ; Education Policy ; International and Comparative Education ; European Union Politics ; Intercultural dialogue ; Education policy ; Intercultural education ; Cultural literacy ; Inclusive education ; Open access ; Educational strategies & policy ; Central / national / federal government policies ; Education ; Politics & government ; EU (European Union) ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JP Politics and government
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-29
    Description: This open access handbook provides a multilevel view on family policies, combining insights on family policy outcomes at different levels of policymaking: supra-national organizations, national states, sub-national or regional levels, and finally smaller organizations and employers. At each of these levels, a multidisciplinary group of expert scholars assess policies and their implementation, such as child income support, childcare services, parental leave, and leave to provide care to frail and elderly family members. The chapters evaluate their impact in improving children’s development and equal opportunities, promoting gender equality, regulating fertility, productivity and economic inequality, and take an intersectional perspective related to gender, class, and family diversity. The editors conclude by presenting a new research agenda based on five major challenges pertaining to the levels of policy implementation (in particular globalization and decentralization), austerity and marketization, inequality, changing family relations, and welfare states adapting to women’s empowered roles.
    Keywords: Children, Youth and Family Policy ; Sociology of Family, Youth and Aging ; Sociology of Work ; Social Policy ; Formal childcare ; Defamilization ; Paid parental leave ; Employment ; immigration ; marketisation ; fiscalisation ; globalisation ; Open access ; Central / national / federal government policies ; Sociology: family & relationships ; Sociology: work & labour ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBK Sociology: family and relationships ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBL Sociology: work and labour
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    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 ...
  • 98
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-03-29
    Description: This open access book presents a ground-breaking approach to developing micro-foundations for demography and migration studies. It offers a unique and novel methodology for creating empirically grounded agent-based models of international migration – one of the most uncertain population processes and a top-priority policy area. The book discusses in detail the process of building a simulation model of migration, based on a population of intelligent, cognitive agents, their networks and institutions, all interacting with one another. The proposed model-based approach integrates behavioural and social theory with formal modelling, by embedding the interdisciplinary modelling process within a wider inductive framework based on the Bayesian statistical reasoning. Principles of uncertainty quantification are used to devise innovative computer-based simulations, and to learn about modelling the simulated individuals and the way they make decisions. The identified knowledge gaps are subsequently filled with information from dedicated laboratory experiments on cognitive aspects of human decision-making under uncertainty. In this way, the models are built iteratively, from the bottom up, filling an important epistemological gap in migration studies, and social sciences more broadly.
    Keywords: Open access ; Agent-based modelling ; Bayesian demography ; Migration modelling ; Model-based approaches ; Uncertainty quantification ; Forced migration ; Computational experiments ; Model calibration and sensitivity ; Free access ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBD Population and demography ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBC Social research and statistics ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBF Social and ethical issues::JBFH Migration, immigration and emigration ; thema EDItEUR::5 Interest qualifiers::5P Relating to specific groups and cultures or social and cultural interests::5PB Relating to peoples: ethnic groups, indigenous peoples, cultures and other groupings of people::5PBC Relating to migrant groups / diaspora communities or peoples
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This book examines multiple facets of language diversity and mathematics education. It features renowned authors from around the world and explores the learning and teaching of mathematics in contexts that include multilingual classrooms, indigenous education, teacher education, blind and deaf learners, new media and tertiary education. Each chapter draws on research from two or more countries to illustrate important research findings, theoretical developments and practical strategies. This open access book examines multiple facets of language diversity
    Keywords: Mathematics Education ; Learning & Instruction ; Education ; Indigenous Learners in Latin America ; Language Diversity in Mathematics Education ; Mathematics Education in Europe ; Mathematics Teacher Education Programs ; Mathematics for Blind Learners ; Mathematics for Deaf Learners ; Open access ; Teaching of a specific subject ; Mathematics ; Teaching skills & techniques ; Cognition & cognitive psychology ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; bic Book Industry Communication::J Society & social sciences::JN Education::JNT Teaching skills & techniques ; thema EDItEUR::J Society and Social Sciences::JN Education::JNU Teaching of a specific subject ; thema EDItEUR::J Society and Social Sciences::JN Education::JNT Teaching skills and techniques
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...