Miracle-dz/UniFAR-FTUs huggingface dataset:
On Resource Optimization and Robust CQI Reporting for Wireless Communication Systems.

Adaptive resource allocation in wireless communication systems is crucial in order to support the diverse QoS needs of the services and optimize resource utilization. The design of resource allocation schemes should consider the service type for which it is intended. Moreover, due to feedback delay and channel estimation error, the Channel Quality Indicator (CQI) reported to the transmitter may not be a perfect measure of the channel quality and its use for resource allocation may severely degrade the systems performance. In this thesis, we study resource allocation and CQI reporting for wireless networks while taking the aforementioned factors into consideration. First, we consider resource allocation and adaptive modulation in uplink SC-FDMA systems. This is a combinatorial problem whose optimal solution is exponentially complex. We use canonical duality theory to derive a polynomial complexity resource allocation algorithm that provides a nearly optimal solution to the problem. Then, we focus on resource allocation for video streaming in wireless networks with time-varying interference. To this end, by using risk-sensitive control approach, we develop a cross-layer optimization framework that performs power control at the PHY/MAC layer and rate adaptation at the APPLICATION layer jointly and provides fairness among nodes. Finally, by using stochastic control and game theory, we design a robust best-M CQI reporting scheme for multi-carrier and multi-user systems which takes into account the impact of feedback delay and error in CQI computation. Performing resource allocation on the basis of the proposed CQI reporting can significantly improve the system performance.
Timed Role-Based Access Control

The research work of RBAC is greatly emphasized in recent years. However, the main work focuses on some characters which have nothing to do with the time character. A RBAC model with time character called TRBAC is described and the former constraint is extended so that it can describe the time character. Some algorithms are developed to solve the state change problem of the time-constraint and the sessions. The consistent state of the model is analyzed and the problem for maintaining the consistent state is discussed.
Scientific Programming with Graphical Processing Units (GPUs)

Graphical Processing Units (GPUs) [1] have emerged in recent years as an attractive platform for optimising the speed of a number of application paradigms relevant to the games and computer-generated character animation industries [2]. While chip manufacturers have been successful in incorporating ideas in parallel programming into their family of CPUs, inevitably due to the need for backwards compatibility, it has not been trivial to make major advances with complex CPU chips. The concept of the GPU as a separate chip with fewer legacy constraints is perhaps one explanation for the recent dramatic improvements in the use of parallel hardware and ideas at a chip level.
Adaptive modelling of signal data with application to image compression

Traditionally, Markov models have not been successfully used for compression of signal data other than binary image data. Due to the fact that exact substring matches in non-binary signal data are rare, using full resolution conditioning information generally tends to make Markov models learn slowly, yielding poor compression. However, such models can be successfully used for non-binary signal data compression by varying both the resolution and the order of the conditioning information. In contrast to variable order methods, the overall model complexity (the number of states) is a function not just of the order but also the resolution. In the adaptive Markov algorithms proposed, the resolution and order are continually adjusted to minimize the codelength of the past samples in the hope that this choice will best compress the future samples as well, a technique inspired by Rissanen's MinimumDescription Length (MDL) principle. Performance of this method meets or exceeds current approaches. Traditional techniques for adapting order 0 models to non-stationary inputs can be used in the order 0 component of the variable resolution/variable order models, or a new method of order 0 adaptation, which is presented, could be used. Splitting a non-binary input signal into a number of lower resolution subgroups is also explored as a technique to accelerate learning in Markov models. The common non-binary image compression technique of Gray coding the input data before splitting into bit planes for subsequent coding is analyzed and a non-binary pseudo-Gray code is proposed which can yield slightly better performance than the standard binary Gray code method.
Efficient router design for network on chip

A Network-on-chip (NoC) is a new paradigm in complex system-on-chip (SoC) designs that provide efficient on chip communication networks. It allows scalable communication and allows decoupling of communication and computation. The data is routed through the networks in terms of packets. The routing of data is mainly done by routers. So the architecture of router must be an efficient one with a lower latency and higher throughput. In this project we designed, implemented and analyzed three different router architectures for a network on chip communication. The routers have five ports, four ports connected to other ports in four different directions and the fifth port connected to the processing element through a network interface. The first architecture is a basic router with demultiplexer and scheduler. The second architecture consists of crossbar switch and arbiter. The third architecture uses the CDMA technology that is popular in wireless communication. The three architectures were analyzed for their performance in terms of delay, throughput and latency and we concluded that CDMA router performs better than the other two.
A Novel Approach to the Part Orientation Problem for Robotic Assembly Applications

A NOVEL APPROACH TO THE PART ORIENTATION PROBLEM FOR ROBOTIC ASSEMBLY APPLICATIONS Brian J. Slaboch, B.S. Marquette University, 2011 SCARA (Selective Compliant Assembly Robot Arm) type robots are the most common type of assembly robots. These robots have four degrees of freedom (three rotational and one translational). Typically these robots are used for assembly tasks that take place along a vertical axis. Many times, however, assembly tasks take place along a non-vertical axis. To account for non-vertical axis assembly, parts must be fed in a proper orientation to allow for correct assembly. Parts feeders and specialized end-effectors are typically used to feed parts in their proper orientation. This thesis investigates a novel end-effector that can be used to feed parts for industrial assembly applications. Specifically, the purpose of the novel end-effector is to provide a SCARA robot with an added selectable degree of freedom. This end-effector aims to bridge the gap between complex anthropomorphic grippers and simple binary grippers. The approach is novel in that the end-effector interacts with the environment to produce the added degree of freedom. New path planning algorithms were developed to work in conjunction with the novel end-effector. A prototype end-effector was designed, built, and tested to prove the validity of this new approach.
Synote Discussion. Extending Synote to support threaded discussions synchronised with recorded videos

Synote Discussion has been developed as an accessible cross device and cross browser HTML5 web-based collaborative replay, annotation and discussion extension of the award winning open source Synote which has since 2008 made web-based recordings easier to access, search, manage, and exploit for learners, teachers and others. While Synote enables users to create comments in ‘Synmarks’ synchronized with any point in a recording it does not support users to comment on these Synmarks in a discussion thread. Synote Discussion supports commenting on Synmarks stored as discussions in its own database and published as Linked data so they are available for Synote or other systems to use. This paper explains the requirements and design of Synote Discussion, presents the results of a usability study and summarises conclusions and future planned work
An Object Behavioral Pattern for Managing Object Execution

There are times when the execution of an object needs to be suspended and later resumed either due to the object responding to external events or processing requirements internal to the object. The Microthread pattern simplifies the management of an object’s execution when the object needs to start, stop, and resume its execution. This pattern has shown itself to be useful in both stand alone and distributed applications. An example usage is shown along with the benefits and liabilities of using the pattern. An implementation outline is also provided along with some sample code. Finally, patterns related to the Microthread pattern are listed.
Cytoarchitecture of the Human Brain Stem

IN THE LAST FEW YEARS, the neuroanatomic reference literature has been greatly enriched by the series of cytoarchitectonic atlases by Meesen and Olszewski on the rhombencephalon of the rabbit (S. Karger 1949), by Olszewski on the thalamus of the Macaca mulatta (S. Karger 1952), and now by Olszewski and Baxter on the human brain stem. The level of scholarly treatment of the subject and the technical excellence of the notoriously difficult reproduction of the microphotographs of the Nissl-stained preparations in the first two atlases augured well for the present atlas, which is the most imposing of the three. It is a much needed and monumental work. In the introductory chapter to the atlas, the authors give an instructive discussion of the significance of the cytoarchitectonic studies of the central nervous system and a timely and well taken critical examination of the meaning of the term “reticular formation. ” They underscore the fact that there is no correlation between the meaning of this term as used by the physiologist dealing with the central nervous system wholesale, as it were, and the meaning of the term for the neuroanatomist who deals with the individual units of the structure of the neuraxis. Thus, for the neuroanatomist, the concept of reticular formation is so general that in this work they chose to dispense with the term entirely. Brain stems of 15 individuals, ranging from a seven month premature baby to a 77 year old man, were prepared in serial sections for the cytoarchitectonic study in the senior author’s laboratory at the Montreal Neurological Institute. The set of transverse 20 mp. paraffin sections of the brain stem of a female 20 years of age, stained and mounted at 1 mm. intervals, were used for the microphotographic plates. The atlas consists of two parts. The first part, comprising 42 plates, gives the general topography of the nuclear structures of the brain stem from the decussation of the pyramids to the pretectal region of the midbrain. The second part, comprising the bulk of the atlas, consists of a detailed description of the position, form, dimensions, and cytoarchitecture of each of the 93 nuclei, illustrated with a total of more than 500 microphotographs at magnification of 150x to portray the general neuronal and glial pattern, and at magnification of 1OOOx for portrayal of the size, shape, intracellular structure, and staining properties of the individual cells characteristic of each nuclear aggragate. The text of the description of each nucleus contains
What Classroom Observations Reveal about Reading Comprehension Instruction. Technical Report No. 106.

ABSTRACT Reading and social studies instruction in 39 thirdhrough sixtb7grade classrooms in central Illinois vas observed in a study' designed to determine whether elementary school classrooms provide oCapiiihension instruction. Ancmg the findings were that comprehension instruction was seen but that ceOrehensiOn.assessment, usually carried on through interrogation, ''Ither:cohliOni,that-other kinds of reading instruction vere not seen freqiency; that in addition to being interrogators, teachers 41110 appeared to be assignment-givers, spending . a-large part of the observed periods on giving and checking. assignments; that sizeable amounts of time vent to activities categorized as "'transition" and "noninstructionu; and that teachers did not see-the social studies-,, eriod'As h time to improve children's coaprehensicn abilities, but ustead were'concerned about covering content and having,children aster facts. (The report discusses definitions and examples of Comprehension instruction, notes differences between comprehension instruction and comprehension assessment, exrlains the categories used for teacher and_ student behavior, offers suggtstioms tor future research, and reports the findings of the study in descriptive and 'tabular. form.) (GP)
A Comparative Study of Coarse-and Fine-Grained Safe Regression Test Selection

Regression test selection techniques reduce the cost of regression testing by selecting a subset of an existing test suite for reverification of a modified program. Over the past two decades, numerous regression test-selection techniques have been described in the literature. Initial empirical studies of a few of these techniques have shown that they can be beneficial, but so far, few studies have compared techniques by performing the analysis for different methods on the same set of subjects. This paper describes a comparative evaluation of different regression test-selection techniques on the same experimental subjects. In particular, the two methods DejaVu, and TestTube, developed by the authors, are evaluated and compared in terms of a cost model that considers their relative precision and efficiency. The data reveal that in some instances TestTubes relative lack of precision does not prevent it from competing with the more precise DejaVu, yet in other instances, DejaVus superior precision gives it a clear advantage over TestTube. Since TestTube requires less critical-phase time cost, such variations in performance can complicate the testers choice of which technique to use. As a result, a hybrid technique is suggested, which combines the gains in efficiency from TestTube with the increased precision of DejaVu.
Stone Decay and Conservation: Atmospheric Pollution, Cleaning, Consolidation and Protection

A synthesis of all the studies and research carried out on the very extensive subject of stone decay. The work is divided into the following major chapters: A. Stone weathering, B. The relationship between pollution and the deterioration of stone, C. Conservation, D. Products for the treatment of stone, E. The degradation of synthetic resins used in conservation. Chapter B on atmospheric pollution occupies a central place: it highlights the way in which decay in stone monuments is accelerated in urban areas and tries to explain the process whereby a pollutant is transformed in the atmosphere and its effect when it reaches the stone surface. Subsequent chapters contain advice on carrying out restoration work, describing the order in which remedial measures should be applied: diagnosis, cleaning, pre-consolidation, consolidation. The various protection and consolidation products to be used are also analyzed. A final chapter on the degradation of synthetic resins places users on their guard concerning the non-static characteristics and the long-term evolution of these products.
An Integrated Discourse Model for a Case-Based Reasoning Dialogue System

We present a discourse model integrated with a case-based reasoning dialogue system which learns from experience. The discourse model is capable of solving references, manage sub dialogues and respect turn takings in a dialogue in natural language. The framework is flexible enough not to disturb the learning functions, but allows dynamic changes to a large extent. The system is tested in a traffic surveillance domain together with a simulated UAV and is found to be robust and reliable.
Experiments In Learning Nonrecursive Definitions Of Relations With Linus

Many successful inductive learning systems use a propositional attribute-value language for the representation of training examples and induced concept descriptions. Recent developments are concerned with systems that induce concept descriptions in rst-order logic. In the deductive hierarchical database (DHDB) formalism used in LINUS training examples are given as a relation in the form of ground facts. Concept descriptions have the form of typed nonrecursive rules. Having variables, compound terms and utility predicates/functions in concept descriptions, the DHDB form allows for more compact descriptions of concepts than an attribute-value language. It also allows for learning nonrecursive logical de nitions of relations. The paper gives a short description of LINUS and presents the results of its successful application to several inductive learning tasks taken from machine learning literature.
On Triplet Classification of Concepts

This paper introduces a scheme for classifications of concepts. It is founded on the triplet model of concepts. 'This model depicts a concept by means of three kinds of knowledge: a concept base, a concept-representing part and the linkage between them. Informally, the concept base deals with entities subsumed under a concept and their properties and relations. The concept-representing part deals with tools and forms of representing these entities and their properties and relations in some intelligent system. The linkage deals with establishing the proper correspondences between components of the base and the representing part. Each of these knowledge kinds is associated with specific structures related to concepts (symbols, names, statements, images, texts, entities and their properties and relations, procedures of determination of property values, etc.). Various informal and formal (mainly set-theoretical) specifications of these structures serve as criteria for triplet classifications of concepts
Constructing Secure Hash Functions by Enhancing Merkle-Damgû ard Construction (Full version) ⋆

