ppxscal/embedding_network huggingface dataset:
Spectral conditions for admissibility and observability of wave systems: applications to finite element schemes
Authors: Sylvain Ervedoza
Venue: Numerische Mathematik (2009)

In this article, we derive uniform admissibility and observability properties for the finite element space semi-discretizations of $${\ddot u+A_0 u=0 }$$, where A 0 is an unbounded self-adjoint positive definite operator with compact resolvent. To address this problem, we present a new spectral approach based on several spectral criteria for admissibility and observability of such systems. Our approach provides very general admissibility and observability results for finite element approximation schemes of $${\ddot u+A_{0}u =0}$$, which stand in any dimension and for any regular mesh (in the sense of finite elements). Our results can be combined with previous works to derive admissibility and observability properties for full discretizations of $${\ddot u+A_0 u=0}$$. We also present applications of our results to controllability and stabilization problems.
On Designing for Tussle: Future Internet in Retrospect
Authors: Costas Kalogiros, Alexandros Kostopoulos, Alan Ford
Venue: Proceedings of the 15th Open European Summer School and IFIP TC6.6 Workshop on The Internet of the Future (2009)

Over the past decades, the fundamental principles of the Internet architecture have not significantly changed. However, Internet evolution and its effects on participants' interests have triggered the need for re-defining these design principles. "Design for Tussle" is an aspiration for future network designs, which enables the involved stakeholders to express their possibly conflicting socio-economic preferences on service instances. We performed a series of case studies examining whether established technologies are compatible with this new approach. Using the knowledge gained, we provide canonical examples and help protocol and network designers better to consider how to come up to the problem of "designing for tussle" in order to realize a flexible architecture. Finally, we associate protocol success to adoption and show, using empirical evidences, that carefully embracing the "Design for Tussle" paradigm can outweigh the higher complexity in protocol design.
Sustaining collaborative knowledge construction in graduate-level education: examining design issues
Authors: Hedieh Najafi, James Slotta
Venue: Proceedings of the 9th international conference on Computer supported collaborative learning - Volume 1 (2009)

This paper presents a design-based study of a graduate level course that uses CSCL methods to establish a unique pedagogical form of knowledge community. This interdisciplinary seminar is divided into a set of knowledge media themes, with a different group of students leading each theme. With each new offering of the course, students inherit a course wiki that aggregates the content and pedagogical knowledge from prior offerings. For each theme, the student leaders work closely with the instructor to design pedagogical approaches that engage the class in specific knowledge practices that are pertinent to the theme. This study considers the theme of "immersive environments", and analyzes instructor and student actions through three iterations of the course in terms of pedagogical designs and use of technologies.
Evaluating mobile phones as risk information providers
Authors: Stephan von Watzdorf, Florian Michahelles
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

Information about health, disease or environmental conditions is increasingly becoming available. We investigate the suitability of using mobile phones as an interface to provide information about risk-related events or conditions to the user. We approach the problem by conducting an online survey in order to match the requirements on a risk information service with the capabilities of the mobile phone and to evaluate different notification mechanisms, the usage frequency, and the influence of costs. Based on the results of the survey we confirm the suitability of the mobile phone to provide risk-related information as well as the user's willingness to pay for the service.
Stanford GraphBase: A Platform for Combinatorial Computing, The, 1st edition
Authors: Donald E. Knuth
Venue:  (2009)

The Stanford GraphBase: A Platform for Combinatorial Computing represents the first efforts of Donald E. Knuth's preparation for Volume Four of The Art of Computer Programming. The book's first goal is to use examples to demonstrate the art of literate programming. Each example provides a programmatic essay that can be read and enjoyed as readily as it can be interpreted by machines. In these essays/programs, Knuth makes new contributions to several important algorithms and data structures, so the programs are of special interest for their content as well as for their style. The book's second goal is to provide a useful means for comparing combinatorial algorithms and for evaluating methods of combinatorial computing. To this end, Knuth's programs offer standard, freely available sets of data - the Stanford GraphBase - that may be used as benchmarks to test competing methods. The data sets are both interesting in themselves and applicable to a wide variety of problem domains. With objective tests, Knuth hopes to bridge the gap between theoretical computer scientists and programmers who have real problems to solve. As with all of Knuth's writings, this book is appreciated not only for the author's unmatched insight, but also for the fun and the challenge of his work. He illustrates many of the most significant and most beautiful combinatorial algorithms that are presently known and provides sample programs that can lead to hours of amusement. In showing how the Stanford GraphBase can generate an almost inexhaustible supply of challenging problems, some of which may lead to the discovery of new and improved algorithms, Knuth proposes friendly competitions. His own initial entries into such competitions are included in the book, and readers are challenged to do better. Features *Includes new contributions to our understanding of important algorithms and data structures *Provides a standard tool for evaluating combinatorial algorithms *Demonstrates a more readable, more practical style of programming *Challenges readers to surpass his own efficient algorithms 0201542757B04062001
Laterally braced wood beam-columns subjected to biaxial eccentric loading
Authors: Xiaobin Song, Frank Lam
Venue: Computers and Structures (2009)

