User - PDFSEARCH.IO - Document Search Engine

User
Results: 68652

#	Item
81	11th International Satisfiability Modulo Theories Competition SMT-COMPSylvain Conchon Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2016-07-02 05:15:08 Computing Theoretical computer science Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Benchmark Standard Performance Evaluation Corporation K computer
82	OCTO AWARDED $25M CONTRACT TO PROVIDE FULL RANGE OF INFORMATION MANAGEMENT / INFORMATION TECHNOLOGY SERVICES TO DHA Octo’s Range of IT Capabilities Across Agile, Infrastructure, and User Experience Will Allow DHA’s R Add to Reading List Source URL: www.octoconsulting.com Language: English - Date: 2018-10-10 08:58:33 Defense Health Agency Agile software development
83	Designing Proof Formats A User’s Perspective Sascha B¨ ohme Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2011-08-05 14:21:30 Mathematical logic Theoretical computer science Software Formal methods Proof assistants Automated theorem proving Mathematical proof First-order logic Proof True quantified Boolean formula Frama-C Type theory
84	Press Release September 27, 2012 CloudBroker Platform Now Usable for Free with Own Cloud Infrastructures CloudBroker GmbH and the SCIentific gateway Based User Support (SCI-BUS) EU FP7 Add to Reading List Source URL: www.cloudbroker.com Language: English - Date: 2012-09-27 05:39:27 Cloud infrastructure Cloud computing IT infrastructure Computing Grid computing GUSE MTA SZTAKI Laboratory of Parallel and Distributed Systems IBM cloud computing OpenNebula Pter Kacsuk OpenStack
85	Factsheet User self-services Combining efficiency and security Where helpdesks have to deal with large numbers of users, they are often full to capacity with simple, repetitive tasks. User self-services ease the pressu Add to Reading List Source URL: www.airlock.com Language: English - Date: 2016-11-07 04:34:47 Computer access control Computer security Access control Password Single sign-on Security token Google Authenticator Self-service password reset Password manager
86	Introduction Applications SMT Solver Use Algorithms Conclusion Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2012-01-31 09:21:20 Theoretical computer science Logic in computer science Formal methods Mathematics Electronic design automation NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Solver Formal verification Model checking SMT
87	User Session Identification Based on Strong Regularities in Inter-activity Time Aaron Halfaker1 Oliver Keyes1 Daniel Kluver2 Jacob Thebault-Spieker2 Tien Nguyen2 Kenneth Shores2 Anuradha Uduwage2 Morten Warncke-Wang2 1 Add to Reading List Source URL: www.www2015.it Language: English - Date: 2015-05-15 11:19:06 Digital marketing World Wide Web Humancomputer interaction Computing Marketing Big data Business intelligence Session GroupLens Research Web analytics Recommender system Activity theory
88	Satisfiability Modulo Theories Tjark Weber Oberseminar Statische Analyse November 11, 2004 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:35:54 Theoretical computer science Logic Logic in computer science Mathematical logic Model theory Electronic design automation Formal methods NP-complete problems Satisfiability
89	Online Actions with Offline Impact: ! How Online Social Networks Influence Online and Offline User Behavior Tim Althoff, Pranav Jindal, Jure Leskovec @timalthoff Add to Reading List Source URL: www.timalthoff.com Language: English - Date: 2017-02-08 11:57:58 Stanford University Social networking service Causes Homophily Technology Human behavior California
90	Winamp Privacy Policy PLEASE READ THIS PRIVACY POLICY CAREFULLY. This Winamp Privacy Policy explains to You, user of the Winamp Services (as defined below) Add to Reading List Source URL: www.winamp.com Language: English - Date: 2018-10-18 09:37:36 Software Terms of service Computing Digital media Internet privacy Google Analytics HTTP cookie Privacy policy Web analytics Winamp Privacy Nullsoft Scriptable Install System

UPDATE