Multivariate Adaptive Regression Splines in Standard Cell Characterization for Nanometer Technology in Semiconductor

Multivariate adaptive regression splines (MARSP) is a nonparametric regression method. It is an adaptive procedure which does not have any predetermined regression model. With that said, the model structure of MARSP is constructed dynamically and adaptively according to the information derived from the data. Because of its ability to capture essential nonlinearities and interactions, MARSP is considered as a great fit for high-dimension problems. This chapter gives an application of MARSP in semiconductor field, more specifically, in standard cell characterization. The objective of standard cell characterization is to create a set of high-quality models of a standard cell library that accurately and efficiently capture cell behaviors. In this chapter, the MARSP method is employed to characterize the gate delay as a function of many parameters including process-voltage-temperature parameters. Due to its ability of capturing essential nonlinearities and interactions, MARSP method helps to achieve significant accuracy improvement

Approaching simulation to modelers: a user interface for large-scale demographic simulation

Extended version / Versió extesaAgent-based modeling is one of the promising modeling tools that can be used in the study of population dynamics. Two of the main obstacles hindering the use of agent-based simulation in practice are its scalability when the analysis requires large-scale models such as policy studies, and its ease-of-use especially for users with no programming experience. While there has been a significant work on the scalability issue, ease-of-use aspect has not been addressed in the same intensity. This paper presents a graphical user interface designed for a simulation tool which allows modelers with no programming background to specify agent-based demographic models and run them on parallel environments. The interface eases the definition of models to describe individual and group dynamics processes with both qualitative and quantitative data. The main advantage is to allow users to transparently run the models on high performance computing infrastructures.Postprint (author's final draft

GIS in Healthcare

The landscape of healthcare is dynamic, gradually becoming more complicated with factors beyond simple supply and demand. Similar to the diversity of social, political and economic contexts, the practical utilization of healthcare resources also varies around the world. However, the spatial components of these contexts, along with aspects of supply and demand, can reveal a common theme among these factors. This book presents advancements in GIS applications that reveal the complexity of and solutions for a dynamic healthcare landscape

A METHODOLOGY FOR AUTONOMOUS ROOF BOLT INSTALLATION USING INDUSTRIAL ROBOTICS

The mining sector is currently in the stage of adopting more automation, and with it, robotics. Autonomous bolting in underground environments remains a hot topic for the mining industry. Roof bolter operators are exposed to hazardous conditions due to their proximity to the unsupported roof, loose bolts, and heavy spinning mass. Prolonged exposure to the risk inevitably leads to accidents and injuries. The current thesis presents the development of a robotic assembly capable of carrying out the entire sequence of roof bolting operations in full and partial autonomous sensor-driven rock bolting operations to achieve a high-impact health and safety intervention for equipment operators. The automation of a complete cycle of drill steel positioning, drilling, bolt orientation and placement, resin placement, and bolt securing is discussed using an anthropomorphic robotic arm.A human-computer interface is developed to enable the interaction of the operators with the machines. Collision detection techniques will have to be implemented to minimize the impact after an unexpected collision has occurred. A robust failure-detection protocol is developed to check the vital parameters of robot operations continuously. This unique approach to automation of small materials handling is described with lessons learned. A user-centered GUI has been developed that allows for a human user to control and monitor the autonomous roof bolter. Preliminary tests have been conducted in a mock mine to evaluate the developed system\u27s performance. In addition, a number of different scenarios simulating typical missions that a roof bolter needs to undertake in an underground coal mine were tested

Machine Analysis of Facial Expressions

No abstract

Integration of Wavelet and Recurrence Quantification Analysis in Emotion Recognition of Bilinguals

Background: This study offers a robust framework for the classification of autonomic signals into five affective states during the picture viewing. To this end, the following emotion categories studied: five classes of the arousal-valence plane (5C), three classes of arousal (3A), and three categories of valence (3V). For the first time, the linguality information also incorporated into the recognition procedure. Precisely, the main objective of this paper was to present a fundamental approach for evaluating and classifying the emotions of monolingual and bilingual college students.Methods: Utilizing the nonlinear dynamics, the recurrence quantification measures of the wavelet coefficients extracted. To optimize the feature space, different feature selection approaches, including generalized discriminant analysis (GDA), principal component analysis (PCA), kernel PCA, and linear discriminant analysis (LDA), were examined. Finally, considering linguality information, the classification was performed using a probabilistic neural network (PNN).Results: Using LDA and the PNN, the highest recognition rates of 95.51%, 95.7%, and 95.98% were attained for the 5C, 3A, and 3V, respectively. Considering the linguality information, a further improvement of the classification rates accomplished.Conclusion: The proposed methodology can provide a valuable tool for discriminating affective states in practical applications within the area of human-computer interfaces

Survey of Human Models for Verification of Human-Machine Systems

We survey the landscape of human operator modeling ranging from the early cognitive models developed in artificial intelligence to more recent formal task models developed for model-checking of human machine interactions. We review human performance modeling and human factors studies in the context of aviation, and models of how the pilot interacts with automation in the cockpit. The purpose of the survey is to assess the applicability of available state-of-the-art models of the human operators for the design, verification and validation of future safety-critical aviation systems that exhibit higher-level of autonomy, but still require human operators in the loop. These systems include the single-pilot aircraft and NextGen air traffic management. We discuss the gaps in existing models and propose future research to address them