AC - PDFSEARCH.IO - Document Search Engine

AC
Results: 359273

#	Item
71	Probabilistic Model Checking of Complex Biological Pathways John Heath a , Marta Kwiatkowska b,? , Gethin Norman b , David Parker b , Oksana Tymchyshyn c a School Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-12-19 10:53:34 Cell biology Biology Cell signaling Tyrosine kinase receptors Signal transduction Proteins Phosphorus Fibroblast growth factor receptor GRB2 MAPK/ERK pathway Fibroblast growth factor FRS2
72	w 9 d s : i te ur cred ho Ac Add to Reading List Source URL: mfia.org.mt Language: English - Date: 2015-02-25 15:16:11 Finance Money Economy European Union directives Investment European Union law Undertakings for Collective Investment in Transferable Securities Directive Funds Alternative Investment Fund Managers Directive Depository bank
73	Your Botnet is My Botnet: Analysis of a Botnet Takeover Brett Stone-Gross, Marco Cova, Lorenzo Cavallaro, Bob Gilbert, Martin Szydlowski, Richard Kemmerer, Christopher Kruegel, and Giovanni Vigna University of California Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-02-12 10:29:36 Botnets Cybercrime Computing Cyberwarfare Torpig Srizbi botnet Festi Fast flux Domain generation algorithm Bot herder The Spamhaus Project Conficker
74	PDF Document Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Computing Network architecture Routing protocols Information and communications technology Internet architecture Internet Standards Routing algorithms Multiprotocol Label Switching Routing IS-IS Router Software-defined networking
75	Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-05-12 04:35:43 Statistical models Probability and statistics Statistical theory Statistics Timed automaton Parametric model Parameter Markov decision process Markov chain
76	Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic. Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:48:09 Mathematics Linear temporal logic Temporal logic Mathematical logic Symbol Structure Model theory Distribution operator
77	Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2018-10-16 07:48:38 Functional programming Software engineering Computer programming Computing Monad Arrow Functional reactive programming Strong monad Type class Combinatory logic Pure function
78	Design of Knowledge Analytics Tools for Workplace Learning Maria A Schett, Stefan Thalmann & Ronald K Maier , {stefan.thalmann, ronald.maier}@uibk.ac.at FG-WM @ LWDA 2016 @ Potsdam, 2016 \| 09 \| 12 Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2017-08-13 07:49:11 Education Economy Educational psychology Neuropsychology Business intelligence Big data Formal sciences Analytics Architectural pattern Educational technology Learning Learning analytics
79	Dynamic Web Data: a Process Algebraic Approach Sergio Maffeis Department of Computing, Imperial College London Ph.D. Thesis, 2005. Thesis supervisor: Philippa Gardner Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Computing Web standards Semantic Web Technical communication T0 Data integration -calculus Web Ontology Language Database
80	Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:31 Artificial intelligence Logic Cognitive science Automated reasoning Reasoning Accountability Technology Automated theorem proving Explainable Artificial Intelligence Xai Inference

UPDATE