Se connecter

Bibliographies thématiques / Summary or Arbitrary Executions / Articles de revues

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Summary or Arbitrary Executions.

Articles de revues sur le sujet « Summary or Arbitrary Executions »

Auteur : Grafiati

Publié le 25 juillet 2024

Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs articles de revues pour votre recherche 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.

Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.

1

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égral

Résumé :

In March 1982, the United Nations Commission on Human Rights initiated the appointment of a Special Rapporteur on Summary or Arbitrary Executions. The Special Rapporteur on Summary or Arbitrary Executions has done far more than merely study that grave human rights problem; he has received complaints about impending and past executions, issued appeals to governments about threatened executions and the need to investigate past killings, and reported publicly on much of his activity. The Commission on Human Rights not only has renewed the Special Rapporteur on Summary or Arbitrary Executions in i

Styles APA, Harvard, Vancouver, ISO, etc.

2

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

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.

Texte intégral

Résumé :

UN human rights mechanisms continue to proliferate, producing numerous decisions and voluminous reports. This article reviews the ways in which such mechanisms apply international humanitarian law, including the law of Geneva and the law of The Hague. In doing so, it focuses mainly on the practice of the rapporteurs appointed by the UN Commission on Human Rights to investigate the human rights situations in specific countries and on that of the thematic rapporteurs and working groups which the Commission has entrusted with monitoring specific types of serious human rights violations wherever t

Styles APA, Harvard, Vancouver, ISO, etc.

4

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

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.

Texte intégral

Résumé :

