Found: 37
Select item for more details and to access through your institution.
MallobSat: Scalable SAT Solving by Clause Sharing.
- Published in:
- Journal of Artificial Intelligence Research, 2024, v. 80, p. 1437, doi. 10.1613/jair.1.15827
- By:
- Publication type:
- Article
Constant Time Queries for Energy Efficient Paths in Multi-hop Wireless Networks.
- Published in:
- Journal of Computing & Information Technology, 2008, v. 16, n. 2, p. 119, doi. 10.2498/cit.1001047
- By:
- Publication type:
- Article
Biogeography and ecology of Anostraca (Crustacea) in middle Paroo catchment of the Australian arid-zone.
- Published in:
- Hydrobiologia, 2002, v. 486, n. 1-3, p. 225, doi. 10.1023/A:1021363104870
- By:
- Publication type:
- Article
SKaMPI: a comprehensive benchmark for public benchmarking of MPI.
- Published in:
- Scientific Programming, 2002, v. 10, n. 1, p. 55, doi. 10.1155/2002/202839
- By:
- Publication type:
- Article
Online Scheduling with Bounded Migration.
- Published in:
- Mathematics of Operations Research, 2009, v. 34, n. 2, p. 481, doi. 10.1287/moor.1090.0381
- By:
- Publication type:
- Article
Tail Bounds and Expectations for Random Arc Allocation and Applications.
- Published in:
- Combinatorics, Probability & Computing, 2003, v. 12, n. 3, p. 301, doi. 10.1017/s0963548303005601
- By:
- Publication type:
- Article
Intrinsic Religiousness and Spirituality as Predictors of Mental Health and Positive Psychological Functioning in Latter-Day Saint Adolescents and Young Adults.
- Published in:
- Journal of Religion & Health, 2015, v. 54, n. 3, p. 871, doi. 10.1007/s10943-015-0043-4
- By:
- Publication type:
- Article
STRONGER QUICKHEAPS.
- Published in:
- International Journal of Foundations of Computer Science, 2011, v. 22, n. 4, p. 945, doi. 10.1142/S0129054111008507
- By:
- Publication type:
- Article
Exploring parallel MPI fault tolerance mechanisms for phylogenetic inference with RAxML-NG.
- Published in:
- Bioinformatics, 2021, v. 37, n. 22, p. 4056, doi. 10.1093/bioinformatics/btab399
- By:
- Publication type:
- Article
Randomized Receiver Initiated Load-balancing Algorithms for Tree-shaped Computations.
- Published in:
- Computer Journal, 2002, v. 45, n. 5, p. 561, doi. 10.1093/comjnl/45.5.561
- By:
- Publication type:
- Article
The Enzymatic Determination of Starch in Food, Feed and Raw Materials of the Starch Industry.
- Published in:
- Starch / Staerke, 1998, v. 50, n. 10, p. 413, doi. 10.1002/(SICI)1521-379X(199810)50:10<413::AID-STAR413>3.0.CO;2-F
- By:
- Publication type:
- Article
Gas Chromatographic Determination of Free Adipic Acid in Adipyl Cross-linked Starches.
- Published in:
- Starch / Staerke, 1996, v. 48, n. 11/12, p. 448, doi. 10.1002/star.19960481112
- By:
- Publication type:
- Article
Improved Method for the Determination of the Total Adipyl Content in Acetylated Adipyl Cross-linked Starches.
- Published in:
- Starch / Staerke, 1994, v. 46, n. 7, p. 255, doi. 10.1002/star.19940460706
- By:
- Publication type:
- Article
Finding near-optimal independent sets at scale.
- Published in:
- Journal of Heuristics, 2017, v. 23, n. 4, p. 207, doi. 10.1007/s10732-017-9337-x
- By:
- Publication type:
- Article
Partitioning (hierarchically clustered) complex networks via size-constrained graph clustering.
- Published in:
- Journal of Heuristics, 2016, v. 22, n. 5, p. 759, doi. 10.1007/s10732-016-9315-8
- By:
- Publication type:
- Article
Kinetics and products of Thermotoga maritima β-glucosidase with lactose and cellobiose.
- Published in:
- Applied Microbiology & Biotechnology, 2024, v. 108, n. 1, p. 1, doi. 10.1007/s00253-024-13183-6
- By:
- Publication type:
- Article
Novel Parallel Algorithms for Fast Multi-GPU-Based Generation of Massive Scale-Free Networks.
- Published in:
- Data Science & Engineering, 2019, v. 4, n. 1, p. 61, doi. 10.1007/s41019-019-0088-6
- By:
- Publication type:
- Article
Real-time integrated prefetching and caching.
- Published in:
- Journal of Scheduling, 2013, v. 16, n. 1, p. 47, doi. 10.1007/s10951-012-0301-1
- By:
- Publication type:
- Article
Parallel Integer Optimization for Crew Scheduling.
- Published in:
- Annals of Operations Research, 2000, v. 99, n. 1-4, p. 141, doi. 10.1023/A:1019293017474
- By:
- Publication type:
- Article
A Pluralistic Psychology? Only if Difference Makes a Difference.
- Published in:
- 2011
- By:
- Publication type:
- Opinion
Exact Routing in Large Road Networks Using Contraction Hierarchies.
- Published in:
- Transportation Science, 2012, v. 46, n. 3, p. 388, doi. 10.1287/trsc.1110.0401
- By:
- Publication type:
- Article
Linear work generation of R-MAT graphs.
- Published in:
- Network Science, 2020, v. 8, n. 4, p. 543, doi. 10.1017/nws.2020.21
- By:
- Publication type:
- Article
All-in-one measurement of dietary fibre, including resistant starch, in bread.
- Published in:
- Quality Assurance & Safety of Crops & Foods, 2009, v. 1, n. 4, p. 256, doi. 10.1111/j.1757-837X.2009.00036.x
- By:
- Publication type:
- Article
Results Multi-Laboratory Trial ISO/CD 22184--IDF/WD 244: Milk and Milk Products--Determination of the Sugar Contents--High-Performance Anion Exchange Chromatography Method with Pulsed Amperometric Detection.
- Published in:
- Journal of AOAC International, 2021, v. 104, n. 3, p. 732, doi. 10.1093/jaoacint/qsaa092
- By:
- Publication type:
- Article
Determination of Fructans in Infant Formula and Adult/Pediatric Nutritional Formula by Anion-Exchange Chromatography with Pulsed Amperometric Detection after Enzymatic Treatment: Collaborative Study, Final Action 2016.14.
- Published in:
- Journal of AOAC International, 2020, v. 103, n. 5, p. 1301, doi. 10.1093/jaoacint/qsaa064
- By:
- Publication type:
- Article
The Determination of Sugars in Dairy Products: Development of a New Standard Method for the International Dairy Federation and the Internal Organization for Standardization.
- Published in:
- Journal of AOAC International, 2017, v. 100, n. 5, p. 1577, doi. 10.5740/jaoacint.17-0068
- By:
- Publication type:
- Article
Dual-Laboratory Validation of a Method for the Determination of Fructans in Infant Formula and Adult Nutritionals: First Action 2016.14.
- Published in:
- Journal of AOAC International, 2017, v. 100, n. 4, p. 1170, doi. 10.5740/jaoacint.2016_14
- By:
- Publication type:
- Article
Dual-Laboratory Validation of a Method for the Determination of Fructans in Infant Formula and Adult Nutritionals: First Action 2016.14.
- Published in:
- Journal of AOAC International, 2017, v. 100, n. 3, p. 753, doi. 10.5740/jaoacint.17-0007
- By:
- Publication type:
- Article
Teaching Now with the Living: A Dialogue with Teachers Investigating Contemporary Art Practices.
- Published in:
- International Journal of Art & Design Education, 2006, v. 25, n. 2, p. 146, doi. 10.1111/j.1476-8070.2006.00479.x
- By:
- Publication type:
- Article
Determining Medical Urgency of Voice Disorders Using Auditory-Perceptual Voice Assessments Performed by Speech-Language Pathologists.
- Published in:
- Annals of Otology, Rhinology & Laryngology, 2022, v. 131, n. 6, p. 579, doi. 10.1177/00034894211032779
- By:
- Publication type:
- Article
Foreword.
- Published in:
- Theory of Computing Systems, 2006, v. 39, n. 6, p. 785, doi. 10.1007/s00224-006-3906-y
- By:
- Publication type:
- Article
Space Efficient Hash Tables with Worst Case Constant Access Time.
- Published in:
- Theory of Computing Systems, 2005, v. 38, n. 2, p. 229, doi. 10.1007/s00224-004-1195-x
- By:
- Publication type:
- Article
Book notes.
- Published in:
- 1994
- By:
- Publication type:
- Book Review
TASKS INVOLVING MODELS, TOOLS AND REPRESENTATIONS: Making the Mathematics Explicit as We Build Tasks into Lessons.
- Published in:
- Australian Primary Mathematics Classroom, 2009, v. 14, n. 2, p. 10
- By:
- Publication type:
- Article
Vectorized and performance‐portable quicksort.
- Published in:
- Software: Practice & Experience, 2022, v. 52, n. 12, p. 2684, doi. 10.1002/spe.3142
- By:
- Publication type:
- Article
Engineering faster sorters for small sets of items.
- Published in:
- Software: Practice & Experience, 2021, v. 51, n. 5, p. 965, doi. 10.1002/spe.2922
- By:
- Publication type:
- Article
Testing and parameterizing a conceptual model for solute transport in a fractured granite using multiple tracers in a forced-gradient test.
- Published in:
- Water Resources Research, 2003, v. 39, n. 12, p. n/a, doi. 10.1029/2002WR001597
- By:
- Publication type:
- Article