Search Results - "Logic"

In the Place of Utopia Affect and Transformative Ideas by Tie, Warwick

OAPEN Library: download the publication
OAPEN Library: description of the publication

Themes in Plato, Aristotle, and Hellenistic Philosophy Keeling Lectures 2011-18

OAPEN Library: download the publication
OAPEN Library: description of the publication

Chapter Uniting past and present: Sicily as a locus of identity between Greece and Rome by Fialho, Maria

OAPEN Library: download the publication
OAPEN Library: description of the publication

Analyzing meaning An introduction to semantics and pragmatics. by Kroeger, Paul R.

OAPEN Library: download the publication
OAPEN Library: description of the publication

Investigating the factors of committing crimes using fuzzy TOPSIS / Norwaziah Mahmud ... [et al.] by Mahmud, Norwaziah, Jamaluddin, Siti Hafawati, Omar, Nur Azarina, Muhammat Pazil, Nur Syuhada

Link Metadata

Shared employment in China: Issues and Challenges / Xiuli Zhao, Mahazril 'Aini Yaacob and Radduan Yusof by Zhao, Xiuli, Yaacob, Mahazril 'Aini, Yusof, Radduan

Link Metadata

Selection of personal medical and health insurance company by using Fuzzy TOPSIS / Nur Ain Qamarina Zulkifly, Zurina Kasim and Jasmani Bidin by Zulkifly, Nur Ain Qamarina, Kasim, Zurina, Bidin, Jasmani

Link Metadata

The assessment of Qur'an reciting competitions using the fuzzy evaluation method / Khairu Azlan Abd Aziz ... [et al.] by Abd Aziz, Khairu Azlan, Mohd Idris, Mohd Fazril Izhar, Wan Daud, Wan Suhana, Tajaludin, Abdul Muhaimin

Link Metadata

Determining the criteria of choosing tour packages in Langkawi Island using FAHP / Ku Auni Dalili Ku Zahrin ... [et al.] by Ku Zahrin, Ku Auni Dalili, Ab Halim, Huda Zuhrah, Mohd Idris, Mohd Fazril Izhar, Fauzi, Nur Fatihah, Ahmad Bakhtiar, Nurizatul Syarfinas, Khairudin, Nur Izzati

Link Metadata

Pelimpahan Hak Asuh Anak di bawah Umur Akibat Perceraian (studi kasus Pengadilan Agama Surakarta) by Henryastuti, Oktavia, , Nuswardhani S.H.,S.U, , Septarina Budiwati, S.H.,C.N.,M.H

Connect to this object online

APLIKASI NEW FUZZY EXPERT SYSTEM DALAM MENGEVALUASI KINERJA DAN POTENSI AKADEMIK SISWA by Aditya Taufanbayu Nugraha, -

Link Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

New Development of Neutrosophic Probability, Neutrosophic Statistics, Neutrosophic Algebraic Structures, and Neutrosophic & Plithogenic Optimizations

DOAB: download the publication
DOAB: description of the publication

PENERAPAN PEMBELAJARAN STEM BERBASIS KECERDASAN MAJEMUK UNTUK MENINGKATKAN PENGUASAAN KONSEP PADA MATERI GEMPA BUMI by Mohammad Ismi Raskanda, -

Link Metadata

PERANCANGAN PERANGKAT PEMBELAJARAN SISTEM KONTROL MELALUI PENDEKATAN SAINTIFIK BERBASIS PROYEK by Deni Hidayat, -

Link Metadata

Prosthetic Body Parts in Nineteenth-Century Literature and Culture by Sweet, Ryan

Link to Metadata

2050 China Becoming a Great Modern Socialist Country / by Hu, Angang, Yan, Yilong, Tang, Xiao, Liu, Shenglong

Link to Metadata

An Introduction to Philosophy by Payne, Russ W.

Table of Contents: “…Introduction -- Chapter 1: What Philosophy Is -- Chapter 2: Critical Thinking I, Being Reasonable -- Chapter 3: Critical Thinking II: Logic -- Chapter 4: Ancient Philosophy -- Chapter 5: Rationalism -- Chapter 6: Empiricism -- Chapter 7: Philosophy of Science -- Chapter 8: Philosophy of Mind -- Chapter 9: Love and Happiness -- Chapter 10: Meta Ethics -- Chapter 11: Right Action -- Chapter 12: Social Justice…”
Access online version

Playing Oppression The Legacy of Conquest and Empire in Colonialist Board Games by Flanagan, Mary

DOAB: download the publication
DOAB: description of the publication

Resistant Form Aristophanes and the Comedy of Crisis by Telò, Mario

DOAB: download the publication
DOAB: description of the publication