Miracle-dz/UniFAR-FTUs huggingface dataset:
An Aspectj Compiler for the Steamloom Virtual Machine

The "Aspect Language Implementation Architecture" (ALIA) [7] research project introduces the "Execution Model" a meta-model for behavioral crosscutting. The proposed architecture stipulates that compilers use the Execution Model to define the aspects in the compiled program and that execution environments directly execute the resulting model. In this way, weaving is delayed as long as possible thereby facilitating sophisticated optimizations in the execution environment. Languages for Aspect Oriented Software Development (AOSD) such as AspectJ [2] or CaesarJ [4] provide syntactical and seman-tical expression for aspect orientation. The Steamloom virtual machine is one execution environment that implements the Execution Environment. In this work a compiler for AspectJ 1.2 source code is built, the AspectJ-EM (EM stands for Execution Model) compiler. Its main purpose is to transform the pointcut and advice definitions into calls to the Execution Model API and to produce bytecode output, which may be directly executed in ALIA execution environments.
Interactions Between Multiuser Diversity and Spatial Diversity Techniques in an Interference-Limited Environment

This paper investigates the interaction between multiuser diversity and spatial diversity in an interference-limited environment based on post-receiver-processing signal-to-interference-plus-noise ratio (SINR) distributions. If opportunistic scheduling is employed, spatial diversity effects limit the achievable multiuser diversity gain. This paper quantifies the interaction by using order statistic theory and shows a spatial diversity technique with a larger SINR variance can be more effective under opportunistic scheduling. Through analysis and simulations, the authors show that the cyclic delay diversity technique gets the most benefit from the opportunistic scheduling among likely spatial diversity techniques and outperforms space time block coding (STBC), even though STBC is generally considered the most effective transmit diversity technique in a noise-limited environment.
Blank measurement based time-alignment in LC-MS

Here are presenting the blank based time-alignment (BBTA) as a strong analytical approach for treatment of non-linear shift in time occurring in HPLC-MS data. Need of such tool in recent large dataset produced by analytical chemistry and so-called omics studies is evident. Proposed approach is based on measurement and comparison of blank and analyzed sample evident features. In the first step of BBTA procedure, the number of compounds is reduced by max-to-mean ratio thresholding, which extensively reduce the computational time. Simple thresholding is followed by selection of time markers defined from blank inflex points which are then used for the transformation function, polynomial of second degree, in the example. BBTA approach was compared on real HPLC-MS measurement with Correlation Optimized Warping (COW) method. It was proved to have distinctively shorter computational time as well as lower level of mathematical presumptions. The BBTA is computationally much easier, quicker (more then 1000x) and accurate in comparison with warping. Moreover, markers selection works efficiently without any peak detection. It is sufficient to analyze only baseline contribution in the analyte measurement with sparse knowledge of blank behavior. Finally, BBTA does not required usage of extra internal standards and due to its simplicity it has a potential to be widespread tool in HPLC-MS data treatment.
Attack Resistant Agent Based Dynamic Key Management in Dynamic Wireless Sensor Networks

The adaptation of Wireless Sensor Network (WSN) and its utility in real world applications like healthcare is growing faster. With its growth, it also brought vulnerabilities that cause security attacks. It is more so with the emerging technology known as Internet of Things (IoT) which combines physical and digital worlds. At least, as far as WSN is concerned, it is inevitable to have end to end security to protect communications that are sensitive and confidential.Many security schemes came into existence as found in the literature. However, most of them are inefficient for dynamic key management in dynamic WSN. Recently we proposed a scheme named as Agent Based Dynamic Key Management (ABDKM). In this paper we enhance and evaluate it against various attacks such as black hole and rushing.The enhanced scheme is named as an Attack Resilient-Agent Based Dynamic Key Management (AR-ABDKM). The scheme is implemented using NS2. The simulation results showed the remarkable performance improvement of the proposed scheme besides its attack resiliency.
Critical Analysis of Object Oriented Metrics in Software Development

Software metrics play an important role in developing high quality software as well as to improve the developer's productivity. To produce high quality object oriented applications, emphasis during early phases of software development is necessary. In this paper a review and analysis of object oriented metrics is presented for identification and validation of object oriented metrics and out of various metrics, a limited set of metrics is identified that have a significant role in software complexity and quality measurement.
Understanding social engagement in autism: being different in perceiving and sharing affordances

