Search results
From MaRDI portal
- Publication Date of Publication Type Proof-Based Design of Security Protocols 2010-06-22 Paper Cryptographic Protocols Analysis in Event B 2010-02-02 Paper...10 bytes (16 words) - 06:11, 7 October 2023
- auction design beyond quasi-linearity: leading examples 2023-06-23 Paper Mechanism design without quasilinearity 2021-06-03 Paper Strategy-proof multi-object...10 bytes (16 words) - 21:44, 11 December 2023
- Linear Monopoly Problems 2013-12-19 Paper Ex post renegotiation-proof mechanism design 2013-04-17 Paper Maximal loss from collusion in IPV symmetric auctions...10 bytes (16 words) - 09:16, 7 October 2023
- of consistent aggregators 2021-04-26 Paper Ex post renegotiation-proof mechanism design 2013-04-17 Paper Markets versus Negotiations: The Predominance of...10 bytes (17 words) - 08:57, 6 October 2023
- Incremental Parametric Development of Greedy Algorithms 2015-03-18 Paper Proof-Based Design of Security Protocols 2010-06-22 Paper Cryptographic Protocols Analysis...10 bytes (16 words) - 09:42, 6 October 2023
- Tableaux Based Proof Calculus for Reasoning with Default Rules 2015-12-11 Paper A Heterogeneous Characterisation of Component-Based System Design in a Categorical...10 bytes (21 words) - 15:15, 12 December 2023
- Private Network Design: A Proof of the Tree Routing Conjecture on Ring Networks 2008-05-22 Paper Virtual Private Network Design: A Proof of the Tree Routing...10 bytes (20 words) - 02:15, 12 December 2023
- tenants: a market design approach 2016-09-06 Paper Strategy-proof house allocation with price restrictions 2016-05-11 Paper The proof of the Gibbard-Satterthwaite...10 bytes (18 words) - 14:16, 10 December 2023
- algorithm 2011-08-31 Paper Correct Hardware Design and Verification Methods 2010-02-05 Paper Correct Hardware Design and Verification Methods 2010-02-05 Paper...10 bytes (19 words) - 04:33, 13 December 2023
- multidisciplinary aircraft conceptual design 2017-06-20 Paper Coevolutionary extremal dynamics on gasket fractal 2012-03-28 Paper Algebraic Proof for the Geometric Structure...10 bytes (17 words) - 12:41, 28 January 2024
- Adaptive Cluster Row and Column Elimination Sampling +(1) Design 2006-04-19 Paper Optimal sampling design under a spatial correlation model 2003-12-14 Paper Theory...10 bytes (18 words) - 00:27, 12 December 2023
- of continuous systems 1980-01-01 Paper Stable adaptive controller design, part II: Proof of stability 1980-01-01 Paper Direct and indirect model reference...10 bytes (18 words) - 23:58, 12 December 2023
- 2024-04-11 Paper Dynamic event‐triggering based design of sliding mode control 2023-11-03 Paper A decoupled design of a robust sliding mode observer 2023-01-31...10 bytes (17 words) - 14:42, 10 December 2023
- 2023-07-07 Paper Inference for a two-stage enrichment design 2021-12-03 Paper Sequential design and analysis in the randomized clinical trial: A historical...10 bytes (18 words) - 11:45, 9 December 2023
- approach to design sharp diamond-shaped filters 1999-01-12 Paper Design rules for rectangular 2-D FIR low-pass filters 1997-02-27 Paper The optimum design of one-...10 bytes (18 words) - 04:56, 13 December 2023
- multiattribute decision-theoretic approach for the layout design problem 1993-01-16 Paper A revised proof of optimality for the cube-per-order index rule for...10 bytes (16 words) - 03:52, 13 December 2023
- Euler formula: A hypermap-formalized intuitionistic proof 2008-09-16 Paper Design and formal proof of a new optimal image segmentation program with hypermaps...10 bytes (18 words) - 18:56, 11 December 2023
- first formalisation of combinatorial design theory 2022-04-22 Paper ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT 2022-03-01 Paper...10 bytes (19 words) - 19:14, 9 December 2023
- numerical simulation of ODEs 2013-04-24 Paper OPTIMAL DESIGN FOR MULTIMATERIALS 2012-10-26 Paper Optimal design of 2D conducting graded materials by minimizing...10 bytes (17 words) - 15:41, 8 December 2023
- is a proof? 2009-01-20 Paper Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’ 2009-01-20...10 bytes (17 words) - 00:42, 12 December 2023
