History of IBM's Technical Contributions to High Level Programming Languages

1981 ◽  
Vol 25 (5) ◽  
pp. 520-534 ◽  
Author(s):  
Jean E. Sammet
Keyword(s):  
Programming Languages ◽  
History Of ◽  
High Level

A Confrontation between Two Doctrines: The Birth of Struggle for Hegemony in Hebrew Children's Literature during the 1930s and 1940s

2008 ◽  
Vol 1 (2) ◽  
pp. 139-155 ◽  
Author(s):  
YAEL DARR
Keyword(s):  
Children's Literature ◽  
Educational System ◽  
Single Channel ◽  
Children’S Literature ◽  
The Political ◽  
Literary Creation ◽  
History Of ◽  
High Level ◽  
First Time ◽  
Literary Quality

This article describes a crucial and fundamental stage in the transformation of Hebrew children's literature, during the late 1930s and 1940s, from a single channel of expression to a multi-layered polyphony of models and voices. It claims that for the first time in the history of Hebrew children's literature there took place a doctrinal confrontation between two groups of taste-makers. The article outlines the pedagogical and ideological designs of traditionalist Zionist educators, and suggests how these were challenged by a group of prominent writers of adult poetry, members of the Modernist movement. These writers, it is argued, advocated autonomous literary creation, and insisted on a high level of literary quality. Their intervention not only dramatically changed the repertoire of Hebrew children's literature, but also the rules of literary discourse. The article suggests that, through the Modernists’ polemical efforts, Hebrew children's literature was able to free itself from its position as an apparatus controlled by the political-educational system and to become a dynamic and multi-layered field.

A New Step in the Study of the History of the Russian Prosecutor’s Office

2019 ◽  
pp. 94-98
Keyword(s):  
Russian Federation ◽  
Russian Empire ◽  
Practical Significance ◽  
History Of ◽  
The Russian Federation ◽  
The Russian Empire ◽  
High Level ◽  
The University

The paper is a review on the textbook by A. V. Yeremin, «The History of the National Prosecutor’s office» and the anthology «The Prosecutor’s Office of the Russian Empire in the Documents of 1722–1917» (authors: V. V. Lavrov, A. V. Eremin, edited by N. M. Ivanov) published at the St. Petersburg Law Institute (branch) of the University of the Prosecutor’s office of the Russian Federation in 2018. The reviewers emphasize the high relevance and high level of research, their theoretical and practical significance. The textbook and the anthology will help the students increase their legal awareness, expand their horizons.

“Ukrayinskyi Prapor” (1923—1932s): the Berlin period of the newspaper of the President of the Ukrainian National Council

2019 ◽  
pp. 13-33
Author(s):  
Nadiia Kulesha
Keyword(s):  
National Policy ◽  
Editorial Staff ◽  
National Council ◽  
Soviet Rule ◽  
Editorial Content ◽  
Paper Record ◽  
Science And Culture ◽  
History Of ◽  
High Level ◽  
Mainstream Press

The centenary of the Ukrainian Revolution (1917―1921s) made relevant the interest to the developments and the personalities of that time, specifically, to the personality of the President of the ZUNR, Petrushevych, Yevhen. The newspaper «Ukrayinskyi Prapor» founded in 1919 in Vienna, throughout its existence, was considered as an official print organ of the Dictator (i.e., Y. Petrushevych). The Vienna period of this publication lasted from August 1919 to mid-November 1923. From the end of November 1923 till April 1932, the paper was published in the capital of the Weimar Republic, Berlin. It was the only newspaper of the Ukrainian emigration published for the longest time in interwar Germany. It was an example of a socio-political periodical. There collaborated outstanding editors and publicists. The pages of this paper record the history of the diplomatic struggle of the West Ukrainian foreign representatives for the liberation of the Eastern Galicia from the protectorate of Poland and the restoration of Ukrainian statehood. Its materials documented the course of the occupation of the Eastern Galicia by Poland and the process of «Polonization» of the Ukrainian population of that region. The article explores the Berlin period of existence of the magazine. Specifically, it studies the changes in the ideological line of the magazine, more specifically, its pro-Soviet editorial orientation because of the illusions about the transformation of the national policy of the Soviet rule in Ukraine, especially during the period of Ukrainization. Then the traditional headings of the magazine were joined by the publications with positive coverage of the flourishing Ukrainianization in Soviet Ukraine. The newspaper also actively reacted to the SVU (Union for Liberation of Ukraine) trial in Kharkiv, justifying the position of the Soviet authorities. The paper’s editorial staff were well-known figures of Ukrainian politics, science, and culture: Yu. Bachynsky, O. Hrytsai, A. Zhuk, M. Lozynsky, R. Perfetsky, and others. They provided a high level of editorial content with high-quality, multifaceted texts. We conclude that in terms of the editorial content and formal aspects, the newspaper «Ukrayinskyi Prapor» matched the standards of the European mainstream press of that time.

Comparison of Non-radiographic Axial Spondyloarthritis and Ankylosing Spondyltis from a Single Rheumatology Hospital in Morocco

2020 ◽  
Vol 16 (3) ◽  
pp. 240-244 ◽  
Author(s):  
Nessrine Akasbi ◽  
Siar Nihad ◽  
Zoukal Sofia ◽  
El Kohen Khadija ◽  
Harzy Taoufik
Keyword(s):  
Disease Burden ◽  
Axial Spondyloarthritis ◽  
Univariate Analysis ◽  
Cross Sectional Study ◽  
Low Back ◽  
New Classification ◽  
Cross Sectional ◽  
Asas Criteria ◽  
History Of ◽  
High Level