Technology Development Department, ABB Corporate Research CentreABB Global Services Limited, 49, Race Course Road, Bangalore - 560 001, India.kapaleeswaran. v@in.abb. comAbstract. Recently multi-block collision attacks (MBCA) were performed on the Merkle-Damg˚ard(MD)-structure based hash functions MD5, SHA-0 and SHA-1. In this paper, we ﬁrst introduce a newgeneric cryptographic hash construction family called 3CG devised by enhancing the (MD) construc-tion. We show that one can construct simple to complex modiﬁcations to the MD construction bydeﬁning instances for the 3CG construction.In this paper, we introduce a simple instance for 3CG called 3C devised by enhancing the MD con-struction. We show that the 3C construction is at least as secure as the MD construction againstsingle-block and multi-block collision attacks. This is the ﬁrst result of this kind showing a generic con-struction which is at least as resistant as MD against MBCA. To further improve the resistance of thedesign against MBCA, we propose the 3C+design as an enhancement of 3C. Both these constructionsare very simple adjustments to the MD construction and are immune to the straight forward exten-sion attacks that apply to the MD hash function. We also show that these constructions resist someknown generic attacks that work on the MD construction. We also propose hybrid constructions for3C by combining it with wide-pipe (3CWP) and double-pipe constructions (3CDP). In addition, weshow that several secure variants can be obtained for 3C and 3C+ introducing generic constructionscalled 3CG and 3CG+. We show constructing variants for 3CG and 3CG+ constructions. Finally,we compare the security and eﬃciency features of 3C with other closely related proposals to the MDbased hash functions.Keywords: Merkle-Damg˚ard construction, multi-block collision attacks, generic attacks, 3C, 3CWP,3CDP. 3CF, 3CCW+.
Forme et enjeux de la collaboration autour de la « bédénovela » numérique Les Autres Gens

Le feuilleton Les Autres Gens (LAG), publie en ligne de mars 2010 a juin 2012, est l’oeuvre d’un scenariste et d’une centaine d’auteurs, co-scenaristes et dessinateurs. En s’appuyant sur des entretien semi-directifs aupres de collaborateurs de la serie et sur les outils conceptuels de la theorie de l’activite, l’article porte sur la place des technologies de l’information et de la communication (TIC) dans la collaboration a des fins de production narrative, tant au sujet de la forme que des enjeux que ces pratiques soulevent.Dans la genese comme dans le deroulement de la collaboration, les personnes concernees temoignent d’un usage si spontane des TIC que ces dernieres sont peu presentes dans leurs discours. Pourtant ce sont les possibilites de communication offertes par ces technologies qui permettent a chacun de se realiser comme auteur de bande dessinee. C’est cette inscription de maniere naturelle des TIC dans la tradition narrative de la bande dessinee qui rend possible une collaboration d’une telle ampleur.
Definition of the links and subsets for verbs in the EuroWordNet Project

This deliverable reports on the work carried out within Task 4.1, assigned to WP4. The objectives of this task were i) the definition of the relations to be encoded for verbs; ii) the identification of criteria for verification of such relations for each language; iii) the definition of the subsets of verbs for which relations will be encoded in the database. The document also reports on the experiments carried out ons specific semantic domains in order to foresee the main issues and problems to be dealt with when building the whole EuroWordNet database for verbs. TEL:: +39 50 560481
Taking Wing: Curating a collection of Venezuelan hawkmoths at the Manchester Museum

This paper reports on a project to re-curate and catalogue the Adams and Bernard collection of 174 Venezuelan hawkmoths (Lepidoptera: Sphingidae) at the Manchester Museum. The project was made possible by a grant awarded by the Natural Science Collections Association (NatSCA). The moths were set, photographed, accessioned, identified, and recorded in the museum database. The collection was found to represent 43 species in 16 genera.
Logic Programming with Linear Logic

Programming languages are the basic tools of computer science. The design of a good programming language is a trade-off between many factors. Perhaps the most important and difficult trade-off is between execution efficiency and programmer efficiency. Higher level languages reduce the amount of work the programmer has to do; however they have, to date, been less efficient than lower level languages. That lower level languages are necessarily more efficient is a piece of folklore which is under attack – higher level languages are constantly coming closer to the performance of the lower level languages. A consequence of this constantly closing performance gap is that the abstraction level of programming languages is slowly but inevitably rising. A class of programming languages which has been described as “very high level” is declarative programming languages. Declarative programming languages have simple formal semantics and are easier to reason about and to construct tools for than more traditional programming languages. However these languages do suffer from a number of problems. They are weak at expressing side effects and concurrency. Side effects are generally used to perform I/O and as a result declarative languages have been weak at expressing I/O. Declarative languages are also weak at expressing concurrency without compromising their semantic purity and as a result tend to be weak at expressing graphical user interfaces. Girard’s linear logic promises solutions to some of these problems – linear logic is capable of modelling updates, it has inspired linear types which enable side effects to be safely introduced for efficiency reasons, and linear logic can model concurrent behavior cleanly. This thesis focuses on the derivation of a logic programming language based on lin-