ppxscal/embedding_network huggingface dataset:
Educational application integration with digital repository
Authors: Robert Chavez, Anoop Kumar, Nikolai Schwertner
Venue: Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries (2007)

The value of a digital repository increases tremendously when applications use the content in innovative ways. Tufts University has developed its repository based on the Fedora framework using the principles of service oriented architecture. The repository features innovative content models allowing the digital objects within the Tufts Digital Repository to be accessible through a variety of applications, including Perseus, Artifact, Tufts Digital Library (TDL) and Visual Understanding Environment (VUE). The poster will present the underlying architecture including latest services and their use in Educational Applications.
Reasoning with 'And Then' and 'While'
Authors: Suman Roy, Guido Sciavicco
Venue: Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (2007)

Interval-based temporal logics are natural frameworks for modeling a number of problems from various areas of computer science such as artificial intelligence, natural language processing, temporal databases and formal specification. Quite a few interval-based temporal logics became popular in recent years, such as Venema's CDT logic, Halpern and Shoham's HS logic, Moszkowski's ITL and its propositional version, and Goranko, Montanari, and Sciavicco's PNL. In this work we introduce a new propositional interval-based temporal logic called CW, which can be considered an extension of the propositional fragment of Moszkowski's ITL evaluated over different (parallel) lines, and which is particularly adapt for expressing natural language sentences. We study the logic CW and develop a (non-terminating) sound and complete deduction system based on tableaux for it.
A model of credit risk based on cash flow
Authors: Marek Capinski
Venue: Computers Mathematics with Applications (2007)

An extension of the structural Merton's model of risk of default is proposed. It is based on an analysis of possible sources of liquidity problems leading to bankruptcy. Pricing of a debt subject to default risk requires finding a value of an American put option, which is performed by a Monte-Carlo simulation of a discretisation of the underlying stochastic equations. This also allows an estimation of the probability of default.
The incorporation of communicative language teaching into the elaboration of interactive software for esl/efl learning
Authors: Julie Wollman-Bonilla
Venue:  (2006)

This study investigated the extent to which ESL/EFL software programs currently available on the market develop language skills according to the principles of Communicative Teaching and an interactive approach to computer use for language learning. A software evaluation instrument was developed and validated. The validated instrument was used to evaluate fifteen ESL/EFL software programs currently available on the market for the technological, pedagogical and individualization features that would account for the incorporation of Communicative Language Teaching principles and an interactive approach to computer use in language teaching. Results indicated that only three programs incorporated more than seventy-five percent of the technological features, four programs incorporated more than seventy percent of the pedagogical features, and only one program contained more than seventy percent of the features that allow for individualization of instruction. Overall, only two programs incorporated more than seventy percent of the technological, pedagogical and individualizing features and created environments that developed language skills according to the principles of Communicative Language Teaching and an interactive approach to computer use for language learning. The use of the ESL/EFL software evaluation instrument for evaluating the programs provided evidence that the key differentiating factor in ESL software programs lies not only in their pedagogical orientation, but also in how and the extent to which they incorporate Communicative Language Teaching principles and an interactive language learning approach into their design. Although all programs claimed to incorporate communicative theories of language learning into their elaboration, they had to a lesser or greater degree difficulty in elaborating activities that would develop language skills according to this approach.
An optimized digital RFI cancellation scheme for DMT-based VDSL systems
Authors: R. Locatelli, S. Brini, L. Fanucci, C. Del-Toso
Venue: Proceedings of the The 8th International Conference on Communication Systems - Volume 01 (2002)

In this paper a digital frequency domain RFI (radio frequency interference) cancellation scheme for DMT (discrete multitone) based VDSL (very high speed digital subscriber line) systems is presented. The proposed algorithm has been optimized and characterized in terms of complexity and performance. Optimizations were also performed from an implementation point of view by deducing key dependencies among our RFI model coefficients that let us drastically reduce the size of the memories involved. System simulations showed the effectiveness of the canceller. In terms of VDSL performance parameters such as bit rate, the optimized cancellation scheme recovers almost totally the performance degradation due to RFI.
Analytical performance evaluation of a two class DiffServ link
Authors: B. Wydrowski, M. Zukerman, B. Meini
Venue: Proceedings of the The 8th International Conference on Communication Systems - Volume 01 (2002)

