Miracle-dz/UniFAR-FTUs huggingface dataset:
Early Experience of Helical Tomotherapy for Hepatobiliary Radiotherapy

Helical tomotherapy (HT), an image-guided, intensity-modulated, radiation therapy technique, allows for precise targeting while sparing normal tissues. We retrospectively assessed the feasibility and tolerance of the hepatobiliary HT in 9 patients. A total dose of 54 to 60 Gy was prescribed (1.8 or 2 Gy per fraction) with concurrent capecitabine for 7 patients. There were 1 hepatocarcinoma, 3 cholangiocarcinoma, 4 liver metastatic patients, and 1 pancreatic adenocarcinoma. All but one patient received previous therapies (chemotherapy, liver radiofrequency, and/or surgery). The median doses delivered to the normal liver and to the right kidney were 15.7 Gy and 4.4 Gy, respectively, below the recommended limits for all patients. Most of the treatment-related adverse events were transient and mild in severity. With a median followup of 12 months, no significant late toxicity was noted. Our results suggested that HT could be safely incorporated into the multidisciplinary treatment of hepatobiliary or pancreatic malignant disease.
The Divergent Homeobox Gene PBX1 Is Expressed in the Postnatal Subventricular Zone and Interneurons of the Olfactory Bulb

In the mammalian brain, an important phase of neurogenesis occurs postnatally in the subventricular zone (SVZ). This region consists of a heterogeneous population of cells, some mitotically active, others postmitotic. A subset of mitotically active SVZ precursor cells gives rise to a population of neurons that migrates over a long distance to their final destination, the olfactory bulb. Other SVZ precursor cells continue to proliferate or undergo cell death. The combination of genes that regulates proliferation and cell fate determination of SVZ precursor cells remains to be identified. We have used the rat homolog of the human homeobox gene PBX1 in Northern analysis andin situ hybridization studies to determine the temporal and regional localization of PBX1 expression during embryonic and postnatal rat brain development. PBX1 is expressed embryonically in the telencephalon. In addition, it is expressed at high levels postnatally in the SVZ, in the migratory pathway to the olfactory bulb, and in the layers of the olfactory bulb that are the targets of these migratory neurons. Combining in situhybridization for PBX1 with immunostaining for markers of cell proliferation (PCNA), postmitotic neurons (class III β-tubulin), and glia (GFAP), we show that SVZ proliferating cells and their neuronal progeny express rat PBX1 mRNA, whereas glial cells do not express detectable levels of PBX1. The expression ofPBX1 in SVZ precursor cells and postmitotic neurons suggests a role for PBX1 in the generation of olfactory bulb interneurons and in mammalian neurogenesis.
Externally Measured Condition Versus Internal Organ Mass in the Caecilian Gegeneophis ramaswamii (Amphibia: Gymnophiona: Caeciliidae)

Abstract The relationship between externally measured condition (mass × length−3) and the mass of internal major organs in the caecilian Gegeneophis ramaswamii is investigated, based on a collection of 67 specimens from three southern Indian localities in the early and mid-monsoon. Condition in juveniles (< 90 mm total length) is higher than in subadults (90–170 mm) and adults (> 170 mm). The relationship between condition and total length is consistent in subadults, but variable in adults, and these differences indicate that the delimitation of these ontogenetic stages has some biological meaning. Adult females have fat bodies which fluctuate in mass, but not in relation to their body size. On average, adult females have heavier fat bodies and lighter gut contents than adult males, but there are no significant differences between subadult males and females. Gravid females are predicted to have a notably greater condition. There is no consistent relationship between condition and any major internal organ, but there is some significant variation among samples grouped by sampling time and locality. More sampling throughout the year is required to clarify the complex relationships between condition and internal organs, and before externally measured condition from ecological studies of living animals can be readily interpreted. However, its utility in helping to differentiate between ontogenic classes may be of immediate use.
Demand-based Document Dissemination for the World-Wide Web

Abstract We analyzed the logs of the cs-www.bu. edu HTTP server for the month of January 1995. Our analysis showed that remote HTTP accesses were confined to a small subset of documents. Using an analytical model of server popularity and file access profiles, we show that by disseminating the most popular documents on servers (proxies) closer to the clients, network traffic could be reduced considerably, while server loads are balanced. We argue that this process could be generalized so as to provide for an automated demand-based duplication of documents. We believe that such server-based information dissemination protocols will be more effective at reducing both network bandwidth and document retrieval times than client-based caching protocols.
On Satisfiability for Quantified Formulas in Instantiation-Based Procedures

