Search Results - "Logic"

Un ponte tra università e mondo del lavoro per l'inclusione e la vita indipendente

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

Professionalisierung in der Studieneingangsphase der Lehrer:innenbildung Theoretische Perspektiven und empirische Befunde

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

The clinical boundary between deviant behavior and criminal conduct: From maladaptive positions to pathological dysfunctionality using the "Graded Antisociality Model" (GA-M), the... by Giulio Perrotta, Antonio Marciano

Connect to this object online.

Fuzzy analytic hierarchy process to solve the child abuse problem / Norpah Mahat and Nur Farhiyah Zulkofli by Mahat, Norpah, Zulkofli, Nur Farhiyah

Link Metadata

Adaptation of .NET MVC framework in developing an agriculture sources inventory system / Ray Adderley Jm Gining ... [et al.] by Jm Gining, Ray Adderley, Mohd Fauzi, Shukor Sanim, Jamaluddin, Nabil Fikri, Mohd Azmi, Nursyamimi Aima, Hashim, Muhamad Arif, Mohd Fuzi, Mohd Faris, Ibrahim, Alif Faisal

Link Metadata

Ranking academic performance using fuzzy vikor: A case of secondary schools at Perlis / Siti Nor Nadrah Muhamad ... [et al.] by Muhamad, Siti Nor Nadrah, Abd Halim, Rasyidah, Wan Shahidan, Wan Nurshazelin, Jusoh @ Hussain, Nordianah, Sarkam, Saida Farhanah

Link Metadata

Towards designing a hierarchical fuzzy system for early diagnosis of heart disease / Tajul Rosli Razak ... [et al.] by Razak, Tajul Rosli, Mahadi, Nurika Filzah, Abd Halim, Iman Hazwam, Jamaluddin, Muhammad Nabil Fikri, Ismail, Mohammad Hafiz, Mohd Fauzi, Shukor Sanim, JM Gining, Ray Adderley

Link Metadata

Companies' perspectives on factors affecting consumer satisfaction in fast-food restaurant using fuzzy AHP / Suzanawati Abu Hassan ... [et al.] by Abu Hassan, Suzanawati, Hassan, Nur Aqilah, Kin, Teoh Yeong, Mahat, Norpah, Ariffin, Anas Fathul

Link Metadata

Application of fuzzy topsis in selecting the major factor influencing Malaysians' choice of university (IPTA or IPTS) / Nur Syuhada Muhammat Pazil ... [et al.] by Muhammat Pazil, Nur Syuhada, Mahmud, Norwaziah, Jamaluddin, Siti Hafawati, Shakiren, Saidatul Shareen

Link Metadata

An evaluation of students' performance in poster presentations using fuzzy evaluation method / Khairu Azlan Abd Aziz ... [et al.] by Abd Aziz, Khairu Azlan, Mohd Idris, Mohd Fazril Izhar, Wan Daud, Wan Suhana, Sudin, Muhamad Amirul

Link Metadata

Simulasi Eskavator Secara 3D (Dimensi) Menggunakan Blender by Kusuma, Febriananto Dika, , Husni Thamrin, S.T, M.T, Ph.D, , Dedi Ari Prasetya,ST

Connect to this object online

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

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
Link to Metadata

Governing the Sustainable Development Goals Quantification in Global Public Policy / by Bandola-Gill, Justyna, Grek, Sotiria, Tichenor, Marlee

Table of Contents: “…The Sustainable Development Goals as Epistemic Infrastructures -- Knowledge Production for the SDGs: developing the global indicators -- Harmonising Global Public Policy: producing global standards, local data and statistical capacity development -- Scripting the SDGs: the role of narratives in governing by goals -- SDGs and the politics of reconciling the dual logic of democracy and technocracy -- SDGs and the rise of an epistemic infrastructure: actors' networks, partnerships and conflicts in the education SDG -- Expert brokers - SDGs and the emergence of new forms of expertise -- Epistemic infrastructures: SDGs and the making of global public policy.…”
Link to Metadata

Objective Information Theory by Xu, Jianfeng, Wang, Shuliang, Liu, Zhenyu, Wang, Yashi, Wang, Yingfei, Dang, Yingxu

Link to Metadata

Applied Discrete Structures by Doerr, Alan, Levasseur, Kenneth

Table of Contents: “…1 Set Theory -- 2 Combinatorics -- 3 Logic -- 4 More on Sets -- 5 Introduction to Matrix Algebra -- 6 Relations and Graphs -- 7 Functions -- 8 Recursion and Recurrence Relations -- 9 Graph Theory -- 10 Trees -- 11 Algebraic Systems -- 12 More Matrix Algebra -- 13 Boolean Algebra -- 14 Monoids and Automata -- 15 Group Theory and Applications -- 16 An Introduction to Rings and Fields…”
Access online version

Para Todxs Natal

Access online version

Introduction to Political Science Research Methods by Franco, Josh, Lee, Charlotte, Vue, Kau

Access online version

Extremismos políticos e direitas Bolsonaro, Trump e a crise das "democracias" by Barbosa, Jefferson Rodrigues

DOAB: download the publication
DOAB: description of the publication

Faith in Life John Dewey's Early Philosophy by Morse, Donald J.

DOAB: download the publication
DOAB: description of the publication