scholarly journals Automatic Staging via Partial Evaluation Techniques

10.29007/rfbk ◽  
2018 ◽  
Author(s):  
Kenichi Asai ◽  
Yukiyoshi Kameyama
Keyword(s):  
Partial Evaluation ◽  
The Other ◽  
Full Control ◽  
Other Hand ◽  
Unified View ◽  
The Cross ◽  
Automatic Staging ◽  
Evaluation Techniques ◽  
Better Than

Partial evaluation and staging are two of the well-known symbolicmanipulation techniques of programs which generate efficientspecialized code. On one hand, partial evaluation provides us with anautomatic means to separate a program into two (or more) stages butits behavior is perceived as hard to control. On the other hand,staging (or staged calculus) requires us to manually separate aprogram but with full control over its behavior. In the previouswork, the first author introduced a framework to relate the twotechniques, giving a unified view to the two techniques. In thispaper, we extend the framework to handle the cross-stage persistence(CSP) and show that the 2-level staging annotation obtained by theautomatic separation is the best staging annotation in a system whereCSP is allowed for base-type values only. In the presence of CSP forhigher-type values, on the other hand, there is no single annotationthat is better than all the other annotations.

Closing the GAP—A 5Å Scanning Microscope

1969 ◽  
Vol 27 ◽  
pp. 6-7
Author(s):  
A. V. Crewe
Keyword(s):  
Normal Form ◽  
The Other ◽  
Resolving Power ◽  
Scanning Microscope ◽  
Conventional Microscope ◽  
Other Hand ◽  
Closing The Gap ◽  
Thermal Sources ◽  
Better Than ◽  
Transmission Microscope

We have become accustomed to differentiating between the scanning microscope and the conventional transmission microscope according to the resolving power which the two instruments offer. The conventional microscope is capable of a point resolution of a few angstroms and line resolutions of periodic objects of about 1Å. On the other hand, the scanning microscope, in its normal form, is not ordinarily capable of a point resolution better than 100Å. Upon examining reasons for the 100Å limitation, it becomes clear that this is based more on tradition than reason, and in particular, it is a condition imposed upon the microscope by adherence to thermal sources of electrons.

In vitro insulin-mimetic activity and in vivo metallokinetic feature of oxovanadium(IV)porphyrin complexes in healthy rats

2012 ◽  
Vol 16 (01) ◽  
pp. 114-121 ◽  
Author(s):  
Tapan K. Saha ◽  
Yutaka Yoshikawa ◽  
Hirouki Yasui ◽  
Hiromu Sakurai
Keyword(s):  
The Other ◽  
Insulin Mimetic ◽  
Other Hand ◽  
Better Than

