Physical - PDFSEARCH.IO - Document Search Engine

Physical
Results: 141365

#	Item
11	2010 International Conference on Distributed Computing Systems Optimizing the Spatio-Temporal Distribution of Cyber-Physical Systems for Environment Abstraction Linghe Kong, Dawei Jiang, Min-You Wu Shanghai Jiao Tong Un Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2015-04-14 12:01:50 Knowledge representation Search algorithms Network theory Mathematics Connectivity Tree Breadth-first search Discrete mathematics Combinatorics Networks Centrality
12	contributed articles DOI:Computers broadcast their secrets via inadvertent physical emanations that are easily measured and exploited. Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2017-08-28 17:33:56 Cryptography Side-channel attacks Public-key cryptography Applied mathematics RSA Electromagnetic attack GNU Privacy Guard Chosen-ciphertext attack Power analysis Blinding Elliptic-curve cryptography Advanced Encryption Standard
13	VibWrite: Towards Finger-input Authentication on Ubiquitous Surfaces via Physical Vibration Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59 Computer access control Cryptography Computer security Civil law common law) Access control Authentication Notary Packaging Vibration Password Touchscreen
14	VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models Brandon Bohrer Yong Kiam Tan Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2018-05-02 15:22:10 Constructible universe Mathematical logic Mathematics Set theory Operator theory Partial differential equations Proof theory Ordinal numbers Moschovakis coding lemma Symbol
15	Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Abstract—We are witnessing a huge growth of cyber Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-02 06:46:32 Model checkers Software engineering Formal methods Theoretical computer science Software quality Computing PRISM model checker Model checking Formal verification Markov chain Stochastic Reliability engineering
16	Letter doi:nature23018 Large-scale physical activity data reveal worldwide activity inequality Add to Reading List Source URL: activityinequality.stanford.edu Language: English
17	Logical Physical Clocks and Consistent Snapshots in Globally Distributed Databases Sandeep Kulkarni* , Murat Demirbas , Deepak Madeppa , Bharadwaj Avva** , and Marcelo Leone* * Add to Reading List Source URL: cse.buffalo.edu Language: English - Date: 2014-05-07 21:40:30 Time Measurement Synchronization Distributed algorithms Network Time Protocol Clock synchronization Vector clock Distributed computing Ntpd Leap second Atomic clock Unix time
18	How Gamification Affects Physical Activity: Large-scale Analysis of Walking Challenges in a Mobile Application Ali Shameli Tim Althoff Add to Reading List Source URL: www.timalthoff.com Language: English - Date: 2017-02-23 21:29:35 Human behavior Psychology Behavior Cognition Exercise equipment Pedometer Walking Social networking service Physical attractiveness Sport Motivation Text messaging
19	The TAPR Open Hardware License Version 1.0 (May 25, 2007) Copyright 2007 TAPR – http://www.tapr.org/OHL PREAMBLE Open Hardware is a thing – a physical artifact, either electrical or mechanical – whose design inform Add to Reading List Source URL: www.tapr.org Language: English - Date: 2007-05-25 16:46:37 TAPR Open Hardware License Free and open-source software licenses Copyleft Open content GNU Project Open-source hardware Technical communication Free software GNU General Public License Free content Proprietary software Open Hardware License
20	ALABAMA BOARD OF PHYSICAL THERAPY 100 North Union Street, Suite 724 Montgomery, AlabamaRegular Board Meeting Minutes Add to Reading List Source URL: www.pt.alabama.gov Language: English - Date: 2017-07-12 16:05:23