ppxscal/embedding_network huggingface dataset:
An empirical investigation of critical success factors in agile sotware development projects
Authors: Tsun Chow
Venue:  (2006)

While software is so important for all facets of the modern world, software development itself is not a perfect process. Agile software engineering methods have recently emerged as a new and better way of developing software as compared to the traditional methodologies. However, their success has mostly been anecdotal, and research in this subject is still scant in the academic circles. This research study was carried out to explore and determine the critical success factors of Agile software development projects using quantitative approach. The research compiled success and failure factors of Agile projects identified in the existing literature into a preliminary list of potential critical success factors. Subsequently, reliability analysis and factor analysis were conducted in order to consolidate the list into a final set of 12 possible critical success factors for each of the four project success categories---Quality, Scope, Time, and Cost. A survey was conducted among Agile professionals, gathering empirical data from 109 Agile projects from 25 countries across the world. Multiple regression techniques were used, both at the full regression model and at the optimized regression model via the stepwise screening procedure. The results revealed that only 10 out of 48 hypotheses were supported, identifying three critical success factors for Agile software development projects: (a) Delivery Strategy, (b) Agile Software Engineering Techniques, and (c) Team Capability. The results provided researchers and practitioners with insight on the comparative values of success factors, and might help managers to quickly determine if their organizations are ready to jump onto the Agile bandwagon.
Brain research and implications for engineering education
Authors: K. M. Harmeyer
Venue: Proceedings of the 26th Annual Frontiers in Education - Volume 01 (1996)

Cognitive engineers view learning as a process in which information is obtained, stored in long term memory and successfully recalled when needed. Minor changes in the preparations and delivery of course content provide for increased opportunity for learning and application of engineering concepts. Discussed are predominant methods of information acquisition; learning modalities, hemispheric dominance, hierarchies of learning, schema theory and explicit vs. implicit memories. Introduced are instructional design strategies for improving probability of learning whether by traditional delivery or electronic means.
Fluids transport competition-an integration of quality management and technical skill
Authors: R. D. Knecht
Venue: Proceedings of the Frontiers in Education Conference, on 1995. Proceedings., 1995 - Volume 02 (1995)

A first year engineering design sequence provides an opportunity to combine technical and team skills to successfully resolve open-ended problems. These problems provide students with a unique opportunity to develop management and communications skills to sell their technical ideas. The purpose of the quality management project is to modify this project-based curriculum with an emphasis on quality management. Quality management encompasses an organization and procedures to provide a product and service that respond to the needs of the customer. A survey of students' perceptions of quality management tied characteristics of educational and student quality to business quality. The benefit was a creative and exciting laboratory which simulated today's decision-making environments.
Exact RLS Laguerre-lattice adaptive filtering
Authors: R. Merched
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 01 (2000)

This paper solves the problem of designing an exact RLS lattice (or order-recursive) algorithms for adaptive filters that do not involve tapped-delay-line structures. As a special case, an exact RLS Laguerre lattice filter is obtained.
Webmin a web-based system administration tool for unix
Authors: Jamie Cameron
Venue: Proceedings of the annual conference on USENIX Annual Technical Conference (2000)

This paper describes the design and implementation of the Unix administration tool Webmin, available from http://www.webmin.com/webmin/. Webmin allows moderately experienced users to manage their Unix system through a web browser interface, instead of editing configuration files directly. The most recent version supports Apache, Squid, BIND, Samba and many other servers and services. It supports multiple operating systems and distributions, different languages, multiple users each with different levels of access, and SSL encryption. The first part of the paper explains why Webmin was developed and the initial design goals, and compares the design to other similar tools such as Linuxconf. Subsequent sections cover the design and implementation of the detailed multi-user security model, the implementation of Webmin itself, how support for multiple operating systems is handled and how internationalization works. Finally, two Webmin modules are discussed in more detail and various problems explained before the conclusion.
Coherent wideband DOA estimation of multiple FM signals using spatial time-frequency distributions
Authors: A. B. Gershman
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 05 (2000)

The previously developed concept of narrowband spatial time-frequency distributions (STFDs) is extended to the wideband case. A new STFD-based root-MUSIC estimator is proposed. This estimator exploits a short-window spatial pseudo Wigner-Ville distribution (SPWVD) to enable application of the subspace-based approach. To combine all relevant SPWVD points, the proposed technique employs an extended coherent signal-subspace (CSS) principle involving coherent averaging over a pre-selected set of time-frequency points rather than the conventional frequency-only averaging procedure.
Accurate temperature-dependent integrated circuit leakage power estimation is easy
Authors: Yongpan Liu, Robert P. Dick, Li Shang, Huazhong Yang
Venue: Proceedings of the conference on Design, automation and test in Europe (2007)