We prepared [meso-tetrakis(4-carboxylatophenyl)porphyrinato]oxovanadium(IV) tetrasodium, ([VO(tcpp)]Na4), and investigated its in vitro insulin-mimetic activity and in vivo metallokinetic feature in healthy rats. The results were compared with those of previously proposed insulin-mimetic oxovanadium(IV)porphyrin complexes and oxovanadium(IV) sulphate. The in vitro insulin-mimetic activity and bioavailability of [VO(tcpp)]Na4 were considerably better than those of [meso-tetrakis (1-methylpyridinium-4-yl)porphyrinato]oxovanadium(IV)(4+) tetraperchlorate ([VO(tmpyp)](ClO4)4) and oxovanadium(IV) sulphate. On the other hand, [VO(tcpp)]Na4 and [meso-tetrakis(4-sulfonatophenyl) porphyrinato]oxidovanadate(IV)(4-)([VO(tpps)]) showed very similar in vitro insulin-mimetic activity and in vivo metallokinetic feature in healthy rats. In particular, the order of in vitro insulin-mimetic activity of the complexes was determined to be: [VO(tcpp)]Na4 ≈ [VO(tpps)] > ([VO(tmpyp)](ClO4)4 > oxovanadium(IV) sulphate.

Plaidoyer pour une autre constitution

Res Publica ◽  
1970 ◽  
Vol 16 (1) ◽  
pp. 117-132
Author(s):  
Bernard Remiche ◽  
Charles-Etienne Lagasse
Keyword(s):  
The Other ◽  
Federal State ◽  
Critical Examination ◽  
National Party ◽  
Traditional Values ◽  
Unitary State ◽  
Other Hand ◽  
Federal Constitution ◽  
The Cross

The 1970 amended Belgian Constitution is at the cross-roads of two currents of history, on one hand, once more the traditional values of the Occidental society ; on the other hand a double communal pressure contests an unitary state : from underneath affirmation of three Belgiannational communities, from above, apparition of a «supra-national party».The authors make a critical examination of the cropping up of bonding institutions in a «pré-fédéral» state, then they clearly state the principles of a really federal Constitution based upon the acknowledgement of the 2 large communities and the 3 regions and the principles of a democratic organization of an economic politic.

Distinction between Dolus and Culpa with reference to Arson in Zakon Sudnyj LJudem, the Vinodol Law and the Statute of Senj

De Jure ◽  
2021 ◽  
Vol 12 (1) ◽  
Author(s):  
Daniel Haman ◽  
◽  
◽  
Keyword(s):  
Criminal Law ◽  
The Other ◽  
Legal Documents ◽  
The Third ◽  
Other Hand ◽  
Criminal Offenses ◽  
The World ◽  
The Difference ◽  
Different Levels ◽  
Better Than

The difference between intent (dolus) and negligence (culpa) was rarely emphasized in codified medieval laws and regulations. When compared to the legal statements related to intent, negligence was mentioned even more rarely. However, there are some laws that distinguished between the two concepts in terms of some specific crimes, such as arson. This paper draws attention to three medieval Slavic legal documents – the Zakon Sudnyj LJudem (ZSLJ), the Vinodol Law and the Statute of Senj. They are compared with reference to regulations regarding arson, with the focus being on arson as a crime committed intentionally or out of negligence. The ZSLJ as the oldest known Slavic law in the world shows some similarities with other medieval Slavic legal codes, especially in the field of criminal law, since most of the ZSLJ’s articles are related to criminal law. On the other hand, the Vinodol Law is the oldest preserved Croatian law and it is among the oldest Slavic codes in the world. It was written in 1288 in the Croatian Glagolitic script and in the Croatian Chakavian dialect. The third document – the Statute of Senj – regulated legal matters in the Croatian littoral town of Senj. It was written in 1388 – exactly a century after the Vinodol Law was proclaimed. When comparing the Vinodol Law and the Statute of Senj with the Zakon Sudnyj LJudem, there are clear differences and similarities, particularly in the field of criminal law. Within the framework of criminal offenses, the act of arson is important for making a distinction between intent and negligence. While the ZSLJ regulates different levels of guilt, the Vinodol Law makes no difference between dolus and culpa. On the other hand, the Statute of Senj strictly refers to negligence as a punishable crime. Even though the ZSLJ is almost half a millennium older than the Statute of Senj and around 400 years older than the Vinodol Law, this paper proves that the ZSLJ defines the guilt and the punishment for arson much better than the other two laws.

scholarly journals Studi Komparatif Kinerja Bank Syariah Dan Bank Konvensional Dalam Menghadapi Krisis Global Berdasarkan Rasio Keuangan

2009 ◽  
Vol 1 (1) ◽  
pp. 1
Author(s):  
Rohmawati Kusumaningtias
Keyword(s):  
Financial Crisis ◽  
Economic Crisis ◽  
Banking Sector ◽  
T Test ◽  
The Other ◽  
Other Hand ◽  
Better Than ◽  
Productive Employment

AbstractAt the time of financial crisis, one of the influential institutions in society is banking. Banking sector provide soft loans to create productive employment for the community. On the other hand, customers also need the liquidity from bank-ing. These stakeholders' needs can be met by looking at the performance of bank-ing. This study aims to determine differences in the performance of sharia banking and conventional banking during economic crisis. This study uses t-test to analyze the data. From the research, it was found that in general, the performance of conventional banking is better than sharia banking in the economic crisis.

scholarly journals Wieloaspektowość międzyjęzykowej ekwiwalencji stałych połączeń wyrazowych a ujęcie onomazjologiczne na przykładzie frazeologizmów typu tęga głowa

2020 ◽  
pp. 333-355
Author(s):  
Joanna Szerszunowicz ◽  
Keyword(s):  
Linguistic Analysis ◽  
Lexical Item ◽  
The Other ◽  
Target Language ◽  
Source Language ◽  
Multiword Expressions ◽  
Other Hand ◽  
Minor Significance ◽  
The Cross

The aim of this paper is to discuss the usefulness and reliability of the onomasiological approach in the cross-linguistic analysis of fixed multiword expressions based on the example of Polish phrases coined according to the model: ADJECTIVENOM FEM SING + GŁOWA ‘HEAD’ and their English and Italian counterparts. The three corpora are constituted by expressions registered in general and phraseological dictionaries of the respective languages to ensure that the units belong to the canon of Polish, English and Italian phraseological stock. The analysis of units collected for the purpose of the study clearly shows that in order to determine the true picture of cross-linguistic equivalence, the study should be focused on semantics of analysed phrases. Furthermore, the formal aspectmay be of minor significance in some cases due to the similarity of imagery of a source language idiom and the target language lexical item. On the other hand, stylistic value may have a great impact on the relation of cross-linguistic correspondence of the analysed units.

scholarly journals THE APPLICATION OF AMINO – AND HYDROXYETHYL IMIDAZOLINES OF PETROLEUM ACIDS AS MULTIFUNCTIONAL ADDITIVES FOR DIESEL FUEL

2016 ◽  
Vol 11 (10) ◽  
pp. 3828-3833
Author(s):  
Anar Amil Namazov ◽  
Vagif Maharram Abbasov ◽  
Tarana Aslan Mammadova ◽  
Khayyam Rahim Valiyev ◽  
Khayala Hamlet Kasamanli
Keyword(s):  
Diesel Fuel ◽  
Boiling Point ◽  
The Other ◽  
Antistatic Property ◽  
Other Hand ◽  
Multifunctional Additives ◽  
Antistatic Effect ◽  
Over Time ◽  
Better Than ◽  
Petroleum Acid

In this research, the influence of amino- and hydroxyethyl imidazolines of petroleum acids on the antistatic property and lubricity of diesel fuel has been studied. The researches illustrated that when the boiling point of petroleum acid fractions increases, the influence of imidazolines on the antistatic property and lubricity of diesel fuel decreases. Besides, it has been known that, the influence of aminoethyl imidazolines of petroleum acids on the antistatic property and lubricity of diesel fuel is better than the influence of hydroxyethyl imidazolines, On the other hand, it has been revealed that, when imidazolines of petroleum acids are added to the diesel fuel, the antistatic effect increases over time.

The Aesthetic Mediation

2018 ◽  
pp. 143-200
Author(s):  
Richard Viladesau
Keyword(s):  
Nineteenth Century ◽  
Visual Arts ◽  
The Other ◽  
Romantic Period ◽  
Popular Piety ◽  
Biblical Scholarship ◽  
Other Hand ◽  
The Cross ◽  
The Aesthetic ◽  
Naturalistic Realism

In the visual arts of the Romantic period the crucifixion of Christ often became a representation of the sufferings of humanity. Caspar David Friedrich’s paintings placed the cross in the context of the immensity of nature. Toward the end of the nineteenth century there was an increasing tendency to portray Jesus’ suffering in the genre of naturalistic realism. Some painters consciously attempted to incorporate the findings of modern biblical scholarship, rather than follow traditional models. Early film representations, on the other hand, tended to rely on classical types and popular piety.

The Attitudes of the Secular Historians of the Age of Justinian Towards the Classical Past

Traditio ◽  
1976 ◽  
Vol 32 (1) ◽  
pp. 353-358 ◽  
Author(s):  
J. A. S. Evans
Keyword(s):  
Subject Matter ◽  
The Other ◽  
Literary Style ◽  
Ecclesiastical History ◽  
Other Hand ◽  
The Cross ◽  
Classical Traditions ◽  
Historical Causation ◽  
Eusebius Of Caesarea ◽  
The Church

I shall begin with a definition. I am dealing with ‘secular historians,’ and thus I am excluding ecclesiastical history, and chronography. The second of these two genres, chronography, continued a tradition which goes back as far as Thucydides' contemporary, Hellanicus, but under a Christian empire it acquired a Christian bias and dropped any pretence of literary style. ‘Ecclesiastical history,’ which, as far as we know, was invented by Eusebius of Caesarea, and displays a somewhat unclassical passion for documentation, dealt with the church and history as it affected the church. Its presuppositions about historical causation were Christian. The secular historians, on the other hand, continued the classical traditions of historiography begun by Herodotus and Thucydides, and their subject matter was war and politics, and the cross between the two, which was diplomacy.

The magnetic flux and self-inductivity of a thick toroidal current

2007 ◽  
Vol 73 (5) ◽  
pp. 741-756 ◽  
Author(s):  
TOMISLAV ŽIC ◽  
BOJAN VRŠNAK ◽  
MARINA SKENDER
Keyword(s):  
Aspect Ratio ◽  
Magnetic Flux ◽  
Magnetic Energy ◽  
The Other ◽  
Poloidal Field ◽  
Other Hand ◽  
Radial Profiles ◽  
Internal Flux ◽  
The Difference ◽  
Better Than

AbstractWe investigate numerically the magnetic flux and self-inductivity of a toroidal current I of arbitrary aspect ratio (R0/r0 = 1/η, where R0 and r0 are the major and the minor torus radii, respectively). The total flux Ψ is represented by the sum of the flux outside the torus envelope (Ψo) and the internal flux within the torus body (Ψi). Analogously, the total inductivity is expressed as L = Lo + Li. The outside self-inductivity is determined directly from the magnetic flux Ψo, utilizing Ψo = LoI. On the other hand, the internal inductivity is evaluated as the magnetic energy contained in the poloidal field. The calculations are performed for three different radial profiles of the current density, j(r).It is found that Ψo(η) and Lo (η) depend only very weakly on the form of j(r). On the other hand, Ψi and Li do not depend on η, but depend on the form of j(r). In the range 0.02 ≲ η ≲ 0.5, the numerical values of Lo can be very well fitted by the function of the form Lofit1(η) = −A log(η) − B. Such a relation is analogous to that for a slender torus, although the coefficients are different. For η ≲ 0.01 the slender-torus approximation (Lo*) matches the numerical results better than our function Lofit1, whereas for thicker tori, Lofit1 becomes more appropriate. It is shown that, beyond η ≳ 0.1, the departure of the slender-torus analytical expression from the numerical values becomes greater than 10%, and the difference becomes larger than 100% at η 0.55. In the range η 0.5, the numerical values of Lo can be very well expressed by the function Lofit2(η)=c1 (1 − η)c2. Furthermore, since the internal flux and inductivity become larger than that outside the envelope, Ψi and Li become larger than Ψo and Lo. The total inductivity Ltotfit = Lofit + Li, calculated by appropriately employing our functions Lofit1 and Lofit2, never deviates by more than 1% from the numerically determined values of Ltot.

Sign in / Sign up

Export Citation Format

Share Document