ppxscal/embedding_network huggingface dataset:
An Ultrasonic Signal Processing Technique for Extraction of Arrival Time from Lamb Waveforms
Authors: Haiyan Zhang, Xiuli Sun, Shixuan Fan, Xuerui Qi, Xiao Liu, Donghui Lu
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues (2008)

Travel time Lamb wave tomography has been shown to be an effective nondestructive evaluation (NDE) technique for plate-like structures. The methods used previously to extract the arrival times of the fastest or multi-mode Lamb wave modes are mostly based on enveloping techniques, and various time-frequency methods such as Wigner-Ville distributions, short-time Fourier transforms, and recently explored wavelet transform (WT). Frankly speaking, the uses of signal processing methods improve the accuracy of the arrival time extraction to a great extent relative to interpret the Lamb waveforms directly. Hilbert-Huang transform (HHT) is also an efficient way for analyzing and processing non-stationary signals. The resolving power of time and frequency is restricted from Heisenberg principle in wavelet analysis, while in HHT time resolving power is precise and steady, and frequency resolving power is adaptive according to signal intrinsic characteristics. Conclusion can be made that the HHT method is more adaptive than WT analysis in analyzing non-stationary signals. Based on the above analysis, HHT is attempted to extract multi-mode arrival times from Lamb waveforms in this paper. Comparison with the wavelet transform shows the new method offers higher temporal resolutions in extracting arrival times of multiple Lamb wave modes.
A Diametric Theorem in ${\mathbb Z}^n_m$ for Lee and Related Distances
Authors: Rudolf Ahlswede, Faina I. Solov'Eva
Venue: Proceedings of the 2nd international Castle meeting on Coding Theory and Applications (2008)

We present the diametric theorem for additive anticodes with respect to the Lee distance in ${\mathbb Z}^n_{2^k}$, where ${\mathbb Z}_{2^k}$ is an additive cyclic group of order 2 k . We also investigate optimal anticodes in ${\mathbb Z}^n_{p^k}$ for the homogeneous distance and in ${\mathbb Z}^n_m$ for the Krotov-type distance.
On the dispersion of a solute in a Casson fluid flow in an annulus with boundary absorption
Authors: P. Nagarani, G. Sarojamma, G. Jayaraman
Venue: Proceedings of the American Conference on Applied Mathematics (2008)

Longitudinal dispersion of passive tracer molecules in a Casson fluid flow through an annular pipe with a reactive outer wall is studied using generalized dispersion model, which is valid for all times after the solute injection. The study describes the development of dispersive transport following the injection of a tracer in terms of the three effective transport coefficients viz. the absorption, the convection and the dispersion coefficients. The behaviour of the above three effective transport coefficients due to the variations of annular gap, yield stress and wall absorption parameter is examined. It is observed that the asymptotic convection, dispersion coefficients are dependent on yield stress of the fluid, annular gap and wall absorption parameter but the absorption coefficient is independent of the yield stress of the fluid and depends on the annular gap and wall absorption parameter. It is found that the yield stress of the fluid decreases the dispersion coefficient significantly. It is interesting to note that as annular gap decreases the dispersion coefficient also decreases. It is also seen that the dispersion coefficient is effectively decreased by interfacial mass transfer. The results of this study are of great importance in understanding the dispersion process in a catheterized artery with a reactive arterial wall.
What Diagrams Reveal about Representations in Linear Reasoning, and How They Help
Authors: Krista E. Deleeuw, Mary Hegarty
Venue: Proceedings of the 5th international conference on Diagrammatic Representation and Inference (2008)

