Search results
From MaRDI portal
- dynamics in Boolean networks with deterministic update schedules 2013-05-10 Paper Combinatorics on update digraphs in Boolean networks 2011-03-10 Paper On...10 bytes (16 words) - 15:42, 11 December 2023
- ARROW UPDATE LOGIC 2012-03-29 Paper Expressivity and completeness for public update logics via reduction axioms 2009-11-30 Paper Dynamic update with probabilities...10 bytes (19 words) - 12:12, 11 December 2023
- characterization of FD implication with an application to update anomalies 1988-01-01 Paper Update and retrieval in a relational database through a universal...10 bytes (16 words) - 20:35, 9 December 2023
- Publication Date of Publication Type Rank-two update algorithm versus Frank-Wolfe algorithm with away steps for the weighted Euclidean one-center problem...10 bytes (17 words) - 22:59, 11 December 2023
- perfect matchings 2015-04-16 Paper Optimal lower bounds for projective list update algorithms 2014-12-05 Paper https://portal.mardi4nfdi.de/entity/Q2861535...10 bytes (18 words) - 18:54, 9 December 2023
- methods for large symmetric eigenvalue problems 2015-09-04 Paper Low-rank update of preconditioners for the nonlinear Richards equation 2015-02-19 Paper...10 bytes (16 words) - 20:39, 11 December 2023
- Deriving properties of belief update from theories of action 1994-09-26 Paper A Unified View of Belief Revision and Update 1994-01-01 Paper...10 bytes (18 words) - 15:13, 13 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4576185 2018-07-12 Paper Belief Update within Propositional Fragments 2018-05-02 Paper Complexity of model checking...10 bytes (16 words) - 03:58, 12 December 2023
- Publication Date of Publication Type Update of the Binoth Les Houches Accord for a standard interface between Monte Carlo tools and one-loop programs 2016-11-11...10 bytes (18 words) - 11:30, 11 December 2023
- Mathematica quantum computer simulation update 2016-11-10 Paper QCWAVE - A Mathematica quantum computer simulation update 2013-03-15 Paper QCMPI: A parallel...10 bytes (16 words) - 18:32, 9 December 2023
- 2017-05-02 Paper Combinatorics and Geometry of Transportation Polytopes: An Update 2016-01-27 Paper Polyhedral graph abstractions and an approach to the linear...10 bytes (18 words) - 12:55, 12 December 2023
- dynamics in Boolean networks with deterministic update schedules 2013-05-10 Paper Combinatorics on update digraphs in Boolean networks 2011-03-10 Paper Maximum...10 bytes (16 words) - 16:34, 11 December 2023
- process with generalized update 2020-08-11 Paper Determinant solution for the totally asymmetric exclusion process with parallel update: II. Ring geometry 2019-10-22...10 bytes (18 words) - 15:57, 11 December 2023
- environments 2014-09-08 Paper CTL update of Kripke models through protections 2014-06-10 Paper Nondeterministic Update of CTL Models by Preserving Satisfaction...10 bytes (18 words) - 19:54, 11 December 2023
- of Publication Type Mesh adaptive direct search with simplicial Hessian update 2019-12-19 Paper The Nelder-Mead simplex algorithm with perturbed centroid...10 bytes (16 words) - 02:43, 13 December 2023
- Degenerate Problems 2007-10-08 Paper A practical update criterion for SQP method 2007-09-03 Paper A cautious BFGS update for reduced Hessian SQP 2007-06-14 Paper...10 bytes (17 words) - 06:32, 12 December 2023
- networks and update schedules 2012-06-01 Paper Combinatorics of Boolean automata circuits dynamics 2012-05-04 Paper Combinatorics on update digraphs in...10 bytes (16 words) - 15:22, 11 December 2023
- 2018-08-23 Paper The anti-\(k_t\) jet clustering algorithm 2017-08-28 Paper Update of the Binoth Les Houches Accord for a standard interface between Monte...10 bytes (19 words) - 23:08, 10 December 2023
- initial states 2017-10-17 Paper PYTHIA 6.4 physics and manual 2017-08-11 Paper Update of the Binoth Les Houches Accord for a standard interface between Monte...10 bytes (19 words) - 23:51, 10 December 2023
- systems simulation tool for coupled nonlinear physics on unstructured grids—an update 2003-03-25 Paper On Preconditioning Newton--Krylov Methods in Solidifying...10 bytes (18 words) - 05:22, 13 December 2023