Miracle-dz/UniFAR-FTUs huggingface dataset:
Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts

Although many people still think that it is difficult or even impossible to implement OS kernels in a strictly typed programming language, we dispelled the myth in our previous works by designing and implementing a typed assembly language which is flexible enough to implement essential functionalities of OS kernels (e.g., memory and multi-thread management facilities). Taking a step further, in this paper, we show an extended typed assembly language which supports SMP/multi-core environments with CPU hardware interrupts and illustrate how to implement synchronization primitives, which are essential for implementing OS kernels in the environments.
First principles calculations in silicon: Structural and electronic properties of point defect

Using first-principles calculations, the structural and electronic properties of point defected silicon systems were systematically studied. Based on this, the mobility of pure and defected silicon were calculated by a combination method of first-principles and Boltzmann transport theory. The results indicate that there are some defect bands appear in the band gap of defected Si, and the defect bands increase with the number of defects, resulting in the changes of the density of states (DOS) around Fermi level. The electron mobility increases with the number of defects. However, the hole mobility decreases with the number of defects. In addition, the influence of temperature to mobility was calculated. The results show that both electron and hole mobility decreases with temperature.
Optimizing the Performance of Mobile Communications Systems using a Queue-per-Transceiver Handover Priority Technique

This paper analyses an alternative traffic queuing model for mobile communications systems. According to the proposed model, the queue of handover calls is separated to each of the used transceivers of a base transceiver station that covers a particular area. Fixed Channel Assignment and TDMA are considered, while the proposed technique is compared to the classic queuing model. The comparison results show that the performance of the proposed model is optimized under low and normal traffic conditions.
Guiding Goal Modeling Using Scenarios

Even though goal modeling is an effective approach to requirements engineering, it is known to present a number of difficulties in practice. The paper discusses these difficulties and proposes to couple goal modeling and scenario authoring to overcome them. Whereas existing techniques use scenarios to concretize goals, we use them to discover goals. Our proposal is to define enactable rules which form the basis of a software environment called L'Ecritoire to guide the requirements elicitation process through interleaved goal modeling and scenario authoring. The focus of the paper is on the discovery of goals from scenarios. The discovery process is centered around the notion of a requirement chunk (RC) which is a pair . The paper presents the notion of RC, the rules to support the discovery of RCs and illustrates the application of the approach within L'Ecritoire using the ATM example. It also evaluates the potential practical benefits expected from the use of the approach.
Time course and lateralization of evo complex pitch pr

To assess pitch-related brain lateralization effects, evoked magnetic fields in response to dichotic rippled noise (RN) were recorded by means of whole-head magnetoencephalography (MEG). Four dichotic stimulus constellations (111or 133-Hz RN to one ear, white noise to the other) were applied in randomized order. The evoked fields delineated three stages of central-auditory processing. (1) Attention-dependent ear × hemisphere interactions were observed as early as the M50 field (50-80 ms post stimulus onset), presumably reflecting early streaming of auditory information. (2) The relatively late M100 field (136 ms) was significantly lateralized to the left hemisphere, but showed a pitch-related modulation of rightrather than left-hemisphere activity. The observed interaction between periodic and aperiodic signal components suggests this time window to reflect pitch-synchronous spectral evaluation. (3) A time window centered at 192 ms showed a main effect of RN pitch, presumably due to sensory memory operations.
Use of amplified Mycobacterium tuberculosis direct test in respiratory samples from HIV-infected patients in Brazil*

