Miracle-dz/UniFAR-FTUs huggingface dataset:
Modeling, Characterization and Compensation of Performance Variability using On-chip Monitor Circuits for Energy-efficient LSI

Modeling, Characterization and Compensation of Performance Variability using On-chip Monitor Circuits for Energy-efficient LSI by A.K. M. Mahfuzul Islam Doctor of Philosophy in Informatics Kyoto University Professor Hidetoshi Onodera, Chair This thesis targets energy-efficiency improvement of LSI by reducing variability effect with the help of on-chip monitor circuits. Design of area-efficient on-chip monitor circuits and its usage to compensate variability are discussed. The proposed techniques are all verified with real chip measurement. LSI has become an integrated part of today’s society. Energy-efficient and high reliability of LSI is required to sustain our society as well as meet today’s high demand of computing power. Technology and supply voltage scaling have been effecting so far to improve LSI performance. However, due to aggressive technology scaling to create miniaturized devices, variability effect has now become the bottleneck to the advancement of LSI. Intrinsic transistor variability as well as environmental variability such as supply voltage result in large performance variability of LSI. The most severe effect of variability is the stop of supply voltage scaling. In the conventional worst-case design of LSI, large amount of margin is allocated to ensure correct operation. This margin prevents lowering of supply voltage as the amount of margin has become comparable to the required supply voltage. In order to continue supply voltage scaling further, collaboration between process and design technology is needed. This thesis presents a methodology on area and cost-efficient modeling and characterization of transistor variability in digital circuits using on-chip monitor circuits. A topology-reconfigurable monitor circuit is proposed for area-efficient implementation of monitor circuit. Post-silicon tuning technique of performance with adaptive body bias and its effect on energy-efficiency are then investigated. The methods presented in the thesis enables accurate estimation of LSI performance and increases energy-efficiency by incorporating post-silicon tuning into design phase.
Nanoconfined light metal hydrides for reversible hydrogen storage

Nano-sizing and scaffolding have emerged in the past decade as important strategies to control the kinetics, reversibility, and equilibrium pressure for hydrogen storage in light metal hydride systems. Reducing the size of metal hydrides to the nanometer range allows fast kinetics for both hydrogen release and subsequent uptake. Reversibility of the hydrogen release is impressively facilitated by nanoconfining the materials in a carbon or metal–organic framework scaffold, in particular for reactions involving multiple solid phases, such as the decomposition of LiBH_4, NaBH_4, and NaAlH_4. More complex is the impact of nanoconfinement on phase equilibria. It is clear that equilibrium pressures, and even decomposition pathways, are changed. However, further experimental and computational studies are essential to understand the exact origins of these effects and to unravel the role of particle size, physical confinement, and interfaces. Nevertheless, it has become clear that nanoconfinement is a strong tool to change physicochemical properties of metal hydrides, which might not only be of relevance for hydrogen storage, but also for other applications such as rechargeable batteries.
Recognizing Planes of Road Terrain by 3D Scanning with Line Extraction

Abstract This paper deals with a method to recognize road terrain for a mobile robot to move in artificial environment structured for human. When a robot navigates in or near building, it is required to recognize road terrain and surroundings of both indoor and outdoor environment including slope, steps, stairs, and so on. For that, a technique to detect planes by 3D scanning with line segmentation was proposed in this research. It can detect planes effectively not by adapting typical random searching scheme but by utilizing line segment extracted from preprocessing of each planar scan data. Experiments with the proposed method to recognize the environment near building were carried out.
The changing roles and identities of professional managers in UK higher education

Taylor and Francis Ltd PSP_A_225814. gm 10.1080/13603 00701259022 Perspectives 360-3108 (pri 2 07 & Francis 1 0 00 pril 2007 C liaWhitchur h c lia.wh tchu h@kcl.ac.uk Introduction Professional managers in UK universities represent an increasingly diverse grouping of staff. As boundaries blur between academic activity and the contributory functions required to deliver that activity in mass higher education systems and markets, their roles have become more fluid. Quasi-academic territories are developing in which professional managers’ activities converge and overlap with those of academic and other colleagues. As a result, existing definitions and descriptors, based on outmoded concepts of ‘administration’ and ‘management’, no longer provide clear understandings of professional identities and potentials. As the university is transformed from a community of scholars into a ‘community of professionals’ (AUT 2001) the concept of knowledge management may assist in explaining the changes that are occurring, and in preparing professional staff for uncertain and complex futures. This paper is based on an interim report undertaken for the UK Leadership Foundation for Higher Education (LFHE) in relation to a research project entitled Professional Managers in UK Higher Education: Preparing for Complex Futures. The full interim report can be found on the LFHE website: http://www.lfhe. ac.uk/ projects.
Feature matching with Procrustes alignment and graph editing

We describe a novel approach for point-set registration which can deal with affine distortion and structural corruption. Procrustes analysis is used to pre-align the two point-sets. This eliminates the translation, scale and rotation deviations between both point-sets. The novelty of the approach is introducing structural constraints into Procrustes alignment to improve the registration. The constraints are established by means of Delaunay triangulation. Nodes are deleted as outliers if their matched pattern of correspondences are inconsistent. By iterating between procrustes alignment and graph editing we improve the performance of the point alignment process. The experimental results reveal that the new alignment method is more robust and accurate when structural corruption is a limiting factor.
Grobner Bases Computation and Mutant Polynomials

Gröbner bases are the single most important tool in applicable algebraic geometry. They are used to compute standard representatives in the residue classes of a polynomial ring modulo an ideal and they can be used as a step towards solving a system of polynomial equations. Applications in science and technology are abundant, particularly in cryptography and coding theory. Computation of Gröbner bases is challenging. It has computational complexity double exponential in the worst-case and exponential in average. Although this makes Gröbner bases intractable in many cases, a great deal of effort has been devoted to improve algorithms to compute faster larger Gröbner bases. The concept of mutant polynomials, introduced by Ding in 2006, quantifies the deviation from the average case, leading to faster algorithms that profit on this degeneration. In this dissertation we introduce three algorithms aiming at improving Gröbner bases computation that are inspired by mutant polynomials. The MutantF4 algorithm modifies Faugère’s F4 by exploiting the presence of mutant polynomials. The MXL3 algorithm introduces a termination condition based on the absence of mutant polynomials. And the MGB algorithm combines MXL3 with the idea of preempted reduction to avoid storing large sets of polynomials. Each new idea
Basic Characteristics of Speech Signal Analysis

Speech signal include several fundamental characteristics and it is divided into two types of features such as time-domain speech signal features and frequency domain signal features which is mainly used for segmenting speech signals. Three important characteristics of speech signal is short time zero crossing, energy and auto correlation. The short time energy and short time zero crossing rates are important properties for detecting the end point of a speech signal analysis. Especially these two properties are used in voiced and unvoiced segmentation and classification.
An MPI messaging layer for network processors

We describe the design and implementation of M P I N P , a Myrinet communication system tailored to support L A M , a public domain version of M P I . T h e goals of M P I N P are to reduce the time spent on the host for message processing, and to promote the overlap of computation and communication. M P I N P achieves these goals by off-loading as much of the computation as possible to the network processor. M P I N P relieves the host of several tasks, making more C P U cycles available to the application, but pays a price for heavy utilization of the slower network processor, by adding a significant overhead to message latency. Although part of the overhead can be attributed to the hardware of our testbed, the philosophy of M P I N P characteristically does not provide the best latency possible because of performance disparities between host and network processors. Users are left with the choice of deciding on the trade-off of latency versus host overhead. Applications which are not latency bound can expect to perform well on M P I N P .
Beyond 2D in articulatory data acquisition and analysis

The potential of the extension of traditional EMMA recordings to 5D in a new articulographic system is illustrated. “5D” means that each sensor delivers three translational and two rotational coordinates. This high information density gives the following advantages: lateral tongue movements are a source of information rather than error; subject’s head does not need to be fixed relative to the apparatus; the six degrees of freedom of rigid structures can be efficiently captured; rotational information provides additional constraints on the possible shape of deformable structures such as the tongue. Regarding analysis, we discuss the use of 3-way statistical models in recent developments of the PARAFAC tradition, specifically considering the application to multispeaker 3D tongue surface data from MRI scans, an area that presents an interesting and largely unexplored challenge to these models. In addition, a new algorithm for deriving tongue surfaces through efficient merging of axial and coronal scans is presented.
Performance analysis of a low-cost current-source 1-ph grid-connected PV inverter

This paper investigates the design and performance of a 150 W single-phase current-source grid-connected inverter topology that is based on a PV array and DC link inductor acting as a constant-current source. The inverter is implemented using a single boost switch, an H-bridge inverter, and a CL output filter. The inverter output current is simply controlled using the boost switch and open-loop or feedforward control. The dark I-V configuration is used to simulate two series PV modules. Comprehensive test results are obtained to validate the computer simulation results. Furthermore, the proposed inverter's ability to deliver a sinusoidal current to the grid while meeting the appropriate standards, i.e. total harmonic distortion and power factor requirements, is also examined for various modulation index values and irradiances.
Qualitative Analysis as a Public Event: The Documentation of Category Development Procedures

Although the use of qualitative methods has increased greatly in popularity, many still question the defensibility of the qualitative orientation. It is argued here that questions concerning the credibility and status of qualitative inquiry are related to the privatization of qualitative analysis. The particular area of qualitative analysis I focus on is the process of category development. It is my argument that qualitative researchers must make all aspects of their analysis open to public inspection. In order to achieve this objective, I propose a two-dimensional model designed to facilitate the documentation of procedures used to generate categories. The domain representing the first dimension specifies the various components or actions associated with the development of categories. The second domain addresses the temporal aspects of category development. The intersection of these two analytical domains forms a two-dimensional table that may be used to document the nature of the analytical actions employed in a given study. An empirical example is presented with the intention of illustrating the utility of the approach. The implications of this approach, and some possible criticisms, are considered.
La vie privée comme outil de gouvernance. Surveiller et fidéliser le lien marchand

La reproduction ou représentation de cet article, notamment par photocopie, n'est autorisée que dans les limites des conditions générales d'utilisation du site ou, le cas échéant, des conditions générales de la licence souscrite par votre établissement. Toute autre reproduction ou représentation, en tout ou partie, sous quelque forme et de quelque manière que ce soit, est interdite sauf accord préalable et écrit de l'éditeur, en dehors des cas prévus par la législation en vigueur en France. Il est précisé que son stockage dans une base de données est également interdit.
HIL Tuning of UAV for Exploration of Risky Environments

In this paper the latest results of an HIL architecture, optimized to develop and test UAV platforms are presented. This architecture has been used to realize the different devices involved in the navigation and stability control of the Volcan UAV, a plane designed to operate in volcanic environments. The proposed architecture is strongly modular and flexible and allows the development of avionic hardware and software, testing and tuning the involved algorithms with non-destructive trials. A flight simulator (X-Plane) with a suitable plane model and plug-in, has been adopted to simulate the UAV dynamics. The flight simulator, interfaced with the real electronic boards, allows an easy tuning of all the control parameters and data collecting for test and validation. The effectiveness of adopted methodology was confirmed by several flight tests performed subsequently by using the designed avionic modules on the real UAV.
Mobile Agent Based Resource Monitoring for Job Submission in Grid with Virtual Database

The Grid is a collection of large scale computational resources with additional complexity and provides an infrastructure to solve problems that are complicated. The distribution and heterogeneity of resources makes monitoring an important task in the Grid environment. In this paper, an approach is proposed to monitor the resources using mobile agents to select the suitable node for job submission and monitor the progress of the job. The Virtual DataBase (VDB) concept is used to reduce the query processing time. The systems in the grid are classified according to their resource consumer groups to form several VDBs. This enables a faster node selection process. The experimental results obtained have shown that there is a greater performance improvement while using our approach compared to the currently existing system.
An approach to automated scoring of architectural designs

An automated approach to scoring architectural designs of building sites was devised. Design drawings were represented in the computer as a database consisting of a series of objects and their locations and relationships to other objects. Designs were automatically scored by: (a) determining whether or not certain basic requirements were met (such as parking, handicapped access, and building within site boundaries) and (b) determining the extent to which the drawings met criteria of efficient site design. The drawings had been scored earlier by a panel of expert registered architects. The automated technique was able to reproduce the human jurors' ratings for many drawings. In particular, drawings that the automated technique failed were quite likely to have been failed by human jurors as well.
Space-time modulated codes for memory channels: capacity and information rates, zero-forcing decision feedback equalizer

Modulated codes (MC) are error correction codes (ECC) defined on the complex field. In this paper, we study space-time MC for memory channels. Similar to MC for single antenna systems, the space-time MC can also be naturally combined with a multiple antenna system with ISI. We derive some lower bounds on the capacities C and the information rates I/sub i.i. d. / of the MC coded systems. As a property of space-time MC, it is shown that, for an N transmit and N receive antenna channel with memory and AWGN, there exist MC with arbitrary rates r, 0<r<1, such that the MC coded systems have larger information rates I/sub i.i. d/ than the original system does at relatively low channel SNR. In this paper, we also propose an MC coded zero-forcing decision feedback equalizer (ZF-DFE).
Coagulation, Flocculation and Clarification of Drinking Water

The intent of this paper is to provide cursory information about coagulation, flocculation and clarification. This knowledge will provide a basis for understanding the needs of the customer wishing to monitor these processes. There is no attempt to provide an exhaustive description of various coagulants, coagulant aids, flocculants, mechanical flocculation techniques, clarification designs or configurations or a comparison of relative merits of the various designs, troubleshooting or operational theories. Consult citations in the list of references if more detailed information is desired.
Mean Response Delay Estimation for HTTP over SCTP in Wireless Internet

Hyper text transfer protocol (HTTP) over transmission control protocol (TCP) is currently used to transfer objects in the Internet. Stream control transmission protocol (SCTP), an alternative to TCP, which allows for independent delivery among streams, and can thus reduce the mean response delay of web object. We present an analytical model to find the mean response delay for HTTP over SCTP, therefore, estimate the effectiveness of SCTP over TCP. Typical TCP delay models assume the wired environment. On the contrary, the proposed model in this paper assumes the multiple packet losses and wireless environment where fast retransmission is not possible due to small window. The estimated mean response time can be used the benchmark to meet quality of service (QoS) at end-user. We validate the accuracy of our model using experiments. It is shown that the differences between the results from model and those from experimental are very small below 6 % on average. We also find that the mean response delay for HTTP over SCTP is less than that for HTTP over TCP.
Visualization of multi-INT fusion data using Java Viewer (JVIEW)

Visualization is important for multi-intelligence fusion and we demonstrate issues for presenting physics-derived (i.e., hard) and human-derived (i.e., soft) fusion results. Physics-derived solutions (e.g., imagery) typically involve sensor measurements that are objective, while human-derived (e.g., text) typically involve language processing. Both results can be geographically displayed for user-machine fusion. Attributes of an effective and efficient display are not well understood, so we demonstrate issues and results for filtering, correlation, and association of data for users - be they operators or analysts. Operators require near-real time solutions while analysts have the opportunities of non-real time solutions for forensic analysis. In a use case, we demonstrate examples using the JVIEW concept that has been applied to piloting, space situation awareness, and cyber analysis. Using the open-source JVIEW software, we showcase a big data solution for multi-intelligence fusion application for context-enhanced information fusion.
Improving the Understanding of Statistical Significance

The use of effect size as an approach to improve the communication of the clinical or policy significance of a statistically significnat t-test was investigated with three groups of statistics students Presenting only the values of t, df, and probability resulted in an overestimation of the difference between the means of a control group and the treatment group Including a statement about effect size and the percentile rank of the mean of the treatment group with respect to the control group, improved the students' accuracy (p < .05). Providing effect size information enabled undergraduates to nearly match the accuracy of graduate students who were not given effect size information.
Algorithm to Detect Spurious Communications in Vehicular Ad hoc Networks

Vehicular ad hoc network is a form of mobile ad hoc networks in which end nodes are vehicles communicating to each other without a central control or pre-defined infrastructure. An important security consideration is event based alerts received by VANET nodes. In the presence of attackers, a chance to receive malicious alerts is increased and a response to such messages by the receiver can be dangerous. Therefore, an algorithm is designed to detect such communications in order to protect vehicles in VANET environments. The focus in this paper remains on the evaluation of proposed algorithm in terms of computational requirements. The computational complexity of suggested algorithm is determined to be in O(n 2 ) after computing the processing costs at individual levels of execution. It is also found that the algorithm is an efficient scheme of detecting spurious alert messages in VANETs as compared to some other suggested methods with equivalent or higher computation cost.
Cellular Automata as the Basis of Integrated Dynamic Regional Modelling

We present an integrated model of regional spatial dynamics consisting of a cellular automaton-based model of land use linked both to a geographic information system (GIS) and to standard nonspatial models of regional economics and demographics, as well as to a simple model of environmental change. The operation of the model is illustrated with an application to the island of St Lucia developed for the purpose of providing insights into the possible socioeconomic consequences for the island of global climate change. On the basis of results from this and other applications of the model, we conclude that cellular automata not only permit a detailed modelling and realistic prediction of land-use patterns, but they also provide a means of introducing the effects of spatially localized environmental factors, as represented in the GIS, into the operation of standard economic and demographic models, which are otherwise unconstrained.