scholarly journals Algebraic properties of if-then-else and commutative three-valued tests

2019 ◽  
Vol 29 (04) ◽  
pp. 743-759
Author(s):  
Khí-Uí Soo ◽  
Tim Stokes
Keyword(s):  
Short Circuit ◽  
The Other ◽  
Partial Functions ◽  
Evaluation Strategy ◽  
Algebraic Properties ◽  
Logical Connectives ◽  
The Common ◽  
Parallel Evaluation ◽  
Partial Predicates ◽  
Main Operation

This paper establishes a finite axiomatization of possibly non-halting computer programs and tests, with the if-then-else operation. The model is a two-sorted algebra, with one sort being the programs and the other being the tests. The main operation on programs is composition, and 1 and 0 represent the programs skip and loop (i.e. never halts) respectively. Programs are modeled as partial functions on some state space [Formula: see text], with tests modeled as partial predicates on [Formula: see text]. The operations on the tests are the usual logical connectives ∧, ∨, [Formula: see text], [Formula: see text] and [Formula: see text]. In addition, there is the hybrid operation of if-then-else, and the test-valued operation [Formula: see text] on programs which is true when a program halts, and undefined otherwise. The halting operation [Formula: see text] implies that operations of domain [Formula: see text] and domain join ∨ may also be expressed. When tests are assumed to be possibly non-halting, the evaluation strategy of the logical connectives affects the result. Here we model parallel evaluation, as opposed to the common sequential (or short-circuit) evaluation strategy. For example, we view [Formula: see text] as false if either [Formula: see text] or [Formula: see text] is false, even if the other does not halt.

O ENSINO RELIGIOSO EM QUESTÃO

2018 ◽  
Vol 9 (21) ◽  
pp. 459
Author(s):  
Mauro Rocha Baptista
Keyword(s):  
Supreme Court ◽  
Religious Education ◽  
Common Core ◽  
Historical Perspective ◽  
National Curriculum ◽  
The Other ◽  
Federal Constitution ◽  
The Supreme Court ◽  
The Common

Neste artigo analisamos a relação do Ensino Religioso com a sua evolução ao longo do contexto recente do Brasil para compreender a posição do Supremo Tribunal Federal ao considerar a possibilidade do Ensino Religioso confessional. Inicialmente apresentaremos a perspectiva legislativa criada com a constituição de 1988 e seus desdobramentos nas indicações curriculares. Neste contexto é frisado a intenção de incluir o Ensino Religioso na Base Nacional Curricular Comum, o que acabou não acontecendo. A tendência manifesta nas duas primeiras versões da BNCC era de um Ensino Religioso não-confessional. Uma tendência que demarcava a função do Ensino Religioso em debater a religião, mas que não permitia o direcionamento por uma vertente religioso qualquer. Esta posição se mostrava uma evolução da primeira perspectiva histórica mais associada à catequese confessional. Assim como também ultrapassava a interpretação posterior de um ecumenismo interconfessional, que mantinha a superioridade do cristianismo ante as demais religiões. Sendo assim, neste artigo, adotaremos o argumento de que a decisão do STF, de seis votos contra cinco, acaba retrocedendo ante o que nos parecia um caminho muito mais frutífero.Palavras-chave: Ensino Religioso. Supremo Tribunal Federal. Confessional. Interconfessional. Não-confessional.Abstract: On this article, we analyze the relation between Religious education and its evolution along the currently Brazilian context in order to understand the position of the Supreme Court in considering the possibility of a confessional Religious education. Firstly, we are going to present the legislative perspective created with the 1988 Federal Constitution and its impacts in the curricular lines. On this context it was highlighted the intention to include the Religious Education on the Common Core National Curriculum (CCNC), which did not really happened. The tendency manifested in the first two versions of the CCNC was of a non-confessional Religious Education. A tendency that delineated the function of the Religious Education as debating religion, but not giving direction on any religious side. This position was an evolution of the first historical perspective more associated to the confessional catechesis. It also went beyond the former interpretation of an inter-confessional ecumenism, which kept the superiority of the Christianity over the other religions. As such, in this paper we adopt the argument that the decision of the Supreme Court, of six votes against five, is a reversal of what seemed to be a much more productive path on the Religious Education.Keywords: Religious Education. Brazilian Supreme Court. Confessional. Inter-confessional. Non- confessional.Enviado: 23-01-2018 - Aprovado e publicado: 12-2018

