Visible to the public Biblio

Found 1750 results

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
U
Xie, Junfei, Al-Emrani, Firas, Gu, Yixin, Wan, Yan, Fu, Shengli.  2016.  UAV-Carried Long Distance Wi-Fi Communication Infrastructure. Proc. of AIAA Science and Technology Forum and Exposition, San Diego, CA. :747–759.
T
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis.  2017.  Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. Formal Techniques for Distributed Objects, Components, and Systems - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Sw. :194–209.
Rongchao Zhang, Yuan Wu, Wenan Zhang, Li Yu, Wen-Zhan Song.  2013.  Two-sided Energy Scheduling Algorithm for Smart Grid with Storage Cost. International Conference on Wireless Communications and Signal Processing, WCSP2013.
Kirill Trapeznikov, Venkatesh Saligrama, David A. Castañón.  2012.  Two stage decision system. {IEEE} Statistical Signal Processing Workshop, {SSP} 2012, Ann Arbor, MI, USA, August 5-8, 2012. :920–923.
Almoallem, Y.D., Jiang, H..  2017.  Tunable dielectrophoretic microlens with lowered driving voltage. The 18th International Conference on Solid-State Sensors, Actuators and Microsystems (Transducers’17). :258-261.
Judson Wilson, Riad S. Wahby, Henry Corrigan-Gibbs, Dan Boneh, Philip Levis, Keith Winstein.  2017.  Trust but Verify: Auditing Secure Internet of Things Devices. {Proceedings of the The 15th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys 2017)}.
Trippel, Caroline, Manerkar, Yatin A, Lustig, Daniel, Pellauer, Michael, Martonosi, Margaret.  2017.  TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA. Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems. :119–133.
Y. Zhang, J. Cortes.  2017.  Transient-state feasibility set approximation of power networks against disturbances of unknown amplitude. acc. :2767-2772.

This paper develops methods to efficiently compute the set of disturbances on a power network that do not tip the frequency of each bus and the power flow in each transmission line beyond their respective bounds. For a linearized AC power network model, we propose a sampling method to provide superset and subset approximations with a desired accuracy of the set of feasible disturbances. We also introduce an error metric to measure the approximation gap and design an algorithm that is able to reduce its value without impacting the complexity of the resulting set approximations. Simulations on the IEEE 118-bus power network illustrate our results.

C. Guo, S. Ren, Y. Jiang, P. L. Wu, L. Sha, R. B. Berlin.  2016.  Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS). :1-10.
Stephanedes, Yorgos, Hourdakis, John.  1996.  Transferability of freeway incident detection algorithms. Transportation Research Record: Journal of the Transportation Research Board. :184–195.
Feuz, Kyle, Cook, Diane J.  2015.  Transfer learning across feature-rich heterogeneous feature spaces via feature-space remapping. ACM Transactions on Intelligent Systems and Technology. 6:3.