Littérature scientifique sur le sujet « Summary or Arbitrary Executions »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Summary or Arbitrary Executions ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "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.
Texte intégralRodley, 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.
Texte intégralO'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.
Texte intégralDergachev, 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.
Texte intégralIvanov, 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.
Texte intégralHADDIX, 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.
Texte intégralDardinier, 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.
Texte intégralMorse, 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.
Texte intégralDardinier, 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.
Texte intégralHerlihy, 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.
Texte intégralLivres sur le sujet "Summary or Arbitrary Executions"
Rights, United Nations Centre for Human. Summary or arbitrary executions. Centre for Human Rights, United Nations, 1990.
Trouver le texte intégralUnited Nations Centre for Human Rights. Extrajudicial, summary or arbitrary executions. Centre for Human Rights, United Nations, 1997.
Trouver le texte intégralUnited Nations Centre for Human Rights. Extrajudicial, summary or arbitrary executions. United Nations, 1997.
Trouver le texte intégralUnited Nations. Centre for Human Rights., ed. Extrajudicial, summary or arbitrary executions. United Nations Centre for Human Rights, 1997.
Trouver le texte intégralUnited 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.
Trouver le texte intégralCentre 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.
Trouver le texte intégralPhilip, 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.
Trouver le texte intégralUN. 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.
Trouver le texte intégralHeyns, 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.
Trouver le texte intégralOnyema, 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.
Trouver le texte intégralChapitres de livres sur le sujet "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.
Texte intégralSun, 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.
Texte intégralGleitze, 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.
Texte intégralDerakhshan, 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.
Texte intégralWhalen, 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.
Texte intégralMelander, 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.
Texte intégralPhilip, 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.
Texte intégral"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.
Texte intégralAston, 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.
Texte intégralChengeta, 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.
Texte intégralActes de conférences sur le sujet "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.
Texte intégralBhattacharjya, 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.
Texte intégralKubíč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.
Texte intégralAlmaazmi, 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.
Texte intégralLang, Fred D. "Errors in Boiler Efficiency Standards." In ASME 2009 Power Conference. ASMEDC, 2009. http://dx.doi.org/10.1115/power2009-81221.
Texte intégralMartin, 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.
Texte intégralRussell, 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.
Texte intégralZhang, 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.
Texte intégralNi, 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.
Texte intégralBriceñ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.
Texte intégral