Готові списки джерел за темами / Assertion abstraction

Зміст

  1. Статті в журналах
  2. Дисертації
  3. Книги
  4. Частини книг
  5. Тези доповідей конференцій

Добірка наукової літератури з теми "Assertion abstraction"

Автор: Grafiati
Опубліковано: 11 березня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Assertion abstraction".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Assertion abstraction"

1

Uchevler, Bahram N., and Kjetil Svarstad. "Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions." International Journal of Reconfigurable Computing 2018 (July 10, 2018): 1–25. http://dx.doi.org/10.1155/2018/3276159.

Повний текст джерела
Анотація:
With the increasing design and production costs and long time-to-market for Application Specific Integrated Circuits (ASICs), implementing digital circuits on reconfigurable hardware is becoming a more common practice. A reconfigurable hardware combines the flexibility of the software domain with the high performance of the hardware domain and provides a flexible life cycle management for the product with a lower cost. A complete design and assertion-based verification flow for Run-Time Reconfigurable (RTR) designs using functional programming abstractions of Haskell are proposed in this article, in which partially reconfigurable hardware is used as the implementation platform. The proposed flow includes modelling of RTR designs in high levels of abstraction by using higher-order functions and polymorphism in Haskell, as well as their implementation on partially reconfigurable Field Programmable Gate Arrays (FPGAs). Assertion-based verification (ABV) is used as the verification approach which is integrated in the early stages of the design flow. Assertions can be used to verify specifications of designs in different verification methods such as simulation-based and formal verification. A partitioning algorithm is proposed for clustering the assertion-checker circuits to implement the verification circuits in a limited reconfigurable area in the target FPGA. The proposed flow is evaluated by using example designs on a Zynq FPGA as the hardware/software implementation platform.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Zheng, Desheng, Xiaoyu Li, Guowu Yang, Hai Wang, and Lulu Tian. "An assertion graph based abstraction algorithm in GSTE and Its application." Integration 63 (September 2018): 1–8. http://dx.doi.org/10.1016/j.vlsi.2018.03.009.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

AUGUSTON, M., and P. FRITZSON. "PARFORMAN—AN ASSERTION LANGUAGE FOR SPECIFYING BEHAVIOR WHEN DEBUGGING PARALLEL APPLICATIONS." International Journal of Software Engineering and Knowledge Engineering 06, no. 04 (December 1996): 609–40. http://dx.doi.org/10.1142/s0218194096000259.

Повний текст джерела
Анотація:
PARFORMAN (PARallel FORMal ANnotation language) is a high-level specification language for expressing intended behavior or known types of error conditions when debugging or testing parallel programs. Models of intended or faulty target program behavior can be succinctly specified in PARFORMAN. These models are then compared with the actual behavior in terms of execution traces of events, in order to localize possible bugs. PARFORMAN can also be used as a general language for expressing computations over target program execution histories. PARFORM AN is based on a precise model of target program behavior. This model, called H-space (History-space), is formally defined through a set of general axioms about three basic relations, which may or may not hold between two arbitrary events: they may be sequentially ordered (SEQ), they may be parallel (PAR), or one of them might be included in another composite event (IN). The general notion of composite event is exploited systematically, which makes possible more powerful and succinct specifications. The notion of event grammar is introduced to describe allowed event patterns over a certain application domain or language. Auxiliary composite events such as Snapshots are introduced to be able to define the notion “occurred at the same time” at suitable levels of abstraction. Finally, patterns and aggregate operations on events are introduced to make possible short and readable specifications. In addition to debugging and testing, PARFORMAN can also be used to specify profiles and performance measurements.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Revoy, Bert. "Jevons on measurement. Replay: The mathematisation of economics in the Jevonsonian theory." Recherches économiques de Louvain 64, no. 3 (1998): 353–56. http://dx.doi.org/10.1017/s0770451800012860.

Повний текст джерела
Анотація:
The article entitled, “Jevons on measurement: A comment” (Mosselmans [1998]), betrays a lack of comprehension of the Jevonsonian process of productive abstraction of numbers. This misapprehension is clearly apparent when B. Mosselmans wrongly confuses units for numbers. This especially furthers the circumvention of the Jevonsonian idea according to which the world is ruled by numbers.Utility is not a measurable magnitude, yet it is impossible to feature it in the theory of exchange? Jevons responds by the negative. In his view, it does exist a general theory concerning the mathematical expression of magnitude that is not measurable. This assertion is found in the Theory of Political Economy and in The Principle of Science.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Alimi, Nejmeddine, Younes Lahbib, Mohsen Machhout, and Rached Tourki. "Functional Verification of Large-integers Circuits using a Cosimulation-based Approach." International Journal of Electrical and Computer Engineering (IJECE) 7, no. 4 (August 1, 2017): 2192. http://dx.doi.org/10.11591/ijece.v7i4.pp2192-2205.

