21
22
23
24
Deelman, Ewa
2023
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...”2023
Full text
25
Hartmann, Peter
2023
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...”2023
Full text
26
Kaindl, Hermann
2023
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...”2023
Full text
27
Dinov, Ivo D.
2023
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...”2023
Full text
28
Glück, Roland
2023
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...”2023
Full text
29
30
Areces, Carlos
2023
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...”2023
Full text
31
32
Wies, Thomas
2023
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...”2023
Full text
33
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
Full text
34
Baboulin, Marc
2023
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...”2023
Full text
35
Kapur, J. N.
2023
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...”2023
Full text
36
Dragoi, Cezara
2023
Table of Contents:
“... for Symbolic Model Checking -- Solving Constrained Horn Clauses over Algebraic Data Types -- ARENA: Enhancing Abstract Refinement for Neural Network Verification....”2023
Full text
37
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...”2023
Full text
38
Shagaliev, Rashit
2023
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...”2023
Full text
39
Aly, Abdelrahaman
2023
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...”2023
Full text
40
Donzellini, Giuliano
2023
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...”2023
Full text