Miracle-dz/UniFAR-FTUs huggingface dataset:
Movement and direction in French and English

This paper examines the lexicalization in French verbs and prepositions of such notions as translative and nontranslative movement, manner of motion, directionality, and path. I show that several verbs can depict both translative and nontranslative movement, and that the presence of a manner feature is not incompatible with appearance in clauses expressing directional movement. French verbs do not differ greatly from English verbs in the notions that can be lexicalized, but the semantics of French prepositions are quite different from those of their English counterparts. In many french sentences with a directional interpretations, the notion of directionality is not lexically present in either the verb or the preposition; it arises rather through a synergistic compositional interpretation.
Improving low bitrate video coding via computation incorporating a priori information

The growing number of mobile users, as well as the diversification in types of services have resulted in increasing demands for wireless network bandwidth in recent years. Although evolving transmission techniques are able to enlarge the network capacity to some degree, they still cannot satisfy the requirements of mobile users. Meanwhile, following Moore's Law, the data processing capabilities of mobile user terminals are continuously improving. In this paper, we explore possible methods of trading strong computational power at wireless terminals for transmission efficiency of communications. Taking the specific scenario of wireless video conversation, we propose a model-based video coding scheme by learning the structures in multimedia contents. Benefiting from both strong computing capability and pre-learned model priors, only low-dimensional parameters need to be transmitted; and the intact multimedia contents can also be reconstructed at the receivers in real-time. Experiment results indicate that, compared to conventional video codecs, the proposed scheme significantly reduces the data rate with the aid of computational capability at wireless terminals.
Teletraffic analysis of enhanced circuit switched data (ECSD) on GSM for mobile multimedia services

The Global System for Mobile Communications (GSM) has been a great success in providing both voice and low speed data services. The current evolution of GSM towards the third generation mobile communications system is attributed to its remarkable growth and also to the increasing demand for mobile data. The enhanced circuit switched data on GSM (ECSD) is one of the major evolutionary steps to serve real time high speed data services such as real time video and or file transfer. The ECSD enhances the bandwidth by combining several time slots and by utilizing efficient modulation and coding schemes. In this paper we present a Markov analysis of ECSD and compare its performance with the existing high speed circuit switched data on GSM (HSCSD), which also uses multi-slot allocation but with a conventional GSM physical air-interface. In this analysis we also consider the transmission errors on the radio interface. The results of the comparative analysis are presented in terms of grade of service, average throughput and average message transfer delay taking into account eventual transmission errors on the radio link.
Gray's Anatomy for Students.

With its international editorial board, this book is the first edition of Gray's Anatomy for Students, which is based on its established and successful parent volume Gray's Anatomy. As in many modern anatomy books, the subject is covered regionally. The book is organised into eight sections: anatomy and imaging, back, thorax, abdomen, pelvis and perineum, lower limb, upper limb, and the head and neck. For each region, the section includes a conceptual overview of the region, its functions, component parts, relationships to other regions and its key features before covering the anatomy in detail. The editors are to be applauded for these particularly useful features as many anatomy books often neglect function and how many regions of the body, such as the thorax and abdomen, are related. Where relevant, embryology is also covered. The clinical relevance of topographical anatomy, together with surface anatomy, is highlighted throughout. At the end of each chapter there are clinical scenarios and ten short questions demonstrating clinical applications of anatomy, allowing the readers to test and apply their knowledge. The book provides a unique access code for with free online access to additional learning resources including the entire collection of images, which can be downloaded from an image library. This is particularly useful for presentations. There are also links to resources on interactive surface anatomy, case studies and self-assessment multiple choice questions. These are a useful means of re-inforcing anatomical concepts in preparation for examinations. The clarity of expression of its text, colour artwork and layout is excellent. Anatomy is such a difficult discipline and many textbooks include complex drawings that complicate the subject. This book is thorough and yet succinct in its expression, without loss of relevant detail. It is not only to be recommended as an excellent companion for undergraduate medical students but also for candidates of the intercollegiate MRCS diploma.
Unsupervised image segmentation using the minimum description length principle

Considers the problem of unsupervised multiband image segmentation specifically, using the MDL criterion, an associated complexity measure. According to the MDL principle, the best estimates are those that result in the most compact encoding of the image. An important advantage of such an approach is that it is virtually free of the need to choose arbitrary thresholds, which are typical of many segmentation techniques, and which, in many cases, need to be interactively adjusted in order to get satisfactory results. <<ETX>>
An Optimal Technique for Reducing the Effort of Regression Test

Regression test selection techniques are proposed often but are many times inaccurate when used with larger systems. The proposed new selection technique will be safer, more precise, and can handle the object-oriented features even in larger systems through its phases. Selecting the subset of the test case from the existing test suite is an important problem in regression testing and is addressed in the regression test selection technique. Safe regression test selection technique selects and identifies the program parts that are affected by the change. The test selection is performed by matching the identified change information with the coverage information. A tool is implemented that reduces the testing effort efficiently and the result shows that it can achieve considerable savings in the regression testing time.
Supervisory control of software systems for fault mitigation

This paper develops a novel technique of discrete-event supervisory control for fault mitigation in software applications. It models the interactions between a software application and a computer operating system (OS) as a deterministic finite state automation. The supervisor restricts the language of the OS to correct deviations such as CPU exceptions for the controlled execution of software applications. Feasibility of this supervisory control concept is demonstrated on process execution under the Red Hat Linux 7.2 operating system. Two supervisory control policies are implemented as proof of the concept.
A SWOT analysis of the integration of e-learning at a university in Uganda and a university in Tanzania

This research examines the strengths, weaknesses, opportunities and threats (SWOT) to integrating e-learning perceived by academic staff at a university in Uganda and a university in Tanzania. Mixed-methods research was used in which a main qualitative study was complemented by a quantitative method. The sample participants were academic staff from Mountains of the Moon University in Uganda (n = 20) and Mzumbe University in Tanzania (n = 20). The SWOTs from three aspects are analysed: institution-related, instruction-related and investment-related aspects. The results show that at both universities the institutions and teachers understand the need to integrate e-learning, which provides strengths and opportunities for the universities; however, the lack of capacities in terms of institutional policies, teacher competences and internal investment constitutes the weaknesses and threats for the universities.
An empirical study on software quality : developer perception of quality, metrics, and visualizations

An Empirical Study on Software Quality: Developer Perception of Quality, Metrics, and Visualizations Gary Lynn Wilson Jr., M.S.E. The University of Texas at Austin, 2013 Supervisor: Miryung Kim Software tends to decline in quality over time, causing development and maintenance costs to rise. However, by measuring, tracking, and controlling quality during the lifetime of a software product, its technical debt can be held in check, reducing total cost of ownership. The measurement of quality faces challenges due to disagreement in the meaning of software quality, the inability to directly measure quality factors, and the lack of measurement practice in the software industry. This report addresses these challenges through both a literature survey, a metrics derivation process, and a survey of professional software developers. Definitions of software quality from the literature are presented and evaluated with responses from software professionals. A goal, question, metric process is used to derive quality-targeted metrics tracing back to a set of seven code-quality subgoals, while a survey to software professionals shows that despite agreement that metrics and metric visualizations would be useful for improving software quality, the techniques are underutilized in practice.
DiceKriging, DiceOptim: Two R Packages for the Analysis of Computer Experiments by Kriging-Based Metamodeling and Optimization

We present two recently released R packages, DiceKriging and DiceOptim, for the approximation and the optimization of expensive-to-evaluate deterministic functions. Following a self-contained mini tutorial on Kriging-based approximation and optimization, the functionalities of both packages are detailed and demonstrated in two distinct sections. In particular, the versatility of DiceKriging with respect to trend and noise specifications, covariance parameter estimation, as well as conditional and unconditional simulations are illustrated on the basis of several reproducible numerical experiments. We then put to the fore the implementation of sequential and parallel optimization strategies relying on the expected improvement criterion on the occasion of DiceOptim’s presentation. An appendix is dedicated to complementary mathematical and computational details.
Computer Simulation of Social Systems

This article discloses and considers (1) the various advantages which accrue from employing computer simulation methodology to examine social systems; (2) the disadvantages and potential pitfalls encountered in the utilization of computer simulation techniques; and (3) the feasibility of using microcomputers to simulate social systems by discussing some hardware and software as well as selection considerations the researcher should weigh before choosing a microprocessor-based system.
Closed-loop subspace identification methods: an overview

In this study, the authors present an overview of closed-loop subspace identification methods found in the recent literature. Since a significant number of algorithms has appeared over the last decade, the authors highlight some of the key algorithms that can be shown to have a common origin in autoregressive modelling. Many of the algorithms found in the literature are variants on the algorithms that are discussed here. In this study, the aim is to give a clear overview of some of the more successful methods presented throughout the last decade. Furthermore, the authors retrace these methods to a common origin and show how they differ. The methods are compared both on the basis of simulation examples and real data. Although the main focus in the literature has been on the identification of discrete-time models, identification of continuous-time models is also of practical interest. Hence, the authors also provide an overview of the continuous-time formulation of the identification framework.
MATLAB design of sliding mode multivariable control

A MATLAB Toolbox is now available for the computer aided design of the sliding mode and feedback control law for variable structure control (VSC) systems. The methods programmed allow the straightforward design of sliding hyperplanes by various approaches including complete and partial eigenstructure assignment, and reduction of the sensitivity to unmatched parameter variations. In addition the user can design the control law and simulate the closed-loop system. This package can be used with little knowledge required of VSC theory. <<ETX>>
Intangible assets for academic libraries: Definitions, categorization and an exploration of management issues

Purpose – The aim of the paper is explore issues related to the intangible assets in libraries and provide first results regarding their identification, categorization, valuation and reporting.Design/methodology/approach – A review of the literature for the intangible assets in academic libraries is provided and a number of important approaches related to the management of intangible assets are discussed.Findings – Library and information services include both tangible and intangible assets. In the economic reality of the twenty‐first century, the intangible assets critically contribute, in combination with the tangible assets, to the overall value and performance of academic libraries. Specific management actions and activities related to intangible assets are required.Research limitations/implications – This paper contributes to the discussion of the significance of intangible assets and some initial results are exhibited. The intention of this work however is to stimulate further research on the manage.
Toward realization of collective intelligence and emergent robotics

Describes a survey of studies on collective intelligence of autonomous robotic agents, especially emergent functionality in a swarm. We have many tasks that we want to leave to autonomous robot systems for example, maintenance of nuclear power pants, rescue in disasters, management of mountainous forest, house keeping, etc. However, there are few robot systems which execute those tasks although factories have already many robots for production. The key is adaptability, robustness and autonomy. Motion planning algorithms still have power but require exact models of environments and robots. We have researched collective intelligence and emergence of cooperation by a swarm of autonomous robots. Although collective robot systems have potential power it can not be handled by traditional motion planning. By the analysis of behavior and development of instruments, we are trying to realize methods to handle collective intelligence and to utilize emergent functionality of robotic systems.
State Attainability Analysis of Petri Net with Discrete Time Span

When a event must be occur in a series of time span, it will not be fit enough to exhibit system’s time speciality if we use existing time Petri net. Thus, This paper propose a discrete time span Petri net (DTSPN) on the base of time Petri net which using to solve modeling of real system with restrict time span. , emphasize on the analysis of state attainability, based on the algorithm of distinguishing model’s valid transaction sequence, a new algorithm about state attainability aimed at DTSPN is proposed, the simulation and analysis capability of Petri net is improved. Finally, example’s analysis indicate that discrete time span Petri net is valid in modeling of real system.
An adaptive non-uniform sign clipping preprocessor (ANUSC) for real-time autocorrelative pitch detection

In its nature, the autocorrelation function (ACF) is well suited to periodicity detection. As exemplified by the SIFT algorithm, and discussed by Sondhi in a classic paper, the success of ACF pitch detection is very much dependent on the availability of an efficient preprocessor. Often, the combination of low pass Filtering and Uniform Sign Clipping (FUSC) is chosen as a preprocessor because it yields an algorithm which is easily implemented in real-time. A disadvantage of using FUSC is that one does not obtain a reliable V-UV decision from the ACF alone. Also, FUSC algorithms often fail when successive pitch pulses vary widely in amplitude (at the onset and termination of voicing, or when the vocal cords of the speaker vibrate anomalously). Adaptive Non-Uniform Sign Clipping (ANUSC) is introduced as a means of coping with these problems while achieving the same computational advantages as with FUSC.
Access to Computer Systems with Graphical User Interface by Touch: Haptic Discrimination of Icons

The inherently visual nature of graphical user interfaces often makes it difficult for visually impaired or blind people to access current information systems. The purpose of this study is to examine the possibility of using haptic modality for “blind access” to graphical information systems by examining haptic discrimination performance of icons under geometrically transformed conditions. Seven sighted and five congenitally blind subjects discriminated ten icons by touch using the raised line drawings and the Optacon. Two haptic tasks were performed for each subject: 1) naming the icons, and 2) matching the icons under geometrical transformations. The performance in haptic discrimination of icons was dependent on display type and transformation. No significant difference in accuracy and latency between sighted and blind subjects could be found for the two-dimensional tactile displays employed in the study. The results of this study may have implications in the design of tactile communication systems.
Formal Functions in Menuets by Mozart, Part 3: A Comparison with Johann Christian Bach

This essay charts formal functions (after Caplin) in named menuets by Johann Christian Bach (1735-1782) and compares them with menuets by Mozart. Bach is notable for exploiting the “galant theme,” presumably because of its ability to emphasize melody and to maximize contrast, in accordance with aesthetic ideals of the galant style.
CyliCon: a software platform for the creation and update of virtual factories

CyliCon is a Windows-based application for creating, updating and managing 3D computer models of factories from input digital images. The software is geared towards industrial piping environments. The resulting 3D representation of factory, being reconstructed from camera images of the site, is "as-built" and reflects the reality. This can be used for the purpose of updating and maintaining the industrial site. In addition, special attention has been given to the ease of use, portability and adaptability of the software. A well-designed user interface makes the process of reconstructing a 3D model simple and fast. CyliCon is also easy to integrate into an existing factory data and workflow, since it can read data from and export data to a variety of commercial databases and formats. CyliCon is a programmable platform, which can be customized by customers to their own needs.
Introduction: phonological models and experimental data*

Under traditional conceptions of linguistics, the phonology of a language o is restricted to a generally finite set of facts o However, once linguistics is regarded as (and not merely called) cognitive psychology, phonology, even the phonology of the word, ceases to be a finite domain: the range of data is limited only by the investigator’s imagination in devising tasks that tap into his subjects’ phonological knowledge and is not limited to the existing vocabulary of the language. (McCawley 1986: 38)
An efficient method for automatic stereoscopic conversion

In this paper, we present an efficient method for automatic conversion from a monoscopic video to a stereoscopic video. Our method consists of two main steps: object segmentation and depth calculation. The proposed object segmentation algorithm is based on both image motion information and colour information, which can yield visually satisfactory results. The proposed depth calculation algorithm also considers the image motion information, along with an efficient algorithm for depth value correction. KLT tracker algorithm is adopted in this paper for robust and accurate motion estimation, and an approach is proposed to make KLT tracker algorithm more efficient. The experimental results show that our method can achieve good performance .
Low noise integrating preamplifier with integral ADC

There are several situations where a low noise charge integrating preamplifier is required. In applications where multiple data channels are used, the preamplifier output is often digitised for subsequent processing in a data acquisition system. A good example of such a system is the analogue readout circuitry for a flat-panel active matrix imaging array. To address this type of application we have designed an integrating preamplifier circuit with integral analogue-to-digital converter. By eliminating noisy elements in the feedback loop we have been able to constrain overall noise level while achieving relatively low current consumption with wide bandwidth. The circuit may be operated in linear or logarithmic mode. Results are presented for an implementation of the circuit designed using the 2.4 /spl mu/m Mietec CMOS process.