Search results

From MaRDI portal
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
  • Learning secrets interactively. Dynamic modeling in inductive inference 2013-01-17 Paper Program self-reference in constructive Scott subdomains 2012-12-07 Paper...
    10 bytes (13 words) - 02:32, 9 December 2023
  • Indifference 2018-11-19 Paper Four Approaches to the Reference Class Problem 2018-02-19 Paper Lectures on inductive logic 2016-10-13 Paper Objective Bayesianism...
    10 bytes (14 words) - 05:30, 7 October 2023
  • mardi4nfdi.de/entity/Q5271376 2017-07-11 Paper Conception, sense, and reference in Peircean semiotics 2017-03-08 Paper https://portal.mardi4nfdi.de/entity/Q3016128...
    10 bytes (14 words) - 05:35, 7 October 2023
  • multi-reference alignment 2022-08-05 Paper Compactification of the Rigid Motions Group in Image Processing 2022-08-04 Paper Dihedral Multi-Reference Alignment...
    10 bytes (13 words) - 18:20, 6 October 2023
  • Statistical methods with special reference to agriculture 1964-01-01 Paper Statistical methods with special reference to agriculture. XIII: Integration...
    10 bytes (14 words) - 07:15, 12 December 2023
  • de/entity/Q3995126 1992-09-17 Paper Definitions of semantical reference and self-reference 1976-01-01 Paper...
    10 bytes (14 words) - 03:13, 25 September 2023
  • 2024-04-30 Paper Probabilistic truthlikeness, content elements, and meta-inductive probability optimization 2024-02-01 Paper Why classical logic is privileged:...
    10 bytes (14 words) - 04:46, 12 December 2023
  • paging with locality of reference 1995-06-08 Paper https://portal.mardi4nfdi.de/entity/Q4763411 1995-04-11 Paper Coloring inductive graphs on-line 1994-03-27...
    10 bytes (13 words) - 03:51, 12 December 2023
  • Paper Inductive inference in the limit of empirically adequate theories 1996-04-22 Paper A model for science kinematics 1994-05-16 Paper Inductive inference...
    10 bytes (14 words) - 10:51, 24 September 2023
  • Extensible AspectJ Compiler 2009-06-26 Paper Formalising and Verifying Reference Attribute Grammars in Coq 2009-03-31 Paper https://portal.mardi4nfdi.de/entity/Q4738382...
    10 bytes (15 words) - 15:57, 24 September 2023
  • Systems with Transductions: Application to Boolean Programs with Call-by-Reference 2017-09-12 Paper A Theory for the Composition of Concurrent Processes 2016-10-19...
    10 bytes (14 words) - 11:51, 11 December 2023
  • BAYESIAN REGRESSION ANALYSIS WITH SCALE MIXTURES OF NORMALS 2000-06-05 Paper Reference priors for non-normal two-sample problems 2000-03-19 Paper Classical and...
    10 bytes (13 words) - 16:41, 7 December 2023
  • and the No Free Lunch Theorem: A Contradiction? 2022-11-02 Paper Meta-inductive prediction based on attractivity weighting: mathematical and empirical...
    10 bytes (15 words) - 19:33, 6 October 2023
  • Android's Permission-Based Security Model 2019-02-08 Paper A certified reference validation mechanism for the permission model of Android 2018-09-06 Paper...
    10 bytes (13 words) - 16:59, 24 September 2023
  • Powerlist Case Study 2010-09-14 Paper Predicting Failures of and Repairing Inductive Proof Attempts 2010-06-02 Paper Automatic Generation of Generalization...
    10 bytes (15 words) - 16:54, 11 December 2023
  • Publication Date of Publication Type Incomparable Values 2021-11-08 Paper Reference and perspective in intuitionistic logics 2009-03-24 Paper Truth as an epistemic...
    10 bytes (14 words) - 09:29, 6 October 2023
  • of probability measures with countable supports 2013-09-12 Paper A new reference system in the variational method of thermodynamic perturbation theory 2013-07-03...
    10 bytes (15 words) - 18:06, 24 September 2023
  • by graph automata 1997-10-13 Paper Competitive paging with locality of reference 1995-06-08 Paper An optimal on-line algorithm for metrical task system...
    10 bytes (16 words) - 22:24, 11 December 2023
  • Event Logs based on the Road Traffic Fine Management Event Log and the Inductive Miner - infrequent 2024-11-14 Dataset sOCEL 2.0: A Sustainability-Enriched...
    10 bytes (23 words) - 03:40, 9 December 2023
  • Publication Type A complete, co-inductive syntactic theory of sequential control and state 2014-09-12 Paper Inductive reasoning about effectful data types...
    10 bytes (13 words) - 05:46, 7 October 2023
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)