Gotowe bibliografie tematyczne / SUMMARY EXECUTIONS

Gotowa bibliografia na temat „SUMMARY EXECUTIONS”

Autor: Grafiati
Data publikacji: 25 lipca 2024

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Spis treści

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „SUMMARY EXECUTIONS”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "SUMMARY EXECUTIONS"

1

Weissbrodt, David. "The Three “Theme” Special Rapporteurs of the UN Commission on Human Rights". American Journal of International Law 80, nr 3 (lipiec 1986): 685–99. http://dx.doi.org/10.2307/2201794.

Pełny tekst źródła
Streszczenie:
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 its subsequent annual sessions, but has followed this precedent by appointing in 1985 a similar Special Rapporteur on Torture and in 1986 a Special Rapporteur on Intolerance and Discrimination Based on Religion or Belief.
Style APA, Harvard, Vancouver, ISO itp.
2

Rodley, Nigel S. "United Nations Action Procedures against "Disappearances," Summary or Arbitrary Executions, and Torture". Human Rights Quarterly 8, nr 4 (listopad 1986): 700. http://dx.doi.org/10.2307/762199.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Streszczenie:
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 1918.
Style APA, Harvard, Vancouver, ISO itp.
4

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, nr 2 (14.02.2024): e5050. http://dx.doi.org/10.55905/revconv.17n.2-074.

Pełny tekst źródła
Streszczenie:
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 treasury. It then presents how these issues are dealt with in individual enforcement of collective judgments against the public treasury. It concludes that Precedent No. 345 of the STJ is unlawful and inconsistent with other precedents of the STJ itself, with precedents of the STF and with the legal order as a whole. It should therefore be revoked or revised.
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Streszczenie:
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 well suited for projects with a range of computational requirements, including those with large and widely fluctuating loads. Notably, it has been used to process terabytes of data for the 4D Nucleome (4DN) Network. Availability and implementation Source code is available on GitHub at https://github.com/4dn-dcic/tibanna. Supplementary information Supplementary data are available at Bioinformatics online.
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Streszczenie:
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).
Style APA, Harvard, Vancouver, ISO itp.
7

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

Pełny tekst źródła
Streszczenie:
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 executions, and ignited pogroms in the central and western parts of the country.
Style APA, Harvard, Vancouver, ISO itp.
8

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

Pełny tekst źródła
Streszczenie:
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 role of the players. Methods of scoring and attacking zones were also analyzed. Results: There were only slight differences between the two levels in terms of success in different skills. When the skill executions were compared between the winning and losing teams of a set within the levels, less successful skill executions and more errors in different skills were found for the losing teams. Conclusions: The results seem to indicate that there are only minor differences between adult and junior women’s volleyball at the highest level. Attacking seems to be the most important skill concerning winning in both levels. The efficiency of attacking seems to depend upon the quality and versatility of the setting and also from the physical abilities of the players.
Style APA, Harvard, Vancouver, ISO itp.
9

Bartocci, E., M. R. Di Berardini, E. Merelli i L. Vito. "UBioLab: a web-LABoratory for Ubiquitous in-silico experiments". Journal of Integrative Bioinformatics 9, nr 1 (1.03.2012): 12–31. http://dx.doi.org/10.1515/jib-2012-192.

Pełny tekst źródła
Streszczenie:
Summary The huge and dynamic amount of bioinformatic resources (e.g., data and tools) available nowadays in Internet represents a big challenge for biologists -for what concerns their management and visualization- and for bioinformaticians -for what concerns the possibility of rapidly creating and executing in-silico experiments involving resources and activities spread over the WWW hyperspace. Any framework aiming at integrating such resources as in a physical laboratory has imperatively to tackle -and possibly to handle in a transparent and uniform way- aspects concerning physical distribution, semantic heterogeneity, co-existence of different computational paradigms and, as a consequence, of different invocation interfaces (i.e., OGSA for Grid nodes, SOAP for Web Services, Java RMI for Java objects, etc.). The framework UBioLab has been just designed and developed as a prototype following the above objective. Several architectural features -as those ones of being fully Web-based and of combining domain ontologies, Semantic Web and workflow techniques- give evidence of an effort in such a direction.The integration of a semantic knowledge management system for distributed (bioinformatic) resources, a semantic-driven graphic environment for defining and monitoring ubiquitous workflows and an intelligent agent-based technology for their distributed execution allows UBioLab to be a semantic guide for bioinformaticians and biologists providing (i) a flexible environment for visualizing, organizing and inferring any (semantics and computational) “type” of domain knowledge (e.g., resources and activities, expressed in a declarative form), (ii) a powerful engine for defining and storing semantic-driven ubiquitous in-silico experiments on the domain hyperspace, as well as (iii) a transparent, automatic and distributed environment for correct experiment executions.
Style APA, Harvard, Vancouver, ISO itp.
10

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

Pełny tekst źródła
Streszczenie:
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 after the Nazi capitulation. By the end of 1945, Czech soldiers, security forces, and local militias had already expelled over 700,000 Sudeten Germans to occupied Germany and Austria. As many as 30,000 Germans died on forced marches, in disease-filled concentration camps, in summary executions, and massacres.
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "SUMMARY EXECUTIONS"

1

Guo, Shengjian. "Efficient Symbolic Execution of Concurrent Software". Diss., Virginia Tech, 2019. http://hdl.handle.net/10919/89223.

Pełny tekst źródła
Streszczenie:
Concurrent software has been widely utilizing in computer systems owing to the highly efficient computation. However, testing and verifying concurrent software remain challenging tasks. This matter is not only because of the non-deterministic thread interferences which are hard to reason about but also because of the large state space due to the simultaneous path and interleaving explosions. That is, the number of program paths in each thread may be exponential in the number of branch conditions, and also, the number of thread interleavings may be exponential in the number of concurrent operations. This dissertation presents a set of new methods, built upon symbolic execution, a program analysis technique that systematically explores program state space, for testing concurrent programs. By modeling both functional and non-functional properties of the programs as assertions, these new methods efficiently analyze the viable behaviors of the given concurrent programs. The first method is assertion guided symbolic execution, a state space reduction technique that identifies and eliminates redundant executions w.r.t the explored interleavings. The second method is incremental symbolic execution, which generates test inputs only for the influenced program behaviors by the small code changes between two program versions. The third method is SYMPLC, a technique with domain-specific reduction strategies for generating tests for the multitasking Programmable Logic Controller (PLC) programs written in languages specified by the IEC 61131-3 standard. The last method is adversarial symbolic execution, a technique for detecting concurrency related side-channel information leaks by analyzing the cache timing behaviors of a concurrent program in symbolic execution. This dissertation evaluates the proposed methods on a diverse set of both synthesized programs and real-world applications. The experimental results show that these techniques can significantly outperform state-of-the-art symbolic execution tools for concurrent software.
Doctor of Philosophy
Software testing is a technique that runs software as a black-box on computer hardware multiple times, with different inputs per run, to test if the software behavior conforms to the designed functionality by developers. Nowadays, programmers have been increasingly developing multithreaded and multitasking software, e.g., web browser and web server, to utilize the highly efficient multiprocessor hardware. This approach significantly improves the software performance since a large computing job can now decompose to a set of small jobs which can then distribute to concurrently running threads (tasks). However, testing multithreaded (multitask) software is extremely challenging. The most critical problem is the inherent non-determinism. Typically, executing sequential software with the same input data always results in the same output. However, running a multithreaded (multitask) software multiple times, even under the same input data, may yield different output in each run. The root reason is that concurrent threads (tasks) may interleave their running progress at any time; thus the internal software execution order may be altered unexpectedly, causing runtime errors. Meanwhile, finding such faults is difficult, since the number of all possible interleavings can be exponentially growing in the number of concurrent thread (task) operations. This dissertation proposes four methods to test multithreaded/multitask software efficiently. The first method summarizes the already-tested program behaviors to avoid future testing runs that cannot lead to new faults. The second method only tests program behaviors that are impacted by program changes. The third method tests multitask Programmable Logic Controller (PLC) programs by excluding infeasible testing runs w.r.t the PLC semantics. The last method tests non-functional program properties by systematic concurrency analysis. This dissertation evaluates these methods upon a diverse set of benchmarks. The experimental results show that the proposed methods significantly outperform state-of-the-art techniques for concurrent software analysis.
Style APA, Harvard, Vancouver, ISO itp.
2

Guo, Weiting. "The speed of justice : summary execution and legal culture in Qing dynasty China, 1644-1912". Thesis, University of British Columbia, 2016. http://hdl.handle.net/2429/58373.

