Search results
From MaRDI portal
- Multirelations in an Allegory 2010-08-31 Paper Towards a calculus of predicate transformers 2010-06-17 Paper Nondeterministic Folds 2009-04-02 Paper Modelling angelic...10 bytes (18 words) - 03:14, 13 December 2023
- memory system 1996-04-21 Paper An algebraic construction of predicate transformers 1995-02-19 Paper https://portal.mardi4nfdi.de/entity/Q4281666 1994-04-07...10 bytes (20 words) - 17:16, 12 December 2023
- Frames, and Their Discrete Duality 2009-01-27 Paper Monotone Predicate Transformers as Up-Closed Multirelations 2008-04-24 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 03:14, 13 December 2023
- Date of Publication Type Non-deterministic expressions and predicate transformers 2016-05-26 Paper A Lattice-Theoretic Model for an Algebra of Communicating...10 bytes (18 words) - 03:52, 9 December 2023
- and reactance for special transformers 1999-08-09 Paper 3D MAGNETIC FIELD DISTRIBUTION OF YOKE FLUX IN THREE‐PHASE TRANSFORMERS WITHOUT FERROMAGNETIC TANKS...10 bytes (16 words) - 09:50, 6 October 2023
- and reactance for special transformers 1999-08-09 Paper 3D MAGNETIC FIELD DISTRIBUTION OF YOKE FLUX IN THREE‐PHASE TRANSFORMERS WITHOUT FERROMAGNETIC TANKS...10 bytes (16 words) - 09:50, 6 October 2023
- Publication Date of Publication Type Monotone Predicate Transformers as Up-Closed Multirelations 2008-04-24 Paper Three dual ontologies 2003-04-27 Paper...10 bytes (17 words) - 05:42, 13 December 2023
- faster functions 2011-01-26 Paper Monad transformers as monoid transformers 2011-01-07 Paper Modular Monad Transformers 2009-03-31 Paper...10 bytes (16 words) - 14:11, 6 October 2023
- operators and inner product type transformers generated by families of subnormal operators 2022-03-14 Paper Laplace transformers in norm ideals of compact operators...10 bytes (16 words) - 17:23, 6 October 2023
- New Abstraction Framework for Affine Transformers 2019-09-16 Paper A new abstraction framework for affine transformers 2019-09-04 Paper Sound Bit-Precise...10 bytes (16 words) - 12:01, 7 October 2023
- systems 2012-10-10 Paper Modeling and real-time fault identification in transformers 2009-08-07 Paper Diagnosability of fuzzy discrete event systems 2008-01-11...10 bytes (16 words) - 01:00, 12 December 2023
- foundations of alternate current theory. 1910-01-01 Paper The use of shunts and transformers with alternate current measuring instruments. 1909-01-01 Paper...10 bytes (19 words) - 17:23, 13 December 2023
- Loop Invariants Detection 2016-06-17 Paper Computing invariants with transformers: experimental scalability and accuracy 2016-05-10 Paper https://portal...10 bytes (16 words) - 14:16, 10 December 2023
- affine arithmetic for thermal state estimation of substation distribution transformers 2005-11-24 Paper https://portal.mardi4nfdi.de/entity/Q4546612 2002-08-20...10 bytes (17 words) - 17:35, 9 December 2023
- femtosecond pump–probe technique 2007-03-30 Paper Halfband filters and Hilbert transformers 1999-06-09 Paper A hybrid system for the reconstruction of a smooth function...10 bytes (18 words) - 20:28, 12 December 2023
- squarefree 2018-02-20 Paper Finite element analysis of electrical machines and transformers 2017-03-30 Paper Design of an electromagnetic actuator for parametric...10 bytes (18 words) - 14:52, 13 December 2023
- affine arithmetic for thermal state estimation of substation distribution transformers 2005-11-24 Paper https://portal.mardi4nfdi.de/entity/Q4442807 2004-01-20...10 bytes (17 words) - 17:35, 9 December 2023
- information transformers 1999-01-01 Paper Relative informativity and a priori information in the category of linear information transformers 1998-08-19...10 bytes (18 words) - 15:09, 23 September 2023
- Paper Laplace transformers in norm ideals of compact operators 2021-10-08 Paper Cauchy-Schwarz inequalities for inner product type transformers in \({Q}^*\)...10 bytes (16 words) - 03:05, 7 October 2023
- operators and inner product type transformers generated by families of subnormal operators 2022-03-14 Paper Laplace transformers in norm ideals of compact operators...10 bytes (18 words) - 17:23, 6 October 2023
