Hierarchical Task Model with Alternatives for Predictive-reactive Scheduling Marek Vlk and Roman Barta´k (supervisor) Charles University in Prague, Faculty of Mathematics and Physics Malostranske´ na´m. 25, Pra

Source URL: icaps16.icaps-conference.org

• Business
• Economy
• Scheduling
• Information technology management
• Operations research
• Production planning
• Schedule
• Workflow
• Business process management
• Program evaluation and review technique
• Hierarchical task network
• Job shop scheduling

Towards Conflict-Driven Learning for Virtual Substitution SMT Workshop ˇ Marek Kosta (joint work K. Korovin and T. Sturm)

Source URL: smt2014.it.uu.se

• Mathematical analysis
• Logic
• Theoretical computer science
• Automated theorem proving
• Logic programming
• Conflict-driven clause learning
• E
• Calculus
• Substitution
• Exponential function

Representation Theory 16Gxx [1] Alexander Chistov, G´abor Ivanyos, and Marek Karpinski, Polynomial time algorithms for modules over finite dimensional algebras, Proceedings of the 1997 International Symposium on Symboli

Source URL: magma.maths.usyd.edu.au

Ekosystem PBN Marek Kozłowski Wprowadzenie • Polska Bibliografia Naukowa to portal Ministerstwa Nauki i Szkolnictwa Wyższego gromadzący informacje dotyczące

Source URL: polon.nauka.gov.pl

Swaps on Networks Marek Pycia∗ This Draft: Febuary 2016 Abstract A group of agents exchange discrete resources on a network without recourse to monetary transfers. Allowing for an arbitrary network structure, we show t

Source URL: pycia.bol.ucla.edu

Incremental Policy Iteration with Guaranteed Escape from Local Optima in POMDP Planning Marek Grzes and Pascal Poupart Cheriton School of Computer Science, University of Waterloo 200 University Avenue West, Waterloo, Ont

Source URL: cs.uwaterloo.ca

Przyszłośd PBN Marek Kozłowski Wprowadzenie • Usługi Web Servicowe – Własne

Source URL: polon.nauka.gov.pl

Overview of Research Marek Pycia August 2015 I am a microeconomic theorist studying market design. My research contributes to four areas of this field: matching, allocation without transfers, auctions, and the foundation

Source URL: pycia.bol.ucla.edu

Dokument podpisany przez Marek Głuch Data: :12:16 CET

Source URL: kujawsko-pomorskie.ksow.pl

Median Stable Matchings in Two-Sided Markets Peter Chen, Michael Egesdal, Marek Pycia, and M. Bumin Yenmez⇤ Febuary 2016 Abstract We show that generalized median stable matchings exist in many-to-many matching markets

Source URL: pycia.bol.ucla.edu