Works matching DE "FOUNDATIONS of arithmetic"
Results: 777
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
Rigorous estimates for the relegation algorithm.
- Published in:
- Celestial Mechanics & Dynamical Astronomy, 2017, v. 127, n. 1, p. 1, doi. 10.1007/s10569-016-9711-2
- By:
- Publication type:
- Article
Persistence Modules on Commutative Ladders of Finite Type.
- Published in:
- Discrete & Computational Geometry, 2016, v. 55, n. 1, p. 100, doi. 10.1007/s00454-015-9746-2
- By:
- Publication type:
- Article
Schnyder Woods for Higher Genus Triangulated Surfaces, with Applications to Encoding.
- Published in:
- Discrete & Computational Geometry, 2009, v. 42, n. 3, p. 489, doi. 10.1007/s00454-009-9169-z
- By:
- Publication type:
- Article
Enumerating Constrained Non-crossing Minimally Rigid Frameworks.
- Published in:
- Discrete & Computational Geometry, 2008, v. 40, n. 1, p. 31, doi. 10.1007/s00454-007-9026-x
- By:
- Publication type:
- Article
Efficient Algorithms for Maximum Regression Depth.
- Published in:
- Discrete & Computational Geometry, 2008, v. 39, n. 4, p. 656, doi. 10.1007/s00454-007-9046-6
- By:
- Publication type:
- Article
3D mapping of discontinuity traces using fusion of point cloud and image data.
- Published in:
- Bulletin of Engineering Geology & the Environment, 2019, v. 78, n. 4, p. 2789, doi. 10.1007/s10064-018-1280-z
- By:
- Publication type:
- Article
Greedy-based approximation of frequency-weighted Gramian matrices for model reduction in multibody dynamics.
- Published in:
- ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 2013, v. 93, n. 8, p. 501, doi. 10.1002/zamm.201200014
- By:
- Publication type:
- Article
Granular control of photovoltaic arrays by means of a multi-output Maximum Power Point Tracking algorithm.
- Published in:
- Progress in Photovoltaics, 2013, v. 21, n. 5, p. 918, doi. 10.1002/pip.2179
- By:
- Publication type:
- Article
An algorithm to compute optimal genetic contributions in selection programs with large numbers of candidates.
- Published in:
- Journal of Animal Science, 2006, v. 84, n. 12, p. 3212, doi. 10.2527/jas.2006-145
- By:
- Publication type:
- Article
¿INEFICIENCIA O DIFERENCIAS TECNOLÓGICAS EN EL SECTOR LECHERO?
- Published in:
- Revista de Economía Aplicada, 2008, v. 16, n. 48, p. 69
- By:
- Publication type:
- Article
Performance Evaluation of Line Symmetry-Based Validity Indices on Clustering Algorithms.
- Published in:
- Journal of Intelligent Systems, 2017, v. 26, n. 3, p. 483, doi. 10.1515/jisys-2016-0010
- By:
- Publication type:
- Article
Pointwise correct operations on recognition and prediction algorithms.
- Published in:
- Doklady Mathematics, 2013, v. 87, n. 3, p. 364, doi. 10.1134/S1064562413030046
- By:
- Publication type:
- Article
Finite algorithms for verifying unitary similarity and unitary congruence for a pair of complex matrices.
- Published in:
- Doklady Mathematics, 2011, v. 83, n. 2, p. 158, doi. 10.1134/S1064562411020086
- By:
- Publication type:
- Article
On constructive and well-behaved classes of algebraic ΣΠ-algorithms.
- Published in:
- Doklady Mathematics, 2010, v. 81, n. 3, p. 490, doi. 10.1134/S1064562410030427
- By:
- Publication type:
- Article
Combining biased randomization with iterated local search for solving the multidepot vehicle routing problem.
- Published in:
- International Transactions in Operational Research, 2015, v. 22, n. 4, p. 647, doi. 10.1111/itor.12101
- By:
- Publication type:
- Article
Block-iterative algorithms.
- Published in:
- International Transactions in Operational Research, 2009, v. 16, n. 4, p. 427, doi. 10.1111/j.1475-3995.2008.00683.x
- By:
- Publication type:
- Article
On the string averaging method for sparse common fixed-point problems.
- Published in:
- International Transactions in Operational Research, 2009, v. 16, n. 4, p. 481, doi. 10.1111/j.1475-3995.2008.00684.x
- By:
- Publication type:
- Article
Perturbation-resilient block-iterative projection methods with application to image reconstruction from projections.
- Published in:
- International Transactions in Operational Research, 2009, v. 16, n. 4, p. 505, doi. 10.1111/j.1475-3995.2009.00695.x
- By:
- Publication type:
- Article
A parallel hybrid local search algorithm for the container loading problem.
- Published in:
- International Transactions in Operational Research, 2004, v. 11, n. 5, p. 511, doi. 10.1111/j.1475-3995.2004.00474.x
- By:
- Publication type:
- Article
USING BACKTRACKING TO STUDY SCHUR NUMBERS.
- Published in:
- Mathematics & Computer Education, 2008, v. 42, n. 1, p. 52
- By:
- Publication type:
- Article
THE ARZT ALGORITHM AND OTHER DIVISIBILITY TESTS FOR 7.
- Published in:
- Mathematics & Computer Education, 2004, v. 38, n. 1, p. 11
- By:
- Publication type:
- Article
Detection of node group membership in networks with group overlap.
- Published in:
- European Physical Journal B: Condensed Matter, 2009, v. 67, n. 3, p. 277, doi. 10.1140/epjb/e2008-00418-0
- By:
- Publication type:
- Article
Computing full disjunction using COJO.
- Published in:
- Information Technology & Management, 2009, v. 10, n. 1, p. 3, doi. 10.1007/s10799-008-0043-0
- By:
- Publication type:
- Article
Semiparametric models: a generalized self-consistency approach.
- Published in:
- Journal of the Royal Statistical Society: Series B (Statistical Methodology), 2003, v. 65, n. 3, p. 759, doi. 10.1111/1467-9868.00414
- By:
- Publication type:
- Article
What's unusual in online disease outbreak news?
- Published in:
- Journal of Biomedical Semantics, 2010, v. 1, n. 1, p. 1, doi. 10.1186/2041-1480-1-2
- By:
- Publication type:
- Article
Parallel Computer Simulations of Dynamical Relaxation Processes and Clusters of Galaxies.
- Published in:
- Journal of the Utah Academy of Sciences, Arts & Letters, 2011, v. 88, p. 455
- By:
- Publication type:
- Article
WHEN IS SHOOTING APPROPRIATE IN STEADY STATE ANALYSIS OF NONLINEAR CIRCUITS.
- Published in:
- International Journal of Bifurcation & Chaos in Applied Sciences & Engineering, 2007, v. 17, n. 10, p. 3583, doi. 10.1142/S0218127407019408
- By:
- Publication type:
- Article
CELLULAR NEURAL NETWORKS FOR EDGE DETECTION.
- Published in:
- International Journal of Bifurcation & Chaos in Applied Sciences & Engineering, 2007, v. 17, n. 4, p. 1323, doi. 10.1142/S0218127407017811
- By:
- Publication type:
- Article
Validation of MIMGO: a method to identify differentially expressed GO terms in a microarray dataset.
- Published in:
- BMC Research Notes, 2012, v. 5, n. 1, p. 1, doi. 10.1186/1756-0500-5-680
- By:
- Publication type:
- Article
Dynamic Programming Based Approximation Algorithms for Sequence Alignment with Constraints.
- Published in:
- INFORMS Journal on Computing, 2004, v. 16, n. 4, p. 441, doi. 10.1287/ijoc.1040.0097
- By:
- Publication type:
- Article
Computational Problems in Noisy SNP and Haplotype Analysis: Block Scores, Block Identification, and Population Stratification.
- Published in:
- INFORMS Journal on Computing, 2004, v. 16, n. 4, p. 360, doi. 10.1287/ijoc.1040.0088
- By:
- Publication type:
- Article
Multiple Sequence Alignment as a Facility-Location Problem.
- Published in:
- INFORMS Journal on Computing, 2004, v. 16, n. 4, p. 430, doi. 10.1287/ijoc.1040.0093
- By:
- Publication type:
- Article
The principle of equivalence as a criterion of identity.
- Published in:
- Synthese, 2020, v. 197, n. 8, p. 3481, doi. 10.1007/s11229-018-01897-w
- By:
- Publication type:
- Article
Univalent foundations as structuralist foundations.
- Published in:
- Synthese, 2017, v. 194, n. 9, p. 3583, doi. 10.1007/s11229-016-1109-x
- By:
- Publication type:
- Article
Sets and supersets.
- Published in:
- Synthese, 2016, v. 193, n. 6, p. 1875, doi. 10.1007/s11229-015-0818-x
- By:
- Publication type:
- Article
Mining functional subgraphs from cancer protein-protein interaction networks.
- Published in:
- BMC Systems Biology, 2012, v. 6, n. Suppl 3, p. 1, doi. 10.1186/1752-0509-6-S3-S2
- By:
- Publication type:
- Article
Supervised maximum-likelihood weighting of composite protein networks for complex prediction.
- Published in:
- BMC Systems Biology, 2012, v. 6, n. Suppl 2, p. 1, doi. 10.1186/1752-0509-6-S2-S13
- By:
- Publication type:
- Article
Modeling and Control of a Hybrid Microgrid by Multi-Agent System.
- Published in:
- International Review of Electrical Engineering, 2015, v. 10, n. 1, p. 145, doi. 10.15866/iree.v10i1.5176
- By:
- Publication type:
- Article
Optimization FOU of Interval Type-2 Fuzzy Inference System Using Big Bang - Big Crunch Algorithm for Short Term Load Forecasting on National Holiday Case Study: South and Central Kalimantan-Indonesia.
- Published in:
- International Review of Electrical Engineering, 2015, v. 10, n. 1, p. 123, doi. 10.15866/iree.v10i1.4871
- By:
- Publication type:
- Article
Peirce's Definitions of Continuity.
- Published in:
- Transactions of the Charles S. Peirce Society, 1977, v. 13, n. 1, p. 20
- By:
- Publication type:
- Article
Beyond section Q: prioritizing nursing home residents for transition to the community.
- Published in:
- BMC Health Services Research, 2012, v. 12, n. 1, p. 186, doi. 10.1186/1472-6963-12-186
- By:
- Publication type:
- Article
Querying large read collections in main memory: a versatile data structure.
- Published in:
- BMC Bioinformatics, 2011, v. 12, n. Suppl 6, p. 242, doi. 10.1186/1471-2105-12-242
- Publication type:
- Article
Comparative study of discretization methods of microarray data for inferring transcriptional regulatory networks.
- Published in:
- BMC Bioinformatics, 2010, v. 11, p. 520, doi. 10.1186/1471-2105-11-520
- By:
- Publication type:
- Article
Data structures and compression algorithms for high-throughput sequencing technologies.
- Published in:
- BMC Bioinformatics, 2010, v. 11, p. 514, doi. 10.1186/1471-2105-11-514
- By:
- Publication type:
- Article
Modeling Local Coherence: An Entity-Based Approach.
- Published in:
- Computational Linguistics, 2008, v. 34, n. 1, p. 1, doi. 10.1162/coli.2008.34.1.1
- By:
- Publication type:
- Article
Correct, Private, Flexible and Efficient Range Test.
- Published in:
- Journal of Research & Practice in Information Technology, 2008, v. 40, n. 4, p. 275
- By:
- Publication type:
- Article
Exploiting Isogeny Cordillera Structure to Obtain Cryptographically Good Elliptic Curves.
- Published in:
- Journal of Research & Practice in Information Technology, 2008, v. 40, n. 4, p. 263
- By:
- Publication type:
- Article
A StateTime Formulation for Dynamic Systems Simulation Using Massively Parallel Computing Resources.
- Published in:
- Nonlinear Dynamics, 2005, v. 39, n. 3, p. 305, doi. 10.1007/s11071-005-4060-9
- By:
- Publication type:
- Article
Parallel Processing of First Order Linear Recurrence on SMP Machines.
- Published in:
- Journal of Supercomputing, 2004, v. 27, n. 3, p. 295, doi. 10.1023/B:SUPE.0000011389.69863.dc
- By:
- Publication type:
- Article