Summary Proving properties of distributed algorithms is still a highly challenging problem and various approaches that have been proposed to tackle it [1] can be roughly divided into state-based and event-based proofs. Informally speaking, state-based approaches define the behavior of a distributed algorithm as a set of sequences of memory states during its executions, while event-based approaches treat the behaviors by means of events which are produced by the executions of an algorithm. Of course, combined approaches are also possible. Analysis of the literature [1], [7], [12], [9], [13], [1

Styles APA, Harvard, Vancouver, ISO, etc.

6

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.

Texte intégral

Résumé :

An alternator is an arbitrary set of interacting processes that satisfies three conditions. First, if a process executes its critical section, then no neighbor of that process can execute its critical section at the same state. Second, along any infinite sequence of system states, each process will execute its critical section, an infinite number of times. Third, along any maximally concurrent computation, the alternator will stabilize to a sequence of states in which the processes will execute their critical sections in alternation. A principal reason for interest in alternators is their abil

Styles APA, Harvard, Vancouver, ISO, etc.

7

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.

Texte intégral

Résumé :

Hoare logics are proof systems that allow one to formally establish properties of computer programs. Traditional Hoare logics prove properties of individual program executions (such as functional correctness). Hoare logic has been generalized to prove also properties of multiple executions of a program (so-called hyperproperties, such as determinism or non-interference). These program logics prove the absence of (bad combinations of) executions. On the other hand, program logics similar to Hoare logic have been proposed to disprove program properties (e.g., Incorrectness Logic), by proving the

Styles APA, Harvard, Vancouver, ISO, etc.

8

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.

Texte intégral

Résumé :

Abstract The recent Meltdown and Spectre vulnerabilities have highlighted a very present and real threat in the on-chip memory cache units which can ultimately provide a hidden state, albeit only readable via memory timing instructions [Kocher, P.—Genkin, D.— Gruss, D.— Haas, W.—Hamburg, M.—Lipp, M.–Mangard, S.—Prescher, T.—Schwarz, M.—Yarom, Y.: Spectre attacks: Exploiting speculative execution, CoRR, abs/1801.01203, 2018]. Yet the exploits, although having some complexity and slowness, are demonstrably reliable on nearly all processors produced for the last two decades. Moving out from looki

Styles APA, Harvard, Vancouver, ISO, etc.

9

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.

Texte intégral

Résumé :

Hyperproperties relate multiple executions of a program and are useful to express common correctness properties (such as determinism) and security properties (such as non-interference). While there are a number of powerful program logics for the deductive verification of hyperproperties, their automation falls behind. Most existing deductive verification tools are limited to safety properties, but cannot reason about the existence of executions, for instance, to prove the violation of a safety property. Others support more flexible hyperproperties such as generalized non-interference, but have

Styles APA, Harvard, Vancouver, ISO, etc.

10

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

Gomes Júnior, Paulo César de Carvalho. "The anti-juridicidity and the incoherence of Summary no. 345 of the STJ." CONTRIBUCIONES A LAS CIENCIAS SOCIALES 17, no. 2 (2024): e5050. http://dx.doi.org/10.55905/revconv.17n.2-074.

Texte intégral

Résumé :

The article elucidates some of the issues surrounding the payment of succumbence fees as a result of enforcements of judgments and their challenges, especially when the enforcements are brought against the public treasury. Initially, he presents how these issues were dealt with in executions of individual judgments against private parties governed by the CPC/1973 and how they are now dealt with in executions of individual judgments against private parties governed by the CPC/2015. It then presents how these issues are dealt with in the enforcement of individual judgments against the public tre

Styles APA, Harvard, Vancouver, ISO, etc.

12

Tian, Yuan. "Debating Chinese Cruelty: Summary Execution, Judicial Reform, and Extraterritoriality in the Late Qing." Late Imperial China 46, no. 1 (2025): 1–40. https://doi.org/10.1353/late.2025.a964626.

Texte intégral

Résumé :

Abstract: In July 1903, the Qing government executed the anti-Manchu revolutionary Shen Jin through the brutal method of bamboo blows ( zhangbi ), sparking both domestic and international outrage. This execution led to widespread condemnation of Chinese law as cruel and barbaric, further complicating the Qing court's efforts to assert jurisdiction over the Subao case (1903–1904) in the Shanghai International Settlements. The incident also raised doubts about China's commitment to establishing a modern judicial system. Drawing on Qing imperial archives, foreign diplomatic records, and contempor

Styles APA, Harvard, Vancouver, ISO, etc.

13

O'Brien, Paul. "Summary Executions in Italy During the First World War: Findings and Implications." Modern Italy 11, no. 3 (2006): 353–59. http://dx.doi.org/10.1080/13532940600937368.

Texte intégral

Résumé :

This article has two related aims. First, it examines the most up-to-date studies relative to Italian military justice during the First World War, and seeks to set them in the context of the historical debate since the late 1960s. Secondly, and more specifically, it focuses on recently uncovered evidence regarding staggeringly high numbers of previously unknown summary executions in the Italian army. It explores the significance of these findings for understanding the character of the Italian military justice system as well as that of the war conducted by Italy's ruling élites between 1915 and

Styles APA, Harvard, Vancouver, ISO, etc.

14

Ruffa, Chiara. "Societal beliefs about the use of force in Israël, Italy and France." Tocqueville Review 35, no. 2 (2014): 101–17. http://dx.doi.org/10.3138/ttr.35.2.101.

Texte intégral

Résumé :

In the Spring 2014, while in Paris, I happened to enter an exhibition about summary executions of French soldiers during World War I. The soldiers had mainly been executed for mutiny, although in fact they had rarely contravened orders or rebelled. Rather, these soldiers were deeply traumatised young conscripts, operating in unbearable conditions, and often, had simply protested against the conditions, fought in a way that minimised risks to their personal safety, or surrendered to the Germany enemy (so-called Boches in France at the time).

Styles APA, Harvard, Vancouver, ISO, etc.

15

Hoyle, Carolyn, and Saul Lehrfreund. "Contradictions in Judicial Support for Capital Punishment in India and Bangladesh: Utilitarian Rationales." Asian Journal of Criminology 15, no. 2 (2019): 141–61. http://dx.doi.org/10.1007/s11417-019-09304-0.

Texte intégral

Résumé :

AbstractIndia and Bangladesh share a common history, and each has developed somewhat similarly since partition. However, while both countries now have relatively low murder rates, India has seen a decline in the rate of executions, while Bangladesh continues to impose death sentences and carry out executions at a higher rate. There have been challenges to the death penalty in India, restricting its use to exceptional cases. The same has not occurred in Bangladesh. Yet in both countries, systemic flaws in the criminal process are evident. This article draws on two original empirical research pr

Styles APA, Harvard, Vancouver, ISO, etc.

16

Inkinen, Virpi, Mikko Häyrinen, and Vesa Linnamo. "Technical and tactical analysis of women’s volleyball." Biomedical Human Kinetics 5, no. 1 (2013): 43–50. http://dx.doi.org/10.2478/bhk-2013-0007.

Texte intégral

Résumé :

Summary Introduction: The study aim was to construct a technical and tactical analysis of women’s volleyball based on notational analysis in top-level and junior women’s European volleyball matches, to compare these two levels, and to clarify the differences between the winners and losers of a set. Material and Methods: Four matches from the 2010 FIVB Women’s Volleyball World Championships and 2010 CEV Junior Women’s European Championship 2010 were analyzed using Data Volley software. The number and performance level of different skills were recorded in total and were grouped according to the

Styles APA, Harvard, Vancouver, ISO, etc.

17

Bodo, Bela. "The White Terror in Hungary, 1919–1921: The Social Worlds of Paramilitary Groups." Austrian History Yearbook 42 (April 2011): 133–63. http://dx.doi.org/10.1017/s0067237811000099.

Texte intégral

Résumé :

The Hungarian Republic, which emerged from of the ashes of Austria-Hungary, experienced two revolutions between October 1918 and April 1919. However, neither the democratic regime nor the more radical Soviet Republic born in these revolutions was able to solve the country's most pressing economic and social problems. The collapse of the Soviet Republic at the end of July 1919, in turn, was followed by a rapid rise in extra-legal violence. Freikorps units (szabadcsapatok) and civic guards (polgárőrségek), aided by the members of the local police, set up kangaroo courts, organized summary execut

Styles APA, Harvard, Vancouver, ISO, etc.

18

Kim, Sungi, Namjun Kim, Jinyoung Seo, et al. "Nanoparticle-based computing architecture for nanoparticle neural networks." Science Advances 6, no. 35 (2020): eabb3348. http://dx.doi.org/10.1126/sciadv.abb3348.

Texte intégral

Résumé :

The lack of a scalable nanoparticle-based computing architecture severely limits the potential and use of nanoparticles for manipulating and processing information with molecular computing schemes. Inspired by the von Neumann architecture (VNA), in which multiple programs can be operated without restructuring the computer, we realized the nanoparticle-based VNA (NVNA) on a lipid chip for multiple executions of arbitrary molecular logic operations in the single chip without refabrication. In this system, nanoparticles on a lipid chip function as the hardware that features memory, processors, an

Styles APA, Harvard, Vancouver, ISO, etc.

19

Hammond, Angus, Ricardo Almeida, Thomas Bauereiss, Brian Campbell, Ian Stark, and Peter Sewell. "Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture." Proceedings of the ACM on Programming Languages 9, PLDI (2025): 1961–83. https://doi.org/10.1145/3729329.

Texte intégral

Résumé :

When designing new architectural security mechanisms, a key question is whether they actually provide the intended security, but this has historically been very hard to assess. One cannot gain much confidence by testing, as such mechanisms should provide protection in the presence of arbitrary unknown code. Previously, one also could not gain confidence by mechanised proof, as the scale of production instruction-set architecture (ISA) designs, many tens or hundreds of thousands of lines of specification, made that prohibitive. We focus in this paper especially on the secure encapsulation of so

Styles APA, Harvard, Vancouver, ISO, etc.

20

Fellner, Andreas, Mitra Tabaei Befrouei, and Georg Weissenbacher. "Mutation testing with hyperproperties." Software and Systems Modeling 20, no. 2 (2021): 405–27. http://dx.doi.org/10.1007/s10270-020-00850-1.

Texte intégral

Résumé :

AbstractWe present a new method for model-based mutation-driven test case generation. Mutants are generated by making small syntactical modifications to the model or source code of the system under test. A test case kills a mutant if the behavior of the mutant deviates from the original system when running the test. In this work, we use hyperproperties—which allow to express relations between multiple executions—to formalize different notions of killing for both deterministic as well as non-deterministic models. The resulting hyperproperties are universal in the sense that they apply to arbitr

Styles APA, Harvard, Vancouver, ISO, etc.

21

Mohajan, Haradhan Kumar. "History of Rakhine State and the Origin of the Rohingya Muslims." IKAT : The Indonesian Journal of Southeast Asian Studies 2, no. 1 (2018): 19. http://dx.doi.org/10.22146/ikat.v2i1.37391.

Texte intégral

Résumé :

The Rohingya, a Muslim ethnic minority group in Rakhine, are considered among the most persecuted, vulnerable, and oppressed minorities in the world. Recently, the persecution on the Rohingya Muslims has increased due to Buddhist nationalism in Myanmar. The Rohingya continue to suffer from several forms of restrictions and human rights violations in Myanmar due to them being denied Myanmar citizenship. They are victims of various forms of oppression, such as arbitrary taxation, land confiscation, destruction of mosques, torture and ill-treatment, extrajudicial executions, restrictions on movem

Styles APA, Harvard, Vancouver, ISO, etc.

22

Haja, David, Zoltan Richard Turanyi, and Laszlo Toka. "Location, Proximity, Affinity – The key factors in FaaS." Infocommunications journal, no. 4 (2020): 14–21. http://dx.doi.org/10.36244/icj.2020.4.3.

Texte intégral

Résumé :

The Function-as-a-Service paradigm emerged not only as a pricing technique, but also as a programming model promising to simplify developing to the cloud. Interestingly, while placing functions across hosts under the service platform is believed to be flexible, currently the available platforms pay little attention to co-locate connected functions, or data with the respective processing function in order to improve performance. Even though the local function invocation and data access might be an order of magnitude faster than their remote intra-cloud counterparts. In this paper, we therefore

Styles APA, Harvard, Vancouver, ISO, etc.

23

D'Amato, Maurizio, Giuseppe Cucuzza, and Giampiero Bambagioni. "Appraising forced sale value by the method of short table market comparison approach." Aestimum 82 (December 8, 2023): 39–50. http://dx.doi.org/10.36253/aestim-13808.

Texte intégral

Résumé :

For International Valuation Standards (IVS) the estimate of the “forced sale” value implies a value judgment with reference to a degeneration of the market value basis, since “a forced sale” is a description of the situation in which the exchange takes place, not a distinct basis of value (IVS 2022, Par. 170.1).The paper illustrates a model that can be used to measure the difference between market value and forced sale value, as an aid to real estate valuations related to real estate executions. The proposed method is aimed at determining the difference between the estimated values and the fin

Styles APA, Harvard, Vancouver, ISO, etc.

24

Muhammad Tun Samudra. "Taradhin Principle in Fiduciary Guarantee Parate Execution after the Decision of the Constitutional Court No. 18/PUU-XVII/2019." Jurnal Hukum Islam 20, no. 1 (2022): 77–100. http://dx.doi.org/10.28918/jhi.v20i1.5992.

Texte intégral

Résumé :

This article was analyzes the principle of Willingness in the Execution of fiduciary guarantees after the decision of the Constitutional Court Number 18/PUU-XVII/2019, in practice Parate execution can be carried out either with or without the consent of the debtor, such conditions often lead to acts of coercion and violence from fiduciary guarantee holders, even giving opportunities to arbitrary acts committed by fiduciary recipients (creditors) and degrading the dignity of the debtor. From the research conducted, it was found that the application of the principle of willingness in the Parate

Styles APA, Harvard, Vancouver, ISO, etc.

25

Rudser, Kyle D., Michael L. LeBlanc, and Scott S. Emerson. "Distribution-free inference on contrasts of arbitrary summary measures of survival." Statistics in Medicine 31, no. 16 (2012): 1722–37. http://dx.doi.org/10.1002/sim.4505.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

Bender, Ralf. "Calculating Summary Measures of Unimodal Response Curves by Means of Nonlinear Regression Models." Journal of Theoretical Medicine 2, no. 2 (2000): 73–80. http://dx.doi.org/10.1080/10273660008833038.

Texte intégral

Résumé :

In biomedical research summary measures such as the curve maximum (Cmax)are frequently used to describe and analyze unimodal response curves. However, if the true curve is perturbed by autocorrelated noise the calculation of summary measures from raw data can be arbitrary and misleading due to high peaks produced by the correlated errors. A possible solution is to fit suitable nonlinear functions to the response curves and estimate the summary measures from these functions. In this paper formulas are derived providing a way to estimate important summary measures of unimodal curves by means of

Styles APA, Harvard, Vancouver, ISO, etc.

27

Lee, Soohyun, Jeremy Johnson, Carl Vitzthum, Koray Kırlı, Burak H. Alver, and Peter J. Park. "Tibanna: software for scalable execution of portable pipelines on the cloud." Bioinformatics 35, no. 21 (2019): 4424–26. http://dx.doi.org/10.1093/bioinformatics/btz379.

Texte intégral

Résumé :

Abstract Summary We introduce Tibanna, an open-source software tool for automated execution of bioinformatics pipelines on Amazon Web Services (AWS). Tibanna accepts reproducible and portable pipeline standards including Common Workflow Language (CWL), Workflow Description Language (WDL) and Docker. It adopts a strategy of isolation and optimization of individual executions, combined with a serverless scheduling approach. Pipelines are executed and monitored using local commands or the Python Application Programming Interface (API) and cloud configuration is automatically handled. Tibanna is w

Styles APA, Harvard, Vancouver, ISO, etc.

28

Glassheim, Eagle. "National Mythologies and Ethnic Cleansing: The Expulsion of Czechoslovak Germans in 1945." Central European History 33, no. 4 (2000): 463–86. http://dx.doi.org/10.1163/156916100746428.

Texte intégral

Résumé :

Beginning in January of 1946, trains filled with Sudeten Germans—forty wagons, thirty passengers per wagon—left Czechoslovakia daily for the American Zone of occupied Germany. By the end of 1946, the Czechoslovak government completed the “organized transfer” of almost 2 million Germans, and it did so in a manner that in many respects fulfilled the mandate of the Potsdam agreement that the resettlement be “orderly and humane.” But a focus on these regularized trainloads of human cargo obscures the extent of the humanitarian disaster facing Germans during the summer months of 1945, immediately a

Styles APA, Harvard, Vancouver, ISO, etc.

29

Rawlins, A. D. "A note on the two-dimensional electrostatic field produced by a line charge near a dielectric wedge." Quarterly Journal of Mechanics and Applied Mathematics 72, no. 3 (2019): 341–57. http://dx.doi.org/10.1093/qjmam/hbz007.

Texte intégral

Résumé :

Summary We shall consider the problem of determining the correct electrostatic field produced when an infinite two-dimensional line source is influenced by an adjacent infinite dielectric wedge. This result corrects a number of previous attempts at this problem, which are shown to be in error. The method avoids using the Mellin transform which has lead to some of these earlier errors. The method is used to solve a more general problem of the electrostatic field produced by an arbitrary number of line sources located in an arbitrary number of contiguous dielectric wedges.

Styles APA, Harvard, Vancouver, ISO, etc.

30

Peasgood, Mike, Eric Kubica, and John McPhee. "Stabilization of a Dynamic Walking Gait Simulation." Journal of Computational and Nonlinear Dynamics 2, no. 1 (2006): 65–72. http://dx.doi.org/10.1115/1.2389230.

Texte intégral

Résumé :

Forward dynamic simulations of human walking gait have typically simulated and analyzed a single step of the walking cycle, assuming symmetric and periodic gait. To enable simulations over many steps, a stabilizer is required to maintain the balance of the walking model, ideally mimicking the human balance control mechanism. This paper presents a feedback control system that stabilizes the torso orientation during a human walking gait dynamic simulation, enabling arbitrarily long simulations. The model is a two-dimensional mechanical simulation, in which the desired joint trajectories are defi

Styles APA, Harvard, Vancouver, ISO, etc.

31

Benedetto, José I., Guillermo Valenzuela, Pablo Sanabria, Andrés Neyem, Jaime Navón, and Christian Poellabauer. "MobiCOP: A Scalable and Reliable Mobile Code Offloading Solution." Wireless Communications and Mobile Computing 2018 (2018): 1–18. http://dx.doi.org/10.1155/2018/8715294.

Texte intégral

Résumé :

Code offloading is a popular technique for extending the natural capabilities of mobile devices by migrating processor-intensive tasks to resource-rich surrogates. Despite multiple platforms for offloading being available in academia, these frameworks have yet to permeate the industry. One of the primary reasons for this is limited experimentation in practical settings and lack of reliability, scalability, and options for distribution. This paper introduces MobiCOP, a new code offloading framework designed from the ground up with these requirements in mind. It features a novel design fully sel

Styles APA, Harvard, Vancouver, ISO, etc.

32

Bouzenia, Islem, and Michael Pradel. "You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects." Proceedings of the ACM on Software Engineering 2, ISSTA (2025): 1054–76. https://doi.org/10.1145/3728922.

Texte intégral

Résumé :

The ability to execute the test suite of a project is essential in many scenarios, e.g., to assess code quality and code coverage, to validate code changes made by developers or automated tools, and to ensure compatibility with dependencies. Despite its importance, executing the test suite of a project can be challenging in practice because different projects use different programming languages, software ecosystems, build systems, testing frameworks, and other tools. These challenges make it difficult to create a reliable, universal test execution method that works across different projects. T

Styles APA, Harvard, Vancouver, ISO, etc.

33

Podosokorsky, N. N. "Review of Perlina, N. (2017). Picture-texts and ekphrases in F. Dostoevsky’s ‘The Idiot’. St. Petersburg: Aleteya. 288 pages." Voprosy literatury, no. 6 (February 7, 2019): 378–83. http://dx.doi.org/10.31425/0042-8795-2018-6-378-383.

Texte intégral

Résumé :

The review discusses N. Perlina’s monograph about the problem of ekphrasis in Dostoevsky’s ‘most mysterious’ novel The Idiot [Idiot] (1868) and highlights advantages and disadvantages of her study. The review contains a summary of key Russian bibliography about ekphrasis in literature (L. Geller, R. Poddubtsev, E. Novikova, O. Dzhumaylo, etc.). It is noted that, despite studying ekphrasis, many philologists may not actually use the term in their research. The review touches on Perlina’s polemic with another renowned scholar of the novel, T. Kasatkina. Perlina’s monograph is structured into six

Styles APA, Harvard, Vancouver, ISO, etc.

34

Pouget-Abadie, J., G. Saint-Jacques, M. Saveski, et al. "Testing for arbitrary interference on experimentation platforms." Biometrika 106, no. 4 (2019): 929–40. http://dx.doi.org/10.1093/biomet/asz047.

Texte intégral

Résumé :

Summary Experimentation platforms are essential to large modern technology companies, as they are used to carry out many randomized experiments daily. The classic assumption of no interference among users, under which the outcome for one user does not depend on the treatment assigned to other users, is rarely tenable on such platforms. Here, we introduce an experimental design strategy for testing whether this assumption holds. Our approach is in the spirit of the Durbin–Wu–Hausman test for endogeneity in econometrics, where multiple estimators return the same estimate if and only if the null

Styles APA, Harvard, Vancouver, ISO, etc.

35

Cavallaro, James L., and Stephanie Erin Brewer. "Never Again? The Legacy of the Argentine and Chilean Dictatorships for the Global Human Rights Regime." Journal of Interdisciplinary History 39, no. 2 (2008): 233–44. http://dx.doi.org/10.1162/jinh.2008.39.2.233.

Texte intégral

Résumé :

Widespread forced disappearances, summary executions, and torture practiced by the military regimes in Argentina and Chile came to define human rights abuse during the 1970s and 1980s. Opposition to these practices and their parent regimes helped to shape the contemporary human rights movement and, by extension, human rights norms and institutions. Thomas C. Wright's State Terrorism in Latin America contends that the movement's struggle with the Argentine and Chilean dictatorships resulted in an era of greater deterrence and enforcement power for human rights institutions. Sonia Cardenas' Conf

Styles APA, Harvard, Vancouver, ISO, etc.

36

Breau, Susan C. "THE YEAR IN REVIEW." Yearbook of International Humanitarian Law 12 (December 2009): 195–232. http://dx.doi.org/10.1017/s1389135909000075.

Texte intégral

Résumé :

AbstractThis year in review will first discuss the major developments that contributed towards the formation or enforcement of international humanitarian law. Despite the many positive developments in the elucidation of international humanitarian law, 2009 witnessed the continuation of violent armed conflict around the world, not least in Sri Lanka where the long standing armed conflict came to a bloody conclusion amidst allegations of summary executions and other serious violations of international humanitarian law. Two other conflicts involving Israel/Gaza and Russia/Georgia which took place

Styles APA, Harvard, Vancouver, ISO, etc.

37

Igwe, Isaac O. C. "The Rule of Law and National Security in Nigerian Democracy: A Contemporary Issue under the Aegis of International Law." ATHENS JOURNAL OF LAW 7, no. 2 (2021): 148–68. http://dx.doi.org/10.30958/ajl.7-2-2.

Texte intégral

Résumé :

Although brutality can repress a society, it never assures the sustainability of that conquest. Tyranny steers the hopeless to despair, edges to rebellion, and could open the door for a new tyrant to rise. Law becomes a limiting factor that must act as a stopgap to the avaricious intentions of a dictator. A democratic leader must incorporate the supremacy of the law and honest officials into his government. He shall also create courts of law, treat the poorest citizens with fairness and build a hall of justice to bring the society to modernity with the operation of the rule of law enshrined in

Styles APA, Harvard, Vancouver, ISO, etc.

38

Backstrom, C. "Computational Aspects of Reordering Plans." Journal of Artificial Intelligence Research 9 (September 1, 1998): 99–137. http://dx.doi.org/10.1613/jair.477.

Texte intégral

Résumé :

This article studies the problem of modifying the action ordering of a plan in order to optimise the plan according to various criteria. One of these criteria is to make a plan less constrained and the other is to minimize its parallel execution time. Three candidate definitions are proposed for the first of these criteria, constituting a sequence of increasing optimality guarantees. Two of these are based on deordering plans, which means that ordering relations may only be removed, not added, while the third one uses reordering, where arbitrary modifications to the ordering are allowed. It is

Styles APA, Harvard, Vancouver, ISO, etc.

39

Alves, Rigel F. C., and Andreas Knüpfer. "Further enhancing the in situ visualization of performance data in parallel CFD applications." PeerJ Computer Science 7 (October 25, 2021): e753. http://dx.doi.org/10.7717/peerj-cs.753.

Texte intégral

Résumé :

This paper continues the work initiated by the authors on the feasibility of using ParaView as visualization software for the analysis of parallel Computational Fluid Dynamics (CFD) codes’ performance. Current performance tools have limited capacity of displaying their data on top of three-dimensional, framed (i.e., time-stepped) representations of the cluster’s topology. In our first paper, a plugin for the open-source performance tool Score-P was introduced, which intercepts an arbitrary number of manually selected code regions (mostly functions) and send their respective measurements–amount

Styles APA, Harvard, Vancouver, ISO, etc.

40

Endou, Noboru. "Absolutely Integrable Functions." Formalized Mathematics 30, no. 1 (2022): 31–52. http://dx.doi.org/10.2478/forma-2022-0004.

Texte intégral

Résumé :

Summary The goal of this article is to clarify the relationship between Riemann’s improper integrals and Lebesgue integrals. In previous articles [6], [7], we treated Riemann’s improper integrals [1], [11] and [4] on arbitrary intervals. Therefore, in this article, we will continue to clarify the relationship between improper integrals and Lebesgue integrals [8], using the Mizar [3], [2] formalism.

Styles APA, Harvard, Vancouver, ISO, etc.

41

Pąk, Karol. "Tietze Extension Theorem for n-dimensional Spaces." Formalized Mathematics 22, no. 1 (2014): 11–19. http://dx.doi.org/10.2478/forma-2014-0002.

Texte intégral

Résumé :

Summary In this article we prove the Tietze extension theorem for an arbitrary convex compact subset of εn with a non-empty interior. This theorem states that, if T is a normal topological space, X is a closed subset of T, and A is a convex compact subset of εn with a non-empty interior, then a continuous function f : X → A can be extended to a continuous function g : T → εn. Additionally we show that a subset A is replaceable by an arbitrary subset of a topological space that is homeomorphic with a convex compact subset of En with a non-empty interior. This article is based on [20]; [23] and

Styles APA, Harvard, Vancouver, ISO, etc.

42

Weissbrodt, David S., and Brittany Mitchell. "The United Nations Working Group on Arbitrary Detention: Procedures and Summary of Jurisprudence." Human Rights Quarterly 38, no. 3 (2016): 655–705. http://dx.doi.org/10.1353/hrq.2016.0047.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

43

Al-Qarra, H. H. "Geometrically nonlinear finite element analysis of sandwich panels." Aeronautical Journal 92, no. 919 (1988): 356–64. http://dx.doi.org/10.1017/s0001924000016444.

Texte intégral

Résumé :

Summary A displacement-based versatile and effective finite element analysis of sandwich panels is presented. The analysis is applicable to both small and large deflections. Allowance for the local bending stiffness of the faces is made. The procedure described is readily adapted to arbitrary laminated beams and plates. Selected example problems are given to illustrate the applicability of the formulation.

Styles APA, Harvard, Vancouver, ISO, etc.

44

Kieburg, Mario, and Tim R. Würfel. "Global Symmetries of Naive and Staggered Fermions in Arbitrary Dimensions." EPJ Web of Conferences 175 (2018): 04006. http://dx.doi.org/10.1051/epjconf/201817504006.

Texte intégral

Résumé :

It is well-known that staggered fermions do not necessarily satisfy the same global symmetries as the continuum theory. We analyze the mechanism behind this phenomenon for arbitrary dimension and gauge group representation. For this purpose we vary the number of lattice sites between even and odd parity in each single direction. Since the global symmetries are manifest in the lowest eigenvalues of the Dirac operator, the spectral statistics and also the symmetry breaking pattern will be affected. We analyze these effects and compare our predictions with Monte-Carlo simulations of naive Dirac o

Styles APA, Harvard, Vancouver, ISO, etc.

45

TERAGUCHI, SHUNSUKE. "REFORMULATION OF BOUNDARY STRING FIELD THEORY IN TERMS OF BOUNDARY STATE." International Journal of Modern Physics A 23, no. 14n15 (2008): 2281–82. http://dx.doi.org/10.1142/s0217751x08041098.

Texte intégral

Résumé :

We reformulate bosonic boundary string field theory in terms of boundary state. In our formulation, we can formally perform the integration of target space equations of motion for arbitrary field configurations without assuming decoupling of matter and ghost. This is a short summary of our contribution to the international workshop "Progress of String Theory and Quantum Field Theory" at Osaka City University (December 7-10, 2007).

Styles APA, Harvard, Vancouver, ISO, etc.

46

Lopez-Ortiz, A., S. Angelopoulos, and A. M. Hamel. "Optimal Scheduling of Contract Algorithms for Anytime Problem-Solving." Journal of Artificial Intelligence Research 51 (October 31, 2014): 533–54. http://dx.doi.org/10.1613/jair.4360.

Texte intégral

Résumé :

A contract algorithm is an algorithm which is given, as part of the input, a specified amount of allowable computation time. The algorithm must then complete its execution within the allotted time. An interruptible algorithm, in contrast, can be interrupted at an arbitrary point in time, at which point it must report its currently best solution. It is known that contract algorithms can simulate interruptible algorithms using iterative deepening techniques. This simulation is done at a penalty in the performance of the solution, as measured by the so-called acceleration ratio. In this paper we

Styles APA, Harvard, Vancouver, ISO, etc.

47

Svishcheva, Gulnara R., Evgeny S. Tiys, Elizaveta E. Elgaeva, et al. "A Novel Framework for Analysis of the Shared Genetic Background of Correlated Traits." Genes 13, no. 10 (2022): 1694. http://dx.doi.org/10.3390/genes13101694.

Texte intégral

Résumé :

We propose a novel effective framework for the analysis of the shared genetic background for a set of genetically correlated traits using SNP-level GWAS summary statistics. This framework called SHAHER is based on the construction of a linear combination of traits by maximizing the proportion of its genetic variance explained by the shared genetic factors. SHAHER requires only full GWAS summary statistics and matrices of genetic and phenotypic correlations between traits as inputs. Our framework allows both shared and unshared genetic factors to be effectively analyzed. We tested our framework

Styles APA, Harvard, Vancouver, ISO, etc.

48

Nazarov, A. I. "Building an Individual Portrait of the Dynamics of Music Perception Using Time-Frequency Analysis of Summary Skin Potential." Experimental Psychology (Russia) 14, no. 2 (2021): 198–208. http://dx.doi.org/10.17759/exppsy.2021140214.

Texte intégral

Résumé :

The individual dynamics of the emotional component of the perception of musical melodies was studied. The indicators of emotional status were involuntary reactions of the summary skin potential (SSP) and arbitrary clicks by subjects on the “like” or “dislike” buttons while listening to melodies. The frequency of arbitrary button clicks serves as an indicator of the degree of differentiation (detail) of the conscious perception of various elements of the melody. By digital processing of the SSP, its derivatives were obtained — heart rate, median frequency and the RMS amplitude of the SSP as fun

Styles APA, Harvard, Vancouver, ISO, etc.

49

Makarchuk, Volodymyr. "DEATH PENALTY IN SO-CALLED DONETSK AND LUHANSK PEOPLES REPUBLICS: ARBITRARY EXCESSES OF PRO-RUSSIAN REBELS OR “BACK TO THE SOURCES”?" Access to Justice in Eastern Europe 5, no. 4-2 (2022): 1–15. http://dx.doi.org/10.33327/ajee-18-5.4-n000433.

Texte intégral

Résumé :

The article raises the issue of formal “justification” and direct practice of the death penalty in certain areas of Donetsk and Luhansk regions (hereinafter ORDLO) of Ukraine affected by the uprising and subjected to Russian aggression. The first cases of executions of Ukrainian patriots by rebels and their Russian curators (Igor Girkin, Arseniy Pavlov (Motorola), etc.) date back to April 2014. The massacres were carried out mainly out of court – on the orders of field commanders. However, collective courts were seldom held for propaganda purposes, where “saboteurs” and banal marauders and rap

Styles APA, Harvard, Vancouver, ISO, etc.

50

Guadagno, Facundo. "Hayek and the concept of freedom: a summary." Euphyía 18, no. 34 (2024): 42–66. https://doi.org/10.33064/34euph7528.

Texte intégral

Résumé :

This paper examines the pivotal concept of freedom in Friedrich Hayek’s extensive work, which is the foundation for his political, economic, and scientific theories. Hayek’s notion of freedom is multifaceted, encompassing political freedom as the absence of arbitrary coercion, economic freedom as the effective use of dispersed knowledge through market mechanisms, and scientific freedom as the recognition of subjective knowledge and the limits of central planning. The study is divided into three sections: an introduction, a detailed analysis of freedom in Hayek’s works, and a conclusion. By ana

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!