The Problem of the Typology of Rationality in Muslim Culture

2019 ◽  
Vol 62 (6) ◽  
pp. 88-99
Author(s):  
Andrey A. Lukashev
Keyword(s):  
Modern Philosophy ◽  
Theoretical Basis ◽  
Theoretical Models ◽  
The Other ◽  
Common Denominator ◽  
Islamic Culture ◽  
The Common ◽  
Per Se ◽  
The One ◽  
Muslim Culture

The typology of rationality is one of major issues of modern philosophy. In an attempt to provide a typology to Oriental materials, a researcher faces additional problems. The diversity of the Orient as such poses a major challenge. When we say “Oriental,” we mean several cultures for which we cannot find a common denominator. The concept of “Orient” involves Arabic, Indian, Chinese, Turkish and other cultures, and the only thing they share is that they are “non-Western.” Moreover, even if we focus just on Islamic culture and look into rationality in this context, we have to deal with a conglomerate of various trends, which does not let us define, with full confidence, a common theoretical basis and treat them as a unity. Nevertheless, we have to go on trying to find common directions in thought development, so as to draw conclusions about types of rationality possible in Islamic culture. A basis for such a typology of rationality in the context of the Islamic world was recently suggested in A.V. Smirnov’s logic of sense theory. However, actual empiric material cannot always fit theoretical models, and the cases that do not fit the common scheme are interesting per se. On the one hand, examination of such cases gives an opportunity to specify certain provisions of the theory and, on the other hand, to define the limits of its applicability.

HISTOPATHOLOGY OF THE PIGMENTED TUMORAL-LIKE LESIONS OF THE SKIN AT HUE HOSPITAL OF MEDICINE AND PHARMACY UNIVERSITY

2018 ◽  
Vol 8 (4) ◽  
pp. 65-69
Author(s):  
Mao Nguyen Van ◽  
Dong Tran Nam
Keyword(s):  
Key Words ◽  
Definitive Diagnosis ◽  
The Other ◽  
Cell Tumour ◽  
Cross Sectional ◽  
Skin Tumour ◽  
Clinical Appearance ◽  
The Face ◽  
The Common ◽  
Difficult Cases

Background: Pigmented tumour of the skin is one of the common tumour in human including the benign pigmented tumours (more common) called Nevi tumours and the malignant one called melanoma which was less frequent but the most poor in prognosis. In addition, the others not belonging to these group had the same clinical appearance, so the application of histopathology and immunohistochemistry for the definitive diagnosis was indespensible. Objectives: 1. To describe the macroscopic features of the pigmented tumoral-like lesions; 2. To classify the histopathologic types of the pigmented cell tumours and the other pigmented tumours of the skin. Materials and Method: Cross-sectional research on 55 patients diagnosed as pigmented tumoral lesions by clinician, then all definitively diagnosed by histopathology combining the immunohistochemistry in difficult cases. Results: There was no difference in gender, the disease was discovered most common in adult, especially with the age over 51 years old (58.1%). the most region located was in the face accounting for 60%, following the trunk and limbs (14.6%, 12.8% respectively). All 3 malignant melanomas happened in foot. The most common color of the lesions was black (65.4%), the other ones were rose, grey and blue. Histopathology and immunohisthochemistry showed that the true pigmented cell tumours were 52.6% encompassing benign ones (Nevi tumour) (41.8%), melanoma (5.4%) and lentigo (5.4%). 47.4% was not the true pigmented cell tumour including pigmented basocellular carcinoma (36.4%) and the others less common as histiofibromas, acanthoma and papilloma. Conclusion: the pigmented tumoral-like lesions of the skin could be the true pigmented cell tumours and the others, so the application of the histopathology and the immunohistochemistry after the clinical discovery helps to determine and classify the disease definitely and for the best orientation of treatment as well. Key words: skin tumour, benign pigmented tumour (Nevi), malignant pigmented tumour (melanoma), pigmented basocellular carcinoma

Ahara as Pathya and Apathya in Amlapitta - A Review.

2017 ◽  
Vol 2 (1) ◽  
Author(s):  
Rakshith . ◽  
Shivakumar . ◽  
Sreeharsha . ◽  
Divyasree .
Keyword(s):  
Physical Health ◽  
Review Article ◽  
The Other ◽  
Social Health ◽  
Present Review ◽  
Common Disease ◽  
The Core ◽  
Common Disorder ◽  
The Common

