Filters








178,514 Hits in 4.1 sec

Integrated monitoring of subsidence due to hydrocarbon production: consolidating the foundation

Gini Ketelaar, Hermann Bähr, Shizhuo Liu, Harry Piening, Wim van der Veen, Ramon Hanssen, Freek van Leijen, Hans van der Marel, Sami Samiei-Esfahany
2020 Proceedings of the International Association of Hydrological Sciences  
This paper describes several geodetic studies that consolidate the reliability and precision of monitoring subsidence due to hydrocarbon production: the deployment of Integrated Geodetic Reference Stations  ...  (IGRS); the application of high resolution InSAR; the comparison of different GNSS processing methodologies; the implementation of an efficient InSAR stochastic model, and the framework of integrated  ...  .; placement and processing of GNSS receivers by 06-GPS B.V.; GNSS regional network processing by the Dutch Cadastre, and GNSS Precise Point Positioning processing by Nevada Geodetic Laboratory.  ... 
doi:10.5194/piahs-382-117-2020 fatcat:gl7etd6jpngijgrxq3flzibnn4

Towards foundational verification of cyber-physical systems

Gregory Malecha, Daniel Ricketts, Mario M. Alvarez, Sorin Lerner
2016 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS)  
of the stack.  ...  VERIDRONE is a library within the Coq proof assistant enabling us to build on its foundational implementation, its interactive development environments, and its wealth of libraries capturing interesting  ...  Integrating with the Rest of the Stack.  ... 
doi:10.1109/soscyps.2016.7580000 dblp:conf/cpsweek/MalechaRAL16 fatcat:px7fwlh6u5g3tcw5tqnbzo4iva

Java-MOP: A Monitoring Oriented Programming Environment for Java [chapter]

Feng Chen, Grigore Roşu
2005 Lecture Notes in Computer Science  
A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle.  ...  Monitoring can also provide a strong foundation for increasing the quality, robustness, and confidence in the correctness of complex software systems.  ...  The client part contains the Java annotation processors, which integrate the monitoring code generated by the server into the system, according to configuration attributes of the monitor.  ... 
doi:10.1007/978-3-540-31980-1_36 fatcat:a5kbxo4linedpbbd2zxtrh77vi

Transport Infrastructure SHM Using Integrated SAR Data and On-Site Vibrational Acquisitions: "Ponte Della Musica–Armando Trovajoli" Case Study

Felice Carlo Ponzo, Chiara Iacovino, Rocco Ditommaso, Manuela Bonano, Riccardo Lanari, Francesco Soldovieri, Vincenzo Cuomo, Francesca Bozzano, Paolo Ciampi, Matteo Rompato
2021 Applied Sciences  
October 2020 and with the local-scale definition of the engineering geological setting of the foundation soil.  ...  The DInSAR results have been integrated with the identification of the dynamic characteristics of the bridge, performed through an experimental campaign of ambient vibration measurements carried out in  ...  The Digital Elevation Model of the analyzed area was acquired through the SRTM archive. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/app11146504 fatcat:mccibwsxubf2vbzwjghniocdp4

Integrated 3S Technology Used in Urban Grid Management

H. Zhao, H. Wang, W. Wu, C. Wang
2014 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
With multi-scale and multi-dimensional remote sensing data, 3S integration and the urban grid management can monitor the urban state and its spatial-temporal changes.  ...  Dynamic monitoring system of Ningbo city management adopts the urban grid management mode.  ...  The study has been supported by the Special Research Project for the Commonwealth of the Ministry of Water Resources of the People's Republic of China (Grant No. 201201092).  ... 
doi:10.5194/isprsarchives-xl-2-1-2014 fatcat:y27p5eayozghhaq4vl5lkvpc24

Page 6827 of Mathematical Reviews Vol. , Issue 91M [page]

1991 Mathematical Reviews  
(D-BRNS-I) Theoretical foundations of handling large substitution sets in temporal integrity monitoring. Acta Inform. 28 (1991), no. 4, 365-407.  ...  For a runtime monitoring of temporal integrity the problem arises of how to handle the historical information necessary to monitor the long-term dependencies.  ... 

Integration of Remote Sensing and Ground-Based Non-Destructive Methods in Transport Infrastructure Monitoring: Advances, Challenges and Perspectives

Fabio Tosti, Valerio Gagliardi, Luca Bianchini Ciampoli, Andrea Benedetto, Sue Threader, Amir M. Alani
2021 2021 IEEE Asia-Pacific Conference on Geoscience, Electronics and Remote Sensing Technology (AGERS)  
High temporal frequency monitoring of transport infrastructures is crucial for implementing effective maintenance prioritisation strategies and prevent major failures.  ...  On the other hand, satellite remote sensing techniques, such as the Multi-Temporal Interferometric Synthetic Aperture Radar (MT-InSAR) method, have proven effective in monitoring ground displacements of  ...  ACKNOWLEDGMENTS This paper reports research supported by the Italian Ministry of Education, University and Research under the National Project "EXTRA TN", PRIN 2017, Prot. 20179BP4SM.  ... 
doi:10.1109/agers53903.2021.9617280 fatcat:tsjjsxih6jextatbfhnp6bkp2a

Analysis with a Purpose: Narrowing the Gap with a Pragmatic Approach