Повний текст джерела
Анотація:
Cryptography and computational algebra designs are complex systems based on modular arithmetic and build on multi-level modules where bit-width is generally larger than 64-bit. Because of their particularity, such designs pose a real challenge for verification, in part because large-integer’s functions are not supported in actual hardware description languages (HDLs), therefore limiting the HDL testbench utility. In another hand, high-level verification approach proved its efficiency in the last decade over HDL testbench technique by raising the latter at a higher abstraction level. In this work, we propose a high-level platform to verify such designs, by leveraging the capabilities of a popular tool (Matlab/Simulink) to meet the requirements of a cycle accurate verification without bit-size restrictions and in multi-level inside the design architecture. The proposed high-level platform is augmented by an assertion-based verification to complete the verification coverage. The platform experimental results of the testcase provided good evidence of its performance and re-usability.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Menis, Susanna. "How to Write a Positivist Legal History: Lessons from the 18th and 19th Centuries English Jurists William Blackstone and James Fitzjames Stephen." Histories 1, no. 3 (August 12, 2021): 169–83. http://dx.doi.org/10.3390/histories1030017.

Повний текст джерела
Анотація:
This paper is about the shaping of the law understood as a positivist enterprise. Positivist law has been the object of contentious debate. Since the 1960s, and with the surfacing of revisionist histories, it has been suggested that the abstraction of the doctrine of criminal law is due to its categorisation in early histories. However, it is argued here that positivism was hardly an intentional master plan of autocratic social control. Rather, it is important to recognise that historians do not provide a value-free recount of history. This paper examines this assertion by drawing on the writings of the English jurists William Blackstone and his work Commentaries on the Law of England (1765), and James Fitzjames Stephen’s A History of the Criminal Law of England (1883). Taking these scholars not as mere a-historical writers but reflecting on the fact that they inevitably ‘functioned’ as conduits of their own social practise opens an inquiry into the social response to a social need, which was already under way long before their time.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Biro, Andrew. "Reading a water menu: Bottled water and the cultivation of taste." Journal of Consumer Culture 19, no. 2 (July 12, 2017): 231–51. http://dx.doi.org/10.1177/1469540517717779.

Повний текст джерела
Анотація:
The market for bottled water is growing and increasingly segmented. How do we explain not just the willingness to pay for a substance (water) that is almost free but also the increasing discernment in a drink generally considered tasteless? We argue that bottled water market segmentation is a leading edge of processes of water commodification, associated with the crisis of Fordism and rise of consumerist capitalism, where the assertion of status through commodity consumption is increasingly necessary. The extensive Ray’s & Stark water menu is analyzed to show how the taste for bottled waters is cultivated. In the menu, references to gustatory sensation are limited. Instead, the tastefulness of water inheres in the distance from anthropogenic influence, made visible through scientific (geological) discourses. The tension between the desire to consume unmediated nature and the scientific abstraction necessary to recognize it reveals the social character of the taste for bottled waters. The highly refined sense of taste that the water menu’s readers are presumed to have is a reflection of consumerist capitalism’s distinctive ways of reproducing socio-economic inequality and metabolizing non-human nature.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

van Rooij, Malou. "Carefully Constructed Yet Curiously Real: How Major American Animation Studios Generate Empathy Through a Shared Style of Character Design." Animation 14, no. 3 (November 2019): 191–206. http://dx.doi.org/10.1177/1746847719875071.

