検索結果 858 件
紙図書
国立国会図書館
- 要約等This volume is dedicated to Hiroakira Ono lifes work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections ......It further contains specialised contribut......ections to formal languages (recognizability in residuated lattices and connections ......rty), covering systems for modal substructural logics, results on the existence and disjunction properties and ...
- 内容細目...the modalities of linear logic (Robert Goldblatt) Chapter 9. A negative solution t......P52: Existence and disjunction ......es in intermediate predicate logic (Nobu-Yuki Suzuki) Chapter 10. Conservative expansions of substructural logics (Jacopo Amidei, Rodolfo C. Ertola-Biraben and Franco Montagna)
- LCCQA9
紙図書
国立国会図書館
- 要約等...ses technology and systems to create valuable ideas from data through the construction of knowledge. The primary concern is to make better decisions about economic and management issues in todays information-flooded society. Human creative activity is in the realm of soft technology, with no physical entity to operate. Focusing on the ability of knowledge as judgment powe......technology is soft technology that underpins the human creative activities of converting data and information into knowledge, creating new ideas based on that knowledge and validating those ideas. That definition includes a wide range of soft technologi...
- 内容細目...dge into Information 1.1.2.2 Challenges in Converting Information into Knowl......lizing Well-Established Rational Analysis Methods 1......zing the Cultivated Intuition of People 1.1.2.3 Challenges in Creating Ideas from the Know......e 1.1.2.3.1 Creating New Ideas Through the Systematization of Knowledge 1.1.2.3.2 Creating New Ideas with Creative Technologies 1.1.2.4 Challenges in Validating the Value of Ideas 1.1.2.4.1 Justifying and Promoting the Ideas 1.1.2.4.2 Imp......menting the Ideas and Verifying the Value 1.2 Knowledge Systems and Challenges 1.2.1 D......ning Knowledge Systems 1.2.1.1 Systems Managing and Creating Knowle...
- LCCQA76.76.E95
紙図書
国立国会図書館全国の図書館
- 要約等AI, Edge, and IoT Smart Agriculture integrates applications of IoT, edge computing, and data analytics for sustainable agricultural development and introduces Edge of Thing-based data analytics and IoT for predictability of crop, soil, and plant disease occurrence f......r improved sustainability and increased profitability. The book also addresses precision irrigation, precision......toring, IoT ecosystem for agriculture, mob...... for precision agriculture, ene......onitoring, storage management, and smart farming. The book provides an overarching focus on sustainable environment and sustainable economic development throu...
- 内容細目...ar and A.N. Sigappi Precision agriculture : weather forecasting for future farming / Kingsle......n Ukhurebor, Charles Oluwaseun Adetunji, Daniel Ingo Hefft et al II. IoT use cases in smart farming and smart agriculture: Crop management system using IoT / Himadri Nath Saha, Reek Roy, Chiranmay Sarkar et al. Smart irrigation and crop security in agriculture using IoT / Sugamya Katta, Sangita Ramatenki and Harika Sammeta The Internet of Things in agriculture for sustainable rural development / Ashish Tripathi, Arush Jain, Prem Chand Vashist et al. Internet of Things (IoT) in agriculture toward urban greening / Sarita Samal, Bis...
- 件名Agricultural informatics Agricultural innovations Artificial intelligence--Agricultural applications Edge computing Internet of things
紙図書
国立国会図書館全国の図書館
- 要約等This book provides a thorough understanding of the basic principles, synthesis, analysis, and control of virtual inertia systems. It uses the latest technical tools to mitigate power system stability and control prob......r the presence of high distributed generators (DGs) and renewable energy sour......s (RESs) penetration. This book uses a simple virtual inertia control structure based on the freq......lemented with various control methods and algorithms to achieve an adaptive virtual inertia control respec......he frequency stability and control issues. The chapters capture the important aspects in virtual inertia synthesis and contro...
- 内容細目...art Kerdphol, Fathin Saifur Rahman, Masayuki Watanabe, Yasunori Mitani Model predic......ntrol for virtual inertia synthesis / Thongchart Kerdphol, Fathin Saifur Rahman, Masayuki Watanabe, Yasunori Mitani Fuzzy logic control for virtual inertia synthesis / Thongchart Kerdphol, Fathin Saifur Rahman, Masayuki Watanabe, Yasunori Mitani Synthesis of robust virtual inertia control / Thongchart Kerdphol, Fathin Saifur Rahman, Masayuki Watanabe, Yasunori Mitani Optimization of virtual inertia control considering system frequency prot......cheme / Thongchart Kerdphol, Fathin Saifur Rahman, Masayuki Watanabe, Yasunori Mitani Techni...
- 件名Electric power system stability Inertia (Mechanics) Power electronics Renewable energy sources Automatic control Automatic control. Power electronics...
紙図書
国立国会図書館全国の図書館
- 要約等This second edition volume expands on the prev......s edition with an update on the latest techniques......sed to study plant systems biology on three specific scales: the molecular level, the tissue level, and the whole plant. Chapters cover topics such as gene regulatory network inference and dynamic modeling using ordinary differential equations or Boolean formalisms; protocols for at-will induction of plant aerial or root organs, or quantification of tissue mechanical properties; mathematical modeling of plant tissue using SimuPlant or VirtualLeaf; and simulating crop root systems using OpenSim......hods in Molecular Biology series format, chapt...
- 内容細目...ent using VirtualLeaf Identifying Developmental Patterns in Structured Plant Phenotyping Data Putting Plant Roots at Light: Temporal Imaging of Plant Roots and Soil Water with a Light Transmission Techn......e for Linking Water and Root Observations to Soil-Plant Models RACINE2.2: A Software Application for Processing and Mapping Spatial Distribution of Root Length Density and Potential Root Extraction Ratio from Root C......ts on Trench Profiles Investigating Soil-Root Interactions with the Numerical Model R-SWMS ...... to Define the Appropriate Spatial Resolution of Root Segments When Solving Water Flow in Root System Hydrau...
- NDLCRA115
紙図書
国立国会図書館全国の図書館
- 内容細目Introduction to hybrid logic. Informal motivation ; Formal syntax and semantics ; The origin of hybrid logic in prior's wor......since prior Proof-theory of propositional hybrid logic. The basics of natural deduction systems ; Natural deduction for propositional hybrid logic ; The basics of Gentzen systems ; Gentzen systems for propositional hybrid logic ; Axiom systems for propositional hybrid logic Tableaus and decision pro......res for hybrid logic. The basics of tableau systems ; A tableau system including the universal modality ; The tableau systems reformulated as Gentzen systems ; Discussion Comparison to Seligman's natural de...
- LCCQA9.54
- NDLCMA41
紙図書
国立国会図書館全国の図書館
- 要約等The last two decades have seen a shift towards service-based value in a process referred to as servitization. Manufacturers have been challenged to create relevant knowledge and adapt to this change. This book has two key purposes. First of all, the authors examine the theoretical underpinnings of knowledge management and servitization, before proposing a conceptual model for knowledge co-creation and organizational knowledge management processe......tested through a series of case studies from Japan and Malaysia, providing ins......to experiences of business transformation from produ......c in developed and developing Asian economies....
- 内容細目...rvitization management model ; 3.5. Summary. Part II. Asian cases in servitization: 4. Develo......ed economies (Japan) cases. 4.1. Japanese monitor maker : company 'A' ; 4.2. HDRIVE and Hitachi capital case ; 4.3. Uniqlo and Toray case 5. Developing economies (Malaysia) cases. 5.1. PKT L......roup Sdn Bhd : a knowledge creating service company ; 5.2. Feruni Ceramiche Sdn Bhd ; 5.3. Company B : Health products and traditional medicines manufacturer ; 5.4. Summary 6. Summary and discussions 7. Discussions ...
- 件名Knowledge management Production management Knowledge management. Production management.
紙図書
国立国会図書館
- 内容細目Intro Foreword Preface: The Reason Why We Seek......iving "Beyond Data" Contents Part I Thoughts and Communication for Living Beyond Data 1 Living Beyond Data with Feature Concepts 1......ction: Communications for Discovering Data Utilities 1.2 Feature Concepts f......r Connecting Stakeholders 1.3 Examples of Feature Concepts in Data Utilities 1.4 Discussion: Feature Concepts as Patters for Living Beyond Data 1.5 Conclusion......erences 2 Innovation for the Real-World Through......Knowing, Uncertainty, and Innovation 2.2.1 Ways of Knowing in Innovation 2.2.2 Know......Knowing in Situations of Uncertainty and Ambiguity 2.2.3 The O...
- 件名Artificial intelligence Artificial intelligence.
- タイトル標目Intelligent Systems Reference Library, 1868-4394
紙図書
国立国会図書館
- 要約等This book introduces and analyses the latest maximum power point tracking (MPPT) te......niques, which can effectively reduce the cost of power generated from photovoltaic energy systems. It also presents a detailed description, analysis, and comparison of various MPPT techniques applied to stand-alone systems and those interfaced with electr......c utilities, examining their performance under normal and abnormal operating conditions......hniques, which and can be conventional or smart, are a current hot topic, and this book is a valuable reference resource for academic researchers and industry professionals who are interested i...
- 内容細目...ion technique Tabu search as a PV MPPT optimization technique Artificial bee colony as a PV MPPT optimization technique Evolutionary algorithm as a PV MPPT optimization technique ......ther heuristic and meta-heuristic as PV MPPT optimization technique ......echniques used as PV MPPT optimization technique ......prehensive comparison between smart and conventional PV-MPPT techniques Index evaluation criteria of the photovoltaic partial shading mitigation techniques Centralized and distributed PV-MPPT Practical implementation of PV-MPPT.
- 件名Renewable energy sources. Mathematical optimization.
紙図書
国立国会図書館
- 要約等This volume introduces new approaches in intelligent control area from both the viewpoints of theory and application. It consists of eleven contrib......s by prominent authors from all over the world and an introductory chapter. This volu......y connected to another volume entitled "New Approaches in Intelligent Image Analysis" (Eds. Roumen Kountchev and Kazumi Nakamatsu). The chapters of this volume are self-contained and include summary, conclusion and future works. Some of the chapters introduce specific case studies of various intelligent control systems and others focus......ligent theory based control techniques with ap...
- 内容細目...igent Control Paraconsistent Annotated Logic Program EVALPSN and its Application to Intelligent Control.
- 件名Intelligent control systems. TECHNOLOGY & ENGINEERING / Engineering (General)
紙図書
国立国会図書館
- 要約等This volume aims to provide a state-of-the-art and the latest advancements in the field of intelligent control and smart energy management. Techniq......ned with technological advances, have enabled the deployment of new operating systems in many engineering applications, especially in the domain of transport and renewable resources. The control and energy management of transportation and renewable resources are shifting towards autonomous reasoning, learning, planning and operating. As a result, these techniques, also referred to as autonomous control and energy management, will become practically ubiquitous soon. The discu...
- 内容細目...ery Management Systems (Castro) Robust, Resilient, and Energy Efficient Satellite Formation Control (Phillips) A Methodology for the Assessment of Efficiency in Systems under Transient Conditions: Case Study for Hybrid Storage Systems in Elevators (Garcia) A holistic approach to the energ......ient smoothing of traffic via autonomous vehicles (Hayat) Optimal energy management of electric vehic......s supplied by battery and supercapacitors: A multi-objective approach (Nguyen) Transient Stability and Protection Evaluation of Distribution Systems with Distribu...... Resources (Morais) Fuzzy Logic Control for Motor Drive Perfo...
- 件名Energy conservation--Automation Automated vehicles Smart power grids--Automatic control Renewable energy sources Renewable Energy Automated vehicles. Renewable energy sources.
紙図書
国立国会図書館
- 要約等...s governments have to make about their public education systems, the options they have before them and the consequences of their decisions. As well as covering issues such as values, curriculum, teacher training, structures and so on, the book addresses education planning for epidemics, pandemics and disasters. Education systems provide the foundations for the f......ture wellbeing of every society, yet existing systems are a point of global concern. Education System Design is a response to debates in developing and developed countries about the characteristics of a high quality national education service. It questions wha...
- 内容細目...o consensus / Sarah Younie, Brian Hudson and Marilyn Leask Section 3. Issues of social justice and inclusion Social mobility : a working class view / Sonia Blandford Selection by wealth, ability and aptitude, and faith : good for a country or mot? / Carl Smith School segregation in England and the logic of exiting from the public education system / Helen N. Gunter and Steven J. Courtney Special education needs and disabilities / Sana Rizvi and Helen Knowler Adult and further education : the impact of austerity on life chances and well being / Sharon Clancy Section 4. Curriculum, assessment, leadership and accountability The...
- NDLCFA16
紙図書
国立国会図書館全国の図書館
- 要約等This book presents an update on the world's increasing adoption of computer-enabled products and the essential services they......rovide to our daily lives. The tailoring of these products and services to our personal preferences is expected and made possible by intelligence that is enabled by communication between them. Ensuring that the systems of these connected products operate safely, without creating hazards to us and those around us, is the focus of this book, whi......sents the central topics of current research and practice in systems safety and security as it relates to applications within transportation, energy, and the m...
- 内容細目...and R. Masucci A design methodo....../ C. Tunc, S. Hariri, and A. Battou Cloud and mobile cloud architecture, security and safety / C. Mahmoudi A brief introduction to smart grid safety and security / S. Khoussi and A. Mattas Teh algebra of systems and system interactions with an application to smart grid / C. Mahmoudi, H. Bilil, and E. Griffor.
- LCCQA76.9.A25
紙図書
国立国会図書館全国の図書館
- 要約等"Counter-Cola charts the history of the Coca-Cola Company's globalization and the contests......over the corporation in the 20th and 21st centuri......ells the story of how, over the last 130 years, Coca-Cola has tried to make itself not only physically but also culturally a central part of global daily life. Realizing that success was not just fizzy water, the corporation knew that cultural impact, intellectual property, commodification of knowledge, and financialization were all key to power...... their growing and outsourced p......ut drove, the way corporations--especially American corporations--grew and changed global...
- 件名Coca-Cola Company--History. Coca-Cola Company. Globalization--Economic aspects. Culture and globalization.
- 著者標目Ciafone, Amanda, 1978-
紙図書
国立国会図書館
- 要約等"This engaging work provides a concise introd......exciting world of computing, encompassing the theor......ology, history and societal impact of computer software and computing devices. Spanning topics from global conflict to home gaming, international business and human communication." -- Publisher.
- 内容細目What is a computer? Foundations of computing Concise history of computing Overview mathematics in computi......ntroduction to algorithms Conci......ntroduction to logic Human-computer interaction Introduction to programming languages Overview of software engineering Over of operating systems Overview of databases Overview of telecommunications Internet and World Wide Web Smartphone ans social media Legal aspects of computing Ethics and professional responsibility Innovation in computing field.
- LCCQA76
紙図書
国立国会図書館
- 要約等This handbook is focused on the analytical dimension in researching international entrepreneurship. It offers a diverse collection of chapters focused on qualitative and quantitative methods that are being practised and can be used by future researchers in the field of international entrepreneurship. The qualitative cluster covers articles, conceptual and empirical chapters as well as literature reviews, whereas the quantitative cluster analyses international entrepreneurship through a broad range of statistical methods such as regressions, panel data, structural equation modelling as well as decision-making and optimisation models i...
- 内容細目...views A Review of International Entrepreneurship as Part of Broader Opportunity Research: Topic Modelling Approach Entrepreneurial Decision-Making Process Optimisation: A Literature Review and Future Research Agenda International Entrepreneurship and Technology: A Structured Literature Review Part III: Qualitative Research Streams: Empirical Methods The Impact of Diaspora on International Entrepreneurship in Malaysia: A Historical Institutionalism Approach Internationalisation of Start-Ups: An Institutional Entrepreneurs......ip Perspective Always Trusts, Always Hopes, Always Perseveres? Comparative Discourse Analysis of t...
- 件名Entrepreneurship International business ente......eurship. International business enterprises.
紙図書
国立国会図書館全国の図書館
- 内容細目Part I: Intellectual Background and Philosophical Porject 1. Hegel: His Life and His Path in Philosophy. Marina F. Bykova 2. Situating Hegel. From Transcendental Philosophy to a Phenomenology of Spirit. Michael Baur 3. Kant, Hegel and the Historicity of Pure Reason. Kenneth R. Westphal 4. Hegels Epi......ogy. Giuseppe Varnier Part II: Phenomenology of Spirit 5. The Role of Religion in Hegels Phenomenological Justification of Philosophical Science. Ardis B. Collins 6. Absolute Spirit in Performative Self-relation of Persons. Pirmi...... Stekeler-Weithofer 7. Individuality and Human Sociality. Individualism and our Human Zoôn Polit...
- ジャンル・形式用語Handbooks and manuals.
- 件名...h, 1770-1831--Handbooks, manuals, etc Hegel, Georg Wilhelm F...
紙図書
国立国会図書館
- 要約等Description logics are a family of knowledge representation languages that have been studied in artificial intelligence over the last two decades. They are embodied in knowledge-based systems and are used to develop various applications. This book provides a thorough account of the subject.
- 内容細目An introduction to description logics / D. Nardi and R.J. Brachman Basic description logics / F. Baader and W. Nutt Complexity of reasoning / F.M. Donini Relationships with other formalisms / U. Sattler, D. Calvanese, and R. Molitor E......ve description logics / D. Calvanese and G. De Giacomo Extensions......to description logics / F. Baader, R. Küsters, and F. Wolter From description logic provers to kno......ledge representation systems / D.L. McGuinness and P.F. Patel-Schneider Description logic systems / R. Möller and V. Haarslev Implementation and optimization techniques......rrocks Conceptual modeling with description lo...
- 件名Description logics -- Handbooks, manuals, etc. Terminologische Logik...
紙図書
国立国会図書館
- 要約等This book looks back to 40 years ago for the whole history of China's reform and opening-up and focuses on the role change of China in the relationship with o...... In the first half part, the author explores China's economic reform and opening-up p...... from theoretical analysis and systematic interpretation. In the second part, the author aims to present how China's international roles have changed in recent years and the Chinese appeal and purpose of participating in and improving global governance procedure. The author answers the question of why China has obtained miraculous achievements after its reform and opening-up...
- 内容細目...ERSTANDING GLOBAL GOVERNANCE PERCEPTION OF "THE GREAT TRANSFORMATIONS ONCE IN A CENTURY
- 件名... Policy Political Economy/Economic Systems International economic relations. Diplomatic relations. Economic......Economics. China--Economic poli......-1976-2000 China--Economic policy--2000- China--Foreign economic relations--20th century China--Foreign economic relations--21st century China--Foreign relations--1976- China.
紙図書
国立国会図書館
- 要約等"John Scottus Eriugena (d. ca. 877) is regarded as the most important philosopher and theologian in the Latin West from the death of Boethius until......ry. He incorporated his understanding of Latin sources, Ambrose, Augustine, Boethius and Greek source......including the Cappadocian Fathers, Pseudo-Dionysius, and Maximus Confessor, into a metaphysics structured on Aristotle's Categories, from ......veloped Christian Neoplatonist theology that continues to stimulate 21st-century theologians. This collection of essays provides an overview of the latest scholarship on various aspects of Eriugena's thought and writings, inclu...
- 内容細目...he speculative system of John Scottus Eriugena and the tradition of vera philosophia / Giulio d'Onofrio Eriugena's intervention in the debate on predestination / Emesto Sergio Mainoldi Eriugena as translator and interpreter of the Greek Fathers / Joel I. Barstad Eriugena reads Maximus Confessor : christology as cosmic theophany / Adrian Guiu Eriugena the exegete : ......ermeneutics in a biblical context / Catherine Kavanagh Eriugena's influence on......12th century / Agnieszka Kijewska Echoes of Eriugena in Renaissance philosophy : negation, theophany, anthropology / David Albertson The reception of Eriugena in modernity : a cri...
- 件名Erigena, Johannes Scotus, approximately 810-approximately 877 Erigena, Johannes Scotus, approximately 810-approximately 877. Johannes Scotus Eriugena 810-877 Philos......hilosophy. Social sciences.