The core principles in Ayurveda give prime importance to Agni, Prakriti, Ahara (food) and Vihara (lifestyle) in maintaining health. Present era people are scheduled to one or the other works due to which they are following unrightful food and habits which lead the manifestation of one of the common disorder which troubles person a lot - Amlapitta. By excess “Hurry, Worry and Curry” GIT disorders are the most common, not only affecting physical health but also psychological and social health. Amlapitta is one of that and it is a burning problem of the whole World. Amalpitta is composed of word Amla and Pitta. Amlapitta is a very common disease caused by Vidagdha Pitta with features like Amlodgara, Tiktodgara, Hrit, Kantha Daha etc. Pathya recommended in Amlapitta are Yava, Godhuma, Purana Shali, Mudga Yusha, Lajasaktu etc. Apathya recommended in Amlapitta are Navanna, Avidugdha, Masha, Kulattha, Dadhi and etc. So this present review article throws light on Pathya (conducive) and Apathya (non conducive) in Amlapitta.

The Dioptrique

2017 ◽  
Author(s):  
Walter Ott
Keyword(s):  
Sensory Experience ◽  
The Other ◽  
Brain Image ◽  
Brain Motion ◽  
Natural Geometry ◽  
The Common ◽  
The Brain

Descartes’s treatment of perception in the Optics, though published before the Meditations, contains a distinct account of sensory experience. The end of the chapter suggests some reasons for this oddity, but that the two accounts are distinct is difficult to deny. Descartes in the present work topples the brain image from its throne. In its place, we have two mechanisms, one purely causal, the other inferential. Where the proper sensibles are concerned, the ordination of nature suffices to explain why a given sensation is triggered on the occasion of a given brain motion. The same is true with regard to the common sensibles. But on top of this purely causal story, Descartes re-introduces his doctrine of natural geometry.

The Rubicon of Language

2018 ◽  
Author(s):  
Sebastian Lecourt
Keyword(s):  
The Other ◽  
Racial Identities ◽  
Other Hand ◽  
Max Müller ◽  
The Common ◽  
Human Capacity ◽  
The One ◽  
Religious Differences

This chapter considers a series of formative debates in British anthropology from the 1840s through the 1860s and uses them to map out the two dominant constructions of religion whose politics the subsequent authors in this study would reinvent. It describes, on the one hand, a liberal and evangelical construction of religion as the common human capacity for spiritual cultivation, and on the other hand a conservative, reactionary model that interpreted religious differences as the expressions of fixed racial identities that neither civilization nor Christianization could erase. In the work of the Oxford philologist F. Max Müller we see how the former model tended to associate religion above all with language. But we can also see the subtle forms of determinism that it contained—an ambiguity that Arnold, Pater, Eliot, and Lang would explore by picturing racialized religion as a resource for liberal self-cultivation.

scholarly journals Evangelical and Catholic Timespace in Work: An Argument against a Homeless Eschatology

Religions ◽  
2021 ◽  
Vol 12 (3) ◽  
pp. 199
Author(s):  
Maria Ledstam
Keyword(s):  
Empirical Study ◽  
Common Good ◽  
Ethnographic Study ◽  
The Other ◽  
Faith Based ◽  
Business As Mission ◽  
Achievable Goal ◽  
The Common ◽  
The One ◽  
The Relationship

This article engages with how religion and economy relate to each other in faith-based businesses. It also elaborates on a recurrent idea in theological literature that reflections on different visions of time can advance theological analyses of the relationship between Christianity and capitalism. More specifically, this article brings results from an ethnographic study of two faith-based businesses into conversation with the ethicist Luke Bretherton’s presentation of different understandings of the relationship between Christianity and capitalism. Using Theodore Schatzki’s theory of timespace, the article examines how time and space are constituted in two small faith-based businesses that are part of the two networks Business as Mission (evangelical) and Economy of Communion (catholic) and how the different timespaces affect the religious-economic configurations in the two cases and with what moral implications. The overall findings suggest that the timespace in the Catholic business was characterized by struggling caused by a tension between certain ideals on how religion and economy should relate to each other on the one hand and how the practice evolved on the other hand. Furthermore, the timespace in the evangelical business was characterized by confidence, caused by the business having a rather distinct and achievable goal when it came to how they wanted to be different and how religion should relate to economy. There are, however, nuances and important resemblances between the cases that cannot be explained by the businesses’ confessional and theological affiliations. Rather, there seems to be something about the phenomenon of tension-filled and confident faith-based businesses that causes a drive in the practices towards the common good. After mapping the results of the empirical study, I discuss some contributions that I argue this study brings to Bretherton’s presentation of the relationship between Christianity and capitalism.

