Miracle-dz/UniFAR-FTUs huggingface dataset:
Time-Verying Mesh Stiffness of Gear Pair Based on Loaded Tooth Contact Analysis

The method for the mesh stiffness calculation of gear pair through Loaded Tooth Contact Analysis is presented in this paper. The mesh stiffness and load distribution of a helical gear pair are calculated. On that basis, the effect of two kinds of axial angle errors on mesh stiffness is compared and the effect of axial modification on mesh stiffness is analysed. The research demonstrates that the axial angle error has a big influence on load distribution on tooth surface and mesh stiffness of gear pair, axial modification improves the meshing quality and load distribution. KeywordsMesh Stiffness; Load Tooth Contact Analysis; Axial Angle Error; Axial Modification
Dynamic interactions of the cortical networks during thought suppression

Thought suppression has spurred extensive research in clinical and preclinical fields, particularly with regard to the paradoxical aspects of this behavior. However, the involvement of the brain's inhibitory system in the dynamics underlying the continuous effort to suppress thoughts has yet to be clarified. This study aims to provide a unified perspective for the volitional suppression of internal events incorporating the current understanding of the brain's inhibitory system.
A GENETIC ALGORITHM BASED PARTITIONING FOR 3-D RECONFIGURABLE ARCHITECTURES

The interconnection structures in FPGA devices increasingly contribute more to the delay, power consumption and area overhead. The demand for even higher clock frequencies makes this problem even more important. Three-dimensional (3-D) chip stacking is touted as the silver bullet technology that can keep Moores momentum and fuel the next wave of consumer electronics products. However, the benefits of such an integration technology have not been sufficiently explored yet. In this paper, we introduce a novel partitioning scheme based on genetic algorithm targeting 3-D FPGA platforms. Experimental results prove the efficiency of our solution for a wide range of applications, since we achieve to perform application mapping onto devices consisted of fewer TSVs (on average 7.4% fewer TSVs) as compared to existing state-of-the-art solutions. Furthermore, we achieve significant smaller total wirelength (on average 12.8%) for comparable operation frequency which leads to mentionable power/energy savings.
Title: Predictive Activity in Macaque Frontal Eye Field Neurons during 5 Natural Scene Searching 6 7 Authors: Fef Predictive Activity

32 Generating sequences of multiple saccadic eye movements allows us to search our 33 environment quickly and efficiently. Although the frontal eye field cortex (FEF) has been 34 linked to target selection and making saccades, little is known about its role in the control 35 and performance of the sequences of saccades made during self-guided visual search. We 36 recorded from FEF cells while monkeys searched for a target embedded in natural scenes, 37 and examined the degree to which cells with visual and visuo-movement activity showed 38 evidence of target selection for future saccades. We found that for about half of these 39 cells, activity during the fixation period between saccades predicted the next saccade in a 40 sequence at an early time that precluded selection based upon current visual input to a 41 cell’s response field. In addition to predicting the next saccade, activity during the 42 fixation prior to two successive saccades also predicted the direction and goal of the 43 second saccade in the sequence. We refer to this as advanced predictive activity. Unlike 44 activity indicating the upcoming saccade, advanced predictive activity occurred later in 45 the fixation period, mirroring the order of the saccade sequence itself. The remaining 46 cells without advanced predictive activity did not predict future saccades, but 47 reintroduced the signal for the upcoming saccade at an intermediate time in the fixation 48 period. Together, these findings suggest that during natural visual search the timing of 49 FEF cell activity is consistent with a role in specifying targets for one or more future 50 saccades in a search sequence. 51
PPHOCFS