OBJECTIVE: To compare the accuracy of the amplified Mycobacterium tuberculosis direct (AMTD) test with reference methods for the laboratory diagnosis of tuberculosis in HIV-infected patients. METHODS: This was a study of diagnostic accuracy comparing AMTD test results with those obtained by culture on Löwenstein-Jensen (LJ) medium and by the BACTEC Mycobacteria Growth Indicator Tube 960 (BACTEC MGIT 960) system in respiratory samples analyzed at the Bioassay and Bacteriology Laboratory of the Oswaldo Cruz Foundation Evandro Chagas Clinical Research Institute in the city of Rio de Janeiro, Brazil. RESULTS: We analyzed respiratory samples collected from 118 patients, of whom 88 (74.4%) were male. The mean age was 36.6 ± 10.6 years. Using the AMTD test, the BACTEC MGIT 960 system, and LJ culture, we identified M. tuberculosis complex in 31.0%, 29.7%, and 27.1% of the samples, respectively. In comparison with LJ culture, the AMTD test had a sensitivity, specificity, positive predictive value, and negative predictive value of 87.5%, 89.4%, 75.7%, and 95.0%, respectively, for LJ culture, whereas, in comparison with the BACTEC MGIT 960 system, it showed values of 88.6%, 92.4%, 83.8%, and 94.8%, respectively. CONCLUSIONS: The AMTD test showed good sensitivity and specificity in the population studied, enabling the laboratory detection of M. tuberculosis complex in paucibacillary respiratory specimens.
Bringing IPTV to the Market through Differentiated Service Provisioning

The world of telecommunications continues to provide radical technologies. Offering the benefits of a superior television experience at reduced long-term costs, IPTV is the newest offering. Deployments, however, are slow to be rolled out; the hardware and software support necessary is not uniformly available. This paper examines the challenges in providing IPTV services and the limitations in developments to overcome these challenges. Subsequently, a proposal is made which attempts to help solve the challenge of fulfilling real-time multimedia transmissions through provisioning for differentiated services. Initial implementations in Opnet are documented, and the paper concludes with an outline of future work.
Brain Potentials Associated with Perceptual Priming Vs Explicit Remembering during the Repetition of Visual Word!form

*Priming of visual word! form was studied using a reading manipulation in which some words appeared in a backward format "e[g[\ d! r! o! w# instead of the usual forward format[ In Experiment 0\ subjects discriminated occasional targets "common _rst names# from other words with a speeded response[ Reaction time was faster for words that had also appeared earlier in the forward format compared to the backward format[ Event! related potentials "ERPs# recorded in response to word presentations showed a corresponding di}erence\ a positive o}set present during the time interval beginning about 299 ms after word onset from electrodes over occipital and parietal cortex[ In Experiment 1\ the task was changed to a recognition test\ and a later and more widespread ERP response was observed\ thus con_rming the association between the ERP di}erence in Experiment 0 and priming rather than explicit remembering[ ERP measures were presumably sensitive to neural events underlying the speci_c in~uence of recent reading experiences on the processing of visual word! form\ thus providing real! time evidence on the neural mechanisms of priming[ Þ 0887 Elsevier Science Ltd[ All rights reserved Key Words] implicit memory^ repetition priming^ event! related potentials^ ERPs[
Shock-Induced Martensitic Phase Transitions I: Critical Stresses, Two-wave Structures, Riemann Problems

We consider a class of shock-loading experiments which, as a result of solid-to-solid phase transitions, give rise to certain characteristic patterns consisting of two shock-like waves. We show that the single assumption that stresses in a phase cannot lie beyond the transition boundaries leads to a complete description of the observed phenomena. The model presented here is di erent from others proposed in the literature: it does not make use of kinetic relations and it accounts for the observed wave histories without parameter tting. The present paper focuses on the basic mathematical description of our model and it presents solutions to the complete set of Riemann problems which could arise as a result of dynamic interactions | including the basic two-wave structures mentioned above. In the companion paper, based on our Riemann solver and appropriate equations of state (EOS), we solve initial boundary value problems associated with a variety of experimental con gurations. There we show that, in presence of well-accepted EOS for the pure phases, our model leads to close quantitative agreement with a wide range of experimental results.
CO lines in high redshift galaxies: perspective for future mm instruments

