Miracle-dz/UniFAR-FTUs huggingface dataset:
Ambient intelligence : first European Symposium, EUSAI 2003, Veldhoven, the Netherlands, November 3-4, 2003 : proceedings

Track 1. Ubiquitous Computing. - Find a Meeting. - Some Issues on Presentations in Intelligent Environments. - A Reactive QoS Routing Protocol for Ad Hoc Networks. - User Mobility Model in an Active Office. - Multimodal Mobile Robot Control Using Speech Application Language Tags. - Energy Consumption Routing for Mobile Ad Hoc Networks. - Ubiquitous Attentiveness - Enabling Context-Aware Mobile Applications and Services. - Real Time Application Support in an Ambient Network Using Intelligent Mobile Robots. - Track 2. Context Awareness. - Context Driven Observation of Human Activity. - Interacting in Desktop and Mobile Context: Emotion, Trust, and Task Performance. - Ultrasonic 3D Position Estimation Using a Single Base Station. - Wearable Context Aware Terminal for Maintenance Personnel. - Sensor Fusion for Augmented Reality. - Context Awareness of Everyday Objects in a Household. - Position-Based Interaction for Indoor Ambient Intelligence Environments. - Vision-Based Localization for Mobile Platforms. - Multi-sensor Activity Context Detection for Wearable Computing. - Track 3. Intelligence. - Towards Computer Understanding of Human Interactions. - Experimental Evaluation of Variations in Primary Features Used for Accelerometric Context Recognition. - Lino, the User-Interface Robot. - Indexing and Profiling in a Consumer Movies Catalog Browsing Tool. - An Integrated Framework for Supporting Photo Retrieval Activities in Home Environments. - A Robotic Assistant for Ambient Intelligent Meeting Rooms. - Correlating Sensors and Activities in an Intelligent Environment: A Logistic Regression Approach. - Methods for Online Management of AmI Capabilities Relative to Users' Goals. - Track 4. Natural Interaction. - Interaction Design for the Disappearing Computer. - Natural Language Processing and Multimedia Browsing Concrete and Potential Contributions. - A Physical Selection Paradigm for Ubiquitous Computing. - Users' Preferences for Ubiquitous Computing Applications at Home. - Experiences Managing and Maintaining a Collection of Interactive Office Door Displays. - Applications of Vision-Based Attention-Guided Perceptive Devices to Aware Environments. - Addressing Interpersonal Communication Needs through Ubiquitous Connectivity: Home and Away.
An efficient genetic algorithm with less fitness evaluation by clustering

To solve a general problem with genetic algorithms, it is desirable to maintain the population size as large as possible. In some cases, however, the cost to evaluate each individual is relatively high, and it is difficult to maintain a large population. To solve this problem, we propose a hybrid GA based on clustering, which considerably reduces the evaluation number without any loss of performance. The algorithm divides the whole population into several clusters, and evaluates only one representative for each cluster. The fitness values of other individuals are estimated from the representative fitness values indirectly, which can maintain a large population with less number of evaluations. Several benchmark tests have been conducted and the results show that the proposed GA is very efficient.
Analisis Deskriptif Eksplorasi Karir dan Kesesuaian Persepsi Karyawan Muda

Mobilitas organisasi yang tinggi serta kurangnya eksplorasi selama tahap awal perkembangan karir dapat mempersulit individu dalam mendapatkan, mempertahankan atau bahkan meningkatkan jenjang karir yang sudah dipilih. Salah satu industri yang didominasi oleh karyawan muda adalah PT. Angkasa Pura I (Persero) Bandara Internasional Juanda. Akan tetapi, pola pengembangan karir pada perusahaan belum sepenuhnya sesuai dengan persepsi karyawannya. Oleh karena itu, penelitian ini bertujuan untuk mengetahui faktor-faktor eksplorasi karir dan kesesuaian persepsi karyawan muda. Desain penelitian adalah kuantitatif dan single-cross sectional . Pengambilan sampel menggunakan metode convenience sampling . Statistik deskriptif melalui perbandingan mean dan standard deviation digunakan sebagai teknik analisis data. Hasil analisis menunjukkan bahwa sebelum memasuki dunia kerja, karyawan muda pada perusahaan melakukan pencarian informasi mengenai peran kerja pada perusahaan. Selain itu, karyawan muda merasa memiliki ketrampilan dan kemampuan yang sesuai dengan kebutuhan perusahaan sehingga mampu menyelesaikan pekerjaan dengan baik.
The Virtual Data Center Tagged-Format Tool: Introduction and executive summary

