Miracle-dz/UniFAR-FTUs huggingface dataset:
Automated composition system based on GA

Researches on computer application to musical creation are actively performed in artificial intelligence. In this paper, we propose a hybrid method that adopts BP neural network for evaluation of emotions in music and genetic algorithm as an appropriate method for nominating creativity. Compared to other GAs used in this field, emotional element is used and combined with some musical rules as fitness function. The experiment results show that our method can yield music which is pleasant to ordinary listeners.
Role of Serum and Cerebrospinal Fluid Cytokines in Differentiation of Vascular Cognitive Impairment and Mild Cognitive Impairment

Background: Although Alzheimer’s (AD) dementia was considered to be the most common form of dementia, vascular cognitive impairment has been found to be more common than previously thought. Inflammatory cytokines has been proved to be related to both mild cognitive impairment (MCI) and vascular cognitive impairment (VCI). Objective: Find a difference in inflammatory cytokines between MCI and VCI and the possibility to use them as biomarkers to differentiate between them. Methods: Thirty-seven Egyptian patients with variable degree of cognitive impairment were included. Patients were primary selected using the mini-mental state examination. Patients were divided into two groups (MCI) and (VCI) by NINDS-AIREN criteria and MRI brain. Serum was analyzed for CRP, IL-1B, IL-6 and IL-16 and CSF analyzed for IL-1β, IL-6, IL-16. Results: No difference was found in proportion of patients with abnormally elevated serum level of IL1β, IL-6, IL-16 and C-reactive protein (CRP) between both groups. IL-6 was found abnormally elevated in a higher proportion of patients with MCI compared to patients with VCI. Conclusion: IL-6 elevation in CSF of MCI may be used as a biomarker to differentiate it from VCI. [Egypt J Neurol Psychiat Neurosurg. 2013; 50(2): 195-198]
Improving Likert Scale Raw Scores Interpretability with K-means Clustering

In this article, by applying k-means clustering, cut-off points are obtained for the recoding of raw scale scores into a fixed number of groupings that preserve the original scoring. The method is demonstrated on a Likert scale measuring xenophobia that was used in a large-scale sample survey conducted in Northern Greece by the National Centre for Social Research. Applying split-half samples and fuzzy c-means clustering, the stability of the proposed solution is validated empirically. Testing its performance against three single indicators of xenophobia shows that it differentiates well between non-xenophobic and xenophobic respondents. The proposed method may be easily applied to facilitate interpretation by providing a more concise and meaningful “profile” of Likert scale (or subscale) raw scores especially the negative and positive ends of the scale for evaluation and social policy purposes.
BER Performance of Different Detection Schemes of V-BLAST

Multiple input multiple output (MIMO) techniques are expected to be widely employed in wireless communications to address the ever-increasing demand for capacity. MIMO systems provide a linear increase in capacity with the number of antenna elements, affording significant increase in capacity over single input single output (SISO) systems. In this paper, we discuss some of the most basic detection schemes of V-BLAST for wireless links with multiple antennas: M at the transmit site and N at the receive site and also discuss the architecture of V-BLAST techniques. In the simulation result we compare different detection techniques such as zero forcing (ZF), minimum mean square error (MMSE) and maximum-likelihood (ML) of
Decorrelating secret bit extraction via channel hopping in body area networks

Recent research has demonstrated that two communicating parties can generate shared secret keys by exploiting characteristics of the wireless fading channel between them. These channel characteristics are symmetric, dependent on position and orientation, highly sensitive to motion, and cannot be deduced in detail by an eavesdropper. One problem with this approach, however, is that over small channel sampling intervals, successively sampled values are correlated in time, which therefore yields keys with reduced entropy. In this paper, we undertake experiments to determine the efficacy of using channel hopping to increase diversity and improve secret key entropy, in the context of body area networks. We conduct extensive experiments using off-the-shelf IEEE 802.15. 4 devices, mounted on the human body, in a real indoor environment. Our experimental results show that: (i) channel hopping increases frequency diversity and effectively decorre-lates successive channel samples, significantly increasing entropy (at minimum approximately 20%) and thereby improving the strength of the secret key, (ii) the benefit can be maximized by devising a hopping strategy that takes into account the number of channels available, the spacing between them, and the activity of the user.
Integrated GNSS/INU, vehicle dynamics, and microscopic traffic flow simulator for automotive safety

This paper presents the development of a comprehensive integrated GNSS/INU simulator consisting of a microscopic traffic simulator based on VISSIM, a vehicle dynamics simulator based on CarSim, and a GNSS/INU simulator. The resulting GNSS/INU simulator provides an integrated design, test and evaluation platform for exploring new ideas, developing advanced concept designs and investigating the impact of existing and emerging Global Navigation Systems (GNSS) and Inertial Navigation Unit (INU) technologies on automotive safety at the vehicle and network levels. For the simulation of hazardous conditions VISSIM generates safety warning events based on surrogate safety indicators. The warning events are intercepted at the vehicle dynamics simulator CarSim which generates simulated `ground truth' trajectories based on VISSIM's generated control parameters. GNSS/INU errors are generated by a GNSS/INU simulator and added to the CarSim `ground truth' trajectories. The simulated GNSS/INU vehicle trajectories and the `ground truth' CarSim trajectories are processed through a “Driver-Vehicle Response” module for the estimation of individual vehicle crashes. These crashes are employed to train a Neural Network (NN) as a non-parametric network crash estimator. The trained NN and V2V/V2I simulators are employed to estimate the reduction of network crashes resulting from the use of GNSS/IMU sensors in the vehicles.
Distributed source coding in large wireless sensor networks

We study the performance of distributed source coding in large wireless sensor networks obtained with enhanced correlation estimators. Distributed source coding is especially useful when data correlation exists since it tries to remove the redundancy in the information; and dense sensor networks are rich in correlations. Existing results from information theory show that this compression can be executed in a distributed fashion and without any performance loss in comparison with the centralized approach. However, there is still performance gap between the theoretical bounds and the results achieved with practical implementations. In order to mitigate this, we propose the use of enhanced correlation estimators. Simulation results show a performance improvement in the energy consumption by reducing the number of transmitted bits compared to classical methods.
Separation of concerns and operating systems for highly heterogeneous distributed computing

Highly heterogeneous distributed computing applications present a tremendous challenge for operating system implementors. These applications present an extremely wide range of demands and must run in an extremely wide range of environments. In order to recognize the wide range of environments, without losing the benefits of traditional modularity, we propose a separation of concerns approach to the design of operating systems for this domain. In this paper, we first discuss importance of separation of concerns particularly in highly heterogeneous distributed computing. The discussion is based on the issues we encounter when programming of distributed applications such as for networked copiers, settop boxes for cablenets, networked analyzers/oscilloscopes, or palmtop computers. We then propose a way to solve them without sacrifice of performance. This paper contributes to this workshop in the sense that it addresses frustrations of programmers, particularly of embedded systems, and demonstrates our technology to solve their frustration from an operating systems' perspective.
Mobile user experience research: challenges, methods & tools

We are currently witnessing rapid innovation in mobile user experience (UX) research. The HCI community is creating and adapting research methods, tools, and infrastructure for mobile-specific challenges and opportunities. This workshop brings together researchers from industry and academia, designers, and creators of research tools, who faced the challenges of mobile UX research and responded with innovative approaches. We will examine the co-evolution of methods and tools by considering their goals and requirements, and how these are shared across different approaches.
Understanding and responding to recurrent suicide attempts

People who have had recurrent suicide attempts (RSA) are known to be at higher risk of future attempts and eventual death by suicide. They are also identified as having unique psychosocial needs, however few treatment interventions have been developed for this particular population. The Skills for Safer Living: A Psychosocial-Psychoeducational Intervention for People with Recurrent Suicide Attempts (SfSL/PISA) is a psychotherapeutic group intervention created for and with people with RSA; seeking to engage with the possibility of living, enhance skills for living more safely and addressing their needs. This research project aimed to address these issues by examining whether participants who have engaged with this intervention transition away from RSA, and explores their experiences of this transition and of living with RSA. The project comprises four interlinked studies, two quantitative outcome studies and two qualitative studies, with different participant samples, all of whom had graduated from SfSL/PISA. These studies highlight that risk factors and deficit areas for RSA can be attenuated over time for those who completed the SfSL/PISA intervention; that the process of transitioning away from RSA comprises three phases wherein the person moves from a death orientation to a life orientation; and that living with RSA is marked by states that are ambiguous, fragile, and arduous. The findings suggest that psychotherapeutic intervention for RSA needs to address the specific needs of this group and to be sensitive to the particular stage of living with RSA to navigate through this experience.
Closure of the thoracic duct from the left-side access

Background:We report a 16-year-old patient with a massive left-sided chylothorax after chemotherapy due to mixed germinal tumor of the testis with massive metastases located in the retroperitoneal space and posterior mediastinum. Chemotherapy resolved the metastases in the mediastinum but evoked a huge pleural effusion in the left pleural cavity, requiring surgical intervention.Left-sided access was used. The 5-mm camera and 3 5-mm working ports were inserted. The parietal pleura was incised and the esophagus located and protected. Behind the esophagus, the thoracic duct and concomitant tissue were clipped with titanium clips, and additionally, thrombin glue was used. Stopping of the lymph leakage was observed during surgery. A local argon pleurodesis was used to finish the procedure. The thoracic tube was removed on the third postoperative day. Conclusion:Left-side access may be a good alternative in the left-sided chylothorax, but the crucial points are location and protection of the esophagus during the procedure, which is also the landmark that allows for locating the thoracic duct.
miR-29a suppresses growth and invasion of gastric cancer cells in vitro by targeting VEGF-A

Increasing data shows miR-29a is a key regulator of oncogenic processes. It is significantly down-regulated in some kind of human tumors and possibly functionally linked to cellular proliferation, survival and migration. However, the mechanism remains unclear. In this study, we report miR-29a is significantly under-expressed in gastric cancer compared to the healthy donor. The microvessel density is negatively related to miR-29a expression in gastric cancer tissues. The ectopic expression of miR-29a significantly inhibits proliferation and invasion of gastric cancer cells. Furthermore, western blot combined with the luciferase reporter assays demonstrate that vascular endothelial growth factor A (VEGF-A) is direct target of miR-29a. This is the first time miR-29a was found to suppress the tumor microvessel density in gastric cancer by targeting VEGF-A. Taken together, these results suggest that miR-29a is a tumor suppressor in gastric cancer. Restoration of miR-29a in gastric cancer may be a promising therapeutic approach. [BMB Reports 2014; 47(1):39-44]
Beyond EPC - Insights from Multiple RFID Case Studies on the Storage of Additional Data on Tag

In our contribution, we analyze case studies on the storage of additional data on tag in RFID applications. We identify four basic functions which are pursued by the data-on-tag concept. The results of our analysis provide insight into what benefits can be achieved through the use of data-on-tag applications, which technology is necessary and why a data-on- network approach would fail in most of the analyzed cases.
A serendipitous survey for variability amongst the massive stellar population of Westerlund 1

Aims. Massive stars are known to demonstrate significant spectros copic and photometric variability over a wide range of timescales. However the physical mechanisms driving this behaviour remain poorly understood. Westerlund 1 presents an ideal laboratory for studying these processes in a rich, coeval population of post-main sequence stars and we present a pathfinding study aime d at characterising their variability. Methods. To do this we utilised the large body of spectroscopic and photometric data that has accumulated for Wd1 during the past decade of intensive studies, supplemented with the sparser historical observations extending back to the early 1960s. Results. Despite the heterogeneous nature of this dataset, we were able to identify both spectroscopic and photometric variabil ity amongst every class of evolved massive star present within Wd 1. Spectroscopic variability attributable to both wind as phericity and photospheric pulsations was present amongst both the hot and cool hypergiants and the former, also with the Wolf Rayets. Given the limitations imposed by the data, we were unable to determine the physical origin of the wind structure inferred for the OB supergiants, noting that it was present in both single pulsating and binar y stars. In contrast we suspect that the inhomogineities in t he winds of the Wolf Rayets are driven by binary interactions and, conversely, by pulsations in at least one of the cool hypergiants. Pho tospheric pulsations were found for stars ranging from spectral types as early as O9 I through to the mid F Ia + yellow hypergiants - with a possible dependence on the luminosity class amongst the hot supergiants. The spectroscopically variable red supergiants (M2-5 Ia) are also potential pulsators but require further observations to co nfirm this hypothesis. Given these findings it was therefore r ather surprising that, with the exception of W243, no evidence of the characteristic excursions of both luminous blue variables and yellow hypergiants was found. Nevertheless, future determination of the amplitude and periodicity of these pulsations as a function of temperature, luminosity and evolutionary state holds out the tantalising p ossibility of constraining the nature of the physical mecha nisms driving the instabilities that constrain and define stellar evoluti on in the upper reaches of the HR diagram. Relating to this, the lack of secular evolution amongst the cool hypergiants and the presence of both high-luminosity yellow hypergiants and red supergiants within Wd1 potentially place strong constraints on post-main sequence evolutionary pathways, with the latter result apparently contradicting
Planning, Scheduling, and Plan Execution for Autonomous Robot Office Couriers

This paper investigates issues in the integration of planning, scheduling, and plan execution in the context of control systems for autonomous robot office couriers. Such control systems have to meet challenging requirements. They must avoid late deliveries and achieve long-term efficiency instead of restricting themselves to the optimization of problem solving episodes. Becauserobots acting in human working environments are often forced to schedule their activities without having complete information their control systems must reliably and efficiently execute scheduled activity in changing and partly unknown situations. In particular, the control systems must be able to exploit opportunities, flexibly avoid problems, and integrate command revisions for currently active tasks. We propose to implement such control systems for scheduled activity by employing concurrent reactive plans that, while performing their actions, reschedule the course of action whenever necessary. The plans have a modular and transparent representation which permits easy transformations by transformation rules. It is these rules that implement the controller’s scheduling and schedule repair methods.
Gödel’s Incompleteness Theorems

In 1931, when he was only 25 years of age, the great Austrian logician Kurt Gödel (1906– 1978) published an epoch-making paper [16] (for an English translation see [8, pp. 5–38]), in which he proved that an effectively definable consistent mathematical theory which is strong enough to prove Peano’s postulates of elementary arithmetic cannot prove its own consistency. In fact, Gödel first established that there always exist sentences φ in the language of Peano Arithmetic which are true, but are undecidable; that is, neither φ nor ¬φ is provable from Peano’s postulates. This is known as Gödel’s First Incompleteness Theorem. This theorem is quite remarkable in its own right because it shows that Peano’s well-known postulates, which by and large are considered as an axiomatic basis for elementary arithmetic, cannot prove all true statements about natural numbers. But Gödel went even further. He showed that his first incompleteness theorem implies that an effectively definable sufficiently strong consistent mathematical theory cannot prove its own consistency. This theorem became known as Gödel’s Second Incompleteness Theorem. Since then the two theorems are referred to as Gödel’s Incompleteness Theorems. They became landmark theorems and had a huge impact on the subsequent development of logic. In order to give more context, we step further back in time. The idea of formalizing logic goes back to the ancient Greek philosophers. One of the first to pursue it was the great German philosopher and mathematician Gottfried Wilhelm Leibniz (1646–1716). His dream was to develop a universal symbolic language, which would reduce all debate to simple calculation. The next major figure in this pursuit was the English mathematician George Boole (1815–1864), who has provided the first successful steps in this direction. This line of research was developed to a great extent by the famous German mathematician and philosopher Gottlob Frege (1848–1925), and reached its peak in the works of Bertrand Russell (1872–1970) and Alfred North Whitehead (1861–1947). Their magnum opus Principia Mathematica [27] has provided relatively simple, yet rigorous formal basis for logic, and became very influential in the development of the twentieth century logic. ∗Mathematical Sciences; Dept. 3MB, Box 30001; New Mexico State University; Las Cruces, NM 88003; gbezhani@nmsu.edu. We recall that a theory is consistent if it does not prove contradiction. More details on the work of Boole, Frege, and Russell and Whitehead can be found on our webpage http://www.cs. nmsu.edu/historical-projects/; see the historical projects [24, 7]. The work of Boole has resulted in an important concept of Boolean algebra, which is discussed in great length in a series of historical projects [3, 2, 1], also available on our webpage.
Vulnerabilities in social networking sites

In this paper, we show that social networking web sites are vulnerable to be used as a bot. This transforms a social network into an antisocial network which can be used for network attacks. Remote code execution, manipulating victim's browsers through legitimate web control functionality such as image-loading HTML tags, JavaScript instructions, and Java applets are few examples of how an adversary can hack into another user's session. Apart from controlling social network users and driving them to launch attacks against third parties, an adversary can also harm the users themselves. In this report we explore these properties, develop real exploits, and analyze their impact. We will explore other possible misuses of online Social Network web sites.
A RSS Based Indoor Tracking Algorithm via Particle Filter and Probability Distribution

Indoor positioning system that make use of received signal strength and existing wireless local area network infrastructure have recently been the focus for supporting location-based services. This paper presents a new indoor location tracking algorithm, that use:(1)signal strength probability distribution estimated by histogram method, addressing the noisy wireless channel, and (2)particle filter to deal with the nonlinear system model, which can approximate the optimal Bayesian estimate. Numerical simulation shows the new algorithm outperforms the tracking algorithm using Kalman filter in the former research.
Consequences in Infants That Were Intrauterine Growth Restricted

Intrauterine growth restriction is a condition fetus does not reach its growth potential and associated with perinatal mobility and mortality. Intrauterine growth restriction is caused by placental insufficiency, which determines cardiovascular abnormalities in the fetus. This condition, moreover, should prompt intensive antenatal surveillance of the fetus as well as follow-up of infants that had intrauterine growth restriction as short and long-term sequele should be considered.
Population based particle filtering

This paper proposes a novel particle filtering strategy by combining population Monte Carlo Markov chain methods with sequential Monte Carlo chain particle which we call evolving population Monte Carlo Markov Cham (EP MCMC) filtering. Iterative convergence on groups of particles (populations) is obtained using a specified kernel moving particles toward more likely regions. The proposed technique introduces variety in the particles both in the sampling procedure and in the resampling step. The proposed EP MCMC filter is compared with the generic particle filter, with a population MCMC by A. Jastra et al (2007) and a sequential Monte Carlo sampler. Its effectiveness is illustrated over an example for object tracking in video sequences and over the bearing only tracking problem.