699 results on '"Milano, Michela"'
Search Results
152. Throughput Constraint for Synchronous Data Flow Graphs
153. Deriving Information from Sampling and Diving
154. Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming
155. Planning for security management
156. The Blind Men and the Elephant: Integrated Offline/Online Optimization Under Uncertainty
157. Combining learning and optimization for transprecision computing
158. Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs
159. Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs
160. Improved Algorithm for the Soft Global Cardinality Constraint
161. Extending constraint logic programming for temporal reasoning
162. Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation
163. Constraint and Integer Programming
164. Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework
165. Exploiting Relaxations in CP
166. CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions
167. Discrepancy-Based Additive Bounding for the AllDifferent Constraint
168. Exploiting Constraints for Domain Managing in CLP(FD)
169. Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005)
170. Planning and Execution in Dynamic Environments
171. Solving the Satisfiability Problem Through Boolean Networks
172. Cutting Planes in Constraint Programming: An Hybrid Approach
173. Preface
174. A system for abductive learning of logic programs
175. Reasoning on Constraints in Constraint Logic Programming
176. How to Tame Your Anticipatory Algorithm
177. Anomaly Detection Using Autoencoders in High Performance Computing Systems
178. Merging Observed and Self-Reported Behaviour in Agent-Based Simulation: A Case Study on Photovoltaic Adoption
179. Pricing schemes for energy-efficient HPC systems: Design and exploration
180. From Offline to Online Kidney Exchange Optimization
181. Scheduling-based power capping in high performance computing systems
182. Solving mathematical puzzles: A deep reasoning challenge. Position Paper
183. On the need for a different backtracking rule when dealing with late evaluation
184. Boosting Combinatorial Problem Modeling with Machine Learning
185. Methods for off-line/on-line optimization under uncertainty
186. The Need of Multidisciplinary Approaches and Engineering Tools for the Development and Implementation of the Smart City Paradigm
187. User-Aware Electricity Price Optimization for the Competitive Market
188. Solving TSP through the Integration of OR and CP Techniques
189. Integrating induction and abduction in logic programming
190. Towards a unified evaluation of traffic light algorithms
191. COLOMBO Deliverable 6.3: Exploitation Plan
192. Nota dei curatori
193. Driving Behaviour Clustering For Realistic Traffic Micro-Simulators
194. COLOMBO: Investigating the potential of V2X for traffic management purposes assuming low penetration rates
195. A Constraint Programming Scheduler for Heterogeneous High-Performance Computing Machines
196. COLOMBO Deliverable 2.3: Performance of the Traffic Light Control System for different Penetration Rates
197. COLOMBO Deliverable 3.2: Results of the Offline Configuration and Tuning of the Emergent Behavior
198. Electronic Participation: 7th IFIP 8.5 International Conference, ePart 2015, Thessaloniki, Greece, August 30 -- September 2, 2015, Proceedings
199. Pricing schemes for energy-efficient HPC systems: Design and exploration.
200. COLOMBO Deliverable 2.2: Policy Definition and dynamic Policy Selection Algorithms
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.