This paper presents results of a study on the stability capacity and lateral bracing force of wood beam-columns subjected to biaxial eccentric compression loading. A numerical analysis model based on the column deflection curve method was developed. The model considers nonlinear parallel-to-wood-grain stress-strain relationship, size and stress distribution effects of wood strength, shear deformation, and the P-Delta effect of compression load. Material property tests and biaxial eccentric compression tests of wood beam-columns were conducted to provide input parameters and verification for the model. Good agreement was achieved. The adequacy of the 2% rule of thumb was also studied.
Coevolving Systems and the Organization of Agile Software Development
Authors: Richard Vidgen, Xiaofeng Wang
Venue: Information Systems Research (2009)

Despite the popularity of agile methods in software development and increasing adoption by organizations there is debate about what agility is and how it is achieved. The debate suffers from a lack of understanding of agile concepts and how agile software development is practiced. This paper develops a framework for the organization of agile software development that identifies enablers and inhibitors of agility and the emergent capabilities of agile teams. The work is grounded in complex adaptive systems (CAS) and draws on three principles of coevolving systems: match coevolutionary change rate, maximize self-organizing, and synchronize exploitation and exploration. These principles are used to study the processes of two software development teams, one a team using eXtreme Programming (XP) and the other a team using a more traditional, waterfall-based development cycle. From the cases a framework for the organization of agile software development is developed. Time pacing, self-management with discipline and routinization of exploration are among the agile enablers found in the cases studies while event pacing, centralized management, and lack of resources allocated to exploration are found to be inhibitors to agility. Emergent capabilities of agile teams that are identified from the research include coevolution of business value, sustainable working with rhythm, sharing and team learning, and collective mindfulness.
Temporal and information flow based event detection from social text streams
Authors: Qiankun Zhao, Prasenjit Mitra, Bi Chen
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

Recently, social text streams (e.g., blogs, web forums, and emails) have become ubiquitous with the evolution of the web. In some sense, social text streams are sensors of the real world. Often, it is desirable to extract real world events from the social text streams. However, existing event detection research mainly focused only on the stream properties of social text streams but ignored the contextual, temporal, and social information embedded in the streams. In this paper, we propose to detect events from social text streams by exploring the content as well as the temporal, and social dimensions. We define the term event as the information flow between a group of social actors on a specific topic over a certain time period. We represent social text streams as multi-graphs, where each node represents a social actor and each edge represents the information flow between two actors. The content and temporal associations within the flow of information are embedded in the corresponding edge. Events are detected by combining text based clustering, temporal segmentation, and information flow-based graph cuts of the dual graph of the social networks. Experiments conducted with the Enron email dataset and the political blog dataset from Dailykos show the proposed event detection approach outperforms the other alternatives.
Serial Concatenation of LDPC and Turbo Code for GPRS System under Different Fading Channels
Authors: Marwa M. Tharwat, S. Elnoubi, M. Amr Mokhtar
Venue: Proceedings of the 2009 Fourth International Conference on Digital Telecommunications (2009)

In wireless communication systems, error control coding is necessary to provide reliable communications over fading channels. Turbo code is used practically in third generation due to good error correcting capability. However, it has error floor at high Signal-to-noise ratio (SNR). Concatenation of another code as an outer code is an alternative to reduce turbo code’s error floor. In this paper, we study the behavior of a General Packet Radio Service (GPRS) system, under different scenarios. We propose a method for reducing transmitter energy versus bit error rate and eliminating the error floor via a serial concatenation of Low Density Parity Check (LDPC) and turbo codes instead of the convolutional coded system. Moreover, computer simulations were conducted to compare the overall system performances obtained with turbo coding to the serial concatenation coded and channel non coded systems. The performance of the coding scheme is discussed in a Rayleigh fading channel with correlated and non correlated fading amplitudes and an additive white Gaussian noise (AWGN). Evaluation of the proposed encoder has shown a performance improvement over fading channels.
Performance Enhancement of IEEE 802.11b WLANs Using Cooperative MAC Protocol
Authors: Jin-Seong Kim, Tae-Jin Lee
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part II (2009)

