1
Gupta, Nishu
2024
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...”2024
Full text
2
Gierasimczuk, Nina
2024
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...”2024
Full text
3
4
Kiefer, Stefan
2024
Table of Contents:
“... in Stochastic Reachability Games -- Region Quadtrees Verified -- Computing pre* for General Context Free Languages -- 2-Pointer Logic....”2024
Full text
5
Finkbeiner, Bernd
2024
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...”2024
Full text
6
7
8
Kobayashi, Naoki
2024
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...”2024
Full text
9
10
11
12
Papakostas, Christos
2024
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...”2024
Full text
13
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
Full text
14
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...”2024
Full text
15
16
LaMeres, Brock J.
2024
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...”2024
Full text
17
LaMeres, Brock J.
2024
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...”2024
Full text
18
Jha, Pradeep Kumar
2024
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...”2024
Full text
19
Vingron, Shimon P.
2024
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...”2024
Full text
20