ppxscal/embedding_network huggingface dataset:
Magnetic actuator design for single-axis micro-gyroscopes
Authors: Nan-Chyuan Tsai, Wei-Ming Huang, Chao-Wen Chiang
Venue: Microsystem Technologies (2009)

An innovative magnetically levitated system design is presented in this paper. The proof mass, used as the seismic detection components for gyroscopes, is levitated by the presented micro-coil actuator so that the concerns that mechanical fatigue, asymmetry and mis-alignments, which are inevitably present in the traditional mechanical springs design, can be ruled out. In addition, the limited range of dual-axis motion of the proof mass is completely relaxed and therefore the resolution and sensitivity of the gyroscope can be greatly upgraded. That is, the proof mass can be much at higher frequencies and the stroke of the sense-mode motion can be more enlarged, in comparison with the conventional design (i.e., mechanical springs). In addition, self-sensing technique is employed to replace the gap sensors which provide the feedback signal for position regulation of the proof mass, for the sake of cost-down for mass production. A sliding mode control strategy is included to account for the effects of nonlinearity of the maglev system dynamics and hysteresis uncertainty of the micro-coil actuator. The proposed controller is verified by computer simulations and experiments to illustrate its superior capability to stabilize the inherently unstable maglev system and ensure fast response for the lateral position regulation of the seismic proof mass.
Proceedings of the 2007 Symposium on Library-Centric Software Design
Venue: Symposium On Library-Centric Software Design (2007)

It is our pleasure to share with you the proceedings of the Symposium on Library-Centric Software Design --- LCSD 2007. LCSD is a scientific forum for presenting original research in the design, implementation, and evaluation of software libraries. Activities at LCSD include the identification of open questions specific to library research and the discussion of a strategic plan for establishing library research as a field. LCSD 2007 was the third edition of the series, following successful workshops in 2005 and 2006. LCSD 2007, like its predecessors, was co-located with OOPSLA, this time held in beautiful Montr&eacute;al Canada. LCSD 2007 was the first of the series to have ACM sponsorship and to be published in the ACM digital library, for which we are grateful to the ACM. The call for papers attracted 21 submissions. All the submissions were carefully reviewed by at least three program committee members. The program committee accepted 11 papers that cover topics such as static analyses for checking the use of libraries, tools for testing libraries, libraries for transactional memory, and several approaches to optimizing library performance. The invited speaker for LCSD 2007 was Brian Goetz who graciously stepped in for Doug Lea and gave an excellent talk Engineering java.util.concurrent.
Stability of small-world networks of neural populations
Authors: R. T. Gray, C. K. C. Fung, P. A. Robinson
Venue: Neurocomputing (2009)

At large scales the brain is a complex network of anatomical structures, or neural populations, with the small-world characteristics of dense local clustering between neighboring populations and a short path length between any two populations. There have been extensive studies of the structural and dynamical advantages of small-world networks over the last decade, providing a number of possible reasons for the evolution of this small-world architecture. However, there has been little work on the stability of small-world brain networks. A network model, which is a variant of the Watts-Strogatz model, is used to generate random-rewire networks (RRNs). Depending on their parameters these networks can be regular, small-world, or random. Stability of small-world networks is investigated with a physiologically based model of brain electrical activity and compared with the results for regular, random, and experimentally determined cortical networks. The stability of RRNs is independent of network size; and small-world brain networks are less likely to be stable than random networks with the same number of populations and average number of connections. For this network model our results suggest that if stability is the dominant constraint on network structure then brain networks are more likely to have random rather than small-world connectivity. Thus a specific type of network architecture may be required for brain networks to be small-world and maintain marginal stability.
Segmentation of touching characters in upper zone in printed Gurmukhi script
Authors: M. K. Jindal, R. K. Sharma, G. S. Lehal
Venue: Proceedings of the 2nd Bangalore Annual Compute Conference (2009)

A new technique for segmenting touching characters in upper zone of printed Gurmukhi script has been presented in this paper. The technique is based on the structural properties of the Gurmukhi script characters. Concavity and convexity of the characters has been studied and using top profile projections, the touching characters in upper zone have been segmented. Recognition rate of 91% has been achieved for segmenting the touching characters in upper zone.
A collaborative desktop tagging system for group knowledge management based on concept space
Authors: Wen-Tai Hsieh, Jay Stu, Yen-Lin Chen, Seng-Cho Timothy Chou
Venue: Expert Systems with Applications: An International Journal (2009)

The advent of internet has led to a significant growth in the amount of information available, resulting in information overload, i.e. individuals have too much information to make a decision. To resolve this problem, collaborative tagging systems form a categorization called folksonomy in order to organize web resources. A folksonomy aggregates the results of personal free tagging of information and objects to form a categorization structure that applies utilizes the collective intelligence of crowds. Folksonomy is more appropriate for organizing huge amounts of information on the Web than traditional taxonomies established by expert cataloguers. However, the attributes of collaborative tagging systems and their folksonomy make them impractical for organizing resources in personal environments. This work designs a desktop collaborative tagging (DCT) system that enables collaborative workers to tag their documents. This work proposes an application in patent analysis based on the DCT system. Folksonomy in DCT is built by aggregating personal tagging results, and is represented by a concept space. Concept spaces provide synonym control, tag recommendation and relevant search. Additionally, to protect privacy of authors and to decrease the transmission cost, relations between tagged and untagged documents are constructed by extracting document's features rather than adopting the full text. Experimental results reveal that the adoption rate of recommended tags for new documents increases by 10% after users have tagged five or six documents. Furthermore, DCT can recommend tags with higher adoption rates when given new documents with similar topics to previously tagged ones. The relevant search in DCT is observed to be superior to keyword search when adopting frequently used tags as queries. The average precision, recall, and F-measure of DCT are 12.12%, 23.08%, and 26.92% higher than those of keyword searching. DCT allows a multi-faceted categorization of resources for collaborative workers and recommends tags for categorizing resources to simplify categorization easier. Additionally, DCT system provides relevance searching, which is more effective than traditional keyword searching for searching personal resources.
Motion-pointing: target selection using elliptical motions
Authors: Jean-Daniel Fekete, Niklas Elmqvist, Yves Guiard
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

We present a novel method called motion-pointing for selecting a set of visual items such as push-buttons without actually pointing to them. Instead, each potential target displays a rhythmically animated point we call the driver. To select a specific item, the user only has to imitate the motion of its driver using the input device. Once the motion has been recognized by the system, the user can confirm the selection to trigger the action. We consider cyclic motions on an elliptic trajectory with a specific period, and study the most effective methods for real-time matching such a trajectory, as well as the range of parameters a human can reliably reproduce. We then show how to implement motion-pointing in real applications using an interaction technique we call move-and-stroke. Finally, we measure the throughput and error rate of move-and-stroke in a controlled experiment. We show that the selection time is linearly proportional to the number of input bits conveyed up to 6 bits, confirming that motion-pointing is a practical input method.
A class of collinear scaling algorithms for bound-constrained optimization: Derivation and computational results
Authors: K. A. Ariyawansa, Wayne L. Tabor
Venue: Journal of Computational and Applied Mathematics (2009)

A family of algorithms for the approximate solution of the bound-constrained minimization problem is described. These algorithms employ the standard barrier method, with the inner iteration based on trust region methods. Local models are conic functions rather than the usual quadratic functions, and are required to match first and second derivatives of the barrier function at the current iterate. The various members of the family are distinguished by the choice of a vector-valued parameter, which is the zero vector in the degenerate case that quadratic local models are used. Computational results are used to compare the efficiency of various members of the family on a selection of test functions.
Why unreal punishments in response to unreal crimes might actually be a really good thing
Authors: Marcus Johansson
Venue: Ethics and Information Technology (2009)

In this article I explore ways to argue about punishment of personal representations in virtual reality. I will defend the idea that such punishing might sometimes be morally required. I offer four different lines of argument: one consequentialistic, one appealing to an idea of appropriateness, one using the notion of organic wholes, and one starting from a supposed inability to determine the limits of the extension of the moral agent. I conclude that all four approaches could, in some cases, justify punishing a virtual reality representation; an avatar. As a consequence of my conclusion, I suggest that our institutionalized criminal justice system must be broadened in scope and punitive measures, in order to cover the new and difficult cases arising in virtual reality.
Providing VCR Functionality in a Constant Quality Video-On-Demand Transportation Service
Venue: Proceedings of the 1996 International Conference on Multimedia Computing and Systems (1996)

Bandwidth smoothing techniques for the delivery of prerecorded compressed video have been shown to be effective in reducing the network bandwidth required for video playback, however, can limit the ability of the user to interactively modify the playback in the manner familiar from VCR operations. In this paper, we examine the impacts that VCR functions have on the smoothed delivery of stored video. We introduce the notion of VCR-window, which allows users to have full VCR functionality in a limited window while not requiring increases in the bandwidth reservations. In addition, we introduce a resource reservation scheme that can be used with the VCR-window for the delivery of stored video. To test the applicability of the VCR-window in video-on-demand systems, we have digitized 15 full-length movies for experimental data. Our results indicate that time-limited VCR functionality can be provided while retaining a fairly high network utilization. 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
The economic implications of microprocessors on future computer technology and systems
Authors: James C. Nelson
Venue: Proceedings of the May 19-22, 1975, national computer conference and exposition (1975)