This paper provides an analytical model for the performance evaluation of a two class DiffServ link. It is applicable for the performance analysis of data traffic in the presence of higher priority Constant Bit Rate (CBR) encoded Voice and Video traffic. The DiffServ link is modeled as a single server queue in a Markovian environment. The queueing performance of data packets is evaluated by matrix geometric methods. The data generation process is assumed to follow a two state Markov modulated Poisson process (MMPP), and the service rate fluctuates based on the number of concurrent CBR sessions.
Java, peer-to-peer, and accountability: building blocks for distributed cycle sharing
Authors: Ali Raza Butt, Xing Fang, Y. Charlie Hu, Samuel Midkiff
Venue: Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium - Volume 3 (2004)

The increased popularity of grid systems and cycle sharing across organizations leads to the need for scalable systems that provide facilities to locate resources, to be fair in the use of those resources, and to allow untrusted applications to be safely executed using those resources. This paper describes a prototype of such a system, where a peer-to-peer (p2p) network is used to locate and allocate resources; a Java Virtual Machine is used to allow applications to be safely hosted, and for their progress to be monitored by the submitter; and a novel distributed credit system supports accountability among providers and consumers of resources to use the system fairly. We provide experimental data showing that cheaters are quickly identified and purged from the system, and that the overhead of monitoring jobs is effectively zero.
Computing the radius of pointedness of a convex cone
Authors: Alfredo Iusem, Alberto Seeger
Venue: Mathematical Programming: Series A and B (2007)

Let &#x039e;(H) denote the set of all nonzero closed convex cones in a finite dimensional Hilbert space H. Consider this set equipped with the bounded Pompeiu-Hausdorff metric &#x03b4;. The collection of all pointed cones forms an open set in the metric space (&#x039e;(H),&#x03b4;). One possible way of measuring the degree of pointedness of a cone K is by evaluating the distance from K to the set of all nonpointed cones. The number &#x03c1;(K) obtained in this way is called the radius of pointedness of the cone K. The evaluation of this number is, in general, a very cumbersome task. In this note, we derive a simple formula for computing &#x03c1;(K), and we propose also a method for constructing a nonpointed cone at minimal distance from K. Our results apply to any cone K whose maximal angle does not exceed 120&#x00b0;.
Data objects
Authors: George A. Howlett
Venue: Proceedings of the 6th conference on Annual Tcl/Tk Workshop, 1998 - Volume 6 (1998)

Scripting languages are great for gluing together components, but they suffer as the complexity or size of data scales upward. Data objects solve this problem by marrying both high-level and low-level programming styles. Data objects are self-contained representations of data. They define both the structure of the data and the methods to access it. Data may be accessed through both Tcl and a C interface. This paper will describe two such data objects, a vector and table object.
Root Cause Isolation for Self Healing in J2EE Environments
Authors: Umesh Bellur, Amar Agrawal
Venue: Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems (2007)

The increasing complexity of distributed enterprise systems has made the task of managing these systems difficult and time consuming. The only way to simplify the management process is to automate much of the work so that minimum human effort needs to be invested. This has lead to research in autonomic systems that are selfhealing, self-configuring, self-protecting and self-securing. We believe that the starting point of any autonomic system is to understand the dependencies between various components of the system and use it to perform higher order management tasks. As a proof of concept, we are trying to build self-healing capabilities into distributed enterprise applications by modeling the failure dependencies within the system. In a complex distributed environment, failures tend to propagate from one part of the system to the other. Hence, the failure symptoms may be observed at a point far removed from the actual cause of these failures. Therefore, localizing observed failures to its root cause is an important prerequisite to initiating micro-recovery procedures on a failed system. In this paper, we suggest a methodology to obtain a failure model of the application and use it to perform root-cause analysis based on observed system failures.
Interactive Tag Maps and Tag Clouds for the Multiscale Exploration of Large Spatio-temporal Datasets
Authors: Aidan Slingsby, Jason Dykes, Jo Wood, Keith Clarke
Venue: Proceedings of the 11th International Conference Information Visualization (2007)

'Tag clouds' and 'tag maps' are introduced to represent geographically referenced text. In combination, these aspatial and spatial views are used to explore a large structured spatio-temporal data set by providing overviews and filtering by text and geography. Prototypes are implemented using freely available technologies including Google Earth and Yahoo!'s Tag Map applet. The interactive tag map and tag cloud techniques and the rapid prototyping method used are informally evaluated through successes and limitations encountered. Preliminary evaluation suggests that the techniques may be useful for generating insights when visualizing large data sets containing geo-referenced text strings. The rapid prototyping approach enabled the technique to be developed and evaluated, leading to geovisualization through which a number of ideas were generated. Limitations of this approach are reflected upon. Tag placement, generalisation and prominence at different scales are issues which have come to light in this study that warrant further work.
Deterministic analysis of stochastic bifurcations in multi-stable neurodynamical systems
Authors: Gustavo Deco, Daniel Mart&#x00ed;
Venue: Biological Cybernetics (2007)

