scholarly journals Instruction Sequence Faults with Formal Change Justification

2020 ◽  
Vol 30 (2) ◽  
pp. 105-166
Author(s):  
Jan Bergstra ◽  
Keyword(s):  
Theoretical Concept ◽  
Instruction Sequences ◽  
Instruction Sequence

The notion of an instruction sequence fault is considered as a theoretical concept, for which the justification of the qualification of a fragment as faulty is mathematical instead of pragmatic, the latter approach being much more common. Starting from so-called Laski faults a range of patterns of faults and changes thereof for instruction sequences is developed.

scholarly journals Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent

2021 ◽  
Vol 31 (1) ◽  
pp. 1-50
Author(s):  
Jan Bergstra ◽  
Keyword(s):  
Theoretical Model ◽  
Theoretical Investigation ◽  
The Other ◽  
Fixed Length ◽  
Additional Qualification ◽  
Instruction Sequences ◽  
Definition Of ◽  
Instruction Sequence

Starting out from the survey of instruction sequence faults from [6] program faults are classified according to the conventional criteria of being dormant, effective, detected, temporary, and permanent. Being retrospectively approved is introduced as an additional qualification. For this theoretical investigation the context is simplified by contemplating instruction sequences as a theoretical model for programs, and by assuming that instruction sequences are supposed to compute total transformations on finite bit sequences of a fixed length only. The main conclusion which can be drawn from this work concerns the notion of dormancy. First of all it is noticed that the unconventional notion of a dormant failure is both plausible and amenable to a straightforward and convincing definition. The conventional notion of a dormant fault, however, is much harder to grasp and the definition of a dormant fault which is provided in the paper may be disputed. The notion of a dormant fault seems to admit no convincing intuition. All faults are defects but not the other way around. The idea of a fault exclusively depends on an instruction sequence and a specification of which it is considered to be a candidate implementation. In the presence of a design, however, in addition to faults, the notion of a deviation from design (DFD) defect arises, which constitutes a class of defects many of which are not faults. For DFD defects the notion of dormancy admits a straightforward and convincing definition.

Avrupa’ya Türk göçü: Almanya örneği

2014 ◽  
Vol 1 (1) ◽  
pp. 47-56
Author(s):  
Milan Palat
Keyword(s):  
Network Theory ◽  
Quantitative Methods ◽  
Positive Relationship ◽  
Time Lag ◽  
Theoretical Concept ◽  
Living Standards ◽  
The Other ◽  
The European Union ◽  
Effective Mechanism ◽  
The Eu

Bu çalışmanın amacı, Türkiye’den göç ve Almanya’nın ekonomik göstergeleri arasındaki ilişkiyi, nicel metot yöntemleri kullanarak değerlendirmektir. Türkiye’nin belirsiz Avrupa ile bütünleşme beklentilerine rağmen  Avrupa Birliğinin köklü üyelerine olan Türk göçü devam edecektir. Çok sayıda Türk azınlığın yaşadığı ve hayat standartlarının yüksek olduğu Almanya, Hollanda ve Fransa’ya  büyük bir göç dalgası gerçekleşebilir. Çalışmanın istatistiksel bölümünün sonuçları, toplam göç ile gayri safi yurtiçi hasıladaki büyüme arasında pozitif, toplam göç ile işsizlik arasındaki negatif ve tahmin edilen bağımlılık yönüyle uygunluk içerisinde olan toplam göç ile aylık gelir arasında pozitif ilişki olduğunu göstermektedir. Türkiye’den göçle işsizlik arasındaki ilişki, toplam göçle olan ilişkiden daha düşüktür. Ancak, Almanya’daki yabancı mevcudiyeti ile Türkiye’den göç arasında bir ilişki bulunmaktadır. Bu durum, var olan göçmen topluluğunun olduğu yerin, yeni göçmenleri, köken bağlarına dayanarak cezbetmesi ve maliyet- riskler sebebiyle göçün düşük seviye de olduğuna dayanan kuramsal Ağ teorisi görüşü ile uygunluk göstermektedir. Göç ve işsizlik arasında gözlenen ilişki, Almanya’ya göçün  işgücü piyasasında talepte meydana gelen değişime karşılık geldiği gerçeğini göstermektedir. İşsizlik ve göç olgularının meydana geliş zamanlarında bir aralık  olsa bile  göç, Alman emek pazarında var olan dengesizliklerin azaltılmasında nispeten etkili bir mekanizma gibi görünmektedir. ENGLISH TITLE & ABSTRACTTurkish Immigration to the European Union: The Case of GermanyThe objective of the paper was to evaluate the relationships between immigration from Turkey and economic indicators in Germany using  quantitative methods. Despite Turkey’s unclear European integration prospects, it is predicted that Turkish immigration to  established member countries of the EU will continue. The strongest waves may flow to Germany, Netherlands or France, where numerous Turkish minorities are already present and where the living standards are high. Results from the statistical analysis of the paper showed a positive correlation between immigration total and the growth of gross domestic product. On the other hand, a negative correlation of immigration total and unemployment was found and a positive relationship between immigration total and income total which is in agreement with the expected dependency direction. With regards to  immigration from Turkey it is less correlated to unemployment than immigration total. But there is a correlation between immigration from Turkey and the stock of foreigners in Germany This is in accordance with the theoretical concept of network theory where an existing community of migrants keeps attracting new migrants because the costs and risks associated with migration are lower, thanks to established linkages to the country of origin. The observed correlation of migration and unemployment points to the fact that immigration to Germany responds to changes in demand in the labour market. Even though a time lag may occur in the case of unemployment and immigration, migration appears to be a relatively effective mechanism to offset existing imbalances in German labour markets. 

