scholarly journals Ground Associative and Commutative Completion Modulo Shostak Theories

10.29007/s69q ◽  
2018 ◽  
Author(s):  
Sylvain Conchon ◽  
Evelyne Contejean ◽  
Mohamed Iguernelala
Keyword(s):  
Word Problem ◽  
Decision Algorithm ◽  
Arbitrary Signature ◽  
Orientation Mechanism ◽  
Definition Of ◽  
Main Ideas ◽  
Modular Extension ◽  
Theory X

AC-completion efficiently handles equality modulo associative and commutative function symbols. In the ground case, the procedure terminates and provides a decision algorithm for the word problem. In this paper, we present a modular extension of ground AC-completion for deciding formulas in the combination of the theory of equality with user-defined AC symbols, uninterpreted symbols and an arbitrary signature disjoint Shostak theory X. The main ideas of our algorithm are first to adapt the definition of rewriting in order to integrate the canonizer of X and second, to replace the equation orientation mechanism found in ground AC-completion with the solver for X.

scholarly journals Motherland in the Philosophical Constructions of I.A. Ilyin: Literary Projections

2021 ◽  
Vol 6 (3) ◽  
pp. 222-243
Author(s):  
Evgeny R. Ponomarev
Keyword(s):  
World History ◽  
Vladimir Nabokov ◽  
Russian Philosophy ◽  
Emigre Literature ◽  
Marina Tsvetaeva ◽  
Typical Sign ◽  
Definition Of ◽  
In The Beginning ◽  
Main Ideas ◽  
Ideological Structure

This is the first attempt at analyzing philosophical works about Motherland by Ivan Ilyin (written in the 1920s) as the solid ideological structure, which influenced literature of the Russian emigration of the 1920s as well as Russian émigré selfawareness. The article describes the system of Ilyin’s thought in its dynamics: from his first speeches, delivered in Berlin in 1922, towards the speeches (and articles) of the second half of the 1920s. It highlights certain changes in the definition of the Motherland: in the beginning of his philosophical career, Ilyin understands Motherland as related to the Civil War and the interests of the White Army; later, he moves this concept to religious sphere; by the end of the 1920s he relegates Motherland to the context of world history and Russian culture. Several examples show how Ilyin’s philosophy influenced (or sounds in consonance with), main ideas of the early émigré literature (including novels and political articles by Ivan Bunin, Nina Berberova, Vladimir Nabokov, and Marina Tsvetaeva). That Ivan Ilyin, a former professor of law turned into the greatest ideologist of Russia Abroad is a typical sign of the time and the proof of politicization of Russian philosophy.

Modern Approach to Drawing Up Job Descriptions

2015 ◽  
Vol 4 (5) ◽  
pp. 78-82
Author(s):  
Кириллов ◽  
Andrey Kirillov
Keyword(s):  
Personnel Management ◽  
Business Processes ◽  
Job Descriptions ◽  
Job Description ◽  
Modern Approach ◽  
Specific Rule ◽  
Definition Of ◽  
Main Ideas ◽  
Relationship Of ◽  
The Relationship

The article defines the place of job descriptions in the system of personnel management, formulated and disclosed such requirements to them as: timeliness, relevance, reliability and objectivity, credibility and validity, completeness, conciseness, targeted, specific, rule of law, the uniqueness and uniformity of terms, precision, clarity (clarity), consistency. The sequence of development documents regulating the activities of the organization shows the relationship of job descriptions and position of the structural unit. The article describes how to design a job description. The main shortcomings of modern domestic job descriptions are revealed. The author presents fragments of job descriptions of various categories of personnel. Ways of enhancing the efficiency of the job description in the modern Russian companies are shown. The article describes ways to create product-oriented job description, definition of job descriptions of key performance indicators and competencies, creating job descriptions from the description of business processes. In conclusion summarizes the main ideas to turn the job descriptions in the foundation of the system of personnel management in the organization.

scholarly journals ACTIVITY AS FACTOR OF PROFESSIONAL SELF-ACTUALIZATION DEVELOPMENT OF PERSONALITY

2018 ◽  
Vol 5 (31) ◽  
Author(s):  
R. O. Liashenko
Keyword(s):  
Personality Development ◽  
Self Development ◽  
Self Actualization ◽  
Professional Self ◽  
Definition Of ◽  
Effective Development ◽  
Main Ideas

