ppxscal/embedding_network huggingface dataset:
Warm Ocean Water Intrusion into Kagoshima Bay
Authors: J. Kohno, K. Hosotani, Y. Ono, H. Kikukawa
Venue: Journal of Visualization (2004)

From the field observations and the buoy robot data, the warm ocean water is known to intrude into Kagoshima Bay intermittently in winter. We first visualize these phenomena using some satellite thermal infrared images. Then the numerical analysis is performed employing a multi-level finite difference method (FDM). It is found from the numerical analysis that the intrusion occurs when the warm water comes into touch with the bay water at the mouth of the bay. The calculated warm water distribution in the bay is similar to the satellite images and the velocity of the intrusion is the same order with the ones estimated by the buoy robot data and the satellite images. The intrusion occurs even without the tidal effect, the role of the tide is only to rectify some warm water distribution in the bay.
IVIP --- A Scientific Workflow System to Support Experts in Spatial Planning of Crop Production
Authors: Christopher J. Tuot, Michael Sintek, Andreas R. Dengel
Venue: Proceedings of the 20th international conference on Scientific and Statistical Database Management (2008)

Decision making for crop production planning is essentially driven by location-based or more precisely by space-oriented information. Therefore, farmers and regional experts in the field mostly rely on new spatial-data-oriented decision making tools. IVIP is a prototype for a Web-based Spatial Decision Support System (WSDSS) demonstrating the benefits of location-based decision making using digitalized geographic information about ground allocation and soil quality. We present how the library of potential models for the IVIP WSDSS has been realized by extending the Scientific Workflow Management System Kepler that assists the collaboration of agricultural experts and computer scientists during model development. We first describe the requirements of our WSDSS, and then give a short introduction to the Kepler platform and explain in detail which extensions have been realized: cascading client-server architecture, spatial operations support, and WSDL interface. Finally, we illustrate how the biomass yield model has been modeled in our system.
Stabilizing Lagrange-Type Nonlinear Programming Neural Networks
Authors: Yuancan Huang
Venue: Proceedings of the 4th international symposium on Neural Networks: Advances in Neural Networks, Part III (2007)

Inspired by the Lagrangian multiplier method with quadratic penalty function, which is widely used in Nonlinear Programming Theory, a Lagrange-type nonlinear programming neural network whose equilibria coincide with KKT pairs of the underlying nonlinear programming problem was devised with minor modification in regard to handling inequality constraints[1,2]. Of course, the structure of neural network must be elaborately conceived so that it is asymptotically stable. Normally this aim is not easy to be achieved even for the simple nonlinear programming problems. However, if the penalty parameters in these neural networks are taken as control variables and a control law is found to stabilize it, we may reasonably conjecture that the categories of solvable nonlinear programming problems will be greatly increased. In this paper, the conditions stabilizing the Lagrange-type neural network are presented and control-Lyapunov function approach is used to synthesize the adjusting laws of penalty parameters. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Using genetic programming & neural networks for learner evaluation
Authors: John Vrettaros, John Pavlopoulos, George Vouros, Athanasios S. Drigas
Venue: Proceedings of the 7th WSEAS International Conference on Artificial intelligence, knowledge engineering and data bases (2008)

The goal of this study is the development of an assessment system, with the support of a Neural Network approach optimized with the use of Genetic Programming. The data used as training data, are real data derived from an educational project. The system developed, is proved capable to assess data from both single select and multiple choice questions in an e-learning environment. The final result is the assessment of the learners' answers in various criterions.
An Attentive Groupware Device to Mitigate Information Overload
Authors: Antonio Ferreira, Pedro Antunes
Venue: Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers (2008)

We propose an attentive device for synchronous groupware systems to mitigate information overload. The opportunity seeker device leverages the users' natural alternation between doing individual work and attending to the group to dynamically manage the delivery timing and quantity of group awareness information that each user is exposed to. We describe how this device can be implemented on an electronic brainstorming tool and show its influence on the distribution of ideas to the users. Results from a laboratory experiment using this tool indicate that group performance increased 9.6% when compared to the immediate broadcast of ideas and a post-hoc analysis suggests that information overload was attenuated: users were subject to 44.1% less deliveries of ideas, which gave them 54.7% more uninterrupted time; users switched 18.8% faster from submitting an idea to start typing the next idea; and the time to write an idea was reduced by 16.3%.
Crossover operation engine considering character inheritance
Authors: Masaya Yoshikawa, Kentaro Otsuka, Hidekazu Terai
Venue: Proceedings of the 7th WSEAS International Conference on Applied Computer and Applied Computational Science (2008)

This paper discusses a novel crossover operation engine considering character inheritance. The proposed architecture introduces a new hardware-oriented crossover algorithm. It achieves not only high speed processing, but also reduction of the number of processing steps, while keeping the search performance. Experiments prove the effectiveness of the proposed architecture.
Analysis of accuracy in ab initio calculations of the static dipole polarizability components. Examples of the water molecule and hydroxide ion
Authors: Gaétan Weck, Anne Milet, Robert Moszynski, Elise Kochanski
Venue: Journal of Computational Methods in Sciences and Engineering (2004)

A comparison of ab initio calculations of the static dipole polarizability components for the water molecule and hydroxide anion is reported. The discussion is focused on the difference between the computational needs for an accurate treatment of these two systems. A particular attention is paid to the danger of extrapolating to the anion some approximate techniques that are valid for the water molecule. Four important points are considered in this analysis: the analytical/numerical calculation of the components, the effect of the electronic correlation, the characteristics of the basis set, and the vibrational effects. In the finite-field approach, the interdependence of some control parameters, such as the energy convergence threshold and the associated field strength, are recalled within the frame of parabolic or quartic polynomial fits. The correlation effect is examined within the coupled-cluster method restricted to single, double, and approximate triple excitations, CCSD(T), and the nth-order M&oslash;ller-Plesset perturbation theory, MPn. The oscillating behaviour of the perturbation series is very pronounced for the anion case, and its convergence is doubtful. It is crucial to include much more diffuse functions (valence and polarization) in the basis set for the anion than for the water molecule. A comparison of many basis sets is presented. The role of the vibrational effect is briefly addressed. Because ab initio calculations on supersystems generally cannot be performed at the best level reachable for the monomer polarizabilities, lower (but reasonnable) accuracy of the polarizability components is also discussed.
Graph Multiset Transformation as a Framework for Massively Parallel Computation
Authors: Hans-Jörg Kreowski, Sabine Kuske
Venue: Proceedings of the 4th international conference on Graph Transformations (2008)

In this paper, graph multiset transformation is introduced and studied as a novel type of parallel graph transformation. The basic idea is that graph transformation rules may be applied to all or at least some members of a multiset of graphs simultaneously providing a computational step with the possibility of massive parallelism in this way. As a consequence, graph problems in the class NP can be solved by a single computation of polynomial length for each input graph.
Copyright Notification and Protection of Multimedia Courseware Based on Dual Digital Watermark
Authors: Ruo-hong Huang, Huai-lan Liu, Jun Dai
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 5 - Volume 05 (2008)

Based on spatial and DCT domains this paper proposes a novel digital watermark solution for the color image of screen stream in multimedia courseware. It embeds visible watermark into spatial domain adaptively, and also embeds invisible watermark encrypted by chaotic sequence into the remained area of the screen color image to achieve protected screencolor image with dual digital watermark embedded. The effectiveness and good results of this method have been testified that the visible watermark is frail to be suitable for copyright notification and the visible watermark has good robustness for copyright protection.
The Complexity of Sorting with Networks of Stacks and Queues
Authors: Stefan Felsner, Martin Pergel
Venue: Proceedings of the 16th annual European symposium on Algorithms (2008)

We consider a sorting problem on networks whose nodes are storage elements of type stack or queue. A railway switchyard could be an instance of such a network. Given is an input node where a permutation of items 1 to n is delivered and an output node where they are expected in sorted order. How many moves, where an item is transfered from one node to an adjacent node, are needed in the worst case for the sorting? Among others we have the following results: A characterization of networks where the sorting complexity is ¿(nlogn). A lower bound of ¿(n 2 ¿ ¿ ) for the network consisting of only two stacks that can exchange items.
Analysis of binding residues between scorpion neurotoxins and D2 dopamine receptor: A computational docking study
Authors: C. Sudandiradoss, C. George Priya Doss, R. Rajasekaran, Rituraj Purohit, K. Ramanathan, Rao Sethumadhavan
Venue: Computers in Biology and Medicine (2008)

We report the results on the computation of binding affinity, electrostatic free energies, contact free energies, secondary structures, stabilization centers and stabilizing residues of binding residues during the molecular docking of selected scorpion neurotoxins with D2 dopamine receptor. All the scorpion neurotoxins showed a good and satisfactory docking with the D2 receptor molecule except one neurotoxin 2SN3. We computed multiple alignment studies, solvent accessibility calculations, secondary structure analysis, stabilization centers and stabilizing residues before and after the docking process. Overall, we emphasize that the results obtained in this work will be very helpful in further enhancement of understanding the research on modeling and drug design with respect to the D2 dopamine receptor.
Adaptive Behavioural Modulation and Hysteresis in an Analogue of a Kite Control Task
Authors: Allister Furey, Inman Harvey
Venue: Proceedings of the 10th international conference on Simulation of Adaptive Behavior: From Animals to Animats (2008)

