Essays about: "BIR"

Showing result 1 - 5 of 9 essays containing the word BIR.

1. 1. Investigation of Potentially Toxic Elements in Agriculture Soil : Greenhouse and Open-field Farming in Türkiye

   University essay from Linköpings universitet/Tema Miljöförändring

   Author : Furkan Özkan; [2023]
   Keywords : Agriculture; Fertilizer; Organic Farming; Potentially Toxic Elements PTE ; Tarım; Gübre; Organik Tarım; Potansiyel Toksik Elementler PTE;

   Abstract : Greenhouse food production has intensive fertilizer practices, and it leads to contamination in the soil and food chains. This study investigated the potentially toxic elements (As, Pb, Zn, Cd, Cr, Cu, and Ni) (PTE) in agriculture soil and their bioaccumulation by dragon fruit and banana. READ MORE

3. 2. The Violent Law of Human Rights: An attempt to analyze the problematic nexus between law, rebellion, and human rights discourse

   University essay from Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

   Author : Ibrahim Kibar; [2021]
   Keywords : Rebellion; Legitimacy; Human Rights; Law and Political Science;

   Abstract : Rebellion is a seldom accomplished attempt aiming to bend the law to counterweight the sovereign power or to overthrow the sovereign in a given legal order. Either way, it contests the boundaries of the law. The thesis at hand aims to investigate the problematic relationship between the human rights discourse, law and the concept of rebellion. READ MORE

4. 3. Developing Peer-Trained Autonomous Companion Robots to Tackle Isolation

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Ravi Singh Bir; [2021]
   Keywords : ;

   Abstract : There has been a sharp rise in the loneliness and social isolation felt amongst young people, resulting in an increased risk of developing many harmful conditions. Quarantining and remote working due to the recent COVID-19 pandemic have made the situation worse. READ MORE

5. 4. A comparative Study of the Scandinavian Development Cooperation Policies : Evaluating and Contrasting the Similarities and Differences between Denmark, Norway and Sweden

   University essay from Linköpings universitet/Institutionen för ekonomisk och industriell utveckling

   Author : Jamila Zeynalzade; [2021]
   Keywords : Denmark; Norway; Sweden; development cooperation; policy; Danimarka; Norveç; İsveç; inkişaf naminə əməkdaşlıq; siyasət;

   Abstract : This paper examines the development cooperation policies of the Scandinavian countries, namely Denmark, Norway and Sweden. It aims to provide a more detailed understanding of the similarities and differences between the three countries in conducting development cooperation. READ MORE

6. 5. Proof-producing resolution of indirect jumps in the binary intermediate representation BIR

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Adrian Westerberg; [2021]
   Keywords : Formal verification; Binary analysis; Interactive theorem proving; Indirect jump resolution; Formell verifiering; Binär analys; Interaktiv teorembevisning; Indirekt hopp bestämning;

   Abstract : HolBA is a binary analysis library that can be used to formally verify binary programs using contracts. It is developed in the interactive theorem prover HOL4 to achieve a high degree of trust in verification, the result of verification is a machine-checked proof demonstrating its correctness. This thesis presents two proof-producing procedures. READ MORE