At the turn of the last decade, 1970, the computer market was well structured. Almost 70 percent of the market was controlled by a single company, IBM, while (25 percent) of the remaining market was primarily controlled by four other companies. These companies produced the systems, software and hardware required for automation systems using second order suppliers to furnish a large proportion of the component parts. The largest second order suppliers were the semiconductor manufacturers who did an annual business of ($348 million/1970) annually producing the logic components for the required computer and peripheral system elements.
A New Approach to Adapting Control Parameters in Differential Evolution Algorithm
Authors: Liang Feng, Yin-Fei Yang, Yu-Xuan Wang
Venue: Proceedings of the 7th International Conference on Simulated Evolution and Learning (2008)

In Differential Evolution, control parameters play important roles in balancing the exploration and exploitation capability, and different control parameters are required for different types of problems. However, finding optimal control parameters for each problem is difficult and not realistic. Hence, we propose a method to adjust them adaptively in this paper. In our proposed method, whether or not the current control parameters will be adjusted is based on a probability that is adaptively calculated according to their previous performance. Besides, normal distribution with variable mean value and standard deviation is employed to generate new control parameters. Performance on a set of benchmark functions indicates that our proposed method converges fast and achieves competitive results.
Structured languages
Authors: Leon Presser
Venue: Proceedings of the May 19-22, 1975, national computer conference and exposition (1975)

A design process is a highly creative undertaking that has been generally guided by personal experiences and gross rules of design. This fact has been made explicit and at present the essence of the process of design is under investigation. This important problem is receiving attention in Computer Science. In particular, disciplined program design and development is the center of much discussion.
Downlink coexistence performance assessment and techniques for WiMax services from high altitude platform and terrestrial deployments
Authors: Z. Yang, A. Mohammed, T. Hult, D. Grace
Venue: EURASIP Journal on Wireless Communications and Networking (2008)

We investigate the performance and coexistence techniques for worldwide interoperability for microwave access (WiMAX) delivered from high altitude platforms (HAPs) and terrestrial systems in shared 3.5 GHz frequency bands. The paper shows that it is possible to provide WiMAX services from individual HAP systems. The coexistence performance is evaluated by appropriate choice of parameters, which include the HAP deployment spacing radius, directive antenna beamwidths based on adopted antenna models for HAPs and receivers. Illustrations and comparisons of coexistence techniques, for example, varying the antenna pointing offset, transmitting and receiving antenna beamwidth, demonstrate efficient ways to enhance the HAP system performance while effectively coexisting with terrestrial WiMAX systems.
An on-line centralized computer-coupled automated laboratory information system using touch-tone card dialer telephone and audio-response technology for test order entry and result retrieval
Authors: Arthur E. Rappoport, William D. Gennaro, Robert E. Berquist
Venue: Proceedings of the May 19-22, 1975, national computer conference and exposition (1975)

An important element in the evolution of the American Health Care System is the emerging recognition that many patients currently being hospitalized can be treated adequately on an ambulatory basis, thus relieving the pressure for hospital beds, reducing cost and eliminating the patients' separation from the home and family. Ambulatory Care Facilities (ACF) are being developed for these purposes in many medical centers.
Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation
Authors: Mariana Kolberg, Gerd Bohlender, Dalcidio Claudio
Venue: High Performance Computing for Computational Science - VECPAR 2008: 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers (2008)

A parallel version of the self-verified method for solving linear systems was presented in [20, 21]. In this research we propose improvements aiming at a better performance. The idea is to implement an algorithm that uses technologies as MPI communication primitives associated to libraries as LAPACK, BLAS and C-XSC, aiming to provide both self-verification and speed-up at the same time. The algorithms should find an enclosure even for ill-conditioned problems. In this scenario, a parallel version of a self-verified solver for dense linear systems appears to be essential in order to solve bigger problems. Moreover, the major goal of this research is to provide a free, fast, reliable and accurate solver for dense linear systems.
Sony A300/A350: Focal Digital Camera guides
Authors: Shawn Barnett
Venue:  (2008)

Focal Digital Camera Guides: Sony A300/A350 Just bought a Sony A300 or A350 and looking to combine practical know-how with inspiration? This one-stop, easy-to-read guide covers all the basic functions of the camera, and everything beyond. For the basics, turn to the quick start guide, which will get you up and running in five minutes. For an understanding of your camera's many controls and features, check out the section called "The Camera." If all you need is a quick explanation, you'll find it. If you're looking for the Whole Story, you'll find that, too. Settings that affect how your pictures look are accompanied by full-color examples that show you exactly what you can expect. This section also covers the camera's menus, playback features, memory, and power sources. The section called "Software" shows you how to get the most out of your camera's software. It covers tethered shooting, color management, RAW conversion, storing your images, managing your library, and backup strategies - to name just a few topics. Ultimately, this book's greatest strength isn't its focus on the camera or the software; it's the detailed, easy-to-follow instruction it offers on using your camera to take truly superior photographs. Sections devoted to lenses, subject matter, and light cover these variables in depth, always presenting the most effective techniques in the context of the Sony A300/A350. Written by a widely acclaimed photographer, Sony A300/A350 shows you how to get the shots you can see in your head but have never been able to capture with a camera. * The quick start guide will have you taking great photos in five minutes. * In-depth coverage of every feature and control ensures that you have access to the tools you need for every shot. * Full-color examples demonstrate how different settings affect your photos. * Expert coverage of lenses, lighting, and subject matter gives you the practical knowledge you need to go after any shot. * Step-by-step instructions on photo editing and image management help you get the most out of your camera's software. * A detailed review of accessories for your camera explains which of these add-ons offer the most value for your needs. * Dozens of tips and tricks prepare you for every situation you're likely to encounter - in the field, at the studio, or at your next wedding or family reunion.*Reveals the creative potential of your camera with clear, practical guidance, great tips, and advice from an experienced photographer*Highly visual approach with camera screenshots, highlighted tip boxes, and inspiring photos throughout*Camera-specific approach coupled with a "quick-start guide" to get you taking great pictures right from the word go
Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography
Authors: M. Barbosa, A. Moss, D. Page
Venue: Journal of Cryptology (2009)

Although cryptographic software implementation is often performed by expert programmers, the range of performance and security driven options, as well as more mundane software engineering issues, still make it a challenge. The use of domain specific language and compiler techniques to assist in description and optimisation of cryptographic software is an interesting research challenge. In this paper we investigate two aspects of such techniques, focusing on Elliptic Curve Cryptography (ECC) in particular. Our constructive results show that a suitable language allows description of ECC based software in a manner close to the original mathematics; the corresponding compiler allows automatic production of an executable whose performance is competitive with that of a hand-optimised implementation. In contrast, we study the worrying potential for na&#x00ef;ve compiler driven optimisation to render cryptographic software insecure. Both aspects of our work are set within the context of CACE, an ongoing EU funded project on this general topic.
Response to "Projection Methods Require Black Border Removal"
Authors: Faisal Shafait, Daniel Keysers, Thomas M. Breuel
Venue: IEEE Transactions on Pattern Analysis and Machine Intelligence (2009)

In contrast to prior experimental work, our results support the conclusion that RXYC can perform well after marginal noise removal. However, marginal noise removal on page images like those found in UW3 remains a hard problem, and it therefore remains an open question whether RXYC can actually achieve competitive performance on such databases.
A new approach for detecting scientific specialties from raw cocitation networks
Authors: Matthew L. Wallace, Yves Gingras, Russell Duhon
Venue: Journal of the American Society for Information Science and Technology (2009)

We use a technique recently developed by V. Blondel, J.-L. Guillaume, R. Lambiotte, and E. Lefebvre (2008) to detect scientific specialties from author cocitation networks. This algorithm has distinct advantages over most previous methods used to obtain cocitation &ldquo;clusters&rdquo; since it avoids the use of similarity measures, relies entirely on the topology of the weighted network, and can be applied to relatively large networks. Most importantly, it requires no subjective interpretation of the cocitation data or of the communities found. Using two examples, we show that the resulting specialties are the smallest coherent &ldquo;groups&rdquo; of researchers (within a hierarchy of cluster sizes) and can thus be identified unambiguously. Furthermore, we confirm that these communities are indeed representative of what we know about the structure of a given scientific discipline and that as specialties, they can be accurately characterized by a few keywords (from the publication titles). We argue that this robust and efficient algorithm is particularly well-suited to cocitation networks and that the results generated can be of great use to researchers studying various facets of the structure and evolution of science. &copy; 2009 Wiley Periodicals, Inc.
A trust framework model for situational contexts
Authors: Carsten D. Schultz
Venue: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services (2006)

Trust is a widely studied and acknowledged concept including a diversity of operationalizations. A trust framework model for situational contexts is presented to communicate a clearer and better understanding of the trust situation studied. The framework model includes the situational trust model, the trust transaction, and the trust equation. The situational trust model relates the trustor, the trustee, the trust object, and the trust environment. The application of the trust model is exemplified to define the trust situation of consumer trust in e-commerce.