Procedures for first-order logic with equality are used in many modern theorem provers and solvers, yet procedure termination in case of interesting sub-classes of satisfiable formulas remains a challenging problem. We present an instantiation-based semi-decision procedure defined on a fragment of many-sorted first-order logic that succeeds on certain satisfiable formulas even if they contain, for example, associativity axioms. The models for which our procedure terminates have finite ranges of function symbols. We expect that our procedure can be integrated into other instantiating procedures such as E-matching with little performance impact. Our procedure is also compatible with specialized verification techniques that enable efficient reasoning about pure higher-order recursive functions. We integrated our procedure into the Leon verification framework. The implementation is publicly available and has been evaluated on non-trivial benchmarks featuring higher-order programs with quantified contracts.
Accurately modeling the GPU memory subsystem

Nowadays, research on GPU processor architecture is extraordinarily active since these architectures offer much more performance per watt than CPU architectures. This is the main reason why massive deployment of GPU multiprocessors is considered one of the most feasible solutions to attain exascale computing capabilities. In this context, ongoing GPU architecture research is required to improve GPU programmability as well as to integrate CPU and GPU cores in the same die. One of the most important research topics in current GPUs, is the GPU memory hierarchy, since its design goals are very different from those of conventional CPU memory hierarchies. To explore novel designs to better support General Purpose computing in GPUs (GPGPU computing) as well as to improve the performance of GPU and CPU/GPU systems, researchers often require advanced microarchitectural simulators with detailed models of the memory subsystem. Nevertheless, due to fast speed at which current GPU architectures evolve, simulation accuracy of existing state-of-the-art simulators suffers. This paper focuses on accurately modeling the GPU memory subsystem. We identified three main aspects that should be modeled with more accuracy: i) miss status holding registers, ii) coalescing vector memory requests, and iii) non-blocking GPU stores. In this sense, we extend the Multi2Sim heterogeneous CPU/GPU processor simulator to model these aspects with enough accuracy. Experimental results show that if these aspects are not considered in the simulation framework, performance deviations can rise in some applications up to 70%, 75%, and 60%, respectively.
The Effects of Organizational Structure on Technological Innovation: An Empirical Study in Chinese Automobile Industry

In order to be able to compete in the changing and intensify competitive environment, companies hold technological innovation(TI) to be an important factor for success in today's business environment. This paper examines the effects of organization structure (OS) variables on firm 's TI performance in Chinese automobile industry. Five key aspects of OS are considered. They are formalization, locus of decision-making, hierarchical layers, internal boundary, and external boundary. A contingency approach is taken by simultaneously examining the moderating effects of firm size. Regression results show that all dimensions of OS which mentioned above, but locus of decision-making by way of an exception, have significant influence on TI performance. Subgroup analysis reveals that these main effects are, for the most part, moderated by firm size. The results suggest that firms seeking to attain high TI performance should consider the important role played by OS, and the managers need concern themselves with firm size when they reforming the OS to match the desired level of TI performance.
GPS-optimal micro air vehicle navigation in degraded environments

We investigate a computationally and memory efficient algorithm for radio frequency (RF) source-seeking with a single-wing rotating micro air vehicle (MAV) operating in an urban canyon environment. We present an algorithm that overcomes two significant difficulties of operating in an urban canyon environment. First, Global Positioning System (GPS) localization quality can be degraded due to the lack of clear line of sight to a sufficient number of GPS satellites. Second, the spatial RF field is complex due to multipath reflections leading to multiple maxima and minima in received signal strength (RSS). High quality GPS localization is maintained by observing the GPS signal to noise ratio (SNR) to each satellite and making inferences about directions of high GPS visibility (allowable) and directions of low GPS visibility (forbidden). To avoid local maxima in RSS due to multipath reflections we exploit the rotation of the MAV and the directionality of its RF antenna to derive estimates of the angle of arrival (AOA) at each rotation. Under mild assumptions on the noise associated with the AOA measurements, a greedy algorithm is shown to exhibit a global recurrence property. Simulations supplied with actual GPS SNR measurements indicate that this algorithm reliably finds the RF source while maintaining an acceptable level of GPS visibility. Additionally, outdoor experiments using Lockheed Martin's Samarai MAV demonstrate the efficacy of this approach for static source-seeking in an urban canyon environment.
Proteolysis in human breast cancer

