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
  • Springer Nature  (2,755)
  • English  (2,755)
  • 2020-2024  (2,755)
Collection
Keywords
Language
Years
  • 2020-2024  (2,755)
Year
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-05-13
    Description: This open access book tells stories of conviviality, solidarity, and everyday management of conflicts and tensions, by building on original, long-term ethnographic research (fourteen months in 2009-2010, followed by fieldwork trips until now) on Burgaz, an island home to more than twenty ethnic and religious groups from different socio-economic backgrounds. The island provides an excellent case study of post-Ottoman conviviality, as the homogenisation process during the nation-building stage of modern Turkey triggered migrations from the island, especially of non-Muslims, yet the island’s population retains elements of its Byzantine and Ottoman diversity. The book explores the islanders’ representation of diversity through ethnographic research, media analysis and interviews, and shifts the analytical framework of Post-Ottoman plurality from “coexistence/toleration” to that of conviviality. The author critically engages with the literature on multiculturalism and cosmopolitanism andconceptualises conviviality as both living together in diversity as shared ways of living as well as living with difference. The book further explores the relationship between conviviality, solidarity, coexistence/toleration, intoleration and nationalism. This is an open access book.
    Keywords: conviviality ; coexistence ; multiculturalism ; diversity ; solidarity ; Turkey ; social tension ; kinship ; identity ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHM Anthropology::JHMC Social and cultural anthropology ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBA Social theory ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSL Ethnic studies::JBSL1 Ethnic groups and multicultural studies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2024-05-13
    Description: Communication Studies; Sustainable Development; Communications Engineering, Networks; Computer Systems Organization and Communication Networks
    Keywords: Communication Studies ; Sustainable Development ; Communications Engineering, Networks ; Computer Systems Organization and Communication Networks ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSV Zoology and animal 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 ...
  • 3
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-05-13
    Description: This is an open access book. It gathers the proceedings of the 18th Global Conference on Sustainable Manufacturing, held on October 5-7, 2022, as a hybrid event, in/from Berlin, Germany. With a focus on manufacturing advances and practices driving the circular economy, the chapters selected for this book report on sustainable manufacturing technologies for the mobility, energy and construction sector, and for machines and equipments, covering applications of artificial intelligence and industry 4.0. Moreover, they discuss energy-efficient process, waste reuse, and CO2 neutral production, giving a special emphasis to developing sustainable manufacturing in emerging countries. This book offers extensive and timely information for both researchers and professionals in the field of manufacturing and business development.
    Keywords: AI in Sustainable Manufacturing ; Sustainable Reconfigurable Manufacturing Systems ; Sustainable Supply Chain ; CO2 Neutral Production ; Maintenance of Manufacturing Machines ; Energy-Efficient Process ; Remanufacturing ; Product Re-design ; Product-Service Systems ; Waste Reduction in Manufacturing ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBD Technical design ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNH Waste management
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-05-13
    Description: Economists have long sought to maximise economic growth, believing this to be their best contribution to improving human welfare. That approach is not sustainable in the face of ongoing issues such as global climate change, environmental damage, rising inequality and enduring poverty. Alternatives must be found. This open access book addresses that challenge. It sets out a wellbeing economics framework that directly addresses fundamental issues affecting wellbeing outcomes. Drawing inspiration from the capabilities approach of Nobel Prize winner Amartya Sen, the book demonstrates how persons can enhance prosperity through their own actions and through collaboration with others. The book examines national public policy, but its analysis also focuses on choices made by individuals, households, families, civil society, local government and the global community. It therefore offers important insights for anyone concerned with improving personal wellbeing and community prosperity.
    Keywords: Economics ; Management science ; Welfare economics ; Public policy ; Political science ; Economic policy ; Economic growth ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCA Economic theory and philosophy ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCG Economic growth ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy
    Language: English
    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-05-13
    Description: dentistry; oral and maxillofacial surgery; regenerative medicine; tissue engineering
    Keywords: dentistry ; oral and maxillofacial surgery ; regenerative medicine ; tissue engineering ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBD Medical profession
    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 ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-05-13
    Description: This open access book constitutes the refereed proceedings of the First International Conference on VR Technologies in Cultural Heritage, VRTCH 2018, held in Brasov, Romania in May 2018. The 13 revised full papers along with the 5 short papers presented were carefully reviewed and selected from 21 submissions. The papers of this volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors and actuators, data management, restoration and digitization, cultural tourism.
    Keywords: Computer science ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-05-13
    Description: This open access book explores the multifaceted interplay of technology, knowledge, and place. While digital technology is increasingly influencing our way of knowing, conversely it is itself the consequence of human creativity and local social interaction. Part I analyzes how digital technologies transform markets through artificial intelligence and decentralized blockchain models. Its contributions discuss novel governance mechanisms, including the responsible use and analysis of big data. Part II illustrates various ways in which technology supports humanity, be it algorithms supporting complex decision-making processes or the use of robotics in care services. The chapters highlight that technology's efficiency and potential rely on social norms and human capital. Finally, Part III shows that digitization is generating vibrant entrepreneurship, reflected in geographically clustered urban scale-up economies, as well as opening up new ways for people to connect with one another, organize civic engagement and enable new forms of labor. The book offers theoretical reflections as well as empirical cases from the United States, Canada, Japan, South Africa, and Europe. This volume provides a valuable read for scholars, students and professionals in the fields of knowledge creation, technology and governance.
    Keywords: human-machine interaction ; digital activism ; social networks ; scale-up economies ; digital technology ; economic geography ; artificial intelligence ; digital markets ; digital governance ; Use of robotics ; human geography ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-05-13
    Description: This Open Access book provides eight problem solving lectures for sustainable development for people, peace, and partnerships. Those are three of the five keywords for the Sustainable Development Goals (SDGs): people, the planet, prosperity, peace, and partnerships or “the 5Ps”. Each of these lectures is classified into one of the keywords for SDGs and based on the history of social thought, human development, law, education, sociology, and peace studies. Further, each lecture delineates the essence of each discipline when it is practically applied to development studies. This book, Sustainable Development Disciplines for Humanity, along with its sister volume related to the planet and prosperity, Society, will be useful in studying development. Interdisciplinary research is necessary to achieve the SDGs advocated by the United Nations. Hence, it is essential to learn the basics of individual disciplines, as they each offer ample knowledge fostering problem solving through the accumulation of existing research. This and its sister volume are the first comprehensive textbooks summarizing the essence of each necessary discipline to approach development studies from an interdisciplinary perspective. In developing countries, this book will provide access to development research for readers aiming to further develop their own nations. Moreover, in developed countries, the book will provide access to problem-solving research for readers seeking holistic solutions to complex social problems.
    Keywords: Development Studies ; Sustainable Development Goals (SDGs) ; Social Welfare ; Human Rights ; Development education ; Sociological approach to development ; Public Private Partnership (PPP) ; Peace Studies ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPA Political science and theory ; thema EDItEUR::N History and Archaeology::NH History::NHF Asian history ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-05-12
    Description: This open access book explores the role of continuity in political processes and practices during the Age of Revolutions. It argues that the changes that took place in the years around 1800 were enabled by different types of continuities across Europe and in the Americas. With historians of modernity tending to emphasise the rise of the new, scholarship has leaned towards an assumption that existing modes of action, thought and practice simply became extinct, irrelevant or at least subordinate to new modes. In contrast, this collection examines continuities between early modern and modern political cultures and organization in Europe and the Americas. Shifting the focus from political modernization, the authors examine the continued relevance of older, often local, practices in (post)revolutionary politics. By doing so, they aim to highlight the role of local political traditions and practices in forging and enabling political change. The book argues that while political change was in fact at the centre of both the old and new polities that emerged in the Age of Revolutions, it coexisted with, and was indeed enabled by, continuities at other levels.
    Keywords: Political culture ; Political processes ; Age of Revolutions ; Early modern ; Modern Europe ; Modernity ; Local politics ; Political tradition ; Political change ; Transition ; Political activism ; Citizenship ; Continuity ; Revolutionary Era ; Europe and the Americas ; American 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 ; 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
    Language: English
    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-05-12
    Description: This open access book is a novel contribution in two ways: It is a multi-disciplinary examination of the indigenous South Saami people in Fennoscandia, a social and cultural group that often is overlooked as it is a minority within the Saami minority. Based on both historical material such as archaeological evidence, 20th century newspapers, and postcard motives as well as current sources such as ongoing land-right trials and recent works of historiography, the articles highlight the culture and living conditions of this indigenous group, mapping the negotiations of different identities through the interaction of Saami and non-Saami people through the ages. By illuminating this under-researched field, the volume also enriches the more general debate on global indigenous history, and sheds light on the construction of a Scandinavian identity and the limits of the welfare state and the myth of heterogeneity and equality.
    Keywords: Linguistics ; Scandinavian languages ; Linguistic anthropology ; Language policy ; Archaeology ; thema EDItEUR::C Language and Linguistics::CB Language: reference and general ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFB Sociolinguistics ; thema EDItEUR::N History and Archaeology::NK Archaeology ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSL Ethnic studies
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Publication Date: 2024-05-12
    Description: marine; freshwater; offshore engineering; water policy; governance
    Keywords: marine ; freshwater ; offshore engineering ; water policy ; governance ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-05-12
    Description: This open access book surveys the development of OCAC technology in the last decade for solid fuel conversion in fluidized beds. The scientific concerns, including combustion and emission characteristics, ash-related problems, OC aging, and so on, are summarized and analyzed. Beyond this, new concepts like OCAC with Oxy-PFBC, OCAC coupled with staged fuel conversion, OCAC in rotatory kilns and multi-functional OCAC are proposed, so as to promote the applications of OCAC to various fields in the future. Moreover, this book also outlines the perspectives for future research and development of OCAC. As an emerging technology, extensive studies and investigations are still necessary to fill in the gap from the fundamental understanding of the technology to its industrial demonstrations. Nevertheless, we believe that this book provides novel insights for the readership of energy and combustion and stimulate meaningful follow-on research on OCAC technology.
    Keywords: Oxygen-Carrier-Aided Combustion ; Fluidized Bed Combustion ; Solid Fuel ; Oxygen Buffer ; Clean and Efficient Combustion ; High-volatil e Fuel ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THV Alternative and renewable energy sources and technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science::TGMB Engineering thermodynamics
    Language: English
    Format: image/jpeg
    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-05-12
    Description: This book brings together leading scholars and practitioners from around the globe to examine the current roles of and future trends in local government structures and mechanisms in 16 different federal and federal-type countries. In doing so, this volume explores pressing topics such as the institutions of local government, constitutional recognition, financial management, intergovernmental relations, political culture, and the impact of the COVID-19 pandemic on the role of local government in federal systems. Contributors to this volume provide a timely and comprehensive account of the integral role local governments play in federal countries and offer fascinating perspectives on how these roles may change as individual federal systems evolve. These individual analyses are contextualized in a comparative perspective in order to gain a holistic understanding of the challenges and opportunities of various local government dynamics in different regions around the world. This is an open access book.
    Keywords: Local governance ; Federalism ; multilevel governance ; comparative ; decentralization ; local government ; countries ; constitutions ; municipalities ; financial management ; intergovernmental relations ; metropolitan areas ; Argentina ; Australia ; Austria ; Brazil ; Canada ; Germany ; India ; Mexico ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPB Comparative politics ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy ; thema EDItEUR::K Economics, Finance, Business and Management::KF Finance and accounting::KFF Finance and the finance industry::KFFD Public finance and taxation
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Publication Date: 2024-05-12
    Description: experimental manipulations of deliberative engagement; nanotechnology public policy issues; education-oriented communications; experimental social science; science, technology and society; innovation policy; cognitive-affective engagement; polarization of public attitudes
    Keywords: experimental manipulations of deliberative engagement ; nanotechnology public policy issues ; education-oriented communications ; experimental social science ; science, technology and society ; innovation policy ; cognitive-affective engagement ; polarization of public attitudes ; thema EDItEUR::A The Arts::AT Performing arts::ATF Films, cinema ; thema EDItEUR::A The Arts::AT Performing arts::ATJ Television
    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
    Publication Date: 2024-05-11
    Description: energy transition; energy policy; China; hydrocarbon strategy; low carbon
    Keywords: energy transition ; energy policy ; China ; hydrocarbon strategy ; low carbon ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics
    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 ...
  • 16
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-05-11
    Description: This open access book provides in-depth insights into participatory research and planning by presenting practical examples of its use. In particular, it describes theoretical and methodological aspects of participatory research and planning, as well as the implementation of participatory processes in fields such as transport planning, cultural heritage management, environmental planning and post-earthquake recovery. Further, it compares participatory planning experiences from different territorial levels – from the macro-regional, e.g. Southeastern Europe, Mediterranean or European metropolitan regions, to national, regional and local levels. The book will help researchers, planners, public administration officials, decision-makers and the general public to understand the advantages, disadvantages and constraints of participatory planning and research. Using various examples, it will guide readers through the theory of participatory planning and research, its methods, and different perspectives on how to use it in practice.
    Keywords: Geography ; Urban geography ; Human geography ; Economic development ; Sociology, Urban ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RP Regional and area planning::RPC Urban and municipal planning and policy
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Publication Date: 2024-05-11
    Description: Mathematics Education; Learning & Instruction
    Keywords: Mathematics Education ; Learning & Instruction ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::P Mathematics and Science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-05-09
    Description: Conviviality has lately become a catchword not only in academia but also among political activists. This open access book discusses conviviality in relation to the adjoining concepts cosmopolitanism and creolisation. The urgency of today’s global predicament is not only an argument for the revival of all three concepts, but also a reason to bring them into dialogue. Ivan Illich envisioned a post-industrial convivial society of ‘autonomous individuals and primary groups’ (Illich 1973), which resembles present-day manifestations of ‘convivialism’. Paul Gilroy refashioned conviviality as a substitute for cosmopolitanism, denoting an ability to be ‘at ease’ in contexts of diversity (Gilroy 2004). Rather than replacing one concept with the other, the fourteen contributors to this book seek to explore the interconnections – commonalities and differences – between them, suggesting that creolisation is a necessary complement to the already-intertwined concepts of conviviality and cosmopolitanism. Although this volume takes northern Europe as its focus, the contributors take care to put each situation in historical and global contexts in the interests of moving beyond the binary thinking that prevails in terms of methodologies, analytical concepts, and political implementations.
    Keywords: Social sciences ; Ethnology ; Ethnography ; Ethnology ; Political sociology ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHM Anthropology::JHMC Social and cultural anthropology
    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
    Publication Date: 2024-05-09
    Description: This open access book is about public open spaces, about people, and about the relationship between them and the role of technology in this relationship. It is about different approaches, methods, empirical studies, and concerns about a phenomenon that is increasingly being in the centre of sciences and strategies – the penetration of digital technologies in the urban space. As the main outcome of the CyberParks Project, this book aims at fostering the understanding about the current and future interactions of the nexus people, public spaces and technology. It addresses a wide range of challenges and multidisciplinary perspectives on emerging phenomena related to the penetration of technology in people’s lifestyles - affecting therefore the whole society, and with this, the production and use of public spaces. Cyberparks coined the term cyberpark to describe the mediated public space, that emerging type of urban spaces where nature and cybertechnologies blend together to generate hybrid experiences and enhance quality of life.
    Keywords: Computer science ; User interfaces (Computer systems) ; Coding theory ; Information theory ; Special purpose computers ; Computer communication systems ; Application software ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPJ Coding theory and cryptology ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-05-09
    Description: The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.
    Keywords: TACAS ; formal verification ; software systems ; hardware systems ; static analysis ; probabilistic programming ; program synthesis ; concurrency ; testing ; simulations ; verification of machine ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-05-09
    Description: This Open Access book uses the concept of ‘euphoria’ to investigate when, why and how marginal gender, sex and sexuality groups have positive experiences of their diverse variations even within repressive and disordering contexts. Drawing on data from multiple online surveys including a study of 2,407 LGBTQ+ people and a study of 272 people with intersex variations, it names and offers a new ecological framework for understanding participants’ influences on and barriers to euphorias, asserting the subversive possibilities of being euphorically queer, as opposed to euphoric and queer. The author argues that it is the particularities of negative internal, socio-cultural and institutional contexts for a marginal group or groups that contributes towards the possibilities that shape their potential euphoric feelings and experiences. Ultimately, she calls for a more expansive focus in gender and sexuality studies to show the complex effects of dysphoria and repression on the possibilities of pleasure and joy. This book will be of interest to scholars across Gender, Sexuality and Queer Studies.
    Keywords: gender diverse ; LGBTQ ; body positivity ; heteronormative ; transgender ; gender identity ; critical empowerment ; intersex ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSF Gender studies, gender groups ; thema EDItEUR::A The Arts::AT Performing arts::ATF Films, cinema::ATFN Film: styles and genres ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-16
    Description: This book explores how the notion of the responsible university manifests itself at various levels within Nordic higher education. As the impetus of the knowledge society has catapulted the higher education sector to the forefront of policy agendas, universities and other types of higher education institutions face increasing scrutiny, assessment and accountability. This book examines this phenomenon using the Nordic countries as cases in point, given the strong public commitment towards widening participation and public research investments. The editors and contributors analyse the history and current transformations of the idea of the responsible university, investigate new innovations in the educational landscape and look into how universities have begun to organise themselves to become more responsible. Drawing together scholars from the humanities and the social sciences, this interdisciplinary collection will be of interest and value to students and scholars of the role and nature of the modern university, in addition to practitioners and policy makers tasked with finding solutions to address the competing and often contradictory demands posed by a responsibility agenda.
    Keywords: Education ; Higher education ; Philosophy and social sciences ; Education—Philosophy ; Educational policy ; Education and state ; School management and organization ; School administration ; thema EDItEUR::J Society and Social Sciences::JN Education::JNA Philosophy and theory of education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; thema EDItEUR::J Society and Social Sciences::JN Education::JNK Educational administration and organization ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education
    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
    Publication Date: 2024-04-16
    Description: The objective of this book is to help at-risk organizations to decipher the “safety cloud”, and to position themselves in terms of operational decisions and improvement strategies in safety, considering the path already travelled, their context, objectives and constraints. What link can be established between safety culture and safety models in order to increase safety within companies carrying out dangerous activities? First, while the term “safety culture” is widely shared among the academic and industrial world, it leads to various interpretations and therefore different positioning when it comes to assess, improve or change it. Many safety theories, concepts, and models coexist today, being more or less appealing and/or directly useful to the industry. How, and based on which criteria, to choose from the available options? These are some of the questions addressed in this book, which benefits from the expertise of its worldwide famous authors in several industrial sectors.
    Keywords: Engineering ; Quality control ; Reliability ; Industrial safety ; Economic sociology ; Industrial psychology ; Industrial organization ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBL Sociology: work and labour ; thema EDItEUR::J Society and Social Sciences::JM Psychology::JMJ Occupational and industrial psychology ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCD Economics of industrial organization ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering::TGPR Reliability engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-16
    Description: This open access book presents deep investigation to the manifold topics pertaining to global university collaboration. It outlines the strategies King Abdulaziz University has employed to rise in global rankings, and the reasons chosen to collaborate with other academic and research institutes. The environment in which universities currently exist is considered, and subsequently how an innovative culture might be established and maintained to enable global partnerships to be implemented and to succeed is discussed. The book provides an intense focus on why collaboration is a necessary ingredient for knowledge transfer and explains how to do it. The last part of the book considers how to sustain partnerships. This is because one of the challenges of global partnerships is not just setting them up, but also sustaining them.
    Keywords: Education ; Higher education ; International education  ; Comparative education ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-16
    Description: This open access book is based on "Spationomy – Spatial Exploration of Economic Data", an interdisciplinary and international project in the frame of ERASMUS+ funded by the European Union. The project aims to exchange interdisciplinary knowledge in the fields of economics and geomatics. For the newly introduced courses, interdisciplinary learning materials have been developed by a team of lecturers from four different universities in three countries. In a first study block, students were taught methods from the two main research fields. Afterwards, the knowledge gained had to be applied in a project. For this international project, teams were formed, consisting of one student from each university participating in the project. The achieved results were presented in a summer school a few months later. At this event, more methodological knowledge was imparted to prepare students for a final simulation game about spatial and economic decision making. In a broader sense, the chapters will present the methodological background of the project, give case studies and show how visualisation and the simulation game works.
    Keywords: Geography ; Economic geography ; Regional economics ; Spatial economics ; Geographical information systems ; Technology ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography::RGCM Economic geography ; 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 ...
  • 26
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-16
    Description: This open access book investigates an entrepreneurial approach to building new theories. It provides a rich understanding of how specific tools facilitate aspects of the theorizing process and offers a clearer big picture of the process of building important new entrepreneurship theories. The authors show that anthropomorphizing has been a critically important tool for developing influential entrepreneurship theories. They reveal how scholars build on their rich and highly accessible understanding of humans (i.e., the self and others) to make guesses and sense of entrepreneurial anomalies, articulate theoretical mechanisms to build more robust entrepreneurship theories, and create plausible stories that facilitate sensegiving. Further, they offer a framework that guides entrepreneurship scholars in finding a balance to maximize their contributions and guides reviewers and editors in managing the revise-and-resubmit process to advance the entrepreneurship field. Finally, they present lean scholarship as an approach to developing a portfolio of high-quality, high-impact papers. Lean scholarship starts with an entrepreneurial mindset and involves creating a minimum viable paper, exploring its validity, adding a plausible paper to one’s portfolio, and managing the portfolio by periodically deciding whether to persevere, pivot, or terminate each paper. This seminal work will appeal to entrepreneurship researchers, both those new to the field as well as seasoned veterans, who want to learn more about the tools that can be used to generate new knowledge about new ventures and other entrepreneurship topics.
    Keywords: Entrepreneurship ; New Theories ; Empirical Theorizing ; Abduction ; Lean Scholarship ; entrepreneurial orientation ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJH Entrepreneurship / Start-ups ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-16
    Description: This open access book covers comprehensive but fundamental principles and concepts of disaster and accident prevention and mitigation, countermeasures, and recovery from disasters or accidents including treatment and care of the victims. Safety and security problems in our society involve not only engineering but also social, legal, economic, cultural, and psychological issues. The enhancement needed for societal safety includes comprehensive activities of all aspects from precaution to recovery, not only of people but also of governments. In this context, the authors, members of the Faculty of Societal Safety Science, Kansai University, conducted many discussions and concluded that the major strategy is consistent independently of the type and magnitude of disaster or accident, being also the principle of the foundation of our faculty. The topics treated in this book are rather widely distributed but are well organized sequentially to provide a clear understanding of the principles of societal safety. In the first part the fundamental concepts of safety are discussed. The second part deals with risks in the societal and natural environment. Then follows, in the third part, a description of the quantitative estimation of risk and its assessment and management. The fourth part is devoted to disaster prevention, mitigation, and recovery systems. The final, fifth part presents a future perspective of societal safety science. Thorough reading of this introductory volume of societal safety science provides a clear image of the issues. This is largely because the Japanese have suffered often from natural disasters and not only have gained much valuable information about disasters but also have accumulated a store of experience. We are still in the process of reconstruction from the Great East Japan earthquake and the Fukushima nuclear power plant accident. This book is especially valuable therefore in studying the safety and security of people and their societies.
    Keywords: Social sciences ; Sociology, Urban ; Quality control ; Reliability ; Industrial safety ; Fire prevention ; Terrorism ; Environmental policy ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JK Social services and welfare, criminology::JKV Crime and criminology ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering::TGPR Reliability engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials::TNKF Fire protection and safety
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Publication Date: 2024-04-16
    Description: Attention Economics; Conspiracy Theory; Philosophy; Democracy; Information; Digital Authority; Digitial Slavery; Donald Trump; Information Age; Misinformation; Politics; Populism; Social Media
    Keywords: Attention Economics ; Conspiracy Theory ; Philosophy ; Democracy ; Information ; Digital Authority ; Digitial Slavery ; Donald Trump ; Information Age ; Misinformation ; Politics ; Populism ; Social Media ; thema EDItEUR::A The Arts::AT Performing arts::ATF Films, cinema ; thema EDItEUR::A The Arts::AT Performing arts::ATJ Television
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-16
    Description: This open access book analyzes and seeks to consolidate the use of robust quantitative tools and qualitative methods for the design and assessment of energy and climate policies. In particular, it examines energy and climate policy performance and associated risks, as well as public acceptance and portfolio analysis in climate policy, and presents methods for evaluating the costs and benefits of flexible policy implementation as well as new framings for business and market actors. In turn, it discusses the development of alternative policy pathways and the identification of optimal switching points, drawing on concrete examples to do so. Lastly, it discusses climate change mitigation policies’ implications for the agricultural, food, building, transportation, service and manufacturing sectors. ; Open Access Presents a comprehensive tool set of methods for devising energy and climate policies Focuses on methods that are robust and adaptive enough to mitigate risks Investigates implications of climate change mitigation policies to various sectors
    Keywords: Economics ; Management science ; Environmental economics ; Operations research ; Decision making ; Climate change ; Energy policy ; Energy and state ; Public policy ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; 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::KJ Business and Management::KJT Operational research ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RND Environmental policy and protocols ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-16
    Description: This open access book presents an ethical approach to utilizing personal medical data. It features essays that combine academic argument with practical application of ethical principles. The contributors are experts in ethics and law. They address the challenges in the re-use of medical data of the deceased on a voluntary basis. This pioneering study looks at the many factors involved when individuals and organizations wish to share information for research, policy-making, and humanitarian purposes. Today, it is easy to donate blood or even organs, but it is virtually impossible to donate one’s own medical data. This is seen as ethically unacceptable. Yet, data donation can greatly benefit the welfare of our societies. This collection provides timely interdisciplinary research on biomedical big data. Topics include the ethics of data donation, the legal and regulatory challenges, and the current and future collaborations. Readers will learn about the ethical and regulatory challenges associated with medical data donations. They will also better understand the special nature of using deceased data for research purposes with regard to ethical principles of autonomy, beneficence, and justice. In addition, the contributors identify the key governance issues of such a scheme. The essays also look at what we can learn in terms of best practice from existing medical data schemes.
    Keywords: Medicine ; Medical policy ; Social policy ; Philosophy ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBP Health systems and services
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-16
    Description: This open access book provides a topical overview of the key sustainability issues in Qatar, focusing on environmental sustainability from a socio-political perspective. The transition to a sustainable Qatar requires engagement with diverse areas of social-political, human, and environmental development. On the environmental aspects, the contributors address climate change, food security, water reuse and desalination, energy, and biodiversity. The socio-political section examines state strategy and regulation, the place of environmental law and geopolitics and sustainability innovators and catalysts. The human section considers economics, sustainability education, the knowledge economy, and waste management. In doing so, the book demarcates the ways in which the country encounters and grapples with significant challenges and delves into the range of options for future pathways to sustainability in Qatar. Relevant to policymakers and scholars in energy and environment, urban and developmental studies, as well as the arenas of politics, climate change and policy, this book is a landmark collection on environmental policy in the Gulf and beyond. ; This volume provides a topical overview of the key sustainability issues in Qatar, focusing on environmental sustainability from a socio-political perspective. The transition to a sustainable Qatar weaves together pillars of social-political, human, and environmental development, and so this book tackles each aspect accordingly. In the environmental section, the contributors address climate change, food security, water reuse and desalination, energy, air quality and biodiversity. The socio-political section examines state strategy and regulation, the place of environmental law and geopolitics, and sustainability innovators and catalysts. The human section considers demographic trends and models, economics – including the circular economy and green finance – transport, the built environment, and waste management. In doing so, the volume demarcates the ways in which the country encounters and grapples with significant challenges, and delves into the range of options for future pathways to sustainability in Qatar. Relevant to policymakers and scholars in energy and environment, urban, and developmental studies, as well as the arenas of politics, climate change, and policy, this book is a landmark collection on environmental policy in the Gulf, and beyond.
    Keywords: Sustainability ; Qatar ; Middle East ; Gulf Studies ; Food Security ; Water Security ; Energy ; Development ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::J Society and Social Sciences::JP Politics and government
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-16
    Description: This open access book focuses on the concepts, tools and techniques needed to successfully model ever-changing time-series data. It emphasizes the need for general models to account for the complexities of the modern world and how these can be applied to a range of issues facing Earth, from modelling volcanic eruptions, carbon dioxide emissions and global temperatures, to modelling unemployment rates, wage inflation and population growth. Except where otherwise noted, this book is licensed under a Creative Commons Attribution 4.0 International License. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0.
    Keywords: Economics ; Management science ; Econometrics ; Environmental economics ; Economic history ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCH Econometrics and economic statistics ; 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
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-16
    Description: This open access book is about Mozambicans and Angolans who migrated in state-sponsored schemes to East Germany in the late 1970s and throughout the 1980s. They went to work and to be trained as a vanguard labor force for the intended African industrial revolutions. While they were there, they contributed their labor power to the East German economy. This book draws on more than 260 life history interviews and uncovers complex and contradictory experiences and transnational encounters. What emerges is a series of dualities that exist side by side in the memories of the former migrants: the state and the individual, work and consumption, integration and exclusion, loss and gain, and the past in the past and the past in the present and future. By uncovering these dualities, the book explores the lives of African migrants moving between the Third and Second worlds. Devoted to the memories of worker-trainees, this transnational study comes at a time when historians are uncovering the many varied, complicated, and important connections within the global socialist world.
    Keywords: Third World ; Second World ; East Germany ; Angola ; Mozambique ; Socialism ; Labor Migration ; thema EDItEUR::N History and Archaeology::NH History::NHB General and world history ; thema EDItEUR::N History and Archaeology::NH History::NHH African history ; thema EDItEUR::N History and Archaeology::NH History::NHD European history ; thema EDItEUR::N History and Archaeology::NH History::NHT History: specific events and topics::NHTB Social and cultural history ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBF Social and ethical issues::JBFH Migration, immigration and emigration ; thema EDItEUR::5 Interest qualifiers::5P Relating to specific groups and cultures or social and cultural interests::5PB Relating to peoples: ethnic groups, indigenous peoples, cultures and other groupings of people::5PBC Relating to migrant groups / diaspora communities or peoples
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-16
    Description: This open access book outlines key terms of China’s school leadership in Chinese political and legal, financial, administrative, and cultural contexts. It reveals and interprets the real meaning of these practical terms based on existing laws, government documents, school policy texts as well as the latest empirical findings from school leaders and teachers’ surveys and interviews in China. Providing a holistic picture of China’s school leadership through the unique meanings of these terms, the book offers researchers and graduate students insights into school leadership practice and its context in China. Thus, it would likely intensify readers’ knowledge base to analyse and interpret the phenomenon and research data regarding China’s school leadership. ; Outlines key terms reflecting the characteristics and uniqueness of China’s school leadership Provides readers with a holistic picture of China’s school leadership by understanding the real meaning of the terms Offers insights into school leadership context of China to researchers and graduate students in this field Enriches the knowledge base to analyse and interpret the phenomenon or research data regarding China's school leadership Open Access
    Keywords: Education ; School management and organization ; School administration ; Educational policy ; Education and state ; Schools ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; thema EDItEUR::J Society and Social Sciences::JN Education::JNK Educational administration and organization ; thema EDItEUR::J Society and Social Sciences::JN Education::JNL Schools and pre-schools
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-15
    Description: This open access book was prepared as a Final Publication of the COST Action IC1303 “Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)”. The concept of Enhanced Living Environments (ELE) refers to the area of Ambient Assisted Living (AAL) that is more related with Information and Communication Technologies (ICT). Effective ELE solutions require appropriate ICT algorithms, architectures, platforms, and systems, having in view the advance of science and technology in this area and the development of new and innovative solutions that can provide improvements in the quality of life for people in their homes and can reduce the financial burden on the budgets of the healthcare providers. The aim of this book is to become a state-of-the-art reference, discussing progress made, as well as prompting future directions on theories, practices, standards, and strategies related to the ELE area. The book contains 12 chapters and can serve as a valuable reference for undergraduate students, post-graduate students, educators, faculty members, researchers, engineers, medical doctors, healthcare organizations, insurance companies, and research strategists working in this area.
    Keywords: Computer science ; Computer organization ; User interfaces (Computer systems) ; Application software ; Artificial intelligence ; Optical data processing ; Application software ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-15
    Description: This open access edited volume investigates children and youth's deep entanglement in today's major global, national, and local transformations and processes: wherein they are not mere spectators and objects of transformations but instead actively shape them through various social, economic, and political representations. International contributions illuminate the problems that arise when children's rights and participation become a site of contestation and power over who represents whom, what, when, and where. The authors do not provide simple solutions, instead offering an understanding of the fundamental nature of these problems as founded in the application of rights and the nature of representation in modern society. Together, the authors emphasize that child representation must take into account the local and spatial context of how representations of children are discussed, as well as possible discrepancies between local, regional, national, and global processes.
    Keywords: Children's Rights ; Children's Representation ; Youth Representation ; Participation ; Youth Participation ; Children's Voice ; Youth Justice ; Representation ; Childhood experience ; Transformation ; Self-representation ; Youth activism ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBK Sociology: family and relationships ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPA Political science and theory ; thema EDItEUR::J Society and Social Sciences::JK Social services and welfare, criminology::JKV Crime and criminology::JKVQ Offenders::JKVQ2 Juvenile offenders
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    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 ...
  • 38
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes revised selected papers from the International Workshops held at the 4th International Conference on Process Mining, ICPM 2022, which took place in Bozen-Bolzano, Italy, during October 23–28, 2022. The conference focuses on the area of process mining research and practice, including theory, algorithmic challenges, and applications. The co-located workshops provided a forum for novel research ideas. The 42 papers included in this volume were carefully reviewed and selected from 89 submissions. They stem from the following workshops: – 3rd International Workshop on Event Data and Behavioral Analytics (EDBA) – 3rd International Workshop on Leveraging Machine Learning in Process Mining (ML4PM) – 3rd International Workshop on Responsible Process Mining (RPM) (previously known as Trust, Privacy and Security Aspects in Process Analytics) – 5th International Workshop on Process-Oriented Data Science for Healthcare (PODS4H) – 3rd International Workshop on Streaming Analytics for Process Mining (SA4PM) – 7th International Workshop on Process Querying, Manipulation, and Intelligence (PQMI) – 1st International Workshop on Education meets Process Mining (EduPM) – 1st International Workshop on Data Quality and Transformation in Process Mining (DQT-PM)
    Keywords: process mining ; process discovery ; process analytics ; process querying ; conformance checking ; predictive process monitoring ; data science ; knowledge graphs ; event data ; streaming analytics ; machine learning ; deep learning ; business process management ; health informatics ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBH Digital and information technologies: Health and safety aspects
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Publication Date: 2024-04-14
    Description: This book is open access under a CC BY 4.0 license This open access book brings together the latest genome base prediction models currently being used by statisticians, breeders and data scientists. It provides an accessible way to understand the theory behind each statistical learning tool, the required pre-processing, the basics of model building, how to train statistical learning methods, the basic R scripts needed to implement each statistical learning tool, and the output of each tool. To do so, for each tool the book provides background theory, some elements of the R statistical software for its implementation, the conceptual underpinnings, and at least two illustrative examples with data from real-world genomic selection experiments. Lastly, worked-out examples help readers check their own comprehension. The book will greatly appeal to readers in plant (and animal) breeding, geneticists and statisticians, as it provides in a very accessible way the necessary theory, the appropriate R code, and illustrative examples for a complete understanding of each statistical learning tool. In addition, it weighs the advantages and disadvantages of each tool.
    Keywords: open access ; Statistical learning ; Bayesian regression ; Deep learning ; Non linear regression ; Plant breeding ; Crop management ; multi-trait multi-environments models ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; 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::PSV Zoology and animal sciences ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Create mods using the popular game Farming Simulator with Lua, a versatile scripting language that can run on various platforms and applications. This open access book is best suited for programmers who want to learn how to use Lua to write scripts that can enhance and extend the gameplay experience. You'll start by reviewing the basics of programming in Lua and then move on to advanced topics, such as object-oriented programming, vehicle and placeable specializations, network synchronization, and creating custom user interfaces. With step-by-step instructions and detailed explanations, you'll see how to create scripts that modify game mechanics and add new features to the game. The practical examples and projects are ideal for providing hands-on experience with Lua scripting. Whether you are a creator looking to take your skills to the next level or a game developer interested in learning a new programming language, Scripting Farming Simulator with Lua is the ultimate guide to mastering Lua scripting. What You'll Learn Understand the fundamentals of programming in LUA Implement a basic “Hello-World” mod Add a new graphical user interface to your mod Use hook scripts to extend base game features Publish your mod on the official Farming Simulator ModHub Who This Book Is For Creators who want to add new features to Farming Simulator; game developers who want to learn a new programming language for modding purposes, and anyone who wants to expand their knowledge of programming and scripting.
    Keywords: Modding ; Lua ; Farming Simulator ; Scripting ; GIANTS Editor ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMK Games development and programming
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    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 ...
  • 42
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This is an open access book. Statistical machine learning (ML) has triggered a renaissance of artificial intelligence (AI). While the most successful ML models, including Deep Neural Networks (DNN), have developed better predictivity, they have become increasingly complex, at the expense of human interpretability (correlation vs. causality). The field of explainable AI (xAI) has emerged with the goal of creating tools and models that are both predictive and interpretable and understandable for humans. Explainable AI is receiving huge interest in the machine learning and AI research communities, across academia, industry, and government, and there is now an excellent opportunity to push towards successful explainable AI applications. This volume will help the research community to accelerate this process, to promote a more systematic use of explainable AI to improve models in diverse applications, and ultimately to better understand how current explainable AI methods need to be improved and what kind of theory of explainable AI is needed. After overviews of current methods and challenges, the editors include chapters that describe new developments in explainable AI. The contributions are from leading researchers in the field, drawn from both academia and industry, and many of the chapters take a clear interdisciplinary approach to problem-solving. The concepts discussed include explainability, causability, and AI interfaces with humans, and the applications include image processing, natural language, law, fairness, and climate science.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Publication Date: 2024-04-14
    Description: This open access book provides a comprehensive treatment of recent developments in kernel-based identification that are of interest to anyone engaged in learning dynamic systems from data. The reader is led step by step into understanding of a novel paradigm that leverages the power of machine learning without losing sight of the system-theoretical principles of black-box identification. The authors’ reformulation of the identification problem in the light of regularization theory not only offers new insight on classical questions, but paves the way to new and powerful algorithms for a variety of linear and nonlinear problems. Regression methods such as regularization networks and support vector machines are the basis of techniques that extend the function-estimation problem to the estimation of dynamic models. Many examples, also from real-world applications, illustrate the comparative advantages of the new nonparametric approach with respect to classic parametric prediction error methods. The challenges it addresses lie at the intersection of several disciplines so Regularized System Identification will be of interest to a variety of researchers and practitioners in the areas of control systems, machine learning, statistics, and data science. This is an open access book.
    Keywords: System Identification ; Machine Learning ; Linear Dynamical Systems ; Nonlinear Dynamical Systems ; Kernel-based Regularization ; Bayesian Interpretation of Regularization ; Gaussian Processes ; Reproducing Kernel Hilbert Spaces ; Estimation Theory ; Support Vector Machines ; Regularization Networks ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering ; thema EDItEUR::P Mathematics and Science::PH Physics::PHS Statistical physics ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics::PBTB Bayesian inference ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory::GPFC Cybernetics and systems theory
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Software Engineering/Programming and Operating Systems ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Software Engineering ; Operating systems ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Mathematical theory of computation ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book presents a number of case studies on digital transformation in Norway, one of the fore-runners in the digital progress index established by the European Commission in 2020. They explore the process of adoption, diffusion and value generation from digital technologies, and how the use of different digital solutions has enabled Norwegian enterprises to digitally transform their operations and business models. The book starts with an introductory chapter summarizing a vast body of literature in order to synthesize what is already known about digital transformation before exploring the Norwegian context in more detail. Then a series of case studies from the private and public sector in Norway is presented. They document a process perspective which describes the sequence of events during and after adoption of digital solutions, as well as the types of business value that were realized. Through these single studies, the process of digital transformation is illustrated, a number of key findings highlighted, and eventually theoretical and practical recommendations based on these cases emphasized. The book closes with a brief overview of some emerging technologies, and comments on how they are likely to change different sectors. Digital transformation has been one of the priority areas for the Norwegian government over the past years and puts Norwegian enterprises upfront in adopting novel technologies and utilizing them for achieving organizational goals. This experience accumulated over the years makes the Norwegian context a particularly interesting one in understanding how private and public organizations make use of new digital solutions, what lessons can be learnt during the process, and what are some of the key success and failure factors. This way the book is written for practitioners who are currently involved in digital transformation projects in their organizations, researchers of information systems and management, as well as master students in degrees of informatics and technology management.
    Keywords: Digital Transformation ; Disruptive Technologies ; Innovation Management ; Digitization ; Digitalization ; Service Science ; Norwegian Industry ; Information Systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book is a practitioner's guide to smart, connected products and solutions. As a hands-on playbook, it combines the business and technical execution perspectives to help product companies, OEMs, manufacturers and equipment operators utilize the full potential of digital enablers, especially Artificial Intelligence (AI), Internet of Things (IoT) and Digital Twins. The Digital Playbook provides comprehensive and actionable guidance, helping to address the challenges of creating sustainable and scalable digital business models, managing cocreation and sourcing, setting up the digital organization, and handling the legal aspects. For the technical execution perspective, the playbook includes the AIoT Framework, which explains how to combine data science and AI engineering with Digital Twins, as well as software development for cloud and edge. The integration with physical product development and retrofit integration of existing equipment is included as well. A pragmatic, agile approach is introduced that takes common agile inhibitors into consideration. A holistic AIoT DevOps approach is described, which combines key elements of DevOps for cloud, edge and AI. Enterprise readiness is ensured by looking at trust and security as well as reliability and resilience for AIoT. A large number of real-world examples and case studies help ensure practical relevance. Readers should have a previous, general understanding of digital strategies and technologies. This book offers readers a clear understanding of the opportunities, as well as the challenges related to building and operating smart, connected products and solutions. They are given a set of tools and blueprints, which they can apply to their practical work in this space. ;
    Keywords: Artificial Intelligence of Things ; Digital OEM ; Product AI ; AIoT DevOps ; Data management ; agile cloud development ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering::TJFM1 Robotics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book presents the proceedings of the 10th Machine Intelligence and Digital Interaction Conference. Artificial intelligence (AI) is rapidly affecting more aspects of our lives as a result of significant advancements in its research and the widespread usage of interactive technologies. This has led to the birth of several new social phenomena. Many nations have been working to comprehend these phenomena and discover solutions for moving artificial intelligence development in the proper direction to benefit individuals and communities at large. These efforts necessitate multidisciplinary approaches, encompassing not only the scientific fields involved in the creation of artificial intelligence and human–computer interaction but also strong collaboration between academics and practitioners. Because of this, the primary objective of the MIDI conference, which was conducted online on December 13–15, 2022, is to combine two up until recently distinct disciplines of research—artificial intelligence and human–technology interaction.
    Keywords: Computational Intelligence ; AI ; MIDI 2022 ; MIDI ; Machine Intelligence ; Digital Interaction ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book deals with cultural and philosophical aspects of artificial intelligence (AI) and pleads for a “digital humanism”. This term is beginning to be en vogue everywhere. Due to a growing discontentment with the way digitalization is being used in the world, particularly formulated by former heroes of Internet, social media and search engine companies, philosophical as well as industrial thought leaders begin to plead for a humane use of digital tools. Yet the term “digital humanism” is a particular terminology that lacks a sound conceptual and philosophical basis and needs clarification still – and this gap is exactly filled by this book. It propagates a vision of society in which digitization is used to strengthen human self-determination, autonomy and dignity and whose time has come to be propagated throughout the world. The advantage of this book is that it is philosophically sound and yet written in a way that will make it accessible for everybody interested in the subject. Every chapters begins with a film scene illustrating a precise philosophical problem with AI and how we look at it – making the book not only readable, but even entertaining. And after having read the book the reader will have a clear vision of what it means to live in a world where digitization and AI are central technologies for a better and more humane civilization.
    Keywords: Digital Humanism ; Philosophy of Computer Science ; Computer Ethics ; Scientific Communication ; Artificial Intelligence ; Computers and Society ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBJ Digital and information technologies: social and ethical aspects ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDA Philosophy of science ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPA Political science and theory ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCT Media studies ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBL Digital and information technologies: Legal aspects
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes papers from the 5 research workshops, the poster presentations, as well as two panel discussions which were presented at XP 2021, the 22nd International Conference on Agile Software Development, which was held online during June 14-18, 2021. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. The 18 papers included in this volume were carefully reviewed and selected from overall 37 submissions. They stem from the following workshops: 3rd International Workshop on Agile Transformation 9th International Workshop on Large-Scale Agile Development 1st International Workshop on Agile Sustainability 4th International Workshop on Software-Intensive Business 2nd International Workshop on Agility with Microservices Programming
    Keywords: open access ; Agile software development ; Extreme programming ; SaaS - Software as a Service ; Software maintenance ; Software platforms ; Software management ; Software development techniques ; Microservices ; XP ; Hackathons ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: This open access book follows the development rules of network technical talents, simultaneously placing its focus on the transfer of network knowledge, the accumulation of network skills, and the improvement of professionalism. Through the complete process from the elaboration of the theories of network technology to the analysis of application scenarios then to the design and implementation of case projects, readers are enabled to accumulate project experience and eventually acquire knowledge and cultivate their ability so as to lay a solid foundation for adapting to their future positions. This book comprises six chapters, which include “General Operation Safety of Network System,” “Cabling Project,” “Hardware Installation of Network System,” “Basic Knowledge of Network System,” “Basic Operation of Network System,” and “Basic Operation and Maintenance of Network System.” This book can be used for teaching and training for the vocational skills certification of network system construction, operation, and maintenance in the pilot work of Huawei’s “1+X” Certification System, and it is also suitable as a textbook for application-oriented universities, vocational colleges, and technical colleges. In the meantime, it can also serve as a reference book for technicians engaged in network technology development, network management and maintenance, and network system integration. As the world’s leading ICT (information and communications technology) infrastructure and intelligent terminal provider, Huawei Technologies Co., Ltd. has covered many fields such as data communication, security, wireless, storage, cloud computing, intelligent computing, and artificial intelligence. Taking Huawei network equipment (routers, switches, wireless controllers, and wireless access points) as the platform, and based on network engineering projects, this book organizes all the contents according to the actual needs of the industry.
    Keywords: Computer networks ; certification ; operation and maintenance ; Huawei ; network system ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    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 ...
  • 52
    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 ...
  • 53
    Publication Date: 2024-04-14
    Description: The goal of this book is simple: We would like to show how mortality dynamics can be visualized in the so-called Lexis diagram. To appeal to as many potential readers as possible, we do not require any specialist knowledge. This approach may be disappointing: Demographers may have liked more information about the mathematical underpinnings of population dynamics on the Lexis surface as demonstrated, for instance, by Arthur and Vaupel in 1984. Statisticians would have probably preferred more information about the underlying smoothing methods that were used. Epidemiologists likewise might miss discussions about the etiology of diseases. Sociologists would have probably expected that our results were more embedded into theoretical frameworks....
    Keywords: data ; lexis diagram ; mortality dynamics ; software ; Breast cancer ; Colorectal cancer ; Creative Commons license ; Human Mortality Database ; Life expectancy ; Lung cancer ; Seasonality ; United States ; thema EDItEUR::U Computing and Information Technology
    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 ...
  • 54
    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 ...
  • 55
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: This open access book presents an overview of recent advances in photonic neural networks with spatiotemporal dynamics. The computing and implementation paradigms presented in this book are outcomes of interdisciplinary studies by collaborative researchers from the three fields of nonlinear mathematical science, information photonics, and integrated systems engineering. This book offers novel multidisciplinary viewpoints on photonic neural networks, illustrating recent advances in three types of computing methodologies: fluorescence energy transfer computing, spatial-photonic spin system, and photonic reservoir computing. The book consists of four parts: Part I introduces the backgrounds of optical computing and neural network dynamics; Part II presents fluorescence energy transfer computing, a novel computing technology based on nanoscale networks of fluorescent particles; Parts III and IV review the models and implementation of spatial-photonic spin systems and photonic reservoir computing, respectively. These contents are beneficial to researchers in a broad range of fields, including information science, mathematical science, applied physics, and engineering, to better understand the novel computing concepts of photonic neural networks with spatiotemporal dynamics.
    Keywords: photonic neural network ; spatiotemporal dynamics ; optical computing ; nonlinear dynamics ; fluorescence energy transfer ; Ising machine ; reservoir computing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWH Mathematical modelling ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWR Nonlinear science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This edited open access volume explores the role of forest bioeconomy in addressing climate change. The authors put a particular focus on planetary boundaries and how the linear, growth-oriented economy, is coupled with climate change and environmental degradation. Biobased products and sustainable production paths have been developed, but how can they be scaled in order to lead to an economic paradigm shift? This and other questions are discussed throughout the volume. Since science indicates that climate change will continue this century, the authors also analyse how forests can be adapted to increasing forest disturbances that changing climate are expected to cause. The authors propose climate-smart forestry as useful approach for climate mitigation and adaptation of forests to climate change, as wells as sustainable increase of economic well-being based on forestry. The book illustrates the application of climate-smart forestry in the Czech Republic, Finland, Germany and Spain, i.e., in EU countries with quite different forests and forest sectors. This proactive and inspiring volume is an essential resource for Forest Management professionals, decision makers, scientists, and forestry students. ;
    Keywords: SDG 15 ; Life on Land ; Forest Bioeconomy ; Economy outlook ; Carbon storage ; Climate-smart forestry ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVR Forestry and silviculture ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNP Pollution and threats to the environment::RNPG Climate change ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book summarizes knowledge about several file systems and file formats commonly used in mobile devices. In addition to the fundamental description of the formats, there are hints about the forensic value of possible artefacts, along with an outline of tools that can decode the relevant data. The book is organized into two distinct parts: Part I describes several different file systems that are commonly used in mobile devices. · APFS is the file system that is used in all modern Apple devices including iPhones, iPads, and even Apple Computers, like the MacBook series. · Ext4 is very common in Android devices and is the successor of the Ext2 and Ext3 file systems that were commonly used on Linux-based computers. · The Flash-Friendly File System (F2FS) is a Linux system designed explicitly for NAND Flash memory, common in removable storage devices and mobile devices, which Samsung Electronics developed in 2012. · The QNX6 file system is present in Smartphones delivered by Blackberry (e.g. devices that are using Blackberry 10) and modern vehicle infotainment systems that use QNX as their operating system. Part II describes five different file formats that are commonly used on mobile devices. · SQLite is nearly omnipresent in mobile devices with an overwhelming majority of all mobile applications storing their data in such databases. · The second leading file format in the mobile world are Property Lists, which are predominantly found on Apple devices. · Java Serialization is a popular technique for storing object states in the Java programming language. Mobile application (app) developers very often resort to this technique to make their application state persistent. · The Realm database format has emerged over recent years as a possible successor to the now ageing SQLite format and has begun to appear as part of some modern applications on mobile devices. · Protocol Buffers provide a format for taking compiled data and serializing it by turning it into bytes represented in decimal values, which is a technique commonly used in mobile devices. The aim of this book is to act as a knowledge base and reference guide for digital forensic practitioners who need knowledge about a specific file system or file format. It is also hoped to provide useful insight and knowledge for students or other aspiring professionals who want to work within the field of digital forensics. The book is written with the assumption that the reader will have some existing knowledge and understanding about computers, mobile devices, file systems and file formats.
    Keywords: Mobile File Systems ; Mobile File Formats ; Data Security ; APFS ; Ext4 ; F2FS ; QNX6 ; SQLite ; Java Serialization ; Realm db ; EU Project FORMOBILE ; Property Lists ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMS Mobile and handheld device programming / Apps programming ; thema EDItEUR::U Computing and Information Technology::UR Computer security
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access textbook introduces and defines digital humanism from a diverse range of disciplines. Following the 2019 Vienna Manifesto, the book calls for a digital humanism that describes, analyzes, and, most importantly, influences the complex interplay of technology and humankind, for a better society and life, fully respecting universal human rights. The book is organized in three parts: Part I “Background” provides the multidisciplinary background needed to understand digital humanism in its philosophical, cultural, technological, historical, social, and economic dimensions. The goal is to present the necessary knowledge upon which an effective interdisciplinary discourse on digital humanism can be founded. Part II “Digital Humanism – a System’s View” focuses on an in-depth presentation and discussion of the main digital humanism concerns arising in current digital systems. The goal of this part is to make readers aware and sensitive to these issues, including e.g. the control and autonomy of AI systems, privacy and security, and the role of governance. Part III “Critical and Societal Issues of Digital Systems” delves into critical societal issues raised by advances of digital technologies. While the public debate in the past has often focused on them separately, especially when they became visible through sensational events the aim here is to shed light on the entire landscape and show their interconnected relationships. This includes issues such as AI and ethics, fairness and bias, privacy and surveillance, platform power and democracy. This textbook is intended for students, teachers, and policy makers interested in digital humanism. It is designed for stand-alone and for complementary courses in computer science, or curricula in science, engineering, humanities and social sciences. Each chapter includes questions for students and an annotated reading list to dive deeper into the associated chapter material. The book aims to provide readers with as wide an exposure as possible to digital advances and their consequences for humanity. It includes constructive ideas and approaches that seek to ensure that our collective digital future is determined through human agency.
    Keywords: ethics in computer science ; responsible technologies ; legal issues and regulation ; data privacy ; digitalization ; digital economy ; digital humanism ; social responsibility ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBJ Digital and information technologies: social and ethical aspects ; 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::UYQ Artificial intelligence ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTS Social and political philosophy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-14
    Description: Finance and Banking, General Finance, International Finance
    Keywords: Finance and Banking ; General Finance ; International Finance ; 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 ...
  • 60
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices to help you become an effective TBB programmer and leverage the power of parallel systems. Pro TBB starts with the basics, explaining parallel algorithms and C++'s built-in standard template library for parallelism. You'll learn the key concepts of managing memory, working with data structures and how to handle typical issues with synchronization. Later chapters apply these ideas to complex systems to explain performance tradeoffs, mapping common parallel patterns, controlling threads and overhead, and extending TBB to program heterogeneous systems or system-on-chips. What You'll Learn Use Threading Building Blocks to produce code that is portable, simple, scalable, and more understandable Review best practices for parallelizing computationally intensive tasks in your applications Integrate TBB with other threading packages Create scalable, high performance data-parallel programs Work with generic programming to write efficient algorithms Who This Book Is For C++ programmers learning to run applications on multicore systems, as well as C or C++ programmers without much experience with templates. No previous experience with parallel programming or multicore processors is required. ;
    Keywords: Computer science ; Programming languages (Electronic computers) ; Computer programming ; Algorithms ; Data structures (Computer science) ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
    Language: English
    Format: image/jpeg
    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: This is an open access book that provides holistic information on the radioactive contamination of forests. Topics are highly interdisciplinary, ranging from the dynamics of radioactive cesium in forest ecosystems to the radiation protection or the socio-economic aspects of radiation effects. It is designed to help people understand the radioactive contamination in forests and provide hints of how to cope with it and restore their livelihoods. The book is characterized by its well-balanced structure that allows the reader to understand the whole picture without going into too much scientific content. After explaining the basics of radioactive materials and radiation, the book illustrates the radioactive contamination of forests, it also describes the impacts on the forestry and life of local people and the measures taken by. Few books address the concerns about how to deal with radioactive contamination of forests and the future perspectives. In this book, people can learn all about the Fukushima nuclear accident of forests, forest products, and people with abundant reference materials. In addition, the book contains four memoirs contributed by Japanese and European researchers that graphically record what the researchers thought and how they acted in the chaos of the aftermath of the accident. In 2021 that marking the 10th anniversary of the Fukushima nuclear accident and the 35th anniversary of the Chernobyl accident, nuclear disasters are in the spotlight more than ever. This thought-provoking book on how to prepare for a severe nuclear accident is suitable for sharing with people all over the world as a lesson on the next nuclear accidents, now that the number of nuclear power plants is still increasing. The translation of this work was done with the help of artificial intelligence (machine translation by the service DeepL.com). Intensive improvements were subsequently made by the authors throughout the text to ensure accuracy of expression and contents and to enhance the clarity.
    Keywords: Fukushima accident ; Forestry and forest ecosystem ; Radioecology ; Radiation impact ; Radiation protection ; Auto-translation ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVR Forestry and silviculture ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNF Environmental management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: This open access book discusses the theory and methods of hypergraph computation. Many underlying relationships among data can be represented using graphs, for example in the areas including computer vision, molecular chemistry, molecular biology, etc. In the last decade, methods like graph-based learning and neural network methods have been developed to process such data, they are particularly suitable for handling relational learning tasks. In many real-world problems, however, relationships among the objects of our interest are more complex than pair-wise. Naively squeezing the complex relationships into pairwise ones will inevitably lead to loss of information which can be expected valuable for learning tasks. Hypergraph, as a generation of graph, has shown superior performance on modelling complex correlations compared with graph. Recent years have witnessed a great popularity of researches on hypergraph-related AI methods, which have been used in computer vision, social media analysis, etc. We summarize these attempts as a new computing paradigm, called hypergraph computation, which is to formulate the high-order correlations underneath the data using hypergraph, and then conduct semantic computing on the hypergraph for different applications. The content of this book consists of hypergraph computation paradigms, hypergraph modelling, hypergraph structure evolution, hypergraph neural networks, and applications of hypergraph computation in different fields. We further summarize recent achievements and future directions on hypergraph computation in this book.
    Keywords: Hypergraph ; Hypergraph Computation ; Hypergraph Learning ; Hypergraph Modelling ; Hypergraph Neural Network ; Complex Correlation Modelling ; High-Order Correlation Modelling ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This book constitutes the thoroughly refereed proceedings of the 13th International Conference on Web and Internet Economics, WINE 2017, held in Bangalore, India, in December 2017. The 28 full and 6 short papers presented were carefully reviewed and selected from 89 submissions. The papers reflect the work of researchers in theoretical computer science, artificial intelligence, and microeconomics who have joined forces to tackle problems at the intersection of computation, game theory and economics.
    Keywords: game theory ; computer science ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::U Computing and Information Technology
    Language: English
    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 proposes a novel approach to Artificial Intelligence (AI) ethics. AI offers many advantages: better and faster medical diagnoses, improved business processes and efficiency, and the automation of boring work. But undesirable and ethically problematic consequences are possible too: biases and discrimination, breaches of privacy and security, and societal distortions such as unemployment, economic exploitation and weakened democratic processes. There is even a prospect, ultimately, of super-intelligent machines replacing humans. The key question, then, is: how can we benefit from AI while addressing its ethical problems? This book presents an innovative answer to the question by presenting a different perspective on AI and its ethical consequences. Instead of looking at individual AI techniques, applications or ethical issues, we can understand AI as a system of ecosystems, consisting of numerous interdependent technologies, applications and stakeholders. Developing this idea, the book explores how AI ecosystems can be shaped to foster human flourishing. Drawing on rich empirical insights and detailed conceptual analysis, it suggests practical measures to ensure that AI is used to make the world a better place.
    Keywords: Artificial Intelligence ; Ethics ; Computers and Society ; Philosophy of Technology ; Business Ethics ; Applied Ethics ; Ethics of Technology ; Computer Ethics ; Information Ethics ; Responsible Research and Innovation ; Innovation Ecosystem ; Engineering Ethics ; Corporate Social Responsibility ; Open Access ; Ethics & moral philosophy ; Ethical & social aspects of IT ; Philosophy ; Business ethics & social responsibility ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBJ Digital and information technologies: social and ethical aspects ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJG Business ethics and social responsibility
    Language: English
    Format: image/png
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    Publication Date: 2024-04-14
    Description: Dynamic method dispatch is a core feature of object-oriented programming by which the executed implementation for a polymorphic method is only chosen at runtime. In this paper, we present a specification and verification methodology which extends the concept of dynamic dispatch to design-by-contract specifications. The formal specification language JML has only rudimentary means for polymorphic abstraction in expressions. We promote these to fully flexible specification-only query methods called model methods that can, like ordinary methods, be overridden to give specifications a new semantics in subclasses in a transparent and modular fashion. Moreover, we allow them to refer to more than one program state which give us the possibility to fully abstract and encapsulate two-state specification contexts, i.e., history constraints and method postconditions. Finally, we provide an elegant and flexible mechanism to specify restrictions on specifications in subtypes. Thus behavioural subtyping can be enforced, yet it still allows for other specification paradigms. We provide the semantics for model methods by giving a translation into a first order logic and according proof obligations. We fully implemented this framework in the KeY program verifier and successfully verified relevant examples. We have also implemented an extension to KeY to support permission-based verification of concurrent Java programs. In this context model methods provide a modular specification method to treat code synchronisation through API methods.
    Keywords: dispatch ; encapsulation ; ghost ; dispatch ; encapsulation ; ghost ; Boolean data type ; Dynamic dispatch ; First-order logic ; Inheritance (object-oriented programming) ; Java Modeling Language ; KeY ; Liskov substitution principle ; Postcondition ; Predicate (mathematical logic) ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::U Computing and Information Technology
    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 ...
  • 66
    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 ...
  • 67
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This Open Access book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, societies and –now– connected human societies? Physicists have good models for describing the evolution of the universe since the Big Bang, but can we apply the same concepts to the evolution of aggregated matter –living matter included? The Amazing Journey analyzes the latest results in chemistry, biology, neuroscience, anthropology and sociology under the light of the evolution of intelligence, seen as the ability of processing information. The main strength of this book is using just two concepts used in physics –information and energy– to explain: The emergence and evolution of life: procaryotes, eukaryotes and complex organisms The emergence and evolution of the brain The emergence and evolution of societies (human and not) Possible evolution of our "internet society" and the role that Artificial Intelligence is playing
    Keywords: Computer science ; Computer science—Mathematics ; Input-output equipment (Computers) ; Computer communication systems ; Operating systems (Computers) ; Algorithms ; Mathematical logic ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book 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 ...
  • 69
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This edited open access book presents the comprehensive outcome of The European DataBio Project, which examined new data-driven methods to shape a bioeconomy. These methods are used to develop new and sustainable ways to use forest, farm and fishery resources. As a European initiative, the goal is to use these new findings to support decision-makers and producers – meaning farmers, land and forest owners and fishermen. With their 27 pilot projects from 17 countries, the authors examine important sectors and highlight examples where modern data-driven methods were used to increase sustainability. How can farmers, foresters or fishermen use these insights in their daily lives? The authors answer this and other questions for our readers. The first four parts of this book give an overview of the big data technologies relevant for optimal raw material gathering. The next three parts put these technologies into perspective, by showing useable applications from farming, forestry and fishery. The final part of this book gives a summary and a view on the future. With its broad outlook and variety of topics, this book is an enrichment for students and scientists in bioeconomy, biodiversity and renewable resources.
    Keywords: Data-driven bioeconomy ; big data ; artificial intelligence ; agriculture ; forestry ; earth observation ; satellite images ; fishery ; open access ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVR Forestry and silviculture ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    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 ...
  • 71
    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 ...
  • 72
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book as one of the fastest-growing areas of research in machine learning, metalearning studies principled methods to obtain efficient models and solutions by adapting machine learning and data mining processes. This adaptation usually exploits information from past experience on other tasks and the adaptive processes can involve machine learning approaches. As a related area to metalearning and a hot topic currently, automated machine learning (AutoML) is concerned with automating the machine learning processes. Metalearning and AutoML can help AI learn to control the application of different learning methods and acquire new solutions faster without unnecessary interventions from the user. This book offers a comprehensive and thorough introduction to almost all aspects of metalearning and AutoML, covering the basic concepts and architecture, evaluation, datasets, hyperparameter optimization, ensembles and workflows, and also how this knowledge can be used to select, combine, compose, adapt and configure both algorithms and models to yield faster and better solutions to data mining and data science problems. It can thus help developers to develop systems that can improve themselves through experience. This book is a substantial update of the first edition published in 2009. It includes 18 chapters, more than twice as much as the previous version. This enabled the authors to cover the most relevant topics in more depth and incorporate the overview of recent research in the respective area. The book will be of interest to researchers and graduate students in the areas of machine learning, data mining, data science and artificial intelligence. ; Metalearning is the study of principled methods that exploit metaknowledge to obtain efficient models and solutions by adapting machine learning and data mining processes. While the variety of machine learning and data mining techniques now available can, in principle, provide good model solutions, a methodology is still needed to guide the search for the most appropriate model in an efficient way. Metalearning provides one such methodology that allows systems to become more effective through experience. This book discusses several approaches to obtaining knowledge concerning the performance of machine learning and data mining algorithms. It shows how this knowledge can be reused to select, combine, compose and adapt both algorithms and models to yield faster, more effective solutions to data mining problems. It can thus help developers improve their algorithms and also develop learning systems that can improve themselves. The book will be of interest to researchers and graduate students in the areas of machine learning, data mining and artificial intelligence.
    Keywords: Metalearning ; Automating Machine Learning (AutoML) ; Machine Learning ; Artificial Intelligence ; algorithm selection ; algorithm recommendation ; algorithm configuration ; hyperparameter optimization ; automating the workflow/pipeline design ; metalearning in ensemble construction ; metalearning in deep neural networks ; transfer learning ; algorithm recommendation for data streams ; automating data science ; Open Access ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019. In that respect, it both represents a continuation of Vol. 113 in Springer’s series Lecture Notes in Computational Science and Engineering, the corresponding report of SPPEXA’s first funding phase, and provides an overview of SPPEXA’s contributions towards exascale computing in today's sumpercomputer technology. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.
    Keywords: Simulation and Modeling ; Performance and Reliability ; Computational Science and Engineering ; Input/Output and Data Communications ; Mathematical and Computational Engineering ; Numerical and Computational Physics, Simulation ; Computer Science ; Computer Hardware ; Mathematical and Computational Engineering Applications ; Theoretical, Mathematical and Computational Physics ; open access ; computational algorithms and numerical methods ; data management and exploration ; high-performance computing ; simulation software and applications ; system software and software tools ; Computer modelling & simulation ; Systems analysis & design ; Maintenance & repairs ; Maths for scientists ; Computer networking & communications ; Distributed databases ; Maths for engineers ; Mathematical physics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDE Maths for scientists ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book aims at deepening the understanding of the relation between cyber-physical systems (CPSs) as socio-technical systems and their digital representations with intertwined artificial intelligence (AI). The authors describe why it is crucial for digital selves to be able to develop emotional behavior and why a humanity-inspired AI is necessary so that humans and humanoids can coexist. The introductory chapter describes major milestones in computer science which form the basis for the implementation of digital twins and digital selves. The subsequent Part I then lays the foundation to develop a socio-technical understanding of the nature of digital twins as representations and trans-human development objects. Following the conceptual understanding of digital twins and how they could be engineered according to cognitive and organizational structures, Part II forms the groundwork for understanding social behavior and its modeling. It discusses various perception-based socio-emotional approaches before sketching behavior-relevant models and their simulation capabilities. In particular, it is shown how emotions can substantially influence the collective behavior of artificial actors. Part III eventually presents a symbiosis showing under which preconditions digital selves might construct and produce digital twins as integrated design elements in trans-human ecosystems. The chapters in this part are dedicated to opportunities and modes of co-creating reflective socio-trans-human systems based on digital twin models, exploring mutual control and continuous development. The final epilog is congenitally speculative in its nature by presenting thoughts on future developments of artificial life in computational substrates. The book is written for researchers and professionals in areas like cyber-physical systems, robotics, social simulation or systems engineering, interested to take a speculative look into the future of digital twins and autonomous agents. It also touches upon philosophical aspects of digital twins, digital selves and humanoids.
    Keywords: Trans-Humanism ; Digital Twins ; Digital Society ; Artificial Intelligence ; Transformative Change ; Cyber-Physical Systems ; Robotics ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBJ Digital and information technologies: social and ethical aspects ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    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 ...
  • 76
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.
    Keywords: Logic Design ; Computer System Implementation ; Computer Communication Networks ; Special Purpose and Application-Based Systems ; Software Engineering ; Operating Systems ; open access ; reversible computation ; semantics of reversible computation ; formal methods ; models of computation ; circuit design ; simulation ; robotics ; debugging ; quantum computing ; wireless communications ; programming languages ; dependability ; modelling of biochemical systems ; computer networks ; engineering ; software engineering ; parallel processing systems ; theoretical computer science ; Computer architecture & logic design ; Systems analysis & design ; Network hardware ; Expert systems / knowledge-based systems ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UL Operating systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    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 ...
  • 78
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This is an open access book. This edited volume discusses topics in environmental economics with a focus on sustainability, conservation, and responsible resource management. Written in memory of Peter Berck, Professor of Agricultural and Resource Economics at the University of California, Berkeley, the chapters expand upon his insights about the connections between human activities and the natural world. The volume includes a selection of research on agriculture, energy, forestry, fisheries, land use, recycling, and conservation – all parts of the broad question of how natural resources can meet human needs while avoiding environmental degradation. Written from a 21st century perspective, with concerns about climate, renewable energy, biodiversity, and sustainable development, this volume will be of interest to researchers and students of agricultural and resource economics.
    Keywords: agricultural economics ; food production ; conservation ; biodiversity ; forestry economics ; recycling ; sustainability ; fisheries management ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book covers the use of data science, including advanced machine learning, big data analytics, Semantic Web technologies, natural language processing, social media analysis, time series analysis, among others, for applications in economics and finance. In addition, it shows some successful applications of advanced data science solutions used to extract new knowledge from data in order to improve economic forecasting models. The book starts with an introduction on the use of data science technologies in economics and finance and is followed by thirteen chapters showing success stories of the application of specific data science methodologies, touching on particular topics related to novel big data sources and technologies for economic analysis (e.g. social media and news); big data models leveraging on supervised/unsupervised (deep) machine learning; natural language processing to build economic and financial indicators; and forecasting and nowcasting of economic variables through time series analysis. This book is relevant to all stakeholders involved in digital and data-intensive research in economics and finance, helping them to understand the main opportunities and challenges, become familiar with the latest methodological findings, and learn how to use and evaluate the performances of novel tools and frameworks. It primarily targets data scientists and business analysts exploiting data science technologies, and it will also be a useful resource to research students in disciplines and courses related to these topics. Overall, readers will learn modern and effective data science solutions to create tangible innovations for economic and financial applications.
    Keywords: Data Mining and Knowledge Discovery ; Machine Learning ; Business Information Systems ; Big Data/Analytics ; Computer Appl. in Administrative Data Processing ; Information Storage and Retrieval ; IT in Business ; Computer and Information Systems Applications ; Open Access ; Data Mining ; Big Data ; Data Analytics ; Decision Support Systems ; Semantics and Reasoning ; Expert systems / knowledge-based systems ; Business mathematics & systems ; Public administration ; Information technology: general issues ; Information retrieval ; Data warehousing ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions of existing systems based on these methods, and discusses the first series of international challenges of AutoML systems. The recent success of commercial ML applications and the rapid growth of the field has created a high demand for off-the-shelf ML methods that can be used easily and without expert knowledge. However, many of the recent machine learning successes crucially rely on human experts, who manually select appropriate ML architectures (deep learning architectures or more traditional ML workflows) and their hyperparameters. To overcome this problem, the field of AutoML targets a progressive automation of machine learning, based on principles from optimization and machine learning itself. This book serves as a point of entry into this quickly-developing field for researchers and advanced students alike, as well as providing a reference for practitioners aiming to use AutoML in their work.
    Keywords: Computer science ; Artificial intelligence ; Optical data processing ; Pattern recognition ; 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::UYQP Pattern recognition ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; 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::UYQP Pattern recognition ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book improves the users' skills needed to implement models for performance evaluation of digital infrastructures. Building a model is usually a relatively easy task, but making it an accurate representation of the phenomenon to be reproduced is a completely different matter. It is well-known that to increase the ability to build reliable models it is necessary to accumulate experience. The book addresses this need by presenting a collection of case studies of increasing complexity. Readers are introduced to the modeling process gradually, learning the basic concepts step-by-step as they go through the case studies. Queueing Networks are used to design the models solved with simulation and analytical techniques from the open source Java Modelling Tools (JMT). Among the models analyzed there are systems for optimizing performance, identifying bottlenecks, evaluating the impact of the variability of traffic and service demands, analyzing the effects of synchronization policies in parallel computing. Four case studies derived from real-life scenarios are also presented: a surveillance system, autoscaling load fluctuations, web app workflow simulation, and crowd computing platform. This book serves as a reference tool for graduate and senior-level computer science students in courses of performance evaluation and modeling, as well as for researchers and practitioners.
    Keywords: Capacity planning of digital infrastructures ; Performance modeling ; performance models ; Petri Nets ; Queueing Networks ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFC Electronics: circuits and components ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.
    Keywords: artificial intelligence ; computer networks ; automated reasoning ; computer systems ; description logics ; formal languages ; formal logic ; constraint solving ; decision procedures ; network protocols ; ontologies ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: This is an Open Access book. This book based on static indicators and dynamic big data from local electric vehicles, is the first New-Energy Vehicles (NEVs) research report on the Big Data in China. Using the real-time big data collected by China's National Monitoring and Management Platform for NEVs, this book delves into the main annual technological progress of NEVs, the vehicle operating characteristics, it also anticipates the trend of NEVs industry. Various graphs & charts, detailed data this book offers will familiarize readers with the operation characteristics and practical application of China's NEVs industry and popularize the concept of automobile electrification. Besides, this book also makes an objective evaluation of the current situation and technological improvement of China's NEVs industry, presenting sensible suggestions for the development of the industry. This book is written for government staff, researchers, college staff, and technical staff of automobile and spare parts enterprises, which serves as an important reference for the decision-making of government departments and strategic decisions of automotive companies.
    Keywords: New Energy Vehicles (NEVs) ; Electric Vehicle (EV) ; Big Data ; NEVs Technology Improvement ; Electric Vehicle Sales Promotion ; Electric Vehicle Driving Characteristics ; Electric Vehicle Charging Characteristics ; Battery swapping ; Plug-in Hybrid Electric Vehicle (PHEV) ; Fuel Cell Vehicle (FCV) ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRC Automotive technology and trades ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: The contributions gathered in this open access book focus on modern methods for data science and classification and present a series of real-world applications. Numerous research topics are covered, ranging from statistical inference and modeling to clustering and dimension reduction, from functional data analysis to time series analysis, and network analysis. The applications reflect new analyses in a variety of fields, including medicine, marketing, genetics, engineering, and education. The book comprises selected and peer-reviewed papers presented at the 17th Conference of the International Federation of Classification Societies (IFCS 2022), held in Porto, Portugal, July 19–23, 2022. The IFCS federates the classification societies and the IFCS biennial conference brings together researchers and stakeholders in the areas of Data Science, Classification, and Machine Learning. It provides a forum for presenting high-quality theoretical and applied works, and promoting and fostering interdisciplinary research and international cooperation. The intended audience is researchers and practitioners who seek the latest developments and applications in the field of data science and classification.
    Keywords: Classification ; Data Science ; Clustering ; Statistical Learning ; Machine Learning ; Data Analysis ; Mutlivariate Analysis ; Statistical Inference ; Dimension Reduction ; Functional Data Analysis ; Time Series Analysis ; Network Analysis ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UF Business applications::UFM Mathematical and statistical software ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book highlights concepts discussed at two international conferences that brought together world-renowned scientists to advance the science of potassium (K) recommendations for crops. There was general agreement that the potassium recommendations currently in general use are oversimplified, outdated, and jeopardize soil, plant, and human health. Accordingly, this book puts forward a significantly expanded K cycle that more accurately depicts K inputs, losses and transformations in soils. This new cycle serves as both the conceptual basis for the scientific discussions in this book and a framework upon which to build future improvements. Previously used approaches are critically reviewed and assessed, not only for their relevance to future enhancements, but also for their use as metrics of sustainability. An initial effort is made to link K nutrition in crops and K nutrition in humans. The book offers an invaluable asset for graduate students, educators, industry scientists, data scientists, and advanced agronomists.
    Keywords: Agriculture ; Plant Biochemistry ; Soil Science & Conservation ; Applied Ecology ; Soil Science ; Bioavailable Potassium ; Fertilizer Management ; Plant Nutrition ; Potash ; Soil Chemistry ; Sustainability ; Open access ; Agricultural science ; Botany & plant sciences ; Biochemistry ; Sedimentology & pedology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBG Geology, geomorphology and the lithosphere::RBGB Sedimentology and pedology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNC Applied ecology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    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 ...
  • 88
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.
    Keywords: Software Engineering ; Software Management ; Automotive Engineering ; Special Purpose and Application-Based Systems ; IT in Business ; Model-Driven Software Development ; Requirements Engineering ; Automotive Software Engineering ; Embedded Systems ; Open Access ; SPES Methodology ; Simulation ; Co-Design of Systems ; Business mathematics & systems ; Business applications ; Automotive technology & trades ; Automotive (motor mechanic) skills ; Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRC Automotive technology and trades ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Natural Language Processing (NLP) ; Software Engineering ; Logics and Meanings of Programs ; Computer Systems Organization and Communication Networks ; Compilers and Interpreters ; Computer Science Logic and Foundations of Programming ; Computer Engineering and Networks ; computer programming ; concurrency theory ; distributed computer systems ; formal logic ; lamdba calculi ; linguistics ; logic ; object-oriented programming ; parallel processing systems ; probabilistic programming ; process calculi ; program compilers ; semantics ; software design ; software quality ; theory ; types ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Natural language & machine translation ; Computer programming / software engineering ; Computer architecture & logic design ; Computer networking & communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    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 ...
  • 91
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book presents a number of case studies on digital transformation in Norway, one of the fore-runners in the digital progress index established by the European Commission in 2020. They explore the process of adoption, diffusion and value generation from digital technologies, and how the use of different digital solutions has enabled Norwegian enterprises to digitally transform their operations and business models. The book starts with an introductory chapter summarizing a vast body of literature in order to synthesize what is already known about digital transformation before exploring the Norwegian context in more detail. Then a series of case studies from the private and public sector in Norway is presented. They document a process perspective which describes the sequence of events during and after adoption of digital solutions, as well as the types of business value that were realized. Through these single studies, the process of digital transformation is illustrated, a number of key findings highlighted, and eventually theoretical and practical recommendations based on these cases emphasized. The book closes with a brief overview of some emerging technologies, and comments on how they are likely to change different sectors. Digital transformation has been one of the priority areas for the Norwegian government over the past years and puts Norwegian enterprises upfront in adopting novel technologies and utilizing them for achieving organizational goals. This experience accumulated over the years makes the Norwegian context a particularly interesting one in understanding how private and public organizations make use of new digital solutions, what lessons can be learnt during the process, and what are some of the key success and failure factors. This way the book is written for practitioners who are currently involved in digital transformation projects in their organizations, researchers of information systems and management, as well as master students in degrees of informatics and technology management.
    Keywords: Digital Transformation ; Disruptive Technologies ; Innovation Management ; Digitization ; Digitalization ; Service Science ; Norwegian Industry ; Information Systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    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 ...
  • 93
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book brings together the latest developments from industry and research on automated driving and artificial intelligence. Environment perception for highly automated driving heavily employs deep neural networks, facing many challenges. How much data do we need for training and testing? How to use synthetic data to save labeling costs for training? How do we increase robustness and decrease memory usage? For inevitably poor conditions: How do we know that the network is uncertain about its decisions? Can we understand a bit more about what actually happens inside neural networks? This leads to a very practical problem particularly for DNNs employed in automated driving: What are useful validation techniques and how about safety? This book unites the views from both academia and industry, where computer vision and machine learning meet environment perception for highly automated driving. Naturally, aspects of data, robustness, uncertainty quantification, and, last but not least, safety are at the core of it. This book is unique: In its first part, an extended survey of all the relevant aspects is provided. The second part contains the detailed technical elaboration of the various questions mentioned above.
    Keywords: Highly Automated Driving ; Autonomous Driving ; Environment Perception ; Deep Learning ; Safety ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRC Automotive technology and trades ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWH Mathematical modelling ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UN Databases
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    facet.materialart.
    Unknown
    Springer Nature | Springer Vieweg
    Publication Date: 2024-04-14
    Description: This Open Access book explores the dilemma-like stalemate between security and regulatory compliance in business processes on the one hand and business continuity and governance on the other. The growing number of regulations, e.g., on information security, data protection, or privacy, implemented in increasingly digitized businesses can have an obstructive effect on the automated execution of business processes. Such security-related obstructions can particularly occur when an access control-based implementation of regulations blocks the execution of business processes. By handling obstructions, security in business processes is supposed to be improved. For this, the book presents a framework that allows the comprehensive analysis, detection, and handling of obstructions in a security-sensitive way. Thereby, methods based on common organizational security policies, process models, and logs are proposed. The Petri net-based modeling and related semantic and language-based research, as well as the analysis of event data and machine learning methods finally lead to the development of algorithms and experiments that can detect and resolve obstructions and are reproducible with the provided software.
    Keywords: IT-Security ; Business Process Management ; Security and Privacy ; Process Security ; Compliance ; Process Automation ; Process Modeling ; Petri Net ; Process Mining ; Data Mining ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UR Computer security::URD Privacy and data protection
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
    Keywords: Computer science ; Computer logic ; Software engineering ; Artificial intelligence ; Mathematical logic ; Algorithms ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    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 ...
  • 97
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book provides a broad range of insights on market engineering and information management. It covers topics like auctions, stock markets, electricity markets, the sharing economy, information and emotions in markets, smart decision-making in cities and other systems, and methodological approaches to conceptual modeling and taxonomy development. Overall, this book is a source of inspiration for everybody working on the vision of advancing the science of engineering markets and managing information for contributing to a bright, sustainable, digital world. Markets are powerful and extremely efficient mechanisms for coordinating individuals’ and organizations’ behavior in a complex, networked economy. Thus, designing, monitoring, and regulating markets is an essential task of today’s society. This task does not only derive from a purely economic point of view. Leveraging market forces can also help to tackle pressing social and environmental challenges. Moreover, markets process, generate, and reveal information. This information is a production factor and a valuable economic asset. In an increasingly digital world, it is more essential than ever to understand the life cycle of information from its creation and distribution to its use. Both markets and the flow of information should not arbitrarily emerge and develop based on individual, profit-driven actors. Instead, they should be engineered to serve best the whole society’s goals. This motivation drives the research fields of market engineering and information management. With this book, the editors and authors honor Professor Dr. Christof Weinhardt for his enormous and ongoing contribution to market engineering and information management research and practice. It was presented to him on the occasion of his sixtieth birthday in April 2021. Thank you very much, Christof, for so many years of cooperation, support, inspiration, and friendship.
    Keywords: Computer Applications ; IT in Business ; e-Commerce/e-business ; Computer and Information Systems Applications ; e-Commerce and e-Business ; Information Systems ; Information Management ; Business Information Systems ; e-Services ; e-Finance ; Decision Support Systems ; Open Access ; Information technology: general issues ; Business mathematics & systems ; Business applications ; E-commerce: business aspects ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UF Business applications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: 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 ...
  • 99
    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 ...
  • 100
    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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...