Miracle-dz/UniFAR-FTUs huggingface dataset:
Language constructs for persistent object based programming

Object-based multiprocessor systems provide facilities for preserving instances of data structures in their original form and manipulating them in parallel. This imposes demands on programming language designs to provide parallel processing with persistent object manipulation. Aleph is a language designed for parallel processing in such an environment. The author describes the main features of Aleph with emphasis on management of persistent objects. Aleph considers objects in a uniform manner. Any object which can have a temporary existence can have a permanent existence and vice versa. Persistent objects of arbitrary structure can be copied into the transient space, manipulated and copied back into the persistent space, or can be more conveniently manipulated in the persistent space itself, avoiding such copying. A persistent object is accessed by a unique capability. Aleph does not define the structure of a capability. This makes it general enough to be implemented in object-based systems which use different concepts of capabilities. Aleph is essentially a parallel processing language where processes act as clients and/or servers to other processes. <<ETX>>
Research of Data Security Model in Cloud Computing Platform for SMEs

In recent years, cloud computing has become a major mode to address SMEs inefficient and help improve their competitiveness. As cloud providers have priority access to data, so it is difficult to guarantee the confidentiality and integrity of users’ data. For this reason this paper proposed a model to solve the problem of data security in cloud computing. The model adopts efficient encryption mechanisms to protect users’ data. As the encrypted data is difficult to retrieve, we present a method of cipher text retrieval. Experimental results show that the model can better ensure data confidentiality and integrity.
Speculative resolution of ambiguous memory aliasing

The ambiguous memory aliasing is proposed to be speculatively resolved. A load instruction is speculatively executed with load address prediction, and its dependent instructions are speculatively executed. A store instruction is also speculatively resolved with store address prediction, and its dependent instructions are speculatively executed. From the experimental evaluation, the author has found that this data speculation combining memory disambiguation with address prediction improves the performance of next-generation super-scalar processors by up to 21.0%.
Deep Learning-Based Segmentation and Quantification of Cucumber Powdery Mildew Using Convolutional Neural Network

Powdery mildew is a common disease in plants, and it is also one of the main diseases in the middle and final stages of cucumber (Cucumis sativus). Powdery mildew on plant leaves affects the photosynthesis, which may reduce the plant yield. Therefore, it is of great significance to automatically identify powdery mildew. Currently, most image-based models commonly regard the powdery mildew identification problem as a dichotomy case, yielding a true or false classification assertion. However, quantitative assessment of disease resistance traits plays an important role in the screening of breeders for plant varieties. Therefore, there is an urgent need to exploit the extent to which leaves are infected which can be obtained by the area of diseases regions. In order to tackle these challenges, we propose a semantic segmentation model based on convolutional neural networks (CNN) to segment the powdery mildew on cucumber leaf images at pixel level, achieving an average pixel accuracy of 96.08%, intersection over union of 72.11% and Dice accuracy of 83.45% on twenty test samples. This outperforms the existing segmentation methods, K-means, Random forest, and GBDT methods. In conclusion, the proposed model is capable of segmenting the powdery mildew on cucumber leaves at pixel level, which makes a valuable tool for cucumber breeders to assess the severity of powdery mildew.
C++ based system design of a 72 Mb/s OFDM transceiver for wireless LAN

This paper describes the system-level design process followed for the implementation of a 72 Mb/s OFDM (Orthogonal Frequency Division Multiplexing) transceiver for 5 GHz wireless LAN (Local Area Network) that is realized in 0.18 /spl mu/m CMOS technology. The starting point is a high-level specification using the general-purpose programming language C++. By making use of a set of class libraries developed internally at IMEC, architectural trade-offs can be easily explored. The open nature of a C++ based design environment supports the re-use of previously designed building blocks and allows designers to extend the typically supported design-flow eliminating the need for manual generation and correction of synthesis and verification scripts. Automated HDL (Hardware Description Language) code generation from the C++ descriptions creates the link to standard synthesis tools and back-end flows.
Teaching computer programming with structured programming language and flowcharts

This research aims to prove that an environment that establishes a direct connection between flowcharts and the equivalent structured programming language improves the results of the students in the first year of computer programming. The first approach is to do research on investigations about the teaching of the first year of computer programming. The next step is to build and test a prototype that allows the student to draw a flowchart and get the corresponding structured programming language and/or vice-versa, i.e., to write the program and get the corresponding chart. The research revealed that the first year of programming is crucial on building the basis for the following years and that visual tools are relevant in attaining better results. In the face of that, the pursuit for a dedicated application seems to be of value.
On a study of decreasing the processing time in the speech recognition system using the HMM (hidden Markov model) algorithm