LITERARY ROMANTICISM AS A THEORETICAL ISSUE

2020 ◽  
pp. 19-27
Author(s):  
Vera V. Serdechnaia ◽  
Keyword(s):  
20Th Century ◽  
Conceptual Analysis ◽  
18Th Century ◽  
Theoretical Concept ◽  
Historical Research ◽  
Theoretical Issue ◽  
Main Research ◽  
Literary Process ◽  
History Of ◽  
The Subject

The article is devoted to the analysis of the concept of literary romanticism. The research aims at a refinement of the “romanticism” concept in relation to the history of the literary process. The main research methods include conceptual analysis, textual analysis, comparative historical research. The author analyzes the semantic genesis of the term “romanticism”, various interpretations of the concept, compares the definitions of different periods and cultures. The main results of the study are as follows. The history of the term “romanticism” shows a change in a number of definitions for the same concept in relation to the same literary phenomena. By the end of the 20th century, realizing the existence of significant contradictions in the content of the term “romanticism”, researchers often come to abandon it. At the same time, the steady use of the term “romanticism” testifies to the subject-conceptual component that exists in it, which does not lose its relevance, but just needs a theoretical refinement. Conclusion: one have to revise an approach to romanticism as a theoretical concept, based on the change in the concept of an individual in Europe at the end of the 18th century. It is the newly discovered freedom of an individual predetermines the rethinking for the image of the author as a creator and determines the artistic features of literary romanticism.

THEORY OF LAW AND PHILOSOPHY OF LAW AS THEORETICAL DISCOURSES: SPECIFICS AND RELATIONSHIP

2020 ◽  
pp. 9-17
Author(s):  
Вадим Леонидович Афанасьевский
Keyword(s):  
Scientific Knowledge ◽  
Scientific Theory ◽  
Theoretical Concept ◽  
Philosophy Of Law ◽  
The West ◽  
Scientific Creativity ◽  
Key Characteristics ◽  
Different Types ◽  
Theory Of Law ◽  
The Relationship

В статье анализируется проблема взаимоотношений философии права и научной теории права. Рассматриваемая проблема стала особенно актуальной в российском образовательном пространстве в связи с введением после длительного перерыва в государственный образовательный стандарт магистратуры по юриспруденции учебной дисциплины «Философия права». Автор статьи в качестве базисного принимает тезис, согласно которому философия права, являясь сферой философской мысли, и теория права как область научного социогуманитарного знания представляют собой разные типы теоретического дискурса. Исходя из этого, в статье выстраивается теоретическая концепция, согласно которой задачей философии права как философского типа мышления является конструирование или экспликация онтологических, эпистемологических, аксиологических, феноменологических оснований для формирования и функционирования научных теоретико-правовых и историко-правовых построений. Для реализации поставленной в статье задачи подробно рассматриваются ключевые характеристики как теории философского типа, так и идеалов, норм и характеристик научного знания. Выявленное различие экстраполируется на взаимоотношение теории права как продукта научного творчества и философии права как конструкции, задающей базовые мировоззренческие смыслы. В качестве примера выработанных философией права и государства оснований научных теорий прогресса, государства, морали и права, автор приводит взгляды мыслителей западноевропейской философской классики: Т. Гоббса, Ж.-Ж. Руссо, И. Канта, Г.В.Ф. Гегеля. Именно их философские концепции предопределили образы теоретико- и историко-правовых учений XVIII, XIX, XX и даже начала XXI в. Таким образом, отношение философии права и теории права выстраивается по «вертикали»: от онтологического основания к возведению теоретико-правовых и историко-правовых научных построений. The article analyzes the problem of the relationship between the philosophy of law and the scientific theory of law. The problem under consideration has become especially urgent in the Russian educational space in connection with the introduction of the Philosophy of Law discipline master's degree in law after a long break. The author of the article takes as the basis the thesis that the philosophy of law, being the sphere of philosophical thought, and the theory of law as a field of scientific socio-humanitarian knowledge are different types of theoretical discourse. Based on this, the article builds a theoretical concept according to which the task of the philosophy of law as a philosophical type of thinking is the construction or explication of ontological, epistemological, axiological, phenomenological grounds for the formation and functioning of concrete scientific theoretical and legal and historical and legal constructions. To implement the task posed in the article, the key characteristics of both a theory of a philosophical type and ideals, norms and characteristics of scientific knowledge are examined in detail. The revealed difference is extrapolated to the relationship between the theory of law as a product of scientific creativity and the philosophy of law as a construction that sets basic philosophical meanings. As an example of the foundations of the scientific theories of progress, state, morality and law developed by the philosophy of law and the state, the author gives the views and thinkers of the West European philosophical classics T. Hobbes, J.-J. Russo, I. Kant, G.V.F. Hegel. It was their philosophical concepts that predetermined the images of theoretical and historical-legal doctrines of the XVIII, XIX, XX and even the beginning of the XXI centuries. Thus, the attitude of the philosophy of law and the theory of law is built along the «vertical»: from the ontological foundation to the construction of theoretical and historical and historical legal scientific constructions.