Nearly 10 high redshift ( z> 2) starburst galax- ies have recently been detected in the CO lines, revealing the early presence in the universe of objects with large amounts of already-enriched molecular gas. The latter has sufficient density to be excited in the high-level rotational CO lines, which yield more flux than low-level lines, making easier high-redshift de- tections; however there is no negative K-correction as for the sub-millimeter and far-infrared dust continuum emission. With the help of simple galaxy models, based on these first detec- tions, we estimate the flux in all CO lines expected for such starbursting objects at various redshifts. We discuss the detec- tion perspectives with the future millimeter instruments.
Accounting for Subsoil Mineral Resources

 , A blue-ribbon panel of the National Academy of Sciences’ National Research Council completed a congressionally mandated review of the work that the Bureau of Economic Analysis () had published on integrated economic and environmental accounts. The panel’s final report commended  for its initial work in producing a set of sound and objective prototype accounts. The November  issue of the S  C B contained an article by William D. Nordhaus, the Chair of the Panel, that presented an overview of the major issues and findings and a reprint of chapter , “Overall Appraisal of Environmental Accounting in the United States,” from the final report. As part of its promise to inform users of the results of this evaluation,  is reprinting additional chapters from the panel’s report; below is a reprint of chapter , which reviews ’s development of a set of subsoil mineral accounts. This article is reprinted with permission from Nature’s Numbers: Expanding the National Economic Accounts to Include the Environment. Copyright of the National Academy Press, Washington, . This is a report of the National Research Council, prepared by the Panel on Integrated Environmental and Economic Accounting and edited by William D. Nordhaus and Edward C. Kokkenlenberg.
Developing 3 D Viewing Model from 2 D Stereo Pair with its Occlusion Ratio

We intend to make a 3D model using a stereo pair of images by using a novel method of local matching in pixel domain for calculating horizontal disparities. We also find the occlusion ratio using the stereo pair followed by the use of The Edge Detection and Image SegmentatiON (EDISON) system, on one the images, which provides a complete toolbox for discontinuity preserving filtering, segmentation and edge detection. Instead of assigning a disparity value to each pixel, a disparity plane is assigned to each segment. We then warp the segment disparities to the original image to get our final 3D viewing Model.
Heteroskedasticity Models on the Bombay Stock Exchange

