regular theory
Recently Published Documents


TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

2019 ◽  
Vol 48 (2) ◽  
pp. 030006051988283
Author(s):  
Wen Zhou ◽  
Jin Huang ◽  
Lingfeng Yang ◽  
Tieying Qiu ◽  
Yan Zhang ◽  
...  

Objective We aimed to investigate whether long-term regular training of diabetes liaison nurses (DLNs) could improve their diabetes-related knowledge, attitudes, and self-reported practice. Methods We enrolled 45 diabetes liaison nurses (DLNs) and 45 non-specialist nurses (controls). DLNs received 11 days of qualifying training, followed by regular theory classes and practice sessions for 4 years. All nurses were administered a questionnaire assessing demographic characteristics, knowledge about diabetes mellitus (DM), attitudes toward DM, and DM management practices, before and after the 4-year DLN training period. Results At baseline, there were no significant differences between the DLN and control groups for sex, age, educational level, nurse title/grade, work experience, hospital department, or questionnaire scores. At 4 years, the DLN group had a higher overall questionnaire score and higher scores for knowledge about DM, attitudes toward DM, and DM management practices, as compared with baseline scores. Conclusion Long-term regular training provided by a multidisciplinary diabetes care team can improve the knowledge, attitudes, and self-reported practice levels of DLNs.


2019 ◽  
Vol 84 (4) ◽  
pp. 1348-1367
Author(s):  
HENRIK FORSSELL ◽  
PETER LEFANU LUMSDAINE

AbstractClassically, any structure for a signature ${\rm{\Sigma }}$ may be completed to a model of a desired regular theory ${T}}$ by means of the chase construction or small object argument. Moreover, this exhibits ${\rm{Mod}}\left(T)$ as weakly reflective in ${\rm{Str}}\left( {\rm{\Sigma }} \right)$.We investigate this in the constructive setting. The basic construction is unproblematic; however, it is no longer a weak reflection. Indeed, we show that various reflectivity principles for models of regular theories are equivalent to choice principles in the ambient set theory. However, the embedding of a structure into its chase-completion still satisfies a conservativity property, which suffices for applications such as the completeness of regular logic with respect to Tarski (i.e., set) models.Unlike most constructive developments of predicate logic, we do not assume that equality between symbols in the signature is decidable. While in this setting, we also give a version of one classical lemma which is trivial over discrete signatures but more interesting here: the abstraction of constants in a proof to variables.


1987 ◽  
Vol 54 (2-3) ◽  
pp. 139-163 ◽  
Author(s):  
Lutz Priese ◽  
Ralf Rehrmann ◽  
Uwe Willecke-Klemme
Keyword(s):  

Fagnani discovered that the two arcs of the periphery of a given ellipse may be determined in many ways, so that their difference shall be equal to an assignable straight line; and proved that any arc of a lemniscate, like that of a circle, may be multiplified any number of times, or may be subdivided into any number of equal parts, by finite algebraic equations. What he had accomplished with respect to the arcs of the lemniscates, which are expressed by a particular elliptic integral, Euler extended to all transcendents of the same class. Landen showed that the arcs of the hyperbola may be reduced, by a proper transformation, to those of an ellipse. Lagrange furnished us with a general method for changing an elliptic function into another having a different modulus; a process which greatly facilitates the numerical calculation of this class of integrals. Legendre distributed the elliptic functions into distinct classes, and reduced them to a regular theory, developing many of their properties which were before unknown, and introducing many important additions and improvements in the theory. Mr. Abel of Christiana happity conceived the idea of expressing the amplitude of an elliptic function in terms of the function itself, which led to the discovery of many new and useful properties. Mr. Jacobi proved, by a different method, that an elliptic function may be transformed in innumerable ways into another similar function, to which it bears constantly the same proportion. But his demonstrations require long and complicated calculations; and the train of deductions he pursues does not lead naturally to the truths which are proved, nor does it present in a connected view all the conclusions which the theory embraces. The author of the present paper gives a comprehensive view of the theory in its full extent, and deduces all the connected truths from the same principle. He finds that the sines or cosines of the amplitudes, used in the transformations, are analogous to the sines or cosines of two circular arcs, one of which is a multiple of the other; so that the former quantities are changed into the latter when the modulus is supposed to vanish in the algebraic expression. Hence he is enabled to transfer to the elliptic transcendents the same methods of investigation that succeed in the circle: a procedure which renders the demonstrations considerably shorter, and which removes most of the difficulties, in consequence of the close analogy that subsists between the two cases.


1831 ◽  
Vol 121 ◽  
pp. 349-377 ◽  

The branch of the integral calculus which treats of elliptic transcendents originated in the researches of Fagnani, an Italian geometer of eminence. He discovered that two arcs of the periphery of a given ellipse may be determined in many ways, so that their difference shall be equal to an assignable straight line; and he proved that any arc of the lemniscata, like that of a circle, may be multiplied any number of times, or may be subdivided into any number of equal parts, by finite algebraic equations. These are particular results; and it was the discoveries of Euler that enabled geometers to advance to the investigation of the general properties of the elliptic functions. An integral in finite terms deduced by that geometer from an equation between the differentials of two similar transcendent quantities not separately integrable, led immediately to an algebraic equation between the amplitudes of three elliptic functions, of which one is the sum, or the difference, of the other two. This sort of integrals, therefore, could now be added or subtracted in a manner analogous to circular arcs, or logarithms; the amplitude of the sum, or of the difference, being expressed algebraically by means of the amplitudes of the quantities added or subtracted. What Fagnani had accomplished with respect to the arcs of the lemniscata, which are expressed by a particular elliptic integral, Euler extended to all transcendents of the same class. To multiply a function of this kind, or to subdivide it into equal parts, was reduced to solving an algebraic equation. In general, all the properties of the elliptic transcendents, in which the modulus remains unchanged, are deducible from the discoveries of Euler. Landen enlarged our knowledge of this kind of functions, and made a useful addition to analysis, by showing that the arcs of the hyperbola may be reduced, by a proper transformation, to those of the ellipse. Every part of analysis is indebted to Lagrange, who enriched this particular branch with a general method for changing an elliptic function into another having a different modulus, a process which greatly facilitates the numerical calculation of this class of integrals. An elliptic function lies between an arc of the circle on one hand, and a logarithm on the other, approaching indefinitely to the first when the modulus is diminished to zero, and to the second when the modulus is augmented to unit, its other limit. By repeatedly applying the transformation of Lagrange, we may compute either a scale of decreasing moduli reducing the integral to a circular arc, or a scale of increasing moduli bringing it continually nearer to a logarithm. The approximation is very elegant and simple, and attains the end proposed with great rapidity. The discoveries that have been mentioned occurred in the general cultivation of analysis; but Legendre has bestowed much of his attention and study upon this particular branch of the integral calculus. He distributed the elliptic functions in distinct classes, and reduced them to a regular theory. In a Mémoire sur les Transcendantes Elliptiques, published in 1793, and in his Exercices de Calcul Intégral, which appeared in 1817 he has developed many of their properties entirely new; investigated the easiest methods of approximating to their values; computed numerical tables to facilitate their application; and exemplified their use in some interesting problems of geometry and mechanics. In a publication so late as 1825, the author, returning to the same subject, has rendered his theory still more perfect, and made many additions to it which further researches had suggested. In particular we find a new method of making an elliptic function approach as near as we please to a circular arc, or to a logarithm, by a scale of reduction very different from that of which Lagrange is the author, the only one before known. This step in advance would unavoidably have conducted to a more extensive theory of this kind of integrals, which, nearly about the same time, was being discovered by the researches of other geometers.


Sign in / Sign up

Export Citation Format

Share Document