検索結果 933 件

図書
Nikolaos Galatos, Kazushige Terui, editorsSpringer[2022]<MA41-D8>
国立国会図書館
  • 要約等... substructural logics. Chapters, wr......bra, algebraic logic and the Full L......ract algebraic logic, topological dualities, a...... substructural logics, results on t......inally a study of conservativity of expansions. Th......l be primarily of interest to re...... non-classical logic
  • 内容細目...rsal algebraic methods for non-classical logics (James G. Raf......ract algebraic logic An introductor......Chapter 4. Topological duality and ......and separation logic (Peter Jipsen ......the modalities of linear logic (Robert Goldbl......iate predicate logic (Nobu-Yuki Suz......ive expansions of substructural logics (Jacopo Amidei, Rodolfo C. E...
  • 件名Logic, Symbolic and mathematical On...
図書
Fenrong Liu, Hiroakira Ono, Junhua Yu, editors.Springer[2020]<H35-D4>
国立国会図書館全国の図書館
  • 要約等... Philosophical Logic, held in Beiji......a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, and philosop......al foundations of logic. They also ref......plinary nature of logic - a subject th......evelopments in logic both in Asia and beyond.
  • 内容細目...translation in logics for knowabili......ynamic quantum logic Sequent calcul......al fact change logic The modal logics of the poison game A logical characterization of the continuous......n Decidability of a modal logic with predicate......Unary temporal logics, points and intervals The Ze...
  • 件名Logic--Congresses. Logic.
記事
李 元佳, 徐 蘇鋼, 田中 良明<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報105(323) 2005.10.13・14p.1~6
国立国会図書館全国の図書館
記事
徐 蘇鋼, 瀬崎 薫<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報101(75) 2001.5.25p.33~38
国立国会図書館全国の図書館
  • 件名オプティカルネットワーク IP/WDM 論理トポロジー WDM Routed Optical Network Logical topology design
図書
edited by Mikaël LucasHumana Press[2022]<RA115-D6>
国立国会図書館全国の図書館
  • 要約等...will induction of plant aerial o......quantification of tissue mechani......tical modeling of plant tissue u......hly successful Methods in Molecular B...... protocols or software tutorials......stems Biology: Methods and Protocols,......over the field of plant systems biology
  • 内容細目...work Dynamical Logical Models for P......ntal Induction of New Shoot and ......Quantification of Cell Mechanics......ional Modeling of Multicellular ......ical Modelling of Auxin Transpor......e Open Source Software SimuPlant......mporal Imaging of Plant Roots an...... RACINE2.2: A Software Applicati......l Distribution of Root Length De......ts on Trench Profiles Investigat......ial Resolution of Root Segments When Solving Wa...
  • 件名...systémique Biological systems. Botany.
図書
Vahid Jafari-Sadeghi, Hannan Amoozad Mahdiraji, Léo-Paul Dana, editorsSpringer[2021]<DH231-D19>
国立国会図書館
  • 要約等...reneurship. It offers a diverse collection of chapters focus......d quantitative methods that are being......s in the field of international ...... a broad range of statistical methods such as regres...... implement new methods in analysing entrepreneurial ...
  • 内容細目...ip from Methodological Perspectives......ationalisation of SMEs and Dista......vice Functions of Global Cities ......rvice-Dominant Logic and the BAR Fr......views A Review of International ......urship as Part of Broader Opport......ams: Empirical Methods The Impact of Diaspora on In......ationalisation of Start-Ups: An ......ourse Analysis of the Perception of International ......rket: The Role of International ......desh The Study of Leaders Naviga......ies The Impact of International ......Mediating Role of Dynamic Entrep...... Investigation of the Barriers t......ationalisation of SMEs in Iran P......ecision-Making Methods for Location Selection in the...
図書
Philip Roessler.Cambridge University Press2016.<A16-B837>
国立国会図書館
  • 要約等...vicious cycles of ethnic exclusi......trategic trade-off is shown to be a function of their country'......e distribution of threat capabil......h case studies of Sudan and the ......ratic Republic of the Congo based on years of field work and......tical analyses of powersharing, ......as an exemplar of the benefits of mixed methods research for theory-building ...
  • 内容細目...h to the study of civil war Theories of ethno-politica...... The strategic logic of war in Africa ...... The strategic logic of ethno-politica...... the breakdown of Sudan's Islami......: the outbreak of the Darfur Civ......rical analysis of the coup-civil...... The strategic logic of peace in Afric......'s qualitative methods Appendix 2: Da......hnic transfers of power and ethnicity of coup conspirators and insurge...
図書
Dean Rickles.Polity Press2020.<M22-S1>
国立国会図書館
  • 要約等"Philosophy of science puts s......s explanations of the world differ from those of other subjects......ate scientific methods? What, if anyt......out the nature of physical reali...... in philosophy of science. He lo...... and evolution of the field, the......, the concepts of logic and associated......and the nature of scientific mod...... is Philosophy of Science? is the must-have pri...
  • 内容細目...e, and history Logic and philosophy of science Demarc......hod The nature of scientific theories.
デジタル記事
Makoto Nakamura, Yusuke Kimura, Minh Quang Nhat Pham 他<Z21-B168>自然言語処理 = Journal of natural language processing / 言語処理学会 編17(3) 2010.4p.81~100
国立国会図書館全国の図書館
  • 要約等...sentences into logical formulae. Al......redicates in a logical formula, it ......uracy in terms of generating independent, plain...
  • 参照Towards Translation of Legal Sentences into Logical Forms Treatment of Legal Sentence......anslation into Logical Forms
図書
Samantha MayZed Books2021<HR48-D15>
国立国会図書館
  • 要約等... practitioners of Islam in Europ......nder suspicion of disloyality an......ial disrupters of national socia......gh exploration of the effects of current polici......e consequences of current polici...... and suspicion of Muslim chariti......ndividual loss of status and fin...... to a decrease of living standards and/or loss of lives. Engagin......cal activities of Muslim individ......d surveillance of charities and ...... repercussions of current policies on Muslim in...
  • 内容細目...The importance of the everyday': Theories and methods 2. The (il)logic of financial counter-terrorism s...
図書
Mahdi Khosravy, Isao Echizen, Noboru Babaguchi, editorsSpringer[2022]<UC41-D32>
国立国会図書館
  • 要約等... and detection of fake multimedi......iques in front of skillfully clo......timate purpose of the research d...... dome in front of media clones' ......) applications of deep generativ......the generation of fake multimedi......iques in front of cyberattacks. ......ok is composed of three parts: (i) introduction...
  • 内容細目... Chapter 5. Spoofing Tweet Gener......idering Points of Interest of Target User Pa......tical Guide to Logical Access Voice Presentation A...
図書
Joe SuzukiSpringer[2023]<MA211-D55>
国立国会図書館
  • 要約等Master the art of machine learni......to the essence of mathematical logic with this comp......u a firm grasp of Watanabe Bayes......e key features of this indispens...... ensuring ease of understanding ......various levels of expertise. 100...... readers grasp of the mathematic......full potential of WAIC and WBIC today!
  • 内容細目...ing the Wonder of Bayesian Theor...... Math Features of This Series Co......nts 1 Overview of Watanabe's Bay......otic Normality of the Posterior ...... 3.3.5 Mixture of Normal Distrib......ctions 4.3 Law of Large Numbers ......tion 4.3.3 Law of Large Numbers ......otic Normality of the Posterior ...... 8 The Essence of WAIC 8.1 Formula of State Density ......Generalization of the Posterior ......8.3 Properties of WAIC 8.4 Equiv......alidation-like Methods 9 WBIC and Its......9.1 Properties of WBIC 9.2 Calculation of the Learning Coefficient 9.3 ...
図書
Michael W. McConnellPrinceton University Press[2020]<AU-211-D31>
国立国会図書館全国の図書館
  • 要約等...t--and limits--of presidential power. One of the most vexin......or the framers of the Constituti......out the powers of the president.......ensive account of the drafting of presidential p......eft no records of their delibera...... a mental list of the powers of the British mo...... examines each of these powers i......od at the time of the founding, ......ing separation of powers claims,......riginal vision of the framers, s......s the excesses of an imperial presidency while ...
  • 内容細目...us innovations of the Committee of Detail Complet......general theory of allocating pow......slative powers of taxing and law......ing clause The logic of the organization of Article II The......hree varieties of presidential power Two classi...
記事
篠原 京子<Z72-H50>未来の保育と教育 : 東京未来大学実習サポートセンター紀要 : the journal of childcare and education(9):2022.9p.27-33
国立国会図書館全国の図書館
  • 並列タイトル等(連結)Teaching methods of logical thinking and......lated teaching of "Reading" and "Writing" with ...
  • 並列タイトル等Teaching methods of logical thinking and......lated teaching of "Reading" and "Writing" with ...
図書
Maude Josée Blondin, João Pedro Fernandes Trovão, Hicham Chaoui, Panos M. Pardalos, editorsSpringer[2022]<M265-D95>
国立国会図書館
  • 要約等...rovide a state-of-the-art and th......s in the field of intelligent co......ned with technological advances, ha......the deployment of new operating ...... in the domain of transport and ......rgy management of transportation......ssions include methods, based on neur......o the devising of techniques tha......in the domains of control, energy, and transpor...
  • 内容細目...ies Total Cost of Ownership Plan......c Optimization Methods for the Stocha......ve Integration of Flexible Resou......ent scheduling of intra-terminal......the Assessment of Efficiency in ......ient smoothing of traffic via au......rgy management of electric vehic......ion Evaluation of Distribution S......(Morais) Fuzzy Logic Control for Motor Drive Perfo...
図書
Marina F. Bykova, Kenneth R. Westphal, editorsPalgrave Macmillan[2020]<HD58-D7>
国立国会図書館全国の図書館
  • 内容細目... Phenomenology of Spirit. Michae......he Historicity of Pure Reason. K...... Phenomenology of Spirit 5. The Role of Religion in Hegels Phenomenological Justification of Philosophical ...... Self-relation of Persons. Pirmi...... Stekeler-Weithofer 7. Individua......t III: Science of Logic and System of Philosophy 8. ......ic-Speculative Logic. Angelica Nuzz......ing: A Defence of Hegelian Holis......IV: Philosophy of Nature 11. Levels of Reality or Dev......and Philosophy of the Sciences. ......els Philosophy of Natural and Hu...... V: Philosophy of Spirit 14. Emb......and the Origin of the Arts. Alle......gels Recasting of the Theological Proofs. Rober...
  • 資料の内容に関する注記...o every aspect of Hegel?s system......arly overviews of each subject, ......nsidered views of each contribut......tian, readings of Hegel, focusin...... appropriation of Kantian episte...... the rejection of foundationalis......underlie the profusion of apparently ind......sophical aims, methods and achievemen......s many aspects of Hegel?s enduri......and philosophy of history. Each ...... understanding of each aspect of Hegel?s philosophy
図書
Vincent Pouliot.Cambridge University Press2016.<A71-B190>
国立国会図書館
  • 要約等... Practitioners often refer to this form of diplomatic hie......ook is a study of international ......it emerges out of the multilater......ocial theories of Erving Goffman and Pierre......inner dynamics of NATO and the U...... but also full of agency; operat......h the practice of multilateral d......representative of a country-can ...... his unusual professional trajec......ced both sides of the coin, firs......itish mission, officials of the UN or othe......tless this was often faked, but it was perhaps ...
  • 内容細目.... The politics of multilateral d......ractice theory of social stratif......plomatic sense of place; 4. A wo......he negotiation of the 2010 Strat...... and practical logics; 6. Clan poli......; 8. The field logics of multilateral p......n: the miracle of multilateral p......search design, methods and data.
図書
Tomoyoshi Shimobaba, Tomoyoshi Ito, editorsSpringer[2023]<ND451-D21>
国立国会図書館
  • 要約等...implementation of computational ...... with a number ofconcrete exampl......h acceleration of wave-optics computation is hi...
  • 内容細目...1.1 Expression of Light 1.1.1 Sc...... 1.2 Coherence of Light 1.3 Interference of Light 1.4 Diffraction of Light 1.4.1 So......on 1.4.6 Fraunhofer Diffraction .......5.1 Recording of the Hologram 1......Reconstruction of Hologram 1.5.3......Holography and Off-Axis Holography 1.5.4 Types of Holograms Refe......gorithm 2.4 Kinoform (Phase-Only......gram) 3 Basics of Digital Hologr......Holography 3.2 Off-Axis Digital ......asic Knowledge of CPU Architectu......1 Fundamentals of CPU Architectu......rocessor 4.3.3 Logical CPU 4.3.4 Mu......4.1 Continuity of Data 4.4.2 Cac...... Line 5 Basics of CUDA 5.1 Evolution of GPUs 5....