Any use of trade, product, or firm names is for descriptive purposes only and does not imply endorsement by the U.S. Government. Although this report is in the public domain, permission must be secured from the individual copyright owners to reproduce any copyrighted material contained within this report. Executive Summary This Report introduces and summarizes the new Virtual Data Center (VDC) Tagged Format (VTF) Tool, which was developed by a diverse group of seismologists, earthquake engineers, and information technology professionals for internal use by the COSMOS VDC and other interested parties for the exchange, archiving, and analysis of earthquake strong-ground-motion data.
A SOFTWARE RELIABILITY GROWTH MODEL WITH TESTING EFFORT DEPENDENT LEARNING FUNCTION FOR DISTRIBUTED SYSTEMS

Effective software process improvement will not start until management insists that product development work be planned and properly managed. This becomes even more challenging in an increasing number of major system developments made up from distributed sub-system software projects. These sub-systems are integrated and validated to provide the final system and product release. The need is growing to estimate, risk assess, plan and manage the development of these distributed sub-systems and the final full system release. In this paper, an attempt has been made to model the software reliability growth phenomenon with testing effort in a distributed development environment. Proposed Non Homogeneous Poisson Process (NHPP) based model assumes that the software system consists of a finite number of reused and newly developed sub-systems. The reused sub-systems do not consider the effect of severity of the faults on the software reliability growth phenomenon because they stabilize over a period of time i.e., the growth is uniform whereas, the newly developed sub-system do consider that. Fault removal phenomenon for reused and newly developed sub-systems have been modeled separately and is summed up to get the total fault removal phenomenon of the software system. The applicability of our model is shown by validating it on software failure data sets obtained from different real software development projects. The comparisons with established models in terms of goodness of fit, the Akaike Information Criterion (AIC), Mean of Squared Errors (MSE) have been presented.
Formalizing the analysis of algorithms

Abstract : Consider the average case analyses of particular deterministic algorithms. Typical arguments in this area can be divided into two phases. First, by using knowledge about what it means to execute a program, an analyst characterizes the probability distribution of the performance parameter of interest by means of some mathematical construct, often a recurrence relation. In the second phase, the solution of this recurrence is studied by purely mathematical techniques. The goal is to build a formal system in which the first phases of these arguments can be reduced to symbol manipulation. Formal systems currently exist in which one can reason about the correctness of programs by manipulating predicates that describe the state of the executing process. The construction and use of such systems belongs to the field of program verification.
Statistical modelling of molecular descriptors in QSAR/QSPR

Current Modeling Methods used in QSAR/QSPR (Liew Chin Yee and Yap Chun Wei) Developing Best Practices for Descriptor-Based Property Prediction: Appropriate Matching of Datasets, Descriptors, Methods, and Expectations (Michael Krein, Tao-wei Huang, Lisa Morkowchuk, Dimitris K. Agrafiotis, and Curt M. Breneman) Mold Molecular Descriptors for QSAR (Huixiao Hong, Svetoslav Slavov, Weigong Ge, Feng Qian, Zhenqiang Su, Hong Fang, Yiyu Cheng, Roger Perkins, Leming Shi and Weida Tong) Multivariate Analysis of Molecular Descriptors (Viviana Consonni and Roberto Todeschini) Partial Order Ranking and Linear Modeling: Their Use in Predictive QSAR/QSPR Studies (Andrew G. Mercader, Eduardo A. Castro) Graph-theoretical Descriptors for Branched Polymers (Koh-hei Nitta) Structural Similarity based Approaches for the Development of Clustering and QSPR/QSAR Models in Chemical Databases (Irene Luque Ruiz, Gonzalo Cerruela Garcia and Miguel Angel Gomez-Nieto) Statistical Methods for Predicting Compound Recovery Rates for Ligand-based Virtual Screening and Assessing the Probability of Activity (Martin Vogt and Jurgen Bajorath) Molecular Descriptors and the Electronic Structure (Horst Bogel) New types of Descriptors and Models in QSAR/QSPR (Christian Kramer and Timothy Clark) Consensus Models of Activity Landscapes (Jose L. Medina-Franco, Austin B. Yongye and Fabian Lopez-Vallejo) Reverse Engineering Chemical Reaction Networks from Time Series Data (Dominic P. Searson, Mark J. Willis and Allen Wright) Reduction of Dimensionality, Order and Classification in Spaces of Theoretical Descriptions of Molecules. An Approach based on Metrics, Pattern Recognition Techniques and Graph Theoretic Considerations (George Maroulis) The Analysis of Organic Reaction Pathways by Brownian Processing (Daniel J. Graham) Generation of Chemical Transformations - Reaction Pathways Prediction and Synthesis Design (Grazyna Nowak and Grzegorz Fic)
Session: Authentication Detecting butt-spliced edits in forensic digital audio recordings

