ppxscal/embedding_network huggingface dataset:
Test case for bed morphology computations
Authors: Evagelia D. Farsirotou, Vassilios D. Dermissis, Johannes V. Soulis
Venue: Journal of Computational Methods in Sciences and Engineering (2007)

The current research work presents experimental measurements to produce data base intended as support in the development of new and the refinement of existing codes for computing free-surface flows with movable beds, specifically around bridge abutments and generally on bed level evolution due to sediment transport. All experimental test case results described in this work are relevant to unsteady two-dimensional, quasi or fully three-dimensional flow calculations for viscous flows in open channels. These data are believed to represent the only experimental test case available today for bed morphology code validation. The experimental procedure was carried out in a laboratory open channel flume using a trapezoidal abutment. The bottom of the flume was covered with fine material. For different flow conditions, predetermined by numerical simulations, water and bed level were measured in the tested section, especially in the vicinity of the abutment. The expected bed erosion and the maximum scour depth at the upstream sloped face of the construction are satisfactorily simulated by the experimental procedure. Finally, the computational data on the bed level variation were compared with the laboratory measurements and the results were satisfactory. The experimental results are graphically presented and can be used by other researchers in order to validate their numerical simulations.
Towards Personalized Neural Networks for Epileptic Seizure Prediction
Authors: António Dourado, Ricardo Martins, João Duarte, Bruno Direito
Venue: Proceedings of the 18th international conference on Artificial Neural Networks, Part II (2008)

Seizure prediction for untreatable epileptic patients, one of the major challenges of present neuroinformatics researchers, will allow a substantial improvement in their safety and quality of life. Neural networks, because of their plasticity and degrees of freedom, seem to be a good approach to consider the enormous variability of physiological systems. Several architectures and training algorithms are comparatively proposed in this work showing that it is possible to find an adequate network for one patient, but care must be taken to generalize to other patients. It is claimed that each patient will have his (her) own seizure prediction algorithms.
Authoring adaptive diagrams
Authors: Cameron McCormack, Kim Marriott, Bernd Meyer
Venue: Proceeding of the eighth ACM symposium on Document engineering (2008)

The web and digital media requires intelligent, adaptive documents whose appearance and content adapts to the viewing context and which support user interaction. While previous research has focussed on textual and multimedia content, this is also true for diagrammatic conte nt. We have designed and implemented an authoring tool which supports the construction of adaptive diagrams. Adaptive layout behaviour is specified by using constraint-based placement tools as well as by allowing the author to specify more radical layout changes using alternate layout configurations. As well as specifying alternate layouts, the author can specify alternate representations for an object, alternate styles and alternate textual content. The resulting space of different versions of the diagram is the cross product of these different alternatives. At display time the version is constructed dynamically, taking into account the author specified preference order on the alternatives, current viewing environment, and user interaction.
Experiences from the use of a shared multimedia space for e-learning in Brazil primary schools
Authors: Felipe Soares de Oliveira, Tatiana Aires Tavares, Andrew Anderson Chagas, Aquiles Burlamaqui, Edna Gusmão Brennand, Guido Lemos de Souza Filho
Venue: Proceedings of the 3rd international conference on Digital Interactive Media in Entertainment and Arts (2008)

The addition of multimedia resources in educational activities is increasingly common in our daily lives. In this paper we describe an experience of creation and publication of digital content using Web multiuser technology. Our intention is to run a participative design, which conceives the virtual environment as a space dedicated to the primary schools, and whose construction and modeling involves the educators and children. This content participative design is a practice encouraged by educators and software engineers as a way to achieve success in applications development. Finally, we present the developed virtual space.
Generating Complex Connectivity Structures for Large-Scale Neural Models
Authors: Martin Hülse
Venue: Proceedings of the 18th international conference on Artificial Neural Networks, Part II (2008)

Biological neural systems and the majority of other real-world networks have topologies significant different from fully or randomly connected structures, which are frequently applied for the definition of artificial neural networks (ANN). In this work we introduce a deterministic process generating strongly connected directed graphs of fractal dimension having connectivity structures very distinct compared with random or fully connected graphs. A sufficient criterion for the generation of strongly connected directed graphs is given and we indicate how the degree-distribution is determined. This allows a targeted generation of strongly connected directed graphs. Two methods for transforming directed graphs into ANN are introduced. A discussion on the importance of strongly connected digraphs and their fractal dimension in the context of artificial adaptive neural systems concludes this work.
A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles
Authors: Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert van der Torre
Venue: Applied Ontology (2007)

