bluuebunny/crossref_metadata_2025_split huggingface dataset:
Formation of the Basic Level of Geometry and Graphics Competence of Students in E-Learning
Authors: Усанова  , Usanova Elena 
Published: March 2016

Dynamic development of high-tech engineering on the
basis of CE/PLM methodology requires intensification of training of
engineering personnel and improvement of its quality. Informatization
of geometrical graphic training with use of graphic means of representation
of educational information (various forms of compression
information) and CAD systems allows teachers more productively to
communicate with students in e-learning. This requires a valid scientific
rationale for the possibility of effective formation of the geometric-
graphic competence in the format of blended learning in the
conditions of informatization of geometrical graphic training. In the
2014/2015 academic year at Kazan national research technical University
conducted a comparative experiment to assess the efficiency of formation
of the geometric-graphic competence in traditional and e-learning.
The effectiveness (quality, intensity, efficiency) of the basic geometric
and graphic training in the format of blended learning is confirmed
by the results of the experiment while ensuring comfortable
equally significant of training and informational interaction between
student, teacher and interactive electronic educational resources in
personal learning and problem-based teamwork using the method of
projects. By the organizing of learning activities in this format can be
set the task of training the target group (team) of developers technical
objects, which participants will form a group project mentality at the
stage of learning. Assessments of some criteria in component composition
of the qualities of a person for control the formation of geometric-
graphic competence of future graduates, such as: motivation,
quality thinking, etc., characterizing the integrity, using the techniques
of the subject adaptability to professional activity in a concurrent
engineering by specialists in the field of engineering psychology is not
yet sufficiently developed. It is not possible to fully automate the
monitoring of the formation of the geometric-graphic competence.
Use of a nominal group technique to evaluate a remote area simulation event for paramedicine students
Authors: Barr Nigel , Lane Matthew , Lord Bill 
Published: March 2016

Background: In 2015 a pilot remote area practice workshop was conducted for final year students in an entry to practice paramedic program attending the University of the Sunshine Coast. The pedagogy was based on social constructivism and experiential learning in which students were tasked to solve real world problems in a remote environment. A feed-forward teaching philosophy based on collaboration and scaffolding enabled students to construct their own knowledge of practice in this environment. Methods: We evaluated the experience from both participant and facilitator viewpoints using the Nominal Group Technique, which places emphasis on themes within the feedback obtained. Nominal group technique was utilised as a data collection method at the end of the two-day workshop to achieve consensus on positive aspects of the learning experience as well as to identify areas to be developed in future iterations. Results: The data indicated that the participants valued the challenging scenarios resembling real-world practices that also included a mock communications centre. This highlighted issues which may not have been discovered using other methods of feedback. We found the nominal group technique method to be an appropriate method to gain a consensus of opinions and differentiate critical feedback from the less critical feedback.
Upon the opportunity to apply ART2 Neural Network for clusterization of biodiesel fuels
Authors: Petkov T. , Mustafa Z. , Sotirov S. , Milina R. , Moskovkina M. 
Published: March 2016

Abstract
A chemometric approach using artificial neural network for clusterization of biodiesels was developed. It is based on artificial ART2 neural network. Gas chromatography (GC) and Gas Chromatography - mass spectrometry (GC-MS) were used for quantitative and qualitative analysis of biodiesels, produced from different feedstocks, and FAME (fatty acid methyl esters) profiles were determined. Totally 96 analytical results for 7 different classes of biofuel plants: sunflower, rapeseed, corn, soybean, palm, peanut, “unknown” were used as objects. The analysis of biodiesels showed the content of five major FAME (C16:0, C18:0, C18:1, C18:2, C18:3) and those components were used like inputs in the model. After training with 6 samples, for which the origin was known, ANN was verified and tested with ninety “unknown” samples. The present research demonstrated the successful application of neural network for recognition of biodiesels according to their feedstock which give information upon their properties and handling.
Diffusion Coatings as Corrosion Inhibitors
Authors: Ivanov Radoslav , Ignatova-Ivanova Tsveteslava 
Published: March 2016

Abstract
Corrosion is the cause of irretrievable loss of huge amounts of metals and alloys. The harmful effects of corrosion can be reduced significantly by applying appropriate methods of corrosion protection. One method to protect metals against corrosion is the formation of diffusion coatings on them. High corrosion resistance is typical for the boride diffusion layers. Aluminothermy is one of the main methods for diffusion saturation of the surface of metal products with various elements, including boron, and under certain conditions with aluminum, too. Samples of steel 45 were put to aluminothermic diffusion saturation with boron in a pressurized steel container at a temperature of 1100K, for 6 hours in powdered aluminothermic mixtures. The content of В2О3 in the starting mixtures decreased from the optimum - 20% to 0%, and the content of Al and the activator - (NH4)2.4BF3 is constant, respectively 7% and 0.5%. Al2O3 was used as filler. The borided samples were tested for corrosion resistance in 10% HCl for 72 hours. The results show that their corrosion resistance depends on the composition of the starting saturating mixture (mainly on the content of В2О3), and respectively on the composition, structure, thickness and degree of adhesion of the layer to the metal base.
Review. High pressure techniques used in the paramagnetic resonances
Authors: Krupska A. , Krupski M. 
Published: March 2016

Abstract
The aim of this review-paper is to overview high pressure techniques used in the magnetic resonances in laboratories. In this review, we would like to show the techniques that lead yielding high pressure applicable in the paramagnetic resonances. We would like to draw your attention to the separation of the effects resulting from the pressure and effects from the temperature, thereby separate the volume phonon contribution. Our main intention is to show the impact of high pressure on the structure of matter, in particular on its fundamental level.
Metal-ceramic functionally graded materials – manufacturing, characterization, application
Authors: Chmielewski M. , Pietrzak K. 
Published: March 2016

Abstract
Functionally graded materials (FGMs) belong to a new, continuously developing group of materials, finding application in various branches of industry. The idea of freely designing their construction profile, restricted only by the available manufacturing techniques, enables obtaining materials with composition and structure gradients having unprecedented properties. In this paper, selected results of works carried out by the authors and relating to the application of the developed metal-ceramic composites were presented in order to manufacture functionally graded materials for target purposes. Gradient structures with various construction profiles that can play different roles were produced on the basis on the following material pairs: Cr-Al2O3, NiAl-Al2O3 and Cu-AlN. Manufacturing conditions, microstructure characteristics and selected properties, crucial from the point of view of future applications, were presented.
On the systematic method of conditional control program execution by a PLC
Authors: Milik A. , Chmiel M. , Hrynkiewicz E. 
Published: March 2016

Abstract
The paper presents an original idea of the selective control program execution that allows significant response time reduction. The exhaustive analysis of the PLC program performance is given. An analytic approach explains the idea of the selective control program evaluation and gives the requirements for its feasibility. There is presented a systematic and formal method of program analysis based on a data flow graph approach. The method generates acyclic graph from the control program that is subject of optimization, variable allocation and instruction generation. The graph approach allows determining variables dependencies and task partitioning required by selective program execution. The method utilize the hardware supported variable changes detection. It is transparent for system operation and enables evaluation of blocks that require update.
D-decomposition technique for stabilization of Furuta pendulum: fractional approach
Authors: Mandić P.D. , Lazarević M.P. , Šekara T.B. 
Published: March 2016

Abstract
In this paper, the stability problem of Furuta pendulum controlled by the fractional order PD controller is presented. A mathematical model of rotational inverted pendulum is derived and the fractional order PD controller is introduced in order to stabilize the same. The problem of asymptotic stability of a closed loop system is solved using the D-decomposition approach. On the basis of this method, analytical forms expressing the boundaries of stability regions in the parameters space have been determined. The D-decomposition method is investigated for linear fractional order systems and for the case of linear parameter dependence. In addition, some results for the case of nonlinear parameter dependence are presented. An example is given and tests are made in order to confirm that stability domains have been well calculated. When the stability regions have been determined, tuning of the fractional order PD controller can be carried out.
Osons ôter les masques ! Un théâtre, une visée immédiate, une visée suggérée – qu’est-ce qui nous trouble ?
Authors: Lungu-Badea Georgiana 
Published: March 2016

Abstract
Our aim is to examine the extinction of humanity as predicted by Matei Visniec and the borderline situations where he envisages the death of the human being ; and, then, to see how he (the writer) imagines the creation of the chance of success. To this end, we question his conception about the world, about life, his capacity of showing - through an inter-subjectivity which regularly lacks - one’s complete lack of experience, this hypothetically being the fundamental cause of identity annihilation, of failure of comprehension and acceptance and ultimately the fundamental cause of the death of language and communication. We will examine Matei Visniec’s way of creating hybrid genres, characters, behaviours in order to suggest a possible end of this action.
Key processes shaping the current role and operation of higher education institutions in society
Authors: Piróg Danuta 
Published: March 2016

Abstract
The concurrent processes of globalisation, computerisation, and integration shape and constantly modify developmental factors and generate multidirectional social changes. Among social life fields, one of them has been particularly sensitive to the impact of those processes and has remained in clear feedback relationship with them is education, including university-level education. This article aims to present some reflections on the key processes which influence the environment of higher education institutions’ activity and on what their impact specifically is. The factors taken into account include: the transformation of the political and economic system, integration with the European higher education area, the market shift of education, evolving social demands towards higher education institutions and society’s attitude towards work. As knowledge has become an asset largely affecting the quality of life of people and society, universities have changed their focus from searching for and exploring truth, good and beauty in the world towards becoming innovation centres, transferring knowledge as offering their educational services. In this article, those trends have been exemplified in relation to geography degree programmes, and shown through an evolution of the model of the university. Based on a review of the literature, it seems that the processes discussed also concern geography degree programmes, and the future operation of these programmes closely depends on whether they can maintain their care for high quality education coupled with genuine efforts to ensure the smooth transition of graduates into the labour market.
Torsion Part of ℤ-module
Authors: Futa Yuichi , Okazaki Hiroyuki , Shidama Yasunari 
Published: March 2016

Summary
In this article, we formalize in Mizar [7] the definition of “torsion part” of ℤ-module and its properties. We show ℤ-module generated by the field of rational numbers as an example of torsion-free non free ℤ-modules. We also formalize the rank-nullity theorem over finite-rank free ℤ-modules (previously formalized in [1]). ℤ-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [23] and cryptographic systems with lattices [24].
Algebra of Polynomially Bounded Sequences and Negligible Functions
Authors: Okazaki Hiroyuki 
Published: March 2016

Summary
In this article we formalize negligible functions that play an essential role in cryptology [10], [2]. Generally, a cryptosystem is secure if the probability of succeeding any attacks against the cryptosystem is negligible. First, we formalize the algebra of polynomially bounded sequences [20]. Next, we formalize negligible functions and prove the set of negligible functions is a subset of the algebra of polynomially bounded sequences. Moreover, we then introduce equivalence relation between polynomially bounded sequences, using negligible functions.
Stone Lattices
Authors: Grabowski Adam 
Published: March 2016

Summary
The article continues the formalization of the lattice theory (as structures with two binary operations, not in terms of ordering relations). In the paper, the notion of a pseudocomplement in a lattice is formally introduced in Mizar, and based on this we define the notion of the skeleton and the set of dense elements in a pseudocomplemented lattice, giving the meet-decomposition of arbitrary element of a lattice as the infimum of two elements: one belonging to the skeleton, and the other which is dense.
The core of the paper is of course the idea of Stone identity

a
*

⊔

a

*
*

=
T
,

$$a^* \sqcup a^{**} = {\rm{T}},$$

which is fundamental for us: Stone lattices are those lattices L, which are distributive, bounded, and satisfy Stone identity for all elements a ∈ L. Stone algebras were introduced by Grätzer and Schmidt in [18]. Of course, the pseudocomplement is unique (if exists), so in a pseudcomplemented lattice we defined a
*

as the Mizar functor (unary operation mapping every element to its pseudocomplement). In Section 2 we prove formally a collection of ordinary properties of pseudocomplemented lattices.
All Boolean lattices are Stone, and a natural example of the lattice which is Stone, but not Boolean, is the lattice of all natural divisors of p

2 for arbitrary prime number p (Section 6). At the end we formalize the notion of the Stone lattice B

[2] (of pairs of elements a, b of B such that a ⩽ b) constructed as a sublattice of B

2, where B is arbitrary Boolean algebra (and we describe skeleton and the set of dense elements in such lattices). In a natural way, we deal with Cartesian product of pseudocomplemented lattices.
Our formalization was inspired by [17], and is an important step in formalizing Jouni Järvinen Lattice theory for rough sets [19], so it follows rather the latter paper. We deal essentially with Section 4.3, pages 423–426. The description of handling complemented structures in Mizar [6] can be found in [12]. The current article together with [15] establishes the formal background for algebraic structures which are important for [10], [16] by means of mechanisms of merging theories as described in [11].
Multistep variable methods for exact integration of perturbed stiff linear systems
Authors: Reyes José A. , Cortés-Molina Mónica , García-Alonso Fernando 
Published: March 2016

AbstractA family of real and analytical functions with values within the ring ofThe new method is implemented in a computational algorithm which enables us to resolve in a general manner some physics and engineering IVP’s modeled by means systems of differential equations. The good behaviour and precision of the method is evidenced by contrasting the results with other-reputed algorithms and even with methods based on Scheifele’s
Multiple Bifurcations of a Cylindrical Dynamical System
Authors: Han Ning , Cao Qingjie 
Published: March 2016

Abstract
This paper focuses on multiple bifurcations of a cylindrical dynamical system, which is evolved from a rotating pendulum with SD oscillator. The rotating pendulum system exhibits the coupling dynamics property of the bistable state and conventional pendulum with the ho- moclinic orbits of the first and second type. A double Andronov-Hopf bifurcation, two saddle-node bifurcations of periodic orbits and a pair of homoclinic bifurcations are detected by using analytical analysis and nu- merical calculation. It is found that the homoclinic orbits of the second type can bifurcate into a pair of rotational limit cycles, coexisting with the oscillating limit cycle. Additionally, the results obtained herein, are helpful to explore different types of limit cycles and the complex dynamic bifurcation of cylindrical dynamical system.
BALSAVIMAS RINKIMUOSE IR RINKĖJŲ SOCIALINIŲ TINKLŲ CHARAKTERISTIKOS
Authors: Žiliukaitė Rūta 
Published: March 2016

Analysis of the influence of social networks on the electoral behaviour of people is based on the general assumption, that political communication which is important for voting decisions usually takes place in the small groups of intimates, characterized by high levels of interpersonal trust. Data of the post-election survey of Lithuanian population in 2012 allows a “modest” analysis of the impact of various characteristics of respondent’s social networks on their voting in the election to the Parliament. There were several hypotheses formulated based on the review of literature about the influence of social networks on political participation, which were empirically tested using self-reported data of respondents about members of their social network.The survey data show that in Lithuania political discussions in personal networks of people are not widespread and usually involve only family members. Only a small part of people belongs to politically homogeneous networks, which means that most people have relatively few reinforcing political interactions in their close social environment. Analysis of the relation between characteristics of the respondents’ social networks and their voting revealed that people, who are isolated from social and political communication because they do not have anyone with whom they can discuss matters that are important for them or talk about politics, also people, who do not have political discussions in their networks, also people, who belong to networks, whose members do not support any political party, are less likely to vote in the election. Contrary, people with more politicized social networks, also people who have knowledgeable political discussants, are more likely to participate in elections. The political homogeneity of social networks has a positive effect on an early decision about the vote and stability of voting over elections. People who share political preferences with their family, friends, co-workers or neighbours, are more likely to make their voting decision a long time before the election. People with higher political homogeneity of their social network are more likely to be loyal voters of the same party than people, who are isolated from social and political communication, or people with politically heterogeneous networks.
Patent Ductus Arteriosus and Brain Volume
Authors: Lemmers Petra M.A. , Benders Manon J.N.L. , D’Ascenzo Rita , Zethof Jorine , Alderliesten Thomas , Kersbergen Karina J. , Isgum Ivana , de Vries Linda S. , Groenendaal Floris , van Bel Frank 
Published: March 2016

BACKGROUND AND OBJECTIVES:
A hemodynamically significant patent ductus arteriosus (PDA) can compromise perfusion and oxygenation of the preterm brain. Reports suggest that PDA is associated with increased mortality and morbidity. We hypothesize that long-standing low cerebral oxygenation due to PDA might affect brain volume at term equivalent age.

METHODS:
Observational study in 140 infants investigating the relationship between near-infrared spectroscopy–monitored cerebral oxygen saturation (rSco2) and MRI-assessed regional brain volume and maturation of the posterior limb of the internal capsule at term-equivalent age in 3 groups: those whose PDA closed with indomethacin, those who needed additional surgical closure, and matched controls.

RESULTS:
The surgery group had the lowest rSco2 values before closure (n = 35), 48% ± 9.7% (mean ± SD) as compared with the indomethacin (n = 35), 59% ± 10.4 (P &lt; .001), and control groups (n = 70), 66% ± 6.9 (P &lt; .001); the highest postnatal age before effective treatment; and the lowest volumes of most brain regions at term-equivalent age. Multiple linear regression analysis showed a significant effect of preductal closure rSco2 on cerebellar volume in this group. No differences were found in maturation of the posterior limb of the internal capsule.

CONCLUSIONS:
Long-standing suboptimal cerebral oxygenation due to a PDA may negatively influence brain growth, affecting neurodevelopmental outcome.
Maladaptive perfectionism as mediator among psychological control, eating disorders, and exercise dependence symptoms in habitual exerciser
Authors: Costa Sebastiano , Hausenblas Heather A. , Oliva Patrizia , Cuzzocrea Francesca , Larcan Rosalba 
Published: March 2016

Background and aims
The current study examined the mediating role of maladaptive perfectionism among parental psychological control, eating disorder symptoms, and exercise dependence symptoms by gender in habitual exercisers.

Methods
Participants were 348 Italian exercisers (n = 178 men and n = 170 women; M age = 20.57, SD = 1.13) who completed self-report questionnaires assessing their parental psychological control, maladaptive perfectionism, eating disorder symptoms, and exercise dependence symptoms.

Results
Results of the present study confirmed the mediating role of maladaptive perfectionism for eating disorder and exercise dependence symptoms for the male and female exercisers in the maternal data. In the paternal data, maladaptive perfectionism mediated the relationships between paternal psychological control and eating disorder and exercise dependence symptoms as full mediator for female participants and as partial mediator for male participants.

Discussion
Findings of the present study suggest that it may be beneficial to consider dimensions of maladaptive perfectionism and parental psychological control when studying eating disorder and exercise dependence symptoms in habitual exerciser.