Clustering is a commonly used technique for multimedia data analysis and management. In this article, we propose a high-order clustering algorithm by fast search and find of density peaks (HOCFS) by extending the traditional clustering scheme by fast search and find of density peaks (CFS) algorithm from the vector space to the tensor space for multimedia data clustering. Furthermore, we propose a privacy preserving HOCFS algorithm (PPHOCFS) which improves the efficiency of the HOCFS algorithm by using the cloud computing to perform most of the clustering operations. To protect the private data in the multimedia data sets during the clustering process on the cloud, the raw data is encrypted by the Brakerski-Gentry-Vaikun-tanathan (BGV) strategy before being uploaded to the cloud for performing the HOCFS clustering algorithm efficiently. In the proposed method, the client is required to only execute the encryption/decryption operations and the cloud servers are employed to perform all the computing operations. Finally, the performance of our scheme is evaluated on two representative multimedia data sets, namely NUS-WIDE and SNAE2, in terms of clustering accuracy, execution time, and speedup in the experiments. The results demonstrate that the proposed PPHOCFS scheme can save at least 40% running time compared with HOCFS, without disclosing the private data on the cloud, making our scheme securely suitable for multimedia big data clustering.
Con2colic testing

In this paper, we describe (con)2colic testing - a systematic testing approach for concurrent software. Based on concrete and symbolic executions of a concurrent program, (con)2colic testing derives inputs and schedules such that the execution space of the program under investigation is systematically explored. We introduce interference scenarios as key concept in (con)2colic testing. Interference scenarios capture the flow of data among different threads and enable a unified representation of path and interference constraints. We have implemented a (con)2colic testing engine and demonstrate the effectiveness of our approach by experiments.
Consequence Verification of Flowcharts

A common basis is presented, for Floyd's method of inductive assertions and for the subgoal induction method of Morris and Wegbreit. This basis is provided by consequence verification, a method for verifying logic programs. We connect flowcharts with logic programs by giving a recursive definition of the set of all computations of a flowchart. This definition can be given in two ways: the recursion can run forward or backward. Both definitions can be expressed in logic, resulting in a logic program which is then subjected to consequence verification. Verification of the forward logic program is shown to be essentially Floyd's method; verification of the backward program corresponds similarly to subgoal induction.
Astrocytic Glycogen Influences Axon Function and Survival during Glucose Deprivation in Central White Matter

We tested the hypothesis that astrocytic glycogen sustains axon function during and enhances axon survival after 60 min of glucose deprivation. Axon function in the rat optic nerve (RON), a CNS white matter tract, was monitored by measuring the area of the stimulus-evoked compound action potential (CAP). Switching to glucose-free artificial CSF (aCSF) had no effect on the CAP area for ∼30 min, after which the CAP rapidly failed. Exposure to glucose-free aCSF for 60 min caused irreversible injury, which was measured as incomplete recovery of the CAP. Glycogen content of the RON fell to a low stable level 30 min after glucose withdrawal, compatible with rapid use in the absence of glucose. An increase of glycogen content induced by high-glucose pretreatment increased the latency to CAP failure and improved CAP recovery. Conversely, a decrease of glycogen content induced by norepinephrine pretreatment decreased the latency to CAP failure and reduced CAP recovery. To determine whether lactate represented the fuel derived from glycogen and shuttled to axons, we used the lactate transport blockers quercetin, α-cyano-4-hydroxycinnamic acid (4-CIN), andp-chloromercuribenzene sulfonic acid (pCMBS). All transport blockers, when applied during glucose withdrawal, decreased latency to CAP failure and decreased CAP recovery. The inhibitors 4-CIN and pCMBS, but not quercetin, blocked lactate uptake by axons. These results indicated that, in the absence of glucose, astrocytic glycogen was broken down to lactate, which was transferred to axons for fuel.
Construction of fingerprint orientation field from minutia points

Construction of correct orientation field from minutia template is a critical problem in fingerprint recognition system. In this paper, a robust technique is proposed to construct fingerprint orientation field from minutia template based on interpolation. In order to perform interpolation, the Delaunay triangulation is used to create triangular triplet of minutia points. The bi-directional property of fingerprint ridge orientation is considered to achieve the minimum tolerance interval among the minutia points of a triplet. Barycentric coordinates of a point located inside a triangular region are considered as weight factor for the corresponding vertices. Experimentally, we observe that the weighted interpolation within smaller tolerance interval gives more accurate estimation. The performance of fingerprint recognition system can be improved by applying our proposed orientation estimation method.
A MAXIMUM NOISE FRACTION TRANSFORM BASED ON A SENSOR NOISE MODEL FOR HYPERSPECTRAL DATA