Previous research has shown that linear reasoning about visual relations is slower than reasoning about spatial or abstract relations. It has been proposed that this "visual impedance" effect occurs because visual information interferes with creating a spatial mental model of the problem. Here we examine whether the construction of a spatial mental model depends on the content (visual, abstract, and spatial) of the problems and on individual differences. Half of the participants made notes during reasoning, and all were asked about the strategies they used. Accuracy on visual relations was worse than on spatial or abstract relations. When reasoners were allowed to make notes, their external representations were typically spatial (i.e., abstract diagrams), and accuracy was higher and depended less on ability measures than for those who did not make notes; yet the visual impedance effect remained. These data imply reasoners typically externalize their representations of linear reasoning problems as diagrams, and with these diagrams, problem solving is less effortful.
Recursive Priority Inheritance Protocol for Solving Priority Inversion Problems in Real-Time Operating Systems
Authors: Kwangsun Ko, Seong-Goo Kang, Gyehyeon Gyeong, Young Ik Eom
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

In this paper, a protocol, called recursive priority inheritance (RPI) protocol, is proposed to solve complicated priority inversion problems as well as basic one. Our proposed protocol is implemented and tested in the Linux kernel. Additionally, the performance of our proposed protocol is evaluated and compared with previous protocols in the aspect of time and space complexity analyses.
An n-Gram and Initial Description Based Approach for Entity Ranking Track
Authors: Meenakshi Sundaram Murugeshan, Saswati Mukherjee
Venue: Focused Access to XML Documents: 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007 Dagstuhl Castle, Germany, December 17-19, 2007. Selected Papers (2008)

The most important work that takes the center stage in the Entity Ranking track of INEX is proper query formation. Both the subtasks, namely Entity Ranking and List Completion, would immensely benefit if the given query can be expanded with more relevant terms, thereby improving the efficiency of the search engine. This paper stresses on the correct identification of "Meaningful n-grams" from the given title and proper selection of the "Prominent n-grams" among them as the utmost important task that improves query formation and hence improves the efficiencies of the overall Entity Ranking tasks. We also exploit the Initial Descriptions (IDES) of the Wikipedia articles for ranking the retrieved answers based on their similarities with the given topic. List completion task is further aided by the related Wikipedia articles that boosted the score of retrieved answers.
Hardware Design of an Adaptive Neuro-fuzzy Network with On-Chip Learning Capability
Authors: Tzu-Ping Kao, Chun-Chang Yu, Ting-Yu Chen, Jeen-Shing Wang
Venue: Proceedings of the 4th international symposium on Neural Networks: Part II--Advances in Neural Networks (2007)

This paper aims for the development of the digital circuit of an adaptive neuro-fuzzy network with on-chip learning capability. The on-chip learning capability was realized by a backpropagation learning circuit for optimizing the network parameters. To maximize the throughput of the circuit and minimize its required resources, we proposed to reuse the computational results in both feedforward and backpropagation circuits. This leads to a simpler data flow and the reduction of resource consumption. To verify the effectiveness of the circuit, we implemented the circuit in an FPGA development board and compared the performance with the neuro-fuzzy system written in a MATLAB® code. The experimental results show that the throughput of our neuro-fuzzy circuit significantly outperforms the NF network written in a MATLAB® code with a satisfactory learning performance.
Metric spaces and FS-domains
Authors: Jimmie D. Lawson
Venue: Theoretical Computer Science (2008)

In this article we give general conditions on a metric space to insure that the poset of closed formal balls is an FS-domain.
Design of an wide-band FIR filter with sharp transition using generalized sampling kernels
Authors: K. J. Kim, J. B. Seo, S. W. Nam
Venue: Proceedings of the 7th WSEAS International Conference on Instrumentation, Measurement, Circuits and Systems (2008)

This paper proposes a new design of a computationally efficient FIR filters with wide passband and sharp transition, where generalized sampling kernels are introduced and utilized along with the IFIR filter structure. In particular, the proposed filter design approach provides a closed-form solution for filter coefficients, yielding a practical design procedure for linear-phase sharp FIR digital filters with wide passband.
A use case model extension for architectural patterns
Authors: Marcos Antonio Quináia, Paulo Cézar Stadzisz
Venue: Journal of Computational Methods in Sciences and Engineering (2005)

