Miracle-dz/UniFAR-FTUs huggingface dataset:
Çevrimiçi Ölçme ve Değerlendirme Sistemlerinin Gerçekleşen Kullanımını Belirleyici Faktörler: Bir Yapısal Eşitlik Modellemesi (YEM) Çalışması

E-Learning has been an emerging topic for education world for two decades, and due to this fact; it has been analyzed with all of its dimensions and factors. However, the evaluation and assessment issues of e-learning can be assumed as untouched especially in students’ perspective. Evaluation and assessment concepts of students’ cognitive, affective and behavioral domains have a lot of variables that affect each other. In this study, predictors of students’ actual usage of online education systems and their relations are designed as a new theoretical framework, and analyzed by applying Structural Equation Model (SEM) analysis. For this analysis, an online questionnaire is applied to the students who have been using a uniquely designed online evaluation and assessment system (OEAS) for five years in a governmental high school. As a result of the study, “self-efficacy” and “user interface design” are found as significantly effective on “perceived ease of use”, while “self-efficacy” and “perceived ease of use” have significant influence on “perceived usefulness”. In addition, it is found that actual usage of online evaluation and assessment system is directly and significantly affected from “perceived usefulness”, “technical support” and “service quality”. To sum up, the conclusions of the study, in students’ perspective, are advisable for the educational technologists.
Formal methods versus engineering

Classical engineering is based on solid scientific and mathematical foundations, but neither the science, nor the mathematics, is simply borrowed from the scientists or the mathematicians. Engineers develop their own formulations of the relevant science and mathematics, adapted to support the engineering knowledge used in design of artefacts. There are many formulations of the same science and mathematics, as classical engineering is highly domain specific. A key question for Formal Methods Education is whether uses and formulations of mathematics used in software engineering should be analogous to the situation in classical engineering described above. The position advocated in this paper is that the classical engineering approach is also crucial for Formal Methods. We may well not be in a position to teach a proper formulation of formal methods until we have developed the appropriate reformulations of the usually mathematically oriented mathematics usually taught in computer science and software engineering programmes.
Structure, thermal expansion and incompressibility of MgSO4·9H2O, its relationship to meridianiite (MgSO4·11H2O) and possible natural occurrences

We have employed neutron and X-ray powder diffraction and density functional theory calculations to determine the structure and thermoelastic properties of a new hydrate in the MgSO4–H2O binary system, magnesium sulfate enneahydrate. We show that this 9-hydrate could occur naturally in certain hypersaline lakes on Earth and indicate where it may be formed as a more persistent mineral elsewhere in the solar system.
Modeling and Simulation of Complex Manufacturing Systems using Statechart-based Actors 1

This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final form. Please note that during the production process errors may be discovered which could affect the content, and all legal disclaimers that apply to the journal pertain. ABSTRACT This paper describes a multi-agent architecture based on the actors computational model, for the distributed simulation of discrete event systems whose entities have a complex dynamic behaviour. Complexity is dealt with by exploiting statechart-based actors which constitute the basic building blocks of a model. Actors are lightweight reactive autonomous agents that communicate to one another by asynchronous message passing. The thread-less character of actors saves memory space and fosters efficient execution. The behaviour of actors is specified through " distilled statecharts " that enable hierarchical and modular specifications. Distributed simulation is achieved by partitioning a system model among a set of logical processes (theatres). Timing management and inter-theatre communications rest in a case on the High Level Architecture services. The paper illustrates the practical application of the proposed modelling and simulation methodology by specifying and analysing a complex manufacturing system.
Trailer truck trajectory optimization: the transportation of components for the Airbus A380

European aircraft manufacturer, Airbus, has started a program to develop the largest aircraft ever built, the Airbus A380, which would be able to carry between 550 to 800 passengers on two decks. The six components of the airplane are to be produced in different European cities. They need to be transported from these cities to Toulouse, France, for assembly, and several means of transportation have been investigated. The sizes of the freights, the length of the itinerary, and the narrowness of the critical passages constitute a challenge that classical transportation techniques in the domain of oversized convoys cannot easily overcome. Therefore, Airbus and the French national agency in charge of road management launched a research and development project divided into two parts. The objective of the first part is to adapt functions first to develop for mobile robots to the complex kinematics of trailer-truck systems and integrating these functions into a software platform. The second part of the project aims to define and develop a computer-aided driving system on board the vehicles in order to help the drivers carry out their task. This paper provides a brief overview of the state of the art in trajectory planning for mobile robots and vehicles, and discusses the development of original solutions to address both the kinematic complexity of one of the vehicles and the need to optimize the distance to obstacles.
Binding Factor-Acute Myeloid Leukemia Blasts Granulocytic Maturation : Possible Selectivity on Core Butyrates , as a Single Drug , Induce Histone Acetylation and Updated