The maximum noise fraction (MNF) transform, which produces the improved order of components by signal to noise ratio (SNR), has been commonly used for spectral feature extraction from hyperspectral remote sensing data before image classification. When hyperspectral data contains a spectral distortion, also known as a “smile” property, the first component of the MNF, which should have high image quality, suffers from noisy brightness gradient pattern which thus reduces classification accuracy. This is probably because the classic noise estimation of the MNF is different from the real noise model. The noise estimation is the most important procedure because the noise covariance matrix determines the characteristics of the MNF transform. An improved noise estimation method from a single image based on a noise model of a charge coupled device (CCD) sensor is introduced to enhance the feature extraction performance of the MNF. This method is applied to both airborne and spaceborne hyperspectral data, acquired from the airborne visible infrared/imaging spectrometer (AVIRIS) and the EO-1/Hyperion, respectively. The experiment for the Hyperion data demonstrates that the proposed MNF is resistant to the spectral distortion of hyperspectral data. Furthermore, the image classification experiment for the AVIRIS Indian pines data using the MNF as a preprocessing step to extract spectral features shows that the proposed method extracts higher SNR components in lower MNF components than the existing feature extraction methods.
Instantaneous parameters estimation algorithm for noisy AM-FM oscillatory signals

The paper addresses the problem of estimation of amplitude envelope and instantaneous frequency of an amplitude and frequency modulated (AM-FM) signal in noisy conditions. The algorithm proposed in the paper utilizes derivatives of the signal and is analogous to well-known Energy Separation Algorithms (ESA) based on Teager-Kaiser energy operator (TEO). The formulation of the algorithm is based on Prony's method that provides estimates of phase and damping factor as well. Compared to ESA the proposed algorithm has a very close performance for pure oscillatory signals and a better performance for signals with additive white noise.
Quantum differentiation and chain maps of bimodule complexes

We consider a finite group acting on a vector space and the corresponding skew group algebra generated by the group and the symmetric algebra of the space. This skew group algebra illuminates the resulting orbifold and serves as a replacement for the ring of invariant polynomials, especially in the eyes of cohomology. One analyzes the Hochschild cohomology of the skew group algebra using isomorphisms which convert between resolutions. We present an explicit chain map from the bar resolution to the Koszul resolution of the symmetric algebra which induces various isomorphisms on Hochschild homology and cohomology, some of which have appeared in the literature before. This approach unifies previous results on homology and cohomology of both the symmetric algebra and skew group algebra. We determine induced combinatorial cochain maps which invoke quantum differentiation (expressed by Demazure-BBG operators).
Basal Keratinocytes Contribute to All Strata of the Adult Zebrafish Epidermis

The epidermis of terrestrial vertebrates is a stratified epithelium and forms an essential protective barrier. It is continually renewed, with dead corneocytes shed from the surface and replaced from a basal keratinocyte stem cell population. Whilst mouse is the prime model system used for epidermal studies, there is increasing employment of the zebrafish to analyse epidermis development and homeostasis, however the architecture and ontogeny of the epidermis in this system are incompletely described. In particular, it is unclear if adult zebrafish epidermis is derived entirely from the basal epidermal stem cell layer, as in the mouse, or if the most superficial keratinocyte layer is a remnant of the embryonic periderm. Furthermore, a relative paucity of cellular markers and genetic reagents to label and manipulate the basal epidermal stem cell compartment has hampered research. Here we show that the type I keratin, krtt1c19e, is a suitable marker of the basal epidermal layer and identify a krtt1c19e promoter fragment able to drive strong and specific expression in this cell type. Use of this promoter to express an inducible Cre recombinase allowed permanent labelling of basal cells during embryogenesis, and demonstrated that these cells do indeed generate keratinocytes of all strata in the adult epidermis. Further deployment of the Cre-Lox system highlighted the transient nature of the embryonic periderm. We thus show that the epidermis of adult zebrafish, as in the mouse, derives from basal stem cells, further expanding the similarities of epidermal ontogeny across vertebrates. Future use of this promoter will assist genetic analysis of basal keratinocyte biology in zebrafish.
H I Spectra and Column Densities toward HVC and IVC Probes