The article deals with the main approaches of the psychological-pedagogical paradigm to the definition of the content and structure of the category of activity. The main ideas of significant researches on the direction of studying the professional self-actualization of personality and its aspects, in particular, its interrelation with the determining role of activity in the development of personality have been highlighted. It has been proved that the phenomenon of activity is one of the defining factors for effective development of professional self-actualization of the personality, a level of its development and the hierarchy of actions types, which at successively changing stages of personality development become dominant for successful solving of professional tasks.Keywords:  professional self-actualization, personality, activity, self-development, individual.Кандидат педагогічних наук, Ляшенко Р. О. Активність як фактор розвитку професійної самоактуалізації особистості / Центральноукраїнський державний педагогічний університет імені Володимира Винниченка.В статті досліджено основні підходи психолого-педагогічної парадигми до визначення змісту і структури категорії активності. Висвітлено основні ідеї вагомих досліджень з напрямку вивчення професійної самоактуалізації особистості та її аспектів, зокрема її взаємозв’язку з визначальною роллю активності в розвитку особистості. Доведено, що феномен активності є одним з визначальних факторів ефективного розвитку професійної самоактуалізації особистості, рівнем її розвитку та ієрархією видів діяльності, які на послідовно змінних етапах розвитку особистості стають панівними для успішного розв’язання професійних завдань.Ключові слова: професійна самоактуалізація, особистість, активність, саморозвиток, індивід.

scholarly journals C. S. Peirce’s Definition of Symbol in §14 of the New List

2008 ◽  
Vol 2 (2) ◽  
pp. 52-72 ◽  
Author(s):  
Masato Ishida
Keyword(s):  
General Theory ◽  
Case Studies ◽  
Main Body ◽  
Definition Of ◽  
Main Ideas ◽  
Comprehensive Study

The main body of this paper consists of a commentary on §14 of Peirce’s 1867 paper “On a New List of Categories,” in which Peirce derives the concept of Symbol within his general theory of representations. Rather than aiming at a comprehensive study of the New List, the paper closely observes how Peirce arrives at his definition of Symbol in the New List by elucidating its main ideas. The paper suggests that Symbol occupies a unique conceptual locus in Peirce’s theory of categories and that his definition of Symbol in the New List is consistent with Peirce’s later formulations of Symbol. The paper includes five brief case studies of Peirce’s formulations of Symbol over the years 1866 - c.1911.

Applications: Using Data Analysis in Precalculus to Model Cooling

1988 ◽  
Vol 81 (8) ◽  
pp. 680-684
Author(s):  
Gloria Barrett ◽  
Dot Doyle ◽  
Dan Teague
Keyword(s):  
Data Analysis ◽  
Problem Solving ◽  
Word Problem ◽  
Word Problems ◽  
Large Percentage ◽  
National Council ◽  
Using Data ◽  
Definition Of ◽  
Mathematics Problem ◽  
Key Questions

The first two recommendations of the National Council of Teachers of Mathematics in An Agenda for Action (1980) encourage teachers to make problem solving the focus of school mathematics and to broaden the definition of basic skills in mathematics to encompass more than computational facility. Although many teachers agree with these recommendations and are attempting to implement them, they frequently lack good resources with problem-solving activities. Now, as in 1980 when the Agenda was written, most textbooks emphasize computational skills with only a smattering of word problems. Even the application problems generally require students to do no more than translate a carefully stated word problem into an algebraic statement and then perform the algebraic manipulations necessary to obtain a solution. Rarely does a student need to select and use skills in “unexpected, unplanned settings,” “formulate key questions,” or “seek out appropriate data” as are suggested in the Agenda. Consequently, a large percentage of our students are given the impression that there is always a rule to be followed when solving a mathematics problem. In this article we shall modify a fairly traditional precalculus problem to address some of the concerns in the Agenda.

Dewey and the Quest for Certainty in Education

2017 ◽  
pp. 334-350
Author(s):  
Nel Noddings
Keyword(s):  
Vocational Education ◽  
Participatory Democracy ◽  
Interdisciplinary Studies ◽  
Search For Meaning ◽  
Educational Aims ◽  
Definition Of ◽  
Main Ideas

Following Dewey’s advice to move beyond the traditional search for antecedent certainty, several of his main ideas are applied in three areas: (a) the traditional highly specialized curriculum—the priority given to academic subjects, neglect of vocational education, and the faulty definition of “equality” as “sameness”; (b) a reconsideration of educational aims—neglect of moral/social aims, need to include these in all disciplines, preparation for life in participatory democracy, and importance of choice; and (c) importance of interdisciplinary studies—search for meaning and connection, incorporation of aims across disciplines.

