|
464193件取得済み(全100ページ)
前へ | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 次へ |
<p>Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of modalities. A deep understanding of these roots opens avenues to the modern calculi of temporal logic which have emerged by extension of modal logic with temporal operators.</p> <p>Computationally, temporal operators can be introduced in different formalisms with increasing complexity such as Basic Modal Logic (BML), Linear-Time Temporal Logic (LTL), Computation Tree Logic (CTL), and Full Computation Tree Logic (CTL*). Proof-theoretically, these formalisms of temporal logic can be interpreted by the sequent calculus of Gentzen, the tableau-based calculus, automata-based calculus, game-based calculus, and dialogue-based calculus with different advantages for different purposes, especially in computer science.</p> <p>The book culminates in an outlook on trendsetting applications of temporal logics in future technologies such as artificial intelligence and quantum technology. However, it will not be sufficient, as in traditional temporal logic, to start from the everyday understanding of time. Since the 20th century, physics has fundamentally changed the modern understanding of time, which now also determines technology. In temporal logic, we are only just beginning to grasp these differences in proof theory which needs interdisciplinary cooperation of proof theory, computer science, physics, technology, and philosophy.</p> <p><strong>Contents:</strong></p> <ul> <li> <p><em><strong>Philosophical Roots of Temporal Logic:</strong></em></p> <ul> <li>The Concept of Time</li> <li>Toward Formal Systems of Temporal Logic</li> </ul> </li> <li> <p><em><strong>Computational Foundations of Temporal Logic:</strong></em></p> <ul> <li>Basic Modal Logic</li> <li>Linear-Time Temporal Logic</li> <li>Computation Tree Logic</li> <li>Full Computation Tree Logic</li> </ul> </li> <li> <p><em><strong>Proof-Theoretical Foundations of Temporal Logic:</strong></em></p> <ul> <li>Gentzen Calculus and Temporal Logic</li> <li>Tableaux-Based Calculus and Temporal Logic</li> <li>Automata-Based Calculus and Temporal Logic</li> <li>Game-Based Calculus and Temporal Logic</li> <li>Dialogue-Based Constructive Temporal Logic</li> </ul> </li> <li> <p><em><strong>Applications and Outlook of Temporal Logic:</strong></em></p> <ul> <li>Temporal Logic in Artificial Intelligence and Machine Learning</li> <li>Temporal Logic in Relativistic Physics</li> <li>Temporal Logic in Quantum Computing</li> <li>Societal Impact of Temporal Logic</li> </ul> </li> </ul> <p><strong>Readership:</strong> Researchers and students of mathematical logic and foundations, theoretical computer science, and philosophy. The level is graduate with introductions on the undergraduate level. The book can be used for courses on temporal logic in mathematical logic as well as in computer science. It is also of general interest for the general reader in philosophy, social science (e.g., security issues), and history of science.<br /> <strong>Key Features:</strong></p> <ul> <li>There are already monographs to special fields of temporal logic and calculi</li> <li>the first advantage of this book is the connection of proof-theoretical foundations of temporal logic with applications in computer science</li> <li>The second advantage is the integration of temporal concepts of modern physics which overcomes the traditional everyday understanding of time which is not sufficient for modern technology</li> <li>Thus, a main advantage of the book is its interdisciplinary approach of proof theory, computer science, physics, technology, and philosophy. These are all together very topical issues</li> </ul>画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちら をクリックして下さい。 ※このページからは注文できません。 8,867円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
<p>Originally published in 1991, this book focusses on the philosophies, histories and processes which have made the West European city system rich in internal variety yet distinct from that of the rest of western industrialised urban society. It synthesizes international experiences in particular asp... 8,075円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
<p>Advances in Cancer Research, Volume 138, the latest release in this ongoing, well-regarded serial provides invaluable information on the exciting and fast-moving field of cancer research. This volume presents original reviews on research bridging oncology and gene expression, with this volume cover... 18,081円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
<p>'Radiology Life Support' focuses on the adverse effects and life-threatening emergencies caused by reactions to the contrast media used in every modern radiology department. Such reactions are relatively infrequent yet can be severe and are therefore difficult to identify and then handle safely wit... 7,234円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
<p>What happens when ideas presented as science lead us in the wrong direction?<br /> History is filled with brilliant ideas that gave rise to disaster, and this book explores the most fascinatingーand significantーmissteps: from opium's heyday as the pain reliever of choice to recognition of opioids as... 1,612円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
<p>This book provides something far more valuable than either the cheerleading or the fear-mongering one hears about open source. The authors are Dan Woods, former CTO of TheStreet.com and a consultant and author of several books about IT, and Gautam Guliani, Director of Software Architecture at Kapla... 1,989円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
著者:Shirley M. Ziegler出版社:Springerサイズ:ペーパーバックISBN-10:0826176321ISBN-13:9780826176325■通常24時間以内に出荷可能です。※繁忙期やセール等、ご注文数が多い日につきましては 発送まで48時間かかる場合があります。あらかじめご了承ください。 ■メール便は、1冊から送料無料です。※宅配便の場合、2,500円以上送料無料です。※最短翌日配達ご希望の方は、宅配便をご選択下さい。※「代引き」ご希望の方... 2,617円 税込 送料別 カードOK もったいない本舗 楽天市場店 ![]() | ||
<p>Fuzzy control methods are critical for meeting the demands of complex nonlinear systems. They bestow robust, adaptive, and self-correcting character to complex systems that demand high stability and functionality beyond the capabilities of traditional methods. A thorough treatise on the theory of fuzzy logic control is out of place on the design bench. That is why Fuzzy Controller Design: Theory and Applications offers laboratory- and industry-tested algorithms, techniques, and formulations of real-world problems for immediate implementation. With surgical precision, the authors carefully select the fundamental elements of fuzzy logic control theory necessary to formulate effective and efficient designs. The book supplies a springboard of knowledge, punctuated with examples worked out in MATLAB?/SIMULINK?, from which newcomers to the field can dive directly into applications. It systematically covers the design of hybrid, adaptive, and self-learning fuzzy control structures along with strategies for fuzzy controller design suitable for on-line and off-line operation. Examples occupy an entire chapter, with a section devoted to the simulation of an electro-hydraulic servo system. The final chapter explores industrial applications with emphasis on techniques for fuzzy controller implementation and different implementation platforms for various applications. With proven methods based on more than a decade of experience, Fuzzy Controller Design: Theory and Applications is a concise guide to the methodology, design steps, and formulations for effective control solutions.</p>画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちら をクリックして下さい。 ※このページからは注文できません。 50,479円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
69. 【電子書籍なら、スマホ・パソコンの無料アプリで今すぐ読める!】 Economical, Political, and Social Issues in Water Resources【電子書籍】 <p>Economical, Political, and Social Issues in Water Resources provides a fully comprehensive and interdisciplinary overview of all three factors in their relation to water resources. Economic issues consist of Water accounting, Water economy, Water pricing, Water market, Water bank and bourse. Politi... 15,861円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
70. 【電子書籍なら、スマホ・パソコンの無料アプリで今すぐ読める!】 Advances in Fluid Dynamics Selected Proceedings of ICAFD 2018【電子書籍】 <p>This book comprises selected peer-reviewed proceedings of the International Conference on Applications of Fluid Dynamics (ICAFD 2018) organized by the School of Advanced Sciences, Vellore Institute of Technology, India, in association with the University of Botswana and the Society for Industrial a... 36,464円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
<p>The first textbook on mathematical methods focusing on techniques for optical science and engineering, this text is ideal for upper division undergraduate and graduate students in optical physics. Containing detailed sections on the basic theory, the textbook places strong emphasis on connecting th... 18,577円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
72. 【電子書籍なら、スマホ・パソコンの無料アプリで今すぐ読める!】 The Madness of Fear A History of Catatonia【電子書籍】[ Edward Shorter ] <p>What are the real disease entities in psychiatry? This is a question that has bedeviled the study of the mind for more than a century yet it is low on the research agenda of psychiatry. Basic science issues such as neuroimaging, neurochemistry, and genetics carry the day instead. There is nothing w... 7,865円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
NONLINEAR WAVES 2022/E Emmanuel Kengne Wuming Liu SPRINGER NATURE2023 Hardcover 2022 English ISBN:9789811967436 洋書 Computers & Science(コンピューター&科学) Science... 61,380円 税込 送料込 カードOK 楽天ブックス ![]() | ||
<p>Na era da Transforma??o Digital, a Intelig?ncia Artificial (IA) emerge como uma for?a motriz por tr?s da inova??o e da efici?ncia operacional. A IA n?o apenas capacita as organiza??es a automatizar processos, mas tamb?m permite insights e a??es baseadas em dados em tempo real, impulsionando a tomada de decis?es informadas e a personaliza??o em escala. Automatiza??o Inteligente A IA possibilita a automa??o inteligente de uma ampla gama de tarefas, desde o atendimento ao cliente at? a an?lise de dados. Algoritmos de machine learning e redes neurais podem aprender padr?es complexos nos dados e realizar tarefas com efici?ncia e precis?o, liberando recursos humanos para atividades de maior valor agregado. Por exemplo, sistemas de IA podem automatizar o processamento de pedidos, a classifica??o de e-mails ou at? mesmo a manuten??o preditiva de equipamentos. Personaliza??o em Escala Uma das ?reas onde a IA brilha ? na personaliza??o de produtos e servi?os. Por meio da an?lise avan?ada de dados, as empresas podem entender melhor as prefer?ncias individuais dos clientes e oferecer experi?ncias altamente personalizadas em escala massiva. Algoritmos de recomenda??o alimentados por IA impulsionam as sugest?es de produtos em plataformas de com?rcio eletr?nico, enquanto chatbots alimentados por IA fornecem suporte ao cliente personalizado em tempo real. An?lise Preditiva e Prescritiva A IA capacita as organiza??es a prever tend?ncias futuras e antecipar demandas do mercado por meio da an?lise preditiva. Algoritmos avan?ados podem identificar padr?es nos dados hist?ricos e fazer previs?es precisas sobre o comportamento futuro dos clientes, as condi??es do mercado e at? mesmo falhas potenciais nos processos operacionais. Al?m disso, a IA tamb?m pode fornecer insights prescritivos, recomendando a??es espec?ficas para otimizar resultados com base nas previs?es feitas. Inova??o Cont?nua A IA ? um catalisador para a inova??o cont?nua, permitindo que as empresas desenvolvam produtos e servi?os cada vez mais sofisticados. Sistemas de IA podem ser treinados para reconhecer padr?es de mercado, identificar oportunidades de novos produtos e at? mesmo gerar novas ideias criativas. Al?m disso, a IA pode acelerar o processo de pesquisa e desenvolvimento, reduzindo o tempo necess?rio para levar novos produtos ao mercado. A Intelig?ncia Artificial desempenha um papel crucial na Transforma??o Digital, capacitando as organiza??es a automatizar processos, personalizar experi?ncias, prever tend?ncias e impulsionar a inova??o. Ao abra?ar plenamente o potencial da IA, as empresas podem ganhar uma vantagem competitiva significativa em um mundo cada vez mais digitalizado e orientado por dados. Nos pr?ximos cap?tulos, exploraremos estrat?gias espec?ficas para a integra??o eficaz da IA na jornada de Transforma??o Digital de uma organiza??o.</p>画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちら をクリックして下さい。 ※このページからは注文できません。 880円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
<p>SPACE2014 - Die spannende Welt der Raumfahrt. Die elfte Ausgabe des Raumfahrt-Klassikers. Powered Flight: Bransons Start ins All +++ Asteroiden: Gefahr aus dem All +++ China landet auf dem Mond +++ Private Raumfahrt schaltet in den n?chsten Gang +++ Proton: Pfusch und Pannen +++Mercurys gef?hrliche... 1,100円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
DISPARITIES IN URBAN HEALTH Edward V. Wallace JOHNS HOPKINS UNIV PR2024 Paperback English ISBN:9781421445694 洋書 Computers & Science(コンピューター&科学) Medical... 10,208円 税込 送料込 カードOK 楽天ブックス ![]() | ||
<p>Sea Urchins: Biology and Ecology, Fourth Edition, Volume 43 expands its coverage to include the entire class of Echinoidea, making this new edition an authoritative reference of the entire class of species. This is a valuable resource that will help readers gain a deep understanding of the basic characteristics of sea urchins, the basis of the great variation that exists in sea urchins, and how sea urchins are important components of marine ecosystems. Updated coverage includes sections on reproduction, metabolism, endocrinology, larval ecology, growth, digestion, carotenoids and disease. - Includes pertinent tables and graphs within chapters to visually summarize information - Provides case studies with research applications to provide potential solutions - Includes the entire class of Echinoidea and the effect of climate change on the biology and ecology of the species</p>画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちら をクリックして下さい。 ※このページからは注文できません。 21,147円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
<p>This book highlights the implications of nanotechnology and the effects of nanoparticles on agricultural systems, their interactions with plants as well as their potential applications as fertilizers and pesticides. It also discusses how innovative, eco-friendly approaches to improve food and agric... 21,878円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
<p>Embark on a transformative journey with "The Type 2 Diabetes Mastery Bible: Your Blueprint For Complete Type 2 Diabetes Management." This comprehensive guide begins with a deep dive into the biology of Type 2 Diabetes, unraveling its symptoms, risk factors, and the often overlooked complications of... 300円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個... 7,795円 税込 送料別 カードOK Glomarket ![]() | ||
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個人ではない法人・団体名義での購入はできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 ・お名前にカタカナが入っている場合法人である可能性が高いため当店システムから自動保留します。カタカナで記載が必要な場合はカタカナ変わりローマ字で記載してください。 ・お名前またはご住所が法人・団体名義(XX株式会社等)、商店名などを含めている場合、または電話番号が個人のものではない場合、税関から法人名義でみなされますのでご注意ください。 ・転送サービス会社への発送もできません。この場合税関で滅却されてもお客様負担になりますので御了承願います。 *** ・注文後品切れや価格変動でキャンセルされる場合がございますので予めご了承願います。 ・当店でご購入された商品は、原則として、「個人輸入」としての取り扱いになり、すべてニュージャージからお客様のもとへ直送されます。 ・ご注文後、30営業日以内(通常2~3週間)に配送手続きをいたします。配送作業完了後、2週間程度でのお届けとなります。 ・まれに商品入荷状況や国際情勢、運送、通関事情により、お届けが2ヶ月までかかる場合がありますのでお急ぎの場合は注文をお控えください。 ・個人輸入される商品は、全てご注文者自身の「個人使用・個人消費(日本に居住する者に寄贈される物で、当該寄贈を受ける者の個人的な使用に供される場合を含みます。)」が前 提となります。第三者への譲渡・転売が法令で禁止されるもの(医薬品、医薬部外品、化粧品等を含みますが、これに限られません。)もございますのでご注意下さい。 ・関税・消費税が課税される場合があります。詳細はこちらをご確認下さい。PC販売説明文 11,487円 税込 送料別 カードOK Glomarket ![]() | ||
TRANSACTIONS ON DATA HIDING & Yun Q. Shi SPRINGER NATURE2011 Paperback English ISBN:9783642245558 洋書 Computers & Science(コンピューター&科学) Computers... 23,870円 税込 送料込 カードOK 楽天ブックス ![]() | ||
ATLAS OF THE HIST OF MODERN SC T. H. Brobjer SPRINGER NATURE2025 Hardcover 2025 English ISBN:9783031766268 洋書 Computers & Science(コンピューター&科学) Science 40,920円 税込 送料込 カードOK 楽天ブックス ![]() | ||
<p>Internet has become the most proliferative platform for emerging large-scale computing paradigms. Among these, data and web technologies are two most prominent paradigms, in a variety of forms such as Data Centers, Cloud Computing, Mobile Cloud, Mobile Web Services, and so on. These technologies altogether create a digital ecosystem whose corner stone is the data cycle, from capturing to processing, analysis and visualization. The investigation of various research and development issues in this digital ecosystem is boosted by the ever-increasing needs of real life applications, which are based on storing and processing large amounts of data.</p> <p>The volume “<em>Advances in Internet, Data & Web Technologies</em>” presents original contributions to the theories and practices of emerging Internet, Data and Web technologies and their applicability in businesses, engineering and academia. As a key feature, it addresses advances in the life-cycle exploitation of data generated from the digital ecosystem data technologies that create value for the knowledge and businesses towards a collective intelligence approach.</p> <p>Researchers, software developers, practitioners and students interested in the field of data and web technologies will find this book useful and a reference for their activity.</p>画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。※切り替わらない場合は、こちら をクリックして下さい。 ※このページからは注文できません。 26,740円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
<p><strong>The ONLY guide specifically created to prepare for the Canadian Family Medicine Licensing Examination</strong></p> <p><em>Everything you need to ace the SAMPs portion of the exam!</em></p> <p>This unique review delivers thorough coverage of every priority topic included on the short answer manageme... 18,509円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
<p>Esthetic dentistry is an area of recognizable growth around the world and it often brings considerable challenges for the clinician. Nairn Wilson CBE ? one of the world's leading dental educationalists ? presents a unique volume designed to introduce practitioners to the world of esthetic dentistry... 9,090円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
<p>Passend zum Standardlehrbuch Zeeck, Chemie f?r Mediziner 9. Auflage In diesem Arbeitsbuch finden Sie ?ber 350 ?bungsaufgaben - perfekt auf den GK abgestimmt und unter Ber?cksichtigung neuer m?glicher Fragetypen, die sich aus dem NKLM ergeben k?nnen. Im Pr?fungstrainer ?ben Sie das Zeichnen von chem... 2,126円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
<p>"Effective Data Version Control with DVC"</p> <p>"Effective Data Version Control with DVC" is a comprehensive and authoritative guide to mastering Data Version Control (DVC) for modern data-driven teams. As the scale and complexity of machine learning and data science projects continue to grow, so does... 1,509円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
<p>The "Bourne Again SHell" (Bash) is a powerful command-line shell interface that lets you communicate directly with the kernel at the heart of a computer’s operating system for total control. Bash is the default shell for Unix-based operating systems Linux, Mac OS X, and Raspbian on Raspberry Pi dev... 2,753円 税込 送料込 カードOK 楽天Kobo電子書籍ストア ![]() | ||
*** We ship internationally, so do not use a package forwarding service. We cannot ship to a package forwarding company address because of the Japanese customs regulation. If it is shipped and customs office does not let the package go, we do not make a refund. 【注意事項】 *** 特に注意してください。 *** ・個... 6,464円 税込 送料別 カードOK Glomarket ![]() |