It has been the conventional assumption that, due to the superlinear dependence of leakage power consumption on temperature, and widely varying on-chip temperature profiles, accurate leakage estimation requires detailed knowledge of thermal profile. Leakage power depends on integrated circuit (IC) thermal profile and circuit design style. We show that linear models can be used to permit highly-accurate leakage estimation over the operating temperature ranges in real ICs. We then show that for typical IC packages and cooling structures, a given amount of heat introduced at any position in the active layer will have similar impact on the average temperature of the layer. These two observations allow us to prove that, for wide ranges of design styles and operating temperatures, extremely fast, coarse-grained thermal models, combined with linear leakage power consumption models, permit highly-accurate system-wide leakage power consumption estimation. The results of our proofs are further confirmed via comparisons with leakage estimation based on detailed, time-consuming thermal analysis techniques. Experimental results indicate that the proposed technique yields a 59,259&times;&minus;1,790,000&times; speedup in leakage power estimation while maintaining accuracy.
Designing collaborative learning in large introductory courses
Authors: M. M. Danchak
Venue: Proceedings of the 30th Annual Frontiers in Education - Volume 01 (2000)

Introductory courses present a challenge because the students have varying degrees of prior knowledge, the majority of the students do not intend to fake additional courses in the domain and they usually have large enrollment. A typical example is Computer Science I. Studio format is ideal if faculty resources are available. However, sixteen sections quickly tax even large departments. The paper describes how we used diversity of background as a strength and how interactivity was introduced in large (200+ student) sessions using one faculty member and a number of graduate teaching assistants.
Projection Based Iterative Learning Control with Its Application to Continuous-Time System Identification
Authors: Toshiharu Sugie, Fumitoshi Sakai
Venue: Proceedings of the Second International Conference on Informatics Research for Development of Knowledge Society Infrastructure (2007)

The paper proposes a new iterative learning control for a class of linear continuous-time systems, which achieves high-precision tracking for uncertain plants by iteration of trials in the presence of heavy measurement noise. The robustness against measurement noise is achieved through (i) projection of continuous-time I/O signals onto a finite dimensional parameter space, (ii) using error data of all past iterations via an integral operation in the learning law and (iii) noise reduction by H^2 optimization. Then, based on the proposed control method, a novel approach to identification of continuous-time systems directly from the sampled I/O data is presented. Its effectiveness is demonstrated through numerical examples.
The new [incr Tcl]: objects, mega-widgets, namespaces and more
Authors: Michael J. McLennan
Venue: Proceedings of the 3rd Annual USENIX Workshop on Tcl/Tk - Volume 3 (1995)

The allure of using Tcl/Tk is the way that applications come together with relative ease. A sticky note facility can be put together in an hour. A simple video game can be created in an afternoon. But as applications get larger, Tcl/Tk code becomes more and more difficult to understand, maintain and extend. [incr Tcl] provides the extra language support needed to build large Tcl/Tk applications. The latest release offers better performance and a host of new features. The global namespace of commands and variables can now be partitioned into smaller namespaces acting as subsystems. The class facility extends the concept of namespaces to support unique instances of objects with similar characteristics. This technology can be used to create mega-widgets and other high-level building blocks that help applications come together even faster than before, with better structure in the resulting code.
SITES2006&mdash;International comparative survey of pedagogical practices and ICT in education
Authors: T. Plomp, W. J. Pelgrum, N. Law
Venue: Education and Information Technologies (2007)

This paper describes the rationale, conceptualization and design of the Second International Information Technology in Education Study (SITES). SITES is a survey of schools and teachers of their pedagogical practices, their use of ICT and their readiness for changing their teaching---learning towards the demands of the 21st century. The study will take place under the auspices of the International Association for the Evaluation of Educational Achievement (IEA) and the data collection is planned for 2006; therefore the project is called `SITES2006'.
Input-Driven Oscillations in Networks with Excitatory and Inhibitory Neurons with Dynamic Synapses
Authors: Daniele Marinazzo, Hilbert J. Kappen, Stan C. A. M. Gielen
Venue: Neural Computation (2007)

Previous work has shown that networks of neurons with two coupled layers of excitatory and inhibitory neurons can reveal oscillatory activity. For example, Börgers and Kopell (2003) have shown that oscillations occur when the excitatory neurons receive a sufficiently large input. A constant drive to the excitatory neurons is sufficient for oscillatory activity. Other studies (Doiron, Chacron, Maler, Longtin, & Bastian, 2003; Doiron, Lindner, Longtin, Maler, & Bastian, 2004) have shown that networks of neurons with two coupled layers of excitatory and inhibitory neurons reveal oscillatory activity only if the excitatory neurons receive correlated input, regardless of the amount of excitatory input. In this study, we show that these apparently contradictory results can be explained by the behavior of a single model operating in different regimes of parameter space. Moreover, we show that adding dynamic synapses in the inhibitory feedback loop provides a robust network behavior over a broad range of stimulus intensities, contrary to that of previous models. A remarkable property of the introduction of dynamic synapses is that the activity of the network reveals synchronized oscillatory components in the case of correlated input, but also reflects the temporal behavior of the input signal to the excitatory neurons. This allows the network to encode both the temporal characteristics of the input and the presence of spatial correlations in the input simultaneously.
Strong and uniform equivalence of nonmonotonic theories: an algebraic approach
Authors: Mirosław Truszczyński
Venue: Annals of Mathematics and Artificial Intelligence (2006)

We show that the concepts of strong and uniform equivalence of logic programs can be generalized to an abstract algebraic setting of operators on complete lattices. Our results imply characterizations of strong and uniform equivalence for several nonmonotonic logics including logic programming with aggregates, default logic and a version of autoepistemic logic.
Creating user-mode device drivers with a proxy
Authors: Galen C. Hunt
Venue: Proceedings of the USENIX Windows NT Workshop on The USENIX Windows NT Workshop 1997 (1997)

Writing Windows NT device drivers can be a daunting task. Device drivers must be fully re-entrant, must use only limited resources and must be created with special development environments. Executing device drivers in user-mode offers significant coding advantages. User-mode device drivers have access to all user-mode libraries and applications. They can be developed using standard development tools and debugged on a single machine. Using the Proxy Driver to retrieve I/O requests from the kernel, user-mode drivers can export full device services to the kernel and applications. User-mode device drivers offer enormous flexibility for emulating devices and experimenting with new file systems. Experimental results show that in many cases, the overhead of moving to user-mode for processing I/O can be masked by the inherent costs of accessing physical devices.
AWE: improving software analysis through modular integration of static and dynamic analyses
Authors: Ruben E. Brown, Roger Khazan, Michael Zhivich
Venue: Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2007)

AWE is a prototype system for performing analysis of x86 executables in the absence of source code or debugging information. It provides a modular infrastructure for integrating static and dynamic analyses into a single workflow. One of the major challenges with performing analysis of modern software is the amount of data that must be analyzed by a human to determine software behavior. This challenge is further compounded by the number of different tools and extensive expertise required to perform such analyses. The AWE system addresses this challenge in two ways: first by focusing analyst's attention on a prioritized subset of software features of importance, and second by simplifying analysis through an integrated static and dynamic analysis workflo.
Assessing carbon nanotube bundle interconnect for future FPGA architectures
Authors: Soumya Eachempati, Arthur Nieuwoudt, Aman Gayasen, N. Vijaykrishnan, Yehia Massoud
Venue: Proceedings of the conference on Design, automation and test in Europe (2007)

Field Programmable Gate Arrays (FPGAs) are important hardware platforms in various applications due to increasing design complexity and mask costs. However, as CMOS process technology continues to scale, standard copper interconnect will become a major bottleneck for FPGA performance. In this paper, we propose utilizing bundles of single-walled carbon nanotubes (SWCNT) as wires in the FPGA interconnect fabric and compare their performance to standard copper interconnect in future process technologies. To leverage the performance advantages of nanotube-based interconnect, we explore several important aspects of the FPGA routing architecture including the segmentation distribution and the internal population of the wires. The results demonstrate that FPGAs utilizing SWCNT bundle interconnect can achieve a 19% improvement in average area delay product over the best performing architecture for standard copper interconnect in 22 nm process technology.
Methods for stress classification: nonlinear TEO and linear speech based features
Authors: Guojun Zhou
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 04 (1999)

Speech production variations due to perceptually induced stress contribute significantly to reduced speech processing performance. One approach that can improve the robustness of speech processing (e.g., recognition) algorithms against stress is to formulate an objective classification of speaker stress based upon the acoustic speech signal. An overview of methods for stress classification is presented. First, we review traditional pitch-based methods for stress detection and classification. Second, neural network based stress classifiers with cepstral-based features, as well as wavelet-based classification algorithms are considered. The effect of stress on linear speech features is discussed, followed by the application of linear features and the Teager (1990) energy operator (TEO) based nonlinear features for effective stress classification. A new evaluation for stress classification and assessment is presented using a critical band frequency partition based the TEO feature and the combination of several linear features. Results using NATO databases of actual speech under stress are presented. Finally, we discuss issues relating to stress classification across known and unknown speakers and suggest areas for further research.
Formalizing and verifying semantic type soundness of a simple compiler
Authors: Nick Benton, Uri Zarfaty
Venue: Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming (2007)

We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized assembly language. Types in the high-level language are interpreted as binary relations, built using both second-order quantification and a form of separation structure, over stores and code pointers in the low-level machine.
A low complexity SDP method for designing optimum compaction filters
Authors: B. Dumitrescu
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 01 (2000)

We propose a new technique for finding the optimum FIR compaction filter adapted to signal statistics. The main novelty of our approach is the transformation of the original problem into the maximum eigenvalue minimization of a parameterized Toeplitz matrix, with only O(N) variables. This is a typical application of semidefinite programming (SDP) and may be solved with reliable interior-point algorithms. Our algorithm is to be compared with the method of Tuqan and Vaidyanathan (1998), which has O(N/sup 2/) variables. The numerical experiments show that the optimum compaction filter is obtained with good numerical accuracy and convenient execution time for filters of order up to 100.
Hyperstable polyphase adaptive IIR filters
Authors: C. Mosquera
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 04 (1999)

This work considers the implementation of recursive identification algorithms based on hyperstability concepts with polyphase structures. It is shown that the strictly positive real (SPR) condition required for convergence of these schemes can always be met by using a sufficiently high polyphase expansion factor M. For a given M, the degree of persistent excitation required for parameter convergence is obtained. When a priori knowledge about the unknown system is available, a compensating filter can be designed to avoid the need for a high M.
"Silhouette-Box": An Interactive Interface for Modeling and Direct Manipulation in Mixed Reality
Authors: Daisaku HAYASHI, Masayuki TAKAMURA, Naoto NAKAMURA, Michio KOBAYASHI
Venue: Proceedings of the The First IEEE International Workshop on Digital Game and Intelligent Toy Enhanced Learning (2007)

Recently, the trial that is going to use a virtual reality for mathematics education is performed. In particular, the effect of using for study of the space figure that cannot be expressed on the textbook or the blackboard is expected. In this paper, the learning system possessing the function which projects easily the object that the student imagined on a computer display, and the interface that operates the object intuitively is proposed. This system consists of a box that prints special patterns, a monitor, and a video camera. A 3D object is overlaid on the special box and an image is taken with a video camera in real-time. By moving the special box, it is possible to observe the shape of a 3D object from different viewpoints. From a viewpoint of mathematics education, it is the system that supports from a projection improvement in the capability to imagine a 3D object, and the capability to create the projection of conversely arbitrary objects.
Stochastic Modeling and Performance Evaluation of Fading Channel for Wireless Network Design
Authors: Anjana Jain, Raksha Upadhyay, P. D. Vyavahare, L. D. Arya
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 02 (2007)

Characterization of temporal variations in wireless channel impairments plays an important role in the design of a reliable and efficient mobile communication system. Such channels are termed as fading channels since various random phenomena in the propagation path result in fading of the received signal envelope [1]. Simulation models are often used to estimate channel behavior due to higher complexity in developing analytical models for such channels. In this paper, Finite State Markov Model is developed for the evaluation of multi-path fading channel. Cumulative states and frequency duration analysis approach is used for computing rate of transition between satisfactory states and outage states, and outage time, of the channel. Simulation results obtained for Rayleigh Channel are then used to find correspondence between fade depth and outage time for a sample system. These results may be used in the estimation of bit error rate and deciding optimum sampling instant of the received signal. It will also assist in selection of appropriate channel code and interleaver design for a future wireless networks with enhanced channel capacity.