Relevant bibliographies by topics / Agdam

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Agdam'

Author: Grafiati
Published: 5 June 2025
Last updated: 2 August 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Agdam.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Agdam"

1

POLADOVA, V. N., and V. M. SAFAROVA. "EVALUATION OF BIOMASS POTENTIAL OF AGDAM DISTRICT." Power Engineering Problems, no. 1 (2024): 61–65. https://doi.org/10.70784/azip.5.2024161.

Full text
Abstract:
To implement projects related to biomass, climatic, environmental, transport, infrastructure and other technical factors of the Agdam region were analyzed, the amount of agricultural waste in the post-Soviet period, and the biomass potential of the region were determined. was appreciated. Agdam region has favorable resources.
APA, Harvard, Vancouver, ISO, and other styles
2

Emil, Ağayev. "TRIPTYCH "DEDICATION TO AGDAM" IN THE WORKS OF ARIF HUSEYNOV (IN THE CONTEXT OF ICONOGRAPHIC ANALYSIS)." Problems of Arts and Culture 17, no. 1 (2023): 32–38. https://doi.org/10.5281/zenodo.7856837.

Full text
Abstract:
Azerbaijani art reflects the processes occurring at all stages of history. On September 27, 2020, the Azerbaijani army fought to protect its territorial integrity as a result of Armenia’s violation of the ceasefire again. The Azerbaijani army, who showed heroism for 44 days, won victory by raising our tricolor flag in our cultural capital Shusha on November 8. Agdam, which was occupied by the Armenian army on July 23, 1993, was returned without a war according to the agreement signed between Azerbaijan, Russia and Armenia on November 20, 2020. The theme of Victory is a leitmotif in the w
APA, Harvard, Vancouver, ISO, and other styles
3

Osmanova, S. "Current State of Wheat Production in the Karabakh Plain." Bulletin of Science and Practice 6, no. 5 (2020): 211–16. http://dx.doi.org/10.33619/2414-2948/54/25.

Full text
Abstract:
In the administrative districts of the Karabakh plain (Aghjabadi, Barda, Agdam and Tartar), during a short observation period (2013–2018), the dynamics of wheat fields (ha), yield (tons) and productivity (centner/ha), as well as factors were analyzed affecting her. It was found that over a short historical period, despite a decrease in sown areas at the research facility, there was a tendency to increase the total yield of wheat.
APA, Harvard, Vancouver, ISO, and other styles
4

Guluyeva, Aynur. "The problem of water supply of population and farms in Aghdam and Fuzuli regions." Dunakavics 13, no. 5 (2025): 17–25. https://doi.org/10.63684/dk.2025.05.02.

Full text
Abstract:
In modern times, the provision of water resources is one of the main factors affecting the sustainable settlement of the population and its employment. In the context of global warming and climate changes, efficient use of limited water resources is very important. Providing water to the population is considered one of the important factors of improving the quality of life. This issue is of special importance for the liberated territories of Azerbaijan. In the long-term perspective, the level of provision of water resources in rural areas plays an exceptional role in ensuring the sustainabilit
APA, Harvard, Vancouver, ISO, and other styles
5

Hasanova, Lala. "Intermediality of modern art-documentary prose: “literature and music”." Scientific Bulletin 4 (2019): 113–19. http://dx.doi.org/10.54414/gzhh2184.

Full text
Abstract:
This article is devoted to the problems of intermediality in artistic and documentary works. This problem was studied on the basis of the analysis of the works of Anar “Without you”, “Like Kerem” (a novel-reflection on the work of Nazim Hikmet), Ali Amirli “What did I leave in Agdam?”. It is noted that the authors turn to music in different cases, sometimes to recreate the atmosphere of the era, but mainly to recreate the complex psychological state of the characters.
APA, Harvard, Vancouver, ISO, and other styles
6

Hasanova, Lala Tofig. "Intermediality of modern art-documentary prose: "Literature and Music”." Scientific Bulletin 2 (2021): 79–85. http://dx.doi.org/10.54414/ikjq8371.

