Search results
From MaRDI portal
- Publication Date of Publication Type Using Patterns in Computer Go 2020-06-24 Paper...10 bytes (18 words) - 22:48, 27 December 2023
- Type Generating sparse spanners for weighted graphs 2022-12-09 Paper Computer-aided Go: Chess as a role model 2018-10-26 Paper An analysis of majority systems...10 bytes (17 words) - 03:01, 11 December 2023
- Light of the Quantum Computer 2019-11-27 Paper On the Significance of the Gottesman–Knill Theorem 2018-11-19 Paper Reconsidering No-Go Theorems from a Practical...10 bytes (18 words) - 16:05, 12 December 2023
- 2022-05-16 Paper A Simulink-based software solution using the infinity computer methodology for higher order differentiation 2021-11-11 Paper Book review...10 bytes (19 words) - 16:01, 6 December 2023
- spatiotemporal data 2023-07-13 Paper Traveling wave speed and profile of a ``go or grow glioblastoma multiforme model 2023-02-16 Paper Modeling and global...10 bytes (18 words) - 05:58, 12 December 2023
- Baccarat 1973-01-01 Paper A computer assisted study of Go on \(M \times N\) boards 1972-01-01 Paper A partial analysis of Go 1964-01-01 Paper https://portal...10 bytes (18 words) - 12:49, 6 October 2023
- Shuffling with Applications to the Game of Faro 1973-01-01 Paper A computer assisted study of Go on \(M \times N\) boards 1972-01-01 Paper Partially bounded sets...10 bytes (19 words) - 23:50, 12 December 2023
- digital spaces 1992-06-25 Paper Boundaries in digital planes 1990-01-01 Paper Computer graphics and connected topologies on finite ordered sets 1990-01-01 Paper...10 bytes (18 words) - 06:05, 13 December 2023
- Publication Date of Publication Type A Human-Computer Team Experiment for 9x9 Go 2011-02-11 Paper...10 bytes (16 words) - 00:42, 25 September 2023
- models for time-course gene expression data and Gene Ontology (GO) tags 2015-12-07 Paper Computer Vision - ECCV 2004 2005-12-27 Paper 10.1162/153244303322533214...10 bytes (16 words) - 11:27, 24 September 2023
- in the Michelson System: A Computer Assisted Proof 2005-10-28 Paper Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof. 2003-11-19...10 bytes (16 words) - 09:17, 7 October 2023
- Paper Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong) 2017-05-10 Paper Refinement types for Haskell 2016-09-29 Paper Predicate...10 bytes (17 words) - 09:28, 6 October 2023
- multi-asset artificial stock market 2022-06-23 Paper Should I stay or should I go? An agent-based setup for a trading and monetary union 2020-05-19 Paper Traders'...10 bytes (17 words) - 10:37, 9 December 2023
- systems 2014-06-06 Paper Hybrid Automata in Systems Biology: How Far Can We Go? 2014-03-21 Paper Rank-Based Symbolic Bisimulation 2013-04-19 Paper Transforming...10 bytes (17 words) - 05:31, 12 December 2023
- Notes on avoiding ``go to statements 2013-03-30 Paper https://portal.mardi4nfdi.de/entity/Q3112449 2012-01-10 Paper Mathematics and Computer Science: Coping...10 bytes (19 words) - 06:12, 12 December 2023
- Publication Date of Publication Type How many times do you need to go back to the future in unary temporal logic? 2023-07-26 Paper Characterizing level...10 bytes (16 words) - 01:45, 12 December 2023
- obstacle numbers 2015-08-27 Paper Average stretch factor: how low does it go? 2015-04-16 Paper Robust geometric spanners 2015-02-17 Paper Graph layouts...10 bytes (16 words) - 18:37, 11 December 2023
- transformations 2006-01-23 Paper Computer Aided Verification 2006-01-10 Paper Computer Aided Verification 2006-01-10 Paper Computer Aided Verification 2006-01-10...10 bytes (18 words) - 00:05, 12 December 2023
- Variants 2009-01-07 Paper Learning to score final positions in the game of Go 2006-03-20 Paper Selecting evaluation functions in opponent-model search 2006-03-20...10 bytes (23 words) - 12:28, 28 January 2024
- refinements of the Smirnov two-sample test 1999-04-18 Paper Combinatorics, computer algebra and the Wilcoxon-Mann-Whitney test 1999-01-01 Paper https://portal...10 bytes (19 words) - 13:06, 8 December 2023
