21
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [E-Book] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
22
Developments in Language Theory [E-Book] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings /
23
Recent Trends in Algebraic Development Techniques [E-Book] : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers /
24
Parallel Processing and Applied Mathematics [E-Book] : 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I /
Table of Contents: ... -- Mixed Precision Algebraic Multigrid on GPUs -- Compact in-memory representation of decision trees in GPU-accelerated evolutionary induction -- Neural Nets with a Newton Conjugate Gradient Method on Multiple GPUs -- Performance Analysis and Prediction in HPC...

Full text 
25
Mathematics for Computer Scientists [E-Book] : A Practice-Oriented Approach /
Table of Contents: ...DISCRETE MATHEMATICS AND LINEAR ALGEBRA -- Sets and mappings -- Logic -- Natural numbers, complete induction, recursion -- Some number theory -- Algebraic structures -- Vector spaces -- Matrices -- Gaussian algorithm and systems of linear equations...

Full text 
26
Evaluation of Novel Approaches to Software Engineering [E-Book] : 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers /
Table of Contents: ...Theory and Practice of Systems and Applications Development -- An Approach-based on Allen's Interval Algebra to Provision Resources for Disrupted Business Processes -- BPMN4FRSS: An BPMN Extension To Support Risk-Based Development of Forensic-Ready...

Full text 
27
Data Science and Predictive Analytics [E-Book] : Biomedical and Health Applications using R /
Table of Contents: ...Chapter 1 - Introduction -- Chapter 2: Basic Visualization and Exploratory Data Analytics -- Chapter 3: Linear Algebra, Matrix Computing and Regression Modeling -- Chapter 4: Linear and Nonlinear Dimensionality Reduction -- Chapter 5: Supervised...

Full text 
28
Relational and Algebraic Methods in Computer Science [E-Book] : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings /
Table of Contents: ...Amalgamation Property for Some Varieties of BL-algebras Generated by one Finite Set of BL-chains with Finitely-many Components -- Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture -- A General Method for Representing Sets of Relations...

Full text 
29
Algorithms and Complexity [E-Book] : 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings /
30
Dynamic Logic. New Trends and Applications [E-Book] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers /
Table of Contents: ...First steps in updating knowing how -- Parametrized modal logic II: the unidimensional case -- Relating Kleene algebras -- Dynamic epistemic logic for budget-constrained agents -- Action models for coalition logic -- Quantum logic for observation...

Full text 
31
Analysis of enzyme reaction kinetics. 1 /
Book
Subject (ZB): ...algebra...
Table of Contents 
32
Programming Languages and Systems [E-Book] : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /
Table of Contents: ... Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication...

Full text 
33
Human-Computer Interaction - INTERACT 2023 [E-Book] : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV /
Table of Contents: ... in young adults -- Designing AR Applications for People Living with Dementia -- Designing Interaction to Support Sustained Attention -- Digital Educational Games with Storytelling for Students to Learn Algebra -- Distinguishing user paths for personas...

Full text 
34
High Performance Computing : ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers [E-Book] /
Table of Contents: ... Platforms with oneAPI and Vitis HLS: A Comparison with GPUs -- Evaluating Quantum Algorithms for Linear Algebra Workflows -- Exploring the Use of Dataflow Architectures for Graph Neural Network Workloads -- OpenACC unified programming environment for multi-hybrid...

Full text 
35
Mathematical Modeling [E-Book]
Table of Contents: ... Modeling -- 1.3 Classification of Mathematical Models -- 1.4 Some Characteristics of Mathematical Models -- 1.5 Mathematical Modeling through Geometry -- 1.6 Mathematical Modeling through Algebra -- 1.7 Mathematical Modeling through Trigonometry -- 1.7.1 Finding...

Full text 
36
Verification, Model Checking, and Abstract Interpretation [E-Book] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings /
Table of Contents: ... for Symbolic Model Checking -- Solving Constrained Horn Clauses over Algebraic Data Types -- ARENA: Enhancing Abstract Refinement for Neural Network Verification....

Full text 
37
Formal Methods and Software Engineering [E-Book] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings /
Li, Yi
2023
Table of Contents: ... with Insecurity Separation Logic -- Dynamic Extrapolation in Extended Timed Automata -- Formalizing Robustness against Character-level Perturbations for Neural Network Language Models -- Trace models of concurrent valuation algebras -- Branch and Bound for Sigmoid-like...

Full text 
38
Supercomputing [E-Book] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I /
Table of Contents: ...Supercomputer Simulation: Application of HPC for Simulation of Sealant Influence on the Aircraft Assembly Process -- Block Algebraic Multigrid Method for Saddle-Point Problems of Various Physics -- Computational Efficiency of Iterative Methods...

Full text 
39
Progress in Cryptology - LATINCRYPT 2023 [E-Book] : 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3-6, 2023, Proceedings /
Table of Contents: ...Symmetric-Key Cryptography -- On the Algebraic Immunity of Weightwise Perfectly Balanced Functions -- ACE-HoT: Accelerating an Extreme Amount of Symmetric Cipher Evaluations for High-order Avalanche Tests -- Multi-Party Computation -- On Fully-Secure...

Full text 
40
Introduzione al Progetto di Sistemi Digitali [E-Book] /
Table of Contents: ...Algebra booleana e reti combinatorie -- Progetto di reti combinatorie -- Aritmetica binaria -- Complementi sul progetto di reti combinatorie -- Introduzione alle reti sequenziali -- Reti sincrone di flip-flop -- Reti sequenziali come Macchine a Stati...

Full text