@article{4689, author = {{Müller, Oliver and Junglas, Iris and vom Brocke, Jan and Debortoli, Stefan}}, isbn = {{0960-085X}}, issn = {{14769344}}, journal = {{European Journal of Information Systems}}, keywords = {{analytics, big data, data source, information systems research, methodology}}, number = {{4}}, pages = {{289----302}}, title = {{{Utilizing big data analytics for information systems research: Challenges, promises and guidelines}}}, doi = {{10.1057/ejis.2016.2}}, year = {{2016}}, } @inproceedings{9947, abstract = {{This paper presents a comparison of a number of prognostic methods with regard to algorithm complexity and performance based on prognostic metrics. This information serves as a guide for selection and design of prognostic systems for real-time condition monitoring of technical systems. The methods are evaluated on ability to estimate the remaining useful life of rolling element bearing. Run-to failure vibration and temperature data is used in the analysis. The sampled prognostic methods include wear-temperature correlation method, health state estimation using temperature measurement, a multi-model particle filter approach with model parameter adaptation utilizing temperature measurements, prognostics through health state estimation and mapping extracted features to the remaining useful life through regression approach. Although the performance of the methods utilizing the vibration measurements is much better than the methods using temperature measurements, the methods using temperature measurements are quite promising in terms of reducing the overall cost of the condition monitoring system as well as the computational time. An ensemble of the presented methods through weighted average is also introduced. The results show that the methods are able to estimate the remaining useful life within error bounds of +-15\%, which can be further reduced to +-5\% with the ensemble approach.}}, author = {{Kimotho, James Kuria and Sextro, Walter}}, booktitle = {{Annual Conference of the Prognostics and Health Management Society 2015}}, keywords = {{ensemble methods, combined prognostics, data fusion}}, title = {{{Comparison and ensemble of temperature-based and vibration-based methods for machinery prognostics}}}, volume = {{6}}, year = {{2015}}, } @inproceedings{1137, abstract = {{In this paper, we present a system which makes scientific data available following the linked open data principle using standards like RDF and URI as well as the popular D2R server (D2R) and the customizable D2RQ mapping language. Our scientific data sets include acronym data and expansions, as well as researcher data such as author name, affiliation, coauthors, and abstracts. The system can easily be extended to other records. Regarding this, a domain adaptation to patent mining seems possible. For this reason, obvious similarities and differences are presented here. The data set is collected from several different providers like publishing houses and digital libraries, which follow different standards in data format and structure. Most of them are not supporting semantic web technologies, but the legacy HTML standard. The integration of these large amounts of scientific data into the Semantic Web is challenging and it needs flexible data structures to access this information and interlink them. Based on these data sets, we will be able to derive a general technology trend as well as the individual research domain for each researcher. The goal of our Linked Open Data System for scientific data is to provide access to this data set for other researchers using the Web of Linked Data. Furthermore we implemented an application for visualization, which allows usto explorethe relations between single data sets.}}, author = {{Bäumer, Frederik Simon and Gim, Jangwon and Jeong, Do-Heon and Geierhos, Michaela and Jung, Hanmin}}, booktitle = {{Proceedings of the First International Workshop on Patent Mining and Its Applications (IPaMin 2014) co-located with Konvens 2014}}, editor = {{Jung, Hanmin and Mandl, Thomas and Womsen-Hacker, Christa and Xu, Shuo}}, issn = {{16130073}}, keywords = {{Linked Open Data, Researcher Data, Acronym Data, D2R}}, location = {{Hildesheim, Germany}}, publisher = {{CEUR-WS.org}}, title = {{{Linked Open Data System for Scientific Data Sets}}}, volume = {{1292}}, year = {{2014}}, } @inproceedings{17661, author = {{King, Thomas C. and Liu, Qingzhi and Polevoy, Gleb and de Weerdt, Mathijs and Dignum, Virginia and van Riemsdijk, M. Birna and Warnier, Martijn}}, booktitle = {{Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems}}, isbn = {{978-1-4503-2738-1}}, keywords = {{crowd-sensing, crowdsourcing, data aggregation, game theory, norms, reciprocation, self interested agents, simulation}}, pages = {{1651--1652}}, publisher = {{International Foundation for Autonomous Agents and Multiagent Systems}}, title = {{{Request Driven Social Sensing}}}, year = {{2014}}, } @article{4695, author = {{Debortoli, Stefan and Müller, Oliver and vom Brocke, Jan}}, isbn = {{0910-8327 (Print)$\backslash$n0910-8327 (Linking)}}, issn = {{18670202}}, journal = {{Business and Information Systems Engineering}}, keywords = {{Big data, Business intelligence, Competencies, Latent semantic analysis, Text mining}}, number = {{5}}, pages = {{289----300}}, title = {{{Comparing business intelligence and big data skills: A text mining study using job advertisements}}}, doi = {{10.1007/s12599-014-0344-2}}, year = {{2014}}, } @article{4696, author = {{vom Brocke, Jan and Debortoli, Stefan and Reuter, Nadine and Müller, Oliver}}, issn = {{15293181}}, journal = {{Communications of the Association for Information Systems}}, keywords = {{Advanced business analytics, Big Data, Business intelligence, IT business value, In-memory technology, OLAP, OLTP, Realtime analytics, Sentiment analysis}}, pages = {{151----167}}, title = {{{How In-Memory Technology Can Create Business Value: Lessons Learned from Hilti}}}, doi = {{10.17705/1CAIS.03407}}, year = {{2014}}, } @inproceedings{9879, abstract = {{Application of prognostics and health management (PHM) in the field of Proton Exchange Membrane (PEM) fuel cells is emerging as an important tool in increasing the reliability and availability of these systems. Though a lot of work is currently being conducted to develop PHM systems for fuel cells, various challenges have been encountered including the self-healing effect after characterization as well as accelerated degradation due to dynamic loading, all which make RUL predictions a difficult task. In this study, a prognostic approach based on adaptive particle filter algorithm is proposed. The novelty of the proposed method lies in the introduction of a self-healing factor after each characterization and the adaption of the degradation model parameters to fit to the changing degradation trend. An ensemble of five different state models based on weighted mean is then developed. The results show that the method is effective in estimating the remaining useful life of PEM fuel cells, with majority of the predictions falling within 5\% error. The method was employed in the IEEE 2014 PHM Data Challenge and led to our team emerging the winner of the RUL category of the challenge.}}, author = {{Kimotho, James Kuria and Meyer, Tobias and Sextro, Walter}}, booktitle = {{Prognostics and Health Management (PHM), 2014 IEEE Conference on}}, keywords = {{ageing, particle filtering (numerical methods), proton exchange membrane fuel cells, remaining life assessment, PEM fuel cell prognostics, PHM, RUL predictions, accelerated degradation, adaptive particle filter algorithm, dynamic loading, model parameter adaptation, prognostics and health management, proton exchange membrane fuel cells, remaining useful life estimation, self-healing effect, Adaptation models, Data models, Degradation, Estimation, Fuel cells, Mathematical model, Prognostics and health management}}, pages = {{1--6}}, title = {{{PEM fuel cell prognostics using particle filter with model parameter adaptation}}}, doi = {{10.1109/ICPHM.2014.7036406}}, year = {{2014}}, } @inproceedings{4480, abstract = {{The proposed paper aims to investigate the longitudinal development of students' motivation over the first year of their studies at a business school by using latent growth curve modeling. The study tackles the following core research questions: How do first-year university students' intrinsic and extrinsic vary over time? Which (motivational) factors are related to students' motivational development? Although motivational dispositions have been analyzed extensively in previous studies, their longitudinal development has hitherto not been examined in the higher education context. This longitudinal study is conducted at the University of St. Gallen in Switzerland. The current sample includes 280 first-year students who have been surveyed three times and who are representative of the first-year student population. Descriptive results show that prior to their studies, students were motivated most by intrinsic factors, however, extrinsic motivation was also quite high. Employing latent growth curve modeling, it could be shown that both intrinsic and extrinsic motivation decline significantly over the course of the first year (8 months). The study contributes to motivation theory by providing further insights into the development of academic motivation over time. Latent growth curve modeling as a method can be well used for longitudinal data analysis, thus, excluding measurement error from longitudinal data. Furthermore, the study supports educational developers by determining factors influencing students' motivational development.}}, author = {{Brahm, Taiga and Jenert, Tobias}}, keywords = {{motivation, intrinsic motivation, extrinsic motivation, latent growth curve modeling, longitudinal data analysis, ASEQ, higher education, studying}}, location = {{München}}, publisher = {{EARLI European Association for Research on Learning and Instruction}}, title = {{{A latent growth curve analysis of Business students' intrinsic and extrinsic motivation}}}, year = {{2013}}, } @inproceedings{11816, abstract = {{In this paper, we consider the Maximum Likelihood (ML) estimation of the parameters of a GAUSSIAN in the presence of censored, i.e., clipped data. We show that the resulting Expectation Maximization (EM) algorithm delivers virtually biasfree and efficient estimates, and we discuss its convergence properties. We also discuss optimal classification in the presence of censored data. Censored data are frequently encountered in wireless LAN positioning systems based on the fingerprinting method employing signal strength measurements, due to the limited sensitivity of the portable devices. Experiments both on simulated and real-world data demonstrate the effectiveness of the proposed algorithms.}}, author = {{Hoang, Manh Kha and Haeb-Umbach, Reinhold}}, booktitle = {{38th International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013)}}, issn = {{1520-6149}}, keywords = {{Gaussian processes, Global Positioning System, convergence, expectation-maximisation algorithm, fingerprint identification, indoor radio, signal classification, wireless LAN, EM algorithm, ML estimation, WiFi indoor positioning, censored Gaussian data classification, clipped data, convergence properties, expectation maximization algorithm, fingerprinting method, maximum likelihood estimation, optimal classification, parameters estimation, portable devices sensitivity, signal strength measurements, wireless LAN positioning systems, Convergence, IEEE 802.11 Standards, Maximum likelihood estimation, Parameter estimation, Position measurement, Training, Indoor positioning, censored data, expectation maximization, signal strength, wireless LAN}}, pages = {{3721--3725}}, title = {{{Parameter estimation and classification of censored Gaussian data with application to WiFi indoor positioning}}}, doi = {{10.1109/ICASSP.2013.6638353}}, year = {{2013}}, } @article{11862, abstract = {{In this contribution we extend a previously proposed Bayesian approach for the enhancement of reverberant logarithmic mel power spectral coefficients for robust automatic speech recognition to the additional compensation of background noise. A recently proposed observation model is employed whose time-variant observation error statistics are obtained as a side product of the inference of the a posteriori probability density function of the clean speech feature vectors. Further a reduction of the computational effort and the memory requirements are achieved by using a recursive formulation of the observation model. The performance of the proposed algorithms is first experimentally studied on a connected digits recognition task with artificially created noisy reverberant data. It is shown that the use of the time-variant observation error model leads to a significant error rate reduction at low signal-to-noise ratios compared to a time-invariant model. Further experiments were conducted on a 5000 word task recorded in a reverberant and noisy environment. A significant word error rate reduction was obtained demonstrating the effectiveness of the approach on real-world data.}}, author = {{Leutnant, Volker and Krueger, Alexander and Haeb-Umbach, Reinhold}}, journal = {{IEEE Transactions on Audio, Speech, and Language Processing}}, keywords = {{Bayes methods, compensation, error statistics, reverberation, speech recognition, Bayesian feature enhancement, background noise, clean speech feature vectors, compensation, connected digits recognition task, error statistics, memory requirements, noisy reverberant data, posteriori probability density function, recursive formulation, reverberant logarithmic mel power spectral coefficients, robust automatic speech recognition, signal-to-noise ratios, time-variant observation, word error rate reduction, Robust automatic speech recognition, model-based Bayesian feature enhancement, observation model for reverberant and noisy speech, recursive observation model}}, number = {{8}}, pages = {{1640--1652}}, title = {{{Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition}}}, doi = {{10.1109/TASL.2013.2258013}}, volume = {{21}}, year = {{2013}}, } @inproceedings{22737, author = {{Becker, Matthias and Luckey, Markus and Becker, Steffen}}, booktitle = {{{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}}}, isbn = {{978-1-4503-1346-9}}, keywords = {{model-driven performance engineering, self-*, Self-adaptation, software performance}}, pages = {{117--122}}, publisher = {{ACM}}, title = {{{Model-driven Performance Engineering of Self-adaptive Systems: A Survey}}}, doi = {{10.1145/2304696.2304716}}, year = {{2012}}, } @inproceedings{36994, abstract = {{This paper proposes a quality driven, simulation based approach to functional design verification, which applies mainly to IP-level HDL designs with well specified test instruction format and is evaluated on a soft microprocessor core MB-LITE [5]. The approach utilizes mutation analysis as the quality metric to steer an automated simulation data generation process. It leads to a simulation flow with two phases towards an enhanced mutation analysis result. First in a random simulation phase, an in-loop heuristics is deployed and adjusts dynamically the test probability distribution so as to improve the coverage efficiency. Next, for each remaining hard-to-kill mutant, a search heuristics on test input space is developed to iteratively locate a target test, using a specific objective cost function for the goal of killing HDL mutant. The effectiveness of this integrated two-phase simulation flow is demonstrated by the results with the MB-LITE microprocessor IP.}}, author = {{Xie, Tao and Müller, Wolfgang and Letombe, Florian}}, booktitle = {{Proceedings of SOCC2012}}, keywords = {{Analytical models, Hardware design languages, Microprocessors, Cost function, Data models, Search problems, IP networks}}, publisher = {{IEEE}}, title = {{{Mutation-Analysis Driven Functional Verification of a Soft Microprocessor}}}, doi = {{10.1109/SOCC.2012.6398362}}, year = {{2012}}, } @inproceedings{37002, abstract = {{HDL-mutation based fault injection and analysis is considered as an important coverage metric for measuring the quality of design simulation processes [20, 3, 1, 2]. In this work, we try to solve the problem of automatic simulation data generation targeting HDL mutation faults. We follow a search based approach and eliminate the need for symbolic execution and mathematical constraint solving from existing work. An objective cost function is defined on the test input space and serves the guidance of search for fault-detecting test data. This is done by first mapping the simulation traces under a test onto a control and data flow graph structure which is extracted from the design. Then the progress of fault detection can be measured quantitatively on this graph to be the cost value. By minimizing this cost we approach the target test data. The effectiveness of the cost function is investigated under an example neighborhood search scheme. Case study with a floating point arithmetic IP design has shown that the cost function is able to guide effectively the search procedure towards a fault-detecting test. The cost calculation time as the search overhead was also observed to be minor compared to the actual design simulation time.}}, author = {{Xie, Tao and Müller, Wolfgang and Letombe, Florian}}, booktitle = {{Proceedings of Euromicro DSD 2011}}, isbn = {{978-1-4577-1048-3}}, keywords = {{Hardware design languages, Cost function, Computational modeling, Fault detection, Data models, Analytical models, Testing}}, publisher = {{IEEE}}, title = {{{HDL-Mutation Based Simulation Data Generation by Propagation Guided Search}}}, doi = {{10.1109/DSD.2011.83}}, year = {{2011}}, } @article{11892, abstract = {{For an environment to be perceived as being smart, contextual information has to be gathered to adapt the system's behavior and its interface towards the user. Being a rich source of context information speech can be acquired unobtrusively by microphone arrays and then processed to extract information about the user and his environment. In this paper, a system for joint temporal segmentation, speaker localization, and identification is presented, which is supported by face identification from video data obtained from a steerable camera. Special attention is paid to latency aspects and online processing capabilities, as they are important for the application under investigation, namely ambient communication. It describes the vision of terminal-less, session-less and multi-modal telecommunication with remote partners, where the user can move freely within his home while the communication follows him. The speaker diarization serves as a context source, which has been integrated in a service-oriented middleware architecture and provided to the application to select the most appropriate I/O device and to steer the camera towards the speaker during ambient communication.}}, author = {{Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold}}, journal = {{IEEE Journal of Selected Topics in Signal Processing}}, keywords = {{audio streaming, audio visual data streaming, context information speech, face identification, face recognition, image segmentation, middleware, multimodal telecommunication, online diarization, service oriented middleware architecture, sessionless telecommunication, software architecture, speaker identification, speaker localization, speaker recognition, steerable camera, telecommunication computing, temporal segmentation, terminal-less telecommunication, video streaming}}, number = {{5}}, pages = {{845--856}}, title = {{{Online Diarization of Streaming Audio-Visual Data for Smart Environments}}}, doi = {{10.1109/JSTSP.2010.2050519}}, volume = {{4}}, year = {{2010}}, } @inproceedings{37050, abstract = {{The main obstacle for the wide acceptance of UML and SysML in the design of electronic systems is due to a major gap in the design flow between UML-based modeling and SystemC-based verification. To overcome this gap, we present an approach developed in the SATURN project which introduces UML profiles for the co-modeling of SystemC and C with code generation support in the context of the SysML tool suite ARTiSAN Studio®. We finally discuss the evaluation of the approach by two case studies.}}, author = {{Müller, Wolfgang and He, Da and Mischkalla, Fabian and Wegele, Arthur and Larkham, Adrian and Whiston, Paul and Penil, Pablo and Villar, Eugenio and Mitas, Nikolaos and Kritharidis, Dimitros and Azcarate, Florent and Carballeda, Manuel}}, booktitle = {{Proceedings of the IEEE Computer Society Annual Symposium on VLSI}}, keywords = {{Communicate Sequential Process Virtual Platform Smart Camera Synchronous Data Flow Artisan Studio}}, title = {{{The SATURN Approach to SysML-based HW/SW Codesign}}}, doi = {{10.1007/978-94-007-1488-5_9}}, year = {{2010}}, } @inproceedings{11943, abstract = {{A marginalized particle filter is proposed for performing single channel speech enhancement with a non-linear dynamic state model. The system consists of a particle filter for tracking line spectral pair (LSP) parameters and a Kalman filter per particle for speech enhancement. The state model for the LSPs has been learnt on clean speech training data. In our approach parameters and speech samples are processed at different time scales by assuming the parameters to be constant for small blocks of data. Further enhancement is obtained by an iteration which can be applied on these small blocks. The experiments show that similar SNR gains are obtained as with the Kalman-LM-iterative algorithm. However better values of the noise level and the log-spectral distance are achieved}}, author = {{Windmann, Stefan and Haeb-Umbach, Reinhold}}, booktitle = {{IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006)}}, keywords = {{clean speech training data, iterative methods, iterative speech enhancement, Kalman filter, Kalman filters, Kalman-LM-iterative algorithm, line spectral pair parameters, log-spectral distance, marginalized particle filter, noise level, nonlinear dynamic state speech model, particle filtering (numerical methods), single channel speech enhancement, SNR gains, speech enhancement, speech samples}}, pages = {{I}}, title = {{{Iterative Speech Enhancement using a Non-Linear Dynamic State Model of Speech and its Parameters}}}, doi = {{10.1109/ICASSP.2006.1660058}}, volume = {{1}}, year = {{2006}}, } @article{6092, abstract = {{The topic of the present edition is visual masking paradigms-as powerful tool for demonstrating the processing of nonconscious visual information. In the present issue one article presents an improved methodology for disentangling perceptual and temporal influences in markers. Another paper demonstrates that preemptive control, or DPS, mediates the allocation of attention towards possible targets. One of the contributions specify conditions under which DPS-like effects are found as opposed to conditions under which stimulus-driven effects are found. A study of two illusions which the prime may cause in a trailing stimulus, a temporal pre-dating of the mask and a perception of motion in later stimuli adjacent to the prime is presented in the issue. Another contribution addresses how the percept of a stimulus is altered by a temporal and spatial interplay of two backward masks or of one forward mask and two backwards masks. (PsycINFO Database Record (c) 2016 APA, all rights reserved)}}, author = {{Scharlau, Ingrid and Ansorge, Ulrich and Breitmeyer, Bruno G.}}, issn = {{1895-1171}}, journal = {{Advances in Cognitive Psychology}}, keywords = {{visual masking, visual information, attention, stimulus-driven effects, motion perception, Attention, Illusions (Perception), Motion Perception, Visual Masking}}, number = {{1}}, pages = {{1 -- 5}}, title = {{{Trends and styles in visual masking.}}}, volume = {{2}}, year = {{2006}}, } @inproceedings{39050, abstract = {{Currently, middleware for smart home networks with embedded and mobile devices are in the focus of several investigations. In this paper, we propose a middleware for secure management of device and user profiles by integrating a profile database with a generic authentication scheme for an X.509 enabled ticket management in the context of the OSGi framework. After the introduction of the individual system components and their interaction, we also discuss potential system attacks.}}, author = {{Ziegler, Max and Müller, Wolfgang and Schäfer, Robbie and Loeser, Chris}}, booktitle = {{Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}}, isbn = {{0-7695-2424-9}}, keywords = {{Intelligent networks, Smart homes, Middleware, Project management, Data security, Ubiquitous computing, Context-aware services, Computer architecture, Home automation, Environmental management}}, location = {{Copenhagen, Denmark }}, publisher = {{IEEE}}, title = {{{Secure Profile Management in Smart Home Networks}}}, doi = {{10.1109/DEXA.2005.171}}, year = {{2005}}, } @inproceedings{39052, abstract = {{Smart homes provide their users with maximum comfort and convenience. In this paper, we present a profile management framework for situation-dependent customization in smart home environments, which meet the user preferences with given device capabilities. We apply profile processing and evolution methods to customize profiles on the fly and to automatically evolve user preferences. Furthermore, we give a comprehensive study on profile management technology.}}, author = {{Groppe, Jinghua and Müller, Wolfgang}}, booktitle = {{Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}}, isbn = {{0-7695-2424-9}}, keywords = {{Technology management, Smart homes, Environmental management, Resource description framework, Data models, Navigation, Mobile computing, Embedded computing, Ubiquitous computing, Mobile communication}}, location = {{Copenhagen, Denmark }}, publisher = {{IEEE}}, title = {{{Profile Management technology for Smart Customization in Private Home Applications}}}, doi = {{10.1109/DEXA.2005.156}}, year = {{2005}}, } @inproceedings{39061, abstract = {{This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML state diagrams, which are translated to the formal B language and are model checked for real-time properties. By means of the B language and a B theorem prover, refined state diagrams are verified against their abstract representation. The approach is presented by means of the refinement of a digital echo cancellation unit.}}, author = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}}, booktitle = {{Proceedings of DATE’04 Designers' Forum}}, isbn = {{0-7695-2085-5}}, keywords = {{Echo cancellers, Logic, Unified modeling language, Automata, Data structures, Boolean functions, Electronic design automation and methodology, Prototypes, Specification languages, Constraint theory}}, title = {{{Formal Refinement and Model Checking of An Echo Cancellation Unit}}}, doi = {{10.1109/DATE.2004.1269214}}, year = {{2004}}, }