Moving In-Frame

2022 ◽  
pp. 217-234
Author(s):  
Andi Johnson ◽  
Richard Lessey ◽  
Rebeca Ramos O'Reilly ◽  
Jessica Shi

The researchers explored the dual experience of individuals who are both taking dance and movement classes digitally at the same time as they are also teaching dance and movement classes digitally. By focusing on this duality through a series of interviews with practitioners, the researchers explore how the learner/educators do or do not adapt one set of skills into the other area of work and the lessons learned from this reflective practice. The results are analyzed and broken down into five sections: glitches of the practice, reflective practice, active learning, engagement, and reframing communication. Through further analysis, the researchers explore possibilities for shifting the mindset around digital education methods. The researchers then offer suggestions for further development in the field and where further research can expand on the subject area.

1972 ◽  
Vol 37 (4) ◽  
pp. 677-682 ◽  
Author(s):  
George Metakides

Let α be a limit ordinal with the property that any “recursive” function whose domain is a proper initial segment of α has its range bounded by α. α is then called admissible (in a sense to be made precise later) and a recursion theory can be developed on it (α-recursion theory) by providing the generalized notions of α-recursively enumerable, α-recursive and α-finite. Takeuti [12] was the first to study recursive functions of ordinals, the subject owing its further development to Kripke [7], Platek [8], Kreisel [6], and Sacks [9].Infinitary logic on the other hand (i.e., the study of languages which allow expressions of infinite length) was quite extensively studied by Scott [11], Tarski, Kreisel, Karp [5] and others. Kreisel suggested in the late '50's that these languages (even which allows countable expressions but only finite quantification) were too large and that one should only allow expressions which are, in some generalized sense, finite. This made the application of generalized recursion theory to the logic of infinitary languages appear natural. In 1967 Barwise [1] was the first to present a complete formalization of the restriction of to an admissible fragment (A a countable admissible set) and to prove that completeness and compactness hold for it. [2] is an excellent reference for a detailed exposition of admissible languages.


Author(s):  
MIRA KAJKO-MATTSSON ◽  
NED CHAPIN

Consider two independently done software engineering studies that used different approaches to cover some of the same subject area, such as software maintenance. Although done differently and for different purposes, to what extent can each study serve as a validation of the other? Within the scope of the subject area overlap, data mining can be applied to provide a quantitative assessment. This paper reports on the data mining that attempted to cross validate two independently done and published software engineering studies of software maintenance, one on a corrective maintenance maturity model, and the other on an objective classification of software maintenance activities. The data mining established that each of the two independently done studies effectively and very strongly validates the other.


1859 ◽  
Vol 9 ◽  
pp. 165-165

The object of the present memoir is the further development of the theory of binary quantics; it should therefore have preceded so much of my third memoir, vol. cxlvii. (1857), p. 627, as relates to ternary quadrics and cubics. The paragraphs are numbered continuously with those of the former memoirs. The first three paragraphs, Nos. 62 to 64, relate to quantics of the general form (*≬ x, y ,..) m , and they are intended to complete the series of definitions and explanations given in Nos. 54 to 61 of my third memoir; Nos. 68 to 71, although introduced in reference to binary quantics, relate or may be considered as relating to quantics of the like general form. But with these exceptions the memoir relates to binary quantics of any order whatever: viz. Nos. 65 to 80 relate to the covariants and invailants of the degrees 2, 3, and 4; Nos. 81 and 82 (which are introduced somewhat parenthetically) contain the explanation of a process for the calculation of the invariant called the discriminant; Nos. 83 to 85 contain the definitions of the catalectieant, the lambdaic and the canonisant, which are functions occurring in Prof. Sylvester’s theory of the reduction of a binary quantic to its canonical form; and Nos. 86 to 91 contain the definitions of certain covariants or other derivatives connected with Bezout’s abbreviated method of elimination, due for the most part to Professor Sylvester, and which are called Bezoutiants, Cobezoutiants, &c. I have not in the present memoir in any wise considered the theories to which the catalecticant &c. and the other covariants and derivatives just referred to relate; the design is to point out and precisely define the different covariants or other derivatives which have hitherto presented themselves in theories relating to binary quantics, and so to complete, as far as may be, the explanation of the terminology of this part of the subject.


1997 ◽  
Vol 111 (3) ◽  
pp. 163-176
Author(s):  
J. Bruyn

AbstractSince J. G. van Gelder was able to identify a number of works by François Venant (1591/92-1636) in 1938 (note 2) and Kurt Bauch and Astrid Tümpel added to these one painting and a drawing (notes 14 and 3), the artist has been known as one of the so-called Pre-Rembrandtists. Together with his contemporaries Claes Cornelisz. Moeyaert (c. 1590/91-1655) and Jacob Pynas (1592/93-after 1650) he was one of the younger artists of this group. Its style was dominated by Pictcr Lastman (1583-1633) and Jan Pynas (1581/82-1633), both of whom underwent the influence of Adam Elsheimer during their stay in Rome. Venant married a younger sister of Lastman in 1625. The latter's influence on his work had however set in well before that year. Jacob's Dream, signed and dated 161(7?) (note 10, fig. 2) testifies to this, as well as showing traces of Elsheimer's influence, possibly transmitted by Jan Pynas (notes 12 and 13, fig. 3). A somewhat later signed work, David's parting from Jonathan (note 5, fig.1), closely follows Lastman's version of the subject of 1620 (note 6) though the grouping of the two figures may be taken as typical of Venant's personal style. In an unsigned picture of Gideon's Scacrifice, which may also be dated to the early 1620s (note 14, fig. 4), the artist once more makes use of motifs from various works by Lastman. Two undated drawings would seem to represent a slightly later stage in the artists's development. The Baptism of the Eunuch (notes 16 and 18, fig. 5) betrays the attempt to emulate Lastman's pictures on the subject, especially one of 1623 (note 17), by enhancing the dramatic actions in the scene, and so does Gideon's Sacrifice (note 20, figs. 6 and 8), which seems to be based on Lastman's Sacrifice of Monoah of 1627 (note 21, fig.7). To these works, spanning a period from 1617 (?) to the late '20s, may be added two more, another drawing and a painting. The drawing of Daniel at Belshazzar's Feast was formerly attributed to Lastman (notes 25-33, figs. and 10). While the technique, notably the use of wash, differs from that in the drawings mentioned above, the similarities to these in linear rhythm and conception are such that they may all be attributed to the same hand. The technical differences may be accounted for by assuming a slightly later date and, more particularly, a different purpose; whereas the other drawings were in all likelihood self-contained products, Belshazzar's Feast appears to be a sketch for a painting. The last phase of Venant's career seems to be represented by the largest painting known to us and the only one on canvas, Elisha Refusing Naäman's Gifts (note 34, fig. 11). It shows the artist disengaging himself from Lastman at last, possibly after the latter's death in 1633. While the composition is still reminiscent of his carlier work, here Venant seems to have made a fresh start by allowing study from life to play a more important role than before. The landscape differs radically from earlier backgrounds and may well have been influenced by Barholomeus Breenbergh, who returned from Italy around 1630 and whose influence may also be detected in the heavy wash that marks the Belshazzar drawing. The artist's further development was cut short by his untimely death, probably of the plague, in 1636.


Author(s):  
Yu. Bilak ◽  
I. Bilak ◽  
S. Varha

The paper presents the technology of obtaining a quantitative assessment of the risk of financing projects at the stage of business expansion. The technology on the one hand uses quantitative assessments of the project on different indicators and on the basis of different models, and on the other hand uses the experience, knowledge, and competencies of experts in the subject area. The model uses a neuro-phase network of deep learning, increases the accuracy and objectivity of assessment.


Author(s):  
E. I. Kozlova

The author examines the draft of standard new version (GOST R 7.0.94–2015 “SIBID. Library document acquisitions. Terms and definitions”. The need for ordering terms in the area of collection development and collection studies. Owing to the terminology’s expanding onto collection studies, the standard title has changed from “Library collections. Terms and definitions”. The standard focuses on terms and definitions within the subject area of “library collection studies, library collections”. The vectors of standard drafting are discussed: outdated standardized definitions are edited; processes structure and contents are changed according to the modern theory and practice related to library collections; concept list for library collection characteristics is expanded; new concepts to describe library activities in digital environment are introduced. The draft standard comprises 170 terms and the alphabet index. The author describes Rosstandardregulated approaches toward national standard development [Rosstandard – Federal Agency on Technical Regulating and Metrology]. The new version key provisions and definitions can be used for references and will support further development of new regulations, methodological documents and instructions for library activities, and library collection studies.


Author(s):  
Jozef Rybczynski

The paper presents results of simulation of the bearing misalignment defect in a power turboset. The results are shown in the form of a set of journal and bush trajectories of all bearings in the turboset. The subject area of analysis was the vibrational effect of displacing two most vulnerable bearings in horizontal and vertical directions by a maximum permissible range calculated taking into account the permissible bearing vibration criterion. Relations were shown between the shape and dimensions of particular bearing trajectories on the one hand, and their location with respect to the misaligned bearing and direction of misalignment, on the other hand. It was indicated that the relative journal trajectories and absolute bush trajectories carry much more information about the dynamic state of the machine than vibration amplitudes measured by standard. The trajectories contain the information on the amplitudes of relative and absolute bearing vibrations in all directions, complemented by journal and bush trajectory shapes, indicating the way in which bearings are loaded. As a result trajectories can be a source of information on the position and direction of bearing displacements. The article indicates the potential of using trajectory patterns for diagnosing misalignment defects in rotating machines. Including a set of trajectories to the base of knowledge of a diagnostic system can extend its diagnostic abilities by including bearing misalignment defects, which are frequently recorded in these machines.


Author(s):  
Серій Ілліч Доценко

The main problem in the general problem of knowledge manipulation is the problem of determining the composition and content of the subject area for which this problem is being solved. It has been established that there are two fundamentally different approaches to solving knowledge manipulation problems. The first approach consists in the application of methods of automatic data processing using computers and corresponding algorithms based on the rules of formal logic to obtain new knowledge about objects in the subject area. For the first approach, the objects of the domain are precisely the physical objects of animate and inanimate nature in their existence, which have their characteristics and between which the corresponding relations are established. The second approach is to use the ability of the human intellect to measure things and their properties based on the laws of dialectical logic. The second approach is characterized by the cognition of knowledge about the activity of objects of living nature, primarily humans. In this case, computers are used, as a rule, to represent already established knowledge in an appropriate form. One such form of knowledge representation is a logical model of a Cartesian coordinate system. The analysis of this model has shown that the logical principle of its formation is the principle of the dialectical unity of the concepts of “general” and “unit”, which is used to form the composition and content of diametrically opposite coordinate axes from numerical sets. On the other hand, there are a significant number of logical models in which the composition and content of the elements of the sets that form the coordinate axes correspond to certain knowledge about human activity. These models also implement the principle of their formation in the form of a dialectical unity of the concepts of “general” “unit”, which is used to form the composition and content of diametrically opposite coordinate axes from the sets of which certain knowledge is. It should be noted that in each of the studied approaches to knowledge manipulation, the concept of “measure” is not applied. On the other hand, this concept is decisive in the formation of knowledge about human activities and their manipulation. The research of the properties of the logical model of the meta-knowledge measure has been carried out. For this model, the content of the concepts “measure of meta-knowledge”, “unit of measure of meta-knowledge” and “unit of measure of knowledge” is established. The graphical representation of the logical model of knowledge representation about human activity in the logical model of the meta-knowledge measure is the architecture of the matrix representation. The main advantage of this view is that it implements a many-to-many (M: N) relationship, which is prohibited in relational databases. The analysis of the level of compliance of the proposed logical model of the meta-knowledge measure with certain requirements for knowledge manipulation models is carried out. A high level of compliance with these requirements has been established. Taking into account the established properties of the architecture of the logical model of meta-knowledge, it is proposed to define this model in the form of a post-Descartes representation of meta-knowledge about the activity.


Author(s):  
Olga Balabeykina ◽  
◽  
Anton Dmitriev ◽  

Introduction. The article analyzes the subject-thematic content of modern scientific domestic and foreign works, the field of study of which is religion in countries and regions. The article deals with theoretical issues related to an integrated approach to regional studies in the development and functioning of the confessional space. Methods and materials. Statistical methods of data processing were applied, as well as the visualization of statistical data reflecting the functioning of the structural elements of the geo-confessional space. Analysis. Based on the specifics of the subject area, it is proposed to identify such thematic areas: historical-cultural, spatial (chorological), political-legal, socio-economic. A brief description of each of the designated areas is given. Within the framework of the spatial direction, the essence of two approaches is separately reflected: the institutionalterritorial and the religious-landscape. The necessity of using the scientific and factual basis of each of the selected areas for conducting a comprehensive study of the confessional space is indicated. Attention is paid to the use of scientific tools in comprehensive regional-confessional studies. Results. The importance of expanding the range of mathematical and statistical methods adopted in regional studies is indicated, since the results of calculating the coefficients of unevenness, advantages, etc. are the evidence base for identifying regional differences in the placement of religious infrastructure, etc. and can be applied in scientific works in all regional and confessional areas. For clarity, the provisions presented in the article are illustrated with examples related to elements of the confessional space of different regions and countries. The most promising for further development in the field of regional-confessional research, as the least studied, the authors call the political-legal and socio-economic directions, while maintaining the importance of historical and cultural as well as spatial in the meaning of independent research, and as a basis for a comprehensive one.


2020 ◽  
Vol 7 (3) ◽  
pp. 47-55
Author(s):  
A. E. Kovalev

The role of classification in science and other spheres can hardly be underestimated. Accounting is no exception. The requirements to “natural classification” were formulated in the late twentieth century and can be used for further development and improvement of accounting. The article is devoted to the analysis of the accounting system for compliance with the requirements of natural classification. Accounting information is generated on the basis of classification, with accounts themselves used as classification criteria. The existing system of accounting was analyzed for compliance with the major twelve natural classification requirements to find out that the system is totally incompliant with five of these requirements and five more are met only partially. In order to analyze the accounting system for compliance with the remaining two requirements it is necessary to start with decomposition of accounts into separate classification groups. The methods of scientific classification, formal logic, comparison, analysis and synthesis are used in this work. The results of the study can be used to improve the organization and planning of scientific research in the field of accounting. The research is of practical significance as it provides the recommendations on changing the composition and special features of accounts to meet the requirements of natural classification which in turn will reveal the very essence of the subject area in multidimensional and logical way.


Sign in / Sign up

Export Citation Format

Share Document