Full text
Abstract:
The article is devoted to the problems of intermediality in artistic and documentary works. This problem was studied on the basis of the analysis of the works of Anar “Without you”, “Like Kerem” (a novel-reflection on the work of Nazim Hikmet), Ali Amirli “What did I leave in Agdam?”. It is noted that the authors turn to music in different cases, sometimes to recreate the atmosphere of the era, but mainly to recreate the complex psychological state of the characters.
APA, Harvard, Vancouver, ISO, and other styles
7

Maharramli, Z. S., T. I. Suleymanov, A. A. Gasimova, and Sh A. Ahmadov. "Post-war Restoration of the AzPOS Network in Karabakh." Herald of Azerbaijan Engineering Academy 16, no. 2 (2024): 82–86. https://doi.org/10.52171/2076-0515_2024_16_02_82_86.

Full text
Abstract:
The main purpose of the article is to describe the restoration of geoinformation works carried out onthe territory of Karabakh. NAVSTAR satellite systems were used in the restoration work. The value of thebase stations established in the liberated areas is very high. N the liberated territories of the Republic ofAzerbaijan, 8 permanent reference stations were installed (Fuzuli, Jebrail, Zangilan, Kelbajar1, Kelbajar2,Agdam, Shusha, Lachin). The locations of these reference stations are determined to cover each otherwithin a radius of 30 km. The assigned locations of each station were then chec
APA, Harvard, Vancouver, ISO, and other styles
8

Gasimova, G.A., and İ.A. Aliyev. "DISTRIBUTION PATTERNS OF FUNGI IN MOUNTAIN AND FOOTHILL SOILS AND CHARACTERISTICS OF MYCOBIOTA FORMATION." Annali d'Italia 51 (January 26, 2024): 3–5. https://doi.org/10.5281/zenodo.10573766.

Full text
Abstract:
The presented work is dedicated to the study of structural organization, species diversity and distribution patterns of mycobiota formed in different soil types with different physico-chemical properties of Agdam and Barda regions located in the Karabakh zone of Azerbaijan. It was found that 23 types of fungi belonging to 14 genera are spread in the lands of Karabakh. It has been established that mold fungi are dominant in mountain-black soils and their number varies between 15 ∙ 102 − 20 ∙ 103 grams. However, the low amount of organic matter in the yellow mounta
APA, Harvard, Vancouver, ISO, and other styles
9

Fischer, Margit Bistrup, Marie Lindhardt Ljubicic, Casper P. Hagen, et al. "Anogenital Distance in Healthy Infants: Method-, Age- and Sex-related Reference Ranges." Journal of Clinical Endocrinology & Metabolism 105, no. 9 (2020): 2996–3004. http://dx.doi.org/10.1210/clinem/dgaa393.

