Miracle-dz/UniFAR-FTUs huggingface dataset:
RDFTL : An Event-Condition-Action Language for RDF

RDF is becoming a core technology in the Semantic Web. Providing the ability to describe metadata information that can be easily navigated, and the ease of storing it in existing relational database systems, have made RDF a very popular way of expressing and exchanging metadata information. However, the use of RDF in dynamic applications over distributed environments that require timely notification of metadata changes raises the need for mechanisms for monitoring and processing such a changes. Event-Condition-Action (ECA) rules are a natural candidate to fulfill this need. In this paper, we study ECA rules in the context of RDF metadata. We give a detailed description of a language to define ECA rules on RDF repositories. We specify the syntax and semantics of the language, and we illustrate its use by examples.
Simulation of neural networks: a preliminary report on two computational strategies.

The basic assumptions of the present contribution are the following: i) a satisfactory mechanistic knowledge of the higher human cognitive abilities will be reached after understanding the concerted and cooperative behavior of brain regions usually identified by peculiar morphofunctional features; ii) it is really hard to overestimate the importance of computer-aided modeling and simulation in the study of the global and local network(s) connecting the above regions; iii) the related computational problems are better faced by exploiting different software tools, each endowed with excellent performance in specific problems, than focussing on a single programming environment. In this frame, we tested the steepness of the learning curve of two popular neural simulation environments, namely NEURON and BRIAN, in modeling the following cases: a) a selfsustained, reciprocal activation of a small number of ring-chained neurons, and b) the spiking activity of a small network possibly endowed with a random set of connections. We confirm that the NEURON and the BRIAN environments appear well suited in dealing with case a) and b), respectively, and, in particular, in studying the biophysical / morphological features of single neural cells or in exploring the functional features even of complicated or large-size network topologies.
Internet traffic clustering using packet header information

IP networks transfer huge amounts of data and information all over the word. The operator maintains the network and monitors it continuously to detect and eliminate any disturbances as soon as possible. Features and parameters included in the IP packet headers enable the operator to identify lots of information about the IP traffic and network users. The goal of this study is to analyze the measurements about the IP packet header information to support the operators in network management and optimiza- tion, trouble shooting, service creation and marketing. In this paper we propose multi-layer clustering that can reveal detailed description of traffic patterns and behaviour profiles of the network addresses. These descriptions can be en- hanced by identifying abnormal traffic and analysing the reasons for such behaviour. Utilizing the measurement information included in the IP packet headers enables all these analysis tasks without violating privacy of the con- sumers.
Design of Efficient Algorithms for Image Compression with Application to Medical Images

This thesis covers different topics on design of image compression algorithms. The main focus in this work is development of efficient entropy coding algorithms, development of optimization techniques for context modeling (with respect to the minimum code length) and application of the methods in the design of an algorithm for compression of medical images. Specifically, we study entropy coding methods based on a technique of binary decomposition of source symbols. We show that the binarization allows to fit a parametric probability distribution model to a source coding algorithm, e.g., arithmetic coding, reducing the number of coding parameters to that of the distribution model. Context modeling is an essential part of an image coding algorithm, which basically defines its compression performance. In the thesis, we describe a unified approach to this problem based on statistics learning methods and the minimum description length principle. In particular, we present a design of optimized models using context quantization and initialization techniques. The optimization allows to find a model, which yields the minimum code length for some set of training data samples. Entropy coding and context modeling methods are applied for developing a compression algorithm intended for medical images. The algorithm allows for progressive near-lossless coding and is based on lossy plus refinement layered approach. We show that this method results in a better compression performance and image quality for large distortion values compared with the recently adopted standard JPEG-LS for lossless and near-lossless image compression. We also investigate a possibility of image reconstruction with the minimum mean squared error criterion within the proposed framework.
Service Discovery and Selection using the Bio Inspired Approach

--------------------------------------------------------- ABSTRACT ----------------------------------------------------------- The Swarm intelligence is a search field that provides the collective behaviors of Insects or animals in that particular swarm. Many algorithms raised from this models have been proposed to solve complex problems. In this project, an oval swarm algorithm called the Social spider Optimization (SSO) is proposed for solving selection tasks. In the proposed algorithm, Individual stimulate a group of spiders which interact between each other based on the biological laws of the cooperative colony. The algorithm considers two different each agents (spiders): male and Female. According to their category, each individual is conducted by a set of different evolutionary operators. In order to explain the efficiency and robustness of the proposed approach, it is compared to their well-known evolutionary methods. By modifying the proposed approach we can attain a better result in the field of web service selection as well as discovery. The outcome shows a high performance of the proposed method for searching a global optimum with several benchmark functions.Web service technology has gained more important role in developing distributed applications and systems on Internet. Continuous growth of explored Web services makes their discovery and selection process more and more complicated. There are many web services which have similar functional characteristics. The aim of Web service selection is to search services into internet i.e. registry and to fetch the related services according to the requestor needs and providing it to them. The user sends an request to the registry and the registry selects all the related services in it and provide it to the user and make the user to select from it based on his/her queries.The Objective of this proposal is to embed the bio inspired algorithm technique (SSO) into the web service selection process to make that process an efficient one and also to provide the related response to the user’s request. The result which is achieved is of dynamic web service response to the service requester.
Haptic Interfaces for Mobile Devices: A Survey of the State of the Art

Recently, the mobile device industry has embraced haptic feedback in the form of vibrotactile sensations. With the advances in actuator and control design, a great variety of tactile stimuli such as short pulses and various vibrations can be conveyed to users. Natural interfacing methods have become an important issue in this field, because gestures in relation to mobile devices are the most informative means of expressing the user’s intention. Haptic feedback can then notify the user of the success of a gestural input. The development of mobile devices that incorporate haptic feedback may mutually affect the development of application software such as web-based programs, games, and location-sensitive media. For more realistic haptic interaction, the development of new haptic interfaces for mobile devices should be based not only on system performance but also on further fundamental research into human perception and usability. This paper will cover interaction methods and application areas in mobile devices, followed by discussion of the trends for various devices equipped with tactile feedback, such as touchpad- and pen-based systems.
A gm/ID based methodology for the design of CMOS analog circuits and its application to the synthesis of a silicon-on-insulator micropower OTA

A new design methodology based on a unified treatment of all the regions of operation of the MOS transistor is proposed. It is intended for the design of CMOS analog circuits and especially suited for low power circuits where the moderate inversion region often is used because it provides a good compromise between speed and power consumption. The synthesis procedure is based on the relation between the ratio of the transconductance over DC drain current g/sub m//I/sub D/ and the normalized current I/sub D//(W/L). The g/sub m//I/sub D/ indeed is a universal characteristic of all the transistors belonging to a same process. It may be derived from experimental measurements and fitted with simple analytical models. The method was applied successfully to the design of a silicon-on-insulator (SOI) micropower operational transconductance amplifier (OTA).
Code Clone Discovery Based on Concolic Analysis

Syntax TreeBased Techniques Use parsers to obtain a syntactical representation of the source code, usually in the form as an AST, before the AST is searched for similar sub-trees (Krawitz, 2012, p.15). AST Abstract Syntax Tree (Krawitz, 2012, p.15). Code Clone Implementing the same program functionality more than one time. Multiple code fragments that produce similar results given the same input (Krawitz, 2012, p.15). Concolic Analysis Combines random testing and symbolic execution to partly remove the limitations of random testing and symbolic execution based testing (Sen, 2007, p. 1). Functional Behavior How the output of a system is affected by inputs without regard for the contents of the system. Ignoring the internal mechanism of a system and focusing on the outputs generated in response to inputs. Black Box behavior (Krawitz, 2012, p.15). Lexical Relating to words or the vocabulary of the system as distinguished from the syntax rules and construction (Krawitz, 2012, p.16). Lexical/Token-Based Techniques Applies lexical analysis to the source code and use the lexical analysis to find similar lines of code (Krawitz, 2012, p.16).
Semantic Classes in CESS-LEX: Semantic Annotation of CESS-ECE 1

Annotated corpora constitute a crucial resource to acquire or induce linguistic knowledge about how languages are used. In this sense, it is widely admitted that tagged corpora appear to be a very useful resource for computational and linguistic analysis of languages. The more explicit linguistic information they contain, the more interesting and useful they are. In this paper we present the theoretical basis for semantic annotation of two treebanks, CESS-ESP and CESS-CAT, focusing specially on the verbal semantic classes that determine the mapping between syntactic functions and semantic roles.
Evolution study of android botnets

Smartphones continue to excel in the 21 st century due to the constant improvements of mobile technology. Advances in smartphones, such as increased computing power, improved deviceto-device communication and the option of installing additional third-party applications, have led to a sharp rise in their popularity. This popularity, combined with the extensive adoption of smartphones by the general public, has now drawn the attention of mobile malware developers. On popular platforms, such as Android, malware have grown exponentially since the detection of the first mobile Trojan horse in 2010. Android malware families detected during 2013 displayed capabilities that revealed the transition from traditional computer-based botnets to the Android platform. To effectively mitigate or defend against Android botnets, an insightful understanding of them is required. This paper aims to characterise existing Android malware families that display botnet functionality, allowing for the development of proper mitigation and anti-botnet solutions. The contributions of this paper are two-fold. Firstly, the Android malware collection presented in this paper includes 20 families, which covers the majority of malware families displaying botnet behaviour, ranging from their debut in December 2010 to the recent ones discovered in December 2013. These families are thoroughly characterised based on their detailed behaviour breakdown, including propagation methods, command and control channels, and attack strategies. Secondly, an evolution-based study of representative Android botnet families is performed, revealing the rapid growth of Android botnets and the pressing need for anti-botnet solutions. The characterisation of the Android malware families and the subsequent evolution-based study reveal the sophistication of Android botnets. These identifiable characteristics can, however, be incorporated into new and existing mitigation solutions to defend and protect against Android botnet infections. The outcome of this study show that Android botnets are real and a current threat to smartphone users and that there is a need for proper anti-botnet solutions on mobile platforms.
A simple way to reconstruct pupil size during eye blinks

Here I describe a simple way to reconstruct pupil-size data during eye blinks. Blinks are detected using a velocity threshold and reconstructed using cubic-spline interpolation. Although it is debatable whether this reconstruction procedure is theoretically meaningful, it has considerable practical benefits during analysis and data presentation, compared to treating blinks as periods of missing data.
Algorithm for dealing with time-varying signal within sliding-window for harmonics estimation

In many state-of-the-art signal processing techniques, a signal within sliding-window (SW) is assumed stationary for analysing non-stationary signals. Whenever this assumption is violated, inaccuracies increase to the unacceptable levels. A narrow window-width is recommended for limiting the effect of variations within window, however, it results in poor frequency resolution and demands for increased computational resources. This study presents a simple and efficient algorithm to address amplitude-variation in a signal within SW, thus, allowing time resolution of 1-cycle and frequency resolution of 5 Hz (as per IEC Std. 61000-4-7) with improved accuracy and reliability of the fast Fourier transform of the time-varying signal. The proposed algorithm computes and applies necessary corrections to provide accurate estimates of the integer harmonics for the most recent cycle, irrespective of the number of cycles within the SW. The proposed algorithm is computationally efficient and fast, therefore, can be implemented easily either on digital signal processor or field programmable gate arrays hardware platform. The salient features of the proposed algorithm have been validated on variety of simulated and experimental signals, and have been compared with similar existing techniques in practice nowadays.
A view of public and private sectors for Taiwan's BOT transportation project financing using fuzzy multi-criteria methods

This research discusses financial criteria of BOT projects from government and private sectors. Private sectors are including the studies, sponsor companies and contractors, lenders and investors. Depending on the size and complexity of the BOT transportation projects in Taiwan, the financial phases of projects are divided into six segments for discussion. They are "lifetime phase", "development phase", "contract specified phase", "construction phase", "operation phase", and "transfer phase". In order to solve the difficulty of discussing criteria theoretically and uncertainty of decision environment, this research suggests two stages of selection procedure. (1) Selecting criteria: this part employing the extent of expertise by expert and then using "fuzzy Delphi method via fuzzy integration" to select 22 important criteria from experts. (2) Estimating weight of segments and criteria: this part development "fuzzy analytic hierarchy process" to handle the uncertainty of decision environment, calculating the relative importance between segments and criteria under segments. The results appear that the government and private sectors emphasized weight of segments and criteria respectively. These are helpful to understand the different concepts from the view of the public and private sectors.
A Hypervisor for Protecting Information of Public Cloud's User on Memory and on Storage from Malicious Operators

This paper introduces a novel cloud computing architecture that ensure s privacy for guest’s information and computation. In conventional cloud architecture, a security policy proposed by a provider only ensured the protection of guest’s information. This enabled malicious operators to steal or modify guest’s information. Our architecture protects guest’s information with novel memory management function of hypervisor from malicious operators. Cloud computing generally relies on virtualization, and VMM or hypervisor maintains page table for interfering VM’s memory accesses, which is called shadow page table. Our hypervisor regulates memory accesses by management VM by adding a authority bit to shadow page table entry. Our architecture also prohibits a theft of guest’s information when it is stored in storage by encrypting data when they leave memory.
A Corpus-based Translation of Korean Financial Reports into English

This paper shows how to appropriately translate into English the technological words and phrases used in the domain of Korean financial reports together with the linguistic constructions such as the construction referring to a financial expert and the construction expressing a reason for a particular financial situation. These linguistic units occur frequently and typically in both Korean financial reports and English ones. The paper adopts a method of translating the expressions occurring in Korean financial reports into English by consulting their nearest counterparts that are really used in English financial reports on the basis of the constructed corpus of Korean financial reports and that of English ones. This translation method makes it possible to obtain an English translated text that does not have translationese since the text contains expressions that are already used in the target text of financial reports. The method also enables us to easily construct a parallel corpus that displays a source Korean text in parallel with its translated English text in the domain of financial reports. The parallel corpus can be used in designing a statistical machine translation system that translates financial reports bidirectionally between the two languages. Therefore, the corpus-based method of translating financial reports has the advantage of getting a translationese-free result and can be helpful to statistical machine translation.
Action and Language—Action-Based Neurolinguistics Approach

There are a lot of increasing evidences to support the strong links between action and language. Action based approach proposed the hierarchical structure of language based on action control and concerned with action goal, context, intention, mirror neurons and object affordances. Action semantics proposed that action control and use of object need not only low-level action control, but also semantic knowledge. Action Semantics are hierarchically organized and selectively activated depending on the action intention of the actor and the context. This framework integrated declarative and procedural action knowledge, thus challenging the traditional divide between semantics and pragmatics and they might draw on common representational resources.
Blueprints or conduits? Using an automated tool for text analysis

When analyzing discourse, the researcher can take one of two perspectives: either the text of the discourse is a conduit that explicitly contains all of the meaning of the text, or the text is merely a blueprint that guides the reader in the active construction of meaning (Tomlin, Forrest, Pu, & Kim, 1997). It is more straightforward to view the text as a conduit, especially when conducting automated analyses of text which allow for the convenient investigation of large amounts of data, yet are often not able to provide much insight into how a reader might interpret the text. However, one automated tool, Coh-Metrix (Graesser & McNamara, 2011), attempts to follow the blueprint approach by taking into account reading processes and comprehension across multiple levels of language. This paper examines the application of Coh-Metrix to movie review texts to determine the usefulness of its automated analysis with respect to the blueprint model. The findings highlight some of the benefits and limitations of using automated text analysis tools. 1. Background: Automated text analysis
OpenAlea 2.0: Architecture of an integrated modeling environment on the web

Plant modeling is based on the use of a diverse set of design paradigms (L-systems, visual programming, imperative languages or sketch-based interfaces). In this poster, the architecture of a new multi-paradigm and integrated modeling environment is presented. This desktop application will become a distributed web application, allowing to run simulations on a cloud computing system and share virtual experiments on the web. The modeling environment will run on a web browser using HTML5 and WebGL technologies.
An eye tracking computer user interface

The authors describe an inexpensive eye movement controlled user interface for 2-D and 3-D interaction. It is based on electro-oculography (EOG) rather than the very expensive reflectance based methods. The authors have built the hardware and software to demonstrate the viability of EOG for human-computer communication. The experiments indicate that EOG provides the basis for an adequate input interaction device. Being very inexpensive, the system is applicable for many virtual reality systems and video games as well as for the handicapped. <<ETX>>
An extensible, object-oriented compiler for the Timeliner User Interface Language

In this thesis, I designed and implemented a compiler for the Timeliner User Interface Language. The Timeliner User Interface Language (UIL) is a specialized computer language designed for the writing of sequencing procedures to operate a complex system. The old version of the compiler is written in Ada, and is hard to maintain. By using tools such as JLex and CUP, I have created a compiler that is easier to maintain and extend. The use of an object-oriented language like JavaTM allowed us to dramatically reduce the amount of code needed to create the compiler through inheritance and code reuse. Finally, the output of the compiler was switched from a set of data tables to a serialized abstract syntax tree, represented as an XML file. This change allows us to remove a layer of complexity from the Timeliner system. Comparing the results from an earlier project showed the dramatic improvement in the extensibility of the compiler. Technical Supervisor: Dr. Robert Brown Title: Principal Member of Technical Staff Thesis Advisor: Professor Martin C. Rinard Title: Assistant Professor, Department of EECS, MIT