Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

On Upper Bounds for Assortment Optimization Under the Mixture of Multinomial Logit Models

Operations Research Letters
IndustrialApplied MathematicsManufacturing EngineeringManagement ScienceOperations ResearchSoftware
2015English

Reducing Equational Theories for the Decision of Static Equivalence

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Using Random Forest and Decision Tree Models for a New Vehicle Prediction Approach in Computational Toxicology

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2015English

Nested Abstract Syntax in Coq

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Use of the Q-Gaussian Mutation in Evolutionary Algorithms

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2010English

Application of Optimization Heuristics for Complex Astronomical Object Model Identification

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2014English

Extraction of Expansion Trees

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2018English

Consistency Test and Weight Generation for Additive Interval Fuzzy Preference Relations

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2013English

Solving Large Steiner Triple Covering Problems

Operations Research Letters
IndustrialApplied MathematicsManufacturing EngineeringManagement ScienceOperations ResearchSoftware
2011English

Model and Migrating Birds Optimization Algorithm for Two-Sided Assembly Line Worker Assignment and Balancing Problem

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy