Wei Li – författare
Visar alla böcker från författaren Wei Li. Handla med fri frakt och snabb leverans.
63 produkter
63 produkter
Häftad, Engelska, 2023
1 606 kr
Skickas inom 10-15 vardagar
Negative Emissions Technologies for Climate Change Mitigation provides a comprehensive introduction to the full range of technologies that are being researched, developed and deployed in order to transition from our current energy system, dominated by fossil fuels, to a negative-carbon emissions system. After an introduction to the challenge of climate change, the technical fundamentals of natural and engineered carbon dioxide removal and storage processes and technologies are described. Each NET is then discussed in detail, including the key elements of the technology, enablers and constraints, governance issues, and global potential and cost estimates.This book offers a complete overview of the field, thus enabling the community to gain a full appreciation of NETs without the need to seek out and refer to a multitude of sources. Covers the full spectrum of technologies to underpin the transition to a negative emissions energy system, from technical fundamentals to the current state of deployment and R&D Critically evaluates each technology, highlighting advantages, limitations, and the potential for large scale environmental applications Combines natural science and environmental science perspectives with the practical use of state-of-the-art technologies for sustainability
Häftad, Engelska, 2020
1 558 kr
Skickas inom 10-15 vardagar
Renewable Energy Microgeneration Systems presents the latest technology advances in small-scale energy generation (electricity and heat) in the context of low/medium voltage level electric power distribution networks. With a focus on scientific innovations of the methodologies, approaches and algorithms in enabling efficient and secure operation of microgeneration systems, this book also analyzes the current understanding of motivations and barriers affecting microgeneration adoption with the aim of identifying opportunities for improving the field deployment.
Considering the recent advances of theories and implementations in modeling, design, planning and management of different forms of microgeneration systems, this reference provides applied researchers in the field of electrical engineering and renewable micro generation incredible insights into microgeneration systems technologies and the potential for new technologies and markets.
Provides modeling and optimization methods and techniques for micro-generation systems Covers multidisciplinary content, providing an opportunity for different stakeholders in various engineering fields Includes recent research advances in the field, with a focus on real case studies and policy
Häftad, Engelska, 2023
990 kr
Skickas inom 5-8 vardagar
AI Computing Systems: An Application Driven Perspective adopts the principle of "application-driven, full-stack penetration" and uses the specific intelligent application of "image style migration" to provide students with a sound starting place to learn. This approach enables readers to obtain a full view of the AI computing system. A complete intelligent computing system involves many aspects such as processing chip, system structure, programming environment, software, etc., making it a difficult topic to master in a short time. Provides an in-depth analysis of the underlying principles behind the use of knowledge in intelligent computing systems Centers around application-driven and full-stack penetration, focusing on the knowledge required to complete this application at all levels of the software and hardware technology stack Supporting experimental tutorials covering key knowledge points in each chapter provide practical guidance and formalization tools for developing a simple AI computing system
Häftad, Engelska, 2026
2 075 kr
Kommande
Intelligent Railway Alignment Design offers a comprehensive exploration of intelligent railway alignment optimization. The book considers a variety of critical topics, starting with the optimal selection of key technical standards for railway design and then introduces the comprehensive geographic information model. The methods for evaluating the suitability of the railway alignment based on the comprehensive geographic information model are discussed, together with economic optimization models aimed at cost-effective railway alignment design. In addition, the book considers optimization models for managing risks related to typical geological hazards and minimizing environmental impacts.Intelligent search algorithms for solving railway alignment optimization models are explained in detail, including corridor searching algorithms and 3D alignment searching algorithms. Additionally, the book explores concurrent optimization strategies for coordinating railway alignments with stations and large temporary engineering projects. Finally, it introduces intelligent models and methods for reconstructing and optimizing existing railway alignments, ensuring that both new and updated railways operate efficiently and sustainably.Provides a valuable reference for researchers working on the intelligent optimization of railway alignmentHelps readers improve the alignment design quality and efficiencyServes as a reference for software developers working on intelligent optimization software for railway alignment design
Häftad, Engelska, 2021
382 kr
Skickas inom 5-8 vardagar
Far East, Down South: Asians in the American South offers a collection of ten insightful essays that illuminate the little-known history and increasing presence of Asian immigrants in the American southeast.In sharp contrast to the “melting pot” reputation of the United States, the American South—with its history of slavery, Jim Crow, and the civil rights movement—has been perceived in stark and simplistic demographic terms. In Far East, Down South, editors Raymond A. Mohl, John E. Van Sant, and Chizuru Saeki provide a collection of essential essays that restores and explores an overlooked part of the South’s story—that of Asian immigration to the region. These essays form a comprehensive overview of key episodes and issues in the history of Asian immigrants to the South. During Reconstruction, southern entrepreneurs experimented with the replacement of slave labor with Chinese workers. As in the West, Chinese laborers played a role in the development of railroads. Japanese farmers also played a more widespread role than is usually believed. Filipino sailors recruited by the US Navy in the early decades of the twentieth century often settled with their families in the vicinity of naval ports such as Corpus Christi, Biloxi, and Pensacola. Internment camps brought Japanese Americans to Arkansas. Marriages between American servicemen and Japanese, Korean, Filipina, Vietnamese, and nationals in other theaters of war created many thousands of blended families in the South. In recent decades, the South is the destination of internal immigration as Asian Americans spread out from immigrant enclaves in West Coast and Northeast urban areas. Taken together, the book’s essays document numerous fascinating themes: the historic presence of Asians in the South dating back to the mid-nineteenth century; the sources of numerous waves of contemporary Asian immigration to the South; and the steady spread of Asians out from the coastal port cities. Far East, Down South adds a vital new dimension to popular understanding of southern history.
Inbunden, Engelska, 2008
827 kr
Skickas inom 10-15 vardagar
This innovative work provides a new model for the analysis of ethnic and racial settlement patterns in the United States and Canada. Ethnoburbs - suburban ethnic clusters of residential areas and business districts in large metropolitan areas - are multiracial, multiethnic, multicultural, multilingual, and often multinational communities in which one ethnic minority group has a significant concentration but does not necessarily constitute a majority. Wei Li documents the processes that have evolved with the spatial transformation of the Chinese American community of Los Angeles and that have converted the San Gabriel Valley into ethnoburbs in the latter half of the twentieth century, and she examines the opportunities and challenges that occurred as a result of these changes. Traditional ethnic and immigrant settlements customarily take the form of either ghettos or enclaves. Thus the majority of scholarly publications and mass media covering the San Gabriel Valley has described it as a Chinatown located in Los Angeles' suburbs. Li offers a completely different approach to understanding and analyzing this fascinating place.
Häftad, Engelska, 2012
273 kr
Skickas inom 10-15 vardagar
Winner of the 2009 Book Award in Social Sciences, Association for Asian American StudiesThis innovative work provides a new model for the analysis of ethnic and racial settlement patterns in the United States and Canada. Ethnoburbs—suburban ethnic clusters of residential areas and business districts in large metropolitan areas—are multiracial, multiethnic, multicultural, multilingual, and often multinational communities in which one ethnic minority group has a significant concentration but does not necessarily constitute a majority. Wei Li documents the processes that have evolved with the spatial transformation of the Chinese American community of Los Angeles and that have converted the San Gabriel Valley into ethnoburbs in the latter half of the twentieth century, and she examines the opportunities and challenges that occurred as a result of these changes.Traditional ethnic and immigrant settlements customarily take the form of either ghettos or enclaves. Thus the majority of scholarly publications and mass media covering the San Gabriel Valley has described it as a Chinatown located in Los Angeles’ suburbs. Li offers a completely different approach to understanding and analyzing this fascinating place. By conducting interviews with residents, a comparative spatial examination of census data and other statistical sources, and fieldwork—coupled with her own holistic view of the area—Li gives readers an effective and fine-tuned socio-spatial analysis of the evolution of a new type of racially defined place. The San Gabriel Valley tells a unique story, but its evolution also speaks to those experiencing a similar type of ethnic and racial conurbation. In sum, Li sheds light on processes that are shaping other present (and future) ethnically and racially diverse communities.The concept of the ethnoburb has redefined the way geographers and other scholars think about ethnic space, place, and process. This book will contribute significantly to both theoretical and empirical studies of immigration by presenting a more intensive and thorough ""take"" on arguments about spatial and social processes in urban and suburban America.
Inbunden, Engelska, 2016
2 419 kr
Skickas inom 5-8 vardagar
Manganese (Mn) oxides are among the most reactive minerals in the earth's surface environment, and play a significant role in adsorption, co-precipitation and redox reactions, affecting biogeochemical cycles of numerous nutrients and contaminants. In addition, manganese oxides are widely applied as absorbents, ion sieves, chemical oxidants and catalysts for environmental remediation and pollution control. There are, however, still many aspects poorly understood interms of the environmental geochemistry of manganese oxides, such as biogenic formation mechanisms, detailed crystal structure of nanocrystalline phases, electron transfer paths in redox reactions, adsorption mechanisms of contaminants on surfaces, physiochemical factors controlling the contents ofstructural Mn(III) and vacant sites that largely determine Mn oxide reactivity, and the role of Mn(III) in the above processes.This book aims to bring together advances on manganese oxide environmental biogeochemistry from leading scientists in multiple disciplines, e.g., mineralogy, geochemistry, soil science and environmental engineering. A number of frontier research topics are included in the book, such as in-situ characterization of Mn oxide reactivity with As and Cr, kinetics and molecular-scale mechanisms of metal oxidation by mangnese oxides, mechanistic understanding of metal sorption through density functiontheory, the role of surface edge sites of birnessites in metal(loid) sorption, reactivity of natural crytomelane, pathways of phyllomanganate transformation to todorokite, water-oxidation catalysis by manganese oxides, in situ As immobilization using stabilized Fe-Mn binary oxides, and synthesis ofLi ion-sieves from biogenic oxides and stability of colloidal Mn oxides. The book should be of interest to scientists and engineers in a broad range of disciplines, such as geochemistry, soil science, mineralogy, microbiology, materials science, and environment engineering, as well as graduate students who are engaged in research on manganese oxide biogeochemistry and the engineering application of Mn-bearing materials.
Inbunden, Engelska, 2011
1 083 kr
Skickas inom 10-15 vardagar
Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections provides a detailed description of the application of finite element methods (FEMs) to the study of ULSI interconnect reliability.
Inbunden, Engelska, 2023
771 kr
Skickas inom 10-15 vardagar
This book investigates the case of Hong Kong Special Administrative Region (SAR) of People’s Republic of China, mapping the changing patterns of political-administrative relations affected by the sovereignty change and structural reforms. It identifies the conditions that account for the varied political-administrative relations resulting from these changes, and develops an analytical framework that integrates and adapts theories and models from Western contexts to explain varied political-administrative relations in Hong Kong policymaking.The book tests its hypotheses through a qualitative comparative analysis of 18 cases occurring during the period of 1997–2012. It also conducts a comparative case analysis, which identified alternative causal conditions that were missing in the original framework. The book concludes that civil servants no longer dominate policymaking in Hong Kong after the regime change and structural reforms. While senior civil servants have sustained influence over policymaking processes through codified rules and political appointment, some of them have adapted to the changes in political environment that require more proactive policy styles and more hierarchical loyalty to the Central People’s Government of China than before.The first-hand interview materials presented in the book provide insights about internal political-administrative dynamics rarely accessible from the public domain. These insights provide inside knowledge of the actors, structure and processes of local policymaking in a context of post-colonial transition, and will be of interest to public administration scholars.
Häftad, Engelska, 2024
273 kr
Skickas inom 10-15 vardagar
This book investigates the case of Hong Kong Special Administrative Region (SAR) of People’s Republic of China, mapping the changing patterns of political-administrative relations affected by the sovereignty change and structural reforms. It identifies the conditions that account for the varied political-administrative relations resulting from these changes, and develops an analytical framework that integrates and adapts theories and models from Western contexts to explain varied political-administrative relations in Hong Kong policymaking.The book tests its hypotheses through a qualitative comparative analysis of 18 cases occurring during the period of 1997–2012. It also conducts a comparative case analysis, which identified alternative causal conditions that were missing in the original framework. The book concludes that civil servants no longer dominate policymaking in Hong Kong after the regime change and structural reforms. While senior civil servants have sustained influence over policymaking processes through codified rules and political appointment, some of them have adapted to the changes in political environment that require more proactive policy styles and more hierarchical loyalty to the Central People’s Government of China than before.The first-hand interview materials presented in the book provide insights about internal political-administrative dynamics rarely accessible from the public domain. These insights provide inside knowledge of the actors, structure and processes of local policymaking in a context of post-colonial transition, and will be of interest to public administration scholars.
Inbunden, Engelska, 2023
2 160 kr
Skickas inom 10-15 vardagar
This book takes a broad approach to studying China’s policy processes. It aims to shed new light on the characteristics of China’s political systems and to adapt theoretical frameworks of policy processes developed in Western democracies to China.In 2021, Xi Jinping introduced the concept of “whole-process people’s democracy”. This new discourse calls for a deeper understanding of both traditional and new mechanisms and institutions functioning in China’s policy processes. Bringing together scholars with extensive fieldwork experience in mainland China and Taiwan, this edited volume investigates governance mechanisms and institutions of policy processes in China from different perspectives, such as mass line, Tiao–Kuai coordination, and People’s Congress. The book focuses not only on traditional topics such as agenda setting and policy change, but also on political-administrative relations, policy mix design, and delivering service contracts in communities. A comparative analysis of three social enterprises in Taiwan is provided as a case study of non-governmental actors’ (lack of) influence on policies in a context that is different from mainland China.This book will appeal to scholars, students, and practitioners interested in policy processes in mainland China and Taiwan and in comparative theories about policy processes around the world.
Häftad, Engelska, 2025
646 kr
Skickas inom 10-15 vardagar
This book takes a broad approach to studying China’s policy processes. It aims to shed new light on the characteristics of China’s political systems and to adapt theoretical frameworks of policy processes developed in Western democracies to China.In 2021, Xi Jinping introduced the concept of “whole-process people’s democracy”. This new discourse calls for a deeper understanding of both traditional and new mechanisms and institutions functioning in China’s policy processes. Bringing together scholars with extensive fieldwork experience in mainland China and Taiwan, this edited volume investigates governance mechanisms and institutions of policy processes in China from different perspectives, such as mass line, Tiao–Kuai coordination, and People’s Congress. The book focuses not only on traditional topics such as agenda setting and policy change, but also on political-administrative relations, policy mix design, and delivering service contracts in communities. A comparative analysis of three social enterprises in Taiwan is provided as a case study of non-governmental actors’ (lack of) influence on policies in a context that is different from mainland China.This book will appeal to scholars, students, and practitioners interested in policy processes in mainland China and Taiwan and in comparative theories about policy processes around the world.
Inbunden, Engelska, 2024
2 021 kr
Skickas inom 10-15 vardagar
Employing the intellectual migration analytical framework, this book examines the dynamics of student and professional migration. Intellectual migration encompasses a spectrum where higher education students and professionals at various life stages move to pursue intellectual credentials that can promote career development. Besides exploring the link between internal and international migration, chapters in this book investigate how key notions of the intellectual migration framework — intellectual capital, intellectual nodes, intellectual gateways, and intellectual peripheries — affect the spatial and social mobilities of migrants. They address issues like the (un)certainty of partaking intellectual migration, the agency-structure dynamics behind migration decisions, and the value of intellectual capital in the migration process. For illustrative purposes, the empirical work selected for this book primarily, but not exclusively, focuses on movements between China and North America. The applicability and value of the intellectual migration framework, with its bi- and multi-regional appeal, is not restricted to these two regions. Apart from being insightful scholarly reference work, this book can serve as a textbook in migration studies, China studies, American studies, and geography and sociology courses. It was originally published as a special issue of the Journal of Ethnic and Migration Studies.
Häftad, Engelska, 2026
604 kr
Skickas inom 10-15 vardagar
Employing the intellectual migration analytical framework, this book examines the dynamics of student and professional migration. Intellectual migration encompasses a spectrum where higher education students and professionals at various life stages move to pursue intellectual credentials that can promote career development. Besides exploring the link between internal and international migration, chapters in this book investigate how key notions of the intellectual migration framework — intellectual capital, intellectual nodes, intellectual gateways, and intellectual peripheries — affect the spatial and social mobilities of migrants. They address issues like the (un)certainty of partaking intellectual migration, the agency-structure dynamics behind migration decisions, and the value of intellectual capital in the migration process. For illustrative purposes, the empirical work selected for this book primarily, but not exclusively, focuses on movements between China and North America. The applicability and value of the intellectual migration framework, with its bi- and multi-regional appeal, is not restricted to these two regions. Apart from being insightful scholarly reference work, this book can serve as a textbook in migration studies, China studies, American studies, and geography and sociology courses. It was originally published as a special issue of the Journal of Ethnic and Migration Studies.
Inbunden, Engelska, 2024
1 538 kr
Skickas inom 5-8 vardagar
Mixed-flow Pumps Modeling, Simulation, and Measurements Learn to improve and optimize the design and operation of mixed-flow pumps Mixed-flow pumps have a huge range of applications in agriculture, hydroelectric power, and other industries that incorporate fluid transport. They are centrifugal pumps incorporating the characteristics of both axial and radial pumps to increase the flow rate and discharge pressure. Though essential in a variety of industries, they pose serious challenges to numerical simulation methods, challenges which are starting to be met by the application of computational fluid dynamics using high-performance computing. Mixed-flow Pumps introduces engineers and researchers to this subject and its important applications. Incorporating all major varieties of mixed-flow pumps used in industrial applications, it employs methods from advanced computational fluid dynamics and high-precision flow field experimentation to characterize and analyze these crucial technologies. Moving from the fundamentals of the technology to its most advanced applications, it’s an essential resource for engineers and industry practitioners looking to develop their understanding of fluid transport. Mixed-flow Pumps readers will also find: Detailed information on how to design and optimize mixed-flow pumps to meet the increasingly stringent industry demands Detailed information on energy performance tests and experiments, methods for data analysis, entropy production theory, CFD solutions using Reynolds-Averaged Navier-Stokes (RANS) equations, and more An authoritative team with immense global experience in flow pumps and broader industrial experienceMixed-flow Pumps is a useful reference for mixed-flow pump design by academic researchers, including graduate students, industry practitioners, and test engineers.
Inbunden, Engelska, 2026
1 780 kr
Kommande
This book explores metonymic patterns in Li Bai’s poetry from a cognitive poetic perspective and offers new insights into the use of metonymies in poetry more widely. Focusing more specifically on Annotations to the Annals of the Complete Collection of Li Bai compiled by A Qi, it sheds light on the poetic style of one of the most celebrated poets of China’s Tang Dynasty (610-907 AD).Adopting corpus-based and introspection methods, this book builds a metonymy identification procedure that takes into account the social and cultural context and the stylistic characteristics of Tang poetry, classifies the metonymies into different categories, and examines their roles and functions. The author reveals how Li Bai’s metonymies reflect the poet’s evolution as his style shifts from romanticism to realism. She also reflects on how they act as a lens through which readers can learn about hierarchical structures, wine, dress and agriculture in the Tang Dynasty. Approaching Li Bai’s poetry from a fresh angle, this volume contributes to the study of classical Chinese literature and offers implications for the appreciation, translation and teaching of Li Bai’s poetry.
Inbunden, Engelska, 2026
1 557 kr
Kommande
Inbunden, Engelska, 2019
3 207 kr
Skickas inom 3-6 vardagar
The SAGE Handbook of International Migration provides an authoritative and informed analysis of key issues in international migration, including its crucial significance far beyond the more traditional questions of immigrant settlement and incorporation in particular countries. Bringing together chapters contributed by an international cast of leading voices in the field, the Handbook is arranged around four key thematic parts:
Part 1: Disciplinary Perspectives on Migration Part 2: Historical and Contemporary Flows of Migrants Part 3: Theory, Policy and the Factors Affecting Incorporation Part 4: National and Global Policy Challenges in MigrationThe last three decades have seen the rapid increase and diversification in the types of international migration, and this Handbook has been created to meet the need among academics and researchers across the social sciences, policy makers and commentators for a definitive publication which provides a range of perspectives and insights into key themes and debates in the field.
Häftad, Engelska, 2015
438 kr
Skickas inom 5-8 vardagar
Since the 1960s, new and more diverse waves of immigrants have changed the demographic composition and the landscapes of North American cities and their suburbs. The Housing and Economic Experiences of Immigrants in U.S. and Canadian Cities is a collection of essays examining how recent immigrants have fared in getting access to jobs and housing in urban centres across the continent.Using a variety of methodologies, contributors from both countries present original research on a range of issues connected to housing and economic experiences. They offer both a broad overview and a series of detailed case studies that highlight the experiences of particular communities. This volume demonstrates that, while the United States and Canada have much in common when it comes to urban development, there are important structural and historical differences between the immigrant experiences in these two countries.
Häftad, Engelska, 2013
1 083 kr
Skickas inom 10-15 vardagar
Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections provides a detailed description of the application of finite element methods (FEMs) to the study of ULSI interconnect reliability. Over the past two decades the application of FEMs has become widespread and continues to lead to a much better understanding of reliability physics.To help readers cope with the increasing sophistication of FEMs’ applications to interconnect reliability, Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections will:introduce the principle of FEMs;review numerical modeling of ULSI interconnect reliability;describe the physical mechanism of ULSI interconnect reliability encountered in the electronics industry; anddiscuss in detail the use of FEMs to understand and improve ULSI interconnect reliability from both the physical and practical perspective, incorporating the Monte Carlo method.A full-scale review of the numerical modeling methodology used in the study of interconnect reliability highlights useful and noteworthy techniques that have been developed recently. Many illustrations are used throughout the book to improve the reader’s understanding of the methodology and its verification. Actual experimental results and micrographs on ULSI interconnects are also included.Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections is a good reference for researchers who are working on interconnect reliability modeling, as well as for those who want to know more about FEMs for reliability applications. It gives readers a thorough understanding of the applications of FEM to reliability modeling and an appreciation of the strengths and weaknesses of various numerical models for interconnect reliability.
Häftad, Polska, 2023
397 kr
Skickas inom 5-8 vardagar
Inbunden, Engelska, 2007
1 115 kr
Skickas inom 10-15 vardagar
Congenital heart disease is gaining importance as a condition that effects not only the pediatric population but also the adult population, as many congenital cardiac conditions remain silent for years until accidentally discovered on routine check up. Echocardiography in Adult Congenital Heart Disease provides cardiologists with access to the wealth of imaging from the Royal Brompton Hospital and National Heart and Lung Institute in London to enable them to improve on their own skills and refine their imaging technique. The authors correlate this echocardiography experience with the pathological and surgical aspects of congenital heart defects.
Häftad, Engelska, 2010
1 503 kr
Skickas inom 10-15 vardagar
Congenital heart disease is gaining importance as a condition that effects not only the pediatric population but also the adult population, as many congenital cardiac conditions remain silent for years until accidentally discovered on routine check up. Echocardiography in Adult Congenital Heart Disease provides cardiologists with access to the wealth of imaging from the Royal Brompton Hospital and National Heart and Lung Institute in London to enable them to improve on their own skills and refine their imaging technique. The authors correlate this echocardiography experience with the pathological and surgical aspects of congenital heart defects.
Del 12290 - Lecture Notes in Computer Science
Algorithmic Aspects in Information and Management
14th International Conference, AAIM 2020, Jinhua, China, August 10–12, 2020, Proceedings
Häftad, Engelska, 2020
545 kr
Skickas inom 10-15 vardagar
This volume constitutes the proceedings of the 14th International Conference on Algorithmic Aspects in Information and Management, AAIM 2020, held in Jinhua, China in August 2020.
Del 12382 - Lecture Notes in Computer Science
Security, Privacy, and Anonymity in Computation, Communication, and Storage
13th International Conference, SpaCCS 2020, Nanjing, China, December 18-20, 2020, Proceedings
Häftad, Engelska, 2021
561 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 13th International Conference on Security, Privacy, and Anonymity in Computation, Communication, and Storage, SpaCCS 2020, held in Nanjing, China, in December 2020. The 30 full papers were carefully reviewed and selected from 88 submissions.The papers cover many dimensions including security algorithms and architectures, privacy-aware policies, regulations and techniques, anonymous computation and communication, encompassing fundamental theoretical approaches, practical experimental projects, and commercial application systems for computation, communication and storage.SpaCCS 2020 is held jointly with the 11th International Workshop on Trust, Security and Privacy for Big Data (TrustData 2020), the 10th International Symposium on Trust, Security and Privacy for Emerging Applications (TSP 2020), the 9th International Symposium on Security and Privacy on Internet of Things (SPIoT 2020), the 6th International Symposium on Sensor-Cloud Systems (SCS 2020), the 2nd International Workshop on Communication, Computing, Informatics and Security (CCIS 2020), the First International Workshop on Intelligence and Security in Next Generation Networks (ISNGN 2020), the First International Symposium on Emerging Information Security and Applications (EISA 2020).
Del 12383 - Lecture Notes in Computer Science
Security, Privacy, and Anonymity in Computation, Communication, and Storage
SpaCCS 2020 International Workshops, Nanjing, China, December 18-20, 2020, Proceedings
Häftad, Engelska, 2021
561 kr
Skickas inom 10-15 vardagar
This book constitutes seven refereed workshops and symposiums, SpaCCS Workshops 2020, which are held jointly with the 13th International Conference on Security, Privacy, and Anonymity in Computation, Communication, and Storage, SpaCCS 2020, in Nanjing, China, in December 2020.The 48 papers were carefully reviewed and selected from 131 submissions and cover a broad range of topics on security, privacy and anonymity in computation communication, and storage, including the 11th International Workshop on Trust, Security and Privacy for Big Data (TrustData 2020), the 10th International Symposium on Trust, Security and Privacy for Emerging Applications (TSP 2020), the 9th International Symposium on Security and Privacy on Internet of Things (SPIoT 2020), the 6th International Symposium on Sensor-Cloud Systems (SCS 2020), the Second International Workshop on Communication, Computing, Informatics and Security (CCIS 2020), the First International Workshop on Intelligence and Security in Next Generation Networks (ISNGN 2020), the First International Symposium on Emerging Information Security and Applications (EISA 2020).
Del 25 - Progress in Computer Science and Applied Logic
Mathematical Logic
Foundations for Information Science
Inbunden, Engelska, 2014
545 kr
Skickas inom 10-15 vardagar
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage.The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging.This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students inrelevant disciplines.
Del 9486 - Lecture Notes in Computer Science
Combinatorial Optimization and Applications
9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings
Häftad, Engelska, 2015
545 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 9th International Conference on Combinatorial Optimization and Applications, COCOA 2015, held in Houston, TX, USA, in December 2015. Topics covered include classic combinatorial optimization; geometric optimization; applied optimization; and optimization in graphs.
Del 10874 - Lecture Notes in Computer Science
Wireless Algorithms, Systems, and Applications
13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings
Häftad, Engelska, 2018
1 447 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 13th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2018, held in Tianjin, China, in June 2018. The 59 full papers and 18 short papers presented in this book were carefully reviewed and selected from 197 submissions.