Pełny tekst źródła
Streszczenie:
This dissertation examines the history of summary execution in the Qing dynasty (1644-1912) and its significant impact upon Chinese politics and legal culture. The practice of this extraordinary punishment initially increased in the eighteenth century, when the Qing Empire encountered the challenges of a growing population, an overburdened judicial system, and an increased number of popular protests. The Qianlong emperor (1711-1799) extensively used expedient procedures and bestowed upon regional authorities the power of summary execution to battle the threats from both borderland and inland—including the emerging underclass and the protesters. However, the problems remained unresolved and the court continued to institutionalize this informal punishment. In the nineteenth century, the increasing social turmoil and continuously overwhelmed judicial system led to several reforms at the regional level. Following the trend of local militarization, the spread of men using force became an inevitable trend. The authorities continued to rely on braves in order to quench local revolts and save government expenditures. Yet this approach blurred the boundary between legality and illegality and forced the authorities to severely punish soldiers and unorganized “roaming braves” (youyong 游勇) through the informal procedure of summary execution. Although the practice of summary execution helped the authorities to overcome the lack of judicial resources and suppress the threats in an efficient manner, it also evaded central authority over death penalty and enhanced political intervention in the judicial process. The extensive use of this punishment created a space for not only the state but also regional authorities and local forces to manipulate judicial expediency and the death penalty. It also led to the rise of what I call the “economy of punishment”—the spread and distribution of penal resources related to crime and violence. This trend shifted the practice of Chinese death penalty toward a system where routinized and exceptional, centralized and decentralized, and formal and informal forces consistently negotiated judicial expediency and mutually shaped one another. More importantly, it reveals that a series of significant reforms predated the Westernization of law and continued to influence Chinese criminal justice during the first half of the twentieth century.
Arts, Faculty of
Asian Studies, Department of
Graduate
Style APA, Harvard, Vancouver, ISO itp.

Książki na temat "SUMMARY EXECUTIONS"

1

Rights, United Nations Centre for Human. Summary or arbitrary executions. New York: Centre for Human Rights, United Nations, 1990.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

United Nations Centre for Human Rights. Extrajudicial, summary or arbitrary executions. New York: Centre for Human Rights, United Nations, 1997.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

United Nations Centre for Human Rights. Extrajudicial, summary or arbitrary executions. Geneva: United Nations, 1997.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

United Nations. Centre for Human Rights., red. Extrajudicial, summary or arbitrary executions. Geneva: United Nations Centre for Human Rights, 1997.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Marcato, Antônio Carlos. O processo monitório brasileiro. São Paulo, SP: Malheiros Editores, 1998.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Schneider, Roman. Der Mahnbescheid und seine Vollstreckung. Wyd. 3. Stuttgart: R. Boorberg, 1993.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Jiménez, Carlos Manuel Martín. Teoría y práctica del proceso monitorio: Comentarios y formularios. Wyd. 2. Valladolid: Lex Nova, 2013.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Danāṣūrī, ʻIzz al-Dīn. al- Qaḍāʼ al-mustaʻjal wa-qaḍāʼ al-tanfīdh: Fī ḍawʼ al-fiqh wa-al-qaḍāʼ. [Cairo]: Nādī al-Quḍāh, 1986.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

ʻĪd, Ilyās Abū. Namādhij daʻāwá al-tanfīdh wa-al-qaḍāʼ al-mustaʻjal: Istiḥḍār, laʼiḥah jawabīyah, mudhakkīrah, mushkilah tanfidhīyah, iʻtirāḍ maʻa taʻlīq ʻalá aḥkām. [Beirut]: I. Abū ʻĪd, 1992.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

United Nations. Special Rapporteur on Extrajudicial, Summary, or Arbitrary Executions. Evidence of extrajudicial, summary, or arbitrary executions in Africa. The Gambia, West Africa: African Centre for Democracy and Human Rights Studies, 1994.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Części książek na temat "SUMMARY EXECUTIONS"

1

Vasudevan, Amit, Jonathan M. McCune i James Newsome. "Summary". W Trustworthy Execution on Mobile Devices, 59. New York, NY: Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4614-8190-4_8.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Kretschmar, Thomas, i Andreas Hamburger. "Summary and prospects". W Psychodynamic Coaching and Supervision for Executives, 121–22. London: Routledge, 2021. http://dx.doi.org/10.4324/9781003169673-7.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Lokuciejewski, Paul, i Peter Marwedel. "Summary and Future Work". W Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems, 229–34. Dordrecht: Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-90-481-9929-7_8.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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". W Psychoanalytic, Psychosocial, and Human Rights Perspectives on Enforced Disappearance, 96–112. London: Routledge, 2023. http://dx.doi.org/10.4324/9781003312642-9.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Малярчук, Любов Сергіївна. "Глава 14. Оскарження рішень, дій або бездіяльності виконавців та посадових осіб органів державної виконавчої служби до суду цивільної юрисдикції". W Серія «Процесуальні науки», 479–507. Київ, Україна: Видавництво "Алерта", 2023. http://dx.doi.org/10.59835/978-617-566-770-5-3-14.