scholarly journals Generating Electricity from Natural Evaporation Using PVDF Thin Films Incorporating Nanocomposite Materials

Energies ◽  
2021 ◽  
Vol 14 (3) ◽  
pp. 585
Author(s):  
Ariel Ma ◽  
Jian Yu ◽  
William Uspal
Keyword(s):  
Thin Films ◽  
Graphene Oxide ◽  
Polyvinylidene Fluoride ◽  
Capillary Flow ◽  
Short Circuit ◽  
Current Source ◽  
Nanocomposite Materials ◽  
The Other ◽  
Pvdf Film ◽  
Ambient Conditions

Natural evaporation has recently come under consideration as a viable source of renewable energy. Demonstrations of the validity of the concept have been reported for devices incorporating carbon-based nanocomposite materials. In this study, we investigated the possibility of using polymer thin films to generate electricity from natural evaporation. We considered a polymeric system based on polyvinylidene fluoride (PVDF). Porous PVDF films were created by incorporating a variety of nanocomposite materials into the polymer structure through a simple mixing procedure. Three nanocomposite materials were considered: carbon nanotubes, graphene oxide, and silica. The evaporation-induced electricity generation was confirmed experimentally under various ambient conditions. Among the nanocomposite materials considered, mesoporous silica (SBA-15) was found to outperform the other two materials in terms of open-circuit voltage, and graphene oxide generated the highest short-circuit current. It was found that the nanocomposite material content in the PVDF film plays an important role: on the one hand, if particles are too few in number, the number of channels will be insufficient to support a strong capillary flow; on the other hand, an excessive number of particles will suppress the flow due to excessive water absorption underneath the surface. We show that the device can be modeled as a simple circuit powered by a current source with excellent agreement between the theoretical predictions and experimental data.

Busting Myths in Compound Handling Practices for Assay Developers

2021 ◽  
pp. 247263032110233
Author(s):  
Rosalia Gonzales ◽  
Travis Mathewson ◽  
Jefferson Chin ◽  
Holly McKeith ◽  
Lane Milde ◽  
...  
Keyword(s):  
The Other ◽  
Common Goal ◽  
Collaborative Relationship ◽  
Sample Handling ◽  
Root Cause ◽  
The Common ◽  
Recommended Practices ◽  
Handling Practices ◽  
The One

Since the advent of modern-day screening collections in the early 2000s, various aspects of our knowledge of good handling practices have continued to evolve. Some early practices, however, continue to prevail due to the absence of defining data that would bust the myths of tradition. The lack of defining data leads to a gap between plate-based screeners, on the one hand, and compound sample handling groups, on the other, with the latter being the default party to blame when an assay goes awry. In this paper, we highlight recommended practices that ensure sample integrity and present myth busting data that can help determine the root cause of an assay gone bad. We show how a strong and collaborative relationship between screening and sample handling groups is the better state that leads to the accomplishment of the common goal of finding breakthrough medicines.

Common Lawà l'americaine

1966 ◽  
Vol 1 (4) ◽  
pp. 562-579 ◽  
Author(s):  
A. M. Apelbom
Keyword(s):  
Common Law ◽  
The Other ◽  
British Occupation ◽  
Other Hand ◽  
Two Generations ◽  
The Common ◽  
English Law ◽  
Considerable Body ◽  
Clear Line

Eighteen years after attaining independence Israel remains essentially a common law country. Introduced by the British Mandatory administration to supplement the Ottoman legislation in force at the time of the British occupation of Palestine, the common law has been retained by the Israeli legislator, so far as not modified or replaced by local legislation. But this common law, far from being residual only, also embraces a considerable body of interstitial law developed by two generations of judges, British, Palestinian and Israeli, in the process of applying and interpreting statute law—whether Ottoman, Mandatory or Israeli—according to common law methods. On the other hand the importation of common law institutions was neither wholesale nor systematic and in a number of fields no clear line of demarcation can be drawn between domestic and English law.

Sign in / Sign up

Export Citation Format

Share Document