Miracle-dz/UniFAR-FTUs huggingface dataset:
Intelligent Image Identification to Human Cells

the paper presents an image processing, aiming at understanding and exploring the image identification technology for human cells. The paper reports several algorithm improvements in the processing including the Gauss-Laplace algorithm that makes image of human cells be identified effectively, and combination of texture match that using pixels statistics method makes several algorithms together. With the consideration of the precision of image recognition, we combine image texture characteristics with other image processing technology. The texture characteristics of human cells are considered as specific information to be added in the knowledge-based biological systems. The knowledge reasoning is introduced and knowledge storage is established using artificial intelligence process of identifying the human cells
JIT Spraying and Mitigations

With the discovery of new exploit techniques, novel protection mechanisms are needed as well. Mitigations like DEP (Data Execution Prevention) or ASLR (Address Space Layout Randomization) created a significantly more difficult environment for exploitation. Attackers, however, have recently researched new exploitation methods which are capable of bypassing the operating system's memory mitigations. One of the newest and most popular exploitation techniques to bypass both of the aforementioned security protections is JIT memory spraying, introduced by Dion Blazakis. In this article we will present a short overview of the JIT spraying technique and also novel mitigation methods against this innovative class of attacks. An anti-JIT spraying library was created as part of our shellcode execution prevention system.
SLA-Driven Clustering of QoS-Aware Application Servers

In this paper, we discuss the design, implementation, and experimental evaluation of a middleware architecture for enabling service level agreement (SLA)-driven clustering of QoS-aware application servers. Our middleware architecture supports application server technologies with dynamic resource management: application servers can dynamically change the amount of clustered resources assigned to hosted applications on-demand so as to meet application-level quality of service (QoS) requirements. These requirements can include timeliness, availability, and high throughput and are specified in SLAs. A prototype of our architecture has been implemented using the open-source J2EE application server JBoss. The evaluation of this prototype shows that our approach makes possible JBoss' resource usage optimization and allows JBoss to effectively meet the QoS requirements of the applications it hosts, i.e., to honor the SLAs of those applications
Sleep and the epidemic of obesity in children and adults

Sleep is an important modulator of neuroendocrine function and glucose metabolism in children as well as in adults. In recent years, sleep curtailment has become a hallmark of modern society with both children and adults having shorter bedtimes than a few decades ago. This trend for shorter sleep duration has developed over the same time period as the dramatic increase in the prevalence of obesity. There is rapidly accumulating evidence from both laboratory and epidemiological studies to indicate that chronic partial sleep loss may increase the risk of obesity and weight gain. The present article reviews laboratory evidence indicating that sleep curtailment in young adults results in a constellation of metabolic and endocrine alterations, including decreased glucose tolerance, decreased insulin sensitivity, elevated sympathovagal balance, increased evening concentrations of cortisol, increased levels of ghrelin, decreased levels of leptin, and increased hunger and appetite. We also review cross-sectional epidemiological studies associating short sleep with increased body mass index and prospective epidemiological studies that have shown an increased risk of weight gain and obesity in children and young adults who are short sleepers. Altogether, the evidence points to a possible role of decreased sleep duration in the current epidemic of obesity.
F Ur Mathematik in Den Naturwissenschaften Leipzig a Parallel Algebraic Multigrid Solver for Nite Element Method Based Source Localization in the Human Brain a Parallel Algebraic Multigrid Solver for Finite Element Method Based Source Localization in the Human Brain ?

Time plays an important role in medical and neuropsychological diagnosis and research. In the eld of Electro-and MagnetoEncephaloGraphy (EEG/MEG) source localization, a current distribution in the human brain is reconstructed noninvasively by means of measured elds outside the head. High resolution nite element modeling for the eld computation leads to a sparse, large scale, linear equation system with many diierent right hand sides to be solved. The presented solution process is based on a parallel algebraic multigrid method. It is shown that very short computation times can be achieved through the combination of the multi-level technique and the parallelization on distributed memory computers. A solver time comparison to a classical parallel Jacobi preconditioned conjugate gradient method is given. Key words EEG/MEG-source localization in the human brain, Algebraic multigrid, Parallel iterative solvers.
Reflected BSDE with a Constraint and a New Doob-Meyer Nonlinear Decomposition

In this paper, we study a type of reflected BSDE with a constraint and introduce a new kind of nonlinear expectation via BSDE with a constraint and prove the Doob-Meyer decomposition with respect to the super(sub)martingale introduced by this nonlinear expectation. We then apply the results to the pricing of American options in incomplete market.
Polynomial interior point algorithms for general LCPs

