Добірка наукової літератури з теми "Summary or Arbitrary Executions"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Summary or Arbitrary Executions".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Summary or Arbitrary Executions"
Weissbrodt, David. "The Three “Theme” Special Rapporteurs of the UN Commission on Human Rights." American Journal of International Law 80, no. 3 (1986): 685–99. http://dx.doi.org/10.2307/2201794.
Повний текст джерелаRodley, Nigel S. "United Nations Action Procedures against "Disappearances," Summary or Arbitrary Executions, and Torture." Human Rights Quarterly 8, no. 4 (1986): 700. http://dx.doi.org/10.2307/762199.
Повний текст джерелаO'Donnell, Daniel. "Trends in the application of international humanitarian law by United Nations human rights mechanisms." International Review of the Red Cross 38, no. 324 (1998): 481–503. http://dx.doi.org/10.1017/s0020860400091282.
Повний текст джерелаDergachev, A., and A. Sidorin. "Summary-based method of implementing arbitrary context-sensitive checks for source-based analysis via symbolic execution." Proceedings of the Institute for System Programming of the RAS 28, no. 1 (2016): 41–62. http://dx.doi.org/10.15514/ispras-2016-28(1)-3.
Повний текст джерелаIvanov, Ievgen, Mykola Nikitchenko, and Uri Abraham. "Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm." Formalized Mathematics 23, no. 4 (2015): 325–31. http://dx.doi.org/10.1515/forma-2015-0026.
Повний текст джерелаHADDIX, F. FURMAN. "AN ORDER DEGREE ALTERNATOR FOR ARBITRARY TOPOLOGIES." Parallel Processing Letters 18, no. 02 (2008): 307–22. http://dx.doi.org/10.1142/s0129626408003405.
Повний текст джерелаDardinier, Thibault, and Peter Müller. "Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties." Proceedings of the ACM on Programming Languages 8, PLDI (2024): 1485–509. http://dx.doi.org/10.1145/3656437.
Повний текст джерелаMorse, Gregory. "Self-Spectre, Write-Execute and the Hidden State." Tatra Mountains Mathematical Publications 73, no. 1 (2019): 131–44. http://dx.doi.org/10.2478/tmmp-2019-0010.
Повний текст джерелаDardinier, Thibault, Anqi Li, and Peter Müller. "Hypra: A Deductive Program Verifier for Hyper Hoare Logic." Proceedings of the ACM on Programming Languages 8, OOPSLA2 (2024): 1279–308. http://dx.doi.org/10.1145/3689756.
Повний текст джерелаHerlihy, Maurice, Sergio Rajsbaum, Michel Raynal, and Julien Stainer. "From wait-free to arbitrary concurrent solo executions in colorless distributed computing." Theoretical Computer Science 683 (June 2017): 1–21. http://dx.doi.org/10.1016/j.tcs.2017.04.007.
Повний текст джерелаКниги з теми "Summary or Arbitrary Executions"
Rights, United Nations Centre for Human. Summary or arbitrary executions. Centre for Human Rights, United Nations, 1990.
Знайти повний текст джерелаUnited Nations Centre for Human Rights. Extrajudicial, summary or arbitrary executions. Centre for Human Rights, United Nations, 1997.
Знайти повний текст джерелаUnited Nations Centre for Human Rights. Extrajudicial, summary or arbitrary executions. United Nations, 1997.
Знайти повний текст джерелаUnited Nations. Centre for Human Rights., ed. Extrajudicial, summary or arbitrary executions. United Nations Centre for Human Rights, 1997.
Знайти повний текст джерелаUnited Nations. Special Rapporteur on Extrajudicial, Summary, or Arbitrary Executions. Evidence of extrajudicial, summary, or arbitrary executions in Africa. African Centre for Democracy and Human Rights Studies, 1994.
Знайти повний текст джерелаCentre for Social Development and Humanitarian Affairs (United Nations)., ed. Manual on the effective prevention and investigation of extra-legal, arbitrary and summary executions. United Nations, 1991.
Знайти повний текст джерелаPhilip, Alston, Brazil, and United Nations Human Rights Council, eds. Report of the Special Rapporteur on extrajudicial, summary or arbitrary executions: Addendum : follow-up country recommendations - Brazil. United Nations General Assembly, 2010.
Знайти повний текст джерелаUN. Commission on Human Rights. Special Rapporteur on Extrajudicial, Summary or Arbitrary Executions, ed. Extrajudicial, summary or arbitrary executions: Report of the Special Rapporteur, Philip Alston : addendum. UN, 2006.
Знайти повний текст джерелаHeyns, C. H. (Christof H.) and United Nations Human Rights Council, eds. Report of the Special Rapporteur on extrajudicial, summary or arbitrary executions: Addendum : observations on communications transmitted to Governments and replies received. United Nations General Assembly, 2013.
Знайти повний текст джерелаOnyema, Faith, and Chino Obiagwu. Impunity in Nigeria 2006-2007: Report of extra-judicial, arbitrary and summary executions in Nigeria : January-December 2006-2007. Edited by Legal Defence and Assistance Project (Nigeria). Legal Defence and Assistance Project (LEPAD), 2008.
Знайти повний текст джерелаЧастини книг з теми "Summary or Arbitrary Executions"
Tidball-Binz, Morris. "The value and need for incorporating a psychosocial approach to forensic case-work in cases of extrajudicial, summary or arbitrary executions, including those who do not survive enforced and involuntary disappearances 1." In Psychoanalytic, Psychosocial, and Human Rights Perspectives on Enforced Disappearance. Routledge, 2023. http://dx.doi.org/10.4324/9781003312642-9.
Повний текст джерелаSun, Dawei, and Sayan Mitra. "NeuReach: Learning Reachability Functions from Simulations." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99524-9_17.
Повний текст джерелаGleitze, Joshua, Heiko Klare, and Erik Burger. "Finding a Universal Execution Strategy for Model Transformation Networks." In Fundamental Approaches to Software Engineering. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71500-7_5.
Повний текст джерелаDerakhshan, Farzaneh, Myra Dotzel, Milijana Surbatovich, and Limin Jia. "Modal Crash Types for Intermittent Computing." In Programming Languages and Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30044-8_7.
Повний текст джерелаWhalen, Christian. "Article 37: Prohibition of Torture, Capital Punishment, and Arbitrary Deprivation of Liberty." In Monitoring State Compliance with the UN Convention on the Rights of the Child. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-84647-3_31.
Повний текст джерелаMelander, Göran, and Gudmundur Alfredsson. "Effective Prevention and Investigation of Extra-legal, Arbitrary and Summary Executions." In The Raoul Wallenberg Institute Compilation of Human Rights Instruments. Brill | Nijhoff, 1997. http://dx.doi.org/10.1163/9789004636484_072.
Повний текст джерелаPhilip, Alston. "Report of the Special Rapporteur on extra judicial, summary or arbitrary executions." In Challenges in International Human Rights Law. Routledge, 2017. http://dx.doi.org/10.4324/9781315095905-7.
Повний текст джерела"Principles on the Effective Prevention and Investigation of Extra-legal, Arbitrary and Summary Executions." In Essential Texts on Human Rights for the Police. Brill | Nijhoff, 2001. http://dx.doi.org/10.1163/9789004502840_025.
Повний текст джерелаAston, Joshua N. "Response of India towards Torture and Custodial Violence." In Torture Behind Bars. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780190120986.003.0005.
Повний текст джерелаChengeta, Thompson. "Autonomous Armed Drones and the Challenges to Multilateral Consensus on Value-Based Regulation." In Ethics of Drone Strikes. Edinburgh University Press, 2021. http://dx.doi.org/10.3366/edinburgh/9781474483575.003.0010.
Повний текст джерелаТези доповідей конференцій з теми "Summary or Arbitrary Executions"
Antonov, Yuriy, Darya Andornaya, Kjeld Ghysels, Elena Konobriy, Sergey Martakov, and Kåre Røsvik Jensen. "Improving Well Placement and Reservoir Mapping Using Multi-Interval Inversion of Deep and Extra-Deep LWD Resistivity Measurements." In 2023 SPWLA 64th Annual Symposium. Society of Petrophysicists and Well Log Analysts, 2023. http://dx.doi.org/10.30632/spwla-2023-0047.
Повний текст джерелаBhattacharjya, Debarun, Oktie Hassanzadeh, Ronny Luss, and Keerthiram Murugesan. "Probabilistic Rule Induction from Event Sequences with Logical Summary Markov Models." In Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/629.
Повний текст джерелаKubíček, Ondřej, Neil Burch, and Viliam Lisý. "Look-ahead Search on Top of Policy Networks in Imperfect Information Games." In Thirty-Third International Joint Conference on Artificial Intelligence {IJCAI-24}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/ijcai.2024/480.
Повний текст джерелаAlmaazmi, Jawaher, Mohamed Alzaabi, and Kiran Naidu. "Supply Chain Network Optimization & Simulation Model Digital Twin." In ADIPEC. SPE, 2024. http://dx.doi.org/10.2118/222960-ms.
Повний текст джерелаLang, Fred D. "Errors in Boiler Efficiency Standards." In ASME 2009 Power Conference. ASMEDC, 2009. http://dx.doi.org/10.1115/power2009-81221.
Повний текст джерелаMartin, Michael, Robert Marshal, and Peter Reed. "Data-Centric Structural Integrity Assessment and Risk-Informed Asset Management Using Operational Data and Probabilistic Updating." In ASME 2022 Pressure Vessels & Piping Conference. American Society of Mechanical Engineers, 2022. http://dx.doi.org/10.1115/pvp2022-84526.
Повний текст джерелаRussell, T., C. Nguyen, G. Loi, et al. "Productivity Decline due to Fines Migration Associated with High Water Cuts." In SPE International Conference and Exhibition on Formation Damage Control. SPE, 2024. http://dx.doi.org/10.2118/217854-ms.
Повний текст джерелаZhang, Xinyu, Min Zhao, and Tong Ge. "Analysis of Implosion Protection Effect of Ceramic and Titanium Alloy Hollow Spheres Wound With Carbon Fiber." In ASME 2024 43rd International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2024. http://dx.doi.org/10.1115/omae2024-126243.
Повний текст джерелаNi, Zihan, Xinyi Jiang, Xiaoyu Xu, Chun Zi Wu, and Tianhong Fang. "Analysis of the Willingness and Path of Metropolitan Residents to Participate in Rural Landscape Design:A Case Study of Yanjing Village, Yexie Town." In 15th International Conference on Applied Human Factors and Ergonomics (AHFE 2024). AHFE International, 2024. http://dx.doi.org/10.54941/ahfe1005338.
Повний текст джерелаBriceño-León, Christian Xavier, Pedro Luis Iglesias-Rey, Francisco Javier Martínez-Solano, and Enrico Creaco. "Pumping Station Design with an Analysis of Variability of Demand and Considering Techno-Economic and Environmental Criteria through the AHP Method." In 2nd WDSA/CCWI Joint Conference. Editorial Universitat Politècnica de València, 2022. http://dx.doi.org/10.4995/wdsa-ccwi2022.2022.14098.
Повний текст джерела