Matokeo ya Utafutaji
Search results: 15
-
Linking Game-Theoretical Approaches with Constructive Type Theory
This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work's subtitle expresses, the authors will build this link by means of the dialogical approach to logic. One important aspect of the present study is that the authors res... More
Language: ENGHakimiliki: 2015 -
The Realism-Antirealism Debate in the Age of Alternative Logics
The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'.... More
Language: ENGHakimiliki: 2011 -
Inferences by Parallel Reasoning in Islamic Jurisprudence: Al-Shīrāzī’s Insights into the Dialectical Constitution of Meaning and Knowledge (Logic, Argumentation & Reasoning #19)
This monograph proposes a new (dialogical) way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyās. According to the authors’ view, qiyās represents an innovative and sophisticated form of dialectical reasoning that not only provides new epistemolo... More
Language: ENGHakimiliki: 2019 -
Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir (Logic, Epistemology, and the Unity of Science #49)
This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first cat... More
Language: ENGHakimiliki: 2021 -
Special Sciences and the Unity of Science
Science is a dynamic process in which the assimilation of new phenomena, perspectives, and hypotheses into the scientific corpus takes place slowly. The apparent disunity of the sciences is the unavoidable consequence of this gradual integration process. Some thinkers label this dynamical circumstan... More
Language: ENGHakimiliki: 2011 -
Approaches to Legal Rationality (Logic, Epistemology, and the Unity of Science #20)
Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. Each of them provides specific insights into highly complex phenomena. Different disciplines, but also different traditions in disciplines (e.g. analytical and c... More
Language: ENGHakimiliki: 2010 -
Immanent Reasoning or Equality in Action: A Plaidoyer For The Play Level (Logic, Argumentation And Reasoning Ser. #18)
This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to bett... More
Language: ENGHakimiliki: 2018 -
New Developments in Legal Reasoning and Logic: From Ancient Law to Modern Legal Systems (Logic, Argumentation & Reasoning #23)
This book intends to unite studies in different fields related to the development of the relations between logic, law and legal reasoning. Combining historical and philosophical studies on legal reasoning in Civil and Common Law, and on the often neglected Arabic and Talmudic traditions of jurisprud... More
Language: ENGHakimiliki: 2022 -
Cyber Security Intelligence and Analytics: The 4th International Conference on Cyber Security Intelligence and Analytics (CSIA 2022), Volume 2 (Lecture Notes on Data Engineering and Communications Technologies #125)
by Xiaolu Zhang • Zheng Xu • Saed Alrabaee • Octavio Loyola-González • Niken Dwi Wahyu Cahyani • Nurul Hidayah Ab RahmanThis book presents the outcomes of the 2022 4th International Conference on Cyber Security Intelligence and Analytics (CSIA 2022), an international conference dedicated to promoting novel theoretical and applied research advances in the interdisciplinary field of cyber-security, particularly focusin... More
Language: ENGHakimiliki: 2022 -
Cyber Security Intelligence and Analytics: The 4th International Conference on Cyber Security Intelligence and Analytics (CSIA 2022), Volume 1 (Lecture Notes on Data Engineering and Communications Technologies #123)
by Xiaolu Zhang • Zheng Xu • Saed Alrabaee • Octavio Loyola-González • Niken Dwi Wahyu Cahyani • Nurul Hidayah Ab RahmanThis book presents the outcomes of the 2022 4th International Conference on Cyber Security Intelligence and Analytics (CSIA 2022), an international conference dedicated to promoting novel theoretical and applied research advances in the interdisciplinary field of cyber-security, particularly focusin... More
Language: ENGHakimiliki: 2022 -
Chemical Profiles of Selected Jordanian Foods (SpringerBriefs in Molecular Science)
This book provides an overview of various traditional Middle Eastern food products and beverages and investigates their chemical, microbial and physical profiles. The authors selected 5 traditional Jordanian products that represent the region’s historical foods and beverages and examined them wit... More
Language: ENGHakimiliki: 2021 -
Reliability Evaluation of Dynamic Systems Excited in Time Domain - Redset: Alternative to Random Vibration and Simulation
by Achintya Haldar • Hamoon Azizsoltani • J. Ramon Gaxiola-Camacho • Sayyed Mohsen Vazirizade • Jungwon HuhRELIABILITY EVALUATION OF DYNAMIC SYSTEMS EXCITED IN TIME DOMAIN – REDSET Multi-disciplinary approach to structural reliability analysis for dynamic loadings offering a practical alternative to the random vibration theory and simulation Reliability Evaluation of Dynamic Systems Excited in Time Domai... More
Language: ENGHakimiliki: 2023 -
Food Traceability in Jordan: Current Perspectives (SpringerBriefs in Molecular Science)
by Salvatore Parisi • Moawiya A. Haddad • Mohammed I. Yamani • Da'san M.M. Jaradat • Maher Obeidat • Saeid M. Abu-RommanThis book outlines the evolution of food traceability matters in the current traditional foods market and particularly with regard to selected historical foods based in Jordan.At present, traceability is just one of the many requirements the food industry is forced to meet. The topic can be approach... More
Language: ENGHakimiliki: 2021 -
Smart Grid and Innovative Frontiers in Telecommunications: Third International Conference, SmartGIFT 2018, Auckland, New Zealand, April 23-24, 2018, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #245)
This book constitutes the proceedings of the Third International Conference on Smart Grid and Innovative Frontiers in Telecommunications, SmartGIFT, held in Auckland, New Zealand, in April 2018. The 28 revised full papers presented were carefully reviewed and selected from 44 submissions. They focus... More
Language: ENGHakimiliki: 2018 -
Climate, Ticks and Disease (CABI Climate Change Series #18)
by Charles Hart • Peter Cox • A. Townsend Peterson • Nicholas Johnson • Wei Liu • Jianhong Wu • Richard Wall • Domenico Otranto • Agustín Estrada-Peña • Jeremy Gray • Abdul Jabbar • Jolyon M. Medlock • Sunit Kumar Singh • Giovanni Benelli • Peter Irwin • Richard Bishop • Xue Zhang • Hao Li • DeMar Taylor • Deborah Hemming • Saeed Alasmari • Neil Alexander • Abdelghafar Alkishe • Reiko Arai • Armanda Bastos • Gervasio Henrique Bechara • John Beier • Joshua Benoit • Dennis Bente • Adrien Blisnick • René Bødker • Fernando Boinas • Sarah Bonnet • Nathalie Boulanger • Alejandro Cabezas-Cruz • Alexandre Rodrigues Caetano • Cyril Caminade • Jirí Cerny´ • Roxanne Albertha Charles • Ali Reza Chavshin • Rosalind Cornforth • Neil Coughlan • Lauren Culler • Milan Daniel • Vlasta Danielova • Mona Dehhaghi • Maria Diuk-Wasser • James P Duffy • Olivier Duron • Lars Eisen • Rebecca Eisen • Jana Elsterová • Koray Ergünay • Li-Qun Fang • Natalia Fernández-Ruiz • Erol Fikrig • Serhii Filatov • Durland Fish • Janet Foley • José De Fuente • Roman Ganta • Aysen Gargili Keles • Robin Beat Gasser • Abdul Ghafar • Naftaly Githaka • Lucy Gilbert • Maryna Golovchenko • Yuval Gottlieb • Ernest Gould • Libor Grubhoffer • Gilles J. Guillemin • Kayleigh M. Hansford • John E. Healy • Stephen Higgs • Andrew Hoodless • Yan-Jang S. Huang • Bernard Hudson • Chris Huntingford • Esther Kanduma • Sirri Kar • Maria Kazimirova • Neil Kaye • Thomas C. Kelly • Lene Jung Kjaer • Agatha Onyemowo Kolo • Eduard Korenberg • Nina Król • Chi-Chien Kuo • Timothy J. Kurtti • Xavier De Lamballerie • Patrick A. Leighton • L. Robbin Lindsay • Geoffrey E. Lynn • Ilya Maclean • Ben J. Mans • Maristela Martins de Camargo • Karen D. McCoy • Ulrike G. Munderloh • Atle Mysterud • Sukanya Narasimhan • Anna Obiegala • Dasiel Obregón Alvarez • Nick H. Ogden • Mari H. Ogihara • Stefan Vilges Oliveira • Charlotte Oskam • Kennan J. Oyen • Neha Pandey • Hamed Kazemi Panahi • John H. Pettersson • Martin Pfeffer • L. Paul Phipps • Heather J. Plumpton • Tatjana Pustahija • Ram Raghavan • Ryan O.M Rego • Annapaola Rizzoli • Isobel Ronai • Franz Rubel • Natalie Rudenko • Benjamin Ruiwen • Rufus Sage • Abdallah M. Samy • Gustavo Seron Sanches • Isabel Kinney Santos • Marcello Otake Sato • Megumi Sato • Richard Schloeffel • Seyyed Javad Seyyed-Zadeh • Ladislav Šimo • Daniel E. Sonenshine • Morgan Sparey • Frederic Stachurski • Snorre Stuen • Matias Pablo Szabó • Mike Teglas • Sam R. • Saravanan Thangamani • Georgia Titcomb • Attila J. Trájer • Michael Turell • Rika Umemiya-Shirafuji • Dana L. Vanlandingham • Laurence Vial • Margarita Villar • André B. Wilke • G. R. Wint • Zbigniew ZajacThis book brings together expert opinions from scientists to consider the evidence for climate change and its impacts on ticks and tick-borne infections. It considers what is meant by 'climate change', how effective climate models are in relation to ecosystems, and provides predictions for changes i... More
Language: ENGHakimiliki: 2022