The study of isolated-word speech recognition is now progressing and the recognizers have reached commercialization. Speech recognition has now been applied to communication systems in our environment. However, speech recognition performance on a large vocabulary is insufficient for commercial use, since there are many problems which are due to difficulties of speech database setup on a large vocabulary and the increase of processing time. Therefore research into these problems has been progressed. In this paper, we propose an improved method for the processing time of the recognition process. The variation of the speech signal may be predicted through short time analysis. Especially, in the case of voiced speech, the waveform is repeated with the same period. In this paper, we discuss the reduction of both processing time for speech database setup and speech recognition time if we use this characteristic of the speech signal.
A 7-ns 140-mW 1-Mb CMOS SRAM with current sense amplifier

A 7-ns 140-mW 1-Mb CMOS SRAM was developed to provide fast access and low power dissipation by using high-speed circuits for a 3-V power supply: a current-sense amplifier and pre-output buffer. The current-sense amplifier shows three times the gain of a conventional voltage-sense amplifier and saves 60% of power dissipation while maintaining a very short sensing delay. The pre-output buffer reduces output delays by 0.5 ns to 0.75 ns. The 6.6- mu m/sup 2/ high-density memory cell uses a parallel transistor layout and phase-shifting photolithography. The critical charge that brings about soft error in a memory cell can be drastically increased by adjusting the resistances of poly-PMOS gate electrodes. This can be done without increasing process complexity or memory cell area. The 1-Mb SRAM was fabricated using 0.3- mu m CMOS quadrupole-poly and double-metal technology. The chip measures 3.96 mm*7.4 mm (29 mm/sup 2/). >
Cooperative motion control of a robot and a human

Robots are expected to be human-friendly and to execute tasks cooperating with humans. The control system for the robots should be constructed so as to work adaptively with human characteristics. In this paper, human characteristics in a cooperation task by two humans is analyzed and it is shown that the human performance can be expressed by impedance control. We then applied the principle in making a robot and a human to execute a cooperative task. It is shown that the impedance parameters obtained in the experiment performed by two humans gave the best result for robot's cooperation with human. <<ETX>>
A quantitative study of evoked potential estimation using a feedforward neural network

The authors have used a multilayer perceptron to estimate the evoked potentials, masked by the EEG signal. The problem was studied on synthetic signals and error criteria other than standard L2-norm were taken into account. The authors have shown experimentally that better results could be obtained this way, if the parameters were properly adjusted. An average performed on a few ensembles strongly improves the result and the number of ensembles is lower than quoted in other approaches. The authors have also studied the influence of the window length and of a different number of hidden units upon the convergence speed and test error. Though good results were obtained in this quantitative study, the trained network which resulted should be tested on real data, in order to get a complete outlook upon this problem. <<ETX>>
Using Temporal Evidence and Fusion of Time-Frequency Features for Brain- Computer Interfacing

ii I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. Abstract Brain-computer interfacing (BCI) is a new method of human-machine interaction. It involves the extraction of information from the electroencephalogram (EEG) through signal processing and pattern recognition. The technology has far reaching implications for those with severe physical disabilities and has the potential to enhance machine interaction for the rest of the population. In this work we investigate time-frequency analysis in motor-imagery BCI. We consider two methods for signal analysis: adaptive autoregressive models (AAR) and wavelet transform (WAV). There are three major contributions of this research to single-trial analysis in motor-imagery BCI. First, we improve classification of AAR features over a conventional method by applying a temporal evidence accumulation (TEA) framework. Second, we compare the performance of AAR and WAV under the TEA framework for three subjects and find that WAV outperforms AAR for two subjects. The subject for whom AAR outperforms WAV has the lowest overall signal-to-noise ratio in their BCI output, an indication that the AAR model is more robust than WAV for noisier signals. Lastly, we find empirical evidence of complimentary information between AAR and WAV and propose a fusion scheme that increases the mutual information between the BCI output and classes. iv Acknowledgements
Continuous logic – I. Basic concepts

A general description of a continuous (‐valued) logic is given, basic operations of the logic are defined, and some problems and particulars of their solutions are discussed. First, we define algebra of continuous logic and enumerate its basic unary, binary and ternary functions. All laws of continuous logic are compared with laws of discrete binary logic. We discuss how to enumerate all functions of continuous logic with specified number of variables and how to represent the functions in a standard form. Procedures of minimization of continuous logical functions and their decomposition into the functions with less clarity are exploited. The procedures are compared with their counterparts from binary logic. We also tackle problems of analysis and synthesis of continuous logical functions, and show that the problem of synthesis may not have a solution. Basics of differential and integral calculus are applied to continuous valued logic. We demonstrate that any continuous logical function has the points where a derivative does not exist. At the end of the paper we briefly discuss an incompleteness problem of continuous logic, application of continuous logic in mathematics, engineering and economy, give examples, draw a perspective of further development and supply extensive bibliography of Russian works in the field.
Research on Image Compressed Technology Based on Compressed Sensing

Compressed sensing theory is a new signal processing theory in recent years, which is the birth of the signal processing field. Compared to the traditional Nyquist sampling rate, with little sample data quantity, compressed sensing theory saves subsequent processing time and storage space, making it a broad application prospect in the signal processing field. This paper first discuss the three key problems of the application of the compressed perception theory: signal sparse representation, machine measurement matrix design and signal reconstruction algorithm, preliminarily study the application of the compression perception theory in image compression technology, and giving the reconstructed image under different compression rate and PSNR. Computer simulation results show the feasibility of theory.
Previsão de tempos de internamento num hospital português: aplicação da metodologia CRISP-DM

Using data collected from a Portuguese hospital, within the period 2000 to 2013, we adopted the CRISP-DM methodology to predict inpatient length of stay. The best method (random forest algorithm) achieved a high quality prediction. Such model allowed the identification of the most relevant input features, which are related with the patients' clinical attributes.
CHAPTER III MAGN 1 T 0 HYDR 0 DYNAMIC STRATIFIED FLUID FLOW BETWEEN TWO WAVY

Investigations of fluid flow over rough boundaries are interesting because of their applications to physical problems and thus have led several authors to devote their attention over these kinds of flows, A classic study over a wavy boundary for the shearing flow, was made by Benjamin (1959). In the past few years, several studies over a wavy wall have been made by various authors. [Lekoudis et al.(l976), Shankar and Sinha (1976), Martin Lessen and Gangwani (1976) and Vajravelu and Sastri (1978)].
An algorithm for three-layer channel routing with via minimization

An algorithm for three-layer channel routing with via minimization is presented. It aims at minimizing both the number of vias and the number of tracks. The algorithm has been coded in Pascal and implemented on an XT/286 computer. Experimental results show that, compared with HVH routing, the numbers of vias are decreased by about 40-50% and, for some examples, the numbers of tracks are also less than those of known results. Besides, the routability is 100% regardless of whether there exists a cycle vertical constraint or not. <<ETX>>
Web Services for Bibliometrics

Institutional repositories have spread in universities where they provide services for recording, distributing, and preserving the institution's intellectual output. When the Lausanne "academic server", named SERVAL, was launched at the end of 2008, the Faculty of Biology and Medicine addressed from the outset the issue of quality of metadata. Accuracy is fundamental since research funds are allocated on the basis of the statistics and indicators provided by the repository. The Head of faculty also charged the medical library to explore different ways to measure and assess the research output. The first step for the Lausanne university medical library was to implement the PubMed and the Web of Science web services to easily extract clean bibliographic information from the databases directly into the repository. Now the medical library is testing other web services (from CrossRef, Web of Science, etc.) to generate quantitative data on research impact mainly. The approach is essentially based on citation linking. Although the utility of citation and bibliometric evaluation is still debated, the most prevalent output measures used for research evaluation are still those based on citation analysis. Even when a new scientific evaluation indicator is proposed, such as h-index, we can always see its link with citation. Additionally, the results of a new indicator are often compared with citation analysis. The presentation will review the web services which might be used in institutional repositories to collect and aggregate citation information for the researchers' publications.
Prototype-matching system for allocating conference papers

Conferences on applied research require more complicated taxonomy than traditional organization of conferences by tracks. A topic of a paper, submitted to a conference on the applied research and the keywords, outlined by authors can be discussed in more than one proposed conference track. Sorting out the papers submitted to a scientific conference in the proposed categories and tracks is becoming a nontrivial task. Conference organizing committees try to schedule submitted papers very carefully to increase the success rate of the conference. For example, the organizers of The Hawaii International Conference on System Science 2001(HICSS-34) allocated the theme similarities in papers that were submitted into different tracks and identified 6 cross-track themes to schedule them appropriately. In this paper, we offer a prototype matching system for text retrieval by content and try it out on the HICSS 34 conference proceeding. On the one hand, the system assists the conference organizers to automatically establish semantic similarities among papers and allocate them into common themes. On the other hand, the system assists the attendees to retrieve the papers from the conference proceedings based on their content similarities. A user can take an abstract or a paragraph from an interesting paper, and use it as a prototype query. The information system is based on document preprocessing, "smart" document encoding and prototype-matching clustering of a text collection.
Unscrambling the power losses in switching boost converters Learn how to effectively balance your use of buck and boost converters and improve the efficiency of your power system