In this article, we study conditional heteroskedasticity in a market index on the Bombay Stock Exchange, from April 1979 to March 1995. We nd strong evidence of heteroskedasticity in daily, weekly and monthly returns. The conditional variance of all three data series seem best approximated by a garch(1,1) model. The garch parameter estimates at all data frequencies exhibit strong persistence in variance. In the case of monthly returns, we nd there is seasonality in the volatility, and there is one regime shift in the level of unconditional variance of the data. Remarkably enough, after controlling for these, monthly returns are homoscedastic, and there is no persistence. Both, the regime shift and the seasonality, have clear economic interpretations. The regime shift appears in March 1985, and is associated with a sharp turn towards market-oriented economic policies among other things, this led to an enormous expansion of the domestic IPO market and secondary market trading volumes. The seasonality in the post-March-1985 period is characterised by enhanced volatility associated with each federal budget announcement in end-February. The results with weekly and daily data are not as drastic { while strong evidence of the regime shift and of seasonality is found in daily and weekly data, even after controlling for these, returns are still arch, and still exhibit a fair degree of persistence. Finally, we use our volatility models to test whether the market prices the observed heteroskedasticity using garch-in-mean models. We are unable to reject the null that higher risk is not priced. We o er qualitative arguments suggesting reasons for this behaviour and conjecture that this may change in the near future. This paper is a chapter from my Ph. D. dissertation at USC. I am grateful to Andrew Weiss for guidance and inspiration. Email address susant@almaak.usc. edu.
Parallel batch pattern training of neural networks on computational clusters

The research of a parallelization efficiency of a batch pattern training algorithm of a multilayer perceptron on computational clusters is presented in this paper. The multilayer perceptron model and the usual sequential batch pattern training algorithm are theoretically described. An algorithmic description of the parallel version of the batch pattern training method is presented. The efficiency of parallelization of the developed algorithm is investigated on the progressive increasing the dimension of the parallelized problem. The results of the experimental researches show that (i) the cluster with Infiniband interconnection shows better values of parallelization efficiency in comparison with general-purpose parallel computer with cc numa architecture due to lower communication overhead and (ii) the parallelization efficiency of the algorithm is high enough for its appropriate usage on general-purpose clusters and parallel computers available within modern computational grids.
Fast LSIS Profile Entropy Features for Robot Visual Self-Localization

In the Robot Vision task, the participants are asked to answer where is the robot using its vision. The robot may be in 5 rooms (BO-One-person office, CR-Corridor, EO-Two-persons office, KT-Kitchen, PA-Printer Area). In order to train our models we structured the views of each room into several sub-classes: BO-inside, exit, enter; CR-enter, exit, leftstairs, nostairs, rightstairs; EO-enter, exit, inside; KT-enter, exit, cooking hearth, table, television; PA-cabinet, enter, exit. Then an SVM was constructed for each of these 19 sub-classes. After that, we combined the results of SVMs by maximizing to get the final decision. We run our classification models on the new Profile Entropy Features (PEF) that combines RGB color and texture, yielding to one hundred of dimension, and we compare them to generic Descriptor of Fourier (DF). We also made a fusion of the models on these 2 different features. So we got 3 runs. In our experiments, for each decision, we used only the current image, but we do not exploit continuity of the sequences. For this case, a total of 7 teams submitted runs. The official evaluation give for the SVM(PEF) run a score of 544, and for SVM(DF) run a score of -32, while their fusion a score of 509.5. Thus our result possesses the 5th rank over the seven. The experiments show that our SVM model works well with little training cost, and PEF feature works much better than DF feature. It could be concluded that PEF is quite efficient: it is very fast to be computed, with around 10 images computed per second on usual pentium, and less of 2 hours of training (compared to 60 hours for the best systems), but still give a competitive results.
Robust perfect adaptation in bacterial chemotaxis through integral feedback control.

Integral feedback control is a basic engineering strategy for ensuring that the output of a system robustly tracks its desired value independent of noise or variations in system parameters. In biological systems, it is common for the response to an extracellular stimulus to return to its prestimulus value even in the continued presence of the signal-a process termed adaptation or desensitization. Barkai, Alon, Surette, and Leibler have provided both theoretical and experimental evidence that the precision of adaptation in bacterial chemotaxis is robust to dramatic changes in the levels and kinetic rate constants of the constituent proteins in this signaling network [Alon, U. , Surette, M. G. , Barkai, N. & Leibler, S. (1998) Nature (London) 397, 168-171]. Here we propose that the robustness of perfect adaptation is the result of this system possessing the property of integral feedback control. Using techniques from control and dynamical systems theory, we demonstrate that integral control is structurally inherent in the Barkai-Leibler model and identify and characterize the key assumptions of the model. Most importantly, we argue that integral control in some form is necessary for a robust implementation of perfect adaptation. More generally, integral control may underlie the robustness of many homeostatic mechanisms.
Radioprotective effects of Sipunculus nudus L. polysaccharide combined with WR-2721, rhIL-11 and rhG-CSF on radiation-injured mice

This study investigated the radioprotective effect of Sipunculus nudus L. polysaccharide (SNP) in combination with WR-2721, rhIL-11 and rhG-CSF on irradiated mice. A total of 70 Imprinting Control Region (ICR) mice were divided into seven groups: the control group, the model group and five administration groups. All groups, except the control group, were exposed to a 5 Gy 60Co γ-ray beam. Blood parameters [including white blood cell (WBC), red blood cell (RBC) and platelet counts and hemoglobin level] were assessed three days before irradiation, and the on the 3rd, 7th and 14th days after irradiation. Spleen, thymus and testicular indices, DNA contents of bone marrow cells, bone marrow nucleated cells, sperm counts, superoxide dismutase (SOD), malondialdehyde (MDA), testosterone and estradiol levels in the serum were assessed on the 14th day after irradiation. The combined administration of SNP, WR-2721, rhIL-11 and rhG-CSF exerted synergistic recovery effects on peripheral blood WBC, RBC and platelet counts and hemoglobin levels in irradiated mice, and synergistic promotion effects on spleen, thymus, testicle, bone marrow nucleated cells and sperm counts in irradiated mice. The synergistic administration increased the serum SOD activities and serum testosterone content of irradiated mice, but synergy decreased the content of serum MDA and estradiol in irradiated mice. These results suggest that the combined administration of SNP, WR-2721, rhIL-11 and rhG-CSF should increase the efficacy of these drugs for acute radiation sickness, protect immunity, hematopoiesis and the reproductive organs of irradiated-damaged mice, and improve oxidation resistance in the body.
A Fingerprint Indexing Approach Using Multiple Similarity Measures and Spectral Clustering

Fingerprint identification is still an open problem. Many proposed solutions relies on expert's predefined classes. Recent studies and experiments have shown that predefined classes are not suitable for large databases. The main challenge is the distribution of predefined expert's classes. Most fingerprints are loops; this means an identification system designed based on this classical approach slows down a matching process due to many 1-1 comparisons that need to be done to find an exact match. Beside this, some fingerprints sometimes lose their core points. In such case, it becomes very difficult to find the right class. To solve this problem, minutiae points positions (x,y) and orientations (θ) are proposed in this paper. Minutiae points are extracted and passed to a feature dimensions reduction algorithm composed of locality sensitive hashing (LSH) and histograms. The algorithm proposed creates 260 fixed length feature vectors for each fingerprint. Feature vectors are then passed to a spectral clustering which automatically creates 25 classes. Classes are then indexed through three similarity measures, namely, Euclidean, Cosine and Minkowski distance. The performance of the proposed approach is compared with two fingerprint identification systems which are based on Minutiae Cylinder-Code (MCC) and Minutiae Quadruplets (MQ). The proposed approach is 89.6% accurate while MCC and MQ approaches gets 89.4% and 79.56%, respectively, on a NIST 4 special database.
Integrated Data Structures and Business Objects in ERP : Tool Development and Evaluation in SAP ERP System

— Enterprise-wide data is central for timely and effective planning of materials, activities, operations and resources; and execution of those plans across many functional areas. Today, widespread use of Enterprise Resource Planning (ERP) systems has exacerbated a need for integrated data and visualisation of such data over many functional applications. In this research, integrated data structures are implemented in an ERP system, through a set of business transactions with visual business objects. Visualisation of integrated data structures is illustrated using a make-to-stock business scenario. It is shown that existing data of ERP systems can be integrated using additional relationships to form a foundation for simultaneous and forward planning of many components. Various business objects of integrated data structure are visually represented using Scalable Vector Graphics (SVG), an XML based technology. SVG forms a software component within the selected ERP system with the capability to display business objects and their linkages. It is shown that the concept of data integration and visualisation enables data maintainability, flexibility and transparency for better planning of manufacturing processes. The paper concludes by describing key features of integrated data structures and visual business objects implemented in the selected ERP system.
D-Calib: Calibration Software for Multiple Cameras System

This paper presents calibration software "D-Calib " for multiple cameras, which can calibrate all cameras at the same time with easy operation. Our calibration method consists of two steps: initialization of camera parameters using planar marker pattern, optimization of initial parameters by tracking two markers attached to a wand. By weak calibration and multi-stereo reconstruction by multiple cameras, the initial parameters can be optimized in spite of few markers. Even if the cameras are placed in a large space, the calibration can be achieved by swinging the wand around the space. This method is completed as commercial software which achieves 0.27 % of average errors against the marker pattern size.