Log in

Relevant bibliographies by topics / Summary or Arbitrary Executions / Journal articles

To see the other types of publications on this topic, follow the link: Summary or Arbitrary Executions.

Journal articles on the topic 'Summary or Arbitrary Executions'

Author: Grafiati

Published: 25 July 2024

Last updated: 31 July 2025

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

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Summary or Arbitrary Executions.'

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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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).

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

40

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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).

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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!