Повний текст джерела
Анотація:
Contemporary computer-animated films by the major American animation studios Pixar, Disney and DreamWorks are often described as evoking (extremely) emotional responses from their ever-growing audiences. Following Murray Smith’s assertion that characters are central to comprehending audiences’ engagement with narratives in Engaging Characters: Fiction, Emotion, and the Cinema (1995), this article points to a specific style of characterization as a possible reason for the overwhelming emotional response to and great success of these films, exemplified in contemporary examples including Inside Out (Pete Docter and Ronnie del Carmen, 2015), Big Hero 6 (Don Hall and Chris Williams, 2014) and How to Train Your Dragon (Chris Sanders and Dean DeBlois, 2010). Drawing on a variety of scholarly work including Stephen Prince’s ‘perceptual realism’, Scott McCloud’s model of ‘amplification through simplification’ and Masahiro Mori’s Uncanny Valley theory, this article will argue how a shared style of character design – defined as a paradoxical combination of lifelikeness and abstraction – plays a significant role in the empathetic potential of these films. This will result in the proposition of a new and reverse phenomenon to Mori’s Uncanny Valley, dubbed the Pixar Peak, where, as opposed to a steep drop, audiences reach a climactic height in empathy levels when presented with this specific type of characterization.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

GARCÍA-CONTRERAS, ISABEL, JOSÉ F. MORALES, and MANUEL V. HERMENEGILDO. "Semantic code browsing." Theory and Practice of Logic Programming 16, no. 5-6 (September 2016): 721–37. http://dx.doi.org/10.1017/s1471068416000417.

Повний текст джерела
Анотація:
AbstractProgrammers currently enjoy access to a very high number of code repositories and libraries of ever increasing size. The ensuing potential for reuse is however hampered by the fact that searching within all this code becomes an increasingly difficult task. Most code search engines are based on syntactic techniques such as signature matching or keyword extraction. However, these techniques are inaccurate (because they basically rely on documentation) and at the same time do not offer very expressive code query languages. We propose a novel approach that focuses on querying for semantic characteristics of code obtained automatically from the code itself. Program units are pre-processed using static analysis techniques, based on abstract interpretation, obtaining safe semantic approximations. A novel, assertion-based code query language is used to express desired semantic characteristics of the code as partial specifications. Relevant code is found by comparing such partial specifications with the inferred semantics for program elements. Our approach is fully automatic and does not rely on user annotations or documentation. It is more powerful and flexible than signature matching because it is parametric on the abstract domain and properties, and does not require type definitions. Also, it reasons with relations between properties, such as implication and abstraction, rather than just equality. It is also more resilient to syntactic code differences. We describe the approach and report on a prototype implementation within the Ciao system.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Harriger, Katy J. "In Defense of Cooper v. Aaron: Distinguishing among Judicial Supremacy Claims." Review of Politics 78, no. 3 (2016): 443–65. http://dx.doi.org/10.1017/s0034670516000346.

Повний текст джерела
Анотація:
AbstractIn the debate about the legitimacy of judicial supremacy, Cooper v. Aaron, the Little Rock desegregation case, is identified by both sides as critical to their argument. Defenders insist that Cooper exemplifies the need for a final authority in matters constitutional. Critics argue that the Court was wrong as a matter of democratic theory or empirical reality. In this article I argue that while it is true as a matter of empirical reality that the Court's interpretation is not the final word, the Court's assertion can be defended nonetheless. Relying on archival sources from the case, I explore the conditions under which the Court made the claim. To defend Cooper, however, does not require the defense of all assertions of judicial supremacy. I conclude by offering a preliminary analysis of how we might distinguish between more legitimate assertions of judicial supremacy and less legitimate ones.
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Дисертації з теми "Assertion abstraction"

1

Steininger, Thomas. "Automated assertion transformation across multiple abstraction levels." kostenfrei, 2009. https://mediatum2.ub.tum.de/node?id=676680.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Esen, Volkan. "A new assertion language covering multiple levels of abstraction." kostenfrei, 2008. http://mediatum2.ub.tum.de/doc/644594/644594.pdf.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Steininger, Thomas [Verfasser]. "Automated assertion transformation across multiple abstraction levels / Thomas Steininger." 2009. http://d-nb.info/999335618/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

GHASEMPOURI, TARA. "Improving ABV by generation and abstraction of PSL assertions." Doctoral thesis, 2016. http://hdl.handle.net/11562/939548.