Pełny tekst źródła
Streszczenie:
An analysis of the subjects, the procedure and time limits for appealing to a court of civil jurisdiction with a complaint against the decision, action or inaction of a state executor or other official of a state executive service body or a private executor was carried out, and the procedure for consideration of relevant complaints in the civil court procedure was regarded, as well as the procedural form was studied resolution of this issue by the court. The problem of demarcating the jurisdiction of courts regarding the resolution of such categories of cases was studied, in particular, when appealing the decisions of the state executor on the collection of the enforcement fee and the private executor on the collection of the main fee, their decisions on the collection of costs of enforcement proceedings and fines; when filing complaints about decisions, action, inaction in the execution of decisions of non-judicial bodies and other officials, as well as when appealing decisions, actions of inaction in summary executive proceedings and appealing reports of subjects of assessment activity.It is summarized that such an option, which involves determining the jurisdiction of the court precisely by the type of executive document, ta­king into account which court or other body (official) it was issued, is the most optimal, because all other procedural issues that arise during the execution of the decision in the majority cases are decided accor­ding to this criterion. In particular, as we noted at the beginning, this rule should apply to all subjects of enforcement proceedings, and not to further demarcate jurisdiction based on their status. In addition, we do not even consider it expedient to attribute to the competence of administrative courts not only the consideration of complaints against the decisions of the state executor on the collection of the executive fee and the private executor on the collection of the basic remuneration, their decisions on the collection of the costs of the executive proceedings and fines, but also complaints about the decisions, actions, inaction in the execution of decisions of non-judicial bodies and other officials, since a court of civil jurisdiction is also involved in the execution of certain procedural issues. In view of this, it is justified to use a unified approach in all si­tuations related to the enforcement of the decision of the same body or official, and at the same time apply for their settlement to the same court.
Style APA, Harvard, Vancouver, ISO itp.
6

Wägemann, Peter. "Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems". W Ernst Denert Award for Software Engineering 2020, 227–47. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-83128-8_11.

Pełny tekst źródła
Streszczenie:
AbstractThe reliable operation of systems with both timing and energy requirements is a fundamental challenge in the area of safety-critical embedded systems. In order to provide guarantees for the execution of tasks within given resource budgets, these systems demand bounds of the worst-case execution time (WCET) and the worst-case energy consumption (WCEC). While static WCET analysis techniques are well established in the software development process of real-time systems nowadays, these program analysis techniques are not directly applicable to the fundamentally different behavior of energy consumption and the determination of the WCEC. Besides the missing approaches for WCEC bounds, the domain of worst-case analyses generally faces the problem that the accuracy and validity of reported analysis bounds are unknown: Since the actual worst-case resource consumption of existing benchmark programs cannot be automatically determined, a comprehensive validation of these program analysis tools is not possible.This summary of my dissertation addresses these problems by first describing a novel program analysis approach for WCEC bounds, which accounts for temporarily power-consuming devices, scheduling with fixed real-time priorities, synchronous task activations, and asynchronous interrupt service routines. Regarding the fundamental problem of validating worst-case tools, this dissertation presents a technique for automatically generating benchmark programs. The generator combines program patterns so that the worst-case resource consumption is available along with the generated benchmark. Knowledge about the actual worst-case resource demand then serves as the baseline for evaluating and validating program analysis tools. The fact the benchmark generator helped to reveal previously undiscovered software bugs in a widespread WCET tool for safety-critical systems underlines the relevance of such a structured testing technique.
Style APA, Harvard, Vancouver, ISO itp.
7

Keidel, Sven, Dominik Helm, Tobias Roth i Mira Mezini. "A Modular Soundness Theory for the Blackboard Analysis Architecture". W Programming Languages and Systems, 361–90. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57267-8_14.

