Deciding Unbounded Heaps  in an SMT Framework  Zvonimir Rakamarić 1 , Roberto Bruttomesso 2 , Alan Hu 1 ,  Alessandro Cimatti 2  1 University of British Columbia; 2 ITC­IRST

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Constraint programming
• Electronic design automation
• Logic in computer science
• Satisfiability modulo theories
• Heap
• FO
• Transitive closure

Feature Pyramid Networks for Object Detection Tsung-Yi Lin1,2 , Piotr Doll´ar1 , Ross Girshick1 , Kaiming He1 , Bharath Hariharan1 , and Serge Belongie2 1 arXiv:1612.03144v2 [cs.CV] 19 Apr 2017

Source URL: arxiv.org

• Computer vision
• Artificial intelligence
• Vision
• Image processing
• Computational neuroscience
• Artificial neural networks
• Pyramid
• Object detection
• Convolutional neural network
• Image segmentation
• Outline of object recognition
• Egyptian pyramids

TICS 1818 No. of Pages 12 Opinion Social Origins of Cortical Face Areas Lindsey J. Powell,1 Heather L. Kosakowski,1 and Rebecca Saxe1,*

Source URL: saxelab.mit.edu

• Brain
• Cerebrum
• Neuroscience
• Cognition
• Cerebral cortex
• Visual perception
• Temporal lobe
• Visual cortex
• Face perception
• Fusiform face area
• Visual system
• Amygdala

` AWS Activate - Frequently Asked Questions (FAQ) 1. What is AWS Activate? AWS Activate is a program designed to provide your startup with the resources you need to get started

Source URL: www.eban.org

• Economy
• Computing
• Cloud infrastructure
• Amazon Web Services
• Web hosting
• Business
• Startup company

Freenet: A Distributed Anonymous Information Storage and Retrieval System Ian Clarke1 , Oskar Sandberg2 , Brandon Wiley3 , and Theodore W. Hong4? 1 4

Source URL: ericw.us

• Distributed data storage
• Computing
• Concurrent computing
• Distributed computing
• File sharing networks
• File sharing
• Beta software
• Cross-platform software
• Freenet
• Peer-to-peer
• Gnutella
• Trie

RICHTLINIEN BEILAGENANLIEFERUNG. 1  /  3 Reservationen, Auflagenbestimmung, Preis und Zulässigkeit des Inhalts sind vorgängig mit dem Verlag oder der zuständigen Inseratenverwaltung abzusprechen.

Source URL: www.swissprinters.ch

Zadávací dokumentace „DODÁVKA A IMPLEMENTACE DMS“ Doplňující informace k poptávkovému řízení 1. Docházka zaměstnanců V případě docházky se jedná pouze o evidenci pracovní doby zaměstnanců, niko

Source URL: www.praguecc.cz

Analysis of QUAD Bo-Yin Yang1 , Owen Chia-Hsin Chen2 , Daniel J. Bernstein3 , and Jiun-Ming Chen4 1 4

Source URL: precision.moscito.org

• Cryptography
• Multivariate cryptography
• QUAD
• Stream cipher
• Parametric equation
• Hidden Field Equations

Achain Wallet User Guide Table 1. Notice ................................................................................................ 2 2. Setup and Log in ............................................................

Source URL: www.achain.com

• Economy
• Payment systems
• Money
• E-commerce
• Digital wallet
• Password
• Wallet
• Backup

Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1

Source URL: www.falkhowar.de

• Real-time computing
• Scheduling
• Technology
• Computer architecture
• System software
• Embedded operating systems
• Automotive software
• OSEK
• Worst-case execution time
• Real-time operating system
• Uppaal Model Checker
• Model checking