We show 21 cm line profiles in the direction of stars and extragalactic objects, lying projected on high- and intermediate-velocity clouds (HVCs and IVCs). About half of these are from new data obtained with the Effelsberg 100 m telescope, about a quarter are extracted from the Leiden-Dwingeloo Survey (LDS), and the remaining quarter were observed with other single-dish telescopes. H I column densities were determined for each HVC/IVC. Paper I of this series uses these in combination with optical and ultraviolet high-resolution measurements to derive abundances. Here an analysis is given of the difference and ratio of N(H I) as observed with a 9' versus a 35' beam. For HVCs and IVCs the ratio N(H I-9')/N(H I-35') lies in the range 0.2-2.5. For low-velocity gas this ratio ranges from 0.75 to 1.3 (the observed ratio is 0.85-1.4, but it appears that the correction for stray radiation is slightly off). The smaller range for the low-velocity gas may be caused by confusion in the line of sight, so that a low ratio in one component can be compensated by a high ratio in another—for 11 low-velocity clouds fitted by one component the distribution of ratios has a larger dispersion. Comparison with higher angular resolution data is possible for 16 sight lines. Eight sight lines with H I data at 1'-2' resolution show a range of 0.75-1.25 for N(H I-2')/N(H I-9'), while in eight other sight lines N(H I-Lyα)/N(H I-9') ranges from 0.74 to 0.98.
Exploring climate change and its impact on agriculture using volunteered geographic information

The PhD research exposed in this paper aims to develop workflows for fine scale study of climate change and its impact on agriculture using volunteered geographic information in phenology. First, a consistency checking workflow was developed to ensure the quality of volunteered observations. Next, by using novel predictors, spatio-temporal variation in plant phenology is modeled so that we can move from point-related to gridded phenological products. After that, long term gridded time series of phenological data relevant to agriculture is generated using the developed phenological models.
Can NRM agencies rely on capable and effective staff to build trust in the agency?

Trust is recognised as an important component of agency–community relations, influencing the social acceptability of resource access and natural resource management (NRM). It is not clear if perceptions of the trustworthiness of agency staff members can lead to trust in an agency. This is an important question for agencies working in contentious policy arenas such as water reform in Australia's Murray-Darling Basin. This research addressed that gap and developed a set of survey items that can be employed to benchmark trust and trustworthiness by exploring groundwater irrigator's trust in the New South Wales Office of Water (NoW). A survey was mailed to all farming properties with a groundwater licence in the Namoi catchment. As might be expected, licence holders were more likely to trust agency staff than NoW itself. Perceptions of agency and staff trustworthiness influenced landholder trust in NoW. Agency trustworthiness partially mediated the relationship between staff trustworthiness and agency trust. These findings suggest that trust should be viewed as a multi-level phenomenon. To the extent that these findings are replicated, a key implication is that community engagement strategies attempting to build trust in an agency should set out to influence how the agency itself is perceived as an organisation.
Labour market and health: theoretical, empirical and cognitive aspects

Submitted by ΑΝΝΑ ΠΟΡΤΙΝΟΥ (annaportinou@ekt.gr) on 2016-05-20T12:56:30Z No. of bitstreams: 1 1. 18_ΔΔ_10_1_14. pdf: 3627764 bytes, checksum: ec971aa06514658b28c17f15a51a61b1 (MD5)
Monitoring human behavior in an assistive environment using multiple views

This paper presents our approach in understanding the behavior of humans moving on a plane using multiple cameras. This approach is appropriate for monitoring people in an assistive enivronment for the purpose of issuing alerts in cases of abnormal behavior. We perform camera registration based on homography estimation and we extract position on 2D projection map. We use the output of multiple classifiers to model and extract abnormal behaviour from both the target trajectory and the target short term activity (i.e., walking, running, abrupt motion etc). The proposed approach is verified experimentally in an indoor environment. The experiments are performed with a single moving target, however the method can be generalised to multiple moving targets, which may occlude each other, due to the use of multiple cameras.
Effects of algorithm for diagnosis of active labour: cluster randomised trial

Objective To compare the effectiveness of an algorithm for diagnosis of active labour in primiparous women with standard care in terms of maternal and neonatal outcomes. Design Cluster randomised trial. Setting Maternity units in Scotland with at least 800 annual births. Participants 4503 women giving birth for the first time, in 14 maternity units. Seven experimental clusters collected data from a baseline sample of 1029 women and a post-implementation sample of 896 women. The seven control clusters had a baseline sample of 1291 women and a post-implementation sample of 1287 women. Intervention Use of an algorithm by midwives to assist their diagnosis of active labour, compared with standard care. Main outcomes Primary outcome: use of oxytocin for augmentation of labour. Secondary outcomes: medical interventions in labour, admission management, and birth outcome. Results No significant difference was found between groups in percentage use of oxytocin for augmentation of labour (experimental minus control, difference=0.3, 95% confidence interval −9.2 to 9.8; P=0.9) or in the use of medical interventions in labour. Women in the algorithm group were more likely to be discharged from the labour suite after their first labour assessment (difference=−19.2, −29.9 to −8.6; P=0.002) and to have more pre-labour admissions (0.29, 0.04 to 0.55; P=0.03). Conclusions Use of an algorithm to assist midwives with the diagnosis of active labour in primiparous women did not result in a reduction in oxytocin use or in medical intervention in spontaneous labour. Significantly more women in the experimental group were discharged home after their first labour ward assessment. Trial registration Current Controlled Trials ISRCTN00522952.
Collaborative Decision Support for Adaptive Digital Enterprise Architecture

The digitization of our society changes the way we live, work, learn, communicate, and collaborate. This disruptive change interacts with all information processes and systems that are important business enablers for the context of digitization since years. Our aim is to support flexibility and agile transformations for both business domains and related information technology and enterprise systems through adaptation and evolution of digital enterprise architectures. The present research paper investigates collaborative decision mechanisms for adaptive digital enterprise architectures by extending original architecture reference models with state of art elements for agile architectural engineering for the digitization and collaborative architectural decision support.
QoS Aware HSDPA Congestion Control Algorithm

High speed downlink packet access (HSDPA) is providing increased user data rate by introducing additional functionalities like link adaptation and coding, fast scheduling and hybrid automatic repeat request (HARQ) at the Node B. To achieve optimal radio resource utilization, HSDPA flow control is applied to control the amount of data sent from the radio network controller (RNC) to the Node B over the Iub interface. HSDPA flow control is not taking into account the available transport resources which can lead to situations when HSDPA packets are dropped due to congestion. These drops are triggering radio link control protocol (RLC) retransmissions that are decreasing the HSDPA performance. TCP flow control is not able to detect and resolve in time the congestion situation because RLC retransmissions are hiding the congestion on Iub transport. Therefore a congestion control algorithm is needed that is able to improve the system performance in case of resource limited transport. In this paper we propose a congestion control solution for systems with HSDPA QoS classes and evaluate it with NS2 simulations.
Strain R 7 A Mesorhizobium loti Symbiosis Island of Comparative Sequence Analysis of the

10.1128/JB.184. 11.3086-3095.2002. 2002, 184(11):3086. DOI: J. Bacteriol. Webby, Frans J. de Bruijn and Clive W. Ronson Rossbach, Gabriella S. Stuart, Julie E. Weaver, Richard J. Elliot, Damien J. Fleetwood, Nadine G. McCallum, Uwe Cruickshank, Jerome Gouzy, Steven D. Brown, Rachel M. John T. Sullivan, Jodi R. Trzebiatowski, Ruth W. Strain R7A Mesorhizobium loti Symbiosis Island of Comparative Sequence Analysis of the