Full text
Abstract:
Abstract Context The use of anogenital distance (AGD) in clinical and epidemiological settings is increasing; however, sex-specific reference data on AGD and data on longitudinal changes in AGD in children is scarce. Objective To create age-, sex-, and method-related reference ranges of AGD in healthy boys and girls aged 0–24 months, to assess the age-related changes in AGD and to evaluate the 2 predominantly used methods of AGD measurement. Design The International AGD consortium comprising 4 centers compiled data from 1 cross-sectional and 3 longitudinal cohort studies (clinicaltrials.gov [N
APA, Harvard, Vancouver, ISO, and other styles
10

Ismayilli, A. F. "MICROTOPONYMS ARISING FROM ANTHROPONYMS (ON THE EXAMPLE OF THE AGDAM DISTRICT OF THE REPUBLIC OF AZERBAIJAN)." "Scientific notes of V. I. Vernadsky Taurida National University", Series: "Philology. Journalism" 2, no. 6 (2021): 17–21. http://dx.doi.org/10.32838/2710-4656/2021.6-2/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Agdam"

1

Sanamyan, Emil. "The Logic of Occupation in the Nagorno-Karabakh War: The Cases of Agdam and Shaumyan." Thesis, Virginia Tech, 2016. http://hdl.handle.net/10919/71717.

Full text
Abstract:
Why do warring parties sometimes end up occupying territories they do not claim while not occupying territory they do? How do they explain this and how can we, from this explanation, understand the logic of occupation at work in these cases? This is the puzzle and the research questions at the center of this thesis. Using a case study of the Karabakh War (1991-94) it seeks to understand the rationale behind the Armenian occupation of previously undisputed Azerbaijani-populated territories around the contested entity of Nagorno Karabakh (NK). To achieve this objective the thesis considers one o
APA, Harvard, Vancouver, ISO, and other styles
2

Sedak, Eva. "Zur Rezeption der Wiener Schule in Agram/Zagreb und Kroatien." Internationale Arbeitsgemeinschaft für die Musikgeschichte in Mittel- und Osteuropa an der Universität Leipzig, 2017. https://ul.qucosa.de/id/qucosa%3A32355.

Full text
Abstract:
Im folgenden Beitrag soll das Thema in zwei zeitlichen Abschnitten betrachtet werden. In einem, der ungefähr mit den Jahren 1910 und 1924 zu umrahmen wäre, und in einem zweiten, der ca. von 1951 bis 1965 reicht. Es handelt sich um zwei charakteristische Etappen der kroatischen Musikgeschichte, in denen sich die jeweils aktuellen Modernisierungstendenzen konzentrierter als sonst einstellten und auf jeweils verschiedene Weise die weitere Entwicklung bestimmten. In beiden Fällen ging es um Emanzipationsprozesse. Bei der ersten Etappe um die Emanzipation von den ‚romantischen‘ nationalen Ideologie
APA, Harvard, Vancouver, ISO, and other styles
3

Chuang, Chi Ming. "Extraction of programs for exact number computation using Agda." Thesis, Swansea University, 2011. https://cronfa.swan.ac.uk/Record/cronfa42274.

Full text
Abstract:
This thesis contains the to our knowledge first research project to ex-tract in the theorem prover Agda programs from proofs involving pos-tulated axioms. Our method doesn't require to write a Meta program for extracting programs from proofs. It shows as well the correctness of the machinery. This method has been applied to the extraction of programs about real number computation. The method has been used for showing that the signed digit approximable real numbers are closed under addition, multiplication, and contain the rational numbers. Therefore we obtain in Agda a provably correct program
APA, Harvard, Vancouver, ISO, and other styles
4

Kanso, Karim. "Agda as a platform for the development of verified railway interlocking systems." Thesis, Swansea University, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.678306.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Yadranji, Aghdam Saeed [Verfasser]. "Role of IGF-1R-IR signaling in epidermal and vascular barrier function / Saeed Yadranji Aghdam." Köln : Universitäts- und Stadtbibliothek Köln, 2010. http://d-nb.info/1013739868/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Padua, Arethuza Iemini de. "A linguagem do corpo na obra de Hilda Hilst: "Agda" e A obscena Senhora D." Universidade Federal de Minas Gerais, 2015. http://hdl.handle.net/1843/ECAP-9U5HZQ.

Full text
Abstract:
In this paper, the relation between the work of Hilda Hilst and the performative writing are studied with specific focus on two of her proses: the story 'Agda' and the book The obscene Lady D. The search of body language in both works is taken as an initial motto to this study, in order to move through the literature of the author, her life, the main features of her characters and the theatrical approach of the literary text, with the purpose of empowering it over intermedia connections.<br>Neste trabalho, estudam-se as relações entre a obra de Hilda Hilst e a escrita performática, com foco es
APA, Harvard, Vancouver, ISO, and other styles
7

Smith-Christmas, Cassie. "I've lost it here dè a bh' agam : language shift, maintenance, and code-switching in a bilingual family." Thesis, University of Glasgow, 2012. http://theses.gla.ac.uk/3798/.

Full text
Abstract:
This thesis examines the language shift, maintenance, and code-switching of three generations of a bilingual family on the Isles of Skye and Harris, Scotland. Based on ten hours of recorded conversations among family members in the home environment, this thesis focuses particularly on the speakers’ alternation between Gaelic and English and uses a microinteractional approach in looking at how code-switching is used in the meaning-making process of this family’s interactions. It concludes that although speakers vary in terms of both ability and use of the minority language, code-switching is no
APA, Harvard, Vancouver, ISO, and other styles
8

Robbestad, Gylterud Håkon. "Univalent Types, Sets and Multisets : Investigations in dependent type theory." Doctoral thesis, Stockholms universitet, Matematiska institutionen, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-136896.

Full text
Abstract:
This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. The two first papers build on work by Aczel 1978. We establish that the underlying type of Aczel’s model of set theory in type theory can be seen as a type of multisets from the perspective of Homotopy Type Theory, and we identify a suitable subtype which
APA, Harvard, Vancouver, ISO, and other styles
9

Montin, Mathieu. "A formal framework for heterogeneous systems semantics." Thesis, Toulouse, INPT, 2020. http://www.theses.fr/2020INPT0072.

Full text
Abstract:
Les systèmes cyber-physiques sont des systèmes habituellement complexes et souvent critiques, dans le sens où leur défaillance peut avoir des impacts négatifs significatifs sur des vies humaines. Lors de leur développement, il convient donc de mettre l’accent sur les phases de validation et vérification (V &amp; V) afin de prouver que le système satisfait sa spécification et les exigences de l’utilisateur et que les cas d’erreur pouvant conduire à des accidents ne se produiront pas. Dans la mesure où ils sont souvent très volumineux et complexes, le développement repose habituellement sur des
APA, Harvard, Vancouver, ISO, and other styles
10

Coelho, Agda Rísia David Pinto. "Estudo longitudinal das dimensões craniofaciais transversais em indivíduos com maloclusão classe II, 1, de acordo com o modo respiratório / Agda Rísia David Pinto Coelho ; orientadora, Elisa Souza Camargo." reponame:Biblioteca Digital de Teses e Dissertações da PUC_PR, 2004. http://www.biblioteca.pucpr.br/tede/tde_busca/arquivo.php?codArquivo=252.

Full text
Abstract:
Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2004<br>Inclui bibliografia<br>No presente trabalho, objetivou-se avaliar a influência do modo respiratório no desenvolvimento das dimensões craniofaciais em uma amostra composta por 40 indivíduos com maloclusão Classe II, divisão 1 de Angle, leucodermas, dos gêneros masculino e femini
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Agdam"

1

ARAL, Inci. Agda Zamani. Kaynak, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Agam, Yaacov. Yaacov Agam. Fundación Arte y Tecnología, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kărimov, I. S. Şuşa-Ağdam teatri. Elm, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Pimenṭal, ʻEzra. Sadnat agam Yeroḥam. Midreshet Śedeh Boḳer, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Fionnuala, Cloke, ed. Ceist agam ort! Cois Life Teo., 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Abraham, Glanzer, ed. Sefer Agam mayim. 2nd ed. A.Y. ben E. Ts. Glantser, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Śadot, Lili. Zikhronot meha-agam. Ṭeraḳlin, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kulakovskaĭ, Reas Alekseevich. Agham ologho: O moem ott︠s︡e. Bichik, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Domanova, S. A. Agdas Khusainovich Burganov: Biobibliograficheskiĭ ukazatelʹ. Rossiĭskiĭ gos. gumanitarnyĭ universitet, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Baháʼuʼlláh. Kitab-i-agdas: Naisvi︠a︡tai︠a︡ Kniga. Dukhovnoe Sobranie Bakhai Rossii, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Agdam"

1

Coquand, Thierry. "Alfa/Agda." In The Seventeen Provers of the World. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11542384_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Thiemann, Peter, and Manuel M. T. Chakravarty. "Agda Meets Accelerate." In Implementation and Application of Functional Languages. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41582-1_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kokke, Pepijn, and Wouter Swierstra. "Auto in Agda." In Lecture Notes in Computer Science. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-19797-5_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Norell, Ulf. "Dependently Typed Programming in Agda." In Advanced Functional Programming. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04652-0_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Wadler, Philip. "Programming Language Foundations in Agda." In Lecture Notes in Computer Science. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03044-5_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Dowek, Gilles. "From the Universality of Mathematical Truth to the Interoperability of Proof Systems." In Automated Reasoning. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_2.

Full text
Abstract:
AbstractThe development of computerized proof systems, such as Coq, Matita, Agda, Lean, HOL 4, HOL Light, Isabelle/HOL, Mizar, etc. is a major step forward in the never ending quest of mathematical rigor.
APA, Harvard, Vancouver, ISO, and other styles
7

van der Walt, Paul, and Wouter Swierstra. "Engineering Proof by Reflection in Agda." In Implementation and Application of Functional Languages. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41582-1_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Nur, Mhd, Eni May, Wahyu Adhi Pratama, Syafrizal, and Amanan. "Ninik Mamak Role In Reducing Land Conflict Between P.T. Mutiara Agam And Farmers In Agam District." In Proceeding of The 13th International Conference onMalaysia-Indonesia Relations (PAHMI). Sciendo, 2019. http://dx.doi.org/10.2478/9783110680003-037.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Foster, Simon, and Georg Struth. "Integrating an Automated Theorem Prover into Agda." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-20398-5_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Zalakain, Uma, and Ornela Dardha. "$$\pi $$ with Leftovers: A Mechanisation in Agda." In Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-78089-0_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Agdam"

1

McBride, Conor Thomas. "Agda-curious?" In the 17th ACM SIGPLAN international conference. ACM Press, 2012. http://dx.doi.org/10.1145/2364527.2364529.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Norell, Ulf. "Dependently typed programming in Agda." In the 4th international workshop. ACM Press, 2008. http://dx.doi.org/10.1145/1481861.1481862.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hu, Jason Z. S., and Jacques Carette. "Formalizing category theory in Agda." In CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM, 2021. http://dx.doi.org/10.1145/3437992.3439922.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Takeyama, Makoto. "Programming assurance cases in Agda." In Proceeding of the 16th ACM SIGPLAN international conference. ACM Press, 2011. http://dx.doi.org/10.1145/2034773.2034794.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Anemaat, William A. "AGDA: Airplane Geometry Design Assistant." In World Aviation Congress & Exposition. SAE International, 1998. http://dx.doi.org/10.4271/985508.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Olmos, Santiago Arranz, Martín Fernández, Matías Steinberg, Alejandro Gadea, Emmanuel Gunther, and Miguel Pagano. "A formalisation of LEGv8 in Agda." In SBLP '20: 24th Brazilian Symposium on Programming Languages. ACM, 2020. http://dx.doi.org/10.1145/3427081.3427086.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Schwaab, Christopher, and Jeremy G. Siek. "Modular type-safety proofs in Agda." In the 7th workshop. ACM Press, 2013. http://dx.doi.org/10.1145/2428116.2428120.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Dolan, Stephen. "Computing with generic trees in Agda." In TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development. ACM, 2022. http://dx.doi.org/10.1145/3546196.3550165.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Lamiaux, Thomas, Axel Ljungström, and Anders Mörtberg. "Computing Cohomology Rings in Cubical Agda." In CPP '23: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM, 2023. http://dx.doi.org/10.1145/3573105.3575677.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Alexandru, Cass, Vikraman Choudhury, Jurriaan Rot, and Niels van der Weide. "Intrinsically Correct Sorting in Cubical Agda." In CPP '25: 14th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM, 2025. https://doi.org/10.1145/3703595.3705873.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Agdam"

1

HYDROLOGIC ENGINEERING CENTER DAVIS CA. Generalized Computer Program. Agricultural Flood Damage Analysis (AGDAM) Users Manual. Defense Technical Information Center, 1985. http://dx.doi.org/10.21236/ada273535.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Agdam' for particular source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography