Search results
From MaRDI portal
- categories are Freyd-categories 2011-03-14 Paper Sketches and computations over fields. 2003-05-27 Paper Sketches and computation – I: basic definitions and...10 bytes (18 words) - 14:51, 28 January 2024
- Publication Type https://portal.mardi4nfdi.de/entity/Q4815304 2004-09-07 Paper Sketches and parametrization 1994-02-22 Paper A MIMD implementation of the Buchberger...10 bytes (16 words) - 22:04, 12 December 2023
- 2015-07-27 Paper Rigidification of homotopy algebras over finite product sketches 2015-02-06 Paper...10 bytes (20 words) - 11:08, 11 December 2023
- evaluation 1995-06-08 Paper Sketches and computation – I: basic definitions and static evaluation 1994-08-14 Paper Sketches and computation – II: dynamic...10 bytes (16 words) - 17:16, 6 October 2023
- Paper Finitary sketches 1998-04-05 Paper Accessible categories, saturation and categoricity 1997-12-17 Paper Finite models of sketches 1997-07-08 Paper...10 bytes (17 words) - 16:22, 8 December 2023
- Publication Date of Publication Type Solving Program Sketches with Large Integer Values 2022-10-13 Paper Buoyancy effects on film boiling heat transfer...10 bytes (16 words) - 12:52, 6 October 2023
- Construction 2007-09-28 Paper Nested transactional memory: Model and architecture sketches 2006-12-14 Paper A transactional object calculus 2005-08-03 Paper https://portal...10 bytes (18 words) - 02:51, 13 December 2023
- Publication Date of Publication Type Few sketches on connections between the Riccati and Ermakov–Milne–Pinney equations 2010-06-23 Paper On construction...10 bytes (18 words) - 10:07, 12 December 2023
- geometric and finitary sketches 1996-11-12 Paper https://portal.mardi4nfdi.de/entity/Q4884923 1996-11-03 Paper Finitary sketches and finitely accessible...10 bytes (17 words) - 11:43, 8 December 2023
- interference revisited 2000-08-23 Paper Bireflectivity 2000-08-23 Paper Sketches 2000-02-15 Paper https://portal.mardi4nfdi.de/entity/Q4222895 1998-12-20...10 bytes (16 words) - 17:12, 13 December 2023
- optimization 2023-11-09 Paper RidgeSketch: A Fast Sketching Based Solver for Large Scale Ridge Regression 2022-08-31 Paper Sketched Newton--Raphson 2022-07-29...10 bytes (19 words) - 14:25, 28 January 2024
- Query Revisited 2014-06-30 Paper Time-decaying sketches for sensor data aggregation 2014-03-13 Paper Sketching asynchronous data streams over sliding windows...10 bytes (16 words) - 11:15, 7 October 2023
- 2018-07-09 Paper Randomized sketches for kernels: fast and optimal nonparametric regression 2017-08-03 Paper Randomized Sketches of Convex Programs With Sharp...10 bytes (16 words) - 22:50, 24 September 2023
- Publication Type Synopses for Massive Data: Samples, Histograms, Wavelets, Sketches 2012-08-10 Paper...10 bytes (16 words) - 10:59, 6 October 2023
- planetary gear trains for automotive automatic transmissions via coded sketches 2010-12-29 Paper...10 bytes (18 words) - 20:40, 6 October 2023
- Publication Date of Publication Type Faster and Simpler Sketches of Valuation Functions 2018-11-05 Paper...10 bytes (16 words) - 12:32, 14 March 2024
- Publication Date of Publication Type Safe compositional network sketches 2017-05-10 Paper...10 bytes (18 words) - 12:17, 7 October 2023
- Publication Date of Publication Type Modular Synthesis of Sketches Using Models 2015-01-13 Paper...10 bytes (16 words) - 12:19, 7 October 2023
- Publication Type Object Category Understanding via Eye Fixations on Freehand Sketches 2019-02-05 Paper...10 bytes (18 words) - 21:02, 26 December 2023
- Publication Date of Publication Type Reconstructing 3D Shapes From Multiple Sketches Using Direct Shape Optimization 2022-09-16 Paper...10 bytes (16 words) - 21:41, 26 December 2023