Application of non-linear programming to water resourse development of Berdan basin.

Dağlı, Cihan Hayreddin


Application of design for verification with concurrency controllers to air traffic control software
Betin Can, Aysu; Lindvall, Mikael; Lux, Benjamin; Topp, Stefan (2005-11-11)
We present an experimental study which demonstrates that model checking techniques can be effective in finding synchronization errors in safety critical software when they are combined with a design for verification approach. We apply the concurrency controller design pattern to the implementation of the synchronization operations in Java programs. This pattern enables a modular verification strategy by decoupling the behaviors of the concurrency controllers from the behaviors of the threads that use them u...
Application of subspace clustering to scalable malware clustering
Işıktaş, Fatih; Betin Can, Aysu; Department of Information Systems (2019)
In recent years, massive proliferation of malware variants has made it necessary to employ sophisticated clustering techniques in malware analysis. Choosing an appropriate clustering approach is very important especially for rapidly and accurately mining clustering information from a large malware set with high number of attributes. In this study, we propose a clustering method that is based on subspace clustering and graph matching techniques and presents an enhanced clustering ability and scalable runtime...
Application of simulation technique to water resourse development of Berdan Basin.
Ergin, Cengiz; Department of Industrial Engineering (1973)
Tekin, Yaşar; Karagöz, Pınar; Department of Science and Technology Policy Studies (2022-1-17)
Topic modeling is a widely used technique to extract latent topics from large document collections. One of the most remarkable uses of it is its application to scientific fields. If topic modeling is applied to all articles published in a specific scientific field, it provides an overall view of topics and trends for the time period under consideration. If it is applied to a single conference or journal, it reveals differences from global trends. The most popular method used for topic modeling is Latent Dir...
Application of the Auto Tuned Land Assimilation System ATLAS to ASCAT and SMOS soil moisture retrieval products
Crow, Wade; Yılmaz, Mustafa Tuğrul (2013-07-21)
Citation Formats
C. H. Dağlı, “Application of non-linear programming to water resourse development of Berdan basin.,” Middle East Technical University, 1972.