Повний текст джерела
Анотація:
Lo scopo di questa tesi è quello di fornire le metodologie efficienti per migliorare ABV in tre settori della generazione, astrazione e qualificazione delle asserzioni PSL. I principali contributi di questa tesi possono essere riassunti come segue: 1- una metodologia di estrazione automatica è stato proposta, per catturare le descrizioni del comportamento di un sistema in grado di generare un insiemi di asserzioni temporali da tracce di esecuzione. L'approccio è particolarmente adatto per asserzioni minerarie che descrive le relazioni aritmetiche tra ingressi e uscite secondo un insieme di pattern temporali. In comparazione con lo stato dell'arte, l'affermazione minatore proposto in questa metodologia, genera una serie di affermazioni di qualità più compatti e più alti. 2- una metodologia automatica astrazione che riutilizzare asserzioni originariamente definite per un dato IP RTL, per verificare il modello TLM corrispondente. La metodologia può essere diviso in due fasi principali, innanzitutto, asserzioni sintetizzate in metodi C ++ e in secondo luogo, inseriti nel modello TLM. I risultati mostrano che la metodologia può astrarre e riutilizzare le asserzioni da RTL a TLM ed evitare ridefinizione delle affermazioni che sono già esistenti a RTL. 3- una metodologia automatica qualificazione è stata proposta per valutare la qualità di asserzioni e per misurare la interestingness di asserzioni. L'approccio ri-adatta metriche da data mining per misurare la qualità delle asserzioni in base alla sua frequenza di attivazione durante simulazioni e la correlazione tra antecedente e conseguente. risultato sperimentale descrive la metodologia proposta fornisce una migliore stima di asserzioni interestingness.
The aim of this thesis is to provide efficient methodologies to improve ABV in three domains of generation, abstraction and qualification of PSL assertions. The main contributions of this thesis can be summarized as follows: 1- An automatic mining methodology has been proposed, for capturing behavioral descriptions of a system that can generate set of temporal assertions from execution traces. The approach is particularly suited for mining assertions that describes arithmetic relations between inputs and outputs according to a set of temporal patterns. In comparation with state of the art, assertion miner proposed in this methodology, generates a set of more compact and higher quality assertions. 2- An automatic abstraction methodology has been proposed to reuse assertions originally defined for a given RTL IP, to verify the corresponding TLM model. The methodology can be divided into two main phases, firstly, assertions synthesized into C++ methods and secondly, inserted in the TLM model. The results show that the methodology can abstract and reuse assertions from RTL to TLM and avoid redefinition of assertions which are already exist at RTL. 3- An automatic qualification methodology has been proposed to evaluate the quality of assertions to measure the interestingness of assertions. The approach re-adapts metrics from data mining to measure the quality of assertions based on its activation frequency during simulation runs and the correlation between antecedent and consequent. Experimental result depicts the proposed methodology provides a better estimation of assertions interestingness.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Esen, Volkan [Verfasser]. "A new assertion language covering multiple levels of abstraction / Volkan Esen." 2008. http://d-nb.info/989631419/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Книги з теми "Assertion abstraction"

1

Hernandez, Rebecca Skreslet. Authority by Aggregation and Abstraction. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198805939.003.0005.

Повний текст джерела
Анотація:
In addition to his views on ijtihād and tajdīd, al-Suyūṭī’s lasting influence in Islamic legal thought lies in the area of legal precepts (pithy maxims or questions that sum up areas of the law). Al-Suyūṭī’s al-Ashbāh wa-l-naẓāʾir stands as a core work in this genre of legal literature and is still a popular textbook for students at Egypt’s premier institution of religious learning, al-Azhar. Using the pragmatic theory of Grice and others, I argue that legal precepts fulfill a number of key discursive functions for the jurist. It is with al-Suyūṭī’s Ashbāh that he is most successful in asserting his authority as an aggregator, abstractor, and framer of the law. The power of framing lies in the ability to distill key universal principles from the vast corpus of Islamic substantive law and to assert that these principles represent the essence and spirit of the Sharīʿa.
Стилі APA, Harvard, Vancouver, ISO та ін.

Частини книг з теми "Assertion abstraction"

1

Gulwani, Sumit, and Ashish Tiwari. "Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions." In Programming Languages and Systems, 279–93. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11693024_19.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Seghir, Mohamed Nassim, Andreas Podelski, and Thomas Wies. "Abstraction Refinement for Quantified Array Assertions." In Static Analysis, 3–18. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03237-0_3.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Feijo, Isabelle, Steve Hoare, and Karen Sarmiento. "Admission and Discharge Planning." In Longer-Term Psychiatric Inpatient Care for Adolescents, 31–38. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-1950-3_4.

Повний текст джерела
Анотація:
AbstractIt is essential that staff of an adolescent inpatient psychiatry unit have the capacity and authority to ensure parents and treating community clinicians support the admission, families participate in the treatment, and community clinicians participate in discharge planning and assertive follow up since these are features known to improve clinical outcomes. The chapter outlines, through the use of a hypothetical case example, the processes involved in admission to and discharge from the Walker Unit.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Aydin, Seda, and Eva Østergaard-Nielsen. "Diaspora Policies, Consular Services and Social Protection for Turkish Citizens Abroad." In IMISCOE Research Series, 401–18. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51237-8_25.

