BATAGELJ, Vladimir, MRVAR, Andrej. Pajek: a program for large network analysis. Connections (Tor.), Fall 1998, vol. 21, no. 2, str.

Source URL: mrvar.fdv.uni-lj.si

A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog? T. Str¨ oder1 , F. Emmes1 , P. Schneider-Kamp2 , J. Giesl1 , and C. Fuhs1 1

Source URL: www.dcs.bbk.ac.uk

BIT 39(3), pp. 539–560, 1999 FAST AND PARALLEL INTERVAL ARITHMETIC SIEGFRIED M. RUMP Inst. of Computer Science III, Technical University Hamburg-Harburg, Eißendorfer Str. 38, 21071 Hamburg, Germany.

Source URL: www.ti3.tu-harburg.de

• Mathematics
• Computer arithmetic
• Mathematical logic
• Theory of computation
• Numerical analysis
• Arithmetic
• Interval arithmetic
• Interval
• Constructible universe
• Ordinal number
• NC
• Machine epsilon

Chapter 4 O verf itt ing Avoi dance i n Regressi on Trees This chapter describes several approaches that try to avoid overfitting of the training data with too complex trees. In the context of tree-based models these str

Source URL: www.dcc.fc.up.pt

• Decision trees
• Pruning
• Decision tree learning
• Regression analysis
• Gradient boosting

Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1

Source URL: www.dcs.bbk.ac.uk

• Logic in computer science
• Mathematical logic
• Theoretical computer science
• Static program analysis
• Termination analysis
• Automated theorem proving
• Prolog
• Unification
• Rewriting
• Algorithm
• Recursion
• ECLiPSe

Vol. 1 noPages 1–8 BIOINFORMATICS Haplotype Reconstruction from Genotype Data

Source URL: www.cs.tau.ac.il

• Population genetics
• Genetic genealogy
• Genetics
• Genomics
• Classical genetics
• Haplotype
• International HapMap Project
• Single-nucleotide polymorphism
• Perfect phylogeny
• Y-STR
• Genome-wide complex trait analysis
• Human genome

Scaling Out the Discovery of Inclusion Dependencies Sebastian Kruse, Thorsten Papenbrock, Felix Naumann Hasso Plattner Institute Prof.-Dr.-Helmert-Str. 2-3, 14482 Potsdam Abstract: Inclusion dep

Source URL: hpi.de

• Data management
• Computing
• Data
• Data modeling
• Functional dependency
• Data analysis
• Referential integrity
• Join
• Random sample consensus

AL V-lea Simpozion de Matematici si Aplicatii al Universitatii Tehnice Timisoara 1993 TOPICS IN BINARY VALUED ANALYSIS Serban E. Vlad str Zimbrului, Nr.3, Bl.PB68, Et.2, Ap.11, 3700, Oradea, Romania E- mail: serban_e_vla

Source URL: www.serbanvlad.ro

Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universitt Robert–Mayer–Str. 6–10, 6000 F

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Mathematical logic
• Logic
• Primitive recursive functional
• Proof theory
• Symbol
• Mathematics
• Table of stars with Bayer designations

Analyzing proofs in analysis∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universit¨at Robert–Mayer–Str. 6–10, D–60054 Frankfurt am Main, Germany 1

Source URL: www.mathematik.tu-darmstadt.de

• Logic
• Mathematics
• Mathematical analysis
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Computability theory
• operator
• Spectral theory of ordinary differential equations