Works matching DE "FOUNDATIONS of arithmetic"
Results: 791
Wittgenstein, necessity, and the application of mathematics.
- Published in:
- South African Journal of Philosophy, 2011, v. 30, n. 2, p. 155, doi. 10.4314/sajpem.v30i2.67777
- By:
- Publication type:
- Article
An algorithm to match registries with minimal disclosure of individual identities.
- Published in:
- Public Health Reports, 1999, v. 114, n. 1, p. 91, doi. 10.1093/phr/114.1.91
- By:
- Publication type:
- Article
Variance-constrained actor-critic algorithms for discounted and average reward MDPs.
- Published in:
- Machine Learning, 2016, v. 105, n. 3, p. 367, doi. 10.1007/s10994-016-5569-5
- By:
- Publication type:
- Article
On the quest for optimal rule learning heuristics.
- Published in:
- Machine Learning, 2010, v. 78, n. 3, p. 343, doi. 10.1007/s10994-009-5162-2
- By:
- Publication type:
- Article
A cooperative coevolutionary algorithm for instance selection for instance-based learning.
- Published in:
- Machine Learning, 2010, v. 78, n. 3, p. 381, doi. 10.1007/s10994-009-5161-3
- By:
- Publication type:
- Article
Local procrustes for manifold embedding: a measure of embedding quality and embedding algorithms.
- Published in:
- Machine Learning, 2009, v. 77, n. 1, p. 1, doi. 10.1007/s10994-009-5107-9
- By:
- Publication type:
- Article
Stability of Unstable Learning Algorithms.
- Published in:
- Machine Learning, 2007, v. 67, n. 3, p. 197, doi. 10.1007/s10994-007-5004-z
- By:
- Publication type:
- Article
Multi-Class Learning by Smoothed Boosting.
- Published in:
- Machine Learning, 2007, v. 67, n. 3, p. 207, doi. 10.1007/s10994-007-5005-y
- By:
- Publication type:
- Article
Learning to bid in bridge.
- Published in:
- Machine Learning, 2006, v. 63, n. 3, p. 287, doi. 10.1007/s10994-006-6225-2
- By:
- Publication type:
- Article
Logistic Model Trees.
- Published in:
- Machine Learning, 2005, v. 59, n. 1-2, p. 161, doi. 10.1007/s10994-005-0466-3
- By:
- Publication type:
- Article
Multicategory Proximal Support Vector Machine Classifiers.
- Published in:
- Machine Learning, 2005, v. 59, n. 1-2, p. 77, doi. 10.1007/s10994-005-0463-6
- By:
- Publication type:
- Article
Not So Naive Bayes: Aggregating One-Dependence Estimators.
- Published in:
- Machine Learning, 2005, v. 58, n. 1, p. 5, doi. 10.1007/s10994-005-4258-6
- By:
- Publication type:
- Article
ROC n Rule LearningTowards a Better Understanding of Covering Algorithms.
- Published in:
- Machine Learning, 2005, v. 58, n. 1, p. 39
- By:
- Publication type:
- Article
Matrix Lax Polynomials, Geometry of Prym Varieties and Systems of Hess–Appel’rot Type.
- Published in:
- Letters in Mathematical Physics, 2006, v. 76, n. 2/3, p. 163, doi. 10.1007/s11005-006-0071-9
- By:
- Publication type:
- Article
Closed Geodesics and Billiards on Quadrics Related to Elliptic KdV Solutions.
- Published in:
- Letters in Mathematical Physics, 2006, v. 76, n. 2/3, p. 111, doi. 10.1007/s11005-006-0065-7
- By:
- Publication type:
- Article
The Schaper Formula and the Lascoux, Leclerc and Thibon Algorithm.
- Published in:
- Letters in Mathematical Physics, 2003, v. 64, n. 3, p. 213, doi. 10.1023/A:1025761311221
- By:
- Publication type:
- Article
Exploring fragment spaces under multiple physicochemical constraints.
- Published in:
- Journal of Computer-Aided Molecular Design, 2007, v. 21, n. 6, p. 327, doi. 10.1007/s10822-007-9121-3
- By:
- Publication type:
- Article
Development and testing of a de novo drug-design algorithm.
- Published in:
- Journal of Computer-Aided Molecular Design, 2003, v. 17, n. 10, p. 621, doi. 10.1023/B:JCAM.0000017362.66268.d5
- By:
- Publication type:
- Article
ANVAS: Artificial Neural Variables Adaptation System for descriptor selection.
- Published in:
- Journal of Computer-Aided Molecular Design, 2003, v. 17, n. 5/6, p. 335, doi. 10.1023/A:1026132402754
- By:
- Publication type:
- Article
Top-Down and Bottom-Up Philosophy of Mathematics.
- Published in:
- Foundations of Science, 2013, v. 18, n. 1, p. 93, doi. 10.1007/s10699-012-9287-6
- By:
- Publication type:
- Article
Weakly Θ-precontinuous functions.
- Published in:
- Acta Mathematica Hungarica, 2003, v. 100, n. 4, p. 343, doi. 10.1023/A:1025151406717
- By:
- Publication type:
- Article
The Schur algorithm applied to the design of optical multi-mirror structures.
- Published in:
- Numerical Linear Algebra with Applications, 2005, v. 12, n. 2/3, p. 283, doi. 10.1002/nla.415
- By:
- Publication type:
- Article
Subspace correction multi-level methods for elliptic eigenvalue problems.
- Published in:
- Numerical Linear Algebra with Applications, 2002, v. 9, n. 1, p. 1, doi. 10.1002/nla.238
- By:
- Publication type:
- Article
A practical algorithm for faster matrix multiplication.
- Published in:
- Numerical Linear Algebra with Applications, 1999, v. 6, n. 8, p. 687, doi. 10.1002/(SICI)1099-1506(199912)6:8<687::AID-NLA177>3.0.CO;2-I
- By:
- Publication type:
- Article
Trust Regions Based on Conic Functions in Linear and Nonlinear Programming.
- Published in:
- Numerical Linear Algebra with Applications, 1995, v. 2, n. 3, p. 235, doi. 10.1002/nla.1680020305
- By:
- Publication type:
- Article
Matrix Shapes Invariant under the Symmetric QR Algorithm.
- Published in:
- Numerical Linear Algebra with Applications, 1995, v. 2, n. 2, p. 87, doi. 10.1002/nla.1680020203
- By:
- Publication type:
- Article
Time relaxation algorithm for flow ensembles.
- Published in:
- Numerical Methods for Partial Differential Equations, 2016, v. 32, n. 3, p. 757, doi. 10.1002/num.22024
- By:
- Publication type:
- Article
Genetic-algorithm-based optimal tolerance allocation using a least-cost model.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2004, v. 24, n. 9/10, p. 647, doi. 10.1007/s00170-003-1606-1
- By:
- Publication type:
- Article
Modelling and solving of product disassembly activity logic network.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2004, v. 23, n. 3/4, p. 220, doi. 10.1007/s00170-002-1527-4
- By:
- Publication type:
- Article
Using genetic algorithms on facilities layout problems.
- Published in:
- International Journal of Advanced Manufacturing Technology, 2004, v. 23, n. 3/4, p. 301, doi. 10.1007/s00170-003-1637-7
- By:
- Publication type:
- Article
A novel displacement constrained optimization approach for black and white structural topology designs under multiple load cases.
- Published in:
- Structural & Multidisciplinary Optimization, 2017, v. 56, n. 4, p. 865, doi. 10.1007/s00158-017-1692-6
- By:
- Publication type:
- Article
Optimization of a butterfly valve disc using 3D topology and genetic algorithms.
- Published in:
- Structural & Multidisciplinary Optimization, 2017, v. 56, n. 4, p. 941, doi. 10.1007/s00158-017-1694-4
- By:
- Publication type:
- Article
Improving multi-objective genetic algorithms with adaptive design of experiments and online metamodeling.
- Published in:
- Structural & Multidisciplinary Optimization, 2009, v. 37, n. 5, p. 447, doi. 10.1007/s00158-008-0251-6
- By:
- Publication type:
- Article
Aero-structural optimization using adjoint coupled post-optimality sensitivities.
- Published in:
- Structural & Multidisciplinary Optimization, 2008, v. 36, n. 1, p. 59, doi. 10.1007/s00158-007-0200-9
- By:
- Publication type:
- Article
Structural topology and element sizing design optimisation of tall steel frameworks using a hybrid OCâGA method.
- Published in:
- Structural & Multidisciplinary Optimization, 2008, v. 35, n. 5, p. 473, doi. 10.1007/s00158-007-0151-1
- By:
- Publication type:
- Article
An Algorithm to Construct k-Regular k-Connected Graphs with the Maximum k-Diameter.
- Published in:
- Graphs & Combinatorics, 2003, v. 19, n. 1, p. 111, doi. 10.1007/s00373-002-0488-6
- By:
- Publication type:
- Article
Quantification of Design Challenges and Performance Assessment of WiMAX Resource Allocation Algorithms.
- Published in:
- Wireless Personal Communications, 2015, v. 81, n. 1, p. 189, doi. 10.1007/s11277-014-2123-2
- By:
- Publication type:
- Article
Applying Genetic Algorithms to the Data Traffic Scheduling and Performance Analysis of a Long-Term Evolution System.
- Published in:
- Wireless Personal Communications, 2015, v. 81, n. 1, p. 387, doi. 10.1007/s11277-014-2135-y
- By:
- Publication type:
- Article
Properties of pseudoquasicontinuity.
- Published in:
- Journal of Mathematical Sciences, 2015, v. 211, n. 5, p. 684, doi. 10.1007/s10958-015-2624-x
- By:
- Publication type:
- Article
Quantification over propositional formulas in probability logic: decidability issues.
- Published in:
- Algebra & Logic, 2011, v. 50, n. 4, p. 365, doi. 10.1007/s10469-011-9148-3
- By:
- Publication type:
- Article
Strongly constructive boolean algebras.
- Published in:
- Algebra & Logic, 2005, v. 44, n. 1, p. 1, doi. 10.1007/s10469-005-0001-4
- By:
- Publication type:
- Article
APPROXIMATION ALGORITHMS FOR DISJOINT PATHS AND RELATED ROUTING AND PACKING PROBLEMS.
- Published in:
- Mathematics of Operations Research, 2000, v. 25, n. 2, p. 255, doi. 10.1287/moor.25.2.255.12228
- By:
- Publication type:
- Article
SEPARATION OF PARTITION INEQUALITIES.
- Published in:
- Mathematics of Operations Research, 2000, v. 25, n. 2, p. 243, doi. 10.1287/moor.25.2.243.12223
- By:
- Publication type:
- Article
AN INEXACT HYBRID GENERALIZED PROXIMAL POINT ALGORITHM AND SOME NEW RESULTS ON THE THEORY OF BREGMAN FUNCTIONS.
- Published in:
- Mathematics of Operations Research, 2000, v. 25, n. 2, p. 214, doi. 10.1287/moor.25.2.214.12222
- By:
- Publication type:
- Article
A PRIMAL-DUAL VARIANT OF THE IRI-IMAI ALGORITHM FOR LINEAR PROGRAMMING.
- Published in:
- Mathematics of Operations Research, 2000, v. 25, n. 2, p. 195
- By:
- Publication type:
- Article
A FAST PARAMETRIC SUBMODULAR INTERSECTION ALGORITHM FOR STRONG MAP SEQUENCES.
- Published in:
- Mathematics of Operations Research, 1997, v. 22, n. 4, p. 803, doi. 10.1287/moor.22.4.803
- By:
- Publication type:
- Article
COMPUTING ZEROS OF SECTIONS OF VECTOR BUNDLES USING HOMOTOPIES AND RELOCALIZATION.
- Published in:
- Mathematics of Operations Research, 1996, v. 21, n. 1, p. 26, doi. 10.1287/moor.21.1.26
- By:
- Publication type:
- Article
A Geometric Buchberger Algorithm for Integer Programming.
- Published in:
- Mathematics of Operations Research, 1995, v. 20, n. 4, p. 864, doi. 10.1287/moor.20.4.864
- By:
- Publication type:
- Article
PACKING SPANNING TREES.
- Published in:
- Mathematics of Operations Research, 1995, v. 20, n. 1, p. 104, doi. 10.1287/moor.20.1.104
- By:
- Publication type:
- Article
The General One Center Location Problem.
- Published in:
- Mathematics of Operations Research, 1995, v. 20, n. 2, p. 400, doi. 10.1287/moor.20.2.400
- By:
- Publication type:
- Article