Search results for "Dams"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Mingjun Tian, Jing Zhou	Inversing Mechanical Parameters of Concrete Gravity Dams Using Ant Colony Optimization.	ANTS Workshop	2004	DBLP DOI BibTeX RDF
47	Tamara Denning, Alan Borning, Batya Friedman, Brian T. Gill, Tadayoshi Kohno, William H. Maisel	Patients, pacemakers, and implantable defibrillators: human values and security for wireless implantable medical devices.	CHI	2010	DBLP DOI BibTeX RDF	defibrillators, embodied technologies, medical device security, value dams and flows, security, safety, implantable medical devices
47	Jessica K. Miller, Batya Friedman, Gavin Jancke	Value tensions in design: the value sensitive design, development, and appropriation of a corporation's groupware system.	GROUP	2007	DBLP DOI BibTeX RDF	emergent issues, value dams and flows, privacy, groupware, awareness, reputation, design method, value sensitive design, organizational culture, human values
40	Hao Du, ShiChun Chi, Feng Wang	Using an Improved Particle Swarm Optimization for Back Analysis of Geotechnical Parameters of Concrete Face Rock-fill Dams.	HIS	2006	DBLP DOI BibTeX RDF
40	José C. Cunha, Vítor Duarte	Monitoring PVM Programs Using the DAMS Approach.	PVM/MPI	1998	DBLP DOI BibTeX RDF
37	Tao Yang, Xi Chen	A Visual Mining on RVA Results of Hydrologic Alternations along the East River, South China (1952-2002).	FSKD (4)	2008	DBLP DOI BibTeX RDF
30	Barrie Dams, Binling Chen, Yusuf Furkan Kaya, Lachlan Orr, Basaran Bahadir Kocer, Paul Shepherd, Mirko Kovac, Richard J. Ball	Fresh Properties and Autonomous Deposition of Pseudoplastic Cementitious Mortars for Aerial Additive Manufacturing.	IEEE Access	2024	DBLP DOI BibTeX RDF
30	Maria Mahbub, Gregory M. Dams, Sudarshan Srinivasan, Caitlin Rizy, Ioana Danciu, Jodie Trafton, Kathryn Knight	Leveraging Large Language Models to Extract Information on Substance Use Disorder Severity from Clinical Notes: A Zero-shot Learning Approach.	CoRR	2024	DBLP DOI BibTeX RDF
30	Nayoung Kim, Keith Jamison, Abhishek Jaywant, Jacob Garetti, Emily Blunt, Arindam Roychoudhury, Tracy Butler, Kristen Dams-O'Connor, Shahenda Khedr, Chun-Cheng Chen, Teena Shetty, Robert J. Winchell, N. Jeremy Hill, Nicholas D. Schiff, Amy Kuceyeski, Sudhin A. Shah	Comparisons of electrophysiological markers of impaired executive attention after traumatic brain injury and in healthy aging.	NeuroImage	2023	DBLP DOI BibTeX RDF
30	David Martens, Camille Dams, James Hinns, Mark Vergouwen	Tell Me a Story! Narrative-Driven XAI with Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
30	Eamonn Kennedy, Shashank Vadlamani, Hannah M. Lindsey, Kelly S. Peterson, Kristen Dams OConnor, Kenton Murray, Ronak Agarwal, Houshang H. Amiri, Raeda K. Andersen, Talin Babikian, David A Baron, Erin D. Bigler, Karen Caeyenberghs, Lisa Delano-Wood, Seth G. Disner, Ekaterina Dobryakova, Blessen C. Eapen, Rachel M. Edelstein, Carrie Esopenko, Helen M. Genova, Elbert Geuze, Naomi J. Goodrich-Hunsaker, Jordan Grafman, Asta K. Håberg, Cooper B. Hodges, Kristen R. Hoskinson, Elizabeth S. Hovenden, Andrei Irimia, Neda Jahanshad, Ruchira M. Jha, Finian Keleher, Kimbra Kenney, Inga Koerte, Spencer W. Liebel, Abigail Livny, Marianne Lovstad, Sarah L. Martindale, Jeffrey E. Max, Andrew R. Mayer, Timothy B. Meier, Deleene S. Menefee, Abdalla Z. Mohamed, Stefania Mondello, Martin M. Monti, Rajendra A. Morey, Virginia Newcombe, et al.	Linking Symptom Inventories using Semantic Textual Similarity.	CoRR	2023	DBLP DOI BibTeX RDF
30	Ketao Zhang, Pisak Chermprayong, Feng Xiao 0004, Dimos Tzoumanikas, Barrie Dams, Sebastian Kay, Basaran Bahadir Kocer, Alec Burns, Lachlan Orr, Christopher L. Choi, Durgesh Dattatray Darekar, Wenbin Li 0002, Steven Hirschmann, Valentina Soana, Shamsiah Awang Ngah, Sina Sareh, Ashutosh Choubey, Laura Margheri, Vijay M. Pawar, Richard J. Ball, Chris Williams, Paul Shepherd, Stefan Leutenegger, Robert Stuart-Smith, Mirko Kovac	Aerial additive manufacturing with multiple autonomous robots.	Nat.	2022	DBLP DOI BibTeX RDF
30	Dennis Dams, Klaus Havelund, Sean Kauffman	Runtime Verification as Documentation.	ISoLA (2)	2022	DBLP DOI BibTeX RDF
30	Dennis Dams, Klaus Havelund, Sean Kauffman	A Python Library for Trace Analysis.	RV	2022	DBLP DOI BibTeX RDF
30	Ashiru Simon, Gabriel Lazarus Dams, Salome Danjuma	A conceptual process model to improve voter participation in Nigeria election.	Int. J. Simul. Process. Model.	2021	DBLP DOI BibTeX RDF
30	Dennis Dams, Jeroen Ketema, Pepijn Kramer, Arjan J. Mooij, Andrei Radulescu	Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases.	BENEVOL	2021	DBLP BibTeX RDF
30	Jan Brusselaers, Ellen Bracquené, Jef Peeters, Yoko Dams	Economic consequences of consumer repair strategies for electrical household devices.	J. Enterp. Inf. Manag.	2020	DBLP DOI BibTeX RDF
30	Niklas Rentz, Christian Dams, Reinhard von Hanxleden	Interactive Visualization for OSGi-based Projects.	VISSOFT	2020	DBLP DOI BibTeX RDF
30	Jie Fu, Xinran Zhong, Ning Li, Ritchell Van Dams, John Lewis, Kyung Hyun Sung, Ann C. Raldow, Jing Jin, X. Sharon Qi	Deep Learning-based Radiomic Features for Improving Neoadjuvant Chemoradiation Response Prediction in Locally Advanced Rectal Cancer.	CoRR	2019	DBLP BibTeX RDF
30	Dominic Dams, Jeff Lataille, Rino Sanchez, John Wade	WIDESEAS: A lattice-based PIR scheme implemented in EncryptedQuery.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
30	Nazhir Amaya-Tejera, Farid Meléndez-Pertuz, Rubén Sánchez-Dams, José Simancas-García, Iván Ruiz, Hermes Castellanos, Fredy A. Sanz, César A. Cárdenas R, Carlos Andrés Collazos Morales	Evaluation of the Performance of Message Routing Protocols in Delay Tolerant Networks (DTN) in Colombian Scenario.	ICAI	2019	DBLP DOI BibTeX RDF
30	Dennis Dams, Orna Grumberg	Abstraction and Abstraction Refinement.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
30	Dennis Dams, Arjan J. Mooij, Pepijn Kramer, Andrei Radulescu, Jaromir Vanhara	Model-based software restructuring: Lessons from cleaning up COM interfaces in industrial legacy code.	SANER	2018	DBLP DOI BibTeX RDF
30	Gabriela Robiolo, Ricardo Pasquini, Javier Isoldi, Kevin Stessens, Martin Salaberri, Carolina Dams, Virginia Sarria	Tanchella: Una Herramienta para la Recolección de Datos de la Web.	CIbSE	2017	DBLP BibTeX RDF
30	Johannes Dams, Martin Hoefer 0001, Thomas Kesselheim	Jamming-Resistant Learning in Wireless Networks.	IEEE/ACM Trans. Netw.	2016	DBLP DOI BibTeX RDF
30	María Clara Gómez-Alvarez, Rubén Sánchez-Dams, Alexander Baron-Salazar	Trouble hunters: A game for introductory subjects to computer engineering.	CLEI	2016	DBLP DOI BibTeX RDF
30	Marco Sorani, John K. Yue, Sourabh Sharma, Geoffrey T. Manley, Adam R. Ferguson, Shelly R. Cooper, Kristen Dams-O'Connor, Wayne A. Gordon, Hester F. Lingsma, Andrew I. R. Maas, David K. Menon, Diane Morabito, Pratik Mukherjee, David O. Okonkwo, Ava M. Puccio, Alex B. Valadka, Esther L. Yuh	Genetic Data Sharing and Privacy.	Neuroinformatics	2015	DBLP DOI BibTeX RDF
30	Johannes Dams, Martin Hoefer 0001, Thomas Kesselheim	Scheduling in Wireless Networks with Rayleigh-Fading Interference.	IEEE Trans. Mob. Comput.	2015	DBLP DOI BibTeX RDF
30	Johannes Dams, Martin Hoefer 0001, Thomas Kesselheim	Jamming-Resistant Learning in Wireless Networks.	ICALP (2)	2014	DBLP DOI BibTeX RDF
30	Johannes Dams	No-regret learning in wireless networks.		2014	RDF
30	Johannes Dams, Martin Hoefer 0001, Thomas Kesselheim	Jamming-Resistant Learning in Wireless Networks.	CoRR	2013	DBLP BibTeX RDF
30	Johannes Dams, Martin Hoefer 0001, Thomas Kesselheim	Sleeping Experts in Wireless Networks.	DISC	2013	DBLP DOI BibTeX RDF
30	Johannes Dams, Martin Hoefer 0001, Thomas Kesselheim	Convergence Time of Power-Control Dynamics.	IEEE J. Sel. Areas Commun.	2012	DBLP DOI BibTeX RDF
30	Eva M. Ampe, Iris Vanhamel, Elga Salvadore, Jef Dams, Imtiaz Bashir, Luca Demarchi, Jonathan Cheung-Wai Chan, Hichem Sahli, Frank Canters, Okke Batelaan	Impact of Urban Land-Cover Classification on Groundwater Recharge Uncertainty.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2012	DBLP DOI BibTeX RDF
30	Zhe Lou, Jan Bouwen, Koen Willaert, Sigurd Van Broeck, Marc Van den Broeck, Senka Zubic, Wolfgang van Raemdonck, Hans Van Herreweghe, Dennis Dams	PresenceScape: Virtual World Mediated Rich Communication.	Bell Labs Tech. J.	2012	DBLP DOI BibTeX RDF
30	Johannes Dams, Martin Hoefer 0001, Thomas Kesselheim	Scheduling in wireless networks with rayleigh-fading interference.	SPAA	2012	DBLP DOI BibTeX RDF
30	Ana Cavalcanti 0001, Dennis Dams, Marie-Claude Gaudel	Editorial.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
30	Johannes Dams, Martin Hoefer 0001, Thomas Kesselheim	Convergence Time of Power-Control Dynamics.	ICALP (2)	2011	DBLP DOI BibTeX RDF
30	Ana Cavalcanti 0001, Dennis Dams	Special issue: 2nd World Congress on Formal Methods.	Formal Methods Syst. Des.	2010	DBLP DOI BibTeX RDF
30	Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)	Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
30	Dennis Dams, Ulrich Hannemann, Martin Steffen	A Bibliography of Willem-Paul de Roever.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
30	Dieter Bardyn, Philippe Belet, Tim Dams, Ann Dooms, Peter Schelkens	Feature point based image watermarking with insertions, deletions, and substitution codes.	Media Forensics and Security	2010	DBLP DOI BibTeX RDF
30	Robert M. Arlein, Dennis Dams, Richard B. Hull, John P. Letourneau, Kedar S. Namjoshi	Telco meets the Web: Programming shared-experience services.	Bell Labs Tech. J.	2009	DBLP DOI BibTeX RDF
30	L. Verstrepen, T. Meesters, Tim Dams, Ann Dooms, Dieter Bardyn	Circular Spatial improved watermark embedding using a new Global SIFT synchronization scheme.	DPS	2009	DBLP DOI BibTeX RDF
30	Philippe Belet, Tim Dams, Dieter Bardyn, Ann Dooms	Comparison of perceptual shaping techniques for digital image watermarking.	DPS	2009	DBLP DOI BibTeX RDF
30	Ana Cavalcanti 0001, Dennis Dams (eds.)	FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings	FM	2009	DBLP DOI BibTeX RDF
30	Dieter Bardyn, Ann Dooms, Tim Dams, Peter Schelkens	Comparative Study of Wavelet Based Lattice QIM Techniques and Robustness against AWGN and JPEG Attacks.	IWDW	2009	DBLP DOI BibTeX RDF	Quantization Index Modulation, Digital Watermarking, Lattice
30	Robin D'Haenens, Jeroen Doggen, Dirk Bakker, Tim Dams	Transmitting Scalable Video with Unequal Error Protection over 802.11b/g.	WiMob	2008	DBLP DOI BibTeX RDF
30	Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett	Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.	SAS	2008	DBLP DOI BibTeX RDF
30	Dennis Dams	StackSnuffer: Curing Orion's Unsoundness.	SPIN	2007	DBLP DOI BibTeX RDF
30	Philip Van Pelt, Patrick Pelgrims, Tom Tierens, Wim Dams, Bjorn Van de Vondel, J. De Nayerlaan	Multifunctional Digital Embedded Platform.	MSE	2007	DBLP DOI BibTeX RDF
30	Wim Dams, Marc Roggemans, Patrick Pelgrims, Tom Tierens, Danny Pauwels	Open Hardware Platform Helps Students Getting Started in Analog and Digital Design.	MSE	2007	DBLP DOI BibTeX RDF
30	Tom Tierens, Patrick Pelgrims, Wim Dams, Philip Van Pelt	Interdisciplinary Embedded System Design in Education.	MSE	2007	DBLP DOI BibTeX RDF
30	Frank Canters, Rudi Goossens, Dennis Devriendt, Frederik Tack, Okke Batelaan, Jef Dams, Guy Engelen, Yves Cornet, Marc Binard, Carlo Lavalle, José Barredo	Measuring and modeling urban dynamics: impact on quality of life and hydrology.	IGARSS	2007	DBLP DOI BibTeX RDF
30	Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards	Incremental Algorithms for Inter-procedural Analysis of Safety Properties.	CAV	2005	DBLP DOI BibTeX RDF
30	Dennis Dams, Kedar S. Namjoshi	Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs.	FMCO	2005	DBLP DOI BibTeX RDF
30	Dennis Dams, Kedar S. Namjoshi	Automata as Abstractions.	VMCAI	2005	DBLP DOI BibTeX RDF
30	Dennis Dams, Kedar S. Namjoshi	The Existence of Finite Abstractions for Branching Time Model Checking.	LICS	2004	DBLP DOI BibTeX RDF
30	Dennis Dams	Comparing Abstraction Refinement Algorithms.	SoftMC@CAV	2003	DBLP DOI BibTeX RDF
30	Dennis Dams, Kedar S. Namjoshi	Shape Analysis through Predicate Abstraction and Model Checking.	VMCAI	2003	DBLP DOI BibTeX RDF
30	Dennis Dams, Yassine Lakhnech, Martin Steffen	Iterating transducers.	J. Log. Algebraic Methods Program.	2002	DBLP DOI BibTeX RDF
30	Dragan Bosnacki, Dennis Dams, Leszek Holenderski	Symmetric Spin.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Model checking, Spin, Symmetry reduction
30	Dennis Dams, William Hesse, Gerard J. Holzmann	Abstracting C with abC.	CAV	2002	DBLP DOI BibTeX RDF
30	Dennis Dams	Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography).	SPIN	2002	DBLP DOI BibTeX RDF
30	Dennis Dams, Yassine Lakhnech, Martin Steffen	Iterating Transducers.	CAV	2001	DBLP DOI BibTeX RDF
30	Dragan Bosnacki, Dennis Dams, Leszek Holenderski	A Heuristic for Symmetry Reductions with Scalarsets.	FME	2001	DBLP DOI BibTeX RDF
30	Dragan Bosnacki, Dennis Dams, Leszek Holenderski	Symmetric Spin.	SPIN	2000	DBLP DOI BibTeX RDF
30	Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova	Model Checking SDL with Spin.	TACAS	2000	DBLP DOI BibTeX RDF
30	Marc Geilen, Dennis Dams	An On-the-Fly Tableau Construction for a Real-Time Temporal Logic.	FTRTFT	2000	DBLP DOI BibTeX RDF
30	Dennis Dams	Flat Fragments of CTL and CTL*: Separating the Expressive and Distinguishing Powers.	Log. J. IGPL	1999	DBLP DOI BibTeX RDF
30	Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.)	Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings	SPIN	1999	DBLP DOI BibTeX RDF
30	Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper 0001	Partial-order Reduction Techniques for Real-time Model Checking.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Model checking, Verification, Real time, Covering, Partial-order reduction
30	Dragan Bosnacki, Dennis Dams	Discrete-Time Promela and Spin.	FTRTFT	1998	DBLP DOI BibTeX RDF
30	Dragan Bosnacki, Dennis Dams	Integrating Real Time into Spin: A Prototype Implementation.	FORTE	1998	DBLP BibTeX RDF
30	Dennis Dams, Rob Gerth	The bounded retransmission protocol revisited.	INFINITY	1997	DBLP DOI BibTeX RDF
30	Dennis Dams, Rob Gerth, Orna Grumberg	Abstract Interpretation of Reactive Systems.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	model checking, formal methods, abstract interpretation, reactive systems, mu-calculus
30	Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori	Verification, Model Checking and Abstract Interpretation (Workshop Overview).	ILPS	1997	DBLP BibTeX RDF
30	Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe	On the Design of a Correct Freeness Analysis for Logic Programs.	J. Log. Program.	1996	DBLP DOI BibTeX RDF
30	Michael Codish, Dennis Dams, Eyal Yardeni	Bottom-up Abstract Interpretation of Logic Programs.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
30	Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann	Model Checking Using Adaptive State and Data Abstraction.	CAV	1994	DBLP DOI BibTeX RDF	ACTL, state partitioning, model checking, abstract interpretation, binary decision diagrams (BDDs)
30	Elpida T. Keravnou, John Washbrook, F. Dams	Towards competent information acquisition interactions between an expert system and its user.	Knowl. Based Syst.	1993	DBLP DOI BibTeX RDF
30	Dennis Dams, Orna Grumberg, Rob Gerth	Generation of Reduced Models for Checking Fragments of CTL.	CAV	1993	DBLP DOI BibTeX RDF
30	Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe	Freeness Analysis for Logic Programs - And Correctness?	ICLP	1993	DBLP BibTeX RDF
30	Elpida T. Keravnou, F. Dams, John Washbrook, R. M. Dawood, Christine M. Hall, D. Shaw	Background knowledge in diagnosis.	Artif. Intell. Medicine	1992	DBLP DOI BibTeX RDF
30	Michael Codish, Dennis Dams, Eyal Yardeni	Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis.	ICLP	1991	DBLP BibTeX RDF
28	Alexei Czeskis, Ivayla Dermendjieva, Hussein Yapit, Alan Borning, Batya Friedman, Brian T. Gill, Tadayoshi Kohno	Parenting from the pocket: value tensions and technical directions for secure and private parent-teen mobile safety.	SOUPS	2010	DBLP DOI BibTeX RDF	direct and indirect stakeholders, parenting technologies, value dams and flows, value tensions, security, privacy, mobile phones, safety, value sensitive design, maturation, teenagers
28	Muhammet Emin Emiroglu, Ahmet Tuna, Abdussamet Arslan	Development of an Expert System for Selection of Dam Type on Alluvium Foundations.	Eng. Comput.	2002	DBLP DOI BibTeX RDF	Alluvium foundation, Dams, ESTA, Type selection, Knowledge based system, Expert systems
28	Jian-Qiang Hu, Michael A. Zazanis	A sample path analysis of M/GI/1 queues with workload restrictions.	Queueing Syst. Theory Appl.	1993	DBLP DOI BibTeX RDF	Workload restrictions, finite dams, balking
21	Zefa Li, Chuan Yin, Rengui Chen, Zhenyu Wu, Jiankang Chen, Xiang Lu	A novel deformation monitoring model for high arch dams using impulse response-based equivalent temperature and machine learning-aided separate modeling.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
21	Mingkai Liu, Zhiping Wen 0001, Huaizhi Su 0001	Deformation prediction based on denoising techniques and ensemble learning algorithms for concrete dams.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
21	Nour Chahrour, Christophe Bérenguer, Jean-Marc Tacnet	Incorporating cascading effects analysis in the maintenance policy assessment of torrent check dams against torrential floods.	Reliab. Eng. Syst. Saf.	2024	DBLP DOI BibTeX RDF
21	Wenhan Cao, Zhiping Wen 0001, Huaizhi Su 0001	Spatiotemporal clustering analysis and zonal prediction model for deformation behavior of super-high arch dams.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
21	Jianwen Pan, Wenju Liu, Changwei Liu, Jinting Wang	Convolutional neural network-based spatiotemporal prediction for deformation behavior of arch dams.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
21	Hui Liu, Mengyuan Zhu, Wu Zhu, Wenfei Zhao, Zechao Bai, Bochen Zhou, Geshuang Li, Yuanxi Wang	Soil and Rockfill Dams Safety Assessment for Henan Province: Monitoring, Analysis and Prediction.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
21	Zhiguo Pang, Qingguang Jin, Peng Fan, Wei Jiang, Juan Lv, Pengjie Zhang, Xiangrui Cui, Chun Zhao, Zhengjia Zhang	Deformation Monitoring and Analysis of Reservoir Dams Based on SBAS-InSAR Technology - Banqiao Reservoir.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
21	Kai Wan Yuen, Edward Park, Melda Hazrina, Muh Taufik, Putu Santikayasa, Edgardo Latrubesse, Janice Ser Huay Lee	A Comprehensive Database of Indonesian Dams and Its Spatial Distribution.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
21	Joonoh Kang, Daljoo Kim, Chulhee Lee, Jaemo Kang, Donggyou Kim	Efficiency Study of Combined UAS Photogrammetry and Terrestrial LiDAR in 3D Modeling for Maintenance and Management of Fill Dams.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
21	Guoshi Liu, Jun Hu 0005, Leilei Liu, Qian Sun 0001, Wenqing Wu	Investigating Deformation Mechanism of Earth-Rock Dams with InSaR and Numerical Simulation: Application to Liuduzhai Reservoir Dam, China.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
21	Haimeng Zhao, Xiaojian Yin, Anran Li, Huimin Zhang, Danqing Pan, Jinjin Pan, Jianfang Zhu, Mingchun Wang, Shanlin Sun, Qiang Wang 0017	Intelligent Segmentation and Change Detection of Dams Based on UAV Remote Sensing Images.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
21	Omweno Ondari, Joseph L. Awange, Yongze Song, Allan Kasedde	Understanding the Spatial-Temporal Patterns of Floating Islands Impacting the Major Dams of the White Nile.	Remote. Sens.	2023	DBLP DOI BibTeX RDF