Ebooks de Wei Li en PDF et EPUB

12 Livre(s)
Télécharger le livre : R-Calculus, VI: Finite Injury Priority Method
Ajouter à ma liste d'envies
R-Calculus, VI: Finite Injury Priority Method
Wei Li , Yuefei Sui
This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, and extend the method to infinite injury priority...

Editeur : Springer
Parution : 2024-10-28

PDF, ePub

148,39 €
Télécharger le livre : R-Calculus, V: Description Logics
Ajouter à ma liste d'envies
R-Calculus, V: Description Logics
Wei Li , Yuefei Sui
This book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and...

Editeur : Springer
Parution : 2024-01-05
Collection : Perspectives in Formal Induction, Revision and Evolution
PDF, ePub

180,19 €
Télécharger le livre : R-Calculus, IV: Propositional Logic
Ajouter à ma liste d'envies
R-Calculus, IV: Propositional Logic
Wei Li , Yuefei Sui
This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming,...

Editeur : Springer
Parution : 2023-03-27
Collection : Perspectives in Formal Induction, Revision and Evolution
PDF, ePub

180,19 €
Télécharger le livre : R-Calculus, III: Post Three-Valued Logic
Ajouter à ma liste d'envies
R-Calculus, III: Post Three-Valued Logic
Wei Li , Yuefei Sui
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as...

Editeur : Springer
Parution : 2022-11-19
Collection : Perspectives in Formal Induction, Revision and Evolution
PDF, ePub

169,59 €
Télécharger le livre : R-Calculus, II: Many-Valued Logics
Ajouter à ma liste d'envies
R-Calculus, II: Many-Valued Logics
Wei Li , Yuefei Sui
This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved...

Editeur : Springer
Parution : 2022-04-12
Collection : Perspectives in Formal Induction, Revision and Evolution
PDF, ePub

148,39 €
Télécharger le livre : R-CALCULUS: A Logic of Belief Revision
Ajouter à ma liste d'envies
R-CALCULUS: A Logic of Belief Revision
Wei Li , Yuefei Sui
This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal...

Editeur : Springer
Parution : 2021-11-01
Collection : Perspectives in Formal Induction, Revision and Evolution
PDF, ePub

95,39 €
Télécharger le livre : Hybrid Organic-Inorganic Perovskites
Ajouter à ma liste d'envies
Hybrid Organic-Inorganic Perovskites
Song Gao , Wei Li , Alessandro Stroppa , Zhe-Ming Wang
Hybrid organic-inorganic perovskites (HOIPs) have attracted substantial interest due to their chemical variability, structural diversity and favorable physical properties the past decade. This materials class encompasses other important families such as formates,...

Editeur : Wiley-VCH
Parution : 2020-06-24

PDF, ePub

154,71 €
Télécharger le livre : Artificial Intelligence Algorithms and Applications
Ajouter à ma liste d'envies
Artificial Intelligence Algorithms and Applications
Wei Li , Kangshun Li , Yong Liu , Hui Wang
This book constitutes the thoroughly refereed proceedings of the 11th International Symposium on Intelligence Computation and Applications, ISICA 2019, held in Guangzhou, China, in November 2019.The 65 papers presented were carefully reviewed and selected from  the...

Editeur : Springer
Parution : 2020-05-25
Collection : Communications in Computer and Information Science
PDF, ePub

105,99 €
Télécharger le livre : The SAGE Handbook of International Migration
Ajouter à ma liste d'envies
The SAGE Handbook of International Migration
Christine Inglis , Binod Khadria , Wei Li
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...

Editeur : SAGE Publications Ltd
Parution : 2019-11-05

PDF, ePub

108,44 €
Télécharger le livre : Proceedings of the 6th Conference on Sound and Music Technology (CSMT)
Ajouter à ma liste d'envies
Proceedings of the 6th Conference on Sound and Music Technology (CSMT)
Wei Li , Shengchen Li , Zijin Li , Xi Shao
This book discusses the use of advanced techniques to produce and understand music in a digital way. It gathers the first-ever English-language proceedings of the Conference on Sound and Music Technology (CSMT), which was held in Xiamen, China in 2018. As a leading...

Editeur : Springer
Parution : 2019-07-02
Collection : Lecture Notes in Electrical Engineering
PDF, ePub

95,39 €
Télécharger le livre : Crowdsourcing
Ajouter à ma liste d'envies
Crowdsourcing
Michael N. Huhns , Wei Li , Wei-Tek Tsai , Wenjun Wu
This book presents the latest research on the software crowdsourcing approach to develop large and complex software in a cloud-based platform. It develops the fundamental principles, management organization and processes, and a cloud-based infrastructure to support this...

Editeur : Springer
Parution : 2015-05-28
Collection : Progress in IS
PDF, ePub

95,39 €
Télécharger le livre : Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections
Ajouter à ma liste d'envies
Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections
Zhenghao Gan , Yuejin Hou , Wei Li , Cher Ming Tan
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...

Editeur : Springer
Parution : 2011-03-28
Collection : Springer Series in Reliability Engineering
ePub

95,39 €