Computer science today. Recent trends and developments
From MaRDI portal
Cited in
(62)- On a feasible-infeasible two-population (FI-2Pop) genetic algorithm for constrained optimization: Distance tracing and no free lunch
- Enumerated BSP Automata
- An algorithm to find maximum area polygons circumscribed about a convex polygon
- A survey of constraint-based programming paradigms
- A compositional partial order semantics for Petri net components
- Linear approximation of simple objects
- 1-optimality of static BSP computations: Scheduling independent chains as a case study.
- Subthreshold-seeking local search
- Improved edge-coloring with three colors
- ST-structures
- An investigation into two bin packing problems with ordering and orientation implications
- Quantified computation tree logic
- Parallel machine models: how they are and where are they going
- Consequence relations and data science: from Galois mappings to data interpretation
- A closer look at constraints as processes
- A BSP recursive divide and conquer algorithm to solve a tridiagonal linear system
- Routing vertex disjoint Steiner-trees in a cubic grid and connections to VLSI
- ESTL: A Temporal Logic for Events and States
- I-serializability: generalized correctness for transaction-based environments
- Formal justification of underspecification for S5
- A (restricted) quantifier elimination for security protocols
- Hundreds of impossibility results for distributed computing
- Design for AJACS, yet another Java constraint programming framework
- Decidability of infinite-state timed CCP processes and first-order LTL
- Teleportation as a quantum computation.
- An efficient parallel block coordinate descent algorithm for large-scale precision matrix estimation using graphics processing units
- Structural equivalence and ET0L grammars
- Truth versus information in logic programming
- Evaluating ASP and commercial solvers on the CSPLib
- Some points in formal topology.
- A concurrent lambda calculus with futures
- An overlapped two-way method for solving tridiagonal linear systems in a BSP computer
- On Establishing and Fixing a Parallel Session Attack in a Security Protocol
- Topological categories, quantaloids and Isbell adjunctions
- Flexibility in Algebraic Nets
- Attribute grammars for unranked trees as a query language for structured documents
- Methods for multi-objective optimization: an analysis
- Edge coloring: a natural model for sports scheduling
- Experiments with the ``Oregon Trail knapsack problem
- Myhill-Nerode theorem for higher-dimensional automata
- Knowledge-based proof planning
- Chu connections and back diagonals between \(\mathcal{Q}\)-distributors
- Minimum multiplicity edge coloring via orientation
- Budget-bounded model-checking pushdown systems
- Global constraints for round robin tournament scheduling.
- Languages of higher-dimensional automata
- The bulk-synchronous parallel random access machine
- Optimization, block designs and no free lunch theorems
- Expressing the operations of quantum computing in multiparticle geometric algebra.
- A Nivat theorem for weighted alternating automata over commutative semirings
- Computing an irregularity strength of selected graphs
- A completeness proof for a regular predicate logic with undefined truth value
- A freeness and sharing analysis of logic programs based on a pre-interpretation
- Data meaning and knowledge discovery: semantical aspects of information systems
- Interactive foundations of computing
- Reversible space equals deterministic space
- Linking information reconciliation and privacy amplification
- Algebraic nets with flexible arcs
- Generalizations of 1-deterministic regular languages
- Complete axiomatization and decidability of alternating-time temporal logic
- The BG distributed simulation algorithm
- Model checking open systems with alternating projection temporal logic
This page was built for publication: Computer science today. Recent trends and developments
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1902700)
