Search results
From MaRDI portal
- algorithm for representations of U(3) in \(\mathrm{U}(N)\) 2023-04-14 Paper Transformation of a nucleon-nucleon potential operator into its SU(3) tensor form using...10 bytes (16 words) - 00:04, 11 December 2023
- peak functions for reconstructing the original profile in the Fourier transformation 2004-01-04 Paper Field correlators in QCD. Theory and applications 2002-11-13...10 bytes (18 words) - 06:52, 9 December 2023
- expressions and updated Fortran program 2013-03-15 Paper Calculation of four-particle harmonic-oscillator transformation brackets 2011-01-05 Paper The general...10 bytes (16 words) - 14:05, 24 September 2023
- expressions and updated Fortran program 2013-03-15 Paper Calculation of four-particle harmonic-oscillator transformation brackets 2011-01-05 Paper The general...10 bytes (16 words) - 00:25, 25 September 2023
- Representation and Inference 2005-12-27 Paper Program Development in Computational Logic 2005-12-23 Paper Program Development in Computational Logic 2005-12-23...10 bytes (17 words) - 16:21, 12 December 2023
- Analyses 2013-08-05 Paper Software Verification for Weak Memory via Program Transformation 2013-08-05 Paper Numeric Bounds Analysis with Conflict-Driven Learning...10 bytes (16 words) - 11:11, 6 October 2023
- algorithms for evaluating linear recurrence relations using the program transformation technique 1982-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3667921...10 bytes (19 words) - 10:57, 13 December 2023
- 1981-01-01 Paper Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare 1976-01-01 Paper Program proving: KJumps and functions...10 bytes (16 words) - 16:39, 12 December 2023
- termination of a logic program 1994-04-05 Paper Basic transformation operations which preserve computed answer substitutions of logic programs 1994-01-13 Paper...10 bytes (17 words) - 08:51, 13 December 2023
- Generic Point-free Lenses 2010-07-26 Paper A Framework for Point-Free Program Transformation 2009-04-28 Paper https://portal.mardi4nfdi.de/entity/Q5472878 2006-06-19...10 bytes (16 words) - 14:19, 6 October 2023
- Rules and Reverse Transformation for Rule-based Equivalent Transformation 2013-07-24 Paper Program Generation in the Equivalent Transformation Computation Model...10 bytes (16 words) - 09:37, 7 October 2023
- 1989-01-01 Paper Minimization of demand paging for the LRU stack model of program behavior 1983-01-01 Paper Effect of Replacement Algorithms on a Paged Buffer...10 bytes (16 words) - 13:15, 13 December 2023
- model transformation: formal foundation and application 2018-02-02 Paper RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules...10 bytes (16 words) - 03:58, 12 December 2023
- functions for dynamical systems using interval analysis 2017-03-28 Paper Transformation of a PID controller for numerical accuracy 2016-12-16 Paper Abstract...10 bytes (16 words) - 23:29, 11 December 2023
- Decomposable searching problems I. Static-to-dynamic transformation 1980-01-01 Paper Dynamic-Programming Algorithms for Recognizing Small-Bandwidth Graphs...10 bytes (18 words) - 12:04, 12 December 2023
- Date of Publication Type Software Verification for Weak Memory via Program Transformation 2013-08-05 Paper...10 bytes (16 words) - 22:13, 27 December 2023
- Publication Date of Publication Type A Computer Program for Box-Cox Transformation and Estimation Technique 1977-01-01 Paper...10 bytes (18 words) - 02:01, 28 December 2023
- Publication Date of Publication Type A method of program transformation between variable sharing and message passing 1985-01-01 Paper...10 bytes (16 words) - 02:56, 28 December 2023
- Publication Date of Publication Type Logic Based Program Synthesis and Transformation 2005-12-27 Paper...10 bytes (16 words) - 22:26, 26 December 2023
- Publication Date of Publication Type The applicability of logic program analysis and transformation to theorem proving 2020-01-21 Paper...10 bytes (20 words) - 21:51, 26 December 2023