In the current paper I will argue that the notion of affordances offers an alternative to theory of mind (ToM) approaches in studying social engagement in general and in explaining social engagement in autism spectrum disorder (ASD) specifically. Affordances are the possibilities for action offered by the environment. In contrast to ToM approaches, the concept of affordances implies the complementarity of person and environment and rejects the dualism of mind and behavior. In line with the Gibsonian idea that a child must eventually perceive the affordances of the environment for others as well for herself in order to become socialized, I will hypothesize that individuals with ASD often do not perceive the same affordances in the environment as other people do and have difficulties perceiving others’ affordances. This can lead to a disruption of interpersonal behaviors. I will further argue that the methods for studying social engagement should be adapted if we want to take interaction into account.
Modeling of eddy current losses in the iron core of electrical machines by a finite element homogenization method

A finite element homogenization method is proposed for the magetodynamic h-conform finite element formulation to compute eddy current losses in electrical steel laminations. The lamination stack is served as a source region carrying predefined current density and magnetic flux density distributions presenting the eddy current losses and skin effects in each lamination. In order to solve this problem, the stacked laminations are converted into continuums with which terms are associated for considering the eddy current loops produced by both parallel and perpendicular fluxes. An accurate model of accuracy is developed via an accurate analytical expression of the eddy currents and makes the method adapted to both low and high frequency effects to capture skin depths of fields along thicknesses of the laminations.
Critical Leadership Studies

This chapter explores the growing impact of Critical Leadership Studies (CLS). Covering a diverse set of theories and approaches, critical perspectives hold that, whether for good and/or ill, and whether focussing on individuals and/or collectives, power in all its forms is a central, under-examined issue for leadership studies. Problematizing the dichotomizing tendency in leadership studies, CLS also emphasize the value of analysing leadership power relations through dialectical perspectives. Critical approaches address the asymmetric interplay between leaders, managers, followers and contexts as well as their potentially contradictory conditions, processes and consequences. By addressing the dialectics of power, conformity and resistance, critical perspectives challenge conventional understandings of leader-follower dynamics. In so doing they open up new ways of theorizing, researching and enacting leadership.
Study of Anterior Chamber Aqueous Tube Shunt by Fourier-Domain Optical Coherence Tomography

Purpose. This cross-sectional, observational study used Fourier-domain optical coherence tomography (OCT) to examine the position, patency, and the interior entrance site of anterior chamber (AC) aqueous tube shunts. Methods. The OCT, slitlamp biomicroscopy, and gonioscopy findings of 23 eyes of 18 patients with AC shunts were collected and compared. Results. OCT images demonstrated the shunt position and patency in all 23 eyes, and the details of the AC entrance in 16 eyes. The position of the tube varied, with the majority (14/23) on the surface of the iris. The exact position of the AC entrance relative to Schwalbe's line (SL) could be determined in 9 eyes (posterior to SL in 7 eyes, anterior in 2 eyes). At the AC entrance, growth of fibrous scar tissue was present between the tube and the corneal endothelium in all 16 eyes in which the entrance could be clearly visualized. It's a new finding that could not be visualized by slitlamp examination or lower resolution OCT. Conclusion. Compared to slitlamp examination, Fourier-domain OCT of AC tube shunts provided more detailed anatomic information regarding the insertion level relative to SL, scar tissue between the tube and the corneal endothelium, and patency of the tube opening.
An Alternative Pulse-Width Modulation Scheme for Automotive Inverters

Future automotive 42-Volt DC electrical systems will use pulse-width modulated inverters to convert the bus voltage to a 3-phase AC voltage with desired amplitude and frequency. In this report we develop a method using Genetic Algorithms that finds switching algorithms that reduce the number of filter capacitors needed at the DC side of the inverter, thus decreasing the production cost of the inverters significantly while maintaining acceptable AC bus power quality. Work done for McCleer Power, Inc. under the direction of C. R. MacCluer and P. J. McCleer, in partial fulfillment of the requirements of Michigan State University MTH 844.
Machine Learning in Computer-Aided Diagnosis: Medical Imaging Intelligence and Analysis

Medical imaging is an indispensable tool for modern healthcare. Machine leaning plays an essential role in the medical imaging field, with applications including medical image analysis, computer-aided diagnosis, organ/lesion segmentation, image fusion, image-guided therapy, and image annotation and image retrieval. Machine Learning in Computer-Aided Diagnosis: Medical Imaging Intelligence and Analysis provides a comprehensive overview of machine learning research and technology in medical decision-making based on medical images. This book covers major technical advancements and research findings in the field of Computer-Aided Diagnosis (CAD). As it demonstrates the practical applications of CAD, this book is a useful reference for professors in engineering and medical schools, students in engineering and applied-science, medical students, medical engineers, researchers in industry, academia, and health science, radiologists, cardiologists, surgeons, and healthcare professionals.
Handedness Score in Unexplained Infertility, a Contribution to the Debate on Neuronal Function in Fertility