Background—The process of proteolysis is important at several stages of the metastatic cascade. A balance between the expression of the genes encoding endogenous proteinases and inhibitors exists and when the production of proteinases exceeds that of inhibitors proteolysis occurs. Aims—To determine whether differences in the profile and activity of proteinases and inhibitors exist within breast tumour tissue (n = 51), surrounding background breast tissue (n = 43), normal breast tissue from breast reduction mammoplasty operations (n = 10), and cells of the breast cancer cell line, MCF-7. Methods—Proteinase (matrix metalloproteinase 1 (MMP-1), MMP-2, MMP-3, MMP-9, urokinase-type plasminogen activator (uPA), and tissue-type PA (tPA)) and inhibitor (tissue inhibitor of metalloproteinases; TIMP-1 and TIMP-2) expression and proteinase activity were compared using substrate zymography, western blotting, immunohistochemistry, and quenched fluorescent substrate hydrolysis. Results—The presence of all proteinases and inhibitors was greater in breast tumour tissue when compared with all other types of breast tissue (p < 0.05). The activity of total MMPs as determined by quenched fluorescent substrate hydrolysis was also greater in breast tumours (p < 0.05). Conclusion—There is increased proteolysis in human breast tumours when compared with other breast tissues.
On MIMO detection under non-Gaussian target scattering: The power-limited case

We consider a multiple-input multiple-output (MIMO) detection problem with widely-spaced antennas at both the transmitter and the receiver, and we assume that target scattering is modeled as an exchangeable and unitarily-invariant process. We illustrate optimal signal design (i.e., space-time coding) at the transmitter for two criteria, i.e. the lower Chernoff bound (LCB) to the detection probability for fixed probability of false alarm and the mutual information (MI) between the observations and the target scattering matrix, under a semi-definite rank constraint and a transmit power constraint, showing that the Gaussian scattering assumption is robust. A by-product, of not secondary importance, of our derivation is the proof of a number of new properties concerning concavity and Schur-concavity of MI and LCB.
A Theoretical Exploration of Birhythmicity in the p53-Mdm2 Network

Experimental observations performed in the p53-Mdm2 network, one of the key protein modules involved in the control of proliferation of abnormal cells in mammals, revealed the existence of two frequencies of oscillations of p53 and Mdm2 in irradiated cells depending on the irradiation dose. These observations raised the question of the existence of birhythmicity, i.e. the coexistence of two oscillatory regimes for the same external conditions, in the p53-Mdm2 network which would be at the origin of these two distinct frequencies. A theoretical answer has been recently suggested by Ouattara, Abou-Jaoudé and Kaufman who proposed a 3-dimensional differential model showing birhythmicity to reproduce the two frequencies experimentally observed. The aim of this work is to analyze the mechanisms at the origin of the birhythmic behavior through a theoretical analysis of this differential model. To do so, we reduced this model, in a first step, into a 3-dimensional piecewise linear differential model where the Hill functions have been approximated by step functions, and, in a second step, into a 2-dimensional piecewise linear differential model by setting one autonomous variable as a constant in each domain of the phase space. We find that two features related to the phase space structure of the system are at the origin of the birhythmic behavior: the existence of two embedded cycles in the transition graph of the reduced models; the presence of a bypass in the orbit of the large amplitude oscillatory regime of low frequency. Based on this analysis, an experimental strategy is proposed to test the existence of birhythmicity in the p53-Mdm2 network. From a methodological point of view, this approach greatly facilitates the computational analysis of complex oscillatory behavior and could represent a valuable tool to explore mathematical models of biological rhythms showing sufficiently steep nonlinearities.
Of order-handoffs for hyper-erlang traffics in cellular wireless networks

Due to more multimedia utilization nowadays, the service holding time of most mobile agent is differrent from only the call holding time in the past. This paper emphasizes on the order-handoff service channel holding time in cellular wireless networks. The efficiently improved channel resources in cellular wireless networks should be equiped by an awareness according to the order-handoff service holding times of heterogeneous traffics by the hyper-Erlang distribution.
Degrees of freedom of certain interference alignment schemes with distributed CSI

In this work, we consider the use of interference alignment (IA) in a MIMO interference channel (IC) under the assumption that each transmitter (TX) has access to channel state information (CSI) that generally differs from that available to other TXs. This setting is referred to as distributed CSIT. In a setting where CSI accuracy is controlled by a set of power exponents, we show that in the static 3-user MIMO square IC, the number of degrees-of-freedom (DoF) that can be achieved with distributed CSIT is at least equal to the DoF achieved with the worst accuracy taken across the TXs and across the interfering links. We conjecture further that this represents exactly the DoF achieved. This result is in strong contrast with the centralized CSIT configuration usually studied (where all the TXs share the same, possibly imperfect, channel estimate) for which it was shown that the DoF achieved at receiver (RX) i is solely limited by the quality of its own feedback. This shows the critical impact of CSI discrepancies between the TXs, and highlights the price paid by distributed precoding.
The effects of sex drive and paraphilic interests on paraphilic behaviours in a nonclinical sample of men and women