Acute myeloid leukemia (AML) is a disease characterized by a block of maturation. Genes coding for core binding factors are rearranged in a considerable subset of AML cases and result in an altered interaction of core binding factor (CBF) subunits with transcriptional coregulators (NCoR/SMRT). Recruitment of histone deacetylase is also altered in AML, and a subsequent transcriptional repression of target genes involved in myeloid maturation is determined. We determined here the effects of two histone deacetylase inhibitors, sodium butyrate and the stable prodrug xylitol butyrate derivative (D1), on a t(8;21)-positive cell line (Kasumi-1) as well as primary AML blasts. Exposure (24–96 h) to butyrates (1 mM) of Kasumi-1 cells induced histone H4 acetylation, whereas H3 acetylation was unchanged. Induction of morphological and immunophenotypic granulocytic maturation (96 h), also confirmed by an increased expression of CAAT/enhancer binding protein , was observed. Inhibition of proliferation and apoptosis via activation of caspase-9 was also observed. In primary AML blasts, butyrates (0.5 mM) increased histone H4 acetylation of 18 of 19 cases tested. Terminal granulocytic maturation was observed in all cases (5 of 5) characterized by chromosomal translocations involving CBF, whereas in non-CBF cases, maturation was incomplete (4 of 8) or absent (4 of 8). Our data indicate the possibility to effectively remove, in CBF AML cases, the maturation block generated by histone deacetylase stable recruitment, contributing to a possible development of molecularly targeted therapies of AML.
Source-Optimized Clustering and Distributed Quantization for Large-Scale Sensor Networks

We consider the distributed source coding problem in which correlated measurements picked up by scattered sensors have to be encoded separately and transmitted to a common receiver, subject to a ratedistortion constraint. Although near-to-optimal solutions based e.g. on LDPC codes have been proposed for this problem, in most cases the devised techniques do not scale to networks of hundreds of sensors. We present a scalable solution based on the following key elements: (a) distortion-optimized index assignments for low-complexity distributed quantization, (b) source-optimized hierarchical clustering based on the Kullback Leibler distance and (c) sum-product decoding on specific factor graphs exploiting the correlation of the data. Simulation results underline the effectiveness of the proposed techniques.
The Effect of Transmission Error on Audio Quality for Simple FEC Schemes

The audio quality provided by some simple FEC schemes is studied. We deal with an M/M/1/K queueing model and assume that some of packets are lost due to noise or interference in the transmission as well as buffer overflow in the router. We consider the following two schemes: One is the Fixed/Variable Scheme that fixes the volume of original data and varies the volume of redundant data in a packet, and the other is Variable/Fixed Scheme that varies the volume of original data and fixed the volume of the whole data. We showed the cases where the Fixed/Variable Scheme improves the audio quality of the system.
Rao-Blackwellised Particle Filtering Data Augmentation VIa

Arnaud Doucet EE Engineering University of Melbourne Parkville, Victoria 3052 Australia doucet@ee.mu. oz.au In this paper, we extend the Rao-Blackwellised particle filtering method to more complex hybrid models consisting of Gaussian latent variables and discrete observations. This is accomplished by augmenting the models with artificial variables that enable us to apply Rao-Blackwellisation. Other improvements include the design of an optimal importance proposal distribution and being able to swap the sampling an selection steps to handle outliers. We focus on sequential binary classifiers that consist of linear combinations of basis functions , whose coefficients evolve according to a Gaussian smoothness prior. Our results show significant improvements.
Towards enterprise frameworks for networked hypermedia: a case-study in cultural tourism

An enterprise framework denotes a "reusable, "'semi-complete" application skeleton that can be easily adapted to produce custom applications in a specific business domain. This paper presents the requirements, design, and implementation of MEDINA, an enterprise framework for content intensive networked hypermedia in the domain of cultural tourism. MEDINA provides a user-friendly customization tool that can be used without any implementation effort, and is integrated within a modular, highly portable software architecture for dynamic application generation.
Partnering Parasites: Evidence of Synergism between Heavy Schistosoma haematobium and Plasmodium Species Infections in Kenyan Children

Background Residents of resource-poor tropical countries carry heavy burdens of concurrent parasitic infections, leading to high rates of morbidity and mortality. This study was undertaken to help identify the social and environmental determinants of multiple parasite infection in one such community. Methodology/Principal Findings Residents of Kingwede, Kenya aged 8 years and older were tested for presence and intensity of S. haematobium and Plasmodium spp. infections in a cross-sectional, household-based, community survey. Using General Estimating Equation (GEE) models, social and environmental determinants associated with patterns of co-infection were identified, with age being one of the most important factors. Children had 9.3 times the odds of co-infection compared to adults (95%CI = 5.3–16.3). Even after controlling for age, socio-economic position, and other correlates of co-infection, intense concomitant infections with the two parasites were found to cluster in a subset of individuals: the odds of heavy vs. light S. haematobium infection increased with increasing Plasmodium infection intensity suggesting the importance of unmeasured biological factors in determining intensity of co-infection. Conclusions/Significance Children in this community are more likely to be infected with multiple parasites than are adults and should therefore be targeted for prevention and control interventions. More importantly, heavy infections with multiple parasite species appear to cluster within a subset of individuals. Further studies focusing on these most vulnerable people are warranted.
The Goldilocks Dilemma in Acute Ischemic Stroke

Despite the advent of and exciting advances in novel endovascular therapies, t-PA remains the only proven treatment for acute ischemic stroke to date. Although a variety of reasons likely underlie why past trials of endovascular strategies have been unsuccessful, we address in this perspective piece one critical unknown for which a solution is undoubtedly necessary if future ones are to meet with success: determination and selection of patients that are “just right” for endovascular treatments, or the Goldilocks dilemma. Key clinical criteria highlighted in past trials may help provide a solution to this critical problem. However, for them to do so, we propose that they must be applied in service of a model that accounts for the nuanced, dynamic nature of acute ischemic stroke better than the prevailing “time is brain” model. We provide and examine three clinical cases to illustrate this proposal towards solving the Goldilocks dilemma and advancing treatment in acute ischemic stroke. Further, we address our field’s ongoing challenge and mission in the meantime to best care for the “not-so-right” patients, by far the majority of the affected stroke population.
Rejecting Responsibility: Low Physical Involvement in Obtaining Food Promotes Unhealthy Eating

Five experiments show that less physical involvement in obtaining food leads to less healthy food choices. The authors find that when participants are given the choice of whether to consume snacks that they perceive as relatively unhealthy, they have a greater inclination to consume them when less (vs. more) physical involvement is required to help themselves to the food; this is not the case for snacks that they perceive as relatively healthy. Further, when participants are given the opportunity to choose their portion size, they select larger portions of unhealthy foods when less (vs. more) physical involvement is required to help themselves to the food; again, this is not the case for healthy foods. The authors suggest that this behavior occurs because being less physically involved in serving one's food allows participants to reject responsibility for unhealthy eating and thus to feel better about themselves after indulgent consumption. These findings add to the research on consumers’ self-serving attributions and to the growing literature on factors that nudge consumers toward healthier eating decisions.
Alterações Neurobiológicas Verificadas a partir do Tratamento com Terapia Cognitivo-comportamental no Transtorno Obsessivo-Compulsivo

Neurobiological theories about Obsessive-Compulsive Disorder (OCD) signalize functional and anatomical changes in specific areas of the brain related to its symptoms. Evidence indicates that Cognitive-Behavioral Therapy (CBT) is effective in the treatment of OCD as well as capable of modulating dysfunctional neural patterns. This study aimed at describing neurobiological changes derived from the treatment of OCD with the CBT. A systematic review was carried out and its final sample consisted of five studies. In all of them, there was significant improvement of OCD as well as neurobiological changes, after CBT. The main findings were reduced activity and volume in the orbitofrontal cortex and increased activity in the anterior cingulate cortex, thalamus and caudate nucleus. CBT has shown to be able to modulate the neural circuits involved in OCD.
MIWD: Multidimensional indexing for web documents

Search engines use indexes for fast accessing data in order to answer user queries. Data can be web documents, pictures, spatial data, etc. Usually, inverted indexing is used to index web documents. In this paper, we introduce a new indexing method for web documents using multidimensional indexing approach named MIWD. First, we describe inverted indexing, two compression methods and a traditional indexing method for spatial data objects. Then, a new indexing method and its distributed version based on spatial data indexing for web documents are introduced. It distributes document indexes in many machines to make our method fast and scalable. At the end, we compare our results for insertion and retrieving web documents with traditional indexing methods.
Network routing by artificial neural network

Author presents a design of the artificial neural network for routing in the sensor network in this paper. The routing table is replaced by artificial neural network. The main aim is to realize this operation as fast as possible. Optimized neural network is implemented in the reconfigurable hardware. The paper concludes with possible future research areas.
A REVIEW: APPLICATION OF DATAMINING TOOLS FOR STOCK MARKET

One of the most important problems in modern finance is finding efficient ways to summarize and visualize the stock market data to give individuals or institutions useful information about the market behavior for investment decisions. Therefore, Investment can be considered as a one of the fundamental pillars of national economy. The single and most important reason is to earn returns on investment. At the present time, many investors look to find a criterion for comparison stock together and selecting the best. The investors try in choosing the type of strategy, to choose strategies that maximize the earning value of the investment process. The enormous amount of valuable data generated by the stock market has attracted researchers to explore this problem domain using different methodologies. Potential significant benefits of solving these problems motivated extensive research for years. Data mining is used for mining data from databases and finding out meaningful patterns from the database. Many organizations are now using these data mining techniques. So the research in data mining has gained a high attraction due to the importance of its applications and the increasing information.
An Empirical Investigation into the Tradeoffs that Impact On-Time Performance in the Airline Industry

We investigate the tradeoff between aircraft capacity utilization and on-time performance, a key measure of airline quality. Building on prior theory (Porter 1996, Schmenner and Swink 2004) and empirical work (Lapre and Scudder 2004) we expect that airlines that are close to their productivity or asset frontiers would face steeper tradeoffs between utilization and performance, than those that are further away. We test this idea using a detailed 10-year airline industry data set, drawing on queuing theory to disentangle the confounding effects of variability in travel time and capacity flexibility along an aircraft’s route. In accord with and building on the findings of Lapre and Scudder (2004), we find that greater aircraft utilization results in higher delays, with this effect being worse for airlines that are close to their asset frontiers in terms of already being at high levels of aircraft utilization. Also, we find that the negative effect of utilization on delays is greater for aircraft that face higher relative variability in travel time along their routes, and is lower for aircraft on routes with higher capacity flexibility in terms of the ability to substitute in a different aircraft for a particular flight than the one that was originally scheduled. Additionally, we examine how load factor, a measure of how full an airline’s flights are and therefore a key revenue driver, affects on-time performance. Our analysis enables us to explain differences in on-time performance across airlines as a function of key operational variables, and to provide insight on how airlines can improve their on-time performance or their aircraft utilization.
The Human Side of Future Communication Systems

Telecommunication and Internet services are constantly subject to changes, seeking the customers full satisfaction. Enriching these services with innovative approaches such as context-aware, social, mobile, adaptable and interactive mechanisms, enables users to experience a variety of personalized services seamlessly across different platforms and technologies. In this sense, it is expected that next generation services adopt a user-centric vision. Therefore, based on social networks, reality mining techniques and context-aware systems, this work presents an architectural approach and prototype implementation to provide future communication systems with user-centric capabilities across different technologies and platforms, enriching the overall user Quality of Experience, by enabling human behavior to be leveraged to any 3rd party entity. Moreover, a big emphasis is given towards privacy, security and trust.
2D Cooling of Magnetized Neutron Stars

Context: Many thermally emitting isolated neutron stars have magnetic fields larger than 10^13 G. A realistic cooling model that includes the presence of high magnetic fields should be reconsidered. Aims: We investigate the effects of anisotropic temperature distribution and Joule heating on the cooling of magnetized neutron stars. Methods: The 2D heat transfer equation with anisotropic thermal conductivity tensor and including all relevant neutrino emission processes is solved for realistic models of the neutron star interior and crust. Results: The presence of the magnetic field affects significantly the thermal surface distribution and the cooling history during both, the early neutrino cooling era and the late photon cooling era. Conclusions: There is a large effect of the Joule heating on the thermal evolution of strongly magnetized neutron stars. Both magnetic fields and Joule heating play a key role in keeping magnetars warm for a long time. Moreover, this effect is important for intermediate field neutron stars and should be considered in radio-quiet isolated neutron stars or high magnetic field radio-pulsars.
A narrative approach in evaluation: “Narratives of Change” method

Purpose The purpose of this paper is to introduce the new qualitative method of “Narratives of Change” to evaluate a project’s impact. This new methodology arises from a combination of the most significant change technique with a narrative analysis approach, and it is suitable for community development interventions. Design/methodology/approach Narrative approaches are seldom used in programme evaluation. However, depending on the nature and context of a project, it might be useful to offer a space for people to tell their story. Asking people to recognise change by recounting the passage from their previous to their present situation can help the researcher grasp particular concepts that may otherwise not be visible. At the same time, while the analysis of in-depth interviews can be difficult and time consuming, the method introduced here simplifies this process by offering a tool that allows the researcher to extrapolate semantic fragments from long interviews and facilitates the identification of prototypical characters in each narration. Findings After offering a theoretical discussion that introduces this technique, its practical illustration and the example presented in this paper show how this method represents a useful instrument for participants’ stories analysis in qualitative project evaluations aimed at identifying change. Originality/value This paper introduced a new qualitative method to carry out a programme evaluation using narrative analysis.