ppxscal/embedding_network huggingface dataset:
Alternating-time temporal logics with irrevocable strategies
Authors: Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga
Venue: Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge (2007)

In Alternating-time Temporal Logic (ATL), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal &phi; such as: "agent i can choose a strategy such that, if i follows this strategy then, no matter what other agents do, &phi; will always be true". However, strategies in ATL are revocable in the sense that in the evaluation of the goal &phi; the agent i is no longer restricted by the strategy she has chosen in order to reach the state where the goal is evaluated. In this paper we consider alternative variants of ATL where strategies, on the contrary, are irrevocable. The difference between revocable and irrevocable strategies shows up when we consider the ability to achieve a goal which, again, involves (nested) strategic ability. Furthermore, unlike in the standard semantics of ATL, memory plays an essential role in the semantics based on irrevocable strategies.
VLSI Performance Comparison of Banyan and Crossbar Communications Networks
Authors: M. A. Franklin
Venue: IEEE Transactions on Computers (1981)

The performance characteristics of banyan and crossbar communications networks are compared in a VLSI environment, where it is assumed that the entire network resides on a single VLSI chip and operates in a circuit switched mode. A high-level model of the space (area) and time (delay) requirements for these networks is developed and relative performance comparisons are made based on a space-time p
Modelling Quality of Protection in Outsourced Business Processes
Authors: Fabio Massacci, Artsiom Yautsiukhin
Venue: Proceedings of the Third International Symposium on Information Assurance and Security (2007)

There is a large number of research papers and standards dedicated to security for outsourced data. Yet, most papers propose new controls to access and protect the data rather than to assess the level of assurance of the whole process that is currently deployed. The main contributions of the paper is an approach for aggregating security properties of individual tasks of a complex business process in order to receive the level of assurance provided by the whole process. The approach takes into account the fact that some tasks of a business process may be outsourced and thus account for not very reliable partners. The approach chooses the concrete business process offering the highest assurance among several possible design alternatives by building an optimal hyperpath traversing the business process.
ESTREL: Transmission and Reception Energy Saving Model for Wireless Ad Hoc Networks
Authors: Lamia Kaddar, Ahmed Mehaoua
Venue: Proceedings of the 32nd IEEE Conference on Local Computer Networks (2007)

Multimedia streaming over ad hoc networks forms a continuous progress domain due to users' growing needs and wireless devices incessant evolution. Our objective, in this study, is to increase individual wireless nodes lifetime by a saving energy model based on video transmission/reception which allows increasing the ad hoc network lifetime. When arriving at a predefined threshold, we reduce the number of multimedia transmitted/received packets by exploiting the MPEG4 enhancement layers. In our proposal we optimize the tradeoff between the energy consumption and the perceived video quality. Simulation results show that we outperform the conventional approach by increasing the overall network lifetime.
O-MAC: A Receiver Centric Power Management Protocol
Authors: Hui Cao, Kenneth Parker, Anish Arora
Venue: Proceedings of the Proceedings of the 2006 IEEE International Conference on Network Protocols (2006)

Energy efficiency is widely understood to be one of the dominant considerations for Wireless Sensor Networks. Based on historicaldata and technology trends, the receiver energy consumption will dominate all energy, to the point that for the majority ofapplications, power management research must focus on receiver efficiency. By modeling several popular MAC layer protocols,we derive bounds on performance for receiver efficiency. In particular, we analyze four abstract models, Synchronous Blinking(e.g. T-MAC, S-MAC), Long Preamble (e.g. B-MAC), Structured Time-Spreading (also called Asynchronous Wake-Up), and RandomTime Spreading. These results strongly suggest that scheduling the receiver so as to minimize (or eliminate) the potentialfor interference (or collisions) could be from 10 fold to 100 fold more efficient than current practice. We provide two newreceiver scheduling methods, Staggered On and Pseudorandom Staggered On, both of which are designed to exploit the untappedopportunity for greater receiver efficiency. Compared with the centralized deterministic scheduling in Staggering On, thedecentralized scheduling in Pseudorandom Staggered On achieves only slightly lower energy efficiency. In addition, we designa new MAC protocol, called O-MAC, based upon Pseudorandom Staggered On that achieves near optimal energy efficiency. Finally,we describe two variations of our O-MAC protocol - with local broadcast channel and preamble-sized slots.
Fundamental study: Complete and directed complete Ω-categories
Authors: Hongliang Lai, Dexue Zhang
Venue: Theoretical Computer Science (2007)

Let @W be a commutative, unital quantale. Complete and directed complete @W-categories are the core objects in Quantitative Domain Theory. This paper, based on the theory of @F-completeness for enriched categories, presents a systematic investigation of completeness and directed completeness of @W-categories.
Algorithm of Vein Surface of 3D Reconstruction for Ultrasonic Cervix Image
Authors: Lingqiu Zeng, Qingsheng Zhu, Ji Liu
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 02 (2007)

