ppxscal/embedding_network huggingface dataset:
Can users manage system infrastructure?: user-adaptable inter-application communication in a changing business environment
Authors: Jeanette Eriksson
Venue: Proceedings of the 4th WSEAS International Conference on Applied Informatics and Communications (2004)

This article discusses the opportunity for end users to manage system infrastructure. We describe a prototype called EDIT (Event Definer for Infrastructure Tailorability) that provides an interface for the system infrastructure in a telecommunication company. The design of the prototype focuses on simplicity and makes use of well known techniques and standard systems employed in the company. Our conclusion is that it is possible, by small means, to provide end users with opportunities to manage system infrastructure. This can be achieved by structuring the application in a way that clearly separates use, tailoring and further development of the tailoring capabilities. The precondition is that there is a culture in the company that supports cooperation between end users and developers.
North Corridor Economic Region: Bio Ecosystem Analysis
Authors: Koh Hock Lye, Teh Su Yean, Zubir Din, Ahmad Izani Md Ismail
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 01 (2008)

Under the Ninth Malaysian Plan (9MP), various development schemes according to geographical regions have been planned for implementation. The North Corridor Economic Region (NCER) is envisaged to promote economic development in the northern corridor region, which includes Penang and Kedah. Significant economic development is expected to be implemented in the state of Penang, in which the Universiti Sains Malaysia (USM) is located. Coastal reclamation and development, including the Penang Outer Ring Road PORR, the Second Link and the Penang Global City Center PGCC, will be implemented in several parts of the Penang state. These developments may incur negative bioenvironmental impacts, for which an Environmental Impact Assessment (EIA) is needed for mitigation. This paper presents a brief exposition of these EIA studies, with particular reference to model simulations on hydrodynamic regimes and suspended sediment SS in the Straits of Penang. The impacts of SS on marine ecosystems are discussed.
Mick gets some (the odds are on his side) (satisfiability)
Authors: V. Chvatal
Venue: Proceedings of the 33rd Annual Symposium on Foundations of Computer Science (1992)

Consider a randomly generated boolean formula F (in the conjunctive normal form) with m clauses of size k over n variables; k is fixed at any value greater than 1, but n tends to infinity and m = (1 + o(1))cn for some c depending only on k. It is easy to see that F is unsatisfiable with probability 1-o(1) whenever c>(ln 2)2/sup k/; the authors complement this observation by proving that F is satisfiable with probability 1-o(1) whenever c1.
Optimal broadcast for fully connected processor-node networks
Authors: Jesper Larsson Träff, Andreas Ripke
Venue: Journal of Parallel and Distributed Computing (2008)

We develop and implement an optimal broadcast algorithm for fully connected processor networks under a bidirectional communication model in which each processor can simultaneously send a message to one processor and receive a message from another, possibly different processor. For any number of processors p the algorithm requires N-1+@?logp@? communication rounds to broadcast N blocks of data from a root processor to the remaining processors, meeting the lower bound in the model. For data of size m, assuming that sending and receiving data of size m^' takes time @a+@bm^', the best running time that can be achieved by the division of m into equal-sized blocks is ((@?logp@?-1)@a+@bm)^2. The algorithm uses a regular, circulant graph communication pattern, and degenerates into a binomial tree broadcast when the number of blocks to be broadcast is one. The algorithm is furthermore well suited to fully connected clusters of SMP (Symmetric Multi-Processor) nodes. The algorithm is implemented as part of an MPI (Message Passing Interface) library. We demonstrate significant practical bandwidth improvements of up to a factor 1.5 over several other, commonly used broadcast algorithms on both a small SMP cluster and a 72 node NEC SX vector supercomputer.
Metric on a statistical space-time
Authors: Jacques Calmet, Xavier Calmet
Venue: Proceedings of the 4th WSEAS International Conference on Systems Theory and Scientific Computation (2004)

We introduce a concept of distance for a space-time where the notion of point is replaced by the notion of physical states e.g. probability distributions. We apply ideas of information theory and compute the Fisher information matrix on such a space-time. This matrix is the metric on that manifold. We apply these ideas to a simple model and show that the Lorentzian metric can be obtained if we assumed that the probability distributions describing space-time fluctuations have complex values. Such complex probability distributions appear in non-Hermitian quantum mechanics.
Are zero-suppressed binary decision diagrams good for mining frequent patterns in high dimensional datasets?
Authors: Elsa Loekito, James Bailey
Venue: Proceedings of the sixth Australasian conference on Data mining and analytics - Volume 70 (2007)

Mining frequent patterns such as frequent itemsets is a core operation in many important data mining tasks, such as in association rule mining. Mining frequent itemsets in high-dimensional datasets is challenging, since the search space is exponential in the number of dimensions and the volume of patterns can be huge. Many of the state-of-the-art techniques rely upon the use of prefix trees (e.g. FP-trees) which allow nodes to be shared among common prefix paths. However, the scalability of such techniques may be limited when handling high dimensional datasets. The purpose of this paper is to analyse the behaviour of mining frequent itemsets when instead of a tree data structure, a canonical directed acyclic graph namely Zero Suppressed Binary Decision Diagram (ZBDD) is used. Due to its compactness and ability to promote node reuse, ZBDD has proven very effective in other areas of computer science, such as boolean SAT solvers. In this paper, we show how ZBDDs can be used to mine frequent itemsets (and their common varieties). We also introduce a weighted variant of ZBDD which allows a more efficient mining algorithm to be developed. We provide an experimental study concentrating on high dimensional biological datasets, and identify indicative situations where a ZBDD technology can be superior over the prefix tree based technique.
On throughput in linear wireless networks
Authors: Petar MomČilović, Mark S. Squillante
Venue: Proceedings of the 9th ACM international symposium on Mobile ad hoc networking and computing (2008)

This paper investigates fundamental properties of throughput and energy cost in large wireless linear networks with very limited local resources that do not grow with the size of the network. The maximum throughput of the network is derived and the arrival process that maximizes throughput, given a fixed arrival rate, is established. An asymptotically critical loading regime is identified such that the probability of an arbitrary packet being lost is strictly within (0, 1) as the network size increases. Such a regime delivers throughput comparable to the maximum at a reasonable energy cost. The paper also establishes the asymptotic network energy cost under this critical loading. These results are then used to consider a performance-cost tradeoff within an optimization problem for which the unique equilibrium point that maximizes the difference between performance benefits and costs is derived. Finally, from a mathematical perspective, the paper furthers our understanding of large stochastic linear networks for which, in general, no explicit solutions have been previously available.
A new feature-based method for robust and efficient rigid-body registration of overlapping point clouds
Authors: Cagatay Basdogan, A. Cengiz Oztireli
Venue: The Visual Computer: International Journal of Computer Graphics (2008)

We propose a new feature-based registration method for rigid-body alignment of overlapping point clouds (PCs) efficiently under the influence of noise and outliers. The proposed registration method is independent of the initial position and orientation of PCs, and no assumption is necessary about their underlying geometry. In the process, we define a simple and efficient geometric descriptor, a novel k-NN search algorithm that outperforms most of the existing nearest neighbor search algorithms used for the same task, and a new algorithm to find corresponding points between PCs based on the invariance of Euclidian distance under rigid-body transformation.
Satellite L-band front end design
Authors: Miroslav Kasal, Michal Zamazal, Petr Kutín, Vishwas Lakkundi
Venue: Proceedings of the 4th WSEAS International Conference on Applied Informatics and Communications (2004)

The design, simulation and experiments of an L-band front end for the new AMSAT Phase 3E satellite are presented here. The double conversion receiver for the transponder and command unit is based on the double PLL frequency synthesizer synchronized by an ultra stable oscillator positioned on-board the satellite.
Image-Based Modeling of Virtual Pagoda of China
Authors: Wu Guo, Yi Li, Wenhui Li, Meiying Sun
Venue: Proceedings of the 2008 International Conference on Multimedia and Ubiquitous Engineering (2008)

This paper introduces an image-based pagodas modeling and simulation system that takes a single photo as input. To implement the pagoda modeling system, we have built a component model library of pagodas by L system (e.g. square, hexagonal, and octagonal box, eaves bending upwards or downwards etc.) and a corresponding feature library. Feature points have been detected by improved feature detection algorithm. Once the feature points are detected, they are first checked to see whether they match with the predefined feature library. If so, a corresponding model in component model library is assigned to them. XML code is used to control the process of pagoda generation in detail and ratio parameter added to ensure the coherent architecture styles of ancient vernacular pagodas. Because of the advantages (accurate modeling and rapid generating) of this modeling system, it can be applied to the reserving of the digital heritage in China vernacular architecture.
Software Engineering Certification Schemes
Authors: Stephen Seidman
Venue: Computer (2008)

The emerging ISO/IEC 24773 international standard could make software engineering certification globally portable.
Use of formal computational models for designing intelligent mobile device interfaces
Authors: Maria Vicente A. Bonto-Kane
Venue: Proceedings of the 9th international conference on Human computer interaction with mobile devices and services (2007)

This research examines the use of formal computational models to design intelligent device interfaces able to predict the function or application a user will use and automatically invoke this function. Computational models considered are Markov Chains, Markov Decision Process, Hidden Markov Model, Fuzzy Logic, and Bayesian Networks. Descriptive statistics obtained examine patterns of use on a mobile device. Usage profiles are modeled using the various computational models and verified with historical nonlearning data. This computational model framework is then deployed in field/laboratory trials where predictions are made on what the next user operation will be. Probabilistic predictions made by Markov Chains and Markov Decision Process are compared with context classification predictions made by Hidden Markov Model, Fuzzy Logic and Bayesian Networks. During the field/laboratory trials, each instance of use is a learning trial and the probabilities are recalculated for the models. In the next experimental phase, model predictions result in the automated delivery of certain functions or user operations. The benefits of automation are assessed in terms of task performance data (ease, accuracy, and speed of task completion) and user perceived usability using a questionnaire. The costs off automation are also assessed in terms of the costs of choosing a different operation and reversing the automated operation. In the last experimental phase, the ability to "undo" an automated operation is given and delivery of the next most highly probably operation is given as well as the capacity to "undo" each time or to come out of the automated prompting altogether. The benefits of this type of automation are assessed in terms of user performance and perceived usability. Future directions for research discuss how formal models can be used to design intelligent, highly-automated device interfaces and how best to design the automation to work in the users best interests.
The Myth of Open Web Services: The Rise of the Service Parks
Authors: Charles Petrie, Christoph Bussler
Venue: IEEE Internet Computing (2008)

Issues of trust, reliability, and data heterogeneity make it unlikely that we'll have access to a set of free and heterogenous Web services and tools to combine them on the Internet anytime soon. The authors contend, instead, that "service parks" will rise and succeed in the near future as execution environments that support simplified data integration and service reliability. As service park owners establish and leverage branding of their efforts, they will likely build trust within the Web service user community. The most successful service parks will allow users and service providers other than the park owners to to be easily provide and modify services.
Hardness vs. randomness
Authors: N. Nisan
Venue: Proceedings of the 29th Annual Symposium on Foundations of Computer Science (1988)

A simple construction for a pseudorandom bit generator is presented. It stretches a short string of truly random bits into a long string that looks random to any algorithm from a complexity class C (e.g. P, NC, PSPACE, etc.), using an arbitrary function that is hard for C. This generator reveals an equivalence between the problems of proving lower bounds and the problem of generating good pseudorandom sequences. Combining this construction with other arguments, a number of consequences are obtained.
Security design for three-party encrypted key exchange protocol using smart cards
Authors: Chin-Chen Chang, Jung-San Lee, Ting-Fang Cheng
Venue: Proceedings of the 2nd international conference on Ubiquitous information management and communication (2008)

Three-Party encrypted key exchange (3PEKE) protocol is an important cryptographic mechanism, enabling two clients to communicate with each other through a trusted server. Specifically, it is often applied to provide confidential communications between two participants over an insecure network. In 2007, Lu and Cao proposed a simple and efficient version. Unfortunately, we find that there exists a design weakness in their mechanism. We therefore design a novel mechanism using smart cards. The smart-card based scheme (SC-3PEKE) not only confirms the security essentials of general 3PEKE methods, but also outperforms related works in terms of authentication overheads with the adoption of smart cards.
An international assessment of a web-based diagnostic tool in critically ill children
Authors: Neal J. Thomas, Padmanabhan Ramnarayan, Michael J. Bell, Prabhat Maheshwari, Shaun Wilson, Emily B. Nazarian, Lorri M. Phipps, David C. Stockwell, Michael Engel, Frank A. Maffei, Harish G. Vyas, Joseph Britto
Venue: Technology and Health Care (2008)

Improving diagnostic accuracy is essential. The extent of diagnostic uncertainty at patient admission is not well described in critically ill children. Therefore, we studied the extent that pediatric trainee diagnostic performance could be improved with the aid of a computerized diagnostic tool. Data regarding patient admissions to five Pediatric Intensive Care Units were collected. Information included patients' clinical details, admitting team's diagnostic workup and discharge diagnosis. An attending physician assessed each case independently and suggested additional diagnostic possibilities. Diagnostic accuracy was calculated using the discharge diagnosis as the gold standard. 206 out of 927 patients (22.2%) admitted to the PICUs did not have an established diagnosis at admission. The trainee teams considered a median of three diagnoses in their workup (IQR 3-5) and made an accurate diagnosis in 89.4% cases (95% CI 84.6%-94.2%). Diagnostic accuracy improved to 92.5% with use of the diagnostic tool alone, and to 95% with the addition of attending physicians' diagnostic suggestions. We conclude that a modest proportion of admissions to these PICUs were characterized by diagnostic uncertainty during initial assessment. Although there was a relatively high accuracy rate of initial assessment in our clinical setting, it was further improved by both the diagnostic tool and the physicians' diagnostic suggestions. It is plausible that the tool's utility would be even greater in clinical settings with less expertise in critical illness assessment, such as community hospitals, or emergency departments of non-training institutions. The role of diagnostic aids in the care of critically ill children merits further study.further study.
A novel neural model-based approach to leak detection and localization in oil pipelines for environmental protection
Authors: Alireza Paivar, Karim Salahshoor, Farzad Hourfar
Venue: Proceedings of the 5th WSEAS International Conference on Circuits, Systems, Electronics, Control & Signal Processing (2006)

Monitoring oil transporting pipelines is an important task for economical and safe operation, loss prevention, and environmental protection from crude oil emission. The leak detection of oil pipelines, therefore, plays a key role in the overall integrity monitoring of a pipeline system. This paper proposes a neural decision-making approach to oil pipeline leak localization. The one main methods, model based fault detection is used (to find leaks quantity and location-making) to form a novel fault diagnosis scheme. This scheme can improve the precision of localization. An application example, 600m long oil pipeline leak detection and localization are illustrated, and the effectiveness of the proposed approach is demonstrated using practical results.
Earthquake cloud over Japan detected by satellite
Authors: G. Gup, G. Xie
Venue: International Journal of Remote Sensing (2007)

Thermal anomaly detected by satellite before earthquake has been widely reported. Here we reported a new anomaly detected with geostationary satellite image. The geostationary satellite image series were combined together to make an animation, and it is found that the common cloud moved continuously, while the earthquake cloud stayed closely to the epicenter. Here an earthquake cloud example in Japan was reported.
Discontinuous solutions of differential equations with time delay
Authors: Yu. V. Fetisova, A. N. Sesekin
Venue: Proceedings of the 9th WSEAS International Conference on Systems (2005)

The paper deals with the introduction of notion of discontinuous solution for nonlinear system with distributions in the right hand side of the system and with time delay. The definition of solution based on the closure of the set of smooth solutions in the space of functions of bounded variation. Sufficient conditions of existence and continuous dependence on initial function so defined solutions are received. The specified conditions for existence of solutions for linear systems with distributions in a matrix of system is obtained. For such systems it is received the representation of solution of Cauchy problem.
Detection of coal fire location and change based on multi-temporal thermal remotely sensed data and field measurements
Authors: Y. Chen, L. Jing, Y. Bo, P. Shi, S. Zhang
Venue: International Journal of Remote Sensing (2007)

This study focuses on analysis methods for monitoring coal fires, using a combination of multi-temporal thermal infrared data, high spatial resolution remote sensing data and field measurements. This technical note is prepared as a feasibility study for the detection of coal fire dynamics in the Inner Mongolia Autonomous Region in northern China.
Bridging social and technical interfaces in organizations: An interpretive analysis of time-space distanciation
Authors: Leigh Jin, Daniel Robey
Venue: Information and Organization (2008)

Contemporary organizations increasingly rely upon information technologies as platforms for their core work processes. The Internet age has witnessed the creation of new business models based almost entirely on electronically-mediated business processes involving multiple organizations. Information systems link suppliers, manufacturers, logistics companies, and other partners, allowing organizations to add value using smaller investments in physical assets. The creation of these linkages establishes both technical and social interfaces between organizations and their business partners. We apply Giddens' concept of time-space distanciation to analyze the interfaces in iTalk, an organization in Silicon Valley hosting Internet voicemail services. iTalk achieved initial success in bridging external social and technical interfaces with the major regional telephone companies in US, allowing their voicemail service to attract millions of subscribers. In effect, iTalk used information technologies to dis-embed social and technical elements from global systems (the telephone companies) and re-embed them as part of iTalk's local organizational presence. However, iTalk was unable to provide a sufficiently reliable service to customers as volume increased. Ironically, bridging external interfaces created internal interfaces within iTalk, which in turn produced technical problems and social conflicts that were not satisfactorily resolved by the time iTalk was acquired by a larger media company in 2001. The study provides theoretical understanding of the challenges associated with creating and sustaining social and technical interfaces in organizations that rely heavily upon electronically-mediated business processes that cross organizational boundaries.
Toward an Integrated User Requirements Notation Framework and Tool forBusiness Process Management
Authors: Alireza Pourshahid, Daniel Amyot, Liam Peyton, Sepideh Ghanavati, Pengfei Chen, Michael Weiss, Alan J. Forster
Venue: Proceedings of the 2008 International MCETECH Conference on e-Technologies (2008)

A number of recent initiatives in both academia and industry have sought to achieve improvements in e-businesses through the utilization of Business Process Management (BPM) methodologies and tools. However there are still some inadequacies that need to be addressed when it comes to achieving alignment between business goals and business processes. The User Requirements Notation (URN) has some unique features and capabilities beyond what is available in other notations that can help address alignment issues. In this paper, a URN-based framework and its supporting toolset are introduced which provide business process monitoring and performance management capabilities integrated across the BPM lifecycle. The framework extends the URN notation with Key Performance Indicators (KPI) and other concepts to measure, and align processes and goals. A healthcare case study is used to illustrate and evaluate the framework. Early results indicate the feasibility of the approach.
Capturing crossings: Convex hulls of segment and plane intersections
Authors: Esther M. Arkin, Joseph S. B. Mitchell, Jack Snoeyink
Venue: Information Processing Letters (2008)

We give a simple O(nlogn) algorithm to compute the convex hull of the (possibly @Q(n^2)) intersection points in an arrangement of n line segments in the plane. We also show an arrangement of dn hyperplanes in d-dimensions whose arrangement has @Q(n^d^-^1) intersection points on the convex hull.