Digital audio recording forgeries are often created using simple editing techniques such as ‘butt splicing’. Butt-splicing may leave discontinuities in the audio waveform that may or may not be audible. Detection of butt-spliced edits will be discussed and a new method to detect edits made in this manner will be proposed. The process operates in the time domain and is based on high pass filtering the audio data and modeling a discontinuity at higher frequencies where the ratio of discontinuity energy to acoustic signal energy level is improved. The model is then used as a template to search for potential edits in the filtered audio data. The technique is optimized for non-compressed audio and is capable of detecting discontinuity points within a recording that are not discernable by auditory analysis
The End of the Kura-Araxes Culture as Seen from Nadir Tepesi in Iranian Azerbaijan

By the late fourth to early third millennium B.C.E. , Kura-Araxes (Early Transcaucasian) material culture spread from the southern Caucasus throughout much of southwest Asia. The Kura-Araxes settlements declined and ultimately disappeared in almost all the regions in southwest Asia around the middle of the third millennium B.C.E. The transition to the “post–Kura-Araxes” time in the southern Caucasus is one of the most tantalizing subjects in the archaeology of the region. Despite current knowledge on the origins and spread of the Kura-Araxes culture, little is known about the end of this cultural horizon. In this field report, we argue that the Kura-Araxes culture in the western Caspian littoral plain ended abruptly and possibly violently. To demonstrate this, we review the current hypotheses about the end of the Kura-Araxes culture and use results from excavations at Nadir Tepesi in Iranian Azerbaijan. This article is also available as open access on AJA Online.
The Importance of Face-to-Face Communication in HR Departments

The present research project deals with the importance of face-to-face communication in the comprehensive scope of duty of Human Resources Departments. It analyzes different circumstances and conditions that characterize the use of this personal way of communication and explains motives and attitudes of Human Resources Executives in regard to their communication behavior. In addition the discussion points out limitations of the face-to-face communication channel and describes usual consequences in daily work situations. Compared to these aspects HR Managers also communicate by means of several media channels. The project illustrates different situations in connection with the disadvantages of each media channel and eventually demonstrates the interplay of all personal and impersonal communication behavior. The research question focuses the role of face-to-face communication in the work of Human Resources Managers. The qualitative research study is based on eight guided interviews with HR Personnel in leading positions from different companies and organizations in Gteborg/Sweden. These interviews are evaluated with qualitative methods. Most important in regard to the data results is the fact that face-to-face communication is highly valued in business interactions today. Although there are many other opportunities and tools being used in increased frequency HR Managers still prefer the personal communication with their employees and clients in specific situations of uncertainty and trust. Remarkably characteristic is the conscious choice of each communication channel made by the HR Managers and its thorough questioning in terms of communication purpose, circumstances of the receiver, the topic’s complexity, time aspects and certain features of each channel. Global and regional companies exhaust all possibilities of the technological development but factors such as logistic arrangements, generational matters, company size and individual preferences still determine their communication choice to a high extent.
An Exploration on Image Detection of Folding Dislocations

Image detection of folding dislocation deviations is explored in order to provide an application base for real-time monitoring of folding process. Various types of folding dislocations are analyzed, the extraction of corresponding corner points and edge lines of a folding dislocation is discussed, and so are some image processing techniques such as determination of the type of a folding dislocation. The image detection process is explained, and is achieved through a software program, which is custom designed in VC++ language. The image detection of folding dislocation deviations is verified, and the results show that the proposed method is feasible and computing time is short, thus it is conducive to real-time monitoring applications.
Simulation Study on Model Selection Based on AIC under Unbalanced Design in Linear Mixed Effect Models

