Timothy McCarthy

According to our database, Timothy McCarthy authored at least 27 papers between 1979 and 2022.

Collaborative distances:

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

2022

Using Satellite-Based Data to Facilitate Consistent Monitoring of the Marine Environment around Ireland.

Gema Casal, Clara Cordeiro, Tim McCarthy

Remote. Sens., 2022

2021

Induction, Constructivity, and Grounding.

Timothy McCarthy

Notre Dame J. Formal Log., 2021

2019

Evaluation of Grass Quality under Different Soil Management Scenarios Using Remote Sensing Techniques.

Mohammad Sadegh Askari, Timothy McCarthy, Aidan Magee, Darren J. Murphy

Remote. Sens., 2019

2017

Snake Energy Analysis and Result Validation for a Mobile Laser Scanning Data-Based Automated Road Edge Extraction Algorithm.

Pankaj Kumar, Paul Lewis, Conor P. McElhinney, Pawel Boguslawski, Tim McCarthy

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2017

2016

Combining Remote Temperature Sensing with in-Situ Sensing to Track Marine/Freshwater Mixing Dynamics.

Margaret McCaul, Jack Barland, John Cleary, Conor Cahalane, Tim McCarthy, Dermot Diamond

Sensors, 2016

2015

Optimising Mobile Mapping System Laser Scanner Orientation.

Conor Cahalane, Paul Lewis, Conor P. McElhinney, Timothy McCarthy

ISPRS Int. J. Geo Inf., 2015

Evaluation of a delay-tolerant ICN architecture.

Hasnain Lakhani, Timothy McCarthy, Minyoung Kim, David E. Wilkins, Samuel B. Wood

Proceedings of the Seventh International Conference on Ubiquitous and Future Networks, 2015

Bixie: Finding and Understanding Inconsistent Code.

Tim McCarthy, Philipp Rümmer, Martin Schäf

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Inferring Executable Models from Formalized Experimental Evidence.

Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn L. Talcott

Proceedings of the Computational Methods in Systems Biology, 2015

2014

Calculation of Target-Specific Point Distribution for 2D Mobile Laser Scanners.

Conor Cahalane, Conor P. McElhinney, Paul Lewis, Tim McCarthy

Sensors, 2014

MIMIC: An Innovative Methodology for Determining Mobile Laser Scanning System Point Density.

Conor Cahalane, Conor P. McElhinney, Paul Lewis, Timothy McCarthy

Remote. Sens., 2014

Automated road markings extraction from mobile laser scanning data.

Pankaj Kumar, Conor P. McElhinney, Paul Lewis, Timothy McCarthy

Int. J. Appl. Earth Obs. Geoinformation, 2014

Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge.

Hua Li, Ralph Costantini, David Anhalt, Rafael Alonso, Mark-Oliver Stehr, Carolyn L. Talcott, Minyoung Kim, Timothy McCarthy, Samuel B. Wood

Proceedings of the Posters, 2014

Adaptive Interest Modeling Improves Content Services at the Network Edge.

Hua Li, Ralph Costantini, David Anhalt, Rafael Alonso, Mark-Oliver Stehr, Carolyn L. Talcott, Minyoung Kim, Timothy McCarthy, Samuel B. Wood

Proceedings of the 2014 IEEE Military Communications Conference, 2014

A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems.

Mark-Oliver Stehr, Minyoung Kim, Tim McCarthy

Proceedings of the Computing with New Resources, 2014

2013

Towards a GIS-Based Decision Support System on the Amazon Cloud for the Modelling of Domestic Wastewater Treatment Solutions in Wexford, Ireland.

Nadeem Qazi, David Smyth, Tim McCarthy

Proceedings of the 15th International Conference on Computer Modelling and Simulation, 2013

Adaptive Wireless Networks as an Example of Declarative Fractionated Systems.

Jong-Seok Choi, Tim McCarthy, Minyoung Kim, Mark-Oliver Stehr

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013

Application patterns for cyber-physical systems.

Jong-Seok Choi, Tim McCarthy, Maneesh Yadav, Minyoung Kim, Carolyn L. Talcott, Eric Gressier-Soudan

Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2012

LiDAR data management pipeline; from spatial database population to web-application visualization.

Paul Lewis, Conor P. McElhinney, Timothy McCarthy

Proceedings of the 3rd International Conference on Computing for Geospatial Research and Application, 2012

MIMIC: Mobile mapping point density calculator.

Conor Cahalane, Tim McCarthy, Conor P. McElhinney

Proceedings of the 3rd International Conference on Computing for Geospatial Research and Application, 2012

2010

Dual-scale validation of a medium-resolution coastal DEM with terrestrial LiDAR DSM and GPS.

Seamus Coveney, A. Stewart Fotheringham, Martin Charlton, Timothy McCarthy

Comput. Geosci., 2010

1988

Ungroundedness in classical languages.

Timothy McCarthy

J. Philos. Log., 1988

1987

Modality, invariance, and logical truth.

Timothy McCarthy

J. Philos. Log., 1987

1985

Abstraction and definability in semantically closed structures.

Timothy McCarthy

J. Philos. Log., 1985

A Statistical Calculation of Fault Detection Probabilities By Fast Fault Simulation.

John A. Waicukauski, Eric Lindbloom, Edward B. Eichelberger, Donato O. Forlenza, Tim McCarthy

Proceedings of the Proceedings International Test Conference 1985, 1985

1984

Truth without satisfaction.

Kit Fine, Timothy McCarthy

J. Philos. Log., 1984

1979

Substitutional quantification and set theory.

Dale Gottlieb, Timothy McCarthy

J. Philos. Log., 1979