MPOpt-Cell: a high-performance data-flow programming environment for the CELL BE processor Read more about MPOpt-Cell: a high-performance data-flow programming environment for the CELL BE processor
Methods for Designing Reliable Probe Arrays Read more about Methods for Designing Reliable Probe Arrays
Precedence Constraint Posting for Cyclic Scheduling Problems Read more about Precedence Constraint Posting for Cyclic Scheduling Problems
Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions Read more about Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions
Monitoring Time-Aware Commitments Within Agent-Based Simulation Environments Read more about Monitoring Time-Aware Commitments Within Agent-Based Simulation Environments
Neuron Constraints to Model Complex Real World Problems Read more about Neuron Constraints to Model Complex Real World Problems
A constraint based approach to cyclic RCPSP Read more about A constraint based approach to cyclic RCPSP
Hybrid Optimization - The Ten Years of CPAIOR Read more about Hybrid Optimization - The Ten Years of CPAIOR
An Application of Fuzzy Logic to Strategic Environmental Assessment Read more about An Application of Fuzzy Logic to Strategic Environmental Assessment
Deriving Information from Sampling and Diving Read more about Deriving Information from Sampling and Diving
AI @ UniBOArtificial Intelligence Research at the University of Bologna