Challenges - PDFSEARCH.IO - Document Search Engine

Challenges
Results: 28633

#	Item
1	Evaluating Behavioral Biometrics for Continuous Authentication: Challenges and Metrics Simon Eberz Kasper B. Rasmussen Add to Reading List Source URL: www.lenders.ch Language: English - Date: 2017-04-23 04:46:45 Biometrics Security engineering Cryptography Computing Identification Machine learning Surveillance Security Keystroke dynamics Type I and type II errors Password Data corruption
2	24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨ Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:35 Theoretical computer science Formal methods Logic in computer science Computing Software engineering Electronic engineering Software testing Formal verification Runtime verification Software verification Java Modeling Language Verification
3	Challenges in Satisfiability Modulo Theories Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio? Abstract. Here we give a short overview of the DPLL(T ) approach to Satisfiability Modulo Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-09-19 06:11:44 Theoretical computer science Mathematical logic Mathematics Formal methods Logic in computer science Automated theorem proving Constraint programming Electronic design automation Conflict-driven clause learning Satisfiability modulo theories Boolean satisfiability problem Unit propagation
4	Background note OECD SOUTHEAST ASIA REGIONAL FORUM Opportunities and Policy Challenges of Digitalisation Add to Reading List Source URL: www.oecd.org Language: English - Date: 2017-08-18 10:41:24 Culture Economy Structure Economic geography Information society United Nations General Assembly observers Information technology Broadband Digital transformation Internet access National Telecommunications and Information Administration Smart city
5	CALL FOR PAPERS Special Issue of the International Journal on Network Management (IJNM) on Measure, Detect and Mitigate – Challenges and Trends in Network Security Publication: September 2015 Add to Reading List Source URL: www.caida.org Language: English - Date: 2014-09-02 00:52:00 Cybercrime Computer security Cyberwarfare Security engineering Computer network security Cyberspace National security Denial-of-service attack Cyberattack Network security
6	NITI Aayog, Intel and TIFR collaborate to set up a Model International Center for Transformative AI (ICTAI) Aiming to solve major challenges in India, the center will focus on application-based AI research in healthcare, Add to Reading List Source URL: www.tifr.res.in Language: English - Date: 2018-09-14 14:21:25 Technology Computational neuroscience Computing NITI Aayog Niti Artificial intelligence Intel Ai Tata Institute of Fundamental Research
7	Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 05:01:11 Theoretical computer science Software engineering Computing Model checking Specification language Computer programming Correctness Formal methods Cognitive science
8	Advances and Challenges of Probabilistic Model Checking Marta Kwiatkowska Gethin Norman David Parker Computing Laboratory Department of Computing Science Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-12-22 18:19:34 Statistical randomness Temporal logic Theoretical computer science Probability Markov models Model checkers Markov processes Model checking PRISM model checker Markov decision process Linear temporal logic Computation tree logic
9	GAO, AUTOMATED VEHICLES: Comprehensive Plan Could Help DOT Address Challenges Add to Reading List Source URL: www.gao.gov Language: English - Date: 2017-12-29 08:27:57 Transport Emerging technologies Land transport Technology Automation Robotics Car safety Driving Self-driving car Government Accountability Office Automated driving system Automobile safety
10	How Gamification Affects Physical Activity: ! Large-scale Analysis of Walking Challenges in a Mobile Application Ali Shameli, Tim Althoff, Amin Saberi, Jure Leskovec Add to Reading List Source URL: www.timalthoff.com Language: English - Date: 2017-04-10 13:59:57 Gamification Gaming Exergaming Stanford Gbel Human behavior Psychology

UPDATE