William Smith - RankMe

43 papers A* 1A 2B 2C 1Misc 1Journal 17Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Attack-defense tree-based analysis and optimal defense synthesis for system design. Innov. Syst. Softw. Eng. Baoluo Meng, Arjun Viswanathan, Saswata Paul, William Smith, Abha Moitra, Kit Siu, Michael Durling
2024	J	`jnl`	Lie Theory Based Optimization for Unified State Planning of Mobile Manipulators. CoRR William Smith, Siddharth Singh, Julia Rudy, Yuxiang Guan
2024	J	`jnl`	Longitudinal dynamic modelling and control for a quad-tilt rotor UAV. CoRR William Smith, Xinhua Wang
2023	J	`jnl`	A Multistage Framework for Autonomous Robotic Mapping with Targeted Metrics. Robotics William Smith, Yongming Qin, Siddharth Singh, Hudson Burke, Tomonari Furukawa, Gamini Dissanayake
2023	A*	`conf`	Deterministic stream-sampling for probabilistic programming: semantics and verification. LICS Fredrik Dahlqvist, Alexandra Silva, William Smith
2023	J	`jnl`	Deterministic stream-sampling for probabilistic programming: semantics and verification. CoRR Fredrik Dahlqvist, Alexandra Silva, William Smith
2023	J	`jnl`	Guest Editorial: Special Issue on Computer Vision from 2D to 3D. Int. J. Comput. Vis. William Smith
2022	—	`conf`	Autonomous Robotic Map Refinement for Targeted Resolution and Local Accuracy. SSRR William Smith, Yongming Qin, Tomonari Furukawa, Gamini Dissanayake
2022	—	`conf`	Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. NFM Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling
2021	J	`jnl`	Automation of penicillin adverse drug reaction categorisation and risk stratification with machine learning natural language processing. Int. J. Medical Informatics Joshua M. Inglis, Stephen Bacchi, Alexander Troelnikov, William Smith, Sepehr Shakib
2021	—	`conf`	Building a Mininet-based Fiber Optic Simulator. WOCC Yaoqing Liu, Anthony Dowling, Chris Page, William Smith
2021	—	`conf`	Transactional Knowledge Graph Generation To Model Adversarial Activities. IEEE BigData Sumit Purohit, Patrick Mackey, William Smith, Madelyn Dunning, Miquette J. Orren, Trevor M. Langlie-Miletich, Rahul D. Deshmukh, Ankur Bohra, Tonya J. Martin, Dan J. Aimone, George Chin
2021	J	`jnl`	VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Syst. Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
2020	J	`jnl`	Machine Learning Algorithms for Active Monitoring of High Performance Computing as a Service (HPCaaS) Cloud Environments. CoRR Gianluca Longoni, Ryan LaMothe, Jeremy Teuton, Mark Greaves, Nicole Nichols, William Smith
2018	—	`conf`	Geomagnetic Field based Human Search and Following for Autonomous Robots. IoPARTS@MobiSys Sen Wang, Qingfeng Xia, William Smith
2017	—	`conf`	The vector rotor as instrument of image segmentation for sensors of automated system of technological control. CSIT (1) Mykola Fisun, William Smith, Alexander Trunov
2016	—	`conf`	Effective Tooling for Linked Data Publishing in Scientific Research. ICSC Sumit Purohit, William Smith, Alan R. Chappell, Patrick West, Benno Lee, Eric G. Stephan, Peter Fox
2016	—	`conf`	Identification of program signatures from cloud computing system telemetry data. SSCI Nicole Nichols, Mark Greaves, William Smith, Ryan LaMothe, Gianluca Longoni, Jeremy Teuton
2016	J	`jnl`	Semantic catalog of things, services, and data to support a wind data management facility. Inf. Syst. Frontiers Eric G. Stephan, Todd Elsethagen, Larry K. Berg, Matthew C. Macduff, Patrick R. Paulson, Will J. Shaw, Chitra Sivaraman, William Smith, Adam S. Wynne
2015	—	`conf`	Deep web scientific sensor measurements usage: A standards-based approach. CTS Eric G. Stephan, Alan R. Chappell, Chitra Sivaraman, Sumit Purohit, William Smith, Bernadette Farias Lóscio
2015	C	`conf`	Enhancing the impact of science data toward data discovery and reuse. ICIS Alan R. Chappell, Jesse Weaver, Sumit Purohit, William Smith, Karen Schuchardt, Patrick West, Benno Lee, Peter Fox
2015	—	`conf`	Medical and transmission vector vocabulary alignment with Schema.org. ICBO William Smith, Alan R. Chappell, Courtney D. Corley
2014	—	`ed.`	Proceedings of the Third Workshop on Vision and Language, VL@COLING 2014, Dublin, Ireland, August 23, 2014 VL@COLING Anja Belz, Darren Cosker, Frank Keller, William Smith, Kalina Bontcheva, Sien Moens, Alan F. Smeaton
2013	J	`jnl`	Fast analytical models of wheeled locomotion in deformable terrain for mobile robots. Robotica Zhenzhong Jia, William Smith, Huei Peng
2013	J	`jnl`	Linear Cryptanalysis of Simplified AES Under Change of S-Box. Cryptologia Samantha Campbell, Max Grinchenko, William Smith
2013	B	`conf`	Rigid Body Molecular Dynamics within the Domain Decomposition Framework of DL_POLY_4. PaCT Ilian T. Todorov, Laurence Ellison, William Smith
2012	—	`ed.`	Facial Analysis and Animation 2012, FAA '12, Vienna, Austria - September 21 - 21, 2012 FAA Michael Pucher, Darren Cosker, Gregor Hofer, Michael Berger, William Smith
2012	—	`conf`	Real-time 3-D mapping for robotic applications. COM.Geo William Smith, Bingcai Zhang
2012	J	`jnl`	Terramechanics-based wheel-terrain interaction model and its applications to off-road wheeled mobile robots. Robotica Zhenzhong Jia, William Smith, Huei Peng
2011	—	`conf`	3D city site model extraction through point cloud generated from stereo images. COM.Geo Bingcai Zhang, William Smith
2011	A	`conf`	Fast computation of wheel-soil interactions for safe and efficient operation of mobile robots. IROS Zhenzhong Jia, William Smith, Huei Peng
2011	—	`conf`	High-fidelity Real-time Antiship Cruise Missile Modeling on the GPU. PARCO Christopher Scannell, Jonathan Decker, Joseph Collins, William Smith
2010	—	`ed.`	The ACM / SSPNET 2nd International Symposium on Facial Analysis and Animation, FAA '10, Edinburgh, Scotland, UK, October 21, 2010 FAA Darren Cosker, Gregor Hofer, Michael Berger, William Smith
2007	Misc	`conf`	Using discrete event simulation to examine marine training at the Marine Corps Communication-Electronics school. WSC Jon Davenport, Charles Neu, William Smith, Susan Heath
2004	—	`book`	Systems Building with Oracle - The Theory and Practice of Database Design William Smith
2000	A	`conf`	A computational steering system for studying microwave interactions with missile bodies. IEEE Visualization J. Edward Swan II, Marco Lanzagorta, Doug Maxwell, Eddy Kuo, Jeffrey K. Uhlmann, Wendell Anderson, Haw-Jye Shyu, William Smith
2000	J	`jnl`	A smooth-particle mesh Ewald method for DL_POLY molecular dynamics simulation package on the Fujitsu VPP700. J. Comput. Chem. Kholmirzo Kholmurodov, William Smith, Kenji Yasuoka, Thomas A. Darden, Toshikazu Ebisuzaki
2000	J	`jnl`	SHAKE, rattle, and roll: Efficient constraint algorithms for linked rigid bodies. J. Comput. Chem. Timothy R. Forester, William Smith
1999	—	`conf`	A field programmable system chip which combines FPGA and ASIC circuitry. CICC William B. Andrew, Glenn Carl, Ravi K. Charath, James F. Hoff, Ron Modo, Hung Nguyen, William Smith, David Rhein, Joe Schulingkamp, Carolyn W. Spivak, James P. Steward, Akila Subramaniam
1999	—	`conf`	Workload characteristics and effective scheduling in large parallel systems. PARCO John S. Sobolewski, Santosh Mamidi, William Smith
1998	J	`jnl`	SHAKE, rattle, and roll: Efficient constraint algorithms for linked rigid bodies. J. Comput. Chem. Timothy R. Forester, William Smith
1997	J	`jnl`	Replicated data and domain decomposition molecular dynamics techniques for simulation of anisotropic potentials. J. Comput. Chem. Mark R. Wilson, Michael P. Allen, Mark A. Warren, Alain Sauron, William Smith
1989	B	`conf`	Application of computers in development of a total artificial heart. CBMS Stephen Himley, Kenneth Butler, Setsuo Takatani, William Smith, Yukihiko Nose