Found: 48
Select item for more details and to access through your institution.
Logistics optimization for a coal supply chain.
- Published in:
- Journal of Heuristics, 2020, v. 26, n. 2, p. 269, doi. 10.1007/s10732-019-09435-8
- By:
- Publication type:
- Article
Toward Computing the Margin of Victory in Single Transferable Vote Elections.
- Published in:
- INFORMS Journal on Computing, 2019, v. 31, n. 4, p. 636, doi. 10.1287/ijoc.2018.0853
- By:
- Publication type:
- Article
Automatic Minimal-Height Table Layout.
- Published in:
- INFORMS Journal on Computing, 2015, v. 27, n. 3, p. 449, doi. 10.1287/ijoc.2014.0637
- By:
- Publication type:
- Article
A Decomposition-Based Heuristic for Collaborative Scheduling in a Network of Open-Pit Mines.
- Published in:
- INFORMS Journal on Computing, 2014, v. 26, n. 4, p. 658, doi. 10.1287/ijoc.2013.0590
- By:
- Publication type:
- Article
Incremental Satisfiability and Implication for UTVPI Constraints.
- Published in:
- INFORMS Journal on Computing, 2010, v. 22, n. 4, p. 514, doi. 10.1287/ijoc.1090.0369
- By:
- Publication type:
- Article
Dynamic Programming to Minimize the Maximum Number of Open Stacks.
- Published in:
- INFORMS Journal on Computing, 2007, v. 19, n. 4, p. 607, doi. 10.1287/ijoc.1060.0205
- By:
- Publication type:
- Article
Efficient Intelligent Backtracking Using Linear Programming.
- Published in:
- INFORMS Journal on Computing, 2002, v. 14, n. 4, p. 373, doi. 10.1287/ijoc.14.4.373.2823
- By:
- Publication type:
- Article
A lightweight approach to nontermination inference using Constrained Horn Clauses.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 2, p. 319, doi. 10.1007/s10270-024-01161-5
- By:
- Publication type:
- Article
Getting 'ϕψχal' with proteins: minimum message length inference of joint distributions of backbone and sidechain dihedral angles.
- Published in:
- Bioinformatics, 2023, v. 39, p. i357, doi. 10.1093/bioinformatics/btad251
- By:
- Publication type:
- Article
On the reliability and the limits of inference of amino acid sequence alignments.
- Published in:
- Bioinformatics, 2022, v. 38, p. i255, doi. 10.1093/bioinformatics/btac247
- By:
- Publication type:
- Article
Statistical inference of protein structural alignments using information and compression.
- Published in:
- Bioinformatics, 2017, v. 33, n. 7, p. 1005, doi. 10.1093/bioinformatics/btw757
- By:
- Publication type:
- Article
Automatic generation of protein structure cartoons with Pro-origami.
- Published in:
- Bioinformatics, 2011, v. 27, n. 23, p. 3315, doi. 10.1093/bioinformatics/btr575
- By:
- Publication type:
- Article
Piecewise linear approximation of protein structures using the principle of minimum message length.
- Published in:
- Bioinformatics, 2011, v. 27, n. 13, p. i43, doi. 10.1093/bioinformatics/btr240
- By:
- Publication type:
- Article
MIRAGAA—a methodology for finding coordinated effects of microRNA expression changes and genome aberrations in cancer.
- Published in:
- Bioinformatics, 2010, v. 26, n. 2, p. 161, doi. 10.1093/bioinformatics/btp654
- By:
- Publication type:
- Article
Structural search and retrieval using a tableau representation of protein folding patterns.
- Published in:
- Bioinformatics, 2008, v. 24, n. 5, p. 645, doi. 10.1093/bioinformatics/btm641
- By:
- Publication type:
- Article
Real-time visualization of phagosomal pH manipulation by Cryptococcus neoformans in an immune signal-dependent way.
- Published in:
- Frontiers in Cellular & Infection Microbiology, 2022, v. 12, p. 1, doi. 10.3389/fcimb.2022.967486
- By:
- Publication type:
- Article
Solving RCPSP/max by lazy clause generation.
- Published in:
- Journal of Scheduling, 2013, v. 16, n. 3, p. 273, doi. 10.1007/s10951-012-0285-x
- By:
- Publication type:
- Article
Monadic constraint programming.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 6, p. 663, doi. 10.1017/S0956796809990086
- By:
- Publication type:
- Article
HM(X) type inference is CLP(X) solving.
- Published in:
- Journal of Functional Programming, 2008, v. 18, n. 2, p. 251, doi. 10.1017/S0956796807006569
- By:
- Publication type:
- Article
Understanding functional dependencies via constraint handling rules.
- Published in:
- Journal of Functional Programming, 2007, v. 17, n. 1, p. 83, doi. 10.1017/S0956796806006137
- By:
- Publication type:
- Article
Computer modeling of a potential agent against SARS‐Cov‐2 (COVID‐19) protease.
- Published in:
- Proteins, 2020, v. 88, n. 12, p. 1557, doi. 10.1002/prot.25980
- By:
- Publication type:
- Article
MUSTANG: A multiple structural alignment algorithm.
- Published in:
- Proteins, 2006, v. 64, n. 3, p. 559, doi. 10.1002/prot.20921
- By:
- Publication type:
- Article
Discovery and analysis of consistent active sub-networks in cancers.
- Published in:
- BMC Bioinformatics, 2013, v. 14, n. Suppl 2, p. 1, doi. 10.1186/1471-2105-14-S2-S7
- By:
- Publication type:
- Article
Fast and accurate protein substructure searchingwith simulated annealing and GPUs.
- Published in:
- BMC Bioinformatics, 2010, v. 11, p. 446, doi. 10.1186/1471-2105-11-446
- By:
- Publication type:
- Article
MurTree: Optimal Decision Trees via Dynamic Programming and Search.
- Published in:
- Journal of Machine Learning Research, 2022, v. 23, p. 1
- By:
- Publication type:
- Article
Horn clauses as an intermediate representation for program analysis and transformation.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 526, doi. 10.1017/S1471068415000204
- By:
- Publication type:
- Article
Stable model semantics for founded bounds.
- Published in:
- Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 517, doi. 10.1017/S147106841300032X
- By:
- Publication type:
- Article
A CLP heap solver for test case generation.
- Published in:
- Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 721, doi. 10.1017/S1471068413000458
- By:
- Publication type:
- Article
Failure tabled constraint logic programming by interpolation.
- Published in:
- Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 593, doi. 10.1017/S1471068413000379
- By:
- Publication type:
- Article
Book Review.
- Published in:
- Theory & Practice of Logic Programming, 2008, v. 8, n. 2, p. 242
- By:
- Publication type:
- Article
Logic programming with satisfiability.
- Published in:
- Theory & Practice of Logic Programming, 2008, v. 8, n. 1, p. 121, doi. 10.1017/S1471068407003146
- By:
- Publication type:
- Article
Improving PARMA trailing.
- Published in:
- Theory & Practice of Logic Programming, 2006, v. 6, n. 6, p. 609, doi. 10.1017/S1471068405002620
- By:
- Publication type:
- Article
Checking modes of HAL programs.
- Published in:
- Theory & Practice of Logic Programming, 2005, v. 5, n. 6, p. 623, doi. 10.1017/S1471068404002327
- By:
- Publication type:
- Article
Optimizing compilation of constraint handling rules in HAL.
- Published in:
- Theory & Practice of Logic Programming, 2005, v. 5, n. 4/5, p. 503, doi. 10.1017/S1471068405002413
- By:
- Publication type:
- Article
Optimizing compilation of constraint handling rules in HAL.
- Published in:
- Theory & Practice of Logic Programming, 2005, v. 5, n. 1, p. 503, doi. 10.1017/S1471068405002413
- By:
- Publication type:
- Article
MUSTANG-MR Structural Sieving Server: Applications in Protein Structural Analysis and Crystallography.
- Published in:
- PLoS ONE, 2010, v. 5, n. 4, p. 1, doi. 10.1371/journal.pone.0010048
- By:
- Publication type:
- Article
Incremental Linear Constraint Solving and Detection of Implicit Equalities.
- Published in:
- ORSA Journal on Computing, 1991, v. 3, n. 4, p. 269, doi. 10.1287/ijoc.3.4.269
- By:
- Publication type:
- Article
The MiniZinc Challenge 2008-2013.
- Published in:
- AI Magazine, 2014, v. 35, n. 2, p. 55, doi. 10.1609/aimag.v35i2.2539
- By:
- Publication type:
- Article
Worldwide AI: AI@NICTA.
- Published in:
- AI Magazine, 2012, v. 33, n. 3, p. 115, doi. 10.1609/aimag.v33i3.2430
- By:
- Publication type:
- Article
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 46, p. 303, doi. 10.1613/jair.3809
- By:
- Publication type:
- Article
Fast Set Bounds Propagation Using a BDD-SAT Hybrid.
- Published in:
- Journal of Artificial Intelligence Research, 2010, v. 38, p. 307, doi. 10.1613/jair.3014
- By:
- Publication type:
- Article
Solving Set Constraint Satisfaction Problems using ROBDDs.
- Published in:
- Journal of Artificial Intelligence Research, 2005, v. 24, p. 109, doi. 10.1613/jair.1638
- By:
- Publication type:
- Article
PROGRESSIVE MULTIPLE ALIGNMENT USING SEQUENCE TRIPLET OPTIMIZATIONS AND THREE-RESIDUE EXCHANGE COSTS.
- Published in:
- Journal of Bioinformatics & Computational Biology, 2004, v. 2, n. 4, p. 719, doi. 10.1142/S0219720004000831
- By:
- Publication type:
- Article
Transformation-Enabled Precondition Inference.
- Published in:
- Theory & Practice of Logic Programming, 2021, v. 21, n. 6, p. 700, doi. 10.1017/S1471068421000272
- By:
- Publication type:
- Article
An iterative approach to precondition inference using constrained Horn clauses.
- Published in:
- Theory & Practice of Logic Programming, 2018, v. 18, n. 3/4, p. 553, doi. 10.1017/S1471068418000091
- By:
- Publication type:
- Article
Improving Evolutionary Algorithms for Efficient Constraint Satisfaction.
- Published in:
- International Journal on Artificial Intelligence Tools, 1999, v. 8, n. 4, p. 363, doi. 10.1142/S0218213099000257
- By:
- Publication type:
- Article
A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks Over Multiple Time Periods.
- Published in:
- Management Science, 2016, v. 62, n. 10, p. 3059, doi. 10.1287/mnsc.2015.2284
- By:
- Publication type:
- Article
JONATHAN MARTIN HEATH 1941-2016.
- Published in:
- 2016
- By:
- Publication type:
- Obituary