Grace Lee Amuzie, Patti Spinner,
Journal Article Korean EFL Learners’ Indefinite Article Use with Four Types of Abstract Nouns Get access Grace Lee Amuzie, Grace Lee Amuzie Second Language Studies, Michigan State University, MI, USA E-mail: leeeunh1@msu.edu, spinnerp@msu.edu Search for other works by this author on: Oxford Academic Google Scholar Patti Spinner Patti Spinner Second Language Studies, Michigan State University, MI, USA Search for other works by this author on: Oxford Academic Google Scholar Applied Linguistics, Volume ...
Tópico(s): Multilingual Education and Policy
2012 - Oxford University Press | Applied Linguistics
Jürgen Freudenberger, Jens Spinner,
Error correction coding (ECC) has become one of the most important tasks of flash memory controllers. The gate count of the ECC unit is taking up a significant share of the overall logic. Scaling the ECC strength to the growing error correction requirements has become increasingly difficult when considering cost and area limitations. This work presents a configurable encoding and decoding architecture for binary Bose–Chaudhuri–Hocquenghem (BCH) codes. The proposed concept supports a wide range of ...
Tópico(s): Cellular Automata and Applications
2013 - World Scientific | Journal of Circuits Systems and Computers
Samuel Kounev, Simon Spinner, Philipp Meier,
Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, queueing Petri nets provide a number of advantages. In this paper, we present Version 2.0 of our tool QPME (Queueing Petri net Modeling Environment) for modeling and analysis of systems using queueing Petri nets. The development of the tool was initiated ...
Tópico(s): Distributed systems and fault tolerance
2010 - Springer Science+Business Media | Lecture notes in computer science
Jochen Görtler, Thilo Spinner, Dirk Streeb, Daniel Weiskopf, Oliver Deußen,
We present a technique to perform dimensionality reduction on data that is subject to uncertainty. Our method is a generalization of traditional principal component analysis (PCA) to multivariate probability distributions. In comparison to non-linear methods, linear dimensionality reduction techniques have the advantage that the characteristics of such probability distributions remain intact after projection. We derive a representation of the PCA sample covariance matrix that respects potential uncertainty ...
Tópico(s): Anomaly Detection Techniques and Applications
2019 - Institute of Electrical and Electronics Engineers | IEEE Transactions on Visualization and Computer Graphics
Jens Spinner, Jürgen Freudenberger,
This paper proposes a pipelined decoder architecture for generalised concatenated (GC) codes. These codes are constructed from inner binary Bose–Chaudhuri–Hocquenghem (BCH) and outer Reed–Solomon codes. The decoding of the component codes is based on hard decision syndrome decoding algorithms. The concatenated code consists of several small BCH codes. This enables a hardware architecture where the decoding of the component codes is pipelined. A hardware implementation of a GC decoder is presented ...
Tópico(s): Advanced Wireless Communication Techniques
2015 - Institution of Engineering and Technology | IET Circuits Devices & Systems
Thilo Spinner, Udo Schlegel, Hanna Schäfer, Mennatallah El‐Assady,
We propose a framework for interactive and explainable machine learning that enables users to (1) understand machine learning models; (2) diagnose model limitations using different explainable AI methods; as well as (3) refine and optimize the models. Our framework combines an iterative XAI pipeline with eight global monitoring and steering mechanisms, including quality monitoring, provenance tracking, model comparison, and trust building. To operationalize the framework, we present explAIner, a visual ...
Tópico(s): Scientific Computing and Data Management
2019 - Institute of Electrical and Electronics Engineers | IEEE Transactions on Visualization and Computer Graphics
Simon Spinner, Samuel Kounev, Philipp Meier,
Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, queueing Petri nets provide a number of advantages. In this paper, we present our tool QPME (Queueing Petri net Modeling Environment) for modeling and analysis using queueing Petri nets. QPME provides an Eclipse-based editor for building queueing Petri ...
Tópico(s): Advanced Software Engineering Methodologies
2012 - Springer Science+Business Media | Lecture notes in computer science
Pienemann's Processability Theory (PT) predicts an order of emergence of morphosyntactic elements in second language (L2) production data. This research investigates whether the same order of emergence can be detected in L2 reception data, specifically, data from a timed audio grammaticality judgment task (GJT). The results from three related studies are reported. Overall, evidence from two groups of learners of English as an L2 who took an audio GJT does not demonstrate the order of emergence predicted ...
Tópico(s): Speech and dialogue systems
2013 - Wiley | Language Learning
Nikolaus Huber, Fabian Brosig, Simon Spinner, Samuel Kounev, M. Bähr,
Modern IT systems have increasingly distributed and dynamic architectures providing flexibility to adapt to changes in the environment and thus enabling higher resource efficiency. However, these benefits come at the cost of higher system complexity and dynamics. Thus, engineering systems that manage their end-to-end application performance and resource efficiency in an autonomic manner is a challenge. In this article, we present a holistic model-based approach for self-aware performance and resource ...
Tópico(s): Software Reliability and Analysis Research
2016 - IEEE Computer Society | IEEE Transactions on Software Engineering
Jens Spinner, Jürgen Freudenberger, Sergo Shavgulidze,
This paper proposes a soft input decoding algorithm and a decoder architecture for generalized concatenated (GC) codes. The GC codes are constructed from inner nested binary Bose-Chaudhuri-Hocquenghem (BCH) codes and outer Reed-Solomon codes. In order to enable soft input decoding for the inner BCH block codes, a sequential stack decoding algorithm is used. Ordinary stack decoding of binary block codes requires the complete trellis of the code. In this paper, a representation of the block codes based ...
Tópico(s): Advanced Wireless Communication Techniques
2016 - IEEE Communications Society | IEEE Transactions on Communications
Tracy J. Wright, Darrell Ricke, Karen Denison, Simone Abmayr, Philip D. Cotter, Kurt Hirschhorn, Markku Keinänen, Donna M. McDonald‐McGinn, Mirja Somer, N B Spinner, Teresa L. Yang‐Feng, E. Zackai, Michael R. Altherr,
Wolf-Hirschhorn syndrome (WHS) is a multiple malformation syndrome characterised by mental and developmental defects resulting from the absence of a segment of one chromosome 4 short arm (4p16.3). Due to the complex and variable expression of this disorder, it is thought that the WHS is a contiguous gene syndrome with an undefined number of genes contributing to the phenotype. In an effort to identify genes that contribute to human development and whose absence results in this syndrome, we have utilised ...
Tópico(s): Algorithms and Data Compression
1997 - Oxford University Press | Human Molecular Genetics
In order to determine the nature of naturalistic learners' difficulty with grammatical gender in a complex morphological system, the longitudinal production data of an early naturalistic L1-Italian and L1-Turkish learner who are acquiring German are examined in light of current theories of gender within Chomsky's (1995) Minimalist Program. After analyzing the speakers' marking on determiners, adjectives and pronouns, we conclude that these learners' errors in the gender of German nouns are the result ...
Tópico(s): Linguistic Studies and Language Acquisition
2008 - De Gruyter | IRAL - International Review of Applied Linguistics in Language Teaching
André Bauer, Nikolas Herbst, Simon Spinner, Ahmed Ali-Eldin, Samuel Kounev,
Auto-scalers for clouds promise stable service quality at low costs when facing changing workload intensity. The major public cloud providers provide trigger-based auto-scalers based on thresholds. However, trigger-based auto-scaling has reaction times in the order of minutes. Novel auto-scalers from literature try to overcome the limitations of reactive mechanisms by employing proactive prediction methods. However, the adoption of proactive auto-scalers in production is still very low due to the ...
Tópico(s): Data Stream Mining Techniques
2018 - Institute of Electrical and Electronics Engineers | IEEE Transactions on Parallel and Distributed Systems
Simon Spinner, Giuliano Casale, Fabian Brosig, Samuel Kounev,
Resource demands are a key parameter of stochastic performance models that needs to be determined when performing a quantitative performance analysis of a system. However, the direct measurement of resource demands is not feasible in most realistic systems. Therefore, statistical approaches that estimate resource demands based on coarse-grained monitoring data (e.g., CPU utilization, and response times) have been proposed in the literature. These approaches have different assumptions and characteristics ...
Tópico(s): Cloud Computing and Resource Management
2015 - Elsevier BV | Performance Evaluation
Felix Willnecker, Markus Dlugi, Andreas Brunnert, Simon Spinner, Samuel Kounev, Wolfgang Gottesheim, Helmut Krcmar,
Resource demands are a core aspect of performance models. They describe how an operation utilizes a resource and therefore influence the systems performance metrics: response time, resource utilization and throughput. Such demands can be determined by two extraction classes: direct measurement or demand estimation. Selecting the best suited technique depends on available tools, acceptable measurement overhead and the level of granularity necessary for the performance model. This work compares two ...
Tópico(s): Advanced Software Engineering Methodologies
2015 - Springer Science+Business Media | Lecture notes in computer science
L. R. Moore, Johnathan Moore, E. Spinner,
Summary The paper describes the organic content of specimens representing some part of the Nonesuch Shale of Upper Keweenawan age (1,075 ± 50 million years) forming part of the Copper Belt on the southern flanks of the Lake Superior Basin in Ontonagon County, Michigan. The remarkably well preserved organic matter has been studied optically in thin section, by acid maceration analysis, and separately, in ultrathin section of isolated organic matter, by electron microscopy. The amorphous organic groundmass ...
Tópico(s): Geochemistry and Geologic Mapping
1969 - Zoological Society of London | Proceedings of the Yorkshire Geological Society
Patti Spinner, Susan M. Gass, Jennifer Behney,
Eye-trackers are becoming increasingly widespread as a tool to investigate second language (L2) acquisition. Unfortunately, clear standards for methodology—including font size, font type, and placement of interest areas—are not yet available. Although many researchers stress the need for ecological validity—that is, the simulation of natural reading conditions—it may not be prudent to use such a design to investigate new directions in eye-tracking research, and particularly in research involving ...
Tópico(s): Text Readability and Simplification
2013 - Cambridge University Press | Studies in Second Language Acquisition
SUMMARY Palynological assemblages are described from new exposures of Coal Measures in the Titterstone Clee Coalfield, Shropshire, England. The composition of taxa present in the assemblages is indicative of the presence of three miospore zones, SS, RA and NJ, forming part of the Langsettian and Duckmantian regional stages (Westphalian A — early Westphalian B age). The colour of the spores in the assemblages from strata immediately above the upper surface of the Titterstone Clee Dolerite compared with ...
Tópico(s): Geochemistry and Geologic Mapping
1990 - Zoological Society of London | Proceedings of the Yorkshire Geological Society
Eric Gibson, Susan S. Spinner, James A. Cullen, Heidi A. Wrobel, Alan R. Spitzer,
The objectives of this study were to: (1) measure patient compliance with monitoring, (2) validate parental reports of alarms at home, (3) examine monitoring duration, and (4) compare documented monitor records with the traditional pneumogram to evaluate patients for monitor discontinuation. During the 1-year period from January through December, 1992, 114 infants were followed up with documented monitoring. Simultaneously, 113 infants were followed up with conventional monitors. Infants were premature, ...
Tópico(s): Healthcare Technology and Patient Monitoring
1996 - SAGE Publishing | Clinical Pediatrics
Simon Spinner, Johannes Grohmann, Simon Eismann, Samuel Kounev,
Performance models are valuable and powerful tools for performance prediction. However, the creation of performance models usually requires significant manual effort. Furthermore, as the modeled structures are subject to frequent change in modern infrastructures, such performance models need to be adapted as well. We therefore propose a reference architecture for online model learning in virtualized environments, which enables the automatic extraction of the aforementioned performance models. We ...
Tópico(s): Software-Defined Networks and 5G
2018 - Elsevier BV | Journal of Systems and Software
Tópico(s): Neural Networks and Applications
1960 - Music Library Association | Notes
Jens Spinner, Daniel Rohweder, Jürgen Freudenberger,
Generalised concatenated (GC) codes are well suited for error correction in flash memories for high-reliability data storage. The GC codes are constructed from inner extended binary Bose–Chaudhuri–Hocquenghem (BCH) codes and outer Reed–Solomon codes. The extended BCH codes enable high-rate GC codes and low-complexity soft input decoding. This work proposes a decoder architecture for high-rate GC codes. For such codes, outer error and erasure decoding are mandatory. A pipelined decoder architecture ...
Tópico(s): Advanced Data Storage Technologies
2018 - Institution of Engineering and Technology | IET Circuits Devices & Systems
Stefan Spinner, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng,
We present a fully automated flow to generate test patterns for interconnect open defects. Both inter-layer opens (open- via defects) and arbitrary intra-layer opens can be targeted. An aggressor-victim model used in industry is employed to describe the electrical behavior of the open defect. The flow is implemented using standard commercial tools for parameter extraction (PEX) and test generation (ATPG). A highly optimized branch-and bound algorithm to determine the values to be assigned to the aggressor ...
Tópico(s): Advancements in Photolithography Techniques
2008 - Institute of Electrical and Electronics Engineers | Proceedings - IEEE VLSI Test Symposium/Proceedings of the ... IEEE VLSI Test Symposium
Mahmoud Nourbakhsh, John G. Atwood, Jeanne Raccio, David Seligson,
Journal Article An Evaluation of Blood Smears Made by a New Method Using a Spinner and Diluted Blood Get access Mahmoud Nourbakhsh, M.D., Mahmoud Nourbakhsh, M.D. Department of Laboratory Medicine, Yale University School of Medicine, New Haven, Connecticut Search for other works by this author on: Oxford Academic Google Scholar John G. Atwood, M.S., John G. Atwood, M.S. Department of Laboratory Medicine, Yale University School of Medicine, New Haven, Connecticut Search for other works by this author ...
Tópico(s): Animal health and immunology
1978 - Oxford University Press | American Journal of Clinical Pathology
Samuel Kounev, Nikolaus Huber, Simon Spinner, Fabian Brosig,
With the increasing adoption of virtualization and the transition towards Cloud Computing platforms, modern business information systems are becoming increasingly complex and dynamic. This raises the challenge of guaranteeing system performance and scalability while at the same time ensuring efficient resource usage. In this paper, we present a historical perspective on the evolution of model-based performance engineering techniques for business information systems focusing on the major developments ...
Tópico(s): Service-Oriented Architecture and Web Services
2012 - Springer Science+Business Media | Lecture notes in business information processing
Eka Susanti, Ica Admirani, Romi Wilza, Irawan Hadi, Sholihin Sholihin,
Songket weaving craft of Palembang City has been the center of the easy ikat weaving craft since ancient times and has become the hallmark of the city of Palembang.Currently the production process used by the songket weaving craft is still very simple, most of the work process in making this woven fabric is done manually.This causes the production process to take a relatively long time compared to the manufacture of fabrics in general.The yarn spinning device is modified in such a way that the yarn ...
Tópico(s): Handwritten Text Recognition Techniques
2022 - Atlantis Press | Atlantis highlights in engineering/Atlantis Highlights in Engineering
Andrew Bishara, Andrew Wong, Linshanshan Wang, Manu Chopra, Wudi Fan, Alan J. Lin, Nicholas Fong, Aditya Palacharla, Jon Spinner, Rachelle Armstrong, Mark J. Pletcher, Dmytro Lituiev, Dexter Hadley, Atul J. Butte,
Abstract Opal is the first published example of a full-stack platform infrastructure for an implementation science designed for ML in anesthesia that solves the problem of leveraging ML for clinical decision support. Users interact with a secure online Opal web application to select a desired operating room (OR) case cohort for data extraction, visualize datasets with built-in graphing techniques, and run in-client ML or extract data for external use. Opal was used to obtain data from 29,004 unique ...
Tópico(s): Machine Learning in Healthcare
2021 - Springer Science+Business Media | Journal of Clinical Monitoring and Computing
Daqiang Wu, W. S. Woodward, Charles S. Johnson,
Signal overlap in the NMR dimension significantly complicates the construction and analysis of 2D diffusion-ordered (DOSY) spectra. Such problems can often be reduced or even eliminated by extending the NMR domain of a DOSY experiment into two dimensions, giving a 3D-DOSY spectrum. To date such experiments have generally sacrificed some signal-to-noise ratio and have required extensive and time-consuming phase cycling. A new family of pulse sequences with internal diffusion encoding (IDOSY) has been ...
Tópico(s): Neural Networks and Applications
1993 - Academic Press | Journal of Magnetic Resonance Series A
F Schubert, Karsten Klameth, Sylvain Darou, Daniel Spinner,
For the classification of solar simulators the spectral irradiance is one relevant criterion. Array spectrometers are often used for this purpose. We developed a compact and portable spectrometer instrument specifically for flash and steady-state solar simulators. It is commercially available since 2011 under the name FlashSpec. Multiple experiments were performed to quantify several source of uncertainty. Among them were repeatability, temperature dependency, linearity and stray light. Straylight ...
Tópico(s): Solar Thermal and Photovoltaic Systems
2015 - Elsevier BV | Energy Procedia
Lucas Mesquita, Guilherme Brockington, Pamella Aline de Almeida, María Elena Truyol, Leonardo André Testoni, Paula F F Sousa,
In 2017, almost everywhere in the world, there was a boom in sales of fidget spinners. A toy that has 'multi-lobes' that can rotate freely from a thrust performed with the fingers. Thereby, we analysed the physics concepts that involved in this toy, such as angular and linear velocity. We did the analysis using the software Tracker, a laboratory light sensor, a free mobile application that turns the device flashlight into a strobe light source. Thus, we aim to show that it is possible to transform ...
Tópico(s): Mobile Learning in Education
2018 - IOP Publishing | Physics Education