There are two main traditions in defining a semantics for agent communication languages, based either on mental attitudes or on social commitments. These traditions share speech acts as operators with preconditions and effects, and agents playing roles like speaker and hearer, but otherwise they rely on distinct ontologies. They refer not only to either belief and intention or various notions of social commitment, but also to distinct speech acts and distinct kinds of dialogue. In this paper, we propose a common ontology for both approaches based on public mental attitudes attributed to role instances. Public mental attitudes avoid the unverifiability problem of private mental states, while reusing the logics and implementations developed for FIPA compliant approaches. Moreover, a common ontology of communication primitives allows for the construction of agents which do not need separate reasoning modules to participate in dialogues with both mental attitudes and social commitments compliant agents. Moreover, a common ontology of communication primitives allows for the construction of agents participating in and combining the full range of dialogues covered by the individual approaches without having to redefine the existing protocols to cope with new dialog types. We illustrate how to extend the ontology to a semantics for agent communication and how to define mappings from existing semantics to the new one.
Pairings in Trusted Computing
Authors: Liqun Chen, Paul Morrissey, Nigel P. Smart
Venue: Proceedings of the 2nd international conference on Pairing-Based Cryptography (2008)

Pairings have now been used for constructive applications in cryptography for around eight years. In that time the range of applications has grown from a relatively narrow one of identity based encryption and signatures, through to more advanced protocols. In addition implementors have realised that pairing protocols once presented can often be greatly simplified or expanded using the mathematical structures of different types of pairings. In this paper we consider another advanced application of pairings, namely to the Direct Anonymous Attestation (DAA) schemes as found in the Trusted Computing Group standards. We show that a recent DAA proposal can be further optimized by transferring the underlying pairing groups from the symmetric to the asymmetric settings. This provides a more efficient and scalable solution than the existing RSA and pairing based DAA schemes.
Adaptive Portals: Context Adaptive Navigation through Large Information Spaces
Authors: Andreas Nauerz, Martin Welsch, Birgitta König-Ries
Venue: Proceedings of the 5th international conference on Adaptive Hypermedia and Adaptive Web-Based Systems (2008)

Today, Portals provide users with a central point of access to companywide information. Initially they focused on presenting the most valuable and widely used information to users for efficient information access. But the amount of information accessible quickly grew and finding the right information can hence become a tedious task. We will demonstrate a solution for adapting the Portal's structure, especially its navigation and page structures. We allow for advanced adaptations that each user can perform manually as well as for automated adaptations based on user- and context models reflecting users' interests and preferences. Our main concepts have been embedded and evaluated within IBM's WebSphere Portal.
High Level Loop Transformations for Systematic Signal Processing Embedded Applications
Authors: Calin Glitia, Pierre Boulet
Venue: Proceedings of the 8th international workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation (2008)

Array OL specification model is a mixed graphical-textual language designed to model multidimensional intensive signal processing applications.Data and task parallelism are specified directly in the model. High level transformations are defined on this model, allowing the refactoring of an application and furthermore providing directions for optimization. The resemblances between with the wide-known and used Loop transformations lead us to try taking concepts and results from this domain and see how they fit in Array OL context.
The Birth of an ERA: Engineering Associates, Inc. 1946-1955
Authors: Erwin Tomash, Arnold A. Cohen
Venue: IEEE Annals of the History of Computing (1979)

An account is presented of the early years of a pioneering computer company, Engineering Research Associates, Inc. (ERA), which was formed in 1946 at St. Paul, Minnesota, with Navy encouragement. This company was merged into Remington Rand Inc., in 1952, as was Eckert-Mauchly Computer Corporation two years earlier. These mergers created the basis for what later became the Univac division of Sperry Rand Corporation, or Sperry Univac. ERA's technological contributions are discussed, along with the company's pre-merger growth and financing problems. There were post-merger problems, primarily of organizational integration, but solid groundwork was being laid for Sperry Rand's eventual success in the data processing industry.
Case-Based Decision Support for Patients with Type 1 Diabetes on Insulin Pump Therapy
Authors: Cindy Marling, Jay Shubrook, Frank Schwartz
Venue: Proceedings of the 9th European conference on Advances in Case-Based Reasoning (2008)

This paper presents a case-based approach to decision support for diabetes management in patients with Type 1 diabetes on insulin pump therapy. To avoid serious disease complications, including heart attack, blindness and stroke, these patients must continuously monitor their blood glucose levels and keep them as close to normal as possible. Achieving and maintaining good blood glucose control is a difficult task for these patients and their health care providers. A prototypical case-based decision support system was built to assist with this task. A clinical research study, involving 20 patients, yielded 50 cases of actual problems in blood glucose control, with their associated therapeutic adjustments and clinical outcomes, for the prototype's case base. The prototype operates by: (1) detecting problems in blood glucose control in large quantities of patient blood glucose and life event data; (2) finding similar past problems in the case base; and (3) offering the associated therapeutic adjustments stored in the case base to the physician as decision support. Results from structured evaluation sessions and a patient feedback survey encourage continued research and work towards a practical tool for diabetes management.
Agent-Based Network Protection Against Malicious Code
Authors: Martin Rehák, Michal Pěchouček, Jan Tožička, Magda Prokopová, David Medvigy, Jiří Novotný
Venue: Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V (2007)