In the expanding world of portable electronic devices, there is no one single parameter more important than battery life, or more important than efficient power conditioning, which is why switching regulators are so popular. Linear regulators may be simpler and less noisy but their switching counterparts are more efficient and therefore preferred, when possible, and while step-down buck switching converters are more efficient, step-up boost converters are often necessary and unavoidable, especially in battery-powered systems. Many designers are therefore confronted with the challenge of decreasing the power losses of a boost switching regulator, and understanding the basic mechanisms that incur power losses and their associated design tradeoffs is key in this regard. Literature on the subject, unfortunately, tends to concentrate on buck converters [1], and the results are often involved and with limited circuit insight. The objective of this article is to perhaps unscramble and hopefully bring insight into the power-consuming mechanisms of a boost converter, establishing the means by which a designer can more effectively balance design choices.
Visualizing Sequences in the Social Sciences

Visualization is a potentially powerful tool for exploration and complexity reduction of categorical sequence data. This article discusses currently available sequence visualization against established criteria for graphical excellence in the visual display of quantitative information. Existing sequence graphs fall into two groups: They either represent categorical sequences or summarize them. The authors propose relative frequency sequence plots as an informative way of graphing sequence data and as a bridge between data representation graphs and data summarization graphs. The efficacy of the proposed plot is assessed by the R 2 and the F statistics. The applicability of the proposed graphs is demonstrated using data from the German Life History Study on women’s family formation.
Advanced model-based robot control in Reis ROBOTstarV

In a research project that was funded by the German Federal Government Department of Research an advanced robot control method was conceived and realised, in which a dynamic robot model is integrated in the joint control of the robot Reis RV6. By this model-based control method the path deviations are substantially reduced. This leads to a decrease of actuator input values and thus to lower loads at the actuators and to an improved control behaviour of the robot. As a result, both significant improvements in the path accuracy at high path dynamics and substantially reduced loads of motors and gears have been achieved. The new control method gives an important contribution to higher quality and productivity and also to higher service lives in many application cases.
Generic construction of orthogonal complementary sets of sequences

In this paper, we propose generic construction methods to generate the orthogonal complementary sets (OC) of codes which are able to retain the properties of Complete Complementary (CC) codes. The proposed methods can be applied to any sequence with ideal two-level auto-correlation. The proposed OC codes can be used in the multicarrier CDMA architecture, retaining all the advantages of CC codes and also increasing the number of users supported. The BER performance of OC codes is also evaluated and compared with those sequences used in the construction.
A mixed-signal 0.18-μm CMOS SoC for DVD systems with 432-MSample/s PRML read channel and 16-Mb embedded DRAM

This paper describes a fully integrated single-chip CMOS mixed-signal system on a chip (SoC) for DVD RAM and ROM systems. It integrates a 32-b RISC CPU, formatter, servo digital signal processor (DSP), 16-Mb DRAM, error correction code (ECC), ATA interface, and partial-response-maximum-likelihood (PRML) read channel with 7-b interpolated parallel analog-to-digital converter (ADC). Increasing the bus bandwidth by using embedded DRAM, a hardware ECC engine, and four parallel digital finite-impulse response (FIR) filters contributes to the high playback speed of 16/spl times/. PR(3,4,4,3) architecture has been used in the read channel system for optical disc systems. The obtained wide tangential tilt margin of /spl plusmn/0.6/spl deg/ is due to the use of this PRML read channel technique. The interpolated parallel scheme has attained a high number of effective bits of 6.3 for 72-Mz input frequency at 432-MSample/s operation without any calibration technique, with low power consumption of 180 mW in a small core size of 1.05 mm/sup 2/. This SoC has been fabricated in 0.18-/spl mu/m 1PS3AL CMOS embedded DRAM technology. It contains 24 million transistors in a 144-mm/sup 2/ die and consumes 1.2 W at 432-MSample/s operation. This low power consumption allows the use of a low-cost plastic package. As a result, we can compose highly reliable DVD RAM and ROM systems with this SoC and some tiny components.
A Comparative Study on Various Approaches for Event Detection in Social Streams

— Social network sites (SNS) can be regarded as social sensors which can capture a number of events daily in the society. Ex: Face book, Twitter. SNS contain tremendous amount of text, image, audio or video content which can be leveraged for a wide range of business purposes. This paper explores a detailed comparative study about how to identify events in social streams. It also explained various event detection methods and algorithms.