We define a simplified analogue of a kite control task that requires, in its simplest form, a situated artificial agent to switch between two mutually exclusive behaviours. In more complex versions of the task, the agent is required to adapt to changes within its environment that occur on different temporal scales. We describe the failure to evolve successful agents when a decision threshold is defined artificially and conversely the evolution of successful agents when they themselves are allowed to determine their own threshold through interaction with the environment. Agents are demonstrated capable of adapting both their switching behaviour and spatial domain according to environmental changes on three temporal scales, on the fastest of which, the agents behave in an opportunistic manner.
Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance
Authors: Adam Porter, Cemal Yilmaz, Atif M. Memon, Douglas C. Schmidt
Venue: IEEE Transactions on Software Engineering (2007)

Software engineers increasingly emphasize agility and flexibility in their designs and development approaches. They increasingly use distributed development teams, rely on component assembly and deployment rather than green field code writing, rapidly evolve the system through incremental development and frequent updating, and use flexible product designs supporting extensive end-user customization. While agility and flexibility have many benefits, they also create an enormous number of potential system configurations built from rapidly changing component implementations. Since today's quality assurance (QA) techniques do not scale to handle highly configurable systems, we are developing and validating novel software QA processes and tools that leverage the extensive computing resources of user and developer communities in a distributed, continuous manner to improve software quality significantly. This paper provides several contributions to the study of distributed, continuous QA (DCQA). First, it shows the structure and functionality of Skoll, which is an environment that defines a generic around-the-world, around-the-clock QA process and several sophisticated tools that support this process. Second, it describes several novel QA processes built using the Skoll environment. Third, it presents two studies using Skoll: one involving user testing of the Mozilla browser and another involving continuous build, integration, and testing of the ACE+TAO communication software package.The results of our studies suggest that the Skoll environment can manage and control distributed continuous QA processes more effectively than conventional QA processes. For example, our DCQA processes rapidly identified problems that had taken the ACE+TAO developers much longer to find and several of which they had not found. Moreover, the automatic analysis of QA results provided developers information that enabled them to quickly find the root causes of problems.
Fast modular transforms via division
Authors: R. Moenck, A. Borodin
Venue: Proceedings of the 13th Annual Symposium on Switching and Automata Theory (swat 1972) (1972)

It is shown that the problem of evaluating an Nth degree polynomial is reducible to the problem of dividing the polynomial. A method for dividing an Nth degree polynomial by an N/2 degree polynomial in O(N log 2N) steps is given. Using this it is shown that the evaluation of an Nth degree polynomial at N points can be done in O(N log 3N). The related problem of computing of computing the resides of an N precision integer is handed by the same algorithm in O(N log2N loglogN) steps. Using the methods of Horowitz11 and Heindel8 it is shown that interpolation of an Nth degree polynomial is redicible to the problem of evaluating an Nth degree polynomial at N points. An algorithm for preconditioned polynomial interpolation requiring O(N log 2N) steps is presented. This is then extended to perform the complete interpolation in O(N log 3N) steps. A modified version of Reminider Problem in O(N log 2N loglogN) steps.
Methods used to improve reliability in military electronics equipment
Authors: L. D. Whitelock
Venue: Papers and discussions presented at the Dec. 8-10, 1953, eastern joint AIEE-IRE computer conference: information processing systems---reliability and requirements (1953)

Reliable, dependable, electronic equipment for industry and for the Armed Services has always been of prime importance for safety and for economy of operations. However, the rapid growth and the increasing complexity of electronic equipment have contributed heavily to a poor reliability record in military operations, with a resultant heavy drain on skilled personnel and funds for maintenance and supply functions. Indicative of this growth in size and complexity is the increase in electronic tubes used on a destroyer: from 60 in 1937, to 850 in 1944, and to 3,200 in 1952. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
SimStudio: a next generation modeling and simulation framework
Authors: Mamadou K. Traoré
Venue: Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops (2008)

SimStudio is an operational framework that must serve to capitalize theoretical advances in Modeling and Simulation (M&S) as well as to gather M&S tools and make them accessible through a web browser. From a software perspective, SimStudio is a middleware for the federation of simulators and the collaborative building of simulations. From a hardware perspective, SimStudio is a mean to aggregate intensive computing resources through the http protocol.
Development, content, process and outcome of an online peer supervision group for counselor trainees
Authors: Christine J. Yeh, Tai Chang, Lillian Chiang, Christopher M. Drost, Dorota Spelliscy, Robert T. Carter, Yaowen Chang
Venue: Computers in Human Behavior (2008)