This paper presents an agent-based approach to Network Intrusion Prevention on corporate networks, emphasizing the protection from fast-spreading mobile malicious code outbreaks (e.g. worms) and related threats. Agents are not only used as a system-integration platform, but we use modern agent approaches to trust modeling and distributed task allocation to efficiently detect and also counter the attack by automatically created and deployed filters. The ability of the system to react autonomously, without direct human supervision, is crucial in countering the fast-spreading worms, that employ efficient scanning strategies to immediately spread farther once they infect a single host in the network.
Computation and analysis for a constrained entropy optimization problem in finance
Authors: Changhong He, Thomas F. Coleman, Yuying Li
Venue: Journal of Computational and Applied Mathematics (2008)

In [T. Coleman, C. He, Y. Li, Calibrating volatility function bounds for an uncertain volatility model, Journal of Computational Finance (2006) (submitted for publication)], an entropy minimization formulation has been proposed to calibrate an uncertain volatility option pricing model (UVM) from market bid and ask prices. To avoid potential infeasibility due to numerical error, a quadratic penalty function approach is applied. In this paper, we show that the solution to the quadratic penalty problem can be obtained by minimizing an objective function which can be evaluated via solving a Hamilton-Jacobian-Bellman (HJB) equation. We prove that the implicit finite difference solution of this HJB equation converges to its viscosity solution. In addition, we provide computational examples illustrating accuracy of calibration.
A Tool Supporting Evaluation of Non-markovian Fault Trees
Authors: Giacomo Bucci, Laura Carnevali, Enrico Vicario
Venue: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems (2008)

Fault Trees are widely employed in the industrial practice to support safety and reliability analysis. Various works have improved the classic formulation by replacing fixed probabilities of leaf events with Markovian distributions over time. We present operation principles, user interface and implementation architecture of a tool supporting editing and evaluation of Fault Trees where the time of occurrence of leaf events follows a generalized probability density function.
Soft semirings
Authors: Feng Feng, Young Bae Jun, Xianzhong Zhao
Venue: Computers Mathematics with Applications (2008)

Molodtsov introduced the concept of soft sets, which can be seen as a new mathematical tool for dealing with uncertainty. In this paper, we initiate the study of soft semirings by using the soft set theory. The notions of soft semirings, soft subsemirings, soft ideals, idealistic soft semirings and soft semiring homomorphisms are introduced, and several related properties are investigated.
Adaptive multi-robot wide-area exploration and mapping
Authors: Kian Hsiang Low, John M. Dolan, Pradeep Khosla
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1 (2008)

The exploration problem is a central issue in mobile robotics. A complete terrain coverage is not practical if the environment is large with only a few small hotspots. This paper presents an adaptive multi-robot exploration strategy that is novel in performing both wide-area coverage and hotspot sampling using non-myopic path planning. As a result, the environmental phenomena can be accurately mapped. It is based on a dynamic programming formulation, which we call the Multi-robot Adaptive Sampling Problem (MASP). A key feature of MASP is in covering the entire adaptivity spectrum, thus allowing strategies of varying adaptivity to be formed and theoretically analyzed in their performance; a more adaptive strategy improves mapping accuracy. We apply MASP to sampling the Gaussian and log-Gaussian processes, and analyze if the resulting strategies are adaptive and maximize wide-area coverage and hotspot sampling. Solving MASP is non-trivial as it comprises continuous state components. So, it is reformulated for convex analysis, which allows discrete-state monotone-bounding approximation to be developed. We provide a theoretical guarantee on the policy quality of the approximate MASP (aMASP) for using in MASP. Although aMASP can be solved exactly, its state size grows exponentially with the number of stages. To alleviate this computational difficulty, anytime algorithms are proposed based on aMASP, one of which can guarantee its policy quality for MASP in real time.
Semantic Adaptation of Neural Network Classifiers in Image Segmentation
Authors: Nikolaos Simou, Thanos Athanasiadis, Stefanos Kollias, Giorgos Stamou, Andreas Stafylopatis
Venue: Proceedings of the 18th international conference on Artificial Neural Networks, Part I (2008)

Semantic analysis of multimedia content is an on going research area that has gained a lot of attention over the last few years. Additionally, machine learning techniques are widely used for multimedia analysis with great success. This work presents a combined approach to semantic adaptation of neural network classifiers in multimedia framework. It is based on a fuzzy reasoning engine which is able to evaluate the outputs and the confidence levels of the neural network classifier, using a knowledge base. Improved image segmentation results are obtained, which are used for adaptation of the network classifier, further increasing its ability to provide accurate classification of the specific content.
An Heuristic Optimization Algorithm for the blank shape design of high precision metallic parts obtained by a particular stamping process
Authors: M. Azaouzi, H. Naceur, A. Delamézière, J. L. Batoz, S. Belouettar
Venue: Finite Elements in Analysis and Design (2008)

The present paper deals with the blank shape design of high precision thin metallic parts obtained by a particular stamping process. The main objective is to optimize the blank shape in order to produce a desired 3D final part within severe fixed tolerances (+/-0.05mm). Presently, to overcome this issue, a very expensive and time consuming trial and error method is used. Here an attempt is made to develop an automatic numerical procedure based on commercial finite element modeling (FEM) code and Heuristic Optimization Algorithms (HOA). This procedure is composed of two stages: first, an initial guess of the blank shape is performed using the inverse approach (IA), then an update of the blank shape is obtained iteratively combining HOA and incremental FEM code (ABAQUS^(R) or STAMPACK^(R)). The proposed approach is validated on industrial case where the part is stamped in two stages by the mean of manual press, without blank-holder and using tools characterized by complex 3D geometry. This approach has demonstrated its effectiveness and simplicity to provide with a reasonable number of iterations an optimal solution which is in a very good agreement with the experimental results.
Interactive Fuzzy Goal Programming Approach for Optimization of Extended Hub-and-Spoke Regional Port Transportation Networks
Authors: Chuanxu Wang, Liangkui Jiang
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

Based on interactive fuzzy goal programming, a model is introduced for extended hub-and-spoke regional port transportation network optimization problem where one of the objective functions is considered as a non-linear function. The proposed model considers the imprecise nature of the input data and assumes that each objective function has a fuzzy goal, and aims at jointly minimizing the total costs including the sailing cost and handling cost as well as the total transit times consisting of sailing time and handling time. Meanwhile it optimizes the following factors: transportation quantities via a hub port from an original port to a destination port, transportation quantities directly from an original port to a destination port. The solution procedure to the proposed model is then presented. At last, a numerical example is given to demonstrate the effectiveness of the proposed model and evaluate the performance of the solution procedure.
Using self-organizing fuzzy network with support vector learning for face detection in color images
Authors: Chia-Feng Juang, Shen-Jie Shiu
Venue: Neurocomputing (2008)

This paper proposes a three-stage face detection method using self-organizing Takagi-Sugeno (T-S)-type fuzzy network with support vector (SOTFN-SV) learning. SOTFN-SV is a T-S-type fuzzy system constructed by hybridizing fuzzy clustering and support vector machine. The proposed face detection method consists of three stages. In the first stage, SOTFN-SV is applied to skin color segmentation. Color information from the hue and saturation (HS) color space is used. In the second stage, face size and shape filters are employed to exclude some face candidates to reduce the number of false alarms. Shape analysis is based on the fact that an oval face shape can be approximated by an elliptical shape, and a best fitting ellipse to each connected skin region is found for analysis. In the final stage, colors of the eyes, mouth, and face skin regions of the remaining face candidates are used as detection features. An SOTFN-SV color filter uses these features as inputs to make a final detection decision. The proposed method has a fast detection speed and detects not only the face, but also its size and orientation. Experimental results verify the efficiency and effectiveness of the proposed face detection method.
Implementation of a differential aging measurement and compensation system for OLED panel
Authors: Kyungjoong Jeong, Sungmin Woo, Hong Jeong
Venue: Proceedings of the 7th WSEAS International Conference on Signal Processing, Robotics and Automation (2008)

This paper presents a real-time aging measurement and feasible compensation system for the prolonged lifetime of OLED panel. The proposed system is composed of four parts, a PC with a man-machine interface, a measurement block, an adaptive amplifier block, and a compensation block. We apply a tree algorithm for less complexity and convenience of measurement on the degree of aging. An adaptive multi-stage differential amplifier is also implemented to deal with a various range of input voltages at the same spot.
Numerical volume preservation of a divergence free fluid under symmetry
Authors: R. M. M. Mattheij
Venue: Applied Numerical Mathematics (2008)

This paper studies conservative formulations for the evolution of flows in 3-D which satisfy a symmetry condition. It is shown how the Hamiltonian form leads to a proper form of the evolution equation. This is illustrated by a number of examples. It is also shown how this results in conservation of e.g. mass when using simplectic integrators. A special section is devoted to computing displacements by the implicit midpoint rule when the velocities are not available in explicit form but e.g. found from a numerical method like FEM.