scholarly journals Quantum software engineering. Pt. I: Quantum Circuit (Gate) Model based Computing – education Lectures and pedagogical workshop

2020 ◽  
pp. 129-201
Author(s):  
Sergey Ulyanov ◽  
Andrey Reshetnikov ◽  
Olga Tyatyushkina ◽  
Vladimir Korenkov
Keyword(s):  
Software Engineering ◽  
Quantum Computation ◽  
Quantum Algorithms ◽  
Quantum Algorithm ◽  
Quantum Circuit ◽  
Circuit Model ◽  
Topological Quantum ◽  
Definition Of ◽  
Topological Quantum Computation ◽  
Main Ideas

All the quantum algorithms are based on a certain quantum computing model, varying from the quantum circuit, one-way quantum computation, adiabatic quantum computation and topological quantum computation. These four models are equivalent in computational power; among them, the quantum circuit model is most frequently used. In the circuit model, it has been proved that arbitrary single-qubit rotations plus twoqubit controlled-NOT gates are universal, i.e. they can provide a set of gates to implement any quantum algorithm. This article discusses the goal for this research: it is to given a lightning-fast (as-barebones-as-possible) definition of the quantum circuit model computing and leisurely development of quantum computation before actually getting around to sophisticated algorithms. In this article the main ideas of quantum software engineering is described.

scholarly journals Durkheimov teorijsko-metodologijski pristup religiji

2018 ◽  
Vol 38 (15) ◽  
Author(s):  
Željko Oštarić
Keyword(s):  
Sociology Of Religion ◽  
Moral Community ◽  
The Other ◽  
Working Definition ◽  
The World ◽  
Definition Of Religion ◽  
Definition Of ◽  
Main Ideas

In this paper the author tries to examine the main ideas of Emile Durkeim's sociology of religion. Special attention is paid to the problem of the initial definition of religion, as one of the paramount presumption within the sociological survey of the religious phenomenon. In this regard, the paper is divided into three sections: in the first part, the author deals with Durkheim's theoretical and methodological frame within which he will start to define the elemental forms of religion: in the second part, it take into consideration the so-called 'working definition of religion'; and finally, in die third part, it analyses the formal and the substantive elements of the final definition of religion. The final definiton comprises two related elements, one substantive, the other functional. The substantive element asserted that religion involved a perception of the world in terms of the distinction between the sacred and the profane. The second element asserted that religion functioned to create moral community in society.

scholarly journals Bordetella holmesii Contamination of Platelet Concentrates: Revisiting the Definition of a Positive Culture

2018 ◽  
Vol 56 (12) ◽  
Author(s):  
Marc Cloutier ◽  
Marie-Ève Nolin ◽  
Hana Daoud ◽  
Annie Jacques ◽  
Marie Joëlle de Grandmont ◽  
...  
Keyword(s):  
Positive Culture ◽  
Blood Products ◽  
Platelet Concentrates ◽  
Bacterial Strains ◽  
Culture Bottle ◽  
Decision Algorithm ◽  
Content Type ◽  
Infectious Risk ◽  
Definition Of

ABSTRACT Bacterial contamination remains the most important infectious risk of platelet transfusion. After an initially positive result, a second test is performed on the blood products and the initial culture bottle to confirm the contamination. Based on the blood center's decision algorithm used, results can be either confirmed negative, positive, or indeterminate, or be unconfirmed or discordant. Here, we report the first cases of platelet concentrates contaminated with Bordetella holmesii. The in vitro growth characteristics of this unusual contaminant in platelet concentrate were investigated. Two B. holmesii strains isolated from platelet concentrates, as well as a control strain (Serratia marcescens), were spiked into platelet concentrates (PCs) at 1 and 10 CFU/ml. PCs were stored at 20 to 24°C under agitation. Samples were collected on days 2, 3, 4, and 7 for colony count and for bacterial screening using the BacT/Alert 3D system. Two PCs were detected as being positive for B. holmesii. However, recultures were negative. In vitro, B. holmesii did not grow but remained detectable in PCs. Its viability diminished rapidly in contact with human plasma. Upon screening using the BacT/Alert 3D system, the majority of products spiked with B. holmesii were negative. This is the first description of PCs contaminated with B. holmesii. This bacterium survives in blood products and remains dormant at low concentrations in blood products stored at room temperature, thus making difficult its detection with the BacT/Alert 3D system. The present definition of a true-positive culture of PCs may be overly restrictive for certain bacterial strains.

Sign in / Sign up

Export Citation Format

Share Document