PředmětyPředměty(verze: 861)
Předmět, akademický rok 2019/2020
  
Challenge Response Framework - NSWI171
Anglický název: Challenge Response Framework
Zajišťuje: Katedra softwarového inženýrství (32-KSI)
Fakulta: Matematicko-fyzikální fakulta
Platnost: od 2019 do 2019
Semestr: zimní
E-Kredity: 3
Rozsah, examinace: zimní s.:2/0 Zk [hodiny/týden]
Počet míst: neomezen
Minimální obsazenost: neomezen
Stav předmětu: nevyučován
Jazyk výuky: angličtina
Způsob výuky: prezenční
Další informace: http://www.ksi.mff.cuni.cz/~vojtas/vyuka/vyuka.html
Garant: prof. RNDr. Peter Vojtáš, DrSc.
Třída: DS, softwarové systémy
Informatika Mgr. - volitelný
Matematika a informatika
Kategorizace předmětu: Informatika > Informatika, Aplikační software, Počítačová grafika a geometrie, Databázové systémy, Didaktika informatiky, Diskrétní matematika, Předměty širšího základu, Předměty obecného základu, Počítačová a formální lingvistika, Optimalizace, Programování, Softwarové inženýrství, Teoretická informatika
Filosofie > Logika
Anotace - angličtina
Poslední úprava: RNDr. Michal Kopecký, Ph.D. (17.04.2018)
Challenge-Response Framework (CRF) appears in different parts of mathematics and computer science as e.g. query-answer, client-server service request, requirements-solution, input-output, observation-prediction, huge unstructured web information-computer understandable web information, human search-recommendation and complexity search problems etc. We present an overview of both formal model of, and experimental experience with, CRF. This opens area for PhD and/or software projects. Students will be guided through relevant literature, projects, benchmarks and experiments.
Literatura - angličtina
Poslední úprava: RNDr. Michal Kopecký, Ph.D. (17.04.2018)
  • Abiteboul S., Hull R., Vianu V.: Foundations of Databases, Addison-Wesley 1995
  • E. Ries. The Lean Startup: How Today's Entrepreneurs Use … Crown Business 2011
  • D. Harel, D. Kozen, J. Tiuryn. Dynamic Logic. The MIT Press 2000
  • C. Manning, P. Raghavan, etal. An Introduction to Information Retrieval. Cambridge UP 2009
  • R. Fagin, A. Lotem, M. Naor. Optimal aggregation algorithms for middleware, J. Computer and System Sciences 66 (2003) 614-656
  • P. Vojtas. Generalized Galois-Tukey connections between explicit relations on classical objects of real analysis, Israel Math. Conf. Proc. 6 (1993) 619-643
  • A. Blass, Combinatorial Cardinal Characteristics of the Continuum, In Handbook of Set Theory, M. Foreman and A. Kanamori eds. Springer Netherlands 2010, 395-489
  • T. Furche, G. Gottlob et al. DIADEM: Thousands of Websites to a Single Database, Proc. VLDB Endowment, Vol. 7, No. 14
  • PhD thesis of A. Eckhardt, L. Peska, J. Dedek and I. Lasek and several master theses.
  • J. B. Peterson. 12 Rules for Life: An Antidote to Chaos. Random House Canada 2018
  • J. B. Peterson. Maps of Meaning: The Architecture of Belief. Routledge 1999
  • Kahneman, D., Thinking, fast and slow Farrar, Straus and Giroux 2013,
  • Kahneman, D., Well-being : the foundations of hedonic psychology, Russell Sage Found. 2003
  • D. Kahneman, P. Slovic, A. Tversky Eds. Judgment Under Uncertainty: Heuristics and Biases, Cambridge University Press; 1982
  • IBM's Role in Creating the Workforce of the Future (T-shape skills) http://www-05.ibm.com/de/ibm/engagement/university_relations/pdf/Beyond_IT_report_IBM_Workforce_of_the_Future.pdf

Sylabus - angličtina
Poslední úprava: RNDr. Michal Kopecký, Ph.D. (17.04.2018)
  • Motivations for Challenge Response Framework (CRF)
  • Lean startup software engineering (SE) methodology and CRF
  • Data with ordering, threshold algorithm, optimality with(out) random/sequential access
  • GAP, Preferential Datalog (PD), deductive and modeling aspects of logic
  • Monotone preference model, fixpoint, approximate completeness of Preferential Datalog
  • NLP models, query languages semantics of web information
  • OWL, UML, modeling languages
  • Dynamic model of web Semantization, decidability of Dynamic Logic,
  • Inductive aspects of logic, IGAP, IPD, acceptable response business relevant metrics
  • Learning preferences from human rating and behavior, benchmarks, competitions
  • Learning annotation of web resources in social context
  • User intuitive tableau query, complexity of containment, theoretical CRF model
  • Unifying theoretical and SE aspects of CRF

 
Univerzita Karlova | Informační systém UK