ppxscal/embedding_network huggingface dataset:
On the Stokes Phenomenon for Holomorphic Solutions of Integro-Differential Equations with Irregular Singularity
Authors: Stéphane Malek
Venue: Journal of Dynamical and Control Systems (2008)

We study the Stokes phenomenon for sectorial holomorphic solutions of linear integro-differential equations in two variables t, z with irregular singularity at t¿=¿0. More precisely, we give sufficient conditions on the coefficients of the equations and initial conditions under which the Stokes transition functions can be expressed as the generalized Laplace transform of a convergent series of hyperfunctions defined on half-lines in $ \mathbb{C} $ .
Communication analysis of distributed programs
Authors: Sharon Simmons, Dennis Edwards, Phil Kearns
Venue: Scientific Programming (2006)

Capturing and examining the causal and concurrent relationships of a distributed system is essential to a wide range of distributed systems applications. Many approaches to gathering this information rely on trace files of executions. The information obtained through tracing is limited to those executions observed. We present a methodology that analyzes the source code of the distributed system. Our analysis considers each process's source code and produces a single comprehensive graph of the system's possible behaviors. The graph, termed the partial order graph (POG), uniquely represents each possible partial order of the system. Causal and concurrent relationships can be extracted relative either to a particular partial order, which is synonymous to a single execution, or to a collection of partial orders. The graph provides a means of reasoning about the system in terms of relationships that will definitely occur, may possible occur, and will never occur. Distributed assert statements provide a means to monitor distributed system executions. By constructing the POG prior to system execution, the causality information provided by the POG enables run-time evaluation of the assert statement without relying on traces or addition messages.
Network-Based EDM Learning Framework in Precision Manufacturing Engineering
Authors: Janus S. Liang
Venue: Proceedings of the Fifth International Conference on Information Technology: New Generations (2008)

A Virtual Reality-based learning framework of electrical discharge machining (EDM) is presented in this research. The architecture supports “hands-on” exercise in precision manufacturing field for distance education and allows learners to practice and access an EDM-based virtual environment by means of the Internet. In this research, open-source software tools and virtual interactive technology available are integrated to develop an emulated, effective, learning environment for distance education.
Towards Automated Test Sequence Generation
Authors: U. Farooq, C. P. Lam, H. Li
Venue: Proceedings of the 19th Australian Conference on Software Engineering (2008)

The article presents a novel control-flow based test sequence generation technique using UML 2.0 Activity Diagram, which is a behavioral type of UML diagram. Like other model-based techniques, this technique can be used in the earlier phases of the development process owing to the availability of the design models of the system. The Activity Diagram model is seamlessly converted into a Colored Petri Net. We proposed a technique that enables the automatic generation of test sequences according to a given coverage criteria from the execution of the Colored Petri Nets model. Two types of structural coverage criteria for AD based models, namely sequential and concurrent coverage are described. The proposed technique was applied to an example to demonstrate its feasibility and the generated test sequences were evaluated against selected coverage criteria. This technique can potentially be adapted to service oriented applications, workflows, and concurrent applications.
An Experience Improving Intrusion Detection Systems False Alarm Ratio by Using Honeypot
Authors: Babak Khosravifar, Jamal Bentahar
Venue: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications (2008)

When traditional firewall and intrusion detection systems (IDS) are used to detect possible attacks from the network, they often make wrong decisions and block the legitimate connections. In this paper we propose a new architecture which is composed of distributed agents and honeypot. The main focus of our approach lies in reducing the false alarm rate of the attack detection. Using the honeypot scheme, this system is able to avoid many wrong decisions made by IDS. In this system alarming adversaries, initially detected by the IDS, will be rerouted to a honeypot network for a more close investigation. If as a result of this investigation, it is found that the alarm decision made by the IDS of the agent is wrong, the connection will be guided to the original destination in order to continue the previous interaction. This action is hidden to the user. Such a scheme significantly decreases the alarm rate and provides a higher performance of IDS. In this paper the architecture of the proposed system is described, a theoretical analysis of its behavior is given and its possible extension and implementation are explained.
A thermal information display for mobile applications
Authors: Reto Wettach, Christian Behrens, Adam Danielsson, Thomas Ness
Venue: Proceedings of the 9th international conference on Human computer interaction with mobile devices and services (2007)

In this paper, we investigate possibilities and limitations of temperature change as a method for information display in mobile applications. While some widespread and well-recognized haptic displays such as force-feedback often trigger the user's immediate attention, we will focus on ambient strategies for tactile information display, that is, the display of gradual state changes in the user's periphery that do not unexpectedly interrupt her current tasks, but builds on the mind's ability for subliminal perception of environmental change instead [1, 2]. To this end, we present a series of prototypes of mobile devices that display ambient information by means of thermal change based on the thermo-electric effect [3]. In order to assess the expedience and feasibility of such a display, a series of user tests have been conducted with respect to both, the ability for thermal change recognition and a concrete application scenario for such a display.
A connectivity management system for vehicular telemedicine applications in heterogeneous networks
Authors: Frank Steuer, Thomas Geithner, Thomas Kaschwig, Kaan Bür, Sahin Albayrak
Venue: Proceedings of the 4th International Conference on Testbeds and research infrastructures for the development of networks & communities (2008)

Wireless access technologies such as UMTS with HSPA extensions, WiMAX, and Flash-OFDM and the convergence towards next generation heterogeneous networks enable the realization of always best connected scenarios. As the resulting heterogeneous networks become easier to access and more reliable to depend on, novel telemedicine services such as vehicular emergency applications emerge. Due to their life-critical characteristics, these applications require connectivity throughout the heterogeneous network. In this study, we propose MIPGATE, our mobile connectivity gateway for vehicular applications in next generation heterogeneous networks. MIPGATE contains modules for the access technologies currently available and a decision mechanism to switch intelligently to the connection offering the most suitable conditions. Link layer triggers and additional context information are used to optimize the handover decision process. MIPGATE is deployed within StrokeNet, a mobile telemedicine project for the remote diagnosis of stroke patients using real-time audio and videoconferencing. The MIPGATE system is validated through measurements on throughput, delay, packet loss, and handover latencies using public wireless network infrastructures with the UMTS technology and a Beyond-3G testbed featuring a Flash-OFDM test network. For the payload packets, mean handover times of 118 ms in case of handovers to UMTS/HSDPA and 23 ms in case of handovers to Flash-OFDM have been achieved in a real-world network setup. The overall packet loss rate is 0.21% and equally distributed over the duration of the measurements. The results show that MIPGATE supports network connectivity under mobility as required by novel vehicular telemedicine applications and demanding real-time services.
Polytopes, permanents and graphs with large factors
Authors: P. Dagum, M. Luby
Venue: Proceedings of the 29th Annual Symposium on Foundations of Computer Science (1988)

Randomized algorithms for approximating the number of perfect matchings in a graph are considered. An algorithm that is a natural simplification of one suggested and analyzed previously is introduced and analyzed. One of the key ideas is to view the analysis from a geometric perspective: it is proved that for any graph G the k-slice of the well-known Edmonds matching polytope has magnification 1. For a bipartite graph G=(U, V, E), mod U mod = mod V mod =n, with d edge-disjoint perfect matchings, it is proved that the ratio of the number of almost perfect matchings to the number of perfect matchings is at most n/sup 3n/d/. For any constant alpha >0 this yields a a fully polynomial randomized algorithm for approximating the number of perfect matchings in bipartite graphs with d>or= alpha n. Moreover, for some constant c>0 it is the fastest known approximation algorithm for bipartite graphs with d>or= clog n.
A new upper bound in the second Kershaw's double inequality and its generalizations
Authors: Feng Qi, Senlin Guo, Shou-Xin Chen
Venue: Journal of Computational and Applied Mathematics (2008)

In the paper, a new upper bound in the second Kershaw's double inequality involving ratio of gamma functions is established, and, as generalizations of the second Kershaw's double inequality, the divided differences of the psi and polygamma functions are bounded.
Loop recreation for thread-level speculation
Authors: Lin Gao, Lian Li, Jingling Xue, Tin-Fook Ngai
Venue: Proceedings of the 13th International Conference on Parallel and Distributed Systems - Volume 01 (2007)

For some sequential loops, existing techniques that form speculative threads only at their loop boundaries do not adequately expose the speculative parallelism inherent in them. This is because some inter-iteration dependences, which translate into inter-thread dependences at run time, are too costly to synchronize or speculate. This paper presents a novel compiler technique, called loop recreation, to transform a loop into a prologue, a kernel loop &#x2014; formed with instructions from two adjacent iterations, and an epilogue so that the inter-iteration dependences in the kernel are less costly to enforce at run time than those in the original loop. We prove the concept by giving an algorithm for finding an optimal loop recreation with respect to a simple misspeculation cost model and by demonstrating performance advantages of loop recreation over two recent techniques for speculative multi-core systems running four irregular applications with indirect array accesses.
Foundation Expression Blend 2: Building Applications in WPF and Silverlight (Foundation)
Authors: Victor Gaudioso
Venue:  (2008)

In this book, you'll: Learn the Blend 2 and Visual Studio 2008 development environments Create designs using Blend 2's unique tools Use XAML and C# to add interactivity to your designs Publish your Rich Media Applications to the Web using Silverlight The only real tool available for creating Rich Media Applications, web-based animations, and games has been Flash until now! WPF (Windows Presentation Foundation) and Silverlight have opened the door of Rich Media Application development to Microsoft .NET developers. With Microsoft's new Blend 2 and Visual Studio 2008, you can now create compelling Rich Media Applications complete with animations and even 3D! This book shows you how to take full advantage of Blend's new interface, together with and Silverlight's vastly improved designer-developer workflow, guiding you through every step of development from downloading and installing of the development environment through creating finished, functional projects. You'll learn how to create simple drawing applications with the InkCanvas, make tabbed and scrollable interfaces, as well as build fully featured media players, photo galleries, and interactive 3D designs. Each chapter discusses major WPF and Silverlight features, provides a hands-on tutorial, and explains how that feature is implemented in the real world. In the end, you will have a collection of impressive WPF and Silverlight applications that can be added to your portfolio. Whether you're an experienced .NET or web developer, or you're just starting out, this book will provide you with all you need to create Rich Media Applications with Expression Blend 2.
General purpose fault injector for CORBA applications
Authors: Mohammad Alsaeed, Neil A. Speirs
Venue: Proceedings of the 2007 ACM/IFIP/USENIX international conference on Middleware companion (2007)

Testing distributed systems and protocols for dependability, fault-tolerance and performance in the real target environment is not usually possible. This is attributed to the cost of setting up a hosting distributed environment and the difficulty of controlling such a dynamic environment. This paper presents a demonstration of a general purpose tool that emulates a distributed networked environment at the application level and gives the user full control over the emulation environment.
Delegation and satisfiability in workflow systems
Authors: Jason Crampton, Hemanth Khambhammettu
Venue: Proceedings of the 13th ACM symposium on Access control models and technologies (2008)

Supporting delegation mechanisms in workflow systems is receiving increasing interest from the research community. An important requirement of a constrained workflow is to guarantee the satisfiability of the workflow, which requires that some set of authorized users can complete a workflow. Typically, any mechanism that is used to establish the satisfiability of a workflow is based on the workflow specification and the user authorization information. The effect of a successful user delegation request is to change the user authorization information, thereby affecting the satisfiability of the workflow. Existing work on delegation in workflows does not consider the satisfiability of the workflow. In this paper, we address the satisfiability problem of workflows, while supporting user delegation mechanisms, in the context of three different workflow execution models. We consider delegation of concrete tasks, abstract tasks and roles. We present algorithms for evaluating various delegation requests in each workflow execution model.
A method for condition monitoring and fault diagnosis in electromechanical system
Authors: Qianjin Guo, Haibin Yu, Jingtao Hu, Aidong Xu
Venue: Neural Computing and Applications (2008)

Condition monitoring of electrical machines has received considerable attention in recent years. Many monitoring techniques have been proposed for electrical machine fault detection and localization. In this paper, the feasibility of using a nonlinear feature extraction method noted as Kernel independent component analysis (KICA) is studied and it is applied in self-organizing map to classify the faults of induction motor. In nonlinear feature extraction, we employed independent component analysis (ICA) procedure and adopted the kernel trick to nonlinearly map the Gaussian chirplet distributions into a feature space. First, the adaptive Gaussian chirplet distributions are mapped into an implicit feature space by the kernel trick, and then ICA is performed to extract nonlinear independent components of the Gaussian chirplet distributions. A thorough laboratory study shows that the diagnostic methods provide accurate diagnosis, high sensitivity with respect to faults, and good diagnostic resolution.
An Extension of Software Player for Playing Finalizing-Failure DVD VR Discs
Authors: Chun-Yi Tsai, Tzao-Lin Lee
Venue: Proceedings of the 2008 International Conference on Multimedia and Ubiquitous Engineering (2008)

DVD VR (Video Recording) is a logic format adopted by most home consumer DVD recorder machines to record real-time TV and multimedia content on DVD+R/RW or DVD-R/RW blank discs. However, DVD VR format can only be recognized and played by the DVD recorder itself. To achieve forward compatibility and playability, the recorder provides a function called disc finalizing process which closes every tracks and sessions of a DVD VR disc and changes its logic format from DVD VR to DVD-Video to make it playable on generic DVD-Video compatible players. Unfortunately, disc finalizing process provided by DVD recorder is very unstable and unreliable due to various uncertain reasons. This unreliable finalizing process often and easily produces failure discs which are neither in correct DVD VR format nor in DVD-Video format. Thus, these discs become unrecognized, and can no longer be played any more by any DVD players or recorders. This paper proposes an extension of software solution which is capable of reading and playing non-finalized or finalizing-failure DVD VR discs.
An Empirical Research of Multi-Classifier Fusion Methods and Diversity Measure in Remote Sensing Classification
Authors: Hongchao Ma, Wei Zhou, Xinyi Dong, Honggen Xu
Venue: Proceedings of the First International Workshop on Knowledge Discovery and Data Mining (2008)

In this paper, Multi-Classifier System (MCS) is applied to the automatic classification of remote sensing images, and some effective multi-classifier fusion methods with relatively high accuracy are proposed based on substantive experiments. The classification accuracy of MCS has been remarkably improved compared to single classifier with an average increment of 5%. In addition, a diversity measure named EPD is presented, and the paper proves that its ability in predicting the performance of classifiers combining can be used to assist the construction of multiple classifier systems.
Radiometric correction for linear change-detection techniques: analysis in bi-temporal space
Authors: Y. Liu, T. Yano, S. Nishiyama, R. Kimura
Venue: International Journal of Remote Sensing (2007)

Radiometric corrections can remove or reduce inconsistencies induced by temporal factors in multi-temporal images, but their effectiveness for change detection is still unclear. This study applied a physics-based model to pseudo-invariant features (PIFs) and showed that absolute correction is in principle equivalent to relative correction in change-detection studies if the spatial heterogeneity of the atmosphere is not rigorously considered. Bi-temporal space analysis revealed that the performance of a linear change-detection algorithm depends on whether the determined slope of the no-change zone coincides with that of the PIF line, offering insight into the effectiveness of radiometric correction. A case examination showed that either absolute or relative correction adjusted the paired image bands to a common standard. However, the corrections did not necessarily reduce the bias in the zone slope determined by the change-detection algorithm, illustrating the futility of performing either absolute or relative corrections for linear change-detection techniques, except for image differencing.
A New Stilbene Synthase Gene from Muscadine (Vitis rotundifolia) Grape Berry
Authors: Hemanth KN. Vasanthaiah, Ramesh Katam, Sheikh M. Basha
Venue: Proceedings of the 2007 Frontiers in the Convergence of Bioscience and Information Technologies (2007)

Muscadine grapes contain high concentration of polyphenols that are known to be involved in plant defense. Resveratrol encoded by stilbene synthase (STS) is one of the important phenolic compounds found in muscadine grape that has antimicrobial activity as well as health benefit. Cloning and sequencing of STS from muscadine revealed six isoforms of stilbene synthase genes, of which four were found to be different from that of V. vinifera STS sequence (BS). Rapid Amplification of cDNA Ends (RACE) to one of the muscadine stilbene synthase cDNA (MSB1) sequence also showed sequence variation with V. vinifera STS. The expression level of MSB1 and BS gene in anthracnose-tolerant muscadine cultivar was analyzed and confirmed through real time PCR after challenging the grape plants with the fungus Elsinoe ampelina. The expression of MSB1 was found to be higher in muscadine compared to V. vinifera confirming that the muscadine genotypes may possibly have the potential to synthesize sufficient amount and type of stilbene phytoalexins to defend against pathogen attack.
Integrating a Security Plug-in with the OpenUP/Basic Development Process
Authors: Shanai Ardi, Nahid Shahmehri
Venue: Proceedings of the 2008 Third International Conference on Availability, Reliability and Security (2008)

In this paper we present a security plug-in for the OpenUP/Basic development process. Our security plug-in is based on a structured unified process for secure software development, named S3P (Sustainable Software Security Process). This process provides the formalism required to identify the causes of vulnerabilities and the mitigation techniques that prevent these vulnerabilities. We also present the results of an expert evaluation of the security plug-in. The lessons learned from development of the plug-in and the results of the evaluation will be used when adapting S3P to other software development processes.
Bio@gro - An online multilingual organic agriculture e-services platform
Authors: Sotiris Karetsos, Constantina Costopoulou Alexander Sideridis Charalampos Patrikakis Maria Koukouli
Venue: Information Services and Use (2007)

Although worldwide organic agriculture is constantly gaining ground compared to traditional agriculture, still a number of countries encounter problems mostly related to lack of validated information and knowledge, technical support by specialized agronomists, coordination and organization of the trading network and promoting mechanisms. The appropriate use of Web technologies and mobile computing and communications can help to the solution of the aforementioned problems. In this context, this paper presents the bio@gro e-services platform, which provides accurate, certified and multilingual content (i.e. information and services) related to organic agriculture through Internet connected devices or mobile phones using the short message service. The proposed platform takes into consideration the organic agriculture stakeholders' needs from Greece, Germany, Romania and Cyprus. More specifically, it aims at providing to organic agriculture stakeholders electronic business, electronic learning and electronic government content in four languages, namely in Greek, German, Romanian and English in order to offer information on several aspects of the organic agriculture domain, to provide the ability to exchange views and experiences as well as to compare the means, methods, practices and cultivation techniques used in each country.