This article consider a performance model selection based on AIC under unbalanced deign in linear mixed effect models. Vaida and Balanchard (2005) proposed conditional AIC for model selection in linear mixed effect models when the prediction of random effects is of primary interest. Theoretical properties of cAIC and related criteria have been investigated by Liang et al. (2008) and Greven and Kneib (2010). However, all of the simulation studies were performed under a balanced design. Even though functional form of AIC remain same even under the unbalanced deign, it is worthwhile to investigate performance of AIC based model selection criteria under the unbalanced design. The simulation study in this article shows how unbalancedness affects model selection in linear mixed effect models.
On tractable wireless channel models

We present techniques to capture the behavior of realistic channels with mathematically tractable models, We examine different state-space aggregation techniques to reduce a large number of states of Markov chain to a fewer number of states, The property of strong and weak lumpability is discussed and the stochastic bounding techniques are examined. These techniques are applied to three different types of previously published channel models for mobile VHF, wireless indoor, and Rayleigh fading channels. Results show that our stochastic bounding technique can produce a simpler yet still accurate upper bound the for original channel model. We find that the bounds perform well when the higher-layer error control protocols such as stop-and-go and TCP are considered.
Lead-free solder systems : phase relations and microstructures

• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.
De implementatie en het gebruik van het eHealth platform Minddistrict door behandelaren in de forensische geestelijke gezondheidszorg

Bij de behandeling van patienten in de forensische geestelijke gezondheidszorg (FGGZ) is ruimte voor verbetering eHealth kan hieraan bijdragen door aan te sluiten op het idee van patient-gecentreerde zorg. Echter blijkt het implementeren van eHealth interventies in de praktijk lastig. Dit is ook het geval bij Minddistrict, een eHealth interventie gebaseerd op cognitieve gedragstherapie. Met name in de FGGZ ontbreekt inzicht in de achterliggende implementatiefactoren. In dit onderzoek is gekeken naar de factoren waar behandelaren tegenaanlopen bij het gebruik van Minddistrict, met een focus op de technologische aspecten en aspecten met betrekking tot de forensische context die hiermee samenhangen. Achttien behandelaren van polikliniek de Tender van Transfore Enschede zijn geinterviewd met behulp van een semigestructureerd interviewschema. De interviews zijn inductief gecodeerd. Uit het onderzoek kwamen achttien codes naar voren, opgedeeld in behandelaars- technologische- en contextuele factoren. Deze factoren bleken intergerelateerd en deze combinatie zorgt ervoor dat Minddistrict niet bij de behandelaren in het systeem zit. Het toevoegen van een eHealth interventie aan de behandeling is complex, aangezien het een verandering in de rol van de behandelaar met zich meebrengt. De implementatie moet daarom niet enkel bestaan uit het introduceren van de technologie: deze verandering moet gefaciliteerd worden door de context.
Big Data to Monitor Big Social Events: Analysing the mobile phone signals in the Brescia Smart City

We present the rst experience, carried out in 2013, devoted to the ex-traction of geo-referenced statistical information from mobile phone signalsto monitor big social events in Brescia, a mid-sized city located near Milan(Lombardy, Italy). The statistical analysis is based on the Telecom ItaliaCityLive database, used to dene raster structures and space-time proleswith the R open source language. The obtained results for the two big eventsheld in Brescia in 2013 (the car race \Mille Miglia" and the bicycle race \Girod'Italia") have proved very useful to this municipal administration to planfuture events, and more generally to develop policies for the \smart city".
Chemisch schaltbare Fluoreszenzsonden für die optische Nanoskopie