Research on samples of men and women from the general population suggests that paraphilic interests and behaviours are more common in men than in women, but the reasons for this sex difference are unclear. In addition, there is little research on how paraphilic interests lead to engagement in paraphilic behaviours. In this study, we assessed the frequency of engagement in a broad range of paraphilic behaviours in a nonclinical sample of men and women. We expected that men would report engaging in paraphilic behaviours more frequently than women. We also examined whether sex drive explained the sex difference in the frequency of engagement in paraphilic behaviours, as well as whether the relationship between paraphilic interests and frequency of engagement in paraphilic behaviours was stronger at high levels of sex drive. A sample of 305 men and 710 women completed an online survey assessing paraphilic interests and behaviours as well as three measures of sex drive. As expected, sex differences were found, with men reporting more frequent engagement in most paraphilic behaviours. After controlling for socially desirable responding, sex drive fully accounted for the male-biased sex differences. One measure of sex drive–the Sexual Behaviour and Desire Questionnaire–moderated the relationship between paraphilic interests and frequency of engagement in paraphilic behaviours, such that paraphilic interests were most strongly associated with paraphilic behaviours at high levels of sex drive. Taken together, these findings provide further support for the importance of sex drive in understanding the paraphilias.
Large Scale Purchase Prediction with Historical User Actions on B2C Online Retail Platform

This paper describes the solution of Bazinga Team for Tmall Recommendation Prize 2014. With real-world user action data provided by Tmall, one of the largest B2C online retail platforms in China, this competition requires to predict future user purchases on Tmall website. Predictions are judged on F1Score, which considers both precision and recall for fair evaluation. The data set provided by Tmall contains more than half billion action records from over ten million distinct users. Such massive data volume poses a big challenge, and drives competitors to write every single program in MapReduce fashion and run it on distributed cluster. We model the purchase prediction problem as standard machine learning problem, and mainly employ regression and classification methods as single models. Individual models are then aggregated in a two-stage approach, using linear regression for blending, and finally a linear ensemble of blended models. The competition is approaching the end but still in running during writing this paper. In the end, our team achieves F1Score 6.11 and ranks 7th (out of 7,276 teams in total).
Homography matrix genetic consensus estimation algorithm

Homography matrix plays an important role in image stitching, camera calibration and other areas of computer vision. This paper presents a novel robust algorithm HM-GCE to estimate homography matrix with principles of genetic algorithm. Related experiments prove its superiority on the robustness, precision and time-consuming compared to the RANSAC algorithm.
Using Error-Correcting Codes for Efficient Text Cla ssification with a Large Number of Categories

We investigate the use of Error-Correcting Output Codes (ECOC) for efficient text classification with a large number of categories and propose several extensions which improve the performance of ECOC. ECOC has been shown to perform well for classification tasks, including text classification, but it still remains an under-explored area in ensemble learning algorithms. We explore the use of error-correcting codes that are short (minimizing computational cost) but result in highly accurate classifiers for several real-world text classification problems. Our results also show that ECOC is particularly effective for highprecision classification. In addition, we develop modifications and improvements to make ECOC more accurate, such as intelligently assigning codewords to categories according to their confusability, and learning the decoding (combining the decisions of the individual classifiers) in order to adapt to different datasets. To reduce the need for labeled training data, we develop a framework for ECOC where unlabeled data can be used to improve classification accuracy. This research will impact any area where efficient classification of documents is useful such as web portals, information filtering and routing, especially in open-domain applications where the number of categories is usually very large, and new documents and categories are being constantly added, and the system needs to be very efficient.
Synthesis of car noise based on a composition of engine noise and friction noise

This paper describes a method for generation of car noise based on the engine noise and the “friction noise. ” The engine noise is modeled by composition of a stationary background noise that depends on the size of the engine and nonstationary noise that depends rotational speed of the engine. The friction noise is modeled as a white noise with ranging power. Based on these models, methods for synthesis of these components are developed. Subjective assessment of the car noise synthesis method shows that it is fairly similar to the actual noise.
A Performance Evaluation of the Coverage Configuration Protocol Under Location Errors, Irregular Sensing Patterns, and a Noisy Channel

Area coverage problem is one of the key issues to prolong a wireless sensor network lifetime. It is based on selecting as few active nodes as possible from all deployed nodes while maintaining sufficient sensing coverage of the monitored region. Several area coverage protocols have been proposed, most of them assume the availability of accurate information about node locations and sensing ranges. Relaxing these conservative assumptions might impact the performance of area coverage protocols. In this paper, the authors study the impact of location errors, irregular sensing ranges and packet losses on the coverage configuration protocol. They focus more precisely on their impact on the number of selected active nodes, the coverage ratio and the total consumed energy.