FOR-A - PDFSEARCH.IO - Document Search Engine

FOR-A
Results: 646152

#	Item
481	A Wireless Software Architecture for Fast 3D Rendering of Agent-Based Multimedia Simulations on Portable Devices S. Cacciaguerra, M. Roccetti, M. Roffilli A. Lomi Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2003-12-30 08:42:36 Computing Modeling and simulation Virtual reality Artificial intelligence Visual effects Multi-agent systems Simulation NetLogo Agent-based model 3D computer graphics Augmented reality Virtual world
482	A preliminary version of this paper appears in Advances in Cryptology – CRYPTO ’06, Lecture Notes in Computer Science Vol. 4117 , C. Dwork ed., Springer-Verlag, 2006. This is the full version. New Proofs for NMAC and Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2006-08-14 17:10:52 Cryptography Hashing Pseudorandomness HMAC Pseudorandom function family Cryptographic hash function Hash function Oracle machine Block cipher
483	Social Trust: a Major Challenge for the Future of Autonomous Systems Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-12 10:12:53 Reputation management Human behavior Psychology Emerging technologies Robotics Cognitive science Interpersonal relationships Social constructionism Trust Cristiano Castelfranchi Situation awareness Belief
484	Notice of Nondiscrimination and Abuse Texas A&M University provides equal opportunity to all employees, students, applicants for employment or admission, and the public regardless of race, color, sex, religion, national Add to Reading List Source URL: urc.tamu.edu Language: English - Date: 2018-03-08 15:57:16 Human behavior Human sexuality Sex crimes Feminism Workplace bullying Labour law Harassment Sexual harassment Sexual assault Title IX Office for Civil Rights
485	Extending SMTCoq, a Certified Checker for SMT (Extended Abstract) Burak Ekici Guy Katz Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Mathematical logic Mathematics Formal methods Logic in computer science Electronic design automation NP-complete problems Proof assistants Satisfiability modulo theories Automated theorem proving Coq Propositional calculus
486	BUILDING A REGULATED INVESTMENT PLATFORM AND SECURITY TOKEN EXCHANGE FOR START-UPS AND SMEs WHITEPAPER Q4 2018 AUTHORS D. ACHOUR, L. ALDOORY, H. KHOURY, Add to Reading List Source URL: kambio.io Language: English - Date: 2018-10-18 01:47:10 Economy Finance Money Corporate finance Entrepreneurship Equity securities Stock market Private equity Venture capital Crowdfunding Investor Security
487	STABLE HOMOLOGY VIA FUNCTOR HOMOLOGY CHRISTINE VESPA Abstract. This text is a preliminary version of material used for a course at the University of Copenhagen, part of ”Workshop and Masterclass on Homological stabilit Add to Reading List Source URL: irma.math.unistra.fr Language: English - Date: 2013-08-23 11:58:36 Algebra Abstract algebra Mathematics Homological algebra Hochschild homology Natural transformation Homology Universal coefficient theorem Symmetric group Functor Resolution Ring
488	IGP-as-a-Backup for Robust Software-Defined Networks Olivier Tilmans Stefano Vissicchio Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:55:18 Network architecture Computing Emerging technologies Computer architecture Network protocols Configuration management Software-defined networking OpenFlow Ethernet Transmission Control Protocol Network switch Routing
489	A Unified Framework for Human-Robot Knowledge Transfer Nishant Shukla, Caiming Xiong and Song-Chun Zhu Center for Vision, Cognition, Learning and Autonomy University of California, Los Angeles, USA Abstract Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:06 Metaphysics Cybernetics Logic Computational neuroscience Human behavior Robotics Human communication Humanrobot interaction Multimodal interaction Image segmentation Artificial intelligence Knowledge
490	Solving Nonlinear Integer Arithmetic with MCSAT? Dejan Jovanovi´c SRI International Abstract. We present a new method for solving nonlinear integer arithmetic constraints. The method relies on the MCSat approach to sol Add to Reading List Source URL: csl.sri.com Language: English - Date: 2016-11-28 15:21:09 Theoretical computer science Mathematical logic Mathematics Logic in computer science Constraint programming Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Boolean algebra Local consistency

UPDATE