Search results
From MaRDI portal
- geographical interlocking systems 2022-01-11 Paper Editorial 2022-01-11 Paper Stepwise development and model checking of a distributed interlocking system --...10 bytes (18 words) - 06:35, 12 December 2023
- switching circuits 2015-09-30 Paper Blocking of group automata. I: One-sided interlocking 2013-08-05 Paper General solutions to switching problems 2013-05-24 Paper...10 bytes (18 words) - 03:34, 12 December 2023
- approach from answer set programming to decision making in a railway interlocking system 2014-09-09 Paper The Logics' Explorer: a Maple package for exploring...10 bytes (18 words) - 20:54, 11 December 2023
- approach from answer set programming to decision making in a railway interlocking system 2014-09-09 Paper A Gröbner bases-based rule based expert system...10 bytes (16 words) - 20:54, 11 December 2023
- experts rules 2023-06-20 Paper Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system 2022-12-21...10 bytes (19 words) - 20:31, 8 December 2023
- Date of Publication Type Mechanics unlocks the morphogenetic puzzle of interlocking bivalved shells 2021-03-12 Paper The morpho-mechanical basis of ammonite...10 bytes (16 words) - 16:43, 10 December 2023
- friction, damage and interlocking 2015-12-22 Paper Bond-slip analysis via a thermodynamically consistent interface model combining interlocking, damage and friction...10 bytes (16 words) - 07:39, 9 December 2023
- model for quasi-brittle materials accounting for friction, damage and interlocking 2015-12-22 Paper On the equivalence of energetic and geometric shear...10 bytes (17 words) - 11:10, 11 December 2023
- logics 2012-12-05 Paper A logic approach to decision taking in a railway interlocking system using Maple 2012-05-14 Paper A polynomial model for logics with...10 bytes (18 words) - 20:55, 11 December 2023
- a distributed interlocking system -- using RAISE 2021-05-04 Paper Stepwise development and model checking of a distributed interlocking system using RAISE...10 bytes (16 words) - 23:33, 24 September 2023
- TRANSFORMATIONS ON SYSTOLIC AND VLSI PROCESSOR ARRAYS 2004-10-06 Paper INTERLOCKING PROPERTIES OF THE LINEAR DATA DEPENDENCE METHOD 2004-10-06 Paper Modeling...10 bytes (16 words) - 12:43, 13 December 2023
- Views 2022-09-16 Paper Printing 3D objects with interlocking parts 2018-12-14 Paper Computational interlocking furniture assembly 2016-04-25 Paper Reciprocal...10 bytes (18 words) - 12:04, 24 September 2023
- Construction of finitely presented infinite nil-semigroups. 2013-04-23 Paper Interlocking of convex polyhedra: towards a geometric theory of fragmented solids...10 bytes (19 words) - 05:43, 13 December 2023
- application to rapid fault shearing 2010-10-12 Paper Homogenization of interlocking masonry structures using a generalized differential expansion technique...10 bytes (16 words) - 06:19, 13 December 2023
- formulation for Cosserat elastic plates 2016-12-30 Paper Homogenization of interlocking masonry structures using a generalized differential expansion technique...10 bytes (16 words) - 06:19, 13 December 2023
- Publication Date of Publication Type Mechanics of tubes composed of interlocking building blocks 2022-05-03 Paper Can deterministic mechanical size effects...10 bytes (16 words) - 12:23, 12 December 2023
- problems with nonsmooth data 1999-02-02 Paper Existence of the new quadrant interlocking factorization for parallel solution of tridiagonal linear systems 1995-09-05...10 bytes (18 words) - 07:40, 9 December 2023
- Publication Date of Publication Type Multi-scale plasma simulation by the interlocking of magnetohydrodynamic model and particle-in-cell kinetic model 2007-12-18...10 bytes (16 words) - 11:24, 6 October 2023
- Publication Type A logic-algebraic approach to decision taking in a railway interlocking system 2012-12-12 Paper...10 bytes (17 words) - 19:33, 6 October 2023
- Publication Date of Publication Type Existence of the new quadrant interlocking factorization for parallel solution of tridiagonal linear systems 1995-09-05...10 bytes (18 words) - 01:40, 28 December 2023