Considering both low Signal Noise Ratio (SNR) and uneven sample interval among slices of ultrasonic image, a new algorithm is proposed in this paper. It realized the reconstruction of three-dimensional (3D) vein surface for ultrasonic cervix images. It makes use of methods of image and graphics processing and integrates properties of ultrasonic image. Firstly, an available loss technique is used to smoothen the edge of the target area. Then images are inserted between slices based on the images of context to remove effect of the terrace. Lastly Anti-aliasing is used to improve the visual effect of 3D surface reconstructed by Matching Cube(MC). This algorithm has been proved to be simple and effective by doing experiment.
A Dynamic Medial Axis Model for Sensor Networks
Authors: Lan Lin, Hyunyoung Lee
Venue: Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (2007)

An important property in a sensor network is the mon- itoring of temporal changes of hazardous situations such as forest fires. Rescue groups need to be aware of dy- namic changes that affect their rescue efforts. In this paper, we discuss a sensor network model that provides a good abstraction of geometric and topological fea- tures of a dynamically changing sensing environment. This model enables efficient path planning and naviga- tion using localized algorithms. We propose a dynamic medial axis model that represents shapes and changes of shapes in a geometric space. We develop distributed algorithms to capture the dynamic network topologies. Dynamic medial axis allows rescue teams to find a short path to safety in a changing environment. We show that our dynamic medial axis algorithms provide good ap- proximations to the true medial axis and our routing scheme generates short and safe routes. The simula- tion results show that the routes found by our scheme are near-optimal.
Symbolic Design Techniques Applied to a Generalized Computer
Authors: I. S. Reed
Venue: Computer (1972)

1. Introduction. The purpose of this article is to present a revised version of an early paper by the author on a register transfer, logic design language and its application to the design of early microprogrammable computer. This paper [1] as an invited paper at an IRE was presented originally at an IEEE meeting held at the Moore School of the University of Pennsylvania, early in 1957. It is being published here in the open literature for the first time in order to present to a wider audience this approach to computer design in its original form.
Multicategory Classification of Patterns Represented by High-Order Vectors of Multilevel Measurements
Authors: H. A. Glucksman
Venue: IEEE Transactions on Computers (1971)

A method is introduced for deciding the class of a pattern described by a vector of measured features. Memory requirements and the time required for classifying a pattern are not excessive, even when there are many classes and many multilevel feature measurements. Two initial steps use univariate distributions of the measurements to select, for a pattern in question, a small subset of neighboring classes. If the pattern is one used in deriving the distributions, its true class is certain to be in the selected subset. The final step distinguishes among the members, if there are more than one, of the subset by using discriminants derivable by classic methods. The technique is tested experimentally on a set of about 26 000 alphabetic characters of nine type fonts. The characters range widely in quality. One third are taken as training patterns from which histograms for the first two steps and discriminants for the third step are derived. The rest are used to test the method. The features used are the characteristic loci.
The innovative bundling of teleradiology, telepathology, and teleoncology services
Authors: Ronald S. Weinstein, Ana María López, Gail P. Barker, Elizabeth A. Krupinski, Michael R. Descour, Katherine M. Scott, Lynne C. Richter, Sandra J. Beinar, Michael J. Holcomb, Peter H. Bartels, Richard A. McNeely, Achyut K. Bhattacharyya
Venue: IBM Systems Journal (2007)

Teleradiolosy, telepathology, and teleoncology are important applications of telemedicine. Recent advances in these fields include a preponderance of radiology PACS (Picture Archiving and Communications System) users, the implementation of around-the-clock teleradiology services at many hospitals, and the invention of the first ultrarapid whole-slide digital scanner based on the array microscope. These advances have led to the development of a new health-care-delivery clinical pathway called the ultrarapid breast care process (URBC), which has been commercialized as the UltraClinics® process. This process bundles telemammography, telepathology, and teleoncology services and has reduced the time it takes for a woman to obtain diagnostic and therapeutic breast-care planning services from several weeks to a single day. This paper describes the UltraClinics process in detail and presents the vision of a network of same-day telemedicine-enabled UltraClinics facilities, staffed by a virtual group practice of teleradiologists, telepathologists, and teleoncologists.
Maximizing the output rate of multi-way join queries over streaming information sources
Authors: Stratis D. Viglas, Jeffrey F. Naughton, Josef Burger
Venue: Proceedings of the 29th international conference on Very large data bases - Volume 29 (2003)

Recently there has been a growing interest in join query evaluation for scenarios in which inputs arrive at highly variable and unpredictable rates. In such scenarios, the focus shifts from completing the computation as soon as possible to producing a prefix of the output as soon as possible. To handle this shift in focus, most solutions to date rely upon some combination of streaming binary operators and "on-the-fly" execution plan reorganization. In contrast, we consider the alternative of extending existing symmetric binary join operators to handle more than two inputs. Toward this end, we have completed a prototype implementation of a multi-way join operator, which we term the "MJoin" operator, and explored its performance. Our results show that in many instances the MJoin produces outputs sooner than any tree of binary operators. Additionally, since MJoins are completely symmetric with respect to their inputs, they can reduce the need for expensive runtime plan reorganization. This suggests that supporting multiway joins in a single, symmetric, streaming operator may be a useful addition to systems that support queries over input streams from remote sites.
Integer Factorization Based on Elliptic Curve Method: Towards Better Exploitation of Reconfigurable Hardware
Authors: Giacomo de Meulenaer, Francois Gosset, Guerric Meurice de Dormale, Jean-Jacques Quisquater
Venue: Proceedings of the 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (2007)

Currently, the best known algorithm for factorizing modulus of the RSA public key cryptosystem is the Number Field Sieve. One of its important phases usually combines a sieving technique and a method for checking smoothness of mid-size numbers. For this factorization, the Elliptic Curve Method (ECM) is an attractive solution. As ECM is highly regular and many parallel computations are required, hardware-based platforms were shown to be more cost-effective than software solutions. The few papers dealing with implementation of ECM on FPGA are all based on bit-serial architectures. They use only general-purpose logic and low-cost FPGAs which appear as the best performance/cost solution. This work explores another approach, based on the exploitation of embedded multipliers available in modern FPGAs and the use of high-performances FPGAs. The proposed architecture - based on a fully parallel and pipelined modular multiplier circuit - exhibits a 15-fold improvement over throughput/hardware cost ratio of previously published results.
An algorithm for modelling key terms: Research Articles
Authors: D. Cai, C. J. van Rijsbergen
Venue: International Journal of Intelligent Systems (2008)

The ability to formally analyse and represent semantic relations of terms is a major challenge for many areas of computing science and an intriguing problem for other sciences. In applications of evidence theory to, for instance, information retrieval, the problem of analysis and representation becomes apparent because evidence theory is based on set theory and individual key terms have to be modelled as subsets of the frame of discernment. How to find the frame and model the key terms is a challenge. The problem leads to other practical problems, as pointed out repeatedly in the literature. In this study, we focus on such a problem, present a method for simplifying and normalizing a thesaurus, and propose an algorithm for establishing the frame of discernment and for modelling individual key terms as a subset of the frame. The key aim of this study is to treat semantic relations of terms by means of a normalized thesaurus. &copy; 2008 Wiley Periodicals, Inc.
Characterization of Blood Pressure Oscillometric Waveforms
Authors: Nikola Rank, Voicu Groza, Radu Leca
Venue: Proceedings of the Second International Conference on Systems and Networks Communications (2007)

Testing automated oscillometric sphygmomanometers using simulators is important to ensure good operation. Simulators, however, are unable to model certain aspects of the human hemodynamics. To identify these aspects, the technique of wavelet analysis is used to decompose a set of 5 real and 5 simulated signals. Both continuous (CWT) and discrete (DWT) wavelet transforms are tested. The detection efficiency of various mother wavelets is also tested. Using a CWT with Morlet mother wavelet, the simulated signals whose nature is repetitive and nested are easily identified. A difficulty when trying to use DWT was encountered, in that most of these characteristic human variations occur at scale coefficients other than powers of 2. The obvious differences between simulated and real waveforms show that there are still aspects of the human system which are not properly simulated by machines. The wavelet analysis technique has potential to help isolate and model these aspects.
High-MDSI: A High-level Signal Integrity Fault Test Pattern Generation Method for Interconnects
Authors: Sunghoon Chun, Yongjoon Kim, Sungho Kang
Venue: Proceedings of the 16th Asian Test Symposium (2007)

Unacceptable loss of signal integrity may cause permanent or intermittent harm to the functionality and performance of SoCs. In this paper, considering the interconnection topology information, an abstract model and a new test pattern generation method of signal integrity problems on interconnects are proposed. In addition, previous SPICEbased pattern generation methods are too complex and time consuming to generate test patterns for signal integrity faults. To overcome this problem, we also develop a new high-level test pattern generation method by using the abstract signal integrity fault model. Experimental results show that the proposed signal integrity fault model is more exact for long interconnects than previous approaches. In addition, the proposed method is much faster than the SPICE-based pattern generation method.
A Class of POCA Distributions For rapid fading variations
Authors: Saralees Nadarajah, Samuel Kotz
Venue: Wireless Personal Communications: An International Journal (2007)

Polydorou and Capsalis [1] pioneered the concept of POCA distribution to study the statistical behavior of the fast fading characteristics in an indoor environment under the assumption of finite number of scatters. In this note, we derive a comprehensive class of formulas for the POCA distribution to help better statistical modeling of the fast fading characteristics. The calculations involve use of several special functions and their properties.
Toward an elastic service based framework for Enterprise Application Integration
Authors: O. R. Bagheri, R. Nasiri, M. H. Peyravi, P. Khosraviyan Dehkordi
Venue: Proceedings of the 5th ACIS International Conference on Software Engineering Research, Management & Applications (2007)

Enterprise Application Integration (EAI) is a very complicated process of integrating multiple applications, which were independently developed, use incompatible technology, and remain independently managed. In this paper we are going to discuss about the evolution of EAI concepts and a new elastic framework for Enterprise application integration (EAI). The new framework provides a service based architecture for seamless integration of enterprise applications which can develop from the bottom up, building on existing technology. The approach is demonstrated by building a real world application for EAI in the Education service domain. Business drivers for and approaches to EAI are present first. We then present our implementation of the architecture and practical challenges encountered in EAI.
Corpus-based Pattern Induction for a Knowledge-based Question Answering Approach
Authors: Philipp Cimiano, Michael Erdmann, Gunter Ladwig
Venue: Proceedings of the International Conference on Semantic Computing (2007)

In this paper, we present an approach which, given a knowledge base and an appropriate text corpus, automatically induces patterns which can be used to query the knowledge base. We do not only consider simple questions but text problems consisting of several sentences. Answers to complex text problems are determined by an inference process which computes the answer on the basis of the background knowledge in the knowledge base (KB) as well as the textual description of the problem. The question formulated in natural language thus needs to be translated into appropriate KB structures and queries. Our approach to translating the natural language question uses an underlying corpus and the knowledge base to derive meaningful and relevant patterns which can then be used to process the questions and capture their meaning with respect to the underlying knowledge base. We apply our approach to Advanced Placement (AP) questions in three areas: physics, chemistry and biology. We report results of a first evaluation of the translation procedure for the three domains.
Methodology for low power test pattern generation using activity threshold control logic
Authors: Srivaths Ravi, V. R. Devanathan, Rubin Parekhji
Venue: Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design (2007)

This paper proposes a new technique of power-aware test pattern generation, wherein the test mode power constraints are specified using pseudo hardware logic functions (referred to as power constraint circuits) that augment the target circuit fed to the ATPG tool. The novelty of this approach is three-fold: (i) The ATPG tool only sees the enhanced circuit. This influences the generation of the test cubes themselves, as against post-processing of these cubes for a given pattern. (ii) Pattern generation can be driven to minimize test power according to a programmable switching activity threshold, and hence, is scalable. (iii) The same constraint circuit can also be effectively used for pattern filtering to isolate patterns which cause high switching activity. Additionally, the proposed method does not require any changes to the pattern generation tool or process. This paper describes the methodology, together with techniques for realizing the hardware circuit and specifying thresholds. Experimental results on various benchmark circuits (including an industrial design) are presented to show the effectiveness of this approach.
Automatic braking system using fuzzy logic
Authors: M. A. Jarrah, A. Shaout
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (1999)

A fuzzy logic based automatic braking system is proposed using distance and relative speed sensors as inputs and brake-pressure as output. Heuristic rules have been developed and implemented. The controller monitors the deceleration rate of the vehicle to prevent tire lock-up and the consequent loss of directional stability. The system offers the flexibility of setting the separation distance. Simulation of the controller for driving into a stationary or moving objects shows that the system is performing well. It also uses an anti lock braking system to decelerate the vehicle and a throttle on-off controller to accelerate the vehicle and maintain a fixed separation distance and drive behind the object in a tracking mode, i.e., adjusts the speed as obstacles occur.
Secure multi-path in sensor networks
Authors: Feng Lu, Lijuan Geng, Liang-Tien Chia, Ying-Chang Liang
Venue: Proceedings of the 5th international conference on Embedded networked sensor systems (2007)

Wireless sensor network has been identified as being useful in a variety of domains including the battlefield and perimeter defense. These mission critical applications raise the concern for security in sensor network. Typical security problems identified include passive information gathering, subversion of a node, legitimate addition of a node to an existing sensor network, and so forth [1]. Under traditional routing concept, information security is usually ensured through high-level security protocols, but limited computational power and memory space in sensor nodes make traditional cryptographical techniques cumbersome to be implemented in sensor networks.
Personal Computer Displays
Authors: Satish Gupta, Daniel McCabe
Venue: IEEE Computer Graphics and Applications (1987)

The personal computer's display is a key component in the interactive and natural user interfaces that personal computer applications provide. The display architecture determines how realistic the pictures on the monitor will be and how interactive the application will be. This article describes the technological and architectural evolution of personal computer displays, and the impact of this evolution on the system and application software. It then discusses the future of these displays and their future uses, on the basis of ongoing technical research and the users' desires and demands.