James W. Gualtieri, William C. Elm, Scott S. Potter, Emilie Roth
2001 Proceedings of the Human Factors and Ergonomics Society Annual Meeting  
One way to narrow the gap is to develop an integrated set of artifacts that provide explicit links between (1) the functional goals the domain, to (2) the cognitive demands that require support, through  ...  There has been a growing interest in using Cognitive Systems Engineering (CSE) techniques to understand work domains and the cognitive demands it imposes on practitioners in order to provide a foundation  ...  -3: Monitor the impact of Opponent Collection Efforts D-P3-4: Monitor the state of Display Operations X D-G6-1: Monitor the success of Information Denial D-P6-1: Monitor the state of Information Denial  ... 
doi:10.1177/154193120104500438 fatcat:ifextzuucjhsbccf5couoe2zrq

Page 365 of Behavior Research Methods Vol. 28, Issue 3 [page]

1996 Behavior Research Methods  
on a color monitor.  ...  Integration of features and com¬ prehension of the display take place at this stage of pro¬ cessing.  ... 

A social-ecological systems approach for environmental management

Arika Virapongse, Samantha Brooks, Elizabeth Covelli Metcalf, Morgan Zedalis, Jim Gosz, Andrew Kliskey, Lilian Alessa
2016 Journal of Environmental Management  
Practitioners, scholars, and policy-makers alike call for increased integration of natural and social sciences to develop new approaches that address the range of ecological and societal impacts of modern  ...  Results presented are useful for management professionals that seek to employ an SES environmental management approach and scholars aiming to advance the theoretical foundations of SES science for practical  ...  Funding support was also made available through National Science Foundation grant BCS-1114851. We thank Mary Rowland from the U.S.  ... 
doi:10.1016/j.jenvman.2016.02.028 pmid:27131638 fatcat:xpfzvpih2zbhzje2smlgxpsoiu

Knowledge through partnerships: integrating marine protected area monitoring and ocean observing systems

Mark H Carr, Clifton B Woodson, Olivia M Cheriton, Daniel Malone, Margaret A McManus, Peter T Raimondi
2011 Frontiers in Ecology and the Environment  
Acknowledgements This is contribution number 361 from PISCO (Partnership for Interdisciplinary Studies of Coastal Oceans), funded primarily by the Gordon and Betty Moore Foundation and the David and Lucile  ...  Packard Foundation.  ...  Through establishment of integrated OOS-MPA monitoring programs, with a particular consideration of spatial variability, the effects of temporal variability over the life of an MPA monitoring program can  ... 
doi:10.1890/090096 fatcat:2wxp7h6n5fh73elzuj2fj7ltam

Remote sensing monitoring of ecological environment based on Landsat data

Ying Lu, Chao Chen, Hailing Gu, Yanli Chu
2019 IOP Conference Series: Earth and Environment  
The regional environmental changes in vegetation, water and other key ecological factors were analyzed using multi-temporal remote sensing data.  ...  This study shows the effectiveness of this method for the extraction of key ecoenvironmental factors such as vegetation and water body and the evaluation of regional ecoenvironmental quality.  ...  Acknowledgements This work was supported by the National Natural Science Foundation of China (41701447), the Project supported by the Open Foundation from Fishery Sciences in the First-Class Subjects of  ... 
doi:10.1088/1755-1315/310/5/052061 fatcat:w46egrey4bdczlxr2rznsfhrke

Interval Prediction of Building Foundation Settlement Using Kernel Extreme Learning Machine

Jiahao Deng, Ting Zeng, Shuang Yuan, Honghui Fan, Wei Xiang
2022 Frontiers in Earth Science  
In the temporal domain, building foundation settlement is often dynamic and requires real-time monitoring.  ...  Accurate quantification of the uncertainty of foundation settlement in the near future is essential to advanced risk management for buildings.  ...  (formerly The Second Design Institute of the Ministry of Chemical Industry).  ... 
doi:10.3389/feart.2022.939772 fatcat:wef4cqpgifhzblwodw5hozeolm

SPATIOTEMPORAL DATA ORGANIZATION AND APPLICATION RESEARCH

C. Tan, S. Yan
2017 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
Organization and management of spatiotemporal data is a key support technology for intelligence in all fields of the smart city.  ...  The construction of a smart city cannot be realized without spatiotemporal data.  ...  This orientation lays a conceptual foundation for data integration, management, service and application of city operation systems, that provide basic support for building a widely interconnected,deep application  ... 
doi:10.5194/isprs-archives-xlii-2-w7-1363-2017 fatcat:tdtcpgbfr5an3b6aixss6yk7fy

Satellite Remote Sensing and the Marine Biodiversity Observation Network: Current Science and Future Steps

Maria Kavanaugh, Oregon State University, Tom Bell, Dylan Catlett, Megan Cimino, Scott Doney, Willem Klajbor, Monique Messié, Enrique Montes, Frank Muller Karger, Daniel Otis, Jarrod Santora (+3 others)
2021 Oceanography  
Remote-sensing observations provide rapid and synoptic data for assessing biophysical interactions at multiple spatial and temporal scales and thus are useful for monitoring biodiversity in critical coastal  ...  MBON observations help quantify plankton functional types, foundation species, and unique species habitat relationships, as well as inform species distribution models.  ...  Planned to launch in 2026-2027, GLIMR will provide 10-15 observations per day to better monitor the temporal dynamics of oil spills and plankton blooms.  ... 
doi:10.5670/oceanog.2021.215 fatcat:q42u6rlur5gqrfzkpzkv7uujvu
« Previous Showing results 1 — 15 out of 178,514 results