Verification of Programs by Combining Iterated Specialization with Interpolation E. De Angelis and F. Fioravanti J. A. Navas

Source URL: jorgenavas.github.io

• Declarative programming
• Software engineering
• Theoretical computer science
• Constraint programming
• Logic programming
• Programming paradigms
• Formal methods
• Constraint logic programming
• Loop invariant
• Interpolation
• Abstract interpretation
• CLP

2018 – 2019 MASTER BALLOT POSITION LIST In accordance with Utah Code Section 20A-6-305, Utah Lieutenant Governor Spencer J. Cox hereby establishes the Master Ballot Position List, establishes written procedures for el

Source URL: elections.utah.gov

• Ballot
• Retention election
• Elections
• Voting
• Politics
• Government
• Group decision-making
• Political terminology

A Tool for Intersecting Context-Free Grammars and Its Applications Graeme Gange1 , Jorge A. Navas2(B) , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: jorgenavas.github.io

• Formal languages
• Language
• Culture
• Grammar
• Context-free grammar
• Formal grammar
• Context-free language
• Regular language
• Regular grammar
• Model checking
• Conjunctive grammar

Understanding the Mirai Botnet Manos Antonakakis⇧ Tim April‡ Michael Bailey† Matthew Bernhard/ Elie Bursztein Jaime Cochran. Zakir Durumeric/ J. Alex Halderman/ Luca Invernizzi Michalis Kallitsis§ Deepak Kumar†

Source URL: www.doc.ic.ac.uk

• Botnets
• Cybercrime
• Computing
• Cyberwarfare
• Denial-of-service attacks
• Linux malware
• Computer network security
• Mirai
• BASHLITE
• Internet of things
• TR-069
• Denial-of-service attack

Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences

Source URL: dream.inf.ed.ac.uk

• Computer programming
• Software engineering
• Computing
• Lisp
• Functional programming
• Data types
• Abstract data types
• Functional languages
• Append
• ACL2
• Cons
• Nqthm

Choudhury et al. VOL. 10, NO. 10/OCTOBER 2018/J. OPT. COMMUN. NETW. 1 Two Use Cases of Machine Learning for SDN-Enabled IP/Optical Networks:

Source URL: www.research.att.com

• Computing
• Information and communications technology
• Network architecture
• Telecommunications engineering
• Internet architecture
• Fiber-optic communications
• Network protocols
• Reconfigurable optical add-drop multiplexer
• Multiprotocol Label Switching
• Optical networking
• Automatically switched optical network
• Software-defined networking

Toward practical and unconditional verification of remote computations Srinath Setty∗, Andrew J. Blumberg∗, and Michael Walfish∗ 1 Introduction

Source URL: www.pepper-project.org

• Cryptography
• Computational complexity theory
• Complexity classes
• Public-key cryptography
• Interactive proof system
• NP
• NEXPTIME
• IP
• Probabilistically checkable proof
• Commitment scheme
• Proof of secure erasure
• Randomized algorithm

PDF Document

Source URL: www.j-village.jp

Grivaux, Julien  Tian’s invariant of the Grassmann manifold. (English) Zbl
J. Geom. Anal. 16, No. 3, For a compact Kählerian manifold M , Tian’s invariant α(M ) is connected to the ex

Source URL: jgrivaux.perso.math.cnrs.fr

• Geometry
• Differential geometry
• Theoretical physics
• Riemannian manifolds
• Complex manifolds
• Riemannian geometry
• Symplectic geometry
• Khler manifold
• Einstein manifold
• KhlerEinstein metric
• Ricci curvature
• Zbl

Do You See What I See? Differential Treatment of Anonymous Users Sheharbano Khattak? , David Fifield† , Sadia Afroz† , Mobin Javed† Srikanth Sundaresan‡ , Vern Paxson‡† , Steven J. Murdoch- , Damon McCoy‡ o

Source URL: sheharbano.com