IEEE 802.11 Distributed Coordination Function (DCF) guarantees fair transmission opportunity to stations. Channel occupation of low rate stations in IEEE 802.11 Wireless Local Area Network (WLAN) causes the performance anomaly resulting in the degradation of overall network throughput. Using cooperative communications between a high rate station and a low rate station, performance anomaly can be mitigated in IEEE 802.11 WLAN. In this paper, we propose a new cooperative Medium Access Control (MAC) protocol to remedy the performance anomaly and to improve transmission opportunities for low rate stations. We show that the proposed cooperative MAC protocol can enhance overall performance (e.g., throughput and MAC delay).
Prediction of solar conditions by emotional learning
Authors: T. Babaie, R. Karimizandi, C. Lucas
Venue: Intelligent Data Analysis (2006)

The increased dependence of human life-world on earth upon orbiting satellites and the threat of solar events that could cause serious damage have triggered a new surge of space weather forecasting research. In this paper, we propose a physiologically motivated prediction methodology for trading off general precision with improved predictive performance in regions of higher interest. Results are compared to very accurate forecasts of ground based geomagnetic activity index (K) and sunspot number obtained by a neuro-fuzzy technique. It has been shown that we can design powerful alert system by using computationally intelligent forecasting techniques.
EEMD-1.5 Dimension Spectrum Applied to Locomotive Gear Fault Diagnosis
Authors: Lue Chen, Yanyang Zi, Wei Cheng, Zhengjia He
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

The criterion of adding white noise in Ensemble Empirical Mode Decomposition (EEMD) method is established. EEMD, used for avoiding mode mixing in signal decomposition, is combined with 1.5 dimension spectrum, which is the bispectrum diagonal slice to eliminate white noise and extract nonlinear coupling feature. A new method of EEMD-1.5 dimension spectrum for fault feature extraction is proposed. Firstly, vibration signal is adaptively anti alias decomposed by EEMD to get Intrinsic Mode Functions (IMFs). Then, 1.5 dimension spectrum is adopted to process IMFs which contain fault feature. Finally, EEMD-1.5 dimension spectrum is introduced into monitoring diagnosis of the gear box of the locomotive running gear, the results show that it successfully extracts an early gear crack fault feature.
Personal Space Modeling for Human-Computer Interaction
Authors: Toshitaka Amaoka, Hamid Laga, Suguru Saito, Masayuki Nakajima
Venue: Proceedings of the 8th International Conference on Entertainment Computing (2009)

In this paper we focus on the Personal Space (PS) as a non-verbal communication concept to build a new Human Computer Interaction. The analysis of people positions with respect to their PS gives an idea on the nature of their relationship. We propose to analyze and model the PS using Computer Vision (CV), and visualize it using Computer Graphics. For this purpose, we define the PS based on four parameters: distance between people, their face orientations, age, and gender. We automatically estimate the first two parameters from image sequences using CV technology, while the two other parameters are set manually. Finally, we calculate the two-dimensional relationship of multiple persons and visualize it as 3D contours in real-time. Our method can sense and visualize invisible and unconscious PS distributions and convey the spatial relationship of users by an intuitive visual representation. The results of this paper can be used for Human Computer Interaction in public spaces.
A Cluster-Based Data Routing for Wireless Sensor Networks
Authors: Hao-Li Wang, Yu-Yang Chao
Venue: Proceedings of the 9th International Conference on Algorithms and Architectures for Parallel Processing (2009)

To promise low energy consumption for wireless sensor network routing, a number of routing protocols have been published. A novel routing protocol called BeamStar was proposed in [6]. In BeamStar, each base station uses a directional antenna with power control to assist locating sensors. It shifts the burden of network control and management from resource-limited sensors to resource-abundant and more sophisticate base stations, but still has three serious problems. The different size between the nearer and farther region, base station's scanning time, and a great quantity of inter-node communication all waste precious energy. In the cause of solving these problems, we present a routing protocol, namely Cluster-based BeamStar (CBS), for wireless sensor networks. CBS follows cluster-based structure to decrease the volume of inter-node communication and we have reformed the scanning manner in BeamStar. Our simulations show that CBS is scalable, low-cost, and energy efficient.
Using dialogue representations for concept-to-speech generation
Authors: Christine H. Nakatani, Jennifer Chu-Carroll
Venue: Proceedings of the ANLP-NAACL 2000 Workshop on Conversational Systems (2000)

