Search results
From MaRDI portal
- 2003-07-13 Paper Computing the face lattice of a polytope from its vertex-facet incidences 2003-03-10 Paper https://portal.mardi4nfdi.de/entity/Q2761100 2002-01-23...10 bytes (18 words) - 14:57, 10 December 2023
- 2003-04-04 Paper Computing the face lattice of a polytope from its vertex-facet incidences 2003-03-10 Paper The QAP-polytope and the star transformation 2002-02-05...10 bytes (16 words) - 21:13, 24 September 2023
- Type Reachability analysis of deep ReLU neural networks using facet-vertex incidence 2024-02-21 Paper Verification of Recurrent Neural Networks with Star...10 bytes (16 words) - 02:23, 7 October 2023
- Type Reachability analysis of deep ReLU neural networks using facet-vertex incidence 2024-02-21 Paper Quantitative Verification for Neural Networks using...10 bytes (16 words) - 00:12, 25 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4518987 2001-10-28 Paper Vertex-facet incidences of unbounded polyhedra 2001-07-17 Paper Pseudo-ovals, elation Laguerre...10 bytes (14 words) - 17:53, 26 December 2023
- Type Reachability analysis of deep ReLU neural networks using facet-vertex incidence 2024-02-21 Paper Quantitative Verification for Neural Networks using...10 bytes (17 words) - 10:26, 25 September 2023
- Type Reachability analysis of deep ReLU neural networks using facet-vertex incidence 2024-02-21 Paper Quantitative Verification for Neural Networks using...10 bytes (18 words) - 09:41, 6 October 2023
- Type Reachability analysis of deep ReLU neural networks using facet-vertex incidence 2024-02-21 Paper Neural network repair with reachability analysis 2023-01-18...10 bytes (19 words) - 09:41, 6 October 2023
- On the maximal width of empty lattice simplices 2001-08-16 Paper Vertex-facet incidences of unbounded polyhedra 2001-07-17 Paper https://portal.mardi4nfdi...10 bytes (19 words) - 01:05, 9 December 2023
- Type Reachability analysis of deep ReLU neural networks using facet-vertex incidence 2024-02-21 Paper Verification of Recurrent Neural Networks with Star...10 bytes (17 words) - 18:43, 11 December 2023
- of Circles 2022-04-20 Paper The maximum-level vertex in an arrangement of lines 2022-03-21 Paper Incidences between points and curves with almost two degrees...10 bytes (17 words) - 15:15, 8 December 2023
- Publication Type A simple model of influence 2023-10-04 Paper Rank of the Vertex-Edge Incidence Matrix of r-Out Hypergraphs 2022-09-21 Paper A triangle process on...10 bytes (16 words) - 03:27, 10 December 2023
- graphs 2017-07-19 Paper A conjecture on equitable vertex arboricity of graphs 2017-04-11 Paper Equitable vertex arboricity of planar graphs 2017-03-09 Paper...10 bytes (16 words) - 01:01, 10 December 2023
- meshes 2019-11-27 Paper Constraints for geodesic network interpolation at a vertex 2019-03-20 Paper Fair free-form surfaces that are almost everywhere parametrically...10 bytes (16 words) - 03:35, 9 December 2023
- 2009-06-19 Paper Representing vertex-transitive graphs on groupoids 2006-11-16 Paper Multiples of left loops and vertex-transitive graphs 2006-07-12 Paper...10 bytes (16 words) - 17:20, 11 December 2023
- Erdős-Szekeres-type problems for \(k\)-convex point sets 2020-02-25 Paper On Vertex- and Empty-Ply Proximity Drawings 2019-02-20 Paper Obstacle Numbers of Planar...10 bytes (17 words) - 02:07, 11 December 2023
- fixed-parameter algorithm for the vertex cover \(P_3\) problem 2014-12-09 Paper A 2-approximation algorithm for the vertex coverP4problem in cubic graphs...10 bytes (17 words) - 18:49, 11 December 2023
- 2015-08-01 Paper Conflict-Free Coloring and its Applications 2015-06-24 Paper On vertex rankings of graphs and its relatives 2015-04-29 Paper Strong conflict-free...10 bytes (16 words) - 09:30, 9 December 2023
- of plane graphs 2012-01-24 Paper Nonrepetitive vertex colorings of graphs 2012-01-11 Paper Parity vertex colouring of graphs 2011-10-05 Paper On the strong...10 bytes (16 words) - 20:16, 8 December 2023
- 2015-08-14 Paper The Number of Interlacing Equalities Resulting from Removal of a Vertex from a Tree 2015-07-31 Paper A contribution to the connections between Fibonacci...10 bytes (16 words) - 12:56, 7 October 2023