Background: According to the new classification criteria developed by The Assessment of SpondyloArthritis International Society, patients with axial spondyloarthritis (axSpA) can be classified in 2 subgroups: Patients with radiographic axial spondyloarthritis: ankylosing spondylitis patients (AS) and those with non-radiographic axial spondyloarthritis (nr-axSpA). Objective: The aim of the present study is to describe and discuss the differences and similarities between the two subgroups. Patients and Methods: A cross-sectional study was conducted in a single rheumatology hospital in Morocco. These included patients diagnosed as having axial spondyloarthritis according to ASAS criteria 2010, during a period of 6 years. The AS and the nr-axSpA subgroups were compared for the various axSpA-related variables. Results: Of the 277 patients with a diagnosis of axial SpA who were included in this study, 160 had AS and 117 had nr-axSpA. AS and nr-ax-SpA shared a similar age at diagnosis, similar prevalence of low back pain, lumbar stiffness, extra-articular manifestations, BASDAI and BASFI. In the multivariate analysis, AS patients were mainly male with cervical stiffness, enthesitis, coxitis and high level of ESR (erythrocyte sedimentation rate). The females generally had a family history of SpA and arthritis and were associated to the nr-axSpA form in the univariate analysis. Conclusion: This was the first study to characterise patients with AS and nr-axSpA in Morocco. Consistent with other studies published, this study showed that patients with nr-axSpA and patients with AS shared a comparable degree of disease burden.

scholarly journals COVID-19 Vaccine Acceptance in Azuay Province, Ecuador: A Cross-Sectional Online Survey

Vaccines ◽  
2021 ◽  
Vol 9 (6) ◽  
pp. 678
Author(s):  
Julio Jaramillo-Monge ◽  
Michael Obimpeh ◽  
Bernardo Vega ◽  
David Acurio ◽  
Annelies Boven ◽  
...  
Keyword(s):  
Rural Areas ◽  
Online Survey ◽  
Vaccination Campaign ◽  
Postgraduate Education ◽  
Effective Vaccine ◽  
Cross Sectional ◽  
Lower Education Level ◽  
Vaccination Acceptance ◽  
History Of ◽  
High Level

We investigated the COVID-19 vaccination acceptance level in Azuay province, Ecuador through an online survey from 12th to 26th February (before the start of the COVID-19 vaccination campaign in Ecuador). Overall, 1219 respondents participated in the survey. The mean age was 32 ± 13 years; 693 participants (57%) were female. In total, 1109 (91%) of the participants indicated they were willing to be vaccinated with a COVID-19 vaccine, if the vaccine is at least 95% effective; 835 (68.5%) if it is 90% effective and 493 (40.5%) if it is 70% effective; 676 (55.5%) participants indicated they feared side effects and 237 (19.4%) thought the vaccine was not effective. Older age, having had a postgraduate education, a history of a negative COVID-19 test, a high level of worry of contracting COVID-19, believing that COVID-19 infection can be prevented with a vaccine and understanding there is currently an effective vaccine against COVID-19 were associated with higher vaccination acceptance. A vaccination education campaign will be needed to increase the knowledge of Ecuadorians about the COVID-19 vaccine and to increase their trust in the vaccine. People with a lower education level and living in rural areas may need to be targeted during such a campaign.

CSim 2

2021 ◽  
Vol 43 (1) ◽  
pp. 1-46
Author(s):  
David Sanan ◽  
Yongwang Zhao ◽  
Shang-Wei Lin ◽  
Liu Yang
Keyword(s):  
Programming Languages ◽  
Concurrent Systems ◽  
Theorem Prover ◽  
Compositional Techniques ◽  
Machine Code ◽  
Top Down ◽  
Hol Theorem Prover ◽  
High Level ◽  
High Degree

To make feasible and scalable the verification of large and complex concurrent systems, it is necessary the use of compositional techniques even at the highest abstraction layers. When focusing on the lowest software abstraction layers, such as the implementation or the machine code, the high level of detail of those layers makes the direct verification of properties very difficult and expensive. It is therefore essential to use techniques allowing to simplify the verification on these layers. One technique to tackle this challenge is top-down verification where by means of simulation properties verified on top layers (representing abstract specifications of a system) are propagated down to the lowest layers (that are an implementation of the top layers). There is no need to say that simulation of concurrent systems implies a greater level of complexity, and having compositional techniques to check simulation between layers is also desirable when seeking for both feasibility and scalability of the refinement verification. In this article, we present CSim 2 a (compositional) rely-guarantee-based framework for the top-down verification of complex concurrent systems in the Isabelle/HOL theorem prover. CSim 2 uses CSimpl, a language with a high degree of expressiveness designed for the specification of concurrent programs. Thanks to its expressibility, CSimpl is able to model many of the features found in real world programming languages like exceptions, assertions, and procedures. CSim 2 provides a framework for the verification of rely-guarantee properties to compositionally reason on CSimpl specifications. Focusing on top-down verification, CSim 2 provides a simulation-based framework for the preservation of CSimpl rely-guarantee properties from specifications to implementations. By using the simulation framework, properties proven on the top layers (abstract specifications) are compositionally propagated down to the lowest layers (source or machine code) in each concurrent component of the system. Finally, we show the usability of CSim 2 by running a case study over two CSimpl specifications of an Arinc-653 communication service. In this case study, we prove a complex property on a specification, and we use CSim 2 to preserve the property on lower abstraction layers.

Sign in / Sign up

Export Citation Format

Share Document