Linear Complementarity Problems (LCPs) belong to the class of NP-complete problems. Therefore we can not expect a polynomial time solution method for LCPs without requiring some special property of the matrix coe‐cient matrix. Our aim is to construct some interior point algorithms which, according to the duality theorem in EP form, gives a solution of the original problem or detects the lack of property P⁄(~•) (with arbitrary large, but apriori flxed ~ •) and gives a polynomial size certiflcate of it in polynomial time (depending on parameter ~, the initial interior point and the dimension of the LCP). We give the general idea of a modiflcation of interior point algorithms and present three concrete methods: a‐ne scaling, long-step path-following and predictor-corrector interior point algorithm.
A Methodology for the Quantitative Assessment of the Primary Social Impact of Agricultural Technologies

Abstract Present methodologies for the assessment of the social impact of agricultural technologies and their modes of extension are merely comparative or often qualitative. A hierarchical clustering based impact assessment tool is detailed in this paper. Social impacts of thirty-nine agricultural technologies extended by Krishi Vigyan Kendra (Kerala Agricultural University) were quantified using the scores based on the number of participants and the level of adoption. Common anomalies in biometric analyses caused by the numerical size of data were mitigated through transformation of data within a mode of extension into a 0-1 scale. Transformed data were given the weightage based on the level of adoption and further used in the hierarchical clustering to obtain the bi-dimensional dendrogram presenting the comparative impact of technologies as well as modes of extension.
Differences in Movement Pattern and Detectability between Males and Females Influence How Common Sampling Methods Estimate Sex Ratio

Sampling the biodiversity is an essential step for conservation, and understanding the efficiency of sampling methods allows us to estimate the quality of our biodiversity data. Sex ratio is an important population characteristic, but until now, no study has evaluated how efficient are the sampling methods commonly used in biodiversity surveys in estimating the sex ratio of populations. We used a virtual ecologist approach to investigate whether active and passive capture methods are able to accurately sample a population’s sex ratio and whether differences in movement pattern and detectability between males and females produce biased estimates of sex-ratios when using these methods. Our simulation allowed the recognition of individuals, similar to mark-recapture studies. We found that differences in both movement patterns and detectability between males and females produce biased estimates of sex ratios. However, increasing the sampling effort or the number of sampling days improves the ability of passive or active capture methods to properly sample sex ratio. Thus, prior knowledge regarding movement patterns and detectability for species is important information to guide field studies aiming to understand sex ratio related patterns.
Dynamic Detection and Mitigation of DMA Races in MPSoCs

Explicitly managed memories have emerged as a good alternative for multicore processors design in order to reduce energy and performance costs. Memory transfers then rely on Direct Memory Access (DMA) engines which provide a hardware support for accelerating data. However, programming explicit data transfers is very challenging for developers who must manually orchestrate data movements through the memory hierarchy. This is in practice very error-prone and can easily lead to memory inconsistency. In this paper, we propose a runtime approach for monitoring DMA races. The monitor acts as a safeguard for programmers and is able to enforce at runtime a correct behavior w.r. t the semantics of the program execution. We validate the approach using traces extracted from industrial benchmarks and executed on the multiprocessor system-onchip platform STHORM. Our experiments demonstrate that the monitoring algorithm has a low overhead (less than 1.5 KB) of on-chip memory consumption and an overhead of less than 2% of additional execution time.
Photometric Selection of High-Redshift Type Ia Supernova Candidates

We present a method for selecting high-redshift Type Ia supernovae (SNe Ia) located via rolling SN searches. The technique, using both color and magnitude information of events from only two to three epochs of multiband real-time photometry, is able to discriminate between SNe Ia and core-collapse SNe. Furthermore, for SNe Ia the method accurately predicts the redshift, phase, and light-curve parameterization of these events based only on pre-maximum-light data. We demonstrate the effectiveness of the technique on a simulated survey of SNe Ia and core-collapse SNe, where the selection method effectively rejects most core-collapse SNe while retaining SNe Ia. We also apply the selection code to real-time data acquired as part of the Canada-France-Hawaii Telescope Supernova Legacy Survey (SNLS). During the period 2004 May to 2005 January in the SNLS, 440 SN candidates were discovered, of which 70 were confirmed spectroscopically as SNe Ia and 15 as core-collapse events. For this test data set, the selection technique correctly identifies 100% of the identified SNe II as non-SNe Ia with only a 1%-2% false rejection rate. The predicted parameterization of the SNe Ia has a precision of /(1 + zspec) < 0.09 in redshift and ±2-3 rest-frame days in phase, providing invaluable information for planning spectroscopic follow-up observations. We also investigate any bias introduced by this selection method on the ability of surveys such as SNLS to measure cosmological parameters (e.g., w and ΩM) and find any effect to be negligible.
Butein sensitizes HeLa cells to cisplatin through the AKT and ERK/p38 MAPK pathways by targeting FoxO3a