Повний текст джерела
Анотація:
AbstractIn this chapter, we examine diaspora policies and social protection in Turkey, an EU candidate country with a significantly large emigrant population in the EU. Turkey’s diaspora engagement has taken various forms in line with the domestic and international developments over the decades. From the early 2000s, the Turkish state has adopted an active approach to diaspora policies, in accordance with its assertive neo-Ottomanist foreign policy (Aydin Y, The new Turkish diaspora policy: its aims, their limits and the challenges for associations of people of Turkish origin and decision-makers in Germany (working paper). Stiftung Wissenschaft und Politik-SWP-Deutsches Institut für Internationale Politik und Sicherheit, Berlin, 2014; Mencutek ZS, Baser B, J Balkan Near East Stud 20:86–105, 2018). In this period, the Turkish Government has depicted the Turkish diaspora both as a political and economic resource in the transnational policy-making and lobbying procedures, and as a population that needs protection and guidance vis-à-vis host country authorities (Mencutek ZS, Baser B, J Balkan Near East Stud 20:86–105, 2018). This chapter demonstrates that this two-dimensional approach has also been influential in social protection policies addressing Turks abroad. Turkish authorities mostly aim to assist migrants with navigating the welfare system in the receiving countries. This approach is complemented by a strategy of fortifying transnational economic, political and cultural ties with Turks abroad as part of public diplomacy and the attainment of soft power goals. With elements such as child benefits, expansion of the related attaché offices, and educational services for children, family-related benefits constitute the most accentuated social protection policies adopted by the Turkish state. The significance of family in Turkish diaspora social protection policies fits well with the Government’s emphasis on family values as an intrinsic part of its conservative policies.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Ohi, Kevin. "Wallace Stevens and the Temporalities of Inception and Embodiment." In Inceptions, 148–74. Fordham University Press, 2021. http://dx.doi.org/10.5422/fordham/9780823294626.003.0008.

Повний текст джерела
Анотація:
Beginning with Wallace Stevens’s reimagining of the Promethean origins of man (depicted in The Metamorphoses) in “The Rock,” the chapter argues that this poem’s imagining of origin makes manifest ways his thinking about embodiment and temporality has shifted since the early poems—since, for example, “Peter Quince at the Clavier,” “Sunday Morning,” and “The Idea of Order at Key West.” These early poems can be read to assert the body’s power to transcend itself, paradoxically by dwelling on its desiring and ephemeral nature; they assert the body’s power to transcend human finitude by coupling it with the capacity for sensuous evocation in poetic language. Detailed readings of these poems spell out the complications of this assertion. By “The Rock,” Stevens’s figures have taken on an arid abstraction: Their concrete immediacy often seems in inverse relation to their possible visualization, and the claim of a poetic power of transcendence is difficult to distinguish from the radical destitution of meaning voided in a pure material presence. The earlier poems’ concern with embodiment has been transposed to a more primal drama of inception: the coming into being of the poem and the poetic voice, prior to persons, forms, or meanings.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Whitehead, Mark, Rhys Jones, and Martin Jones. "Seeing Double: Thinking about Natures and States." In The Nature of the State. Oxford University Press, 2007. http://dx.doi.org/10.1093/oso/9780199271894.003.0009.

