×

Found 51 Documents (Results 1–51)

Measuring investment opportunities under uncertainty. (English) Zbl 07170157

Kern-Isberner, Gabriele (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 15th European conference, ECSQARU 2019, Belgrade, Serbia, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11726, 481-491 (2019).
MSC:  68T37
PDFBibTeX XMLCite
Full Text: DOI Link

An angel-daemon approach to assess the uncertainty in the power of a collectivity to act. (English) Zbl 1493.91045

Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 318-328 (2017).
PDFBibTeX XMLCite
Full Text: DOI Link

Uncertainty in the cloud: an angel-daemon approach to modelling performance. (English) Zbl 1465.68029

Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 141-150 (2015).
MSC:  68M11 91A44 91A80
PDFBibTeX XMLCite
Full Text: DOI Link

The robustness of periodic orchestrations in uncertain evolving environments. (English) Zbl 1465.68193

Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9161, 129-140 (2015).
PDFBibTeX XMLCite
Full Text: DOI Link

Web services and incerta spiriti: a game theoretic approach to uncertainty. (English) Zbl 1341.68011

Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 651-662 (2011).
MSC:  68M11 91A40 91A80
PDFBibTeX XMLCite
Full Text: DOI

On the complexity of equilibria problems in Angel-Daemon games. (English) Zbl 1148.91301

Hu, Xiaodong (ed.) et al., Computing and combinatorics. 14th annual international conference, COCOON 2008, Dalian, China, June 27–29, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69732-9/pbk). Lecture Notes in Computer Science 5092, 31-40 (2008).
PDFBibTeX XMLCite
Full Text: DOI

On the complexity of game isomorphism. (Extended abstract). (English) Zbl 1147.91303

Kučera, Luděk (ed.) et al., Mathematical foundations of computer science 2007. 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26–31, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74455-9/pbk). Lecture Notes in Computer Science 4708, 559-571 (2007).
MSC:  91A10 05C60 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Polynomial space suffices for deciding Nash equilibria properties for extensive games with large trees. (English) Zbl 1175.91026

Deng, Xiaotie (ed.) et al., Algorithms and computation. 16th international symposium, ISAAC 2005, Sanya, Hainan, China, December 19–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30935-7/pbk). Lecture Notes in Computer Science 3827, 634-643 (2005).
MSC:  91A18 68Q25 91A10
PDFBibTeX XMLCite
Full Text: DOI

Pure Nash equilibria in games with a large number of actions. (English) Zbl 1156.91308

Jędrzejowicz, Joanna (ed.) et al., Mathematical foundations of computer science 2005. 30th international symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28702-7/pbk). Lecture Notes in Computer Science 3618, 95-106 (2005).
MSC:  91A10 68Q15 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Algebraic rules for reasoning about BSP programs. (English) Zbl 1086.68532

Gorlatch, Sergei (ed.) et al., Constructive methods for parallel programming. Papers presented at the second international workshop on constructive methods for parallel programming, CMPP, Ponte de Lima, Portugal, July 2, 2000. New York, NY: Nova Science Publishers (ISBN 1-59033-374-8/hbk). Adv. Comput., Theory Pract. 10, 41-57 (2002).
MSC:  68N19
PDFBibTeX XMLCite

MALLBA: A library of skeletons for combinatorial optimisation. (English) Zbl 1068.68699

Monien, Burkhard (ed.) et al., Euro-Par 2002 Parallel processing. 8th international Euro-Par conference, Paderborn, Germany, August 27–30, 2002. Proceedings. Berlin: Springer (ISBN 3-540-44049-6). Lect. Notes Comput. Sci. 2400, 927-932 (2002).
MSC:  68W10 68T20 90C27
PDFBibTeX XMLCite
Full Text: Link

Towards formally refining BSP barriers into explicit two-sided communications. (English) Zbl 1005.68700

Sakellariou, Rizos (ed.) et al., Euro-Par 2001 Parallel processing. 7th international Euro-Par conference, Manchester, GB, August 28-31, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2150, 549-559 (2001).
MSC:  68U99 68N19
PDFBibTeX XMLCite
Full Text: Link

Concurrent rebalancing of AVL trees: A fine-grained approach. (Extended abstract). (English) Zbl 0996.68566

Lengauer, Christian (ed.) et al., Euro-par ’97 parallel processing. 3rd international Euro-Par conference, Passau, Germany, August 26-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1300, 421-429 (1997).
MSC:  68U99 68P05
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software