Software pattern is a current trend in software engineering. It represents a meaningful way to reuse knowledge in software development. Architectural pattern is related to the major structural elements of software systems. It concerns aspects of the whole system (i.e. system model). This paper presents an extension to UML use case model proposed for designing architectural patterns. The main motivation that has guided this purpose was the need to adequately represent the varying functionalities of architectural software patterns.
Towards Characters with a Full Episodic Memory
Authors: Cyril Brom, Klára Pešková, Jiří Lukavský
Venue: Proceedings of the 7th international conference on Intelligent Virtual Agents (2007)

A typical present-day virtual actor is able to store episodes in an ad hoc manner, which does not allow for reconstructing the actor's personal stories. We have prototyped a virtual RPG actor with a full episodic memory, which allows for this reconstruction. The paper overviews the work done and sketches the work in progress.
Learning Expressive Models of Gene Regulation
Authors: Mark Craven
Venue: Proceedings of the 18th international conference on Inductive Logic Programming (2008)

A central challenge in computational biology is to uncover the mechanisms and cellular circuits that govern how the expression of various genes is controlled in response to a cell's environment. This challenge presents many interesting opportunities for machine-learning methods, especially those that employ expressive representations. In this talk, I will discuss recent research in using machine-learning approaches to (i) recognize regulatory elements in genomic sequences, (ii) uncover networks of interactions among genes, and (iii) characterize the cellular responses induced by various stimuli. I will highlight tasks that call for models that use expressive representations, and discuss lessons learned about what types of representational attributes are important for these tasks.
A demonstration of a configurable editing framework
Authors: John Lumley, Roger Gimson, Owen Rees
Venue: Proceeding of the eighth ACM symposium on Document engineering (2008)

XML-based variable data documents are special cases of XML documents subjected to processing before final visualisation. We demonstrate how such 'templates' can be edited from specific instances in a generalised manner and that this can be supported by a highly extensible and configurable editing framework. The demonstration covers simple authoring actions, higher-level authoring control (altering the editability within a document), reconfiguring the overall editor capability, using alternative 'views' of documents and exploiting the framework to modify generalised XML 'files', including some of those that define the editor itself.
Estimation of causal effects using linear non-Gaussian causal models with hidden variables
Authors: Patrik O. Hoyer, Shohei Shimizu, Antti J. Kerminen, Markus Palviainen
Venue: International Journal of Approximate Reasoning (2008)

The task of estimating causal effects from non-experimental data is notoriously difficult and unreliable. Nevertheless, precisely such estimates are commonly required in many fields including economics and social science, where controlled experiments are often impossible. Linear causal models (structural equation models), combined with an implicit normality (Gaussianity) assumption on the data, provide a widely used framework for this task. We have recently described how non-Gaussianity in the data can be exploited for estimating causal effects. In this paper we show that, with non-Gaussian data, causal inference is possible even in the presence of hidden variables (unobserved confounders), even when the existence of such variables is unknown a priori. Thus, we provide a comprehensive and complete framework for the estimation of causal effects between the observed variables in the linear, non-Gaussian domain. Numerical simulations demonstrate the practical implementation of the proposed method, with full Matlab code available for all simulations.
Design and analysis of survivable telecom mesh networks
Authors: Lei Song
Venue:  (2007)

Optical fiber technology employing wavelength-division multiplexing (WDM) has been and continues to be investigated and commercially deployed to meet bandwidth-intensive application demands. A fiber cut may result in huge data and revenue loss. Therefore, it is very desirable to design a survivable telecommunications network. This dissertation investigates design and modeling issues of survivable telecom mesh networks. This dissertation first explores the problem of providing availability guarantees for differentiated services. We present a mathematical model for availabilities of connections with shared-path protection by applying the link-vector technique. Based on the model, we propose an efficient provisioning algorithm to provide differentiated services, either no protection, shared-path protection, or dedicated-path protection to dynamic connection requests in a network. The strategy jointly considers both availability satisfaction and resource optimization. Next, we investigate the problem of backup-bandwidth reprovisioning after network-state updates due to connection arrivals and departures as well as failure occurrences and repairs. Rearranging backup bandwidth periodically for existing connections upon network-state updates helps to reduce resource redundancy and improve the blocking performance. We propose both Integer Linear Program (ILP) formulation and heuristic algorithms. We investigate the effects of different reprovisioning periods and some additional dimensions of backup-bandwidth reprovisioning. We also study the effects of multiple backup paths and link sharing among primary and backup paths for availability-guaranteed and service-differentiated provisioning. We present an availability-analysis model for connections with 1+N (N&ge;1) dedicated-path protection scheme with k ( k&ge;1) shared links among primary and backup paths. Based on the model, we propose a provisioning algorithm to explore the effect of link sharing among one primary and N backup paths such that good capacity utilization can be achieved. We develop an accumulated-downtime-aware restoration algorithm for connection recovery against link failures. Upon a link failure occurrence, a faulty connection is switched to its pre-assigned backup route or an alternate restoration path (if resources are available), only when its accumulated downtime plus the link repair time will violate its service-level agreement (SLA) requirement. This dissertation makes important contributions by introducing and studying novel models, algorithms and architectures that will help to improve survivability of next-generation telecom networks.
Temperature Characteristics and Control Algorithm in LLDPE's Pipe Production Process
Authors: Wanzhi Chen
Venue: Proceedings of the 2008 ISECS International Colloquium on Computing, Communication, Control, and Management - Volume 02 (2008)

Due to the temperature’s controlled characteristic in process of LLDPE’s pipe production this paper provides the thought of improving the unidentifiable adaptive algorithm by adopting the fuzzy forecast control arithmetic. It provides the special method of temperature curve control and designs the detailed data combined with practical application, solves the control problems of industrial process with time lag, uncertainty, strong inertia. The physical running effect of system shows that the algorithm’s adaptability and flexibility and effect are satisfactory.
$\mathcal{CP}$4$\mathcal{TWS}$ - A Prototype Demonstrating $\mathcal{C}$ontext and $\mathcal{P}$olicies for $\mathcal{T}$ransactional $\mathcal{W}$eb $\mathcal{S}$ervices
Authors: Sattanathan Subramanian, Zakaria Maamar, Nanjangud C. Narendra, Djamal Benslimane, Philippe Thiran
Venue: Proceedings of the 5th international conference on Service-Oriented Computing (2007)

Transaction management has become important inWeb services composition [1]. The goal is to guarantee the consistency of the business processes to implement as Web services. This demo paper presents $\mathcal {CP}$4$\mathcal{TWS}$ prototype that validates our approach for context-driven transactional Web services using policies [2]. In this approach, context tracks Web services, policies specify Web services' transactional behaviors, and backward/forward adaptation strategies support Web services' exception handling.
Hybrid IT2 NSFLS-1 Used to Predict the Uncertain MXNUSD Exchange Rate
Authors: Gerardo M. Mendez, Angeles Hernandez
Venue: Proceedings of the 3rd international workshop on Hybrid Artificial Intelligence Systems (2008)

This paper presents a novel application of the interval type-1 non-singleton type-2 fuzzy logic system (FLS) for one step ahead prediction of the daily exchange rate between Mexican Peso and US Dollar (MXNUSD) using the recursive least-squared (RLS)-back-propagation (BP) hybrid learning method. Experiments show that the exchange rate is predictable. A non-singleton type-1 FLS and an interval type-1 non-singleton type-2 FLS, both using only BP learning method, are used as a benchmarking systems to compare the results of the hybrid interval type-1 non-singleton type-2 FLS (RLS-BP) forecaster.
User Study of AffectIM, an Emotionally Intelligent Instant Messaging System
Authors: Alena Neviarouskaya, Helmut Prendinger, Mitsuru Ishizuka
Venue: Proceedings of the 8th international conference on Intelligent Virtual Agents (2008)

Our research addresses the tasks of recognition, interpretation and visualization of affect communicated through text messaging. In order to facilitate sensitive and expressive interaction in computer-mediated communication, we previously introduced a novel syntactical rule-based approach to affect recognition from text. The evaluation of the developed Affect Analysis Model showed promising results regarding its capability to accurately recognize affective information in text from an existing corpus of informal online conversations. To enrich the user's experience in online communication, make it enjoyable, exciting and fun, we implemented a web-based IM application, AffectIM, and endowed it with emotional intelligence by integrating the developed Affect Analysis Model. This paper describes the findings of a twenty-person study conducted with our AffectIM system. The results of the study indicated that automatic emotion recognition function can bring a high level of affective intelligence to the IM application.
Diagrams in the UK National School Curriculum
Authors: Grecia Garcia Garcia, Richard Cox
Venue: Proceedings of the 5th international conference on Diagrammatic Representation and Inference (2008)

We review the use of diagrams in the UK National School Curriculum (NC) and assess it in the light of current research on childrens' graph comprehension. It is noted that some diagrams are very ubiquitous (e.g. illustrations and bar graphs) whereas other representations which are potentially appropriate for younger children (e.g. hierarchies) are relatively rarely used. We also query some of the teaching practices advocated in the NC in that, for example, diagrammatic representations are conflated with figurative illustrations (pictographs). Suggestions for improving the NC are offered in the conclusion.
Active Scheduling of Organ Detection and Segmentation in Whole-Body Medical Images
Authors: Yiqiang Zhan, Xiang Sean Zhou, Zhigang Peng, Arun Krishnan
Venue: Proceedings of the 11th international conference on Medical Image Computing and Computer-Assisted Intervention - Part I (2008)

With the advance of whole-body medical imaging technologies, computer aided detection/diagnosis (CAD) is being scaled up to deal with multiple organs or anatomical structures simultaneously. Multiple tasks (organ detection/segmentation) in a CAD system are often highly dependent due to the anatomical context within a human body. In this paper, we propose a method to schedule multi-organ detection/segmentation based on information theory. The central idea is to schedule tasks in an order that each operation achieves maximum expected information gain. The scheduling rule is formulated to embed two intuitive principles: (1) a task with higher confidence tends to be scheduled earlier; (2) a task with higher predictive power for other tasks tends to be scheduled earlier. More specifically, task dependency is modeled by conditional probability; the outcome of each task is assumed to be probabilistic as well; and the scheduling criterion is based on the reduction of the summed conditional entropy over all tasks. The validation is carried out on two challenging CAD problems, multi-organ detection in whole-body CT and liver segmentation in PET-CT. Compared to unscheduled and ad hoc scheduled organ detection/segmentation, our scheduled execution achieves higher accuracy with faster speed.
A Semantic Based Collaborative System for the Interoperability of XBRL Accounting Information
Authors: Sheila Méndez Núñez, Javier Andrés Suárez, Jose Emilio Gayo, Patricia Ordóñez Pablos
Venue: Proceedings of the 1st world summit on The Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society (2008)

The annual accounts and other financial information of big companies is being worldwide standardized. The open standard that allows this standardization is XBRL, an XML vocabulary for exchanging financial information. In return for this initiative, the existence of different accounting standards in each country makes necessary to define specific XBRL taxonomies for each kind of accounting report, making the extraction of homogeneous information from different taxonomies difficult. This project seeks to incorporate a new level of abstraction through OWL ontologies, allowing the users of accounting reports to compare and exchange financial reports drawn up according to different standards. In addition, we propose a collaborative web environment through which experts in the Accounting domain will update the knowledge base of the system.
The Power of Candy-Coated Bits
Authors: Peter Wayner
Venue: IEEE Security and Privacy (2004)

Let us say a short prayer for the sanity of the database administrators of the world. They guard the heart and soul of their businesses: information about customers, employees, orders, accounts receivable, and any other bits that keep a business running. They must build systems that serve up this data to the right people while locking out everyone else. Every so often, sometimes as often as several times a day, the programmers of the world salute these administrators with a software update that plugs some holes. Then, they release a new update that patches the holes created by the first old patch. And, occasionally, the programmers ship yet another patch to plug the holes opened by the patch meant to close the holes in the first patch.