Drug resistance remains a major challenge in cancer therapy. Butein, a polyphenolic compound, has been shown to exhibit anticancer activity through the inhibition of the activation of the protein kinase B (PKB/AKT) and mitogen-activated protein kinase (MAPK) pathways, which are two pathways known to be involved in resistance to cisplatin. Hence, we hypotheiszed that butein may be a chemosensitizer to cisplatin. In the present study, we demonstrated that butein synergistically enhanced the growth inhibitory and apoptosis-inducing effects of cisplatin on HeLa cells. Moreover, the combination of butein and cisplatin led to G1 phase arrest. We then aimed to explore the underlying mechanisms. We found that butein inhibited the activation of AKT, extracellular signal-regulated kinase (ERKs) and p38 kinases in the presence of cisplatin. The use of the AKT inhibitor, LY294002, in combination with cisplatin, induced an increase in apoptosis compared to treatment with cisplatin alone, although this effect was not as prominent as that exerted by butein in combination with cisplatin. Of note, the inhibition of ERK or p38 MAPK by U0126 or SB203580, respectively, decreased the apoptosis induced by cisplatin; however, enhanced apoptotic effects were observed with the use of ERK/p38 MAPK inhibitor in combination with butein. These data suggest that the AKT and ERK/p38 MAPK pathways are involved in the synergistic effects of butein and cisplatin. Furthermore, co-treatment with butein and cisplatin promoted the nuclear translocation and expression of forkhead box O3a (FoxO3 or FoxO3a). FoxO3a may be the key molecule on which these pathways converge and is thus implicated in the synergistic effects of butein and cisplatin. This was further confirmed by the RNAi-mediated suppression of FoxO3a. FoxO3a target genes involved in cell cycle progression and apoptosis were also investigated, and combined treatment with butein and cisplatin resulted in the downregulation of cyclin D1 and Bcl-2 and the upregulation of p27 and Bax. In addition, the combination of both agents markedly inhibited tumor growth and increased the expression of FoxO3a in mouse tumor xenograft models of cervical cancer. Taken together, to the best of our knowledge, our results reveal for the first time that butein sensitizes cervical cancer cells to cisplatin in vitro and in vivo, and these effects of butien may be related to the inhibition of the activation of the AKT and ERK/p38 MAPK pathways by targeting FoxO3a.
Application of Fuzzy Control in Harmonic Detecting and Current Control of APF

The active power filter (APF) is well known as a harmonic suppressor and reactive power compensator with the best performance in the power system recently. Based on fuzzy control logic, this paper presents a variable step-size digital low-pass filter algorithm with fuzzy self-tuning factor, as well as a novel hysteresis current control strategy with fuzzy bandwidth. As for harmonic detecting circuit, the fuzzy regulator using non-uniform quantization rule is taken advantages to online adjust LPF's step parameters, so that constantly change cut-off frequency, and for current control unit, an internal fuzzy controller is designed to dynamically adjust the loop width of hysteresis comparator device in order to limiting the switching frequency of power switches. Finally, the harmonic compensating efficiency to the typical non-linear loads of the approach presented is further verified by the simulation results in this paper.
On necessary and sufficient conditions of the consensusability for second-order discrete multi-agent systems

In this paper, necessary and sufficient conditions of the consensusability are proposed for second-order discrete multi-agent systems without assuming that all the eigenvalues of each agent's dynamical equation lie on or outside the unit circle. With these conditions, all the possible control gains realizing the consensus are obtained. The obtained results show that, if each agent's dynamical equation has a stable eigenvalue, the condition Πj|λju(A)| <; (1 + r)/(1-r) in [1] is not necessary anymore, where λju(A) denotes each unstable eigenvalue of the coefficient matrix A of every agent and r the eigenratio of the graph. For some numerical examples not satisfying the above condition, consensus protocols are designed and some simulations show the correctness of the obtained results.
How accurate are the Gaussian and Gamma approximations to the outage capacity of MIMO channels

Recent results showed that the capacity of a multiple-input-multiple-output (MIMO) fading channel can be approximated by a Gaussian random variable. This Gaussian approximation method has been used to approximate MIMO capacity complementary cumulative distribution functions, or equivalently, the outage capacity, for various fading scenarios where the exact moment generating functions (thus the moments) can be obtained. This paper studies and compares the accuracy of this Gaussian approximation with a newly proposed Gamma approximation for the cases in absence or presence of co-channel interference. It shows that while both approximations are very accurate even for a small number of antenna elements, various fading conditions, and a wide range of transmitting signal-to-noise ratio (TSNR), the MIMO capacity can be better approximated by a Gamma random variable for Rician channels especially for low to medium TSNR values.
TheHotMap.com: Enabling Flexible Interaction in Next-Generation Web Search Interfaces

