Miracle-dz/UniFAR-FTUs huggingface dataset:
A comparative study on radiometric normalization using high resolution satellite images

Remotely sensed multitemporal, multisensor data are often required in Earth observation applications. A common problem associated with the use of multisource image data is the grey value differences caused by non‐surface factors such as different illumination, atmospheric, or sensor conditions. Such differences make it difficult to compare images using the same colour metric system. Image normalization is required to reduce the radiometric influences caused by non‐surface factors and to ensure that the grey value differences between temporal images reflect actual changes on the surface of the Earth.A variety of image normalization methods, such as pseudoinvariant features (PIF), dark and bright set (DB), simple regression (SR), no‐change set determined from scattergrams (NC), and histogram matching (HM), have been published in scientific journals. These methods have been tested with either Landsat TM data, MSS data or both, and test results differ from author to author. However, whether or not existing methods could be adopted for normalizing high resolution multispectral satellite images, such as IKONOS and QuickBird, is still open for discussion because of the dramatic change in spatial resolution and the difference of available multispectral bands. In this research, the existing methods are introduced and employed to normalize the radiometric difference between IKONOS and QuickBird multispectral images taken in different years. Some improvements are introduced to the existing methods to overcome problems caused by band difference and to achieve more stable and better results. The normalized results are compared in terms of visual inspection and statistical analysis. This paper examined whether or not existing methods can be directly adopted for image normalization with high resolution satellite images, and showed how these methods can be modified for use with such images.
Composite systems operating reserve assessment using a reliability framework

Unit commitment analysis in composite generation and transmission systems is presented in this paper using a reliability approach designated as the well-being framework. Assessment of unit commitment in a composite system incorporates the ability of the transmission system to deliver the generated energy to the major load points. A contingency enumeration technique is used to determine the composite system well-being indices for a given number of committed units. The IEEE-Reliability Test System (IEEE-RTS) is used to illustrate the techniques and procedures presented in this paper.
Signal Acquisition and Tracking of Chirp-Style GPS Jammers

Ryan H. Mitch is a Ph.D. candidate in the Sibley School of Mechanical and Aerospace Engineering at Cornell University. He received his B.S. in Mechanical Engineering from the University of Pittsburgh and his M.S. in Mechanical Engineering from Cornell University. His current research interests are in the areas of GNSS technologies and integrity, nonlinear estimation and filtering, and signal processing.
Power-Consumption Analysis through Web-Based Visual Data Exploration

Abstract In recent years, the increasing capabilities of current technologies have made the acquisition and storage of large datasets an easy task. However, most times their unmanageable size, along with their complexity makes it a challenge to handle and analyze them. The emerging field of visual analytics relies on visualization principles and interactive interfaces to provide ways for amplifying human cognition, so that the information processing is improved and a better understanding of these datasets is achieved. In addition, current technologies to develop visual interfaces allow to develop powerful interaction mechanisms that enable the user to be an active part in the process. In this paper, data visualization foundations and web-based methods are considered for user-driven supervision tasks in decision-support systems. A real case consisting in the analysis of electric power demand in university buildings is presented via a web application developed using the recent data visualization library called D3. Time-series visualization and similarity maps are represented along with interactive techniques, allowing a dynamic data exploration.
Evaluation der Nutzbarkeit von PGP und S/MIME in Thunderbird

Die Nutzung von E-Mails zur Kommunikation steigt weiterhin taglich. Obwohl Nutzer glauben, dass ihre E-Mails mitgelesen werden und dies auch „schlimm“ finden, werden trotzdem keine Sicherheitsmecha-nismen genutzt. Einer der genannten Grunde ist der hohe Aufwand bei der Installation von Sicherheits-mechanismen in E-Mail-Programmen. In diesem Artikel zeigen wir, ob die Benutzbarkeit von PGP und S/MIME in Mozilla Thunderbird gege-ben ist, wenn sie durch einen versierten Anwender bereits vorinstalliert wurden. Wir fuhren einen Cogni-tive Walkthrough mit Experten und einem Laien durch. Auf Grundlage der Ergebnisse beschreiben wir Verbesserungsvorschlage und kommen zu dem Ergebnis, dass es weiterhin Verbesserungsbedarf gibt.
Proceedings of the 7th ACM international symposium on Modeling, analysis and simulation of wireless and mobile systems

The symposium provides an international forum for the discussion and presentation of new results and achievements in the research field of modeling and analysis of complex wireless and mobile systems. The success of such a symposium is due to the scientific merit of the presented papers, as well as to the liveliness of the discussions following the talks. Thanks to the success of previous editions of MSWiM, where high technical quality papers have been selected and presented, we welcome this 7th edition of MSWiM, with the excellent contribution of the many authors who submitted their valuable work.Besides authors, we would like to thank the Program Committee members and referees for their careful work in reviewing and selecting the papers. We are especially grateful to the Program Co-Chairs, Carla-Fabiana Chiasserini and Lorenzo Donatiello, who did an outstanding amount of work in handling the paper submissions and preparing the very good conference program. We are very grateful to the Finance and Steering Committee Chair, Azzedine Boukerche, for his hard work in planning and supporting MSWiM as the main research forum for Modeling, Analysis and Simulation of Wireless and Mobile Systems. We wish to thank Luciano Bononi, Helen Karatza and Mirela Sechi Moretti Annoni Notare, Publicity Co-Chairs, for their pervasive advertising within the whole community. Thanks to Luciano Bononi, Webmaster and System Chair, for his excellent work and Moreno Marzolla for the symposium local organization.
Computer program for preliminary design analysis of axial-flow turbines

The program method is based on a mean-diameter flow analysis. Input design requirements include power or pressure ratio, flow, temperature, pressure, and speed. Turbine designs are generated for any specified number of stages and for any of three types of velocity diagrams (symmetrical, zero exit swirl, or impulse). Exit turning vanes can be included in the design. Program output includes inlet and exit annulus dimensions, exit temperature and pressure, total and static efficiencies, blading angles, and last-stage critical velocity ratios. The report presents the analysis method, a description of input and output with sample cases, and the program listing.
A Novice Approach of Designing CMOS Based Switchable Filters for ASP Applications

A switchable filter can be designed and fabricated with the desired range and parameters, materials say quartz substrate for RF MEMS based applications. The mathematical modeling of the resonators using the desired characteristics of the capacitive coupled filters can be implemented with low insertion loss. In order to design this filter, one can employ a PIN diode along with a semi-lumped resonator. This PIN diode has been used so as it performs the function of electronic switching i.e. the activating and deactivating the filter circuit action without any compromise in the overall performance of the circuit. These filters circuit are designed and implemented in a way so that it can accommodate the external quality factor in order to ensure a good impedance match at each band of operation. The most dominant parameters and characteristics of the second order switchable filter realization. In this work, the author has put an effort to discuss the most desired parameters of the various switchable filters. In these filter circuits, CMOS devices has been used to design because of their well accepted features i.e. low power loss and requirement of low input signal for operation in addition to other ones. The performance of the proposed CMOS based switchable filters has been discussed with its simulated results that have been carried out by using pSpice software with 0.18 micron technology. The insertion loss of this circuit is with the acceptable limits i.e. 2.9 dB and a tenability within two desired frequencies.
An integrated fuzzy control system design for nonlinear systems-fuzzy modeling and robust controller design via LMIs

This paper presents an integrated LMI approach to fuzzy modeling and controller design for nonlinear systems with unknown parameters. The main feature is to achieve iteratively and effectively fuzzy modeling and controller design. Three LMI conditions to identify the parameters of a Takagi-Sugeno fuzzy model (T-S fuzzy model) are derived. More importantly, we design a robust controller that compensates the identification error occurred in the fuzzy modeling part. The main idea is to transform the error into uncertainty in the T-S fuzzy model and to design a robust fuzzy controller by robust stability LMI conditions newly derived in this paper. A design example shows the utility of the integrated LMI approach to fuzzy modeling and controller design.
Internet Usage Mining Using Random Forests

Nowadays Internet service providers gradually realize that in order to attract and keep more users they'll need more than just a hunch. Especially as larger and larger data emerges, data mining is finally in the spotlight. This thesis is about Internet usage analysis using random forests, which is a highly efficient and widely used machine learning algorithm both in academia and real world. The data set here is new users' behaviors on a website T. Everyday, thousands of people sign up, however, not all of them continue using T. The aim is to find out what makes some of the new users decide to leave. Variable importance in random forests is really helpful in this situation. However it tends to be biased when dealing with multiple types of input variable, and correlated variables. To fix the bias, additional implementations of random forests are needed, such as using conditional inference trees, and conditional permutation. As a result, there are some interesting findings, such as actual usage related variables are significant, and the number of clicks from search is also important.
Unified theory of torque production in AC, DC and reluctance motors

This paper uses the flux-MMF diagram to compare and contrast the torque production mechanism in seven common types of electric motor. The flux-MMF diagram is a generalized version of the flux-linkage versus current (/spl psi/-i) diagram for switched-reluctance motors. It is illustrated for switched-reluctance, synchronous-reluctance, induction, brushless AC, brushless DC, interior PM and DC commutator motors. The calculated flux-MMF diagrams for motors with the same electromagnetic volume, airgap, slotfill and total copper loss are shown and are used to compare the low-speed torque and torque ripple performance. The motor designs used were reasonably optimized using a combination of commercially available motor CAD packages and finite-element analysis. <<ETX>>
Micropower transconductor for very-low frequency filters

A very simple approach to realize very-low frequency continuous-time filters is proposed. The very-low cutoff frequencies are achieved by the use of very-small transconductance transconductor which is based on the cascading of g/sub m/-g/sub m//sup -1/. For demonstration, a first-order g/sub m/-C lowpass filter was designed and simulated. The simulation results confirming the theory showed that 5 Hz and 10 Hz cutoff frequencies can be obtained with the power dissipation of 88 nW and 66 nW, respectively, while the integrating capacitor is only 1 pF.
A speaker recognition system based on sufficient-statistics-space channel-compensation and dot-scori

This paper briefly describes the dot-scoring speaker recognition system developed by the Software Technology Working Group (http://gtts.ehu.es) at the University of the Basque Country (EHU), for the NIST 2010 Speaker Recognition Evaluation. The system does eigenchannel compensation in the sufficient statistics space and scoring is performed by a simple dot product. An optimized Matlab implementation of of the eigenchannels estimation, the channel compensation and the normalized mean vector computation is provided.
Algorithmic Framework for Frequent Pattern Mining with FP-Tree

The FP-tree algorithm is currently one of the fastest approaches to frequent item set mining. Studies have also shown that pattern-growth method is one of the most efficient methods for frequent pattern mining. It is based on a prefix tree representation of the given database of transactions (FP-tree) and can save substantial amounts of memory for storing the database. The basic idea of the FP-growth algorithm can be described as a recursive elimination scheme which is usually achieved in the preprocessing step by deleting all items from the transactions that are not frequent. In this study, a simple framework for mining frequent pattern is presented with FP-tree structure which is an extended prefix-tree structure for mining frequent pattern without candidate generation, and less cost for better understanding of the concept for inexperienced data analysts and other organizations interested in association rule mining. Keywords: Association Rule, Frequent Pattern Mining, Apriori Algorithm, FP-tree
Multiresolutional target tracking using the wavelet transform

A framework of multiresolutional target tracking is established. The wavelet transform is employed in constructing multiresolutional data and model structures. Multiresolutional tracking is performed over the multiresolutional data and model structures in a top-down fashion. The main advantages of multiresolutional target tracking include: computational efficiency, performance robustness and algorithm flexibility. <<ETX>>
Subpixel deconvolution of 3D optical microscope imagery

Optical light microscopy is a predominant modality for imaging living cells, with the maximum resolution typically diffraction limited to approximately 200nm. The objective of this project is to enhance the resolution capabilities of optical light microscopes using image-processing algorithms, to produce super-resolved imagery at a sub-pixel level. The sub-pixel algorithm is based on maximum-likelihood iterative deconvolution of photon-limited data, and reconstructs the image at a finer scale than the pixel limitation of the camera. The software enhances the versatility of light microscopes, and enables the observation of sub-cellular components at a resolution two to three times finer than previously. Adaptive blind deconvolution is used to automatically determine the point spread function from the observed data. The technology also allows camera-binned or sub-sampled (aliased) data to be correctly processed. Initial investigations used computer simulations and 3D imagery from widefield epi-fluorescence light microscopy.
Engaging Learners through Interactive Media: Findings and Implications from a Technology Enhanced Pr

In this paper we explore students’ engagement in a new media enhanced problem-based learning (PBL) environment and investigate the characteristics of these environments that facilitate learning. We investigated both student experiences using a new media enhanced PBL environment and the specific elements students found most supportive of their learning. 180 sixth graders in a southwestern US city participated in this study. We report that the role of being a scientist, the challenge of solving a complex problem, and the task of saving aliens all sparked students’ curiosity and fantasy, promoting engagement. The results of this study confirmed the motivating elements found in the previous research and highlighted problem solving, playing and information processing as main contributing factors to student engagement. The objective of this study is to explore students’ engagement in a new media enhanced problem-based learning (PBL) environment and to investigate the characteristics of new mediabased learning environments that facilitate learning. Our guiding research questions were: • What are students’ experiences in using a new media enhanced PBL environment? • Which elements did students find most supportive of their learning and why?
Forward engineering and UML: from UML static models to Eiffel code

This chapter describes a reuse-based rigorous process to transform UML static models to object-oriented code. The bases of this approach are the GSBL00 algebraic language to cope with concepts of UML static models and the SpRelm model for defining structured collections of reusable components. We have defined a mapping between UML static models and GSBL00. The emphasis in this chapter is given to the last steps in the road from UML to code. EiffelTM is the language of choice in which we chose to demonstrate the feasibility of our approach. We analyze how to transform GSBL00 specifications into code. In particular, we show how to translate different kinds of UML associations to Eiffel. Also, we describe how to construct assertions from GSBL00 specifications. All of the proposed transformations can be automated; they allow traceability and can be integrated into the iterative and incremental software development processes supported by the existing UML CASE tools.
Proceedings of the 1st ACM SIGMOBILE international workshop on Systems and networking support for healthcare and assisted living environments

It is our greatest pleasure to welcome you to the First ACM SIGMOBILE International Workshop on Systems and Networking Support for Healthcare and Assisted Living Environments (HealthNet'07), co-located with ACM MobiSys 2007. We have put together an excellent technical program that we hope you will enjoy and that you take advantage of the excellent group of people that have come together for HealthNet 07. As the world's population grows older, healthcare and high-tech companies are joining forces. New technologies are being used to provide improved support for elderly and home bound people in their homes and in assisted living environments. The overall goal of these initiatives is to improve quality of life by providing customized support to people in need of assistance. The ultimate goal is a system that can adapt to the users' needs, helping them get through their daily routine in a way that is effective in providing support where needed without making them feel humiliated by excessive attention. To provide such support, it will be necessary to combine efforts from many areas of computer science, including networking, distributed systems, security, data management, HCI and middleware. The mission of the HealthNet workshop is to bring together researchers from both industry and academia from these different areas to provide a forum for discussing the cross-area interactions that will be necessary for successful systems and applications. HealthNet, therefore, gives researchers and practitioners a unique opportunity to share their perspectives with others interested in the various aspects of healthcare systems. After a very successful publicity phase, the response to the call for papers was extremely positive. We received a total of 45 submissions from 11 countries with papers from Asia, Canada, Europe, and the United States. These papers cover diverse topics from architectures and protocols to case-studies and real-world experiences. The selection of papers for this year's program was carried out by a 17 member international technical program committee. As a result of our review and discussion phase, a total of 13 full papers were accepted for presentation at the conference, which corresponds to a competitive acceptance rate of 28%. Additionally, we accepted 9 short papers to be presented as posters during the workshop.
A Usability Checklist for the Heuristic Evaluation of Mobile Phone User Interface

In the last decade, the research of the usability of mobile phones has been a newly evolving area with few established methodologies and realistic practices that ensure capturing usability in evaluation. Thus, there exists growing demand to explore appropriate evaluation methodologies that evaluate the usability of mobile phones quickly as well as comprehensively. This study aims to develop a task-based usability checklist based on heuristic evaluations in views of mobile phone user interface (UI) practitioners. A hierarchical structure of UI design elements and usability principles related to mobile phones were developed and then utilized to develop the checklist. To demonstrate the practical effectiveness of the proposed checklist, comparative experiments were conducted on the usability checklist and usability testing. The majority of usability problems found by usability testing and additional problems were discovered by the proposed checklist. It is expected that the usability checklist proposed in this study could be used quickly and efficiently by usability practitioners to evaluate the mobile phone UI in the middle of the mobile phone development process.
Efficient Hardware for Modular Exponentiation using the Sliding-Window Method with Variable-Length Partitioning

Modular exponentiation is an essential arithmetic operation for various applications, such as cryptography. The performance of this operations has a tremendous impact on the efficiency of the whole application. Therefore, many researchers devoted special interest to providing smart methods and efficient implementation for that operation. One of these methods is the sliding-window method, which pre-processes the exponent into zero and non-zero partitions. Zero partitions allow for a reduction of the number of modular multiplications required in the exponentiation process. In this paper, we devise two novel hardware designs for computing modular exponentiation using the sliding-window method: one uses the constant-length non-zero partitions strategy (CLNZ) and the other uses the variable-length non-zero partitions strategy (VLNZ). The implementations are compared to existing hardware implementations of the modular exponentiation using the performance factor area times time.
The Summer Vision Project

A hard metal cutting bit is useful both for rough cutting and for finishing, and comprises a polygonal member having parallel opposite main faces, and on at least one of the main faces a fillet that extends continuously about the edge of the main face, the fillet being concave and of greatest depth and width mid-way between the corners of the bit and of the least width and depth at the corners of the bit. A first chip breaker on the main face is next to the fillet and is of least width and depth mid-way between the corners and greatest depth and width adjacent the corners of the bit. A second chip breaker is next to the first and spaced by the first chip breaker from the fillet, and is discontinuous and concave and of greatest depth and width mid-way between the corners and terminates adjacent the corners.
Client Data Caching: A Foundation for High Performance Object Database Systems

Foreword. Preface. 1. Introduction. 2. Client-Server Database Systems. 3. Modeling a Page Server DBMS. 4. Client Cache Consistency. 5. Performance of Cache Consistency Algorithms. 6. Global Memory Management. 7. Local Disk Caching. 8. Towards a Flexible Distributed DBMS Architecture. 9. Conclusions. References. Index.