This study investigated the development, content, process, and outcome of an online peer supervision group (OPSG) for counselor trainees. Outcome measures determined that participants felt comfortable, confident, and open to using the OPSG. In addition, counselor trainees reported a preference for using aliases online to foster more sharing. In terms of content, topics in the group focused on mostly professional identity (40.1%) and therapeutic techniques (22.5%). A discourse analysis of the group revealed a high percentage of messages were experiential self-disclosure (40.0%) and guidance (20.0%). Our findings indicate that the components and content found in supervision groups, and in group process more generally, can take place in OPSGs. The role of computers in psychological training is discussed.
Plenary lecture I: the convolution and impulse response scandals
Authors: Irwin W. Sandberg
Venue: Proceedings of the American Conference on Applied Mathematics (2008)

It is a widely-held belief that the main textbook conclusions concerning continuous-time linear systems obtained using Dirac delta-function arguments can be shown to be valid using the mathematical theory of distributions. But this belief is unwarranted. For example, in a recent study of multidimensional input-output maps representing linear shift-invariant systems that take a set of continuous-space signals into itself, it was shown that the family contains maps - even causal continuous maps - whose impulse response is the zero function, but which take certain inputs into nonzero outputs. In this connection, we give recent results concerning the representation of the input-output map associated with the members of a certain important large family of multidimensional linear systems. We also give necessary and sufficient conditions under which the representation can be written as a convolution, and we relate this to the concepts of an impulse response and a q-response limit, and to the flawed concept of the Dirac function.
Cross-layer opportunistic adaptation for voice communications over wireless ad hoc networks
Authors: Suhaib A. Obeidat
Venue:  (2008)

Recent years have witnessed fast growth in Voice over IP (VoIP) applications. With the rate at which wireless access points are spreading, VoIP over wireless is becoming increasingly important. The all-IP architecture refers to inter-operability of different networks within an IP framework. Supporting VoIP over ad hoc networks is part of realizing this all-IP goal. Voice has many applications over ad hoc networks whether these networks serve as extensions to infrastructure-based wireless networks or in stand-alone configurations. The wireless channel introduces many challenges due to its broadcast nature and temporal response variability. Ad hoc networks also suffer from resource scarcity, making support for real-time applications over ad hoc networks a formidable task. Adaptation to varying channel conditions is essential to support applications in ad hoc networks. In addition, cross-layer design allows interactions among protocol parameters to be exploited to improve performance. This research tackles the problem of supporting VoIP over wireless ad hoc networks by proposing opportunistic adaptation within a cross-layer framework. Starting with the requirements of voice, parameters whose adaptation appears important to provide acceptable quality are identified. The significance of the selected parameters is verified in two ways: through extensive simulations of adaptation over wireless links, and through statistical analysis. The insight gained about the parameters is integrated into an opportunistic cross-layer protocol with the goal of maximizing the multiplexing gain without compromising the quality achieved. To limit the overhead and complexity of the protocol, hop-to-hop-only adaptation is considered first. Then, end-to-end adaptation is incorporated in the protocol design, which works at a different time scale and has a broader view of network conditions. The performance of the refined protocol is studied using actual audio traces in the simulation. The resulting output stream is compared with the original stream using objective audio metrics which are mapped into subjective measure scores when possible. The results indicate the critical role compression, packet-size, and modulation play in supporting voice over ad hoc networks. Header compression contributes to achieving acceptable to good voice quality over long routes, under reasonably high load conditions and in the presence of mobility.
Online Privacy: Measuring Individuals' Concerns
Authors: Maria Moloney, Frank Bannister
Venue: Proceedings of the 9th international conference on E-Commerce and Web Technologies (2008)

Existing research within the Information Systems domain has shown that there is a substantial level of online privacy concern among the online community. However it is not clear from an extensive review of the literature that the complete set of online privacy concerns has yet been identified or whether the concerns that have been investigated, by way of surveys, have adequate theoretical foundations. This paper considers the work of two prominent privacy theorists Westin and Altman, and from their privacy theories infers a set of online privacy concerns. These inferred privacy concerns are then compared with a list of online privacy concerns drawn from the empirical literature. This comparison highlights the similarities and inconsistencies between both sets of concerns. From the findings, an online privacy model is devised which attempts to outline the components of the concept of online privacy and their interdependencies. By representing the concept of online privacy in the form of a model, areas where concern arises can be highlighted more easily and as a result measures can be taken to reduce such concern.
Fuzzy Approach in Quality Management of Higher Education
Authors: Lidia Cristea, Dan Gogoncea
Venue: Proceedings of the 2008 19th International Conference on Systems Engineering (2008)

The adoption of the fuzzy formalism is a possible solution to the standardization in the domain of quality, in which to the usual terms are still given various meanings by the managers of various firms, on markets that visibly oscilate between globalization and regionalization.