ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • Books  (37)
  • thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering  (22)
  • bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology  (15)
  • Springer  (37)
  • Berlin : Akad.-Verl.
Collection
  • Books  (37)
Language
Years
  • 1
    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 ...
  • 2
    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 ...
  • 3
    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 ...
  • 4
    Publication Date: 2021-02-10
    Description: This open access book presents up-to-date analyses of community-based approaches to sustainable resource management of SEPLS (socio-ecological production landscapes and seascapes) in areas where a harmonious relationship between the natural environment and the people who inhabit it is essential to ensure community and environmental well-being as well as to build resilience in the ecosystems that support this well-being. Understanding SEPLS and the forces of change that can weaken their resilience requires the integration of knowledge across a wide range of academic disciplines as well as from indigenous knowledge and experience. Moreover, given the wide variation in the socio-ecological makeup of SEPLS around the globe, as well as in their political and economic contexts, individual communities will be at the forefront of developing the measures appropriate for their unique circumstances. This in turn requires robust communication systems and broad participatory approaches. Sustainability science (SuS) research is highly integrated, participatory and solutions driven, and as such is well suited to the study of SEPLS. Through case studies, literature reviews and SuS analyses, the book explores various approaches to stakeholder participation, policy development and appropriate action for the future of SEPLS. It provides communities, researchers and decision-makers at various levels with new tools and strategies for exploring scenarios and creating future visions for sustainable societies.
    Keywords: Environmental Management ; Landscape Ecology ; Development and Sustainability ; Landscape/Regional and Urban Planning ; Environmental Sociology ; Sustainable Development ; Development Studies ; Geography ; Biotechnology ; Environmental Social Sciences ; Indigenous and local knowledge ; Science-policy interface ; Ecosystem services ; Future scenarios ; Stakeholder analysis ; Visualization ; Satoyama ; Satoumi ; SEPLS ; Social-ecological system ; Open Access ; Environmental management, ; Botany & plant sciences ; Sustainability ; Regional & area planning ; Sociology ; The environment ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNF Environmental management ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PST Botany & plant sciences::PSTS Plant ecology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RP Regional & area planning ; 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 ...
  • 5
    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 ...
  • 6
    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 ...
  • 7
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This open access book explores cultural competence in the higher education sector from multi-disciplinary and inter-disciplinary perspectives. It addresses cultural competence in terms of leadership and the role of the higher education sector in cultural competence policy and practice. Drawing on lessons learned, current research and emerging evidence, the book examines various innovative approaches and strategies that incorporate Indigenous knowledge and practices into the development and implementation of cultural competence, and considers the most effective approaches for supporting cultural competence in the higher education sector. This book will appeal to researchers, scholars, policy-makers, practitioners and general readers interested in cultural competence policy and practice.
    Keywords: Higher Education ; Educational Policy and Politics ; Ethnicity in Education ; Sociology of Education ; open access ; Indigenous higher education ; student equity ; student transition ; higher education policy ; Indigenous research ; community engagement ; cultural competency policy and practices ; developing cultural competency in higher education ; implementing cultural competency in higher education ; culturally competent leadership ; culturally responsive pedagogy ; diversity, social justice, equity and inclusion ; culturally competent service learning ; Higher & further education, tertiary education ; Educational strategies & policy ; Education ; Sociology ; 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::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    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 ...
  • 9
    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 ...
  • 10
    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 ...
  • 11
    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 ...
  • 12
    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 ...
  • 13
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book is unique in presenting the first oral history of individuals with an intellectual disability and their families in China. In this summary volume and the two accompanying volumes that follow, individuals with an intellectual disability tell their life stories, while their family members, teachers, classmates, and co-workers describe their professional, academic, and family relationships. Besides interview transcripts, each volume provides observations and records in real time the daily experiences of people with an intellectual disability. Drawing on the methodologies of sociology and oral history, the summary volume provides an unprecedented account of how people with intellectual disabilities in China understand themselves while also examining pertinent issues of public policy and civil society that have ramifications beyond the field of disability itself.
    Keywords: Disability Studies ; Social Structure, Social Inequality ; Sports Economics ; Oral History ; Public Health ; Social Justice, Equality and Human Rights ; Biotechnology ; Social Structure ; Human Rights ; Intellectual Disability ; Special Olympics ; human Rights ; Human Rights in China ; Disability Rights ; Open Access ; Sociology ; Social & ethical issues ; Economics ; Oral history ; Public health & preventive medicine ; Politics & government ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics ; bic Book Industry Communication::H Humanities::HB History::HBT History: specific events & topics::HBTD Oral history ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBN Public health & preventive medicine ; 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 ...
  • 14
    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 ...
  • 15
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2022-06-21
    Description: This is an open access book which brings together leading scholars and critical discourses on political, economic, legal, technological, socio-cultural and systemic changes and continuities intersecting media and health crises in Sub-Saharan Africa. The volume extensively discusses COVID-19 but it also covers other epidemics, such as malaria, HIV/AIDS as well as “silent” health crises such as mental health---simmering across the subcontinent. The chapters fill knowledge gaps, highlight innovations, unpack the complexities surrounding the media ecosystem in times of health crises. They explore, among other issues, the politics of public health communication; infodemics; existential threats to media viability; draconian legislations; threats to journalists/journalism; COVID-related entrepreneurship, marginalization, and more. This is a timely resource for academics, advocacy groups, media practitioners and policy makers working on crises and media reporting, not just in Africa but anywhere in the global South.
    Keywords: Health communication ; COVID-19 ; Political economy of the media ; Pandemics and the media ; Media gagging ; Marginalization discourses ; Sub-Saharan Africa ; Regulatory frameworks ; Reporters Without Borders ; Intimidation of journalists ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFD Media studies ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBN Public health & preventive medicine
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This open access book presents an actor-centered study on Europeanization, based on the assumption that EU-driven reforms are highly dependent on the behavior and interests of the key domestic actors. Whether or not a state pursues a European and democratic agenda depends on domestic lawmakers. Further, political elites are pre-eminent in deciding on the nature, form and content of any law, and on the extent to which the rule of law is actually enforced. Elites can overcome structural or institutional barriers that stand in the way of achieving their goals. The empirical study on Romania presented here lends this observation a more profound meaning: it shows how, in contexts where high level corruption is the norm rather than the exception, self-serving political elites cannot be expected to genuinely commit to adopting sound anti-corruption reform. The book is an inquiry into the motivations that drive legislators to make particular decisions, but also into the structural characteristics and dynamics of the elite that invite a selfish rather than responsible and responsive behaviour. This publication was supported by funds from the Publication Fund for Open Access Monographs of the Federal State of Brandenburg, Germany.
    Keywords: Europeanization ; Romania ; European Union ; EU ; post-accession conditionality ; Central and Eastern Europe ; political elite ; corruption ; justice reform ; civil society empowerment ; European Union Politics ; Russian and Post-Soviet Politics ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPB Comparative politics ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; 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 ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPB Comparative politics ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    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 ...
  • 18
    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 ...
  • 19
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book explores machine learning and its impact on how we make sense of the world. It does so by bringing together two ‘revolutions’ in a surprising analogy: the revolution of machine learning, which has placed computing on the path to artificial intelligence, and the revolution in thinking about the law that was spurred by Oliver Wendell Holmes Jr in the last two decades of the 19th century. Holmes reconceived law as prophecy based on experience, prefiguring the buzzwords of the machine learning age—prediction based on datasets. On the path to AI introduces readers to the key concepts of machine learning, discusses the potential applications and limitations of predictions generated by machines using data, and informs current debates amongst scholars, lawyers and policy makers on how it should be used and regulated wisely. Technologists will also find useful lessons learned from the last 120 years of legal grappling with accountability, explainability, and biased data.
    Keywords: Science and Technology Studies ; Human Geography ; IT Law, Media Law, Intellectual Property ; Artificial Intelligence ; AI ; Machine learning ; artificial intelligence ; 'big data' ; probability theory ; history of ideas ; legal interpretation ; Transhumanism ; Futurism ; Oliver Wendell Holmes Jr ; Wendell Holmes Jr. ; legal philosophy ; machine bias ; algorithmic bias ; Open Access ; Sociology ; Human geography ; Entertainment & media law ; Artificial intelligence ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNJ Entertainment & media law ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence
    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 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 ...
  • 21
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book introduces readers to the vision on future cities and urban lives in connection with “Society 5.0”, which was proposed in the 5th Basic Science and Technology Plan by Japan’s national government for a technology-based, human-centered society, emerging from the fourth industrial revolution. The respective chapters summarize the findings and suggestions of joint research projects conducted by H-UTokyo Lab. Through the research collaboration and discussion, this book explores the future urban lives under the concept of “Society 5.0”, characterized by the key phrases of data-driven society, knowledge-intensive society, and non-monetary society, and suggests the directionality to which the concept should aim as Japan’s technology-led national vision. Written by Hitachi’s researchers as well as academics from a wide range of fields, including engineering, economics, psychology and philosophy at The University of Tokyo, the book is a must read for members of the general public interested in urban planning, students, professionals and researchers in engineering and economics.
    Keywords: Quality of Life Research ; Environmental Policy ; Sociology, general ; Geography, general ; Data Engineering ; IT in Business ; Environmental Social Sciences ; Geography ; Urban Geography and Urbanism ; Data Driven Society ; Innovation ; The Fourth Industrial Revolution ; Internet of Things ; IoT ; Industry 4.0 ; Open Access ; Social & ethical issues ; Central / national / federal government policies ; Sociology ; Databases ; Technology: general issues ; Business mathematics & systems ; Business applications ; 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::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography ; bic Book Industry Communication::U Computing & information technology::UN Databases ; 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 ...
  • 22
    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 ...
  • 23
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book addresses how to help students find purpose in a rapidly changing world. In a probing and visionary analysis of the field of global education Fernando Reimers explains how to lead the transformation of schools and school systems in order to more effectively prepare students to address today’s’ most urgent challenges and to invent a better future. Offering a comprehensive and multidimensional framework for designing and implementing a global education program that combines cultural, psychological, professional, institutional and political perspectives the book integrates an extensive body of empirical literature on the practice of global education. It discusses several global citizenship curricula that have been adopted by schools and school networks, and ties them into an approach to lead school change into the uncharted territory of the future. Given its scope, the book will help teachers, school and district leaders tackle the change management needed in order to introduce global education, and more generally increase the relevancy of education. In addition, the book offers a “bridge” for more productive collaboration and communication between those who lead the process of educational change, and those who study and theorize this important work. At a time when the urgency of our shared global challenges calls for more understanding and collaboration and when the rapid transformation of societies requires that we help students develop a clear sense of relevancy and purpose, this book offers a way to pursue deep and sustainable change in instruction and school culture, so that students learn that nothing human is foreign and that they can find meaning in lives aligned with audacious purposes to make the world better.
    Keywords: Curriculum Studies ; Educational Policy and Politics ; Learning & Instruction ; Education Policy ; Sociology of Education ; 21st century skills ; global education ; multicultural education ; deeper learning ; immigrant students ; diversity and education ; teaching diverse students ; framework for global education ; global citizenship education ; global citizenship curriculum ; leading transformation of schools ; internationalization of education ; school reform ; school change ; school leadership ; open access ; Curriculum planning & development ; Educational strategies & policy ; Teaching skills & techniques ; Cognition & cognitive psychology ; Central / national / federal government policies ; Sociology ; Education ; Social research & statistics ; 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::JNT Teaching skills & techniques ; 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::JH Sociology & anthropology::JHB Sociology ; 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 ...
  • 24
    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 ...
  • 25
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book presents and discusses current issues and innovative solution approaches for land management in a European context. Manifold sustainability issues are closely interconnected with land use practices. Throughout the world, we face increasing conflict over the use of land as well as competition for land. Drawing on experience in sustainable land management gained from seven years of the FONA programme (Research for Sustainable Development, conducted under the auspices of the German Federal Ministry of Education and Research), the book stresses and highlights co-design processes within the “co-creation of knowledge”, involving collaboration in transdisciplinary research processes between academia and other stakeholders. The book begins with an overview of the current state of land use practices and the subsequent need to manage land resources more sustainably. New system solutions and governance approaches in sustainable land management are presented from a European perspective on land use. The volume also addresses how to use new modes of knowledge transfer between science and practice. New perspectives in sustainable land management and methods of combining knowledge and action are presented to a broad readership in land system sciences and environmental sciences, social sciences and geosciences.
    Keywords: Sustainable Development ; Regional/Spatial Science ; Environmental Geography ; Human Geography ; Knowledge - Discourse ; Environmental Social Sciences ; Regional and Spatial Economics ; Environmental Studies ; Biotechnology ; Open Access ; Sustainable land management ; System solutions ; Governance of land ; Transdisciplinarity Interdisciplinarity ; Knowledge management ; Sustainability ; Political economy ; Regional studies ; Development & environmental geography ; Human geography ; Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGB Physical geography & topography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography ; 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 ...
  • 26
    Publication Date: 2022-06-21
    Description: Writing manuscripts is central to the advance of scientific knowledge. For an early career aspiring scientist, writing first author manuscripts is an opportunity to develop critical skills and to credential their expertise. Writing manuscripts, however, is difficult, doubly so for scientists who use English as a second language. Many science students intentionally avoid a writing-intensive curriculum. Careful, thorough reviews of draft manuscripts are difficult to secure, and experienced scientific supervisors face more demands on their time than they have time available. Weak draft manuscripts discourage supervising scientists investing the time to coach revisions. It is easier for experienced scientists to ignore the request, or to simply rewrite the article. Early career scientists are motivated to address these barriers but specific advice is difficult to find, and much of this advice is behind a pay wall. This essential, open access text presents writing lessons organized as common errors, providing students and early-career researchers with an efficient way to learn, and mentors with a quick-reference guide to reviewing. Error descriptions include specific examples drawn from real-world experiences of other early-career writers, and suggestions for how to successfully address and avoid these in the future. Versions of this book have been used by Stanford University, UC Davis, Johns Hopkins, and numerous international institutions and organizations for over a decade. ;
    Keywords: Scientific writing ; Peer review ; Science manuscript writing ; ESL ; Writing for non-English speakers ; troubleshooting ; Journal article ; Review ; mentoring ; scientific review ; publishing ; scientific communication ; common errors ; early career scientist ; creating presentations ; publication ethics ; bic Book Industry Communication::M Medicine::MB Medicine: general issues ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBG Medical equipment & techniques::MBGR Medical research ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFD Media studies ; bic Book Industry Communication::J Society & social sciences::JN Education::JNZ Study & learning skills: general
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    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 ...
  • 28
    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 ...
  • 29
    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.
    Keywords: architecture verification ; artificial intelligence ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; formal methods ; formal verifications ; model checker ; model checking ; signal processing ; software architecture ; software design ; software engineering ; software quality ; 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::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::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This is an open access book. Media industry research and EU policymaking are predominantly tailored to large (and, in the latter case, Western) European markets. This open access book addresses the specific qualities of smaller media markets, highlighting their vulnerability to global digital competition and outlining survival strategies for them. New online distribution models and new trends in the consumption of audiovisual content are limited by, and pose new challenges for, existing audiovisual business models and their legal framework in the EU. The European Commission’s Digital Single Market (DSM) strategy, which was intended e.g. to remove obstacles to the cross-border distribution of audiovisual content, has triggered a heated debate on the transformation of the existing ecosystem for European screen industries. While most current discussions focus on the United States, Western Europe, and the multinational giants, this book approaches these industry trends and policy questions from the perspective of relatively small and peripheral (in terms of their population, language, cross-border cultural flows, and financial and/or symbolic capital) media markets.
    Keywords: Media Management ; Media Sociology ; European Union Politics ; IT Law, Media Law, Intellectual Property ; European Cinema and TV ; Marketing ; Political Science ; European Film and TV ; Open access ; Small media markets ; EU Digital Single Market Strategy (DSM) ; Copyright law ; Media industry research ; Online media distribution ; Video on demand ; Media, entertainment, information & communication industries ; Media studies ; Sociology ; Politics & government ; EU (European Union) ; Entertainment & media law ; Performing arts ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNT Media, information & communication industries ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNJ Entertainment & media law ; bic Book Industry Communication::A The arts::AP Film, TV & radio
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Artificial Intelligence ; Information Systems and Communication Service ; Computer Hardware ; Computer Engineering and Networks ; Database Management System ; architecture verification and validation ; artificial intelligence ; computer hardware ; computer networks ; computer programming ; computer systems ; data security ; distributed computer systems ; embedded systems ; formal logic ; linguistics ; model checking ; network protocols ; parallel processing systems ; signal processing ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Artificial intelligence ; Computer hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 22nd International Conference on Agile Software Development, XP 2021, which was held virtually 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. This year’s conference was held with the theme “Agile Turns Twenty While the World Goes Online”. The 11 full and 2 short papers presented in this volume were carefully reviewed and selected from 38 submissions. They were organized in topical sections named: agile practices; process assessment; large-scale agile; and short contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; IT in Business ; Management of Computing and Information Systems ; Software Engineering ; 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 ; Operating systems ; 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/png
    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 book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of the common challenges faced by research infrastructures and how a ‘reference model guided’ engineering approach can be used to achieve greater interoperability among such infrastructures in the environmental and earth sciences. The 20 contributions in this book are structured in 5 parts on the design, development, deployment, operation and use of research infrastructures. Part one provides an overview of the state of the art of research infrastructure and relevant e-Infrastructure technologies, part two discusses the reference model guided engineering approach, the third part presents the software and tools developed for common data management challenges, the fourth part demonstrates the software via several use cases, and the last part discusses the sustainability and future directions.
    Keywords: Computer Applications ; Environment, general ; Special Purpose and Application-Based Systems ; Information Systems and Communication Service ; Software Engineering/Programming and Operating Systems ; Geography, general ; Computer and Information Systems Applications ; Environmental Sciences ; Database Management System ; Software Engineering ; Geography ; cloud computing ; cloud providers ; cloud services ; computer networks ; computing resource ; data communication systems ; databases ; distributed computer systems ; distributed systems ; engineering ; grid computing ; internet ; network protocols ; open access ; parallel processing systems ; signal processing ; telecommunication networks ; wireless telecommunication systems ; Information technology: general issues ; The environment ; Expert systems / knowledge-based systems ; Computer networking & communications ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book addresses three themes which have been central to Leydesdorff's research: (1) the dynamics of science, technology, and innovation; (2) the scientometric operationalization of these concept; and (3) the elaboration in terms of a Triple Helix of university-industry-government relations. In this study, I discuss the relations among these themes. Using Luhmann's social-systems theory for modelling meaning processing and Shannon's theory for information processing, I show that synergy can add new options to an innovation system as redundancy. The capacity to develop new options is more important for innovation than past performance. Entertaining a model of possible future states makes a knowledge-based system increasingly anticipatory. The trade-off between the incursion of future states on the historical developments can be measured using the Triple-Helix synergy indicator. This is shown, for example, for the Italian national and regional systems of innovation.
    Keywords: Research Methodology ; Knowledge - Discourse ; Communication Studies ; Market Research/Competitive Intelligence ; Semantics ; Sociological Methods ; Biotechnology ; Media and Communication ; Marketing ; Linguistics ; Triple-Helix synergy ; A calculus of redundancy ; horizons of meaning ; anticipatory systems ; operationalisation and measurement ; neo-evolutionary ; social-systems theory ; entropy statistics ; open access ; Social research & statistics ; Sociology ; Market research ; Semantics, discourse analysis, stylistics ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology::JHBC Social research & statistics ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GT Interdisciplinary studies::GTC Communication studies ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJS Sales & marketing::KJSM Market research ; bic Book Industry Communication::C Language::CF linguistics::CFG Semantics, discourse analysis, etc
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    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 ...
  • 36
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2022-08-18
    Description: This "Open Access" book investigates the legal reality of the church through a sociological lens and from the perspective of canon law studies, the discipline which researches the law and the legal structure of the Catholic Church. It introduces readers from various backgrounds to the sociology of canon law, which is both a legal and a theological field of study, and is the first step towards introducing a new subdiscipline of the sociology of canon law. As a theoretical approach to mapping out this field, it asks what theology and canon law may learn from sociology; it discusses the understanding of “law” in religious contexts; studies the preconditions of legal validity and effectiveness; and based on these findings it asks in what sense it is possible to speak of canon “law”. By studying a religious order as its struggles to find a balance between continuity and change, this book also contributes to the debates on religious law in modernity and the challenges it faces from secular states and plural societies. This book is of interest to researchers and students of the sociology of law, legal studies, law and religion, the sociology of religion, theology, and religious studies. This is an open access book.
    Keywords: Canon law ; Religious law ; Sociology of law ; Validity of the law ; Effectiveness of the law ; Legitimacy of the law ; Niklas Luhmann ; Legal monism ; Secular law ; Max Weber ; bic Book Industry Communication::L Law::LA Jurisprudence & general issues::LAQ Law & society ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::H Humanities::HR Religion & beliefs::HRA Religion: general ; bic Book Industry Communication::L Law::LA Jurisprudence & general issues::LAB Jurisprudence & philosophy of law
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book presents a comparative study on how large-scale professional development programs for teachers are designed and implemented. Around the world, governments and educators are recognizing the need to educate students in a broad range of higher order cognitive skills and socio-emotional competencies, and providing effective opportunities for teachers to develop the expertise needed to teach these skills is a crucial aspect of effective implementation of curricula which include those goals. This study examines how large-scale efforts to empower teachers for deeper instruction have been designed, how they have been implemented, and their outcomes. To do so, it investigates six programs from England, Colombia, Mexico, India, and the United States. Though all six are intended to broaden and deepen students’ curricular aspirations, each takes this expansion of curricular goals in a different direction. The ambitious education reforms studied here explicitly focus on building teachers’ capacity to teach on a broader set of goals. Through a discerning analysis of program documents, evaluations, and interviews with senior leaders and participants in the programs, the book identifies the various theories of action used in these programs, examines how they were implemented, and discusses what they achieved. As such, it offers an indispensable resource for education leaders interested in designing and implementing professional development programs for teachers that are aligned with ambitious instructional goals.
    Keywords: Teaching and Teacher Education ; Educational Policy and Politics ; Curriculum Studies ; Education Policy ; Sociology of Education ; open access ; large scale professional development programs ; Teacher education and deeper learning ; Teacher education and twenty first century skills ; supporting teacher knowledge development ; supporting teacher pedagogical development ; designing teacher professional development ; implementing teacher professional development ; National education reforms and teacher professional development ; Comparative teacher education ; Mastery Math reform in England ; District based teacher professional development ; Teacher professional development in Colombia ; Teacher Professional development Mexico ; Teacher professional development in India ; Teacher professional development in Cambodia ; Teacher professional development in USA ; Teacher training ; Educational strategies & policy ; Curriculum planning & development ; Central / national / federal government policies ; Sociology ; Education ; Social research & statistics ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education::JNMT Teacher training ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; 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::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; 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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...