bluuebunny/crossref_metadata_2025_split huggingface dataset:
Klein-Beltrami Model. Part II
Authors: Coghetto Roland 
Published: August 2018

Summary
Tim Makarios (with Isabelle/HOL1) and John Harrison (with HOL-Light2) have shown that “the Klein-Beltrami model of the hyperbolic plane satisfy all of Tarski’s axioms except his Euclidean axiom” [2, 3, 15, 4].
With the Mizar system [1], [10] we use some ideas are taken from Tim Makarios’ MSc thesis [12] for formalized some definitions (like the tangent) and lemmas necessary for the verification of the independence of the parallel postulate. This work can be also treated as a further development of Tarski’s geometry in the formal setting [9].
Sequences of Prime Reciprocals. Preliminaries
Authors: Grabowski Adam 
Published: August 2018

Summary
In the article we formalize some properties needed to prove that sequences of prime reciprocals are divergent. The aim is to show that the series exhibits log-log growth. We introduce some auxiliary notions as harmonic numbers, telescoping series, and prove some standard properties of logarithms and exponents absent in the Mizar Mathematical Library. At the end we proceed with square-free and square-containing parts of a natural number and reciprocals of corresponding products.
Serotonin and neuropeptide FMRFamide in the attachment organs of trematodes
Authors: Terenina N. B. , Kreshchenko N. D. , Mochalova N. B. , Movsesyan S. O. 
Published: August 2018

Summary
The serotoninergic and FMRFamidergic nervous system of the attachment organs of trematodes were examined using immunocytochemical techniques and confocal scanning laser microscopy. Adult trematodes from eight families as well as cercariae and metacercariae from ten families were studied. TRITC-conjugated phalloidin was used to stain the muscle fibres. The serotonin- and FMRFamide-immunoreactive (IR) nerve cells and fibres were revealed to be near the muscle fibres of the oral and ventral suckers of the trematodes and their larvae. The results indicate the important role of neurotransmitters, serotonin and neuropeptide FMRFamide in the regulation of muscle activity in the attachment organs of trematodes and can be considered in perspective for the development of new anthelmintic drugs, which can interrupt the function of the attachment organs of the parasites.
Security architecture for the mobile ad hoc networks
Authors: Filipek Jozef , Hudec Ladislav 
Published: August 2018

Abstract
Security in mobile ad hoc networks (MANETs) has been an actively researched topic for the several years. As opposed to wired networks, MANETs have dynamic topology, limited resources, limited bandwidth and are usually deployed in emergency scenarios outside, where landscape plays important role. MANETs are susceptible to insider and outsider attacks and bring new security challenges which were not present in the wired networks. The most important difference is that every node in MANET acts as a router and routes traffic throughout the network. Compromising one node can hugely affect network performance. In this paper, we present our security architecture for MANETs which secures important aspects of the network. We bring trust model into the network and nodes are secured by different mechanisms tailored specifically for the use in distributed environment. We use Omnet++for network simulations. Simulations use delays measured on the real hardware and we analyze performance of the network during different data plane and control plane loads
Multilayer optical interconnects design: switching components and insertion loss reduction approach
Authors: Mokhtari Mohammad Reza , Baghban Hamed , Soofi Hadi 
Published: August 2018

Abstract
The next generation of chip multi-processors point to the integration of thousands of processing cores, demanding high- performance interconnects, and growing the interest in optically interconnected networks. In this article we report on an interlayer silicon-based switch design that switches two channels simultaneously from an input waveguide into one of the two output ports. The introduced interlayer switch allows to design interconnects with previously unattainable functionality, higher performance and robustness, and smaller footprints with low insertion loss (< 1 dB), and high extinction ratio (> 18 dB). Interlayer switching combined with wavelength-routed and circuit-switched networks yield a low latency and low- loss interconnect architecture. Quantitative comparison between the proposed interconnect architecture and other reported structures in terms of loss, number of wavelengths and microring resonators reveals the proficiency of our design. For a 64-core interconnect implemented in 4 layers, the proposed architecture indicates an average loss reduction up to 42% and 43% with respect to single-layer lambda-router and GWOR.
Analysis, design and simulation of digital controlled symmetrical seven levels inverter
Authors: Nwosu Cajethan M. , Ogbuka Cosmas U. , Oti Stephen E. 
Published: August 2018

Abstract
An analysis, design and simulation of digital controlled symmetrical seven levels inverter is presented in this paper. Against the contemporary use of two asymmetrical DC sources with two H-bridge cells to generate seven levels inverter two DC sources of equal voltage ratings are used through digital control strategy to realize seven levels output voltage. By utilizing limited number of active switching components and avoiding the usual complex PWM control techniques for multilevel inverters by way of digital control strategy, high efficiency multilevel inverter systems due to reduction in total harmonic distortion and switching losses is guaranteed. Owing to symmetry of the H-bridge cells, a simple and single programmed counter built around J-K flip is required irrespective of number of cascades. The analyzed and designed system has been simulated in MATLAB/SIMULINK environment. With an R-L load of 200 Ω and 200 mH, improved total harmonic distortions (THDs) for the inverter current and voltage are 7.59% and 16.89% respectively. The obtained results show that the control-circuit-based multilevel inverter topology is most suited for applications in solar powered inverter systems.
Combination of the viterbi algorithm and cross-wigner distribution for the instantaneous frequency estimation phase signals in high noise environments
Authors: Djurović Igor 
Published: August 2018

Abstract
In this paper, combination of the cross-Wigner distribution (XWD) and the Viterbi algorithm (VA) for the instantaneous frequency (IF) estimation of frequency modulated (FM) signals in high noise environments is proposed. The favourable properties of the VA, the IF reconstruction based on minimization of the path penalty functions, and the XWD, iterative accuracy improvement of the IF estimation, give hybrid IF estimator with improved accuracy for high noise environments
E-portfolios and relational space in the early education environment
Authors: Gallagher Aisling 
Published: August 2018

Abstract
This paper considers the role of eportfolios as an online tool intended to foster greater engagement between parent, teacher and child in early education settings. Drawing on New Zealand based research, I will critically examine the introduction of this technology as more than an addition into already existing ECEC services. Rather, I will highlight the generative impact it has in facilitating new kinds of relations between parents, teachers and managers, within what I term an emergent ‘virtual landscape of ECEC’. Ultimately I argue that this landscape is shaped by asymmetries of power, which allow for processes of subjectification and governing in ECEC to occur in new ways.
Kindergarten space and autonomy in construction – Explorations during team ethnography in a Finnish kindergarten
Authors: Vuorisalo Mari , Raittila Raija , Rutanen Niina 
Published: August 2018

Abstract
Children’s autonomy is a cultural ideal in Finnish early childhood education and care (ECEC). In this article we examine autonomy in spatial terms. The theoretical background is developed by applying spatial sociology. Our starting point is that space is relationally produced, thus, we understand space as continuously negotiated, reconstructed and reorganized phenomena. In this article, we investigate the production of space by different actors in ECEC and seek to show how autonomy is also continuously produced and re-produced in the negotiation of space. For this investigation we use data collected as part of a team ethnographic project in a Finnish kindergarten. The project included conducting observations and interviews with parents and educators. Our research shows that autonomy is developed in multiple ways in kindergarten spaces. Educators as well as children and parents continuously produce and reproduce the kindergarten space within which children’s autonomy variously unfolds as linked to independence, freedom and responsibility in the cultural and ideological setting of a Finnish kindergarten.
‘Yay, a downhill!’: Mobile preschool children’s collective mobility practices and ‘doing’ space in walks in line
Authors: Ladru Danielle Ekman , Gustafson Katarina 
Published: August 2018

Abstract
In the field of early childhood research children’s mobility is usually discussed only in terms of physical activity in the preschool yard. More seldom is it discussed in terms of mobility practices and how young children move in public spaces. With unique detailed video-ethnographic data on mobile preschools and a new combination of theories on space, mobilities and peer culture this article analyses how young children negotiate mobility practices and engage in embodied learning in the collective preschool routine of walking in line. Two empirical examples of walking in line in contrasting public spaces show how the mobile preschool group moves in space as a collective body co-produced by children’s and teachers’ individual bodies. It is argued that walks in line are not merely a form of ‘transport’ between places but are important as social and learning spaces. While walking in line, children collectively ‘do’ space in diverse ways depending on where and how they move, and in relation to where and when teachers negotiate safety issues. In this process, the spaces, activities and routines alike are transformed.
Distant places in children’s everyday activities: Multiple worlds in an Australian preschool
Authors: Millei Zsuzsa 
Published: August 2018

Abstract
Global flows and their geopolitical power relations powerfully shape the environments in which children lead their everyday lives. Children’s images, imaginations and ideas of distant places are part of these global flows and the everyday activities children perform in preschool. Research explores how through curricula young children are moulded into global and cosmopolitan citizens and how children make sense of distant places through globally circulating ideas, images and imaginations. How these ideas, images and imaginations form an unproblematised part of young children’s everyday preschool activities and identity formation has been much less explored, if at all. I use Massey’s (2005) concept of a ‘global sense of place’ in my analysis of ethnographic data collected in an Australian preschool to explore how children produce global qualities of preschool places and form and perform identities by relating to distant places. I pay special attention to how place, objects and children become entangled, and to the sensory aspects of their emplaced experiences, as distant spatialities embed in and as children’s bodies inhabit the preschool place. To conclude, I call for critical pedagogies to engage with children’s use of these constructions to draw similarities or contrast aspects of distant places and self, potentially reproducing global power relations by fixing representations of places and through uncritically enacting stereotypes.
Security Risks Generated by Behavior of Religious Fanatics
Authors: Dinulescu Iulian , Troncotă Cristian 
Published: August 2018

Abstract
Human behavior has generated a series of threats to human security throughout history, generating major violence at the time when it was doubled by an exaggerated religiosity. Religious fanaticism has manifested itself in all societies, regardless of their forms of organization. The consequences of the phenomenon deeply marked inter-human relationships, both within the community, but especially in communities that have other religions. The article shows the characteristics of religious fanaticism and the factors that cause people to adopt such a behavior of exacerbating religious zeal doubled into intolerance towards those of opponents, both of other faiths and those within their own confession.
The issue is not generated by the religious phenomenon or religiosity that such sectarians or religious organizations and religious fanaticism have with some of the members of such religious entities. They are transformed into perfect soldiers because they respond to clergy ‘requests, even with the sacrifice of their own lives, without counting for these individuals, the feelings for their own family members or the duty to support them. In such situations the phenomenon mentioned can not be prevented until it is truly understood from the religious point of view. Therefore, particular attention must be paid to the motivations that lead some individuals to such behavior, as well as to the characteristics of such religious fanatics, and to the way they create risks to human security. In this article we will only address the religious fanaticism manifested by Christianity and Islam, because these are the ones that can have an impact at European and national level. To this end, we will look at some elements of religious fanaticism that indicate this kind of behavioral pattern. After that we will clarify and show the reader the connection between religious fanaticism, the behavior of the followers influenced by this phenomenon, and the inter-human relationships determined by this type of actors.
Robust Control System Design for Small UAV Using H2-Optimization
Authors: Szabolcsi Róbert 
Published: August 2018

Abstract
Unmanned aerial vehicles are famous for their wide range of applications. In D3 (Dirty-Dull-Dangerous) UAV applications flight conditions may vary on large scale. External disturbances like atmospheric turbulences and gusts may be subjected to UAV, and as a result, UAV flight mission might be conducted with high level of the degradation of the accuracy. Sensor noises are also present, and theirs negligence might lead to improper dynamic performances of the closed loop control systems. Uncertainties of the control systems being structured or unstructured may tend the closed loop control system to stability bounds. In worst case, uncertainties may destabilize closed loop control systems. The purpose of the author is to present a robust controller design method called H2-optimal design ensuring stability of the closed loop control systems with simultaneous dynamic performances predefined for the closed loop control system.
Role of fecal calprotectin as a biomarker of intestinal inflammation in ulcerative colitis: a prospective study
Authors: Onişor Danusia , Boeriu Alina , Pascarenco Ofelia , Brusnic Olga , Dobru Daniela 
Published: August 2018

Abstract

Background: The clinical utility of non-invasive markers in the diagnosis and monitoring of ulcerative colitis (UC) has been intensively studied. The aim of our study was to evaluate the value of fecal calprotectin (FC) in differentiating between UC and irritable bowel syndrome (IBS), and in estimating inflammatory activity in UC.

Method: A total number of 140 patients were included in the study. All patients underwent ileocolonoscopy with biopsies, quantitative determination of FC, and blood tests (white blood cell count, CRP, ESR). The severity of UC was assessed by using the Ulcerative Colitis Disease Activity Index (UCDAI) and Mayo endoscopic score.

Results: In patients with active UC the mean values of FC were 373.8 +/- 146.3 μg/g, significantly higher than those in the inactive UC (mean values 36.04 +/- 13.25 μg/g), and in IBS (42.9 +/- 16.00 μg/g). In univariate regression analysis, elevated FC levels strongly correlated with pancolitis (p=0.0001), UCDAI and Mayo scores (p=0.0001), and elevated CRP levels. In multivariate regression model, FC was positively associated with severe pancolitis, and elevated CRP. The optimal cutoff value of FC for the prediction of severe pancolitis (Mayo score˃ 3) was 540 μg/g. We obtained 71.4% sensitivity (CI95%: 41.95-91.6) and 96.1% specificity (CI95%: 89.2 -99.2) of FC in assessing the severity of inflammation in UC patients.

Conclusion: FC is a promising marker that can be used in clinical practice to select patients with organic intestinal disorders, compared with those with functional disorders. It also correlates very well with the extent of lesions and the severity of clinical symptoms in UC, with increased sensitivity and specificity.
Investigation of the Relation Between FAS, FASLG Polymorphisms and Serum Fas, FasL Levels in Patients with Psoriasis
Authors: Duran Gülay Gülbol , Kasap Mulkiye , Gunesacar Ramazan , Dogramacı Asena Cigdem , Denli Yasar Gul 
Published: August 2018

Abstract

Background: Psoriasis is a multifactorial and inflammatory chronic skin disease indicated with T-cell-mediated keratinocyte hyper-proliferation. Demographic, epidemiological (family, twin), serological, and genetic studies have clearly demonstrated that psoriasis is a polygenic and multifactorial disease.

Aim: The objectives of the study are; to determine the prevalence of the polymorphisms of FAS (Fas cell surface receptor gene) -671 A>G (rs:1800682) and FASLG (Fas ligand gene) -844 T>C (rs:763110), to investigate the serum levels of sFas and sFasL, and also to discover any relationship between gene polymorphisms and serum levels in psoriatic patients.

Material and Methods: 50 treated and 69 untreated patients, and 140 healthy controls were included in the study. Polymorphisms were determined using polymerase chain reaction-restriction fragment length polymorphism (PCR-RFLP) technique. The serum levels were measured in randomly selected treated (39) and untreated (40) patients, also in 84 healthy controls using micro-ELISA technique.

Results: There was no statistical difference between polymorphisms in the patient and control groups. However, sFas and sFasL levels in both treated and untreated patients were higher than that of the controls.

Conclusion: The investigated FAS and FASLG polymorphisms were not found to be directly associated with the psoriasis. Elevated sFas and sFasL levels in psoriatic patients showed that these factors may possess a significant role in the pathogenesis of psoriasis.
Long-term settlement induced by EPB tunnelling studied with numerical simulations
Authors: Ochmański Maciej 
Published: August 2018

Abstract
Long-term settlement induced by tunnelling in soft cohesive subsoil is rarely considered as a subject for research despite substantial evidence that it increases considerably after construction. The paper aims to investigate the time effects of tunnelling with an earth pressure balance (EPB) shield by means of analysing subsoil deformation with the most up-to-date numerical tool. A three-dimensional numerical model with a detailed description of the geometrical and mechanical characteristics of the tunnelling process and the various materials involved was built. The computational model validated on a real-case was then used to simulate tunnelling in different groundwater conditions prior to construction. That was followed by a simulation of groundwater drawdown conditions after tunnelling with impermeable and permeable tunnel linings. The calculations show the development of the settlement over time in different groundwater conditions together with the significant influence of the permeability of the tunnel.
THE EFFECT OF HOME VISITS BY NURSES ON THE PHYSICAL AND PSYCHOSOCIAL HEALTH OF THE ELDERLY: STUDY PROTOCOL FOR A SYSTEMATIC REVIEW AND META-ANALYSIS
Authors: ERGİN Emine , AKIN Belgin , TANYER Deniz 
Published: August 2018

One of the most significant global demographic tendencies is the rapidly aging world population which will soon be a global health problem. Community health nurses can easily address, observe the risk factors of the elderly's health and health-promoting behaviors during home visits. Home visits reduce the mortality and hospitalization rates of the elderly and enable taking measures against many risky situations. Scientific evidence exists for the fact that more frequent home visits reduce mortality and hospitalization. The objective of systematic review and meta analysis is to identify and synthesize the evidence on the effectiveness of home visits by nurses on the physical and psychosocial health of the elderly.
Systematic review and meta analysis, study design was used. The included studies design of randomized controlled, quasi-experimental and observational (cohort, case-control, cross-sectional), Turkish and English, between December, 2004 and December 2016 (but not finished, ongoing) including a home visit attempt and health outcomes will include physical and psychosocial health. Medline (6860 articles), Web of Sciences (1933 articles), Pubmed (1551 articles), Science Direct (1021 articles), Cinahl Plus with Full Text (1020 articles), Cochrane (501 articles) Tubitak (98 articles), and Yök (126 articles) were searched among a total of 13.110 abstract databases. Scientific evidence exists for the fact that more frequent home visits reduce mortality and hospitalization.The results of this study will help to identify and synthesize the evidence on the effectiveness of home visits by nurses on the health of the elderly.