Search results
- The Human Intranet, Jan Rabaey, 13, December, 2016
- Data Predictive Control for Peak Power Reduction, Achin Jain, Rahul Mangharam, Madhur Behl, Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, ACM, 109-118, 16, November, 2016
- Accessors: Scalable IoT Programming, Christopher Brooks, Jian Wu, Beth Osyk, Roozbeh Jafari, Edward A. Lee, 15, November, 2016
- AURES: A Wide-Band Ultrasonic Occupancy Sensing Platform, Anthony Rowe, Patrick Lazik, Oliver Shih, The 3rd ACM International Conference on Systems for Energy-Efficient Built Environments (BuildSys 2016), November, 2016
- Recent Progress on Privacy Enforcement through Obfuscation, Christoforos Keroglou, Stephane Lafortune, Sanjit Seshia, Yi-Chin Wu, Yidding Ji, Vasumathi Raman, 29, October, 2016
- Plenary Session #2, Jeffrey A. Bilmes, 27, October, 2016
- Plenary Session #1: Scalable deployments, Prabal Dutta, 27, October, 2016
- TerraSwarm 2016 Annual Meeting: Theme 1: Proactive Worlds: Poster Overviews, Researchers Theme 1 , 26, October, 2016
- Efficient Data Retrieval from a Secure, Durable, Append-Only Log, Paul Bramsen, Sam Kumar, Andrew Chen, John D. Kubiatowicz, 26, October, 2016
- Practical Resource-Aware Optimization of Cascade Detection Systems with Multiple Applications, Long Le, Douglas L. Jones, 26, October, 2016
- Proactive Fire Monitoring in San Diego County, Sean Grady, Nima Mousavi, Michael Ostertag, Christine Chan, 26, October, 2016
- Fusion and Signal Quality Assessment for Sensors in the Swarm, Viswam Nathan, Roozbeh Jafari, 26, October, 2016
- MARCO Perspective for TerraSwarm Annual Review, Gil Vandentop, 26, October, 2016
- TerraSwarm: State of the Center, Edward A. Lee, Jan Rabaey, 26, October, 2016
- TerraSwarm 2016 Annual Meeting: Theme 1: Proactive Worlds, Prabal Dutta, Richard Murray, 26, October, 2016
- TerraSwarm 2016 Annual Meeting: Theme 2: Methodologies, Models and Tools, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, 26, October, 2016
- Optimal Packet Aggregation in Wireless Networks, Alper Sinan Akyurek, Tajana Simunic Rosing, 26, October, 2016
- MindSweeper: Toward Haptic Cognitive Prosthesis, Tomas Vega, Corten C. Singer, Bjoern Hartmann, Eric Paulos, Michel Maharbiz, Jan Rabaey, 26, October, 2016
- ESP: Rapid Prototyping of Machine Learning for Real-Time Swarm Applications, David Mellis, Ben Zhang, Audrey Leung, Bjoern Hartmann, 26, October, 2016
- Toward an Internet of Living Things, Hartnell Jake, Marten Lohstroh, Matt Weber, Edward A. Lee, 26, October, 2016
- Poster Analytics with SwarmOS: Adaptive Execution of Swarm Applications, Ben Zhang, John Wawrzynek, Edward A. Lee, 26, October, 2016
- Enhancing tolerance to unexpected jumps in GR(1) games, Sumanth Dathathri, Scott C. Livingston, Richard Murray, 26, October, 2016
- "I don't want to wear a screen": Probing Perceptions of and Possibilities for Dynamic Displays on Clothing, Laura Devendorf, Joanne Lo, Noura Howell, Jung Lin Lee, Nanwei Gong, M. Emre Karagozler, Shiho Fukuhara, Ivan Poupyrev, Eric Paulos, Kimiko Ryokai, 26, October, 2016
- Enhancing tolerance to unexpected jumps in GR(1) games, Sumanth Dathathri, Scott C. Livingston, 26, October, 2016
- Context Engine for the Indoor Swarm, Christine Chan, Nima Mousavi, Jagannathan Venkatesh, Dhanesh Pradhan, Ivan Huang, Michael Ostertag, Tajana Simunic Rosing, 26, October, 2016
- Improvising Robot Patrol Routes, Tommaso Dreossi, Daniel J. Fremont, Sanjit Seshia, 26, October, 2016
- Debugging on the Hardware-Software Boundary with Salami, William McGrath, Jeremy Warner, Daniel Drew, David Mellis, Bjoern Hartmann, 26, October, 2016
- SurePoint: UWB Flooding and Diversity for Robust, High-Fidelity Localization, Benjamin Kempke, Pat Pannuto, Prabal Dutta, 26, October, 2016
- Accessors: Scalable IoT Programming, Beth Osyk, Jian Wu, Christopher Brooks, Roozbeh Jafari, Edward A. Lee, 26, October, 2016
- SST: Secure Swarm Toolkit - Authorization, Authentication, Security for the IoT, Hokeun Kim, Edward A. Lee, 26, October, 2016
- Introduction to Demonstrations, John Wawrzynek, Ken Lutz, John MacCallum, Nitesh Mor, 26, October, 2016
- Dynamic Event Logging for Enhanced Conference Room, Douglas L. Jones, Long Le, Duc Phan, 26, October, 2016
- Signpost Posters, Joshua Adkins, Neal Jackson, Branden Ghena, Brad Campbell, Pat Pannuto, Prabal Dutta, 26, October, 2016
- ABROA: Audio-Based Room Occupancy with GMMs and HMMs, Rafael Valle, Adrian Freed, Sanjit Seshia, David Wessel, 26, October, 2016
- Diagnosis and Repair for Synthesis from Signal Temporal Logic, Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Sanjit Seshia, 26, October, 2016
- Simulation Study of Interference and RF Propagation in a 60 GHz Indoor Mesh Network, Christopher Yarp, John Wawrzynek, 26, October, 2016
- Theme 3 Services Poster Tweets, TerraSwarm Team, 26, October, 2016
- Theme 2 Services and Cloud Interactions, TerraSwarm Team, 26, October, 2016
- Theme 1 Proactive Worlds Poster Tweets, TerraSwarm Team, 26, October, 2016
- Compressive Sensing for Millimeter-wave Imaging, Simon Scott, John Wawrzynek, 25, October, 2016
- Cooperative Multi-Robot Information Acquisition based on Distributed Robust Model Predictive Control, Shuhei Emoto, Ilge Akkaya, Edward A. Lee, submitted to 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 9, October, 2016
- The Toastboard: Ubiquitous Instrumentation and Automated Checking of Breadboarded Circuits, Daniel Drew, William McGrath, Bjoern Hartmann, David Mellis, Julie Newcomb, October, 2016
- SMC: Satisfiability Modulo Convex Optimization, Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada, George Pappas, October, 2016
- Privacy Aware Data Processing Using Partial Homomorphic Encryption, Yasser Shoukry, Rafael Valle, Konstantinos Gatsis, Stephane Lafortune, Mani Srivastava, Sanjit Seshia, Paulo Tabuad, George Pappas, October, 2016
- Sensing and Actuation Design for Large-Scale Complex Systems, Vasileios Tzoumas, Nikolay A. Atanasov, Sergio Pequito, Ali Jadbabaie, George Pappas, October, 2016
- Scheduling of Automated Vehicles for Ridesharing Services, Shuo Han, Fei Miao, Ufuk Topcu, George Pappas, October, 2016
- Beacon Placement for Range-Based Indoor Localization, Niranjini Rajagopal, Anthony Rowe, Bruno Sinopoli, The 7th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2016), October, 2016
- Multi-agent and location-dependent privacy, Fragkiskos Koufogiannis, George Pappas, October, 2016
- GMTK Tutorial: The Graphical Models Toolkit, Jeffrey A. Bilmes, 16, September, 2016
- TerraSwarm Accomplisments, Edward A. Lee, September, 2016
- TerraSwarm Quarterly Report: Milestone #17 Yr 4 Qtr 3, Edward A. Lee, August, 2016
- A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities, Hokeun Kim, Benjamin Mehne, Armin Wasicek, Edward A. Lee, 2016 IEEE 4th International Conference on Future Internet of Things and Cloud, August, 2016
- Obfuscator Synthesis for Privacy and Utility, Yi-Chin Wu, Vasu Raman, Stephane Lafortune, Sanjit Seshia, 8th NASA Formal Methods Symposium, June, 2016
- Fast Redistribution of a Swarm of Heterogeneous Robots, Amanda Prorok, M. Ani Hsieh, Vijay Kumar, Proceedings of 9th EAI International Conference on Bio-inspired Information and Communications Technologies, 24, May, 2016
- Formalizing the Impact of Diversity on Performance in a Heterogeneous Swarm of Robots, Amanda Prorok, M. Ani Hsieh, Vijay Kumar, IEEE International Conference on Robotics and Automation, 16, May, 2016
- Optimal Temporal Logic Planning in Probabilistic Semantic Maps, Jie Fu, Nikolay A. Atanasov, Ufuk Topcu, George Pappas, IEEE International Conference on Robotics and Automation, 16, May, 2016
- XGBoost: A Scalable Tree Boosting System, Tianqi Chen, 13, May, 2016
- Particle Filters for Robust Estimation from Physiological Sensors in the Swarm, Viswam Nathan, 12, May, 2016
- Accessors and the RoboCafé: Interoperability in the Internet of Things, Pat Pannuto, 10, May, 2016
- Adaptive Contracts for the Internet of Things, Antonio Iannopollo, Marten Lohstroh, Alberto Sangiovanni-Vincentelli, Edward A. Lee, 6, May, 2016
- MBus: A System Integration Bus for the Modular Micro-Scale Computing Class, Pat Pannuto, Yoonmyung Lee, Ye-Sheng Kuo, zhiyoong foo, Benjamin Kempke, Gyouho Kim, Ronald G. Dreslinski, David Blaauw, Prabal Dutta, submitted to Special Issue of IEEE Micro: Micro's Top Picks from Computer Architecture Conferences, May, 2016
- Efficient Data Retrieval from a Secure, Durable, Append-Only Log, Paul Bramsen, Sam Kumar, Andrew Chen, John D. Kubiatowicz, May, 2016
- TerraSwarm Quarterly Report: Milestone #16 Yr 4 Qtr 2, Jan Rabaey, May, 2016
- MotionSynthesis Toolset (MoST): An Open Source Tool and Dataset for Human Motion Data Synthesis and Validation, Terrell R. Bennett, Hunter C. Massey, Jian Wu, Syed Ali Hasnain, Roozbeh Jafari, IEEE Sensors Journal, May, 2016
- Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications, Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasu Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit Seshia, Hybrid Systems: Computation and Control, 12, April, 2016
- Building IoT Applications with Accessors in CapeCode, Marten Lohstroh, Ilge Akkaya, Christopher Brooks, Edward A. Lee, 12, April, 2016
- SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks, Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Joao P. Hespanha, Paulo Tabuada, ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2016), 11, April, 2016
- Implan: Scalable Incremental Motion Planning for Multi-Robot Systems, Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George Pappas, Sanjit Seshia, ICCPS 2016 conference, 11, April, 2016
- Control-aware Random Access Communication, Konstantinos Gatsis, Alejandro Ribeiro, George Pappas, International Conference on Cyber-Physical Systems, Austria, ACM/IEEE, 11, April, 2016
- Estimation of Blood Oxygen Content Using Context-Aware Filtering, Radoslav Ivanov, Nikolay A. Atanasov, James Weimer, Miroslav Pajic, Allan Simpao, Mohamed Rehman, George Pappas, Insup Lee, ACM/IEEE International Conference on Cyber-Physical Systems, 11, April, 2016
- Data Predictive Control Using machine learning to synthesize control-oriented models, Madhur Behl, Achin Jain, Rahul Mangharam, 8, April, 2016
- Global Data Plane: Concepts and Getting Started, Nitesh Mor, 4, April, 2016
- Systems Engineering for Industrial Cyber-Physical Systems using Aspects, Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee, Proceedings of the IEEE (Volume:104 , Issue: 5 ), March, 2016
- DR-Advisor: A data-driven demand response recommender system, Madhur Behl, Francesco Smarra, Rahul Mangharam, Applied Energy, 170, 30-46, March, 2016
- Keynote Address: The Internet of Important Things, Edward A. Lee, 27, February, 2016
- Accessors Tutorial: Bringing Sanity to IoT's use of Callbacks, Edward A. Lee, 24, February, 2016
- IoT and CPS A Focus on Modeling, Edward A. Lee, 19, February, 2016
- Threat Models For The Swarm, Yasser Shoukry, 12, February, 2016
- An Overview of the TerraSwarm Research Center, Christopher Brooks, 11, February, 2016
- A Secure Network Architecture for the IoT Based on Local Authorization Entities, Hokeun Kim, Armin Wasicek, Ben Mehne, Edward A. Lee, 11, February, 2016
- Accessors: An Open Architecture for the Internet of Things, Edward A. Lee, 10, February, 2016
- TerraSwarm Quarterly Report: Milestone #15 Yr 4 Qtr 1, Jan Rabaey, February, 2016
- Principled Privacy of Speech, Douglas L. Jones, 13, January, 2016
- Accessor Hosts: Cape Code, Browsers, Node.js, Duktape..., Edward A. Lee, 13, January, 2016
- A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities, Hokeun Kim, Armin Wasicek, Benjamin Mehne, Edward A. Lee, 13, January, 2016
- An Infrastructure for Multimedia Sensors, Long Le, 13, January, 2016
- Machine Learning in Urban Heartbeat, Jeffrey A. Bilmes, 13, January, 2016
- Urban Heartbeat Vision and Roadmap Discussion, Prabal Dutta, 13, January, 2016
- Lessons Learned from Wearable and Environmental Sensor Deployments, Tajana Simunic Rosing, 12, January, 2016
- Urban Heartbeat Infrastructure and Platforms, Brad Campbell, January, 2016
- Uncertainty Analysis of Middleware Architectures for Streaming Smart Grid Applications, Ilge Akkaya, Yan Liu, Edward A. Lee, IEEE Transactions on Services Computing, January, 2016
- Control Improvisation with Probabilistic Temporal Specifications, Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donze, Edward A. Lee, Sanjit Seshia, IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI'16), 2016
- TerraSwarm Quarterly Report: Milestone #18 Yr 4 Qtr 4, Edward A. Lee, 2016
- Energy Efficient Antenna Arrays for Indoor Three-dimensional Microwave Imaging, Simon Scott, John Wawrzynek, IEEE Transactions on Microwave Theory and Techniques, 2016
Found 94 publications.
Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.