<--- Back to Details
First PageDocument Content
Belief / Credibility / Critical thinking / Popular culture / Avatar / Uncanny valley / Homophily / Expectancy violations theory / Nonverbal communication / Film / Virtual reality / Technology
Date: 2009-11-04 18:03:28
Belief
Credibility
Critical thinking
Popular culture
Avatar
Uncanny valley
Homophily
Expectancy violations theory
Nonverbal communication
Film
Virtual reality
Technology

ISPR Submissions Template

Add to Reading List

Source URL: astro.temple.edu

Download Document from Source Website

File Size: 744,97 KB

Share Document on Facebook

Similar Documents

School of Computer Science /  University of Manchester / Vampire

Motivation Interleaving AVATAR

DocID: 1xVYE - View Document

Theoretical computer science / Logic / Mathematical logic / Logic in computer science / Artificial intelligence / Automated reasoning / Automated theorem proving / Predicate logic / Quantifier / Andrei Voronkov / Z3 / Alt-Ergo

AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK

DocID: 1xVvf - View Document

Electronic engineering / Electronic design automation / Digital electronics / Electronics / Physical design / Routing / Timing closure / Placement / Design closure / Router

A Place-and-Route Paradigm Shift: Detailed-Route-Centric Solution Now Required Each technology node adds tougher physical design challenges and more stringent design rules. Modern lithography requires dual patterning and

DocID: 1xUHY - View Document

Theoretical computer science / Automated theorem proving / Mathematics / Mathematical logic / Formal methods / Logic in computer science / Resolution / Logic programming / Clause / Vampire / Boolean satisfiability problem / CARINE

Playing with AVATAR Giles Reger, Martin Suda and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. Modern first-order resolution and superposition theorem provers use saturation algorithms to search fo

DocID: 1xTM6 - View Document

https://pando.comyes-all-fowler-greyball-waymo-issues-are-reflection-uber-businessmodel-fundamentally-unfixably-broken/ Uber an avatar of innovation and progress? The economic evidence says otherwise. By Hub

DocID: 1vp9U - View Document