Повний текст джерела
Анотація:
This chapter is about how we think about states, natures, and the relationships between them. Despite this book’s assertion that an understanding of the relations between states and natures is vital for any interpretation of contemporary political life or ecological existence, it is important to recognize the growing sense of antipathy towards theories of the state within work on nature. This antipathy is based on two broad critiques of state theory—one epistemological and the other ontological. At an epistemological level, challenges to work on the state can perhaps best be understood in relation to the consistent tendency of certain strands of political theory to use the definite article when referring to ‘the’ state. Reference to ‘the’ state, however innocently deployed, implicitly suggests a clearly designated, singular entity of government. But it is precisely this view of states as sovereign, territorially autonomous containers of political life that has led to a concerted wave of theoretical criticism. The reification of a definitive vision of the state has tended to create a very narrow view of the state within certain strands of contemporary political theory. It is in this context that Rose and Miller (1992) argue that the state is nothing more than a ‘mythical abstraction’ (see Chapter 1), or an attempt to simplify the complex networks and practices through which governmental power is realized into narrowly conceived, centralized visions of authority. Consequently, to many writing within what could broadly be defined as a Foucauldian school (Hobbes 1996: 82) of political theory, notions of the state are anathema to the careful and systematic study of the governmental technologies, modes of calculation, and institutional procedures through which socio-political power is realized. At an ontological level, it is argued that even if vestiges of the mythical abstractions (or ‘fantastic topologies’) associated with state theory persist, the power of states to shape the political, economic, and social worlds has been seriously undermined. Much of the purported reduction in the state’s sovereign power has been associated with the rise of globalization and the associated socio-ecological relations and transactions that now routinely traverse national territories.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Gaztambide, María C. "Dead Matter for an Enlivened Practice." In El Techo de la Ballena, 126–47. University Press of Florida, 2019. http://dx.doi.org/10.5744/florida/9781683400707.003.0006.

Повний текст джерела
Анотація:
Chapter 5 considers the exhibition Homenaje a la necrofilia (November 1962) by artist Carlos Contramaestre (1933−96) as an extreme example of how El Techo subverted nationalized aesthetic values associated with petroleum-driven capitalism to create art that reflected the grit of contemporaneity. Through a series of twelve ephemeral assemblages created from disintegrating cattle carcasses, viscera, and blood, Contramaestre confronted death and decomposition with forceful vivid assertions of physical love. The conflation of the Freudian sexual and death drives was a direct affront against the technological utopia projected by hegemonic tendencies such as geometric-abstraction or the restrictive unanimity of (far less popular) strains of folkloric landscapes and genre scenes that circulated in Venezuela at this time.But the strategy also allowed the artist and the collective to challenge an atmosphere of political repression, torture, disappearances, and a corrosive culture of cyclical violence that accompanied a fast-tracked national project of socioeconomic modernization in the country.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Bisi, Roberta. "The Evolution of Criminology and the Social Sharing of Emotion." In Handbook of Research on Trends and Issues in Crime Prevention, Rehabilitation, and Victim Support, 15–26. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-1286-9.ch002.

Повний текст джерела
Анотація:
In the field of criminology, biographies or life stories should increasingly become the central moment of research aimed at that historical reconstruction which helps, for example, unravelling the tangle of responsibility at the time of a criminal offence. The life story orients and provides elements for the psychic examination and contributes, with the psycho-diagnostic tests, to the discussion on the case and the assertions that precede the conclusions of the expert's report. Placing value on the biographical approach in criminology effectively means abstracting as a guiding hypothesis the identification of the development of personality for the purposes of ascertaining the responsibility of an author and the prediction of future behaviour: reference is, therefore, to the life story understood not only as narration, but also as communication.
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Assertion abstraction"

1

Kusano, Markus, and Chao Wang. "Assertion guided abstraction." In ASE '14: ACM/IEEE International Conference on Automated Software Engineering. New York, NY, USA: ACM, 2014. http://dx.doi.org/10.1145/2642937.2642998.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Cheon, Yoonsik. "Abstraction in Assertion-Based Test Oracles." In Seventh International Conference on Quality Software (QSIC 2007). IEEE, 2007. http://dx.doi.org/10.1109/qsic.2007.4385528.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Uchevler, Bahram N., and Kjetil Svarstad. "Synthesizable assertion checkers in high levels of abstraction." In 2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS). IEEE, 2013. http://dx.doi.org/10.1109/icecs.2013.6815550.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Bombieri, Nicola, Riccardo Filippozzi, Graziano Pravadelli, and Francesco Stefanni. "RTL Property Abstraction for TLM Assertion-Based Verification." In Design, Automation and Test in Europe. New Jersey: IEEE Conference Publications, 2015. http://dx.doi.org/10.7873/date.2015.0121.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Ghasempouri, Tara, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, and Jaan Raik. "RTL Assertion Mining with Automated RTL-to-TLM Abstraction." In 2019 Forum for Specification and Design Languages (FDL). IEEE, 2019. http://dx.doi.org/10.1109/fdl.2019.8876941.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Ecker, W., V. Esen, and M. Hull. "Execution semantics and formalisms for multi-abstraction TLM assertions." In Proceedings. Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06). IEEE, 2006. http://dx.doi.org/10.1109/memcod.2006.1695910.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Assertion abstraction" для конкретних типів джерел:
Статті в журналах
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії