Keyword:modelling

Papers
Efficient SAT-Based Encodings of Conditional Cardinality Constraints Abdelhamid Boudane, Said Jabbour, Badran Raddaoui and Lakhdar Sais In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Data-Driven Approach for Optimal Control Parameters in WWTP: the VEAS Experience in Scandinavia Luca Abele Piciaccia, Danilo Croce, Roberto Basili, Pia Ryfors and Jonas Pettersen In:HIC 2018. 13th International Conference on Hydroinformatics
Multi-Structure Hydrological Ensemble to Improve Flow Daily Prediction in the Sumapaz River Basin, Colombia Pedro Arboleda-Obando, David A. Zamora, Carolina Vega-Viviescas, Nicolás Duque and Erasmo A. Rodríguez In:HIC 2018. 13th International Conference on Hydroinformatics
The Pivot Shift Test Modelled By Catastrophe Theory Corresponds To A Cusp Catastrophe Shameem Sampath, Loren Cobb and Raoul P P P Grasman In:CAOS 2018. The 18th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery
Impact mitigation of urban construction: logistics solutions and strategies in Europe Andrea Bardi, Eleonora Tu, Francesco Ferrero, Valérie Castay, Cindy Guerlain and Mauro Dell'Amico EasyChair Preprint no. 93
Biomechanical Models of the Hip – a Validation Study Based on 10 CT-Datasets Jörg Eschweiler, Malte Asseln, Philipp Damm, Maximilian Fischer and Klaus Radermacher In:CAOS 2017. 17th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery
Reconciling Population and Agent Models for Crowd Dynamics Andrea Bracciali, Jane Hillston, Diego Latella and Mieke Massink In:LAM'10. 3rd International Workshop on Logics, Agents, and Mobility