James Reynolds

According to our database, James Reynolds authored at least 17 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

A Multimodal Sensing Platform for Interdisciplinary Research in Agrarian Environments.

James Reynolds, Evan Williams, Devon Martin, Caleb Readling, Parvez Ahmmed, Anders Huseth, Alper Bozkurt

Sensors, 2022

Real-Time Monitoring of Plant Stalk Growth Using a Flexible Printed Circuit Board Sensor.

Jack Twiddy, Matthew Taggart, James Reynolds, Chris Sharkey, Thomas Rufty, Edgar J. Lobaton, Alper Bozkurt, Michael A. Daniele

Proceedings of the 2022 IEEE Sensors, Dallas, TX, USA, October 30 - Nov. 2, 2022, 2022

2021

Towards Continuous Plant Bioimpedance Fitting and Parameter Estimation.

Devon Martin, James Reynolds, Michael A. Daniele, Edgar J. Lobaton, Alper Bozkurt

Proceedings of the 2021 IEEE Sensors, Sydney, Australia, October 31 - Nov. 3, 2021, 2021

Novel 3D-printed Electrodes for Implantable Biopotential Monitoring.

Parvez Ahmmed, James Reynolds, Shu Hamada, Prafulla Regmi, Alper Bozkurt

Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

2020

An Environmental Station with Bioimpedance Capabilities for Agricultural Deployment.

James Reynolds, Matthew Taggart, Edgar J. Lobaton, Michael A. Daniele, Thomas Rufty, Alper Bozkurt

Proceedings of the 2020 IEEE Sensors, Rotterdam, The Netherlands, October 25-28, 2020, 2020

2019

An Injectable System for Subcutaneous Photoplethysmography, Accelerometry, and Thermometry in Animals.

James Reynolds, Parvez Ahmmed, Alper Bozkurt

IEEE Trans. Biomed. Circuits Syst., 2019

2018

Altered Functional Connectivity Observed at Rest in Children and Adolescents Prenatally Exposed to Alcohol.

Graham Little, James Reynolds, Christian Beaulieu

Brain Connect., 2018

Preliminary Evaluation of an Injectable Sensor for Subcutaneous Photoplethysmography in Animals.

James Reynolds, Parvez Ahmmed, Alper Bozkurt

Proceedings of the 2018 IEEE Biomedical Circuits and Systems Conference, 2018

2017

The viability of conductive medical epoxy as an implantable electrode material.

James Reynolds, Jose Manuel Valero-Sarmiento, James Dieffenderfer, Alper Bozkurt

Proceedings of the 2017 IEEE SENSORS, Glasgow, United Kingdom, October 29, 2017

2016

Nanocellulose electrodes for interfacing plant electrochemistry.

Kevin Keller, Michael D. Wilkins, James Reynolds, James Dieffenderfer, Charles D. Hood, Michael A. Daniele, Alper Bozkurt, Meral Tunc-Ozdemir

Proceedings of the 2016 IEEE SENSORS, Orlando, FL, USA, October 30 - November 3, 2016, 2016

2014

Functional near-infrared spectroscopy for the measurement of propofol effects in conscious sedation during outpatient elective colonoscopy.

Adrian Curtin, Kurtulus Izzetoglu, James Reynolds, Radha Menon, Meltem Izzetoglu, Mary Osbakken, Banu Onaral

NeuroImage, 2014

2013

Mimetic discretization of two-dimensional magnetic diffusion equations.

Konstantin Lipnikov, James Reynolds, Eric Nelson

J. Comput. Phys., 2013

2009

An automatic proof-generating translation from higher-order to first-order logic : with applications to linking HOL4 and ACL2.

James Reynolds

PhD thesis, 2009

2007

Automatically Translating Type and Function Definitions from HOL to ACL2.

James Reynolds

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

2006

An Integration of HOL and ACL2.

Michael J. C. Gordon, James Reynolds, Warren A. Hunt Jr., Matt Kaufmann

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

An embedding of the ACL2 logic in HOL.

Michael J. C. Gordon, Warren A. Hunt Jr., Matt Kaufmann, James Reynolds

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2004

Moving Beyond Test and Guess - Using Modeling with Load Testing to Improve Web Application Readiness.

Richard L. Gimarc, Amy C. Spellmann, James Reynolds

Proceedings of the 30th International Computer Measurement Group Conference, 2004