Search Results - "computer"

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018....

Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata

Computer-Aided Exercises in Civil Procedure by Park, Roger C., McFarland, Douglas D.

Access online version

Classical Numerical Methods in Scientific Computing by van Kan, Jos, Segal, Guus, Vermolen, Fred

Access online version

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication

Applied and Computational Mathematics for Digital Environments

Subjects: “…symbolic computation…”
DOAB: download the publication
DOAB: description of the publication

Differential Equations for Studies in Computational Electrophysiology by Horgmo Jæger, Karoline

Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication

Computational Methods and Applications for Numerical Analysis

Subjects: “…computational simulation…”
DOAB: download the publication
DOAB: description of the publication

Qualitative and Computational Aspects of Dynamical Systems

DOAB: download the publication
DOAB: description of the publication

Computational Modeling for Industrial-Organizational Psychologists

Subjects: “…Vancouver; Mo Wang; Justin Weinhardt; Jeffrey Vancouver; SIOP Organizational Frontiers Series; SIOP; Society for Industrial and Organizational Psychology; SIOP Organizational Frontiers; computational modeling; computerational models; I/O psychology; vocational psychology; work psychology; organizational psychology; human resource management; organizational behavior; organizational science…”
DOAB: description of the publication

Proceedings - 33. Workshop Computational Intelligence Berlin, 23.-24. November 2023

Subjects: “…Modelling and Simulation; Fuzzy Systems; Artificial Intelligence; Maschine Learning; Modellierung und Simulation; Computational Intelligence; Fuzzy Systeme; Künstliche Intelligenz; Maschinelles Lernen…”
DOAB: download the publication
DOAB: description of the publication

Classical Numerical Methods in Scientific Computing by van Kan, Jos

DOAB: download the publication
DOAB: description of the publication

Recent Progress in Parallel and Distributed Computing

DOAB: download the publication
DOAB: description of the publication

Recent Trends in Computational Science and Engineering

Subjects: “…computational fluid dynamics, artificial neural networks, signal processing, inverse problems, parameter estimation, seismic tomography…”
DOAB: download the publication
DOAB: description of the publication

Computational and Experimental Studies of Acoustic Waves

DOAB: download the publication
DOAB: description of the publication

Computational Overview of Fluid Structure Interaction

DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication

Gender Differences in Computer and Information Literacy An In-depth Analysis of Data from ICILS by Gebhardt, Eveline

Subjects: “…Educational equipment & technology, computer-aided learning (CAL) bicssc…”
DOAB: download the publication
DOAB: description of the publication

Computational Cognitive Modeling and Linguistic Theory by Brasoveanu, Adrian

DOAB: download the publication
DOAB: description of the publication

Computational Approaches to the Study of Movement in Archaeology Theory, Practice and Interpretation of Factors and Effects of Long Term Landscape Formation and Transformation

DOAB: description of the publication

Data Privacy and Trust in Cloud Computing Building trust in the cloud through assurance and accountability

Subjects: “…Computer security bicssc…”
DOAB: download the publication
DOAB: description of the publication