ppxscal/embedding_network huggingface dataset:
Model-driven Development of Complex Software: A Research Roadmap
Authors: Robert France, Bernhard Rumpe
Venue: 2007 Future of Software Engineering (2007)

The term Model-Driven Engineering (MDE) is typically used to describe software development approaches in which abstract models of software systems are created and systematically transformed to concrete implementations. In this paper we give an overview of current research in MDE and discuss some of the major challenges that must be tackled in order to realize the MDE vision of software development. We argue that full realizations of the MDE vision may not be possible in the near to medium-term primarily because of the wicked problems involved. On the other hand, attempting to realize the vision will provide insights that can be used to significantly reduce the gap between evolving software complexity and the technologies used to manage complexity.
Infinity project: a high school engineering curriculum, one year later
Authors: M. A. Yoder
Venue: Proceedings of the Frontiers in Education Conference, 2001. on 31st Annual - Volume 01 (2001)

This work-in progress paper presents an update to The INFINITY Project (http://www.infinity-project.org/), a joint effort between university educators, industrial partners, and high school teachers to introduce an engineering curriculum at the high school level. The initial pilot program (2000-2001) involved nearly 500 students at 14 different Texas (USA) high schools. Responses to the effort from teachers and students at the different high schools have been highly positive. The presentation discusses the further expansion of the program into over 40 schools during the 2001-2002 school year. An overview of the project was presented at FIE 2000. This presentation expounds findings after the first year of running the project and initial findings in the second year.
Low complexity source controlled channel decoding in a GSM system
Authors: P. Strauch
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 05 (1999)

In this paper we investigate source controlled channel decoding with a hard output channel decoder. Various methods have been devised in the past for source controlled channel decoding, but most of them assume that a soft output channel decoder is used. Most receivers in mobile wireless communications have a standard Viterbi channel decoder which produces only hard outputs. It is shown that a simple sliding histogram is capable of improving the speech quality significantly. The ideas and methods in this paper are applied for the full-rate and enhanced full-rate speech codecs in the GSM system.
SEI-Tur: A System Based on Composed Web-Service Discovery to Support the Creation of Trip Plans
Authors: Ulrich Schiel, Claudio de Souza Baptista, Ana Carolina de Jesus Maia, Fabio Gomes de Andrade
Venue: Proceedings of the First International Conference on the Digital Society (2007)

In this paper we present a system for the creation of both tourist and business trip plans. SEI-Tur is a recommender system that uses Web services in order to create complete and consistent tours, based on user preferences, combining travel, lodging, food supply and local event programming. For each component of the tour, a domain ontology has been developed and the discovery and selection of the best services is based on a sophisticated service selection and composition tool.
Enhancements for hyper-threading technology in the operating system: seeking the optimal scheduling
Authors: Jun Nakajima, Venkatesh Pallipadi
Venue: Proceedings of the 2nd conference on Industrial Experiences with Systems Software - Volume 2 (2002)

Hyper-Threading Technology (HT) is Intel®'s implementation of Simultaneous Multi-Threading (SMT). HT delivers two logical processors that can execute different tasks simultaneously using shared hardware resources on the processor package. In general a multi-threaded application that scales well and is optimized on SMP systems should be able to benefit on systems with HT as well for most cases, without any changes, although the operating system (OS) needs HT-specific enhancements. Among those we found process scheduling is one of the most crucial enhancements required in the OS, and we have been seeking the optimal scheduling for HT, evaluating various ideas and algorithms. One of our finds is, to efficiently utilize such execution resources, severe resource contention against the same and limited execution resource should be avoided in a processor package. The OS can attempt to utilize the CPU execution resources in processor packages if it can monitor and predict how the processes and system utilize the CPU execution resources in the multiprocessor environment. We have implemented a supplementary functionality for the scheduler called "Micro-Architectural Scheduling Assist (MASA)" on Linux (2.4.18) chiefly as a user program, rather than in the scheduler itself. This is because we believe that the users can tune the system more effectively for various workloads if we clarify how it works as a distinct entity. Most of this problem and solution is generic; all we require is for the OS to support an API for processor affinity and to provide per-thread or per-process hardware event counts from the hardware performance monitoring counters at runtime.
The impact of background traffic on TCP performance over indirect and direct routing
Authors: Qiang Fu, L. White
Venue: Proceedings of the The 8th International Conference on Communication Systems - Volume 01 (2002)

In this paper, the impact of background traffic on TCP performance is examined over indirect and direct routing for mobile computing. Furthermore, the performance is examined for broadband and narrowband mobile user. We design four topology scenarios that describe the relative difference between the indirect and direct routing in the length of routing path (number of hops). The paper concludes that with broadband access the effectiveness of TCP performance improvement of direct routing over indirect routing not only depends on the relative difference of routing path length between the two routings but also on background traffic load-the higher the background traffic load is, the more apparent the effectiveness is. Furthermore, it is shown that the location of bottleneck for data transmission has a significant impact on performance improvement. The bottleneck within wireless local area usually consumes the performance improvement created by the direct routing.
Detectability of breast lesions with CARI ultrasonography using a bioacoustic computational approach
Authors: A. Bounaïm, S. Holm, Wen Chen, . Ødegård
Venue: Computers Mathematics with Applications (2007)

Compared to other medical breast imaging techniques, ultrasonic imaging is more attractive due to its relatively low cost and wide clinical use. This study is concerned with clinical amplitude/velocity reconstruction imaging (CARI) ultrasonography for accurately detecting breast cancer using two acoustic properties: the sound speed and the attenuation. Bioacoustic modeling is used to describe ultrasound wave propagation in the breast/tumor system. The feasibility and the sensitivity of the CARI device are investigated using a finite-element time-domain approximation in tissue-mimicking breast. 2D and 3D simulation experiments show the detectability of small ellipse/ellipsoid-shaped tumors in terms of the increase in the sound speed in the tumor region. Our study confirms also that the FETD (finite-element time domain) method is a simple but robust tool to simulate the CARI device and other included clinical effects, such as focusing and scanning of the beams.
Chosen-Ciphertext Security from Identity-Based Encryption
Authors: Dan Boneh, Ran Canetti, Shai Halevi, Jonathan Katz
Venue: SIAM Journal on Computing (2006)

We propose simple and efficient CCA-secure public-key encryption schemes (i.e., schemes secure against adaptive chosen-ciphertext attacks) based on any identity-based encryption (IBE) scheme. Our constructions have ramifications of both theoretical and practical interest. First, our schemes give a new paradigm for achieving CCA-security; this paradigm avoids &ldquo;proofs of well-formedness&rdquo; that have been shown to underlie previous constructions. Second, instantiating our construction using known IBE constructions we obtain CCA-secure encryption schemes whose performance is competitive with the most efficient CCA-secure schemes to date. Our techniques extend naturally to give an efficient method for securing IBE schemes (even hierarchical ones) against adaptive chosen-ciphertext attacks. Coupled with previous work, this gives the first efficient constructions of CCA-secure IBE schemes.
Joint detection and high resolution ML estimation of multiple sinusoids in noise
Authors: M. D. Macleod
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

Harmonic analysis, the analysis of signals which consist of a sum of sinusoids (or complex sinusoids) with additive white or colored noise, is a much studied problem, with many important applications. Nevertheless, existing approaches have significant limitations. In many, the model order (number of sinusoids) is assumed known, and in most cases additive white Gaussian noise (AWGN) is assumed. We present a method for jointly determining the model order and estimating the sinusoid parameters in white or colored noise. It uses the notch periodogram in an iterative detection and estimation algorithm. It uses an explicit detection test based on an estimate of the noise power density spectrum (PDS), which is obtained by smoothing the logarithm of the notch periodogram.
Interactive multimedia lessons for education
Authors: M. F. Iskander, J. C. Catten, A. Jones, R. Jameson, A. Balcells
Venue: Proceedings of the Frontiers in Education Conference on 1995. Proceedings., 1995 vol 1. - Volume 01 (1995)

Development of multimedia modules and courses for engineering education present a significant opportunity to modernize curricula and improve effectiveness of teaching and learning. We review the various hardware and software components required to develop multimedia lessons and discuss the role of each component in the structure of a multimedia module. Examples of multimedia lessons developed for CD-ROM distribution by the Center for Multimedia Education and Technology (CAEME) at the University of Utah are described. These include the multimedia lessons in electromagnetics, the Calculus Castle, and the Physics Museum. It is shown that although extensive resources and expertise are often needed to develop these modules, development software and associated technologies are readily available and educators are encouraged to take advantage of these opportunities to reform, restructure, and improve engineering education.
Testing Microelectronic Biofluidic Systems
Authors: Hans G. Kerkhoff
Venue: IEEE Design Test (2007)

According to the 2005 International Technology Roadmap for Semiconductors, the integration of emerging nondigital CMOS technologies will require radically different test methods, posing a major challenge for designers and test engineers. One such technology is microelectronic fluidic (MEF) arrays, which have rapidly gained importance in many biological, pharmaceutical, and industrial applications. The advantages of these systems, such as operation speed, use of very small amounts of liquid, on-board droplet detection, signal conditioning, and vast digital signal processing, make them very promising. However, testable design of these devices in a mass-production environment is still in its infancy, hampering their low-cost introduction to the market. This article describes analog and digital MEF design and testing methods.
The integration of computer technology in an eighth-grade male social studies classroom in the united arab emirates
Authors: Sandra V. Turner
Venue:  (2006)

This study described an eighth-grade classroom environment in the United Arab Emirates where computers were used as a tool in teaching social studies. It was conducted in a naturalistic setting where different activities and interactions were observed and explained. The study investigated both the teacher's perceptions and students' attitudes toward using computer technology for a social studies class. Both quantitative and qualitative data were gathered to describe and explain what happened in the eighth-grade social studies classroom which consisted of 28 male students between 13 and 14 years of age. In the quantitative segment of the study a 20-item Computer Attitude Questionnaire was administered to determine any significant differences in students' attitudes towards computer importance, computer enjoyment, and computer anxiety through the use of computer-enhanced instruction in their classroom. A two-tailed paired sample t-test at the .05 significance level was conducted to examine students' change in attitudes regarding each item. The results of the two-tailed t-test showed that the students' perceptions towards computer importance were not significant; in contrast, when it came to the students' perceptions of computer enjoyment and computer anxiety, the results of the two-tailed t-test showed positive improvement. In the qualitative part of the study, three different sources of data were employed to understand and describe the cooperative computer-based learning environment: student interviews, students' written reflections, and the teacher's personal observation notes. The three main themes that emerged during data analysis were students' sense of empowerment through presentations, rapport and support among students, and cooperation among students.
Closed-form elliptic location with an arbitrary array topology
Authors: U. D. Hanebeck
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 06 (1996)

An efficient noniterative algorithm for active localization of objects is developed. It is based on intersecting elliptic curves defined by uncertain range-sum measurements between a signal source, the objects, and a number of arbitrarily located receivers. Measurement errors are modelled as being unknown but bounded in amplitude by a closed convex set. Based on this set-theoretic uncertainty model, an error propagation analysis is performed, that allows one to accurately bound estimation errors. For discriminating object primitives and for discarding erroneous measurements, a hypothesis test is derived. The algorithm's computational load is much lower than for grid-based methods and iterative techniques. A recursive formulation is provided to support real-time applications.
A new bearing fault detection and diagnosis scheme based on hidden Markov modeling of vibration signals
Authors: H. Ocak
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

This paper introduces a new bearing fault detection and diagnosis scheme based on hidden Markov modeling (HMM) of vibration signals. First features are extracted from amplitude demodulated vibration signals obtained from both normal and faulty bearings. The features are based on the reflection coefficients of the polynomial transfer function of the autoregressive model of the vibration signal. These features are then used to train HMMs to represent various bearing conditions. The technique allows for online detection of faults by monitoring the probabilities of the pre-trained HMM for the normal case. It also allows for the diagnosis of the fault by the HMM that gives the highest probability. The new scheme was tested with experimental data collected from drive end ball bearing of an induction motor (Reliance Electric 2HP IQPreAlert) driven mechanical system.
Promoting Mathematics as a Tool for a PBL Type High School Mathematics Curriculum - Its Design and Evaluation
Authors: Daisuke Yanase, Takeshi Fujioka
Venue: Proceedings of the Fifth International Conference on Creating, Connecting and Collaborating through Computing (2007)

We have designed a PBL curriculum for "Period for integrated study" using mathematics as a tool for problem solving and evaluated its effectiveness. Students learned two methods, which were how to use differential equation as a tool, and how to choose their own problems, and solve them. We introduced a method using spreadsheet in order to calculate numeric solutions of differential equations. We instructed students so that they would choose a problem that required differential equation in order to solve it. The curriculum was practiced at Kyoto Municipal Horikawa Senior High School in Kyoto, Japan from October 2005 to September 2006. The curriculum was proved effective according to the outcome of students' researches, the results of questionnaires given after finishing the curriculum, and the impressions by the teachers who participated in it. We also found ideas for future improvement.
Hitch haiku: an interactive generation system of haiku
Authors: Hideto Obara, Naoko Tosa, Michihiko Minoh
Venue: Proceedings of the international conference on Advances in computer entertainment technology (2007)

The theme of our research is "Cultural Computing", which means of cultural translation using scientific methods to represent essentcial aspects of Japanese culture. We study reproducing a traditional Japanese haiku of by computer. Our system condenses an essence of a book into a Haiku, a Japanese minimal poem form. A user chooses arbitrary phrases from a chapter of a famous Japanese essay called "1000 Books and 1000 Nights," which introduces 1000 books covering many genres from all over the world. Then the system generates a Haiku by using the corpus of the essay and several databases dedicated for Haiku generation, then transfers it into English. Thus even foreigners can catch the essence of the book.
Transmitter optimization for single carrier and multicarrier transceivers on crosstalk-impaired ISI channels
Authors: N. Al-Dhahir
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 05 (1999)

Transmitter optimization techniques for maximizing the throughput of linear ISI channels impaired by additive-Gaussian noise and crosstalk are presented. The transmitter ends of both single carrier and multicarrier transceiver structures are optimized subject to a fixed average input energy constraint. The effect of transmitter optimization on channel throughput is quantified by comparison with scenarios where both the desired user and the crosstalker use a flat energy distribution across the transmission bandwidth. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Ursa minor: versatile cluster-based storage
Authors: Michael Abd-El-Malek, William V. Courtright,  II, Chuck Cranor, Gregory R. Ganger, James Hendricks, Andrew J. Klosterman, Michael Mesnier, Manish Prasad, Brandon Salmon, Raja R. Sambasivan, Shafeeq Sinnamohideen, John D. Strunk, Eno Thereska, Matthew Wachs, Jay J. Wylie
Venue: Proceedings of the 4th conference on USENIX Conference on File and Storage Technologies - Volume 4 (2005)

No single encoding scheme or fault model is optimal for all data. A versatile storage system allows them to be matched to access patterns, reliability requirements, and cost goals on a per-data item basis. Ursa Minor is a cluster-based storage system that allows data-specific selection of, and on-line changes to, encoding schemes and fault models. Thus, different data types can share a scalable storage infrastructure and still enjoy specialized choices, rather than suffering from "one size fits all." Experiments with Ursa Minor show performance benefits of 2-3× when using specialized choices as opposed to a single, more general, configuration. Experiments also show that a single cluster supporting multiple workloads simultaneously is much more efficient when the choices are specialized for each distribution rather than forced to use a "one size fits all" configuration. When using the specialized distributions, aggregate cluster throughput nearly doubled.
Teaching for understanding-analogies for learning in electrical technology
Authors: E. M. Rothkopf
Venue: Proceedings of the Frontiers in Education Conference on 1995. Proceedings., 1995 vol 1. - Volume 01 (1995)

Many college professors have found that a good percentage of today's students are poorer learners than their predecessors. Now, more than ever before, students must be taught in a manner that will connect each topic with the students' own lives. The material must be taught in an active way to keep the students' interest. Thus, to motivate and aid students in understanding a topic, we must use analogies for learning and apply them with active teaching wherever possible. When students are first presented with the concept of electrical charge, they can get a "feel" for the force of attraction using the force of gravity as a model. Throw a book up in the air and ask the class, "Why does it fall down?" They will reply that it is due to "gravity". What is "gravity?"-a force of attraction between "unlike" charges and between the "opposite" poles of magnets. From the forces of attraction between "unlike" charges and "opposite" magnetic poles, one can then discuss the forces of repulsion experienced by "like" charges and "similar" magnetic poles. It is a good idea to demonstrate the forces of attraction and repulsion with magnets even though the students know how magnets behave because "seeing" gives even more reinforcement to the learning. The paper discusses other analogies for physical quantities such as work, voltage, current, and resistance as well as analogies for series and parallel connections, and Kirchhoff's current and voltage laws. Suggestions are given as to how to enliven the presentation of the material to enhance the learning experience. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models
Authors: Hiroyuki Okamura, Michael Grottke, Tadashi Dohi, Kishor S. Trivedi
Venue: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (2007)

In this paper, we present a variational Bayesian (VB) approach to computing the interval estimates for nonhomogeneous Poisson process (NHPP) software reliability models. This approach is an approximate method that can produce analytically tractable posterior distributions. We present simple iterative algorithms to compute the approximate posterior distributions for the parameters of the gamma-type NHPP-based software reliability model using either individual failure time data or grouped data. In numerical examples, the accuracy of this VB approach is compared with the interval estimates based on conventional Bayesian approaches, i.e., Laplace approximation, Markov chain Monte Carlo (MCMC) method, and numerical integration. The proposed VB approach provides almost the same accuracy as MCMC, while its computational burden is much lower.