1
Cognitive Computing and Cyber Physical Systems [E-Book] : 4th EAI International Conference, IC4S 2023, Bhimavaram, Andhra Pradesh, India, August 4-6, 2023, Proceedings, Part II /
Table of Contents: ...Smart Power Systems -- Performance Evaluation of Off Grid Hybrid Distribution system with ANFIS controller -- Full Swing Logic Based Full Adder for Low Power Applications -- Single-phase Grid and Solar PV Integration with 15-level asymmetrical multilevel...

Full text 
2
Dynamic Logic. New Trends and Applications [E-Book] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers /
Table of Contents: ...A spatial logic with time and quantifiers -- Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability -- Axiomatization of Hybrid Logic of Link Variations -- Kleene Algebra of Weighted Programs With Domain -- Automated Quantum...

Full text 
3
Active Object Languages: Current Research Trends [E-Book] /
4
Taming the Infinities of Concurrency [E-Book] : Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /
Table of Contents: ... in Stochastic Reachability Games -- Region Quadtrees Verified -- Computing pre* for General Context Free Languages -- 2-Pointer Logic....

Full text 
5
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I /
Table of Contents: ... Points -- Synthesis -- Fully Generalized Reactivity(1) Synthesis -- Knor: reactive synthesis using Oink -- On Dependent Variables in Reactive Synthesis -- CESAR: Control Envelope Synthesis via Angelic Refinements -- Logic and Decidability -- Answering Temporal...

Full text 
6
Foundations of Software Science and Computation Structures [E-Book] : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I /
7
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II /
8
Foundations of Software Science and Computation Structures [E-Book] : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II /
Table of Contents: ...Types and Programming Languages -- From Rewrite Rules to Axioms in the lambdaPi-Calculus Modulo Theory -- Light Genericity -- Logical Predicates in Higher-Order Mathematical Operational Semantics -- On Basic Feasible Functionals and the Interpretation...

Full text 
9
Accountable and Explainable Methods for Complex Reasoning over Text [E-Book] /
10
Fuzzy Rule-Based Inference [E-Book] : Advances and Applications in Reasoning with Approximate Knowledge Interpolation /
11
Petri Net Primer [E-Book] : A Compendium on the Core Model, Analysis, and Synthesis /
12
Special Topics in Artificial Intelligence and Augmented Reality [E-Book] : The Case of Spatial Intelligence Enhancement /
Table of Contents: ... -- 4. Fuzzy Logic for modeling the Knowledge of Users in PARSAT AR Software -- 5. Artificial Intelligence-enhanced PARSAT AR Software: Architecture and Implementation -- 6. Multi-Model Evaluation of the Artificial Intelligence-Enhanced PARSAT AR Software...

Full text 
13
Smart Cities [E-Book] : 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13-17, 2023, Revised Selected Papers /
Table of Contents: ... Drinking Water Quality Monitoring System -- Enhancing Solar Cell Classification using Mamdani Fuzzy Logic over Electroluminescence Images: A Comparative Analysis with Machine Learning Methods -- Estimation of the performance of Photovoltaic Cells by means...

Full text 
14
Advanced Hybrid Information Processing [E-Book] : 7th EAI International Conference, ADHIP 2023, Harbin, China, September 22-24, 2023, Proceedings, Part III /
Han, Jiang
2024
Table of Contents: ... Fluidity Based on Different Working Conditions -- Design of Mobile Terminal Music Education Platform Based on Django Framework -- Construction of Mobile EducationPlatform for Piano Tuning Course Based on LogicPro Software -- Temperature Control Technology...

Full text 
15
Quick Start Guide to Verilog [E-Book] /
Subject (ZB): ...Logic design....

Full text 
16
Introduction to Logic Circuits & Logic Design with Verilog [E-Book] /
Table of Contents: ...Introduction - Analog Vs. Digital -- Number Systems -- Digital Circuitry & Interfacing -- Combinational Logic Design -- Verilog (Part 1) -- MSI Logic -- Sequential Logic Design -- Verilog (Part 2) -- Behavioral Modeling of Sequential Logic -- Memory...

Full text 
17
Introduction to Logic Circuits & Logic Design with VHDL [E-Book] /
Table of Contents: ...Introduction -- Analog Vs. Digital -- Number Systems -- Digital Circuitry & Interfacing -- Combinational Logic Design -- VHDL (Part 1) -- MSI Logic -- Sequential Logic Design -- VHDL (Part 2) -- Behavioral Modeling Of Sequential Logic -- Memory...

Full text 
18
Proceedings of Congress on Control, Robotics, and Mechatronics [E-Book] : CRM 2023 /
Table of Contents: ... Recognition from Aerial Videos -- Performance Analysis of Different Controller Schemes of Interval Type - 2 Fuzzy Logic in controlling of Mean Arterial Pressure During infusion of sodium nitroprusside in Patients. -- Early Detection of Alzheimer's Disease Using...

Full text 
19
Logic Circuit Design [E-Book] : Selected Topics and Methods /
Table of Contents: ...Logic Variables, Logic Formulas, Karnaugh Maps, Reduced Karnaugh Maps -- Tautologies, Propositional Logic -- Canonical and Shegalkin Normal Forms, Minimising Logic Functions, Composition of Circuits -- Theory of Latches, Automata Models, Asynchronous...

Full text 
20
Mueller-Matrix Tomography of Biological Tissues and Fluids [E-Book] : Digital Image Processing and Analysis Techniques /