Search Results - "Logic"

تصميم نظام تحكم ألي لمحطة تبريد باستخدام المتحكمات الضبابية. by بلال شيحا, أحمد رضا

Connect to this object online.

The need for adaptable global guidance in health systems strengthening for musculoskeletal health: a qualitative study of international key informants by Andrew M. Briggs, Joanne E. Jordan, Deborah Kopansky-Giles, Saurab Sharma, Lyn March, Carmen Huckel Schneider, Swatee Mishrra, James J. Young, Helen Slater

Connect to this object online.

تطوير نموذج تجريدي لتوصيف خصائص الشبكات المتغيرة by رضوان دندة, قاسم قبلان, سوسن يوسف

Connect to this object online.

OPTIMALISASI PENERANGAN JALAN UMUM DAN DESAIN ULANG PENERANGAN JALAN UMUM BERBASIS DIALUX DAN LOGIKA FUZZY by Haryo Iri Satrio Wicaksono, -

Link Metadata

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

Table of Contents: “…Bisimulation -- Verification and Efficiency -- Logic and Proof -- Tools and Case Studies -- Games and Automata -- SV-COMP 2020.…”
Link to Metadata

Spiral Workbook for Discrete Mathematics by Kwong, Harris

Table of Contents: “…1 An Introduction -- 2 Logic -- 3 Proof Techniques -- 4 Sets -- 5 Basic Number Theory -- 6 Functions -- 7 Relations -- 8 Combinatorics…”
Access online version

Discrete Mathematics An Open Introduction by Levin, Oscar

Table of Contents: “…-- 0.2 Mathematical Statements -- 0.3 Sets -- 1 Counting -- 1.1 Additive and Multiplicative Principles -- 1.2 Binomial Coefficients -- 1.3 Combinations and Permutations -- 1.4 Combinatorial Proofs -- 1.5 Stars and Bars -- 1.6 Advanced Counting Using PIE -- 1.7 Chapter Summary -- 2 Sequences -- 2.1 Definitions -- 2.2 Arithmetic and Geometric Sequences -- 2.3 Polynomial Fitting -- 2.4 Solving Recurrence Relations -- 2.5 Induction -- 2.6 Chapter Summary -- 3 Symbolic Logic and Proofs -- 3.1 Propositional Logic -- 3.2 Proofs -- 3.3 Chapter Summary -- 4 Graph Theory -- 4.1 Definitions -- 4.2 Trees -- 4.3 Planar Graphs -- 4.4 Coloring -- 4.5 Euler Paths and Circuits -- 4.6 Matching in Bipartite Graphs -- 4.7 Chapter Summary -- 5 Additional Topics -- 5.1 Generating Functions -- 5.2 Introduction to Number Theory…”
Access online version

Delftse Foundations of Computation by Hugtenburg, Stefan, Yorke-Smith, Neil

Table of Contents: “…Chapter 1: Introduction and Learning Objectives -- Chapter 2: Logic -- Chapter 3: Proof -- Chapter 4: Sets, Functions, and Relations -- Chapter 5: Looking Beyond -- Selected Solutions -- Further Reading -- Index…”
Access online version

Chapter Introduction by Woźniak-Jęchorek, Beata

DOAB: download the publication
DOAB: description of the publication

How to deal with sickness absence among primary school pupils? Adaptation of the "Medical Advice for Sick-reported Students" intervention by Esther K. Pijl, Esther K. Pijl, Yvonne T. M. Vanneste, Jolanda J. P. Mathijssen, Frans J. M. Feron, Angelique E. de Rijk

Connect to this object online.

Automatic Feature Selection for Sensorimotor Rhythms Brain-Computer Interface Fusing Expert and Data-Driven Knowledge by Mushfika Sultana, Serafeim Perdikis

Connect to this object online.

Exploring academic and clinical nurses' perspectives on evidence-based nursing course for undergraduates from perspectives of academic-practice partnerships: a qualitative study by Guiyun Wang, Yuting Xia, Qirong Chen, Xirongguli Halili, Hui Huang

Connect to this object online.

The effectiveness of multiple intelligences based teaching strategy in enhancing the multiple intelligences and science process skills of junior High School students by Atiek Winarti, Leny Yuanita, Moh. Nur

Connect to this object online.

IN-PRISON ARTISTIC WORKSHOPS WITH TEENAGERS AND ADULTS: SUBJECTIVITY IN DISPUTE by Marcela Gaete Vergara

Connect to this object online.

Diseño y validación de una herramienta de valoración del nivel de especificidad de las situaciones simuladoras preferenciales en fútbol. [Design and validation of a Specificity... by Ismael Camenforte, David Casamichana, Francesc Cos, Julen Castellano, Javier Fernández

Connect to this object online.

In the context of a daycare center: nursing and their representations of child care as an educational act by Vicente Sarubbi Jr, Camila Junqueira Muylaert, Sophia Motta Gallo, Paulo Rogério Gallo

Connect to this object online.

Strengths and limitations of formal ontologies in the biomedical domain - DOI: 10.3395/reciis.v3i1.241en by Stefan Schulz, Holger Stenzhorn, Martin Boeker, Barry Smith

Connect to this object online.

The Science Communication Challenge Truth and Disagreement in Democratic Knowledge Societies by Meyer, Gitte

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

Implementation of Pipelined FFT Processor on FPGA Microchip Proposed for Mechanical Applications / Siti Lailatul Mohd Hassan...[et al.] by Mohd Hassan, Siti Lailatul, Sulaiman, Nasri, Jaafar, Haslina, Saparon, Azilah

Link Metadata

Application of fuzzy inference system in the prediction of air quality index / Nor Hayati Shafii ... [et al.] by Shafii, Nor Hayati, Mohd Ramle, Nur Aini, Alias, Rohana, Md Nasir, Diana Sirmayunie, Fauzi, Nur Fatihah

Link Metadata