You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24–28, 2023. The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: Degree theory; Proof Theory; Computability; Algorithmic Randomness; Computational Complexity; Interactive proofs; and Combinatorial approaches.
The two-volume set of LNCS 10941 and 10942 constitutes the proceedings of the 9th International Conference on Advances in Swarm Intelligence, ICSI 2018, held in Shanghai, China, in June 2018. The total of 113 papers presented in these volumes was carefully reviewed and selected from 197 submissions. The papers were organized in topical sections namely: multi-agent systems; swarm robotics; fuzzy logic approaches; planning and routing problems; recommendation in social media; predication; classification; finding patterns; image enhancement; deep learning; theories and models of swarm intelligence; ant colony optimization; particle swarm optimization; artificial bee colony algorithms; genetic algorithms; differential evolution; fireworks algorithm; bacterial foraging optimization; artificial immune system; hydrologic cycle optimization; other swarm-based optimization algorithms; hybrid optimization algorithms; multi-objective optimization; large-scale global optimization.
Advances in Urban Engineering and Management Science contains the selected papers resulting from the 2022 3rd International Conference on Urban Engineering and Management Science (ICUEMS 2022). Covering a wide range of topics, the Proceedings of ICUEMS 2022 presents the latest developments in: (i) Architecture and Urban Planning (Architectural design and its theory, Urban planning and design, Building technology science, Urban protection and regeneration, Urban development strategy, Ecological construction and intelligent control, Sustainable infrastructure); (ii) Logistics and supply chain management (Warehousing and distribution, Logistics outsourcing, Logistics automation, Production and ...
What happens to our sense of agency, our general ability to perform actions in our life worlds, in the course of media reception and appropriation? Whilst considering media communication as a special form of social action, this work reconsiders the key concepts of social action theory, pragmatism, communication theory as well as film, game and television theory. It thus integrates agency as the key to understanding ‘doing media’ and at the same time conceptualizes agency as a specific mode of involvement across media boundaries. This approach amalgamates miscellaneous ideas and conceptions such as interactivity, participation, cognitive control, play or empowerment and applies the theoretical considerations on the basis of textual analyses of the films Inception and The Proposal, the TV shows Lost and I’m a Celebrity and the video games Grand Theft Auto IV and The Walking Dead.
An important reference source for scholars and students of modern Chinese art, collectors, museums and libraries, dealers and auction houses. It includes biographical entries for approximately 800 Chinese artists who grew up or were trained in China and who are likely to be represented in collections, exhibitions, and auctions within and outside China.
Selected, peer reviewed papers from the 4th International Conference on Frontiers of Manufacturing and Design Science (ICFMD 2013), September 10-12, 2013, Hong Kong, China
This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009. The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.
This book constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009. The 39 full papers presented together with 7 invited papers as well as 3 plenary talks were selected from 86 submissions. The papers address the three main themes of the conference which were Computability, Complexity, and Algorithms. The conference aimed to bring together researchers with interests in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.
The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association for Symbolic Logic.This book contains papers ? many of them surveys by leading experts ? of both the 7th meeting (in Hsi-Tou, Taiwan) and the 8th (in Chongqing, China). The volume planned for the 7th meeting was interrupted by the earthquake in Taiwan and the decision was made to combine the two proceedings. The 8th conference is also the ICM2002 Satellite Conference on Mathematical Logic.