Citation: Aksoy RT, Çınar M, Tokmak A, Özkaya E, Güzel AI, et al. (2018) Handedness Score in Unexplained Infertility, a Contribution to the Debate on Neuronal Function in Fertility. Reprod Med Int 1:007. Accepted: September 25, 2018; Published: September 27, 2018 Copyright: © 2018 Aksoy RT, et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Open Access
Multibeam Electron Source using MEMS Electron Optical Components

Recent developments in electron beam equipment have given rise to ever more complex electron optical (EO) designs. Until now these designs were realized using standard workshop techniques like drilling, turning etc. With the need for even more complex designs to advance electron optics, we use the possibilities of manufacturing EO components with MEMS fabrication techniques. This leads to different design rules in the EO design. One can use one of the strong points of MEMS fabrication, mass manufacturing of identical and reliable components within tight specifications. One of our designs that demonstrates this is presented in this paper, the multi-beam electron source. We are developing an electron source for use in a standard scanning electron microscope that produces 100 beams instead of one. The design is made so that the performance in terms of spot size and current per beam is equal to the performance of the beam from a single beam source, around 1 nm and 25 pA. Furthermore, since we modify the SEM for nanolithography purposes, it is necessary to switch each of the individual beams on and off. For that purpose we integrate an array of blanker electrodes in the source unit.
Automatic recognition by gait: progress and prospects

Recognising people by their gait is a biometric of increasing interest. Recently, analysis has progressed from evaluation by few techniques on small databases with encouraging results to large databases and still with encouraging results. The potential of gait as a biometric was encouraged by the considerable amount of evidence available, especially in biomechanics and literature. This potential motivated the development of new databases, new technique and more rigorous evaluation procedures. We adumbrate some of the new techniques we have developed and their evaluation to gain insight into the potential for gait as a biometric. In particular, we consider implications for the future. Our work, as with others, continues to provide encouraging results for gait as a biometric, let alone as a human identifier, with a special regard for recognition at a distance.
Long tails on thermonuclear X-ray bursts from neutron stars: a signature of inward heating?

We report the discovery of one-hour long tails on the few-minutes long X-ray bursts from the “clocked burster” GS 1826-24. We propose that the tails are due to enduring thermal radiation from the neutron star envelope. The enduring emission can be explained by cooling of deeper neutron star layers that were heated up through inward conduction of heat produced in the thermonuclear shell flash responsible for the burst. Similar, though somewhat shorter, tails are seen in bursts from EXO 0748-676 and 4U 1728-34. Only a small amount of cooling is detected in all these tails. This is either due to compton upscattering of the tail photons or, more likely, to a neutron star that is already fairly hot due to other stable nuclear processes.
Alternative Splicing of the CaV1.3 Channel IQ Domain, a Molecular Switch for Ca2+-Dependent Inactivation within Auditory Hair Cells

Native CaV1.3 channels within cochlear hair cells exhibit a surprising lack of Ca2+-dependent inactivation (CDI), given that heterologously expressed CaV1.3 channels show marked CDI. To determine whether alternative splicing at the C terminus of the CaV1.3 gene may produce a hair cell splice variant with weak CDI, we transcript-scanned mRNA obtained from rat cochlea. We found that the alternate use of exon 41 acceptor sites generated a splice variant that lost the calmodulin-binding IQ motif of the C terminus. These CaV1.3IQΔ (“IQ deleted”) channels exhibited a lack of CDI, which was independent of the type of coexpressed β-subunits. CaV1.3IQΔ channel immunoreactivity was preferentially localized to cochlear outer hair cells (OHCs), whereas that of CaV1.3IQfull channels (IQ-possessing) labeled inner hair cells (IHCs). The preferential expression of CaV1.3IQΔ within OHCs suggests that these channels may play a role in processes such as electromotility or activity-dependent gene transcription rather than neurotransmitter release, which is performed predominantly by IHCs in the cochlea.
The non-linear redshift space probability distribution function in models with local primordial non-Gaussianity

We use the ellipsoidal collapse approximation to investigate the non-linear redshift space evolution of the density field with primordial non-Gaussianity of the local f nl -type. We utilize the joint distribution of eigenvalues of the initial non-Gaussian shear field and evaluate the evolved redshift space probability distribution function (PDF). It is shown that, similar to the real space analysis, the underdense tail of the non-linear redshift space PDF differs significantly from that for Gaussian initial conditions. We also derive the lowest order correction of the Kaiser's formula in the presence of a non-zero f nl .
The research on supply chain performance modeling

The traditional supply chain performance evaluation studies focus on measuring performance results in order to find the status quo and gaps of supply chain, but it ignores the performance factors relationships and the reasons of performance results, which makes the lack of targeted improvement measures, this paper focus on how to analyze the relationships between performance interrelated factors, find the causes of the problems, and proposes "3+1" integrated supply chain performance measures. The steps of "3+1" integrated supply chain performance analysis method are summarized. Finally, a case verifies the application value of our approach. Based on the results of analysis, the paper proposed some constructive suggestions for supply chain performance modeling in the future.
Knee Muscles Isokinetic Evaluation after a Six-Month Regular Combined Swim and Dry-Land Strength Training Period in Adolescent Competitive Swimmers

Abstract Previous studies demonstrated significant increases in the shoulder internal rotators’ peak torque values and unilateral muscular imbalances of the shoulder rotators after a competitive swim period. However, there are no similar data concerning the knee muscles. The purpose of the current study was to examine the effects of a six-month training period on knee flexor and extensor peak torque values, examine a possible bilateral strength deficit and evaluate the unilateral strength balance in competitive swimmers. Eleven male adolescent swimmers (age: 14.82 ± 0.45 years) were tested for concentric knee extension and flexion peak torque (60°/s) with an isokinetic dynamometer, before and after a regular combined swim and dry-land strength training period. A trend towards greater improvements in the knee extensor compared to flexor muscles peak torque was observed. Furthermore, the bilateral strength deficit remained almost unchanged, whereas unilateral strength imbalance was increased for both limbs. However, all results were nonsignificant (p > 0.05). According to the data presented, a six-month regular combined swim and dry-land strength training period caused non-significant alterations for all the parameters evaluated during isokinetic testing. This study highlights the fact that competitive adolescent swimmers demonstrated unilateral knee strength imbalances throughout a long period of their yearly training macrocycle.
Traffic-Load-Adaptive Medium Access Control for Fully Connected Mobile Ad Hoc Networks

In this paper, we propose an adaptive medium access control (MAC) solution for a fully connected mobile ad hoc network (MANET), supporting homogeneous best-effort data traffic. The MAC scheme achieves consistently high network performance by adapting to the ever-varying network traffic load. Based on the detection of a current network load condition, nodes can make a switching decision between IEEE 802.11 distributed coordination function (DCF) and dynamic time-division multiple access (D-TDMA), when the network traffic load reaches a threshold, referred to as MAC switching point. The adaptive MAC solution determines the MAC switching point to maximize network performance. Approximate and closed-form performance analytical models for both MAC protocols are established, which facilitate the computation of MAC switching point in a tractable way. Extensive analytical and simulation results demonstrate that the adaptive MAC solution provides consistently maximal network performance in the presence of traffic load dynamics.
A knowledge management perspective of requirements engineering

A well-known problem in requirements engineering is the communication between stakeholders with different background. This communication problem is mostly attributed to the different “languages” spoken by these stakeholders based on their different background and domain knowledge. We experienced a related problem involved with transferring and sharing such knowledge, when stakeholders are reluctant to do this. So, we take a knowledge management perspective of requirements engineering and carry over ideas for the sharing of knowledge about requirements and the domain. We cast requirements engineering as a knowledge management process and adopt the concept of the spiral of knowledge involving transformations from tacit to explicit knowledge, and vice versa. In the context of a real-world problem, we found the concept of “knowledge holders” and their relations to categories of requirements and domain knowledge both useful and important. This project was close to become a failure until knowledge transfer has been intensified. The knowledge management perspective provided insights for explaining improved knowledge exchange.
Spearman's g: Links Between Psychometrics and Biology

Individual differences with respect to diverse tests of mental abilities that range in complexity from simple reaction time to abstract reasoning are all positively correlated in the population. The total covariance among all such tests can be analyzed into a number of uncorrelated components of variance, or factors, that, in terms of their generality, are hierarchical, with the most general factor, or g, at the apex. This g factor is common to every type of cognitive performance, whatever other ability factors may be involved (e.g., verbal, spatial, numerical, musical, etc.), and is the crucial factor in most tests' practical validity. Its correlations with various tests' heritability, inbreeding depression, heterosis, average evoked potentials, brain metabolism, and many other physical correlates indicate that as a product of evolution it is profoundly enmeshed with many organismic variables. A theory based on empirical evidence links g to neural processes involved in the speed and efficiency of information processing.
Word embedding based retrieval model for similar cases recommendation

Similar cases recommendation is more and more popular in the internet inquiry. There have been lots of cases which have been solved perfectly, and recommending them to similar inquiries can not only save the patients' waiting time, but also giving more good references. However, the inquiry platform cannot understand the diversity of description, i.e. the same meaning with different description. This may shield some cases with very high quality answers. In this paper, based on deep learning, we proposed a retrieval model combining word embedding with language models. We use word embedding to solve the problem of description diversity, and then recommend the similar cases for the inquiries. The experiments are based on the data from ask.39. net, and the results show that our methods outperform the state-of-art methods.