Many perceptual and cognitive processes, like decision-making and bistable perception, involve multistable phenomena under the influence of noise. The role of noise in a multistable neurodynamical system can be formally treated within the Fokker&#x2013;Planck framework. Nevertheless, because of the underlying nonlinearities, one usually considers numerical simulations of the stochastic differential equations describing the original system, which are time consuming. An alternative analytical approach involves the derivation of reduced deterministic differential equations for the moments of the distribution of the activity of the neuronal populations. The study of the reduced deterministic system avoids time consuming computations associated with the need to average over many trials. We apply this technique to describe multistable phenomena. We show that increasing the noise amplitude results in a shifting of the bifurcation structure of the system.
Automatic target detection using dualband infrared imagery
Authors: L. A. Chan
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 04 (2000)

An automatic target detector often produces too many false alarms that could bog down the performance of a subsequent target classifier. Therefore, we need a good clutter rejector to remove as many clutterers as possible, before feeding the most likely target detections to the classifier. We investigate the benefits of using dual-band forward-looking infrared images to improve the performance of an eigen-neural based clutter rejector. With individual or combined bands as input, we use either principal component analysis or the eigenspace separation transform to perform feature extraction and dimensionality reduction. The transformed data is then fed to a properly trained multilayer perceptron that predicts the identity of the input, which is either a target or clutter. Experimental results are presented on a dataset of real dualband images.
Using stream queries to measure communication performance of a parallel computing environment
Authors: Erik Zeitler, Tore Risch
Venue: Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (2007)

We have developed a data stream management system that supports declarative stream queries running over high data volumes in a supercomputing environment. To enable specification of massively parallel computations our query language provides processes as query language objects. The queries call process construction functions that execute stream sub-queries assigned to a CPU. Such queries can be used to define query functions that parallelize computations. The CPU assignment is normally automatic, but can also be influenced by the user. We show how this enables performance measurements of different communication topologies in a heterogeneous hardware environment containing a Linux cluster and a BlueGene.
Measuring Data Management Practice Maturity: A Community's Self-Assessment
Authors: Peter Aiken, M. David Allen, Burt Parker, Angela Mattia
Venue: Computer (2007)

Increasing data management practice maturity levels can positively impact the coordination of data flow among organizations, individuals, and systems. Results from a self-assessment of organizational data management practices provide a roadmap for improving these practices.
Fluid interaction for the document in context
Authors: Pierre Cubaud, Jérôme Dupire, Alexandre Topol
Venue: Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries (2007)

We explore in this paper the interface requirements for user's navigation within a mixed collection of 3D digitalized objects and textual documents. A specific application is history of technology where 3D and 2D documents are most of the time inter-related.
Managing Variability of Mobile Value Added Service in Framework
Authors: Xingping Huang, Peng Xu, Fangchun Yang
Venue: Proceedings of the 2007 International Symposium on Applications and the Internet Workshops (2007)

Great Variability is the most important character in the development of mobile value added service in 3G era. For effectively meet the exploding need of diversified mobile value added services, service variability control mechanism in framework is focused on in this paper. Based on the analysis of service requirement in 3G era, a Component Oriented Service Framework for Mobile Value Added Service (COSFoMS) as infrastructure of service platform is brought forward firstly. Then service variability control mechanism based on framework in three dimensions is introduced and discussed in detail.
IMT-2000 services with LEO satellite constellation for regional communication network
Authors: K. I. Thimothy, N. Nagarajan
Venue: Proceedings of the The 8th International Conference on Communication Systems - Volume 02 (2002)

The goal of 3G-satellite communication systems is to deliver multimedia services to the user in the mobile domain. This requires the provision of users data rates that are substantially higher than (up to 384 kbps) those provided by 2G networks. The performance of a WCDMA system; in terms of the capacity and QoS (quality of service) for providing the IMT-2000 services with the LEO satellites constellation design for regional coverage, has been presented.
Region-based super-resolution for compression
Authors: D. Barreto, L. D. Alvarez, R. Molina, A. K. Katsaggelos, G. M. Callicó
Venue: Multidimensional Systems and Signal Processing (2007)

Every user of multimedia technology expects good image and video visual quality independently of the particular characteristics of the receiver or the communication networks employed. Unfortunately, due to factors like processing power limitations and channel capabilities, images or video sequences are often downsampled and/or transmitted or stored at low bitrates, resulting in a degradation of their final visual quality. In this paper, we propose a region-based framework for intentionally introducing downsampling of the high resolution (HR) image sequences before compression and then utilizing super resolution (SR) techniques for generating an HR video sequence at the decoder. Segmentation is performed at the encoder on groups of images to classify their blocks into three different types according to their motion and texture. The obtained segmentation is used to define the downsampling process at the encoder and it is encoded and provided to the decoder as side information in order to guide the SR process. All the components of the proposed framework are analyzed in detail. A particular implementation of it is described and tested experimentally. The experimental results validate the usefulness of the proposed method.
Optimum beamformers for uniform circular arrays in a correlated signal environment
Authors: B. K. Lau
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 05 (2000)

By virtue of their geometry, uniform circular arrays (UCAs) are ideally suited to provide 360 degrees of coverage in the azimuthal plane. However, in a correlated signal environment, the well-known technique of spatial smoothing to mitigate the signal cancellation effect as seen in an optimum beamformer will not work since this technique is applicable only to uniform linear arrays. We show how the transformation of Davies (1965) can be adopted to design optimum beamformers for UCAs in a correlated signal environment. We also introduce derivative constraints to improve the robustness of the optimum beamformers to mismatches between the beamformers' look direction and the actual direction-of-arrival of the desired signal. The effectiveness of our design method is illustrated by a numerical example.
Wolves, bees, and football: Enhancing coordination in sociotechnological problem solving systems through the study of human and animal groups
Authors: David W. Eccles, Paul T. Groth
Venue: Computers in Human Behavior (2007)

This paper describes how sociotechnological systems comprising human and technological agents can be considered problem solving systems. Problem solving systems typically comprise many agents, each characterized by at least partial autonomy. A challenge for problem solving systems is to coordinate system agent operations during problem solving. This paper explores how competence models of human-human and animal-animal coordination might be used to inform the design of problem solving systems so that the potential for agent coordination is enhanced. System design principles are identified based on a review of competent coordination in human groups, such as work and sport teams, and animal groups, such wolf packs and bee colonies. These principles are then discussed in relation to agent coordination in the domains of E-Science, future combat systems, and medicine, which typify real-world environments comprising problem solving systems.
Unsupervised Change Detection in Remote-Sensing Images Using Modified Self-Organizing Feature Map Neural Network
Authors: Swarnajyoti Patra, Susmita Ghosh, Ashish Ghosh
Venue: Proceedings of the International Conference on Computing: Theory and Applications (2007)

In this paper we propose an unsupervised context-sensitive technique for change-detection in multitemporal remote sensing images. Here a modified Self-Organizing Feature Map Neural Network is used. Each spatial position of the input image corresponds to a neuron in the output layer and the number of neurons in the input layer is equal to the dimension of the input patterns. The network is updated depending on some threshold value and when the network converges status of output neurons depict the change-detection map. To select a suitable threshold for initialization of the network, a correlation based and an energy based criteria are suggested. Experimental results, carried out on two multispectral remote sensing images, confirm the effectiveness of the proposed approach.
A new design-oriented laboratory for the introductory circuits core course at Penn State University
Authors: T. S. Mayer
Venue: Proceedings of the Frontiers in Education Conference,1997. on 27th Annual Conference. Teaching and Learning in an Era of Change. - Volume 01 (1997)

A new design-oriented introductory circuits core course in the Electrical Engineering department at Penn State University, USA, is described. The course uses an integrated lecture-lab approach with modular lab assignments that are based on the design, construction and verification of the electronic components of a simple compact disk (CD) player. Each week, new circuit concepts, elements and topologies are introduced by relating them to a functional block of the CD player. In addition, the use of integrated design tools are emphasized. Initial student feedback indicates that the new course goals of providing a solid conceptual foundation for introductory electrical engineering circuit concepts while improving motivation and providing an exposure to integrated design have been met.
SVD-based methodologies for fetal electrocardiogram extraction
Authors: L. De Lathauwer
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 06 (2000)

This paper deals with the extraction of the antepartum foetal electrocardiogram (ECG) from multilead cutaneous potential recordings, and the modelling of the transfer to the electrodes. We give an overview of a class of algebraic approaches, based on variants of the singular value decomposition (SVD): the concept, pros and cons of techniques relying on the ordinary SVD, quotient SVD and multilinear SVD are discussed.
A web-based C++ course project
Authors: R. P. Cook
Venue: Proceedings of the 28th Annual Frontiers in Education - Volume 03 (1998)

The eC Project has the goal of offering a web-based C++ course to high school students. Lessons are chosen from one of the numerous textbooks available on the subject; however, tests, exercises and programs are graded using a web client that interfaces to a database server.