TheHotMap.com is an example of a next-generation Web search interface, wherein users are able to take an active role in the Web search process. Information that can assist searchers in their Web search tasks is presented in a visual manner. The system supports user interaction both during the query refinement process, as well as the search results exploration process. This paper describes the features of TheHotMap.com; usage log analysis illustrates the benefits of supporting flexible interaction within a single unified Web search interface.
On decision making in forensic casework

In forensic applications of speaker recognition it is necessary to be able to specify a confidence level for a decision that two sets of recordings have been produced by the same speaker (or by different speakers). Forensic phoneticians are sometimes criticized because they find it impossible to provide 'hard' estimates of the confidence level of their expert opinions. This paper investigates to what extent the problem can be solved by deploying automatic speaker verification algorithms, to work alone or to support the work of forensic phoneticians. It is shown that, although heavily dependent on operating conditions, one of the advantages of automatic systems is that their performance is in fact measurable. We construct a confidence measure which takes into account the past performance of the automatic system, the operating conditions and the probative value of the speech evidence, as well as the non-speech evidence. It is very important to note that such a confidence measure will never lead to a fully automatic procedure, since it still requires human input to weigh the non-speech evidence as well as human explanation of the procedure followed, and, finally, human interpretation. However, when all conditions are met, this procedure is able to (1) provide an interpretative measure in the individual forensic case and (2) join together the strengths of the human interpretation of the non-speech evidence and the automatic interpretation of the speech evidence, so that finally the joint performance of human and machine is better than the performance of one of them in isolation.
FreePipe: a programmable parallel rendering architecture for efficient multi-fragment effects

In the past decade, modern GPUs have provided increasing programmability with vertex, geometry and fragment shaders. However, many classical problems have not been efficiently solved using the current graphics pipeline where some stages are still fixed functions on chip. In particular, multi-fragment effects, especially order-independent transparency, require programmability of the blending stage, that makes it difficult to be solved in a single geometry pass. In this paper we present FreePipe, a system for programmable parallel rendering that can run entirely on current graphics hardware and has performance comparable with the traditional graphics pipeline. Within this framework, two schemes for the efficient rendering of multi-fragment effects in a single geometry pass have been developed by exploiting CUDA atomic operations. Both schemes have achieved significant speedups compared to the state-of-the-art methods that are based on traditional graphics pipelines.
Cottbus Timed Automata : Formal Definition and Compositional Semantics

We present a formalism for modular modeling of hybrid systems, the Cottbus Timed Automata. For the theoretical basis, we build on work about timed and hybrid automata. We use concepts from concurrency theory to model communication of separately defined modules, and we extend these concepts to be able to express explicitly readand write-access to signals and variables.
Chemical and Thermal History of the Intracluster Medium

Clusters of galaxies can be seen as giant astrophysical laboratories enclosing matter in a large enough volume, so that the matter composition can be taken as representing the composition of our Universe. X-ray observations allow a very precise investigation of the physical properties of the intracluster plasma allowing us to probe the cluster structure, determine its total mass, and measure the baryon fraction in clusters and in the Universe as a whole. We can determine the abundance of heavy elements from O to Ni which originate from supernova explosions and draw from this important conclusions on the history of star formation in the cluster galaxy population. From the entropy structure of the intracluster medium we obtain constraints on the energy release during early star bursts. with the observational capabilities of the X-ray observatories XMM-Newton and Chandra this field of research is rapidly evolving. In particular, first detailed observations of the intracluster medium of the Virgo cluster around M87 have provided new insights. The present contribution gives an account of the current implications of the intracluster medium observations, but more importantly illustrates the prospects of this research for the coming years.
Mean Motion Resonances in the Transneptunian Region. Part II: The 1 : 2, 3 : 4, and Weaker Resonances

Abstract The stability of orbits in the transneptunian region is numerically computed. It is found that, in analogy to the asteroid belt, there exist many chaotic layers associated with thin mean-motion resonances. These are either moderate- and high-order resonances with Neptune or three-body resonances with Neptune and Uranus. The orbital eccentricity chaotically increases at the thin resonances, allowing some Kuiper Belt objects to be slowly transferred to Neptune-crossing orbits. The stability of two large mean-motion resonances with Neptune, the 1 : 2 and 3 : 4, is systematically explored. It is shown that orbits in both resonances, with small resonant amplitudes are stable over the age of the Solar System. The possible role of collisions and dynamical scattering in clearing the resonances is discussed. It is inferred from orbital angles of 1997 SZ10 and 1996 TR66 that these bodies are most probably on stable tadpole orbits in the 1 : 2 Neptune resonance.