scholarly journals Hyperthermic Intraperitoneal Chemotherapy: A Critical Review

Cancers ◽  
2021 ◽  
Vol 13 (13) ◽  
pp. 3114
Author(s):  
Wim Ceelen ◽  
Jesse Demuytere ◽  
Ignace de Hingh
Keyword(s):  
Intraperitoneal Chemotherapy ◽  
Imaging Techniques ◽  
Systemic Exposure ◽  
Theoretical Concept ◽  
Chemotherapeutic Agents ◽  
Peritoneal Metastases ◽  
Attractive Alternative ◽  
True Value ◽  
Heated Intraperitoneal Chemotherapy ◽  
Study Results

With increasing awareness amongst physicians and improved radiological imaging techniques, the peritoneal cavity is increasingly recognized as an important metastatic site in various malignancies. Prognosis of these patients is usually poor as traditional treatment including surgical resection or systemic treatment is relatively ineffective. Intraperitoneal delivery of chemotherapeutic agents is thought to be an attractive alternative as this results in high tumor tissue concentrations with limited systemic exposure. The addition of hyperthermia aims to potentiate the anti-tumor effects of chemotherapy, resulting in the concept of heated intraperitoneal chemotherapy (HIPEC) for the treatment of peritoneal metastases as it was developed about 3 decades ago. With increasing experience, HIPEC has become a safe and accepted treatment offered in many centers around the world. However, standardization of the technique has been poor and results from clinical trials have been equivocal. As a result, the true value of HIPEC in the treatment of peritoneal metastases remains a matter of debate. The current review aims to provide a critical overview of the theoretical concept and preclinical and clinical study results, to outline areas of persisting uncertainty, and to propose a framework to better define the role of HIPEC in the treatment of peritoneal malignancies.

Contemporary Art and the Problem of Music: Towards a Musical Contemporary Art

2021 ◽  
pp. 1-26
Author(s):  
G. DOUGLAS BARRETT
Keyword(s):  
Contemporary Art ◽  
Contemporary Music ◽  
Conceptual Art ◽  
Social Process ◽  
Theoretical Concept ◽  
Sound Art ◽  
Art Theory ◽  
Avant Garde ◽  
Absolute Music ◽  
Art Form

Abstract This article elaborates the art-theoretical concept of ‘the contemporary’ along with formal differences between contemporary music and contemporary art. Contemporary art emerges from the radical transformations of the historical avant-garde and neo-avant-garde that have led to post-conceptual art – a generic art beyond specific mediums that prioritizes discursive meaning and social process – while contemporary music struggles with its status as a non-conceptual art form that inherits its concept from aesthetic modernism and absolute music. The article also considers the category of sound art and discusses some of the ways it, too, is at odds with contemporary art's generic and post-conceptual condition. I argue that, despite their respective claims to contemporaneity, neither sound art nor contemporary music is contemporary in the historical sense of the term articulated in art theory. As an alternative to these categories, I propose ‘musical contemporary art’ to describe practices that depart in consequential ways from new/contemporary music and sound art.

Sign in / Sign up

Export Citation Format

Share Document