Privacy-aware Multipath Video Caching for Content-Centric Networks Wu, Q; Li, Z; TYSON, G; Uhlig, S; Ali Kafaar, M; Xie, G For additional information about this publication click this link. http://qmro.qmul.ac.uk/xmlui/h

Source URL: www.eecs.qmul.ac.uk

• Computer networking
• Computing
• Cache
• Information and communications technology
• Data transmission
• Internet architecture
• Computer architecture
• Content centric networking
• Router
• Named data networking

Stroboscope: Declarative Network Monitoring on a Budget https://stroboscope.ethz.ch Olivier Tilmans Tobias Bühler Ingmar Poese

Source URL: inl.info.ucl.ac.be

• Internet architecture
• Computing
• Network architecture
• Information and communications technology
• Computer networking
• Routing
• Internet Standards
• Networking hardware
• Router
• Forwarding plane
• Multiprotocol Label Switching
• NetFlow

PDF Document

Source URL: inl.info.ucl.ac.be

• 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

QAPLGame-Based Probabilistic Predicate Abstraction in PRISM 1

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Temporal logic
• Generalized functions
• Mathematics
• Distribution
• Functional analysis
• Computation tree logic

Noname manuscript No. (will be inserted by the editor) Chemical Reaction Network Designs for Asynchronous Logic Circuits Luca Cardelli ⋅ Marta Kwiatkowska ⋅ Max Whitby

Source URL: qav.comlab.ox.ac.uk

• Digital electronics
• Electronic engineering
• Electrical engineering
• Logic gates
• Electronics
• Digital systems
• Logic in computer science
• C-element
• Asynchronous circuit
• Chemical reaction network theory
• Flip-flop
• Sequential logic

Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Artificial intelligence
• Human behavior
• Cognitive science
• Logic
• Linear temporal logic
• Computation tree logic
• Autonomous agent
• Probabilistic logic
• Trust
• Humanrobot interaction
• Practical reason

Atten Percept Psychophys:927–937 DOIs13414Regulatory fit effects on stimulus identification Brian D. Glass & W. Todd Maddox & Arthur B. Markman

Source URL: www.homepages.ucl.ac.uk

• Psychology
• Neuroscience
• Neuropsychology
• Cognition
• Experimental psychology
• Human behavior
• Motivation
• Attention
• Detection theory
• Affect
• Perceptual learning

中科院计算所2019级推免生拟录取名单 序号 姓名 性别

Source URL: www.ict.ac.cn

Modeling critical components of prototype learning: modulation of brain activity isolates regions associated with discriminability and strategy shifting Marissa A. Gorlick, Brian D. Glass, Jeanette Mumford, Dagmar Zeitha

Source URL: www.homepages.ucl.ac.uk

• Brain
• Cerebrum
• Cerebral cortex
• Gyri
• Basal ganglia
• Anterior cingulate cortex
• Cingulate cortex
• Putamen
• Posterior cingulate cortex
• Orbitofrontal cortex
• Affective neuroscience
• Caudate nucleus

Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between doma

Source URL: www.cs.ox.ac.uk

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Models of computation
• Game theory
• Semantics
• Denotational semantics
• Game semantics
• Determinacy
• Samson Abramsky
• Operational semantics