Die Fluoreszenzmikroskopie hat sich als leistungsstarke Technik in allen Bereichen der Naturwissenschaften zur Untersuchung von Strukturen und dynamischen Prozessen etabliert. Im Laufe der letzten Jahrzehnte wurden Techniken entwickelt, deren Moglichkeiten weit uber die herkommlicher Mikroskopie hinaus reichen und nicht nur das Beobachten kleinster Objekte erlauben, sondern selbst die beugungsbedingte Auflosungsgrenze optischer Systeme uberwinden. Mikroskopie im Allgemeinen und hochauflosende Methoden im Speziellen sind jedoch nur so gut wie die eingesetzten Fluoreszenzfarbstoffe. Wahrend modernste Technik in der Lage ist, dreidimensionale Aufnahmen kleinster Strukturen bis hin zu einzelnen Emittern abzubilden, richtet sich nun der Fokus auf die Entwicklung neuer, leistungsfahiger Fluoreszenzsonden, deren Fahigkeit sich nicht alleine auf das Emittieren von Fluoreszenz beschrankt. Durch geschicktes Design konnen nicht nur elementare Eigenschaften wie molekulare Helligkeit und Photostabilitat optimiert werden. Vielmehr kann eine masgeschneiderte Funktionalisierung vollig neue Anwendungsmoglichkeiten eroffnen. In dieser Arbeit wurden neue Fluoreszenzsonden auf Basis einer unnaturlichen Aminosaure entwickelt, charakterisiert und in unterschiedlichen Methoden eingesetzt. Der modulare Aufbau ermoglicht das einfache Kombinieren unterschiedlicher Fluorophore mit einem Bipyridin-Liganden zu kompakten Fluoreszenzsonden, die aufgrund der Komplexierung von Metallionen zwischen einem hellen, stark fluoreszierenden und einem dunklen Zustand geschaltet werden konnen und daher den Einsatz lichtgetriebener Prozesse uberflussig machen. Eine Vielzahl an Farbstoffkonjugaten konnte erfolgreich dargestellt werden, die sowohl in Ensemble- als auch in Einzelmolekulmessungen untersucht und anschliesend zur Markierung geeigneter Zielstrukturen in fixierten Zellen eingesetzt wurden. Die uberzeugendsten Ergebnisse wurden mit dem Atto633-Derivat erzielt, das eine Restfluoreszenz von etwa 11 % zeigt sowie eine Komplexbildungskonstante fur Cu(II) von (8.11 ± 0.24) 106 M-1, die aus der Schaltkinetik einzelner Emitter bestimmt wurde. Das Potential der chemischen Schalter wurde durch die Anwendung in der Lokalisationsmikroskopie demonstriert, aus der Halbwertsbreiten der markierten Filamente bestimmt wurden, die mit etwa 70 nm deutlich unterhalb der optischen Auflosungsgrenze liegen. Die Vielseitigkeit wurde durch den Einsatz im chemischen Multiplexing gezeigt, das zudem noch mit der STED-Mikroskopie kombiniert wurde, um hochaufgeloste, mehrfarbige Bilder aus einem einzigen spektralen Kanal zu erzeugen.
Multi-state reliability : models and applications

This paper focuses on customer-centered reliability models and measures for multi-state systems with multi-state components. A review of general models which capture the customer’s experience with the product is presented. An approach is given to develop the system structure function using equivalent classes and develop reliability bonds. In addition to measures and models, ideas are given for potential applications of these models to infrastructure problems such as transportation, computer network, supply chain, communication systems and network reliability.
Simulación y evaluación de arquitecturas de procesador con 3D Stacking y tecnología de memoria STT-RAM

9 Palabras clave . 9 Introducción . 11 1.1 Chip MultiProcessors . 14 1.2 El Memory Wall y el Bandwidth Wall . 16 1.3 Contribuciones del Proyecto . 17 Capítulo 2. Background . 19 2.1 3D Stacking . 19 2.2 Nuevas tecnologías de almacenamiento. 23 2.3 Spin-torque-transfer RAM (STT-RAM) . 26 2.4 Redes de Interconexión . 29 Capítulo 3. Motivación . 31 3.1 Herramientas de Simulación . 32 3.2 Organización de un CMP con múltiples capas y STT-RAM como cache de último nivel 34 3.3 Limitaciones de la tecnología STT-RAM . 37 Capítulo 4. Mecanismos para esconder la latencia de las escrituras . 43 4.1 Una propuesta de mejora: ISCA 2011 . 43 4.2 Nuestra Propuesta . 54 Capítulo 5. Optimizaciones adicionales . 59 Capítulo 6. Conclusiones y trabajo futuro . 65 6.1 3D Stacking . 65 6.2 Almacenamiento no volátil . 65