We present an implemented concept-to-speech (CTS) system that offers original proposals for certain couplings of dialogue computation with prosodic computation. Specifically, the semantic interpretation, task modeling and dialogue strategy modules in a working spoken dialogue system are used to generate prosodic features to better convey the meaning of system replies. The new CTS system embodies and extends theoretical work on intonational meaning in a more general, robust and rigorous way than earlier approaches, by reflecting compositional aspects of both dialogue and intonation interepretation in an original computational framework for prosodic generation.
VerbNet overview, extensions, mappings and applications
Authors: Karin Kipper Schuler, Anna Korhonen, Susan Brown
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Companion Volume: Tutorial Abstracts (2009)

The goal of this tutorial is to introduce and discuss VerbNet, a broad coverage verb lexicon freely available on-line. VerbNet contains explicit syntactic and semantic information for classes of verbs and has mappings to several other widely-used lexical resources, including WordNet, PropBank, and FrameNet. Since its first release in 2005 VerbNet is being used by a large number of researchers as a means of characterizing verbs and verb classes. The first part of the tutorial will include an overview of the original Levin verb classification; introduce the main VerbNet components, such as thematic roles and syntactic and semantic representations, and present a comparison with other available lexical resources. During the second part of the tutorial, we will explore VerbNet extensions (how new classes were derived and created through manual and semi-automatic processes), and we will present on-going work on automatic acquisition of Levin-style classes in corpora. The latter is useful for domain-adaptation and tuning of VerbNet for real-world applications which require this. The last part of the tutorial will be devoted to discussing the current status of VerbNet; including recent work mapping to other lexical resources, such as PropBank, FrameNet, WordNet, OntoNotes sense groupings, and the Omega ontology. We will also present changes designed to regularize the syntactic frames and to make the naming conventions more transparent and user friendly. Finally, we will describe some applications in which VerbNet has been used.
A Proposal of EMG-Based Training Support System for Basketball Dribbling
Authors: Seimei Abe, Takayuki Nozawa, Toshiyuki Kondo
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

In the paper, we propose a novel HCI methodology for supporting human sports training. The proposed system utilizes electromyogram (EMG) signals as the metrics for evaluating the motor skill acquisition process, because it is well known that EMG signals measured from human experts are notably different from beginners in terms of timing and sharpness. According to this, we hypothesized that visualizing the difference of EMG signals between an expert and a learner, and providing the error information to the learner in real-time accelerates the learning process. The preliminary results show that the proposed method is effective especially in the early stage of training of beginners.
The Porting of Real-Time Operating System uC/OS-II on MCS-51 Series of MCU
Authors: Shaofen Lin, Shengbin Zeng, Xiaoxia Jiang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

The powerful μC/OS-II is based on the priority preemptive real-time kernel which simultaneously provides task management, time management, memory management and communication between the tasks and functions can be ported and reduced freely. This paper analyzes the structure of μC/OS-II’s kernel and its code, and introduces how to porting μC/OS-II to MCS-51 Series of MCU by means of establishing working stack, simulation stack, task stack and so on. At last, a test program is provided to prove the success of the porting.
Deformed Lattice Detection in Real-World Images Using Mean-Shift Belief Propagation
Authors: Minwoo Park, Kyle Brocklehurst, Robert T. Collins, Yanxi Liu
Venue: IEEE Transactions on Pattern Analysis and Machine Intelligence (2009)

We propose a novel and robust computational framework for automatic detection of deformed 2D wallpaper patterns in real-world images. The theory of 2D crystallographic groups provides a sound and natural correspondence between the underlying lattice of a deformed wallpaper pattern and a degree-4 graphical model. We start the discovery process with unsupervised clustering of interest points and voting for consistent lattice unit proposals. The proposed lattice basis vectors and pattern element contribute to the pairwise compatibility and joint compatibility (observation model) functions in a Markov Random Field (MRF). Thus, we formulate the 2D lattice detection as a spatial, multitarget tracking problem, solved within an MRF framework using a novel and efficient Mean-Shift Belief Propagation (MSBP) method. Iterative detection and growth of the deformed lattice are interleaved with regularized thin-plate spline (TPS) warping, which rectifies the current deformed lattice into a regular one to ensure stability of the MRF model in the next round of lattice recovery. We provide quantitative comparisons of our proposed method with existing algorithms on a diverse set of 261 real-world photos to demonstrate significant advances in accuracy and speed over the state of the art in automatic discovery of regularity in real images.
Trusted Software Architectural Modeling Method
Authors: Yang Jie, Zhou Yu-ren, Zheng Jin-bin
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

This paper introduces a new process algebra based language with its powerful model-checking tools for trusted software architecture. It deals with incompatibility between two components due to a single interaction or the combination of several interactions and with the lack of interoperability among a set of components through architectural compatibility check and interoperability check relying on standard observational equivalences and weak bi-simulation equivalence.