ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • thema EDItEUR::U Computing and Information Technology::UY Computer science  (94)
  • thema EDItEUR::N History and Archaeology::NH History  (73)
  • Springer Nature  (166)
  • American Meteorological Society
  • MDPI Publishing
  • Periodicals Archive Online (PAO)
  • 2020-2024  (166)
Collection
Keywords
Language
Years
  • 2020-2024  (166)
Year
  • 1
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; Des Fitzgerald ; Epistemology ; Sociology ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Publication Date: 2024-04-06
    Description: fuzzy arithmetic; defuzzyfication; fuzzy prediction models; analysis; trend processing; uncertainty modeling; propagation of uncertainty; Kosinski’s fuzzy numbers
    Keywords: fuzzy arithmetic ; defuzzyfication ; fuzzy prediction models ; analysis ; trend processing ; uncertainty modeling ; propagation of uncertainty ; Kosinski’s fuzzy numbers ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-02
    Description: Human Geography; Innovation/Technology Management; Economic Geography; Knowledge - Discourse
    Keywords: Human Geography ; Innovation/Technology Management ; Economic Geography ; Knowledge - Discourse ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    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: This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: automata theory ; computer programming ; computer systems ; databases ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; linguistics ; ontologies ; parallel processing systems ; program compilers ; programming languages ; semantics ; software design ; software engineering ; software quality ; verification ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Publication Date: 2024-04-14
    Description: artificial intelligence; big data; cloud computing; communication; computer architecture; computer science; computer systems; data management; databases; hardware; High-Performance Computing (HPC); information management; map-reduce; processors; programming languages; semantics; wireless telecommunication systems
    Keywords: artificial intelligence ; big data ; cloud computing ; communication ; computer architecture ; computer science ; computer systems ; data management ; databases ; hardware ; High-Performance Computing (HPC) ; information management ; map-reduce ; processors ; programming languages ; semantics ; wireless telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Publication Date: 2024-04-01
    Description: Popular Social Sciences; Childhood, Adolescence and Society; Sociology of Education; Demography; Social Work
    Keywords: Popular Social Sciences ; Childhood, Adolescence and Society ; Sociology of Education ; Demography ; Social Work ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBF Social and ethical issues
    Language: German
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    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 ...
  • 11
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-04
    Description: This open access book describes Smittestopp, the first Norwegian system for digital contact tracing of Covid-19 infections, which was developed in March and early April 2020. The system was deployed after five weeks of development and was active for a little more than two months, when a drop in infection levels in Norway and privacy concerns led to shutting it down. The intention of this book is twofold. First, it reports on the design choices made in the development phase. Second, as one of the only systems in the world that collected population data into a central database and which was used for an entire population, we can share experience on how the design choices impacted the system's operation. By sharing lessons learned and the challenges faced during the development and deployment of the technology, we hope that this book can be a valuable guide for experts from different domains, such as big data collection and analysis, application development, and deployment in a national population, as well as digital tracing.
    Keywords: digital contract tracing ; Covid-19 ; public health ; pandemic ; BLE ; GPS ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKS Numerical analysis ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine::MBNS Epidemiology and Medical statistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a concluding chapter it discusses realistic ways forward. In discussions on cyber security, there is a tacit assumption that the manufacturer of equipment will collaborate with the user of the equipment to stop third-party wrongdoers. The Snowden files and recent deliberations on the use of Chinese equipment in the critical infrastructures of western countries have changed this. The discourse in both cases revolves around what malevolent manufacturers can do to harm their own customers, and the importance of the matter is on par with questions of national security. This book is of great interest to ICT and security professionals who need a clear understanding of the two questions posed in the subtitle, and to decision-makers in industry, national bodies and nation states.
    Keywords: Privacy ; Computer Engineering ; Management of Computing and Information Systems ; Governance and Government ; R & D/Technology Policy ; Computer Hardware ; IT Operations ; Economics ; cyber security ; IT management ; computer science ; digital vulnerability ; open access ; Privacy & data protection ; Information architecture ; Maintenance & repairs ; Political structure & processes ; Research & development management ; thema EDItEUR::U Computing and Information Technology::UR Computer security::URD Privacy and data protection ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV6 Research and development management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-23
    Description: This interdisciplinary book contains 22 essays and interventions on rest and restlessness, silence and noise, relaxation and work. It draws together approaches from artists, literary scholars, psychologists, activists, historians, geographers and sociologists who challenge assumptions about how rest operates across mind, bodies, and practices. Rest’s presence or absence affects everyone. Nevertheless, defining rest is problematic: both its meaning and what it feels like are affected by many socio-political, economic and cultural factors. The authors open up unexplored corners and experimental pathways into this complex topic, with contributions ranging from investigations of daydreaming and mindwandering, through histories of therapeutic relaxation and laziness, and creative-critical pieces on lullabies and the Sabbath, to experimental methods to measure aircraft noise and track somatic vigilance in urban space. The essays are grouped by scale of enquiry, into mind, body and practice, allowing readers to draw new connections across apparently distinct phenomena. The book will be of interest to students and scholars across a range of disciplines in the social sciences, life sciences, arts and humanities.
    Keywords: Experiment ; Interdisciplinarity ; Rest ; Restless ; Rhythm ; Silence ; Noise ; Work ; Autonomous sensory meridian response ; Creative Commons license ; Daydream ; thema EDItEUR::A The Arts ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences
    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 ...
  • 14
    Publication Date: 2024-04-14
    Description: computer science; algorithms; visualization; software; programming
    Keywords: computer science ; algorithms ; visualization ; software ; programming ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book provides an in-depth description of the EU project European Language Grid (ELG). Its motivation lies in the fact that Europe is a multilingual society with 24 official European Union Member State languages and dozens of additional languages including regional and minority languages. The only meaningful way to enable multilingualism and to benefit from this rich linguistic heritage is through Language Technologies (LT) including Natural Language Processing (NLP), Natural Language Understanding (NLU), Speech Technologies and language-centric Artificial Intelligence (AI) applications. The European Language Grid provides a single umbrella platform for the European LT community, including research and industry, effectively functioning as a virtual home, marketplace, showroom, and deployment centre for all services, tools, resources, products and organisations active in the field. Today the ELG cloud platform already offers access to more than 13,000 language processing tools and language resources. It enables all stakeholders to deposit, upload and deploy their technologies and datasets. The platform also supports the long-term objective of establishing digital language equality in Europe by 2030 – to create a situation in which all European languages enjoy equal technological support. This is the very first book dedicated to Language Technology and NLP platforms. Cloud technology has only recently matured enough to make the development of a platform like ELG feasible on a larger scale. The book comprehensively describes the results of the ELG project. Following an introduction, the content is divided into four main parts: (I) ELG Cloud Platform; (II) ELG Inventory of Technologies and Resources; (III) ELG Community and Initiative; and (IV) ELG Open Calls and Pilot Projects.
    Keywords: Language technology platform ; Language processing platform ; LT platform ; NLP platform ; Language technology directory ; Language processing directory ; LT directory ; NLP directory ; Language technology repository ; Language processing repository ; LT repository ; NLP repository ; Language data repository ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFX Computational and corpus linguistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-02
    Description: demography
    Keywords: demography ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes
    Language: German
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Publication Date: 2024-04-14
    Description: computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification
    Keywords: computer architecture ; computer software selection and evaluation ; formal logic ; formal methods ; model checker ; model checking ; multi core processors ; program compilers ; programming languages ; semantics ; software engineering ; specifications ; state space ; verification ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-02
    Description: This open access book offers an unprecedented analysis of child welfare schemes, situating them in the wider context of post-war policy debates about the care of children. Between 1945 and 1970, an estimated 3,500 children were sent from Britain to Australia, unaccompanied by their parents, through child migration schemes funded by the Australian and British Governments and delivered by churches, religious orders and charities. Functioning in a wider history of the migration of unaccompanied children to overseas British colonies, the post-war schemes to Australia have become the focus of public attention through a series of public reports in Britain and Australia that have documented the harm they caused to many child migrants. Whilst addressing the wide range of organisations involved, the book focuses particularly on knowledge, assumptions and decisions within UK Government Departments and asks why these schemes continued to operate in the post-war period despite often failing to adhere to standards of child-care set out in the influential 1946 Curtis Report. Some factors – such as the tensions between British policy on child-care and assisted migration – are unique to these schemes. However, the book also examines other factors such as complex government systems, fragmented lines of departmental responsibility and civil service cultures that may contribute to the failure of vulnerable people across a much wider range of policy contexts.
    Keywords: History of Britain and Ireland ; History, general ; Imperialism and Colonialism ; Australian History ; religion ; charity ; colonies ; open access ; empire ; European history ; History ; Historiography ; Colonialism & imperialism ; thema EDItEUR::N History and Archaeology::NH History::NHD European history ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::N History and Archaeology::NH History::NHT History: specific events and topics::NHTQ Colonialism and imperialism
    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 details the relationship between the artist and their created works, using tools such as information technology, computer environments, and interactive devices, for a range of information sources and application domains. This has produced new kinds of created works which can be viewed, explored, and interacted with, either as an installation or via a virtual environment such as the Internet. These processes generate new dimensions of understanding and experience for both the artist and the public’s relationships with the works that are produced. This has raised a variety of interdisciplinary opportunities and issues, and these are examined. The symbiotic relationship between artistic works and the cultural context in which they are produced is reviewed. Technology can provide continuity by making traditional methods and techniques more efficient and effective. It can also provide discontinuity by opening up new perspectives and paradigms. This can generate new ideas, and produce a greater understanding of artistic processes and how they are implemented in practice. Tools have been used from the earliest times to create and modify artistic works. For example, naturally occurring pigments have been used for cave paintings. What has been created provides insight into the cultural context and social environment at the time of creation. There is an interplay between the goal of the creator, the selection and use of appropriate tools, and the materials and representations chosen. Technology, Design and the Arts - Opportunities and Challenges is relevant for artists and technologists and those engaged in interdisciplinary research and development at the boundaries between these disciplines.
    Keywords: User Interfaces and Human Computer Interaction ; Computer Appl. in Arts and Humanities ; Media Design ; Information Systems Applications (incl. Internet) ; Computer and Information Systems Applications ; Information Systems Applications (incl.Internet) ; Interactive Arts ; Digital Art ; Creativity and Virtual Reality ; Technology, Design and the Arts ; Open Access ; Collaborative Art and Design ; User interface design & usability ; Computer applications in the arts & humanities ; Graphical & digital media applications ; Information retrieval ; Internet searching ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::U Computing and Information Technology::UG Graphical and digital media applications ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Publication Date: 2024-03-23
    Description: user interfaces; human computer interaction; computers and society
    Keywords: user interfaces ; human computer interaction ; computers and society ; thema EDItEUR::A The Arts ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    facet.materialart.
    Unknown
    Springer Nature | The Palgrave Handbook of the History of Surgery | Palgrave Macmillan
    Publication Date: 2024-04-02
    Description: The following chapter is concerned with the ways in which political, social and cultural contexts shape the performance and perceptions of surgery, especially under nineteenth-century colonial empires.
    Keywords: Surgery ; History ; Nineteenth Century ; Colonial empires ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::M Medicine and Nursing::MN Surgery
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    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 constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Theory of Computation ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Computer science ; Mathematical theory of computation ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    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 ...
  • 31
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: Simulation and Modeling ; Computational Biology/Bioinformatics ; Models and Principles ; Computer Appl. in Arts and Humanities ; Computer Science ; Computational and Systems Biology ; Database Management System ; Computer and Information Systems Applications ; Computational Aesthetics ; Computing with Natural media ; Harness the Nature for Computation ; Synthetic Biology ; Computer modelling & simulation ; Life sciences: general issues ; Information technology: general issues ; Computer science ; Computer applications in the arts & humanities ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.
    Keywords: Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Computer Communication Networks ; Mathematical Logic and Formal Languages ; Computer and Information Systems Applications ; Formal Languages and Automata Theory ; open access ; concept lattices ; data mining ; databases ; fca ; formal concept analysis ; formal languages ; formal logic ; information analysis ; information systems ; knowledge-based system ; model-based reasoning ; network protocols ; ontologies ; Information retrieval ; Internet searching ; Network hardware ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-02
    Description: Human Geography; Psychology Research; Social Theory; Knowledge - Discourse
    Keywords: Human Geography ; Psychology Research ; Social Theory ; Knowledge - Discourse ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-02
    Description: This open access edited collection brings together established and new perspectives on Cold War civil defence in Western Europe within a common analytical framework that also facilitates comparative and transnational dimensions. The current interest in creating disaster-resilient societies demands new histories of civil defence. Historical contextualization is essential in order to understand what is at stake in preparing, devising, and implementing forms of preparedness, protection, and security that are specifically targeted at societies and citizens. Applying the concept of sociotechnical imaginaries to civil defence history, the chapters of this volume cover a range of new themes, from technology and materiality to media, memory, and everyday experience. The book underlines the social embeddedness of civil defence by detailing how it both prompted new forms of social interaction and reflected norms and visions of the ‘good society’ in an age where nuclear technology seemed to hold the key to both doom and salvation.
    Keywords: Survival ; Resilience ; Disaster planning ; Terrorism ; Nuclear conflict ; Memory studies ; Materiality ; Everyday experience ; Cold War ; NATO ; Twentieth century ; open access ; thema EDItEUR::N History and Archaeology::NH History::NHD European history ; thema EDItEUR::J Society and Social Sciences::JW Warfare and defence ; thema EDItEUR::N History and Archaeology::NH History::NHT History: specific events and topics::NHTB Social and cultural history ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-08
    Description: This open access book tackles the pressing problem of integrating concerns related to Artificial Intelligence (AI) ethics into higher education curriculums aimed at future AI developers in Africa and beyond. For doing so, it analyzes the present and future states of AI ethics education in local computer science and engineering programs. The authors share relevant best practices and use cases for teaching, develop answers to ongoing organizational challenges, and reflect on the practical implications of different theoretical approaches to AI ethics. The book is of great interest to faculty members, researchers, and students in the fields of artificial intelligence, computer science, mathematics, computer engineering, and related areas, as well as higher education administration.
    Keywords: Artificial Intelligence Ethics ; African AI Ethics ; Responsible Use of Technology ; Computer Science Training ; Higher Education in Africa ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Publication Date: 2024-04-14
    Description: software development; process management; collaboration; software-driven innovation
    Keywords: software development ; process management ; collaboration ; software-driven innovation ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-02
    Description: Migration; Child and School Psychology; Political Science
    Keywords: Migration ; Child and School Psychology ; Political Science ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes ; thema EDItEUR::L Law
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-06
    Description: This open access book provokes critical thinking regarding the most ambitious Chinese project since the founding of the People’s Republic of China, The Belt and Road Initiative (BRI). The book presents extensive quality research and original insights in assessing the status of China’s outbound investment and construction projects under the BRI umbrella. Referring to case studies and projects of selected countries from Southeast Asia, Central Asia, and the Middle East, the author sheds new light on the issues and problems associated with the BRI's implementation and discusses both the readjustments and prospects for the BRI. Finally, this book demarcates the limits and potential of the world’s second largest economy in pushing for the BRI, which is challenged by enormous domestic tensions and external pressures. It also identifies and analyzes potential new collaboration areas between the Belt and Road countries and China under the BRI framework in the context of the post-COVID-19 era. It provides an outstanding reference for academics, students, policymakers, and the business community working in areas of international affairs and Asian economics and development, particularly those interested in Sino-relations and Chinese power dynamics in the global world order.
    Keywords: Contemporary Chinese Politics ; Asian Economics ; Connectivity and Infrastructure Development ; One Belt One Road ; Southeast Asia ; Diplomacy ; East Asia ; International Relations ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::N History and Archaeology::NH History::NHF Asian history ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPS International relations ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPS International relations::JPSD Diplomacy ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-07
    Description: This open access peer-reviewed volume was inspired by the UNESCO UNITWIN Network for Underwater Archaeology International Workshop held at Flinders University, Adelaide, Australia in November 2016. Content is based on, but not limited to, the work presented at the workshop which was dedicated to 3D recording and interpretation for maritime archaeology. The volume consists of contributions from leading international experts as well as up-and-coming early career researchers from around the globe. The content of the book includes recording and analysis of maritime archaeology through emerging technologies, including both practical and theoretical contributions. Topics include photogrammetric recording, laser scanning, marine geophysical 3D survey techniques, virtual reality, 3D modelling and reconstruction, data integration and Geographic Information Systems. The principal incentive for this publication is the ongoing rapid shift in the methodologies of maritime archaeology within recent years and a marked increase in the use of 3D and digital approaches. This convergence of digital technologies such as underwater photography and photogrammetry, 3D sonar, 3D virtual reality, and 3D printing has highlighted a pressing need for these new methodologies to be considered together, both in terms of defining the state-of-the-art and for consideration of future directions. As a scholarly publication, the audience for the book includes students and researchers, as well as professionals working in various aspects of archaeology, heritage management, education, museums, and public policy. It will be of special interest to those working in the field of coastal cultural resource management and underwater archaeology but will also be of broader interest to anyone interested in archaeology and to those in other disciplines who are now engaging with 3D recording and visualization.
    Keywords: Geography ; Remote sensing ; Archaeology ; Coasts ; Application software ; Geophysics ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::N History and Archaeology::NK Archaeology ; thema EDItEUR::P Mathematics and Science::PH Physics::PHV Applied physics::PHVG Geophysics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGB Physical geography and topography::RGBP Coastlines ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGW Geographical information systems, geodata and remote sensing
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book provides the most in-depth study of capital punishment in Scotland between the mid-eighteenth and early nineteenth century to date. Based upon an extensive gathering and analysis of previously untapped resources, it takes the reader on a journey from the courtrooms of Scotland to the theatre of the gallows. It introduces them to several of the malefactors who faced the hangman’s noose and explores the traditional hallmarks of the spectacle of the scaffold. It demonstrates that the period between 1740 and 1834 was one of discussion, debate and fundamental change in the use of the death sentence and how it was staged in practice. In addition, the study provides an innovative investigation of the post-mortem punishment of the criminal corpse. It offers the reader an insight into the scene at the foot of the gibbets from which criminal bodies were displayed, and around the dissection tables of Scotland’s main universities where criminal bodies were used as cadavers for anatomical demonstration. In doing so it reveals an intermediate stage in the long-term disappearance of public bodily punishment.
    Keywords: Capital punishment ; Scotland ; eighteenth century ; nineteenth century ; Autopsy ; Dissection ; Edinburgh ; England ; Gallows ; Gibbeting ; Glasgow ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-02
    Description: Sociology, general; Social Policy; Political Theory
    Keywords: Sociology, general ; Social Policy ; Political Theory ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book explores the dataspace paradigm as a best-effort approach to data management within data ecosystems. It establishes the theoretical foundations and principles of real-time linked dataspaces as a data platform for intelligent systems. The book introduces a set of specialized best-effort techniques and models to enable loose administrative proximity and semantic integration for managing and processing events and streams. The book is divided into five major parts: Part I “Fundamentals and Concepts” details the motivation behind and core concepts of real-time linked dataspaces, and establishes the need to evolve data management techniques in order to meet the challenges of enabling data ecosystems for intelligent systems within smart environments. Further, it explains the fundamental concepts of dataspaces and the need for specialization in the processing of dynamic real-time data. Part II “Data Support Services” explores the design and evaluation of critical services, including catalog, entity management, query and search, data service discovery, and human-in-the-loop. In turn, Part III “Stream and Event Processing Services” addresses the design and evaluation of the specialized techniques created for real-time support services including complex event processing, event service composition, stream dissemination, stream matching, and approximate semantic matching. Part IV “Intelligent Systems and Applications” explores the use of real-time linked dataspaces within real-world smart environments. In closing, Part V “Future Directions” outlines future research challenges for dataspaces, data ecosystems, and intelligent systems. Readers will gain a detailed understanding of how the dataspace paradigm is now being used to enable data ecosystems for intelligent systems within smart environments. The book covers the fundamental theory, the creation of new techniques needed for support services, and lessons learned from real-world intelligent systems and applications focused on sustainability. Accordingly, it will benefit not only researchers and graduate students in the fields of data management, big data, and IoT, but also professionals who need to create advanced data management platforms for intelligent systems, smart environments, and data ecosystems.
    Keywords: Computer science ; Database management ; Special purpose computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    Publication Date: 2024-04-14
    Description: anomaly detection; artificial intelligence; cloud computing; data security; cyber crime; internet; network security; wireless; web
    Keywords: anomaly detection ; artificial intelligence ; cloud computing ; data security ; cyber crime ; internet ; network security ; wireless ; web ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    Publication Date: 2024-04-02
    Description: Criminology and Criminal Justice, general; Social Work; Methodology of the Social Sciences; Criminal Law
    Keywords: Criminology and Criminal Justice, general ; Social Work ; Methodology of the Social Sciences ; Criminal Law ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JK Social services and welfare, criminology::JKV Crime and criminology::JKVG Drugs trade / drug trafficking
    Language: German
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Publication Date: 2024-04-02
    Description: Migration; Population Economics; Sociology, general; Political Science; Human Geography
    Keywords: Migration ; Population Economics ; Sociology, general ; Political Science ; Human Geography ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes ; thema EDItEUR::L Law
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    Publication Date: 2024-04-14
    Description: human-computer interaction; machine learning; cyber-physical systems
    Keywords: human-computer interaction ; machine learning ; cyber-physical systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: This unique open access book applies the functional OCaml programming language to numerical or computational weighted data science, engineering, and scientific applications. This book is based on the authors' first-hand experience building and maintaining Owl, an OCaml-based numerical computing library. You'll first learn the various components in a modern numerical computation library. Then, you will learn how these components are designed and built up and how to optimize their performance. After reading and using this book, you'll have the knowledge required to design and build real-world complex systems that effectively leverage the advantages of the OCaml functional programming language. What You Will Learn Optimize core operations based on N-dimensional arrays Design and implement an industry-level algorithmic differentiation module Implement mathematical optimization, regression, and deep neural network functionalities based on algorithmic differentiation Design and optimize a computation graph module, and understand the benefits it brings to the numerical computing library Accommodate the growing number of hardware accelerators (e.g. GPU, TPU) and execution backends (e.g. web browser, unikernel) of numerical computation Use the Zoo system for efficient scripting, code sharing, service deployment, and composition Design and implement a distributed computing engine to work with a numerical computing library, providing convenient APIs and high performance Who This Book Is For Those with prior programming experience, especially with the OCaml programming language, or with scientific computing experience who may be new to OCaml. Most importantly, it is for those who are eager to understand not only how to use something, but also how it is built up.
    Keywords: programming language ; OCaml ; scientific computing ; computational ; debugging ; open source ; source ; code ; numerical ; data science ; big data ; owl ; functional ; math ; scientific ; engineering ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Publication Date: 2024-04-02
    Description: Higher Education; Educational Policy and Politics; International and Comparative Education
    Keywords: Higher Education ; Educational Policy and Politics ; International and Comparative Education ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-04
    Description: This open access text aims at giving you the simplest possible introduction to differential equations that are used in models of electrophysiology. It covers models at several spatial and temporal scales with associated numerical methods. The text demonstrates that a very limited number of fundamental techniques can be used to define numerical methods for equations ranging from ridiculously simple to extremely complex systems of partial differential equations. Every method is implemented in Matlab and the codes are freely available online. By using these codes, the reader becomes familiar with classical models of electrophysiology, like the cable equation, the monodomain model, and the bidomain model. But modern models that have just started to gain attention in the field of computational electrophysiology are also presented. If you just want to read one book, it should probably not be this one, but if you want a simple introduction to a complex field, it is worth considering the present text.
    Keywords: Action potential ; Cardiomyocytes ; Differential equations ; numerical methods ; software ; computational physiology ; computational electrophysiology ; Cable equation ; bidomain ; cell-based models ; thema EDItEUR::P Mathematics and Science::PB Mathematics ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::P Mathematics and Science::PH Physics::PHV Applied physics::PHVN Biophysics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Publication Date: 2024-04-02
    Description: This open access book provides a panoramic view of the evolution of Spanish agriculture from 1900 to the present, offering a more diverse picture to the complex and multidimensional reality of agrarian production. With a clear transdisciplinary ambition, the book applies an original and innovative theoretical and methodological tool, termed Agrarian Social Metabolism, combining Social Metabolism with an agroecological perspective. This integrative analysis is especially interesting for environmental scientists and policy makers being the best way to design sustainable agroecosystems and public policies capable of moving us towards a more sustainable food system. Spanish agricultural production has experienced impressive growth during the 20th century which has allowed it to ensure the supply of food to the population and even to transform some crops into important chapters in foreign trade. However, this growth has had its negative side since it was based on the injection of large amounts of external energy, on the destruction of employment and the loss of profitability of agricultural activity. But perhaps the most serious part is the strong impact of the current industrialised agriculture model on Spanish agroecosystems, exposed to the overexploitation of hydric resources, pollution of the water by nitrates and pesticides, high erosion rates and an alarming loss of biodiversity; damage which in the immediate future will end up reducing production capacity.
    Keywords: Life sciences ; Agriculture ; Environment ; History ; Environmental economics ; Economic history ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCZ Economic history ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: QA75.5-76.95 ; TP248.13-248.65 ; TL1-4050 ; TS1-2301 ; Computational Biology/Bioinformatics ; Simulation and Modeling ; Models and Principles ; Computer Appl. in Arts and Humanities ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Publication Date: 2024-04-02
    Description: Historicizing both emotions and politics, this open access book argues that the historical work of emotion is most clearly understood in terms of the dynamics of institutionalization. This is shown in twelve case studies that focus on decisive moments in European and US history from 1800 until today. Each case study clarifies how emotions were central to people’s political engagement and its effects. The sources range from parliamentary buildings and social movements, to images and speeches of presidents, from fascist cemeteries to the International Criminal Court. Both the timeframe and the geographical focus have been chosen to highlight the increasingly participatory character of nineteenth- and twentieth-century politics, which is inconceivable without the work of emotions.
    Keywords: political institutions ; emotional communities ; history of emotions ; new institutional history ; thema EDItEUR::N History and Archaeology::NH History::NHB General and world history ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPA Political science and theory ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::N History and Archaeology::NH History::NHD European history ; thema EDItEUR::N History and Archaeology::NH History::NHK History of the Americas
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Publication Date: 2024-04-14
    Description: agile software development; test-driven development; project and people management; empirical software engineering; continuous experimentation
    Keywords: agile software development ; test-driven development ; project and people management ; empirical software engineering ; continuous experimentation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-03-26
    Description: This open access book includes forty-one chapters about foreign observers’ discourses on Japan. These include a wide range of perspectives from the travelogues of curious visitors to academic theses by scholars, which offer us a broad spectrum of contents, reflecting a variety of attitudes toward Japan. The works were written during the period from the 1850s to the 1980s, a timespan during which Japan became, in stages, more open to the outside world after a long isolation under the Tokugawa shogunate. From the perspective of “Japanology,” one can discern three distinct periods of rising interest in the country from abroad. The first tide of such interest came shortly after the opening of Japan, when various foreign travelers, including those who could not be included in this book, came over and wrote down their impressions of the country—which was, for them, a land of mystery and mystique, which had just opened its doors to them. The second wave arose at the beginning of the twentieth century, just after the Russo-Japanese War, when Japan again generated a remarkable surge of interest as a “miracle” in Asia that had pulled off the wondrous feat of defeating a white superpower. The third wave was more recent, which took place from the late 1960s to the 1980s, a period of high economic growth when the “miracle” of Japan’s remarkable economic recovery from the defeat of World War II attracted enthusiastic and curious attention from the outside world once again. It is not the intention of this book to directly highlight such historical transitions, but these forty-two brilliant mirrors (forty-one chapters, including forty-two discourses), even when looked in casually, provide us with unexpected insights and various perspectives. Shōichi Saeki (1922–2016) was Professor Emeritus, the University of Tokyo. Tōru Haga (1931–2020) was Professor Emeritus, International Research Center for Japanese Studies.
    Keywords: Ivan Aleksandrovich Goncharov ; Sir Rutherford Alcock ; Ernest Mason Satow ; William Elliot Griffiths ; Percival Lowell ; Basil Hall Chamberlain ; Lafcadio Hearn ; Ludwig Riess ; Erwin von Balz ; Mustafa Kamil Pasha ; Ernest Francisco Fenollosa ; Edward Sylvester Morse ; Rabindranath Tagore ; Donald Keene ; Edwin Oldfather Reischauer ; Edward Seidensticker ; Maurice Pinguet ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy ; thema EDItEUR::N History and Archaeology::NH History::NHF Asian history ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPS International relations::JPSD Diplomacy ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    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 ...
  • 61
    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 ...
  • 62
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-27
    Description: Information Storage and Retrieval; Innovation/Technology Management; Computer Applications; Computers and Society; Big data
    Keywords: Information Storage and Retrieval ; Innovation/Technology Management ; Computer Applications ; Computers and Society ; Big data ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Mathematical Logic and Formal Languages ; Theory of Computation ; Natural Language Processing (NLP) ; Database Management ; Programming Techniques ; Formal Languages and Automata Theory ; automata theory ; databases ; formal languages ; formal logic ; computational linguistics ; open access ; semantics ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; logical foundations of data bases ; models of software security ; logical aspects of computation complexity ; logics of programming ; Mathematical theory of computation ; Computer science ; Natural language & machine translation ; Database programming ; Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-29
    Description: This open access book explores creative and collaborative forms of research praxis within the social sustainability sciences. The term co-creativity is used in reference to both individual methods and overarching research approaches. Supported by a series of in-depth examples, the edited collection critically reviews the potential of co-creative research praxis to nurture just and transformative processes of change. Included amongst the individual chapters are first-hand accounts of such as: militant research strategies and guerrilla narrative, decolonial participative approaches, appreciative inquiry and care-ethics, deep-mapping, photo-voice, community-arts, digital participatory mapping, creative workshops and living labs. The collection considers how, through socially inclusive forms of action and reflection, such co-creative methods can be used to stimulate alternative understandings of why and how things are, and how they could be. It provides illustrations of (and problematizes) the use of co-creative methods as overtly disruptive interventions in their own right, and as a means of enriching the transformative potential of transdisciplinary and more traditional forms of social science research inquiry. The positionality of the researcher, together with the emotional and embodied dimensions of engaged scholarship, are threads which run throughout the book. So too does the question of how to communicate sustainability science research in a meaningful way.
    Keywords: sustainability ; transdisciplinary ; methods ; mixed methods ; creative research methods ; social sustainability science ; research methods ; resilient ; environmental practice ; open access ; 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::RG Geography ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    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 ...
  • 67
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: Rethinking the ways global history is envisioned and conceptualized in diverse countries such as China, Japan, Mexico or Spain, this collections considers how global issues are connected with our local and national communities. It examines how the discipline had evolved in various historiographies, from Anglo Saxon to southern European, and its emergence in Asia with the rapid development of the Chinese economy motivation to legitimate the current uniqueness of the history and economy of the nation. It contributes to the revitalization of the field of global history in Chinese historiography, which have been dominated by national narratives and promotes a debate to open new venues in which important features such as scholarly mobility, diversity and internationalization are firmly rooted, putting aside national specificities. Dealing with new approaches on the use of empirical data by framing the proper questions and hypotheses and connecting western and eastern sources, this text opens a new forum of discussion on how global history has penetrated in western and eastern historiographies, moving the pivotal axis of analysis from national perspectives to open new venues of global history.
    Keywords: Global history ; chinese history ; Europe ; industrial revolution ; globalization ; Asia ; Japan ; China ; Colonialism ; Ming dynasty ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This open access book provides the first comprehensive coverage of the wheat genome sequence since the publication of the draft and reference sequences for bread wheat and durum wheat. It presents an overview and all aspects of the gold standard sequence of the bread wheat genome, IWGSC RefSeq v1.0 and its subsequent improvements through 2022 (IWGSC RefSeq v2.1), as well as the sequencing of multiple elite wheat varieties, durum wheat, and ancient wheat. The book provides a broad and extensive review of the resources, tools, and methodologies available for exploiting the wheat genome sequence for crop improvement and studying fundamental questions related to the structure, function, and evolution of the wheat genome. Wheat (Tritcum aestivum L.) is the most widely grown crop in the world, contributing approximately 20 percent of total calories and more protein in human diets than any other single source. This book is useful to students, teachers, and scientists in academia and industry interested in gaining an understanding of the wheat genome and its application as well as plant scientists generally interested in polyploid plant species.
    Keywords: International Wheat Genome Sequencing Consortium ; polyploidy ; wheat genome sequence ; structural genomics ; functional genomics ; wheat evolution ; wheat improvement ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAK Genetics (non-medical) ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TC Biochemical engineering::TCB Biotechnology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSB Biochemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    Publication Date: 2024-04-14
    Description: brain computer interface; artificial intelligence; computer networks; classification databases; HCI machine learning; signal processing; user interfaces
    Keywords: brain computer interface ; artificial intelligence ; computer networks ; classification databases ; HCI machine learning ; signal processing ; user interfaces ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Publication Date: 2024-04-14
    Description: Computational Science and Engineering; Numerical Analysis;
    Keywords: Computational Science and Engineering ; Numerical Analysis ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-26
    Description: This open access book suggests new ways of reading nineteenth-century African American literature environmentally. Combining insights from ecocriticism, African American studies, and Foucauldian theory, Matthias Klestil examines forms of environmental knowledge in African American writing ranging from antebellum slave narratives and pamphlets to Charlotte Forten’s journals, Booker T. Washington’s autobiographies, and Charles W. Chesnutt’s short fiction. The volume highlights how literary forms of environmental knowledge in the African American tradition were shaped by the histories of slavery and race, mainstream environmental writing traditions, and African American forms of expression and intertextuality. Turning to the Underground Railroad, debates over education and home-building, and the aesthetics of the pastoral and the georgic, Environmental Knowledge, Race, and African American Literature provides an original perspective on the African American ecoliterary tradition that uncovers new facets of canonical and understudied texts and offers new directions for ecocriticism and African American studies.
    Keywords: African American literature ; environmental humanities ; ecocriticism ; antebellum ; race studies ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSB Literary studies: general::DSBF Literary studies: c 1800 to c 1900 ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSA Literary theory ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCC Cultural studies ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JK Social services and welfare, criminology::JKV Crime and criminology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    Publication Date: 2024-04-02
    Description: Higher Education; Educational Policy and Politics; International and Comparative Education; International higher education arena; Higher education reforms; UEFISCDI; Evidence-based policy making; Higher education in Romania; Higher education public policies
    Keywords: Higher Education ; Educational Policy and Politics ; International and Comparative Education ; International higher education arena ; Higher education reforms ; UEFISCDI ; Evidence-based policy making ; Higher education in Romania ; Higher education public policies ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: Acting on stage is a mode of performing an action, in the context of which the bodily aspects implicitly at work in acting reveal their own significance and power. This event can actualize a wound incarnated in human beings, because the actor acts and does not act at the same time and hence the concept of being ‘the doer’ unmasks itself as being illusionary. One could call it a kind of ‘symbolic death’ (Mueller), an ‘anthropological mutation’ (Agamben)––an event of great interest because of its highly ethical call.The book “Actors and the Art of Performance. Under Exposure” opens with a cascade of contradictory motives for becoming an actor. But, if theatre is no longer understood as a theatre of representation, then what takes place on stage is a transformation at play with truth, in which ethics are realized by the aesthetic. Insofar the book summarizes the attempt to explore and map guidelines of acting as being under the perspective of be-coming. That may sound fairly harmless in theory, but it feels anything but harmless when you experience it on your own body. For example, for being physical under exposure actors have to learn that there exists no fundamental dualism between mind and matter. Furthermore, actors are espoused to a dynamic shifting ground in the name of creativity. They have to carry the burden that the self is no sovereign identity as we generally suppose, but rather a threshold of permanent be-coming. One could call it the outstanding gift of acting. In the German language, gift means “poison”, in German ears the word has the double meaning of poison and present, thus expressing the fact that a gift is disturbing and blessing at the same time. Loaded with fear and joy as the crucial point of acting, which attacks and attracts actors and spectators most.
    Description: Wird Theater nicht mehr als Repräsentation verstanden, werden im „Spiel mit der Wahrheit“ eine Fülle von Fragen über den Vollzug und das Ereignis unseres Daseins provoziert, die in einem ethischen Anspruch im Ästhetischen münden. Das klingt in der Theorie harmloser als es seinem physischen Ereignis nach ist. Denn der schöpferische Akt katapultiert SchauspielerInnen in eine Zone zwischen aktiv und passiv, in der sie nicht mehr alleinige Täter und souveräne Subjekte ihres Spiels sind.
    Keywords: Performing Arts ; Theatre ; Acting ; Artistic Research ; Arts-based-Philosophy ; Philosophy On Stage ; Performance Philosophy ; Schauspieler ; Theater ; Philosophie ; Korporale Performanz ; Künstlerische Forschung ; Theaterwissenschaft ; Kunst ; Actor ; Friedrich Nietzsche ; thema EDItEUR::N History and Archaeology::NH History
    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 ...
  • 75
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-03-23
    Description: In this Open Access book, film scholar Rasmus Greiner develops a theoretical model for the concept of the histosphere to refer to the “sphere” of a cinematically modelled, physically experienceable historical world. His analysis of practices of modelling and perceiving, immersion and empathy, experience and remembering, appropriation and refiguration, combine approaches from film studies, such as Vivian Sobchack’s phenomenology of film experience, with historiographic theories, such as Frank R. Ankersmit’s concept of historical experience. Building on this analysis, Greiner examines the spatial and temporal organization of historical films and presents discussions of mood and atmosphere, body and memory, and genre and historical consciousness. The analysis is based around three historical films, spanning six decades, that depict 1950s Germany: Helmut Käutner’s Sky Without Stars (1955), Jutta Brückner’s Years of Hunger (1980), and Sven Bohse’s three-part TV series Ku’damm 56 (2016).
    Keywords: Screen Studies ; History, general ; Film Theory ; Film Studies ; History ; Histosphere ; Historical Film ; Phenomenology of Film ; Historical Experience ; Audiovisual ; Historical Worlds ; Open Access ; Performing arts ; Historiography ; Film history, theory & criticism ; thema EDItEUR::A The Arts::AT Performing arts::ATF Films, cinema ; thema EDItEUR::A The Arts::AT Performing arts::ATJ Television ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::A The Arts::AT Performing arts::ATF Films, cinema::ATFA Film history, theory or criticism
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Publication Date: 2024-03-28
    Description: Political Communication; Political Theory
    Keywords: Political Communication ; Political Theory ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTU Peace studies and conflict resolution ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::L Law
    Language: German
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: DevOps; continuous delivery; software lifecycle; concurrent parallel testing; service management; ITIL; GRC; PaaS; containerization; API management; lean principles; technical debt; end-to-end automation; automation
    Keywords: DevOps ; continuous delivery ; software lifecycle ; concurrent parallel testing ; service management ; ITIL ; GRC ; PaaS ; containerization ; API management ; lean principles ; technical debt ; end-to-end automation ; automation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-07
    Description: This open access book aims to provide an overview of state-of-the-art approaches to 3D documentation from a practical perspective and formulate the most important areas for future developments. Bringing together a wide range of case studies, examples of best practice approaches, workflows, and first attempts to establish sustainable solutions to pressing problems, this book offers readers current practical advice on how to approach 3D archaeology and cultural heritage. Divided into five parts, this book begins with an overview of 3D archaeology in its present state. It goes on to give insights into the development of the technology and recent cutting-edge applications. The next section identifies current challenges in 3D archaeology and then presents approaches and solutions for data management of a large number of 3D objects and ways to ensure sustainable solutions for the archiving of the produced data. This book will be of interest to researchers working in the fields of archaeology, heritage management, and digital humanities in general.
    Keywords: 3D Documentation ; 3D-technologies in archaeology ; 3D Scanning in Archaeology ; Digital Archaeology ; Digital Archiving ; Image-based 3D-reconstruction ; Long-term Storage of Digital Data ; Photogrammetry ; 3D-Archaeology and Cultural Heritage ; Crossmodal search and visual exploration of 3D Cultural Heritage ; Data-Management and Scientific Usage of 3D-Data ; Case Studies in Cultural Heritage and Archaeology ; 3D spatial analysis of remains ; 3D-approach to rock art documentation ; application of image-based 3D technologies in archaeology ; 3D content in EUROPEANA ; 3D and archaeological data strategy ; Data management and handling of 3D-objects post-collection phase ; Integrating SFM technology in excavation ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::N History and Archaeology::NH History::NHA History: theory and methods::NHAH Historiography ; thema EDItEUR::N History and Archaeology::NK Archaeology ; thema EDItEUR::U Computing and Information Technology::UF Business applications
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Publication Date: 2024-04-14
    Description: Big data; Computing ethics; Women in computing; Research ethics
    Keywords: Big data ; Computing ethics ; Women in computing ; Research ethics ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Publication Date: 2024-04-14
    Description: authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering; specifications; verification; world wide web
    Keywords: authentication ; computer science ; computer software selection and evaluation ; cryptography ; data privacy ; formal logic ; formal methods ; formal specification ; internet ; privacy ; program compilers ; programming languages ; security analysis ; security systems ; semantics ; separation logic ; software engineering ; specifications ; verification ; world wide web ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-28
    Description: Migration; Population Economics; Political Science
    Keywords: Migration ; Population Economics ; Political Science ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Publication Date: 2024-04-02
    Description: Migration; Urban Geography / Urbanism (inc. megacities, cities, towns); Political Science
    Keywords: Migration ; Urban Geography / Urbanism (inc. megacities, cities, towns) ; Political Science ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes ; thema EDItEUR::L Law ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-29
    Description: Information Systems and Communication Service; Education, general
    Keywords: Information Systems and Communication Service ; Education, general ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNT Media, information & communication industries::KNTX Information technology industries ; bic Book Industry Communication::U Computing & information technology::UY Computer science ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-02
    Description: This open access book analyses Iberian expansion by using knowledge accumulated in recent years to test some of the most important theories regarding Europe’s economic development. Adopting a comparative perspective, it considers the impact of early globalization on Iberian and Western European institutions, social development and political economies. In spite of globalization’s minor importance from the commercial perspective before 1750, this book finds its impact decisive for institutional development, political economies, and processes of state-building in Iberia and Europe. The book engages current historiographies and revindicates the need to take the concept of composite monarchies as a point of departure in order to understand the period’s economic and social developments, analysing the institutions and societies resulting from contact with Iberian peoples in America and Asia. The outcome is a study that nuances and contests an excessively-negative yet prevalent image of the Iberian societies, explores the difficult relationship between empires and globalization and opens paths for comparisons to other imperial formations.
    Keywords: Imperialism ; colonialism ; Iberia ; Europe ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Publication Date: 2024-04-14
    Description: cyber security; IT management; computer science; computer engineering; digital vulnerability
    Keywords: cyber security ; IT management ; computer science ; computer engineering ; digital vulnerability ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Publication Date: 2024-04-01
    Description: Springer Proceedings in Complexity
    Keywords: Springer Proceedings in Complexity ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Publication Date: 2024-04-02
    Description: Educational Technology
    Keywords: Educational Technology ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-02
    Description: Migration; Statistics for Social Science, Behavorial Science, Education, Public Policy, and Law
    Keywords: Migration ; Statistics for Social Science, Behavorial Science, Education, Public Policy, and Law ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes ; thema EDItEUR::L Law
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; semantics of programming languages ; program analysis ; logics of programming ; software specification and refinement ; models of concurrent systems ; emerging models of computation ; logical aspects of computational complexity ; correctness, transformation, and verification ; models of software security ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-02
    Description: This book is a multidisciplinary work that investigates the notion of posthumous harm over time. The question what is and when is death, affects how we understand the possibility of posthumous harm and redemption. Whilst it is impossible to hurt the dead, it is possible to harm the wishes, beliefs and memories of persons that once lived. In this way, this book highlights the vulnerability of the dead, and makes connections to a historical oeuvre, to add critical value to similar concepts in history that are overlooked by most philosophers. There is a long historical view of case studies that illustrate the conceptual character of posthumous punishment; that is, dissection and gibbetting of the criminal corpse after the Murder Act (1752), and those shot at dawn during the First World War. A long historical view is also taken of posthumous harm; that is, body-snatching in the late Georgian period, and organ-snatching at Alder Hey in the 1990s.
    Keywords: death ; posthumous harm ; punishment ; redemption ; history ; philosophy ; Autopsy ; Body snatching ; Cadaver ; Capital punishment ; Epicurus ; Organ (anatomy) ; Redfern ; New South Wales ; Social death ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-01
    Description: transdisziplinäre Forschung; transformative Forschung; partizipative Forschung; Reallabore; Realexperimente; Methodologie; Methodik; Methodensammlung; Co-Design und Co-Produktion; Partizipation; Nachhaltigkeitsforschung; Transdisziplinarität; Wissensproduktion; Wissensintegration; Praxisakteure
    Keywords: transdisziplinäre Forschung ; transformative Forschung ; partizipative Forschung ; Reallabore ; Realexperimente ; Methodologie ; Methodik ; Methodensammlung ; Co-Design und Co-Produktion ; Partizipation ; Nachhaltigkeitsforschung ; Transdisziplinarität ; Wissensproduktion ; Wissensintegration ; Praxisakteure ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::N History and Archaeology::NH History
    Language: German
    Format: image/jpeg
    Format: image/jpeg
    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-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 ...
  • 99
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...