Pełny tekst źródła
Streszczenie:
AbstractSound static analyses are an important ingredient for compiler optimizations and program verification tools. However, mathematically proving that a static analysis is sound is a difficult task due to two problems. First, soundness proofs relate two complicated program semantics (the static and the dynamic semantics) which are hard to reason about. Second, the more the static and dynamic semantics differ, the more work a soundness proof needs to do to bridge the impedance mismatch. These problems increase the effort and complexity of soundness proofs. Existing soundness theories address these problems by deriving both the dynamic and static semantics from the same artifact, often called generic interpreter. A generic interpreter provides a common structure along which a soundness proof can be composed, which avoids having to reason about the analysis as a whole. However, a generic interpreter restricts which analyses can be derived, as all derived analyses must roughly follow the program execution order.To lift this restriction, we develop a soundness theory for the blackboard analysis architecture, which is capable of describing backward, demand-driven, and summary-based analyses. The architecture describes static analyses with small independent modules, which communicate via a central store. Soundness of a compound analysis follows from soundness of all of its modules. Furthermore, modules can be proven sound independently, even though modules depend on each other. We evaluate our theory by proving soundness of four analyses: a pointer and call-graph analysis, a reflection analysis, an immutability analysis, and a demand-driven reaching definitions analysis.
Style APA, Harvard, Vancouver, ISO itp.
8

Schoen, Adam, Gautam Saripalli, Seyedali Hosseinirad, Parva Kumar Sharma, Anmol Kajla, Inderjit Singh Yadav i Vijay Tiwari. "Genome Sequences from Diploids and Wild Relatives of Wheat for Comparative Genomics and Alien Introgressions". W Compendium of Plant Genomes, 241–63. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-38294-9_12.

Pełny tekst źródła
Streszczenie:
AbstractBread wheat is an important food source worldwide, contributing ~20% of the caloric intake per person worldwide. Due to a domestication bottleneck and highly selective breeding for key traits, modern wheat cultivars have a narrow genetic base. Wheat production faces several challenges due to both abiotic and biotic stresses as well as changing climatic conditions and genetic improvement of wheat is generally considered to be the most sustainable approach to develop climate resilient cultivars with improved yield and end-use traits. Since wheat cultivars and landraces have been explored extensively to identify novel genes and alleles, one way to overcome these pitfalls is by looking into the proverbial treasure trove of genomic diversity that is present in wheat’s wild relatives. These wild relatives hold reservoirs of genes that can confer broad-spectrum resistance to pathogens, increase yield, provide additional nutrition, and improve dough quality. Genetic approaches and techniques have existed to introgress wild chromatin to bread wheat, as well as trace introgressions present in the germplasm for over 7 decades. However with the availability of NGS technologies, it is now easier to detect and efficiently integrate the genetic diversity that lies within wheat’s gene pools into breeding programs and research. This chapter provides a concise explanation of current technologies that have allowed for the progression of genomic research into wheat’s primary, secondary, and tertiary gene pools, as well as past technologies that are still in use today. Furthermore, we explore resources that are publicly available that allow for insight into genes and genomes of wheat and its wild relatives, and the application and execution of these genes in research and breeding. This chapter will give an up-to-date summary of information related with genomic resources and reference assemblies available for wheat’s wild relatives and their applications in wheat breeding and genetics.
Style APA, Harvard, Vancouver, ISO itp.
9

Frank, Stephen P. "Unofficial Justice and Community in Rural Russia, 1856–1914". W Global Lynching and Collective Violence. University of Illinois Press, 2017. http://dx.doi.org/10.5622/illinois/9780252041389.003.0003.

Pełny tekst źródła
Streszczenie:
In this chapter, Weiting Guo examines the history of extralegal executions in modern China. From the mid-nineteenth century to the mid-twentieth century, China witnessed the largest number of summary executions annually in its history. The extensive use of this extraordinary procedure in conjunction with the regular public executions by political regimes, local officials, and militia had considerable influence on modern Chinese legal culture. Drawing on a wide range of archival sources, Guo challenges the view that the prevalence of summary execution constituted merely instances of “lawlessness” and “abuses” of punishment. Guo argues by contrast that the approach of judicial economy, the competition between central and local governments, the continued trend of local militarization, and the ideology of popular justice all contributed to the “sanctioned” practice of summary execution. Moreover, Guo asserts that after the late 1830s, the practice of summary execution transformed from merely “expediency” in judicial procedure to extensive “exclusion” of local roughs or subversives that were perceived as evil or worthless.
Style APA, Harvard, Vancouver, ISO itp.
10

"Appendix 1 Case List of Lynchings and Summary Executions". W Lynching in the West, 205–28. Duke University Press, 2020. http://dx.doi.org/10.1515/9780822388241-010.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "SUMMARY EXECUTIONS"

1

Yi, Qiuping, Junye Wen i Guowei Yang. "Summary-guided incremental symbolic execution". W ICSE '20: 42nd International Conference on Software Engineering. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3377812.3390895.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Paul, Avik, i Rajeev Kumar. "Precise dynamic slicing using execution-summary". W the 2007 ACM symposium. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1244002.1244288.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Hönig, Wolfgang, T. K. Satish Kumar, Liron Cohen, Hang Ma, Hong Xu, Nora Ayanian i Sven Koenig. "Summary: Multi-Agent Path Finding with Kinematic Constraints". W Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/684.

Pełny tekst źródła
Streszczenie:
Multi-Agent Path Finding (MAPF) is well studied in both AI and robotics. Given a discretized environment and agents with assigned start and goal locations, MAPF solvers from AI find collision-free paths for hundreds of agents with user-provided sub-optimality guarantees. However, they ignore that actual robots are subject to kinematic constraints (such as velocity limits) and suffer from imperfect plan-execution capabilities. We therefore introduce MAPF-POST to postprocess the output of a MAPF solver in polynomial time to create a plan-execution schedule that can be executed on robots. This schedule works on non-holonomic robots, considers kinematic constraints, provides a guaranteed safety distance between robots, and exploits slack to avoid time-intensive replanning in many cases. We evaluate MAPF-POST in simulation and on differential-drive robots, showcasing the practicality of our approach.
Style APA, Harvard, Vancouver, ISO itp.
4

Knight, Kelly J., Joel Peltier i Jon M. Berkoe. "V&V Application on Private and U. S. Government Projects". W ASME 2009 Fluids Engineering Division Summer Meeting. ASMEDC, 2009. http://dx.doi.org/10.1115/fedsm2009-78142.

Pełny tekst źródła
Streszczenie:
This paper will discuss the application of verification and validation (V&V) on both private and US government sponsored projects. Application of V&V for business and legal purposes is very tightly defined when executing a project compared to the open ended research of V&V performed in national laboratories and academia. Major purchases on the order of millions to hundreds of millions of dollars depend upon an accurate V&V if the calculation supporting the purchase involves a simulated solution or design. Examples of application will be given to illustrate the use of V&V within projects. The examples will motivate a discussion on the future needs and directions of the business industry from the larger V&V community. It is hoped that this discussion will promote greater interaction between the national labs, academia and business to help develop methodologies, consistencies and directions of effort that will support execution of the V&V process in the business sector.
Style APA, Harvard, Vancouver, ISO itp.
5

Caprio, Joseph L., Patricia Jacobs i Clifford Whitcomb. "An Investigation into Execution Delays During Naval Vessels’ Availabilities". W SNAME Maritime Convention. SNAME, 2012. http://dx.doi.org/10.5957/smc-2012-p20.

Pełny tekst źródła
Streszczenie:
The U.S. Naval Shipyards’ schedules revolve around the planning and execution of Naval vessel “availabilities,” essential maintenance periods during the life of a vessel with the purpose of maintaining and improving the operational readiness and its fighting ability. Because of the high operational tempo for Naval vessels today, the four public Naval shipyards are continually challenged to complete depot-level availabilities on schedule. In order to support the completion of availabilities in a timely manner, this article presents a summary of execution delays (known as work stoppages), and an analysis on the impact of work stoppages during the execution phase. The work stoppage data are summarized to display possible trends based on the mean length and quantity of work stoppages across multiple availabilities, and possible predictors of availability lateness using a timed based metric are further investigated. The analysis of the data suggests that although no simple association exist between the quantity or length of work stoppage and the lateness of an availability, availabilities that finish on schedule tend to have had fewer work stoppages before the start of the availability as compared to the later finishing availabilities, signifying the importance of a complete and thoroughly supported availability plan. This study assists the Naval shipyard leadership in understanding a contributing factor to availability lateness and can be applied to the shipyard maintenance community in which delays are experienced throughout a project.
Style APA, Harvard, Vancouver, ISO itp.
6

Ryndin, Maksim. "Deterministic Replay of Program Execution Based on Valgrind Framework". W Spring/Summer Young Researchers' Colloquium on Software Engineering. Institute for System Programming of the Russian Academy of Sciences, 2012. http://dx.doi.org/10.15514/syrcose-2012-6-26.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

King, Gregory W., i Carl W. Luchies. "The Role of Knee Extensor Strength in Balance-Restoring Step Initiation and Execution". W ASME 2008 Summer Bioengineering Conference. American Society of Mechanical Engineers, 2008. http://dx.doi.org/10.1115/sbc2008-192961.

Pełny tekst źródła
Streszczenie:
A stepping response is often used to restore balance following a fall. Using laboratory-induced balance perturbations, various researchers have reported age-related alterations in balance recovery step characteristics including earlier step liftoff time [1; 2], shorter step length [1; 3], and longer step duration [2]. Such age-related changes in the step response may be related to older adults’ reduced strength reserve, which is prominent in the lower extremities [4] and therefore likely plays an important role in balance recovery.
Style APA, Harvard, Vancouver, ISO itp.
8

Malafeyev, Oleg, Nadezhda Redinskikh, Irina Zaitseva, Elena Rubtsova, Irina Bogolyubova i Elena Ostapenko. "Optimal Sequence of Financial Projects Execution". W 2023 5th International Conference on Control Systems, Mathematical Modeling, Automation and Energy Efficiency (SUMMA). IEEE, 2023. http://dx.doi.org/10.1109/summa60232.2023.10349675.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Khalifa, H. Ezzat, i Mustafa Koz. "Numerical Investigation of the Freezing of a Phase Change Material in a Thermal Storage Device With an Embedded Evaporator". W ASME 2016 Heat Transfer Summer Conference collocated with the ASME 2016 Fluids Engineering Division Summer Meeting and the ASME 2016 14th International Conference on Nanochannels, Microchannels, and Minichannels. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/ht2016-7409.

Pełny tekst źródła
Streszczenie:
Two time-dependent mathematical and numerical models with different levels of complexity and fidelity were developed to investigate the freezing of a PCM configured as a slab with an embedded serpentine microchannel evaporator of a vapor compression refrigeration system. The time-dependent PCM freezing process was first analyzed using finite-element modeling (FEM) of a representative 2-D domain. This model incorporates 2-D conduction and natural convection within the molten PCM. The FEM revealed that natural convection is negligible and that the freezing front advances in essentially 1-D fashion. However, the long execution time of FEM makes it unsuitable for repetitive design optimization of thermal storage devices. Consequently, a fast-executing quasi 2-D reduced-order model (ROM) was developed. The ROM is then utilized to study the freezing process in a multi-slab thermal storage device that is designed to store ∼500 W-h of “cooling” during ∼8 h of freezing operation at night, to be subsequently released for local cooling of room air during the day. The results show that (1) freezing rate is strongly affected by the frozen PCM thermal conductivity; (2) freezing almost ceases once the refrigerant is fully evaporated; (3) refrigerant exit quality drops precipitously toward the end of the freezing cycle.
Style APA, Harvard, Vancouver, ISO itp.
10

Law, Chung Teck, Engku Ali Aminulhakim Engku M. Shukri, Sukhveender Singh Sukhdev Singh, Sarah, Suet Hoey Lim i Abdul Aziz Muhamad. "Penta Source 3D Marine Acquisition in the Sarawak Basin, Malaysia". W International Petroleum Technology Conference. IPTC, 2022. http://dx.doi.org/10.2523/iptc-21887-ea.

Pełny tekst źródła
Streszczenie:
Abstract Summary The hunt for more data at lesser the cost is a never-ending quest in the world of seismic acquisition. The latest offered solution in that vein – multisource 3D marine acquisition Here, we present the first-ever penta source 3D Marine Acquisition to be adopted commercially in Malaysian waters, largest survey area of its kind to date ~ 6920 sqkm of data in total. This paper provides an overview of the execution and the outline of the challenges faced, and adaptations made to absolve it, in both acquiring and processing the penta source data. The results are compared with pre-existing legacy data, and with it, recommendations for better acquisition efficiency and processing results.
Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "SUMMARY EXECUTIONS"

1

P.C. Hildebrandt. Summary of Differences in Approach to Executing the NGNP Project. Office of Scientific and Technical Information (OSTI), sierpień 2010. http://dx.doi.org/10.2172/991884.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

REEP, I. E. Hanford Site Environment Safety and Health (ES and H) FY 1999 and FY 2000 Execution Commitment Summary. Office of Scientific and Technical Information (OSTI), grudzień 1999. http://dx.doi.org/10.2172/798798.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Siefman, D., J. Norris, C. Percher i D. Heinrichs. IER-580 CED-3b: Experiment Execution Summary for the Pulsed-Neutron Die-Away Experiments (PNDA) with H2O. Office of Scientific and Technical Information (OSTI), marzec 2024. http://dx.doi.org/10.2172/2335564.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

REEP, I. E. Richland Operations (DOE-RL) Environmental Safety Health (ES and H) FY 2000 and FY 2001 Execution Commitment Summary. Office of Scientific and Technical Information (OSTI), grudzień 2000. http://dx.doi.org/10.2172/805621.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Siefman, D., W. Zywiec, R. Araj, C. Percher i D. Heinrichs. IER-501 CED-3b: Experiment Execution Summary for the Pulsed-Neutron Die-¬Away Experimental Testbed for Thermal Scattering Law Benchmarks (PNDA). Office of Scientific and Technical Information (OSTI), wrzesień 2022. http://dx.doi.org/10.2172/1959674.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Siefman, Daniel, William Zywiec, Ruby Araj, Catherine Percher i David Heinrichs. IER-501 CED-3b: Experiment Execution Summary for the Pulsed-Neutron Die-Away Experimental Testbed for Thermal Scattering Law Benchmarks (PNDA). Office of Scientific and Technical Information (OSTI), wrzesień 2022. http://dx.doi.org/10.2172/1906118.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Deal, Jennifer, Kristin Cullen, Sarah Stawiski, William Gentry i Marian Ruderman. World Leadership Survey Biannual Report on Employee Commitment and Engagement 2013–2014. Center for Creative Leadership, 2015. http://dx.doi.org/10.35613/ccl.2015.2048.

Pełny tekst źródła
Streszczenie:
" From the Executive Summary: ""The purpose of the World Leadership Survey (WLS) is to provide a window into how professionals, managers, and executives view their life within the organization. This view of the employee experience will help leaders of organizations understand what employees experience, and what the organization can do to improve commitment and reduce turnover. The good news for organizations in the United States and Canada (the sample for this report) is that respondents are mostly committed to their organizations, satisfied with their jobs and their pay, work more than the typical 40-hour workweek, and do not currently intend to leave their jobs. The professionals, managers, and executives surveyed feel supported by their organization and by their direct supervisor, and think that their organizations are economically stable. Unfortunately they also feel overloaded, with their work disproportionately interfering with the rest of life, and that there is a high level of political behavior within their organization. Both overload and overt political behavior can reduce individual and organizational effectiveness. This report describes the current employee experience, and what organizations can focus on to maintain and improve commitment and engagement."
Style APA, Harvard, Vancouver, ISO itp.
8

Teranishi, Keita, Keita Teranishi i Robert L. Clay. FY18 ASC CSSE L2 Milestone 6362: Local Failure Local Recovery (LFLR) Resiliency for Asynchronous Many Task (AMT) Programming and Execution Models: Executive Summary. Office of Scientific and Technical Information (OSTI), wrzesień 2018. http://dx.doi.org/10.2172/1493835.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Abdolmaleki, Kourosh, i Andrew Rawlinson. PR-453-134504-R02 Pipeline On-Bottom Stability Software Upgrade Milestone II. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), lipiec 2016. http://dx.doi.org/10.55274/r0010868.

Pełny tekst źródła
Streszczenie:
The scope of work for phase I of PR-453-134504 included implementation of the Verley and Lund [1] clay soil model in Level 2 of the PRCI on-bottom stability (OBS) software. Throughout the implementation process, a number of apparent discrepancies between the code and the documentation in relation to the pipe-soil interaction (PSI) model were identified and raised with PRCI. In Phase 2 INTECSEA was tasked to formalize these observations and provide more background information to PRCI for further clarification. The execution strategy was to host a series of meetings with a focused group of PRCI team members to review various topics of soil model in Level 2 and prepare a technical note that captures the issues discussed. This document presents the technical note on the PSI topics and clarifies INTECSEA's suggestions for further work on this matter. A summary of the technical queries along with ITS recommendation is presented in Table 1-1. Further detail on each topic is available within the report.
Style APA, Harvard, Vancouver, ISO itp.
10

Teranishi, Keita, Keita Teranishi i Robert L. Clay. FY18 ASC P&EM L2 Milestone 6362: Local Failure Local Recovery (LFLR) Resiliency for Asynchronous Many Task (AMT) Programming and Execution Models: Executive Summary. Office of Scientific and Technical Information (OSTI), wrzesień 2018. http://dx.doi.org/10.2172/1475107.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „SUMMARY EXECUTIONS” dla poszczególnych typów źródeł:
Artykuły w czasopismach Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii