bluuebunny/crossref_metadata_2025_split huggingface dataset:
Percorrendo as Veredas das Práticas Translinguajeiras em Contexto Transfronteiriço: Possíveis Travessias no Ensino-Aprendizagem de Língua Portuguesa Adicional
Authors: Leroy Henrique Rodrigues , Santos Maria Elena Pires 
Published: January 2018

O presente artigo tem o objetivo de discutir sobre como as práticas translíngues (GARCÍA, 2014), transculturais (ORTÍZ, 2002) e descoloniais (MIGNOLO, 2000) são manifestadas na sala de aula de Língua Portuguesa Adicional (PLA) da Universidade Federal da Integração Latino-Americana (UNILA), sediada na cidade de Foz do Iguaçu, Paraná, Brasil, na região da Tríplice Fronteira com a Argentina e o Paraguai. Tais manifestações translinguajeiras, transculturais e descoloniais em sala de aula de PLA em contexto de fronteira são advindas dos textos escritos produzidos pelos estudantes para seus trabalhos finais da disciplina de PLA. Espera-se, assim, que as atividades aplicadas no contexto de sala de aula de PLA possam recombinar, ressignificar e visibilizar as vozes performadas pelos trans-sujeitos aprendizes, abrindo possibilidades para que transitem por uma multiplicidade de lugares e colaborando ativamente nas diversas redes configuradas pelos territórios transfronteiriços.
Perfusion computed tomographic measurements of cerebral blood flow variables in live Holstein calves
Authors: Kishimoto Miori , Kushida Kazuya , Yamada Kazutaka 
Published: January 2018

Abstract
OBJECTIVE To measure cerebral blood flow (CBF) and cerebral blood volume (CBV) by means of perfusion CT in clinically normal Holstein calves.
ANIMALS 9 Holstein calves.
PROCEDURES Each of the 9 calves (mean age, 20.2 days) was anesthetized and received an injection of iodinated contrast medium into the right jugular vein at a rate of 4.0 mL/s. Dynamic CT scanning of the head at a level that included the mandibular condyle was initiated at the time of the contrast medium injection and continued for 100 seconds. A deconvolution method was used as an analytic algorithm.
RESULTS Among the 9 calves, the mean ± SD CBF in the cerebral cortex, white matter, and thalamus was 44.3 ± 10.3 mL/100 g/min, 36.1 ± 7.5 mL/100 g/min, and 40.3 ± 7.5 mL/100 g/min, respectively. The CBF in white matter was significantly lower than that in the cerebral cortex or thalamus. The mean CBV in the cerebral cortex, white matter, and thalamus was 6.8 ± 1.0 mL/100 g, 5.2 ± 1.0 mL/100 g, and 5.7 ± 0.7 mL/100 g, respectively. The CBV in the cerebral cortex was significantly higher than that in the white matter or thalamus.
CONCLUSIONS AND CLINICAL RELEVANCE Measurement of CBF and CBV in clinically normal calves by means of perfusion CT was feasible. The data obtained may be useful as baseline values for use in future research or for comparison with findings from calves with CNS diseases. Investigations to determine the lower limit of blood flow at which brain function can still be restored are warranted.
Inclusive Institutions for Sustainable Economic Development
Authors: Jakšić Miomir , Jakšić Milica 
Published: January 2018

Abstract
In recent two decades, due to contributions of political macroeconomics, the focus of macroeconomics turned away from a narrow perspective based on market and privatisation (market fundamentalism) towards a broader perspective based on institutions and values (institutionalism). Within the institutional paradigm, the emphasis nowadays is put on inclusive institutions. The main thesis of one of leading proponents of political macroeconomics, D. Acemoglu, is: “growth is much more likely under inclusive (economic and political) institutions than extractive institutions.” Good institutions are characterized by three attributes: 1) they establish and protect property rights; 2) they restrict social elites which strive to expropriate income and property of others members of society; 3) they provide equal chances for employment, social security and civil rights to all individuals. Good institutions contribute to political stability, successful macroeconomic policy, and enhance initiatives. The key role of institutions is to secure stability and continuity. Extractive institutions can negatively affect entrepreneurship and entire economic development in two ways: a) by increasing the opportunity cost, resulting in upward movement of the opportunity cost curve; and b) by affecting return to entrepreneurship resulting in leftward movement of the return to entrepreneurship curve. Apart from independence and accountability of institutions what is needed is sufficient level of inclusion. Inclusion should encompass three dimensions: personal, financial, and political. The introduction of principles of independence, accountability, and inclusion is essential for emergence and performance of all institutions.
Who put the Holes in the Swiss Cheese? Currency Crisis Under Appreciation Pressure
Authors: Berthold Kristin , Stadtmann Georg 
Published: January 2018

Abstract
We examine the reasons why the SNB gave up the lower floor of the 1.20 CHF/EUR exchange rate arrangement. Three types of shocks played a role: Exogenous shocks to the autonomous component of money demand, interest rate decreases of the ECB, as well as appreciation expectations. In order to defend these shocks, the SNB intervened heavily in the foreign exchange market. This led to an accumulation of reserves in the central bank’s balance sheet of the size of 80% of Swiss GDP. Interestingly, the SNB did not lower the interest rate into the negative range during the time period where the peg was in place. Hence, the SNB did not do ”whatever it takes” to defend the peg.
Homesickness Experience, Distress and Sleep Quality of First-Year University Students Dealing with Academic Environment
Authors: Biasi Valeria , Mallia Luca , Russo Paolo , Menozzi Francesca , Cerutti Rita , Violani Cristiano 
Published: January 2018

AbstractThe literature shows that homesickness can have a negative impact on different areas of psychological functioning such as cognitive, emotional, behavioral, physical and social ones. The study, conducted on a sample of first-year university students, aimed to test a model hypothesizing that two distinct dimensions of homesickness, attachment to home and disliking university, could have both direct and indirect effects on their psychological distress and sleep difficulties. Two hundred and seventy-seven first-year students (70.4% Female) living away from home (mean age= 21.3, SD= 2.7) were included in the study and filled out questionnaires assessing homesickness, psychological distress and sleep difficulties. Structural Equation Model (SEM) analysis confirmed that the two homesickness dimensions worked differently since only the one relating to new place adjustment difficulties (i.e. disliking the university) resulted having both direct and indirect effects on students’ sleep difficulties. Although female students reported higher levels of psychological distress compared to males, the multi-group SEM analysis showed that the pattern of multivariate relationships linking the two dimensions of homesickness, psychological distress and sleep difficulties, was invariant across gender. The results of the present study suggest that university counselling and guidance services should quickly screen students experiencing homesickness and offer effective counselling programs focusing on enhancing their capacities to deal with the new academic environment.
Efficacy of Solution Focused Brief Therapy, Systematic Desensitization and Rational Emotive Behavioural Therapy in Reducing the Test Anxiety Status of Undergraduates in a Nigerian University
Authors: Aihie Osenweugwor Ngozi , Igbineweka Martins Noyosase 
Published: January 2018

AbstractThis study investigated the differential efficacy of Solution Focused Brief Therapy (SFBT), Systematic Desensitization (SD) and Rational Emotive Behavioural Therapy (REBT) in reducing the test anxiety status of undergraduates in a Nigerian University. To guide the study two research questions were raised and two corresponding hypotheses formulated. The study, a pre-test, post-test non-equivalent control group quasi experiment adopted a 3x2x2 factorial design. A sample of one hundred and twentythree undergraduate students in a Nigerian University participated in the study. A twenty-item Test Anxiety Inventory adapted from Spielberger (1980) was revalidated and administered to the sample to collect data for the study. The internal consistency of the instrument had a Crombach’s alpha value of 0.82. Data collected were analysed using Analysis of Variance statistics and the hypotheses were tested at .05 level of significance. The results revealed statistically significant decreases in test anxiety of participants in two of the treatment groups – Systematic Desensitization and Solution Focused Brief Therapy. The effectiveness of the two treatments on test anxiety was found to be independent of gender of the participants. Rational Emotive Behaviour Therapy had no statistically significant effect on the test anxiety of the participants. It was concluded that Systematic Desensitization and Solution Focused Brief Therapy are effective methods of reducing test anxiety in learners. Based on the results, recommendations were made.
Equal Opportunities for all Albanian Learners
Authors: Taraj Gentjana 
Published: January 2018

AbstractInclusive education guarantees the right of education for every child despite their physical and/or mental disabilities. In other words inclusion aims at placement of special education students in general classrooms giving learners equal possibilities of education within the differences in their abilities to learn. Unfortunately, the implementation of inclusive education in Albania is still facing lots of difficulties. Traditionally, Albanian children with disabilities are segregated into separate learning environments. However, during the last two decades attempts are made to integrate them in the mainstream education. Although we are far from a successful implementation of inclusive education we consider it as very important since it maximizes the learning experiences of both mainstream and disabled learners. In this paper, the factors related to the inclusion of learners with disabilities in the mainstream education are discussed. Drafting of an inclusive curriculum which is the same for all schools and all learners, whether they are in mainstream or special schools is considered as crucial. The paper raises the questions of changing the attitude of educators in regard to learners with disabilities, increasing their professional knowledge about the learning differences as well as highlighting the tools of how to address each of them so that equal possibility to gain knowledge within the limits of capability are given to all learners. The significance and relevant effects of these factors will be the basis of the conclusion of this paper.
Current Trends and Issues in Albanian Language Use
Authors: Draçini Rrezarta , Murati Rezearta 
Published: January 2018

Abstract
Language is an instrument for communication and it has the obligation to serve people improving it. But in fact there are moments when language and its rules, decided by a group of people, goes against this purpose, creating so a disorientation between the users and misapprehension of the messages transmitted. In the Orthography of Albanian Language printed in 1973 (p.23) is written “The foreign names has to be written according to the tradition of their use in Albanian taking in consideration the pronunciation in their relative language.” Last 20 years in publications, periodic and visual medias in Albania we can note that the Albanian language is in crossroad between: a rule imposed in a situation of complete isolation and the actual situation of multiple contacts that makes the rule a barrier. Nowadays the same names are written in different forms losing so the correlation with the original and causing a enormous problem not only linguistic but cultural and interpersonal, too. For example referring to high school textbook of literature we will find the names of the American authors as pronounced, in the following forms: Teodor Ruthk, Robert Louell, Xhon Berrimen, Robert Krili, Allen Ginsbergu, Majkell Meklur, Xhek Spicer, Diane Uakoski etc. If an Albanian student would like to prepare a homework and he goes to search in internet information or to find bibliography about these authors, will be impossible to have results, because these names don’t exist in that form. According to the EU and UN norms, the names must be written in respect of the original form. Therefore the Albanian language should reflect social, political and cultural changes of the society, an open society needs an flexible and opened language because as Hudson said “Linguistics ignores the society for its harm”.
Being Mafia Children: An Empirical Transgenerational Research
Authors: Giunta Serena , Mannino Giuseppe , Bizzarri Cinzia , La Fiura Giuliana 
Published: January 2018

AbstractOur empirical study aims at understanding and analyzing whether and how the way in which the “sons of Mafia” consider their own family and the society in general has changed over time. The psychological study is based on a sample of 11 subjects all sons of the Mafia men divided according to a generational variable, i.e. these two ranges of age: 17-28 and 39-62. The data obtained from the interviews were analyzed using the Grounded Theory method. From the comparison these elements emerged: first of all, the subjects have a distinct perception of these three different areas: - family, and especially the bond with their fathers; - society, represented mainly by the relationship with peers; - Mafia, specifically in relation to the value codes of this criminal organization. The analysis of these areas has allowed us to give a cross-reading of the Mafia phenomenon outlining the differences in the way in which the present generations and the past ones live and perceive it.
Case Study of Engineering Risk in Automotive Industry
Authors: Popa Dan Mihai 
Published: January 2018

Abstract
The primary objective of this paper is to show where the engineering of risk management is placed and how its implementation has been tried in multinational companies in automotive industry from Romania. A large number of companies don’t use a strategy to avoid the engineering risk in their design products. The main reason is not because these companies haven’t heard about standards for risk management such as ISO 31000; the problem is that the business units which were summed up, have just set up a risk list at the beginning of the project, without any follow up. The purpose of this article is to create an implementation risk tracking in automotive industry companies in Romania, due to a change request from customers according to supply companies within the quality process, in the research and development phase.
Improvement of Selected Logistics Processes Using Quality Engineering Tools
Authors: Zasadzień Michał , Žarnovský Jozef 
Published: January 2018

Abstract
Increase in the number of orders, the increasing quality requirements and the speed of order preparation require implementation of new solutions and improvement of logistics processes. Any disruption that occurs during execution of an order often leads to customer dissatisfaction, as well as loss of his/her confidence. The article presents a case study of the use of quality engineering methods and tools to improve the e-commerce logistic process. This made it possible to identify and prioritize key issues, identify their causes, and formulate improvement and prevention measures.
MAHASISWA EKONOMI SYARIAH DI MATA PENGGUNA LULUSAN
Authors: Rosyid Ahmad 
Published: January 2018

Penelitian ini bertujuan untuk melihat penilaian mitra PPL atas 1) kinerja mahasiswa PPL prodi ekonomi syariah 2) kepuasan mitra PPL dan 3) tindak lanjut panitia PPL atas keluhan mitra PPL pada pelaksanaanPPL tahun 2015. Data dikumpulkan menggunakan instrumen kuesioner dan hasilnya menunjukkan bahwa secara umum kinerja mahasiswa PPL prodi ekonomi syariah dinilai dalam rentang kategori cukup, baik dan sangat baik dengan prosentase terbesar pada kategori baik. Namun untuk kinerja penguasaan atas bahasa asing muncul penilaian kurang walaupun jumlahnya tidak banyak. Sedangkan untuk penilaian atas panitia PPL dalam menanggapi komplain mitra PPL maka umumnya dijawab baik. This study aims to look at the assessment PPL partner on 1 ) the performance of students Prodi EKOS 2) PPL partner satisfaction and 3 ) follow-up committee on the complaintPPL partner. Data were collected using a questionnaire and the results show that the performance PPL student Prodi EKOS are rated in the range enough categories , good and very good with the largest percentage in good categories . But for the performance mastery of foreign languages appeared less votes despite not many. As for the assessment of the committee in response to a complaint, PPL partner generally considered aswell .
Computational Coverage of TLG: Nonlinearity
Authors: Morrill Glyn , Valentín Oriol 
Published: January 2018

We study nonlinear connectives (exponentials) in the context of Type Logical Grammar(TLG). We devise four conservative extensions of theDisplacement calculus with brackets, \DbC, \DbCM, \DbCb and \DbCbMr which contain the universal and existential exponential modalities of linear logic (\LL). These modalitiesdo not exhibit the same structural properties as in \LL, which in TLG are especially adapted for linguistic purposes. The universal modality \univexpfor TLG allows only the commutative and contraction rules, but not weakening, whereas the existential modality \exstexp allows the so-called (intuitionistic) mingle rule, whichderives a restricted version of weakening called \emph{expansion}. We provide a Curry-Howard labelling for both exponential connectives. As it turns out,controlled contraction by \univexp gives a way to account for the so-called parasitic gaps, and controlled Mingle \exstexp iterability, in particular iteratedcoordination. Finally, the four calculi are proved to be Cut-Free but decidability is only proved for $\DbCb$, whereasfor the rest the question of decidability remains open.
Turing Tests with Turing Machines
Authors: Hernandez-Orallo Jose , Insa Javier , Dowe David , Hibbard Bill 
Published: January 2018

Comparative tests work by finding the difference (or the absence of difference) between a reference subject and an evaluee. The Turing Test, in its standard interpretation, takes (a subset of) the human species as a reference.Motivated by recent findings and developments in the area of machine intelligence evaluation, we discuss what it would be like to have a Turing Test where the reference and the interrogator subjects are replaced by Turing Machines.This question sets the focus on several issues that are usually disregarded when dealing with the Turing Test, such as the degree of intelligence of reference and interrogator, the role of imitation (and not only prediction) in intelligence, its view from the perspective of game theory and others.Around these issues, this paper finally brings the Turing Test to the realm of Turing machines.
Incremental Construction of Counterexamples in Model Checking Web Documents
Authors: Weitl Franz , Nakajima Shin 
Published: January 2018

A new algorithm for incrementally generating counterexamples for the temporal description logic ALCCTL is presented. ALCCTL is a decidable combination of the description logic ALC and computation tree logic CTL that is expressive for content- and structure-related properties of web documents being verified by model checking. In the case of a specification violation, existing model checkers provide a single counterexample which may be large and complex. We extend existing algorithms for generating counterexamples in two ways. First, a coarse counterexample is generated initially that can be refined subsequently to the desired level of detail in an incremental manner. Second, the user can choose where and in which way a counterexample is refined. This enables the interactive step-by-step analysis of error scenarios according to the user's interest.We demonstrate in a case study on a web-based training document that the proposed approach reveals more errors and explains the cause of errors more precisely than the counterexamples of existing model checkers. In addition, we demonstrate that the proposed algorithm is sufficiently fast to enable smooth interaction even in the case of large documents.
Motor-Transmission Drive System: a Benchmark Example for Safety Verification
Authors: Chen Hongxu , Mitra Sayan , Tian Guangyu 
Published: January 2018

This paper introduces the Motor-Transmission Drive System as a benchmark example for the safety analysis of hybrid systems.In particular, we illustrate the problem of checking the gear meshing duration and the impact impulse (both of which we refer to as safety) of the Motor-Transmission Drive System.We aim to provide a complete problem description to which different verification tools or approaches for safety analysis can be applied and compared.For this reason, we first elaborate on a hybrid automaton (HA) model of the Motor-Transmission Drive System to describe the gear meshing process with uncertain initial states, and then we specify the safety property of interest.Next, we clarify the characteristic phenomena exhibited by the benchmark which make the verification problem hard to solve.Finally, we show some simulation results to illustrate the influences of the initial states on the safety property.This benchmark example can help the researchers and engineers to find appropriate methods for safety verification of this kind of hybrid system.
Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks
Authors: Tretyakova Antonina , Seredynski Franciszek 
Published: January 2018

Energy optimization problem in Wireless Sensor Networks (WSN) is a backbone of efficient performance of sensor network consisting of small devices with limited and non-recovering battery. WSN lifetime maximization problem under assumption of that the coverage is main task of the network is known as Maximal lifetime coverage problem (MLCP).This problem belongs to a class of NP-hard problems. In this paper we propose a novel simulated annealing (SA) algorithm to solve MLCP. The proposed algorithm is studied for high dense WSN instances under different parameter setup.
Cryptographic Protocol Verification via Supercompilation (A Case Study)
Authors: Ahmed Abdulbasit , Lisitsa Alexei , Nemytykh Andrei 
Published: January 2018

It has been known for a while that program transformation techniques, in particular, program specialization, can be used to prove the properties of programs automatically. For example, if a program actually implements (in a given context of use) a constant function, sufficiently powerful and semantics preserving program transformation may reduce the program to a syntactically trivial ``constant'' program, pruning unreachable branches and proving thereby the property. Viability of such an approach to verification has been demonstrated in previous works where it was applied to the verification of parameterized cache coherence protocols and Petri Nets models.In this paper we further extend the method and present a case study on its appication to the verification of a cryptographic protocol. The protocol is modeled by functional programs at different levels of abstraction and verification via program specialization is done by using Turchin's supercompilation method.