ppxscal/embedding_network huggingface dataset:
Wavelets and Elman Neural Networks for monitoring environmental variables
Authors: Patrizia Ciarlini, Umberto Maniscalco
Venue: Journal of Computational and Applied Mathematics (2008)

An application in cultural heritage is introduced. Wavelet decomposition and Neural Networks like virtual sensors are jointly used to simulate physical and chemical measurements in specific locations of a monument. Virtual sensors, suitably trained and tested, can substitute real sensors in monitoring the monument surface quality, while the real ones should be installed for a long time and at high costs. The application of the wavelet decomposition to the environmental data series allows getting the treatment of underlying temporal structure at low frequencies. Consequently a separate training of suitable Elman Neural Networks for high/low components can be performed, thus improving the networks convergence in learning time and measurement accuracy in working time.
A Real-Time Predictive Simulation of Abdominal Organ Positions Induced by Free Breathing
Authors: Alexandre Hostettler, Stéphane A. Nicolau, Luc Soler, Yves Rémond, Jacques Marescaux
Venue: Proceedings of the 4th international symposium on Biomedical Simulation (2008)

Prediction of abdominal organ positions during free breathing is a major challenge from which several medical applications could benefit. For instance, in radiotherapy it would reduce the healthy tissue irradiation. In this paper, we present a method to predict in real-time the abdominal organs position during free breathing. This method needs an abdo-thoracic preoperative CT image, a second one limited to the diaphragm zone, and a tracking of the patient skin motion. It also needs the segmentation of the skin, the viscera volume and the diaphragm in both preoperative images. First, a physical analysis of the breathing motion shows it is possible to predict abdominal organs position from the skin position and a modeling of the diaphragm motion. Then, we present our original method to compute a deformation field that considers the abdominal and thoracic breathing influence. Finally, we show on two human data that our simulation model can predict several organs position at 50 Hz with accuracy within 2-3 mm.
Content strategies of the future: between games and stories -- crossroads for the video game industry
Authors: Mikolaj Dymek
Venue: Proceedings of the 3rd international conference on Digital Interactive Media in Entertainment and Arts (2008)

The video game industry is the combination of two worlds: technology (IT) and show-biz/media/cultural industries. This paper explores this tension by exposing the shortcomings of the culture economics perspective and its lack of understanding for the unique characteristics of the video game medium, thus subsequently proposing a deeper analysis of the medium by turning to literary theoretical perspectives on games, such as ludology and narratology. Due the lack of technological dimensions in its theoretical framework, narratology is deemed less fruitful as an analytical tool and ludology is preferred. Ludology, with Espen Aarseth's cybertext theory elucidates aspects of "interactivity", author-medium-reader power relations and the mechanical organization of textual machines, which provides perspectives on practice in the video game industry.
Privacy Threats in Online Stock Quotes
Authors: Peter Williams
Venue: Financial Cryptography and Data Security: 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers (2008)

Stock traders reveal information about their pending trades by their selection of stock performance data to retrieve from the web. Potentially malicious quote publishers have access to this information, and can use it to profit at the trader's expense. This poster examines several potential methods to prevent this type of behavior.
Learning of Bayesian Discriminant Functions by a Layered Neural Network
Authors: Yoshifusa Ito, Cidambi Srinivasan, Hiroyuki Izumi
Venue: Neural Information Processing: 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I (2007)

Learning of Bayesian discriminant functions is a difficult task for ordinary one-hidden-layer neural networks, because the teacher signals are dichotomic random samples. When the neural network is trained, the parameters, the weights and thresholds, are usually all supposed to be optimized. However, those included in the activation functions of the hidden-layer units are optimized at the second step of the BP learning. We often experience difficulty in training such 'inner' parameters when teacher signals are dichotomic. To overcome this difficulty, we construct one-hidden-layer neural networks with a smaller number of the inner parameters to be optimized, fixing some components of the parameters. This inevitably causes increment of the hidden-layer units, but the network learns the Bayesian discriminant function better than ordinary neural networks.
Tuning mechanisms for two major parameters of Apache web servers
Authors: Akiyoshi Sugiki, Kenji Kono, Hideya Iwasaki
Venue: Software&mdash;Practice Experience (2008)

Apache web servers are widely used as stand-alone servers or front-ends in multi-tiered web servers. Despite the wide availability of software, it is quite difficult for many administrators to properly configure their web servers. In particular, setting the performance-related parameters is an error-prone and time-consuming task because their values heavily depend on the server environment. In this paper, two mechanisms are described for automatically tuning two performance-related parameters of Apache web servers: *KeepAliveTimeout* and *MaxClients*. These mechanisms are easy to deploy because no modifications to the server or the operating system are required. Moreover, they are parameter specific. Although interference between *KeepAliveTimeout* and *MaxClients* is inevitable, the tuning mechanisms minimize the correlation by using almost completely independent metrics. Experimental results show that these mechanisms work well for two different workloads; the parameter values are close to optimal and can adapt to workload changes. Copyright &copy; 2007 John Wiley & Sons, Ltd.
Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
Authors: Michael O'Connor
Venue: Proceedings of the international symposium on Logical Foundations of Computer Science (2007)

We find a translation with particularly nice properties from intuitionistic propositional logic in countably many variables to intuitionistic propositional logic in two variables. In addition, the existence of a possibly-not-as-nice translation from any countable logic into intuitionistic propositional logic in two variables is shown. The nonexistence of a translation from classical logic into intuitionistic propositional logic which preserves ¿ and ¿ but not necessarily ¿ is proven. These results about translations follow from additional results about embeddings into free Heyting algebras.
Asymptotic Behavior of hp---HGS (hp---Adaptive Finite Element Method Coupled with the Hierarchic Genetic Strategy) by Solving Inverse Problems
Authors: Robert Schaefer, Barbara Barabasz
Venue: Proceedings of the 8th international conference on Computational Science, Part III (2008)

The new hp---HGS multi-deme, genetic strategy for economic solving of the parametric inverse problems is introduced. The inverse problems under consideration are formulated as the global optimization ones, where the objective express the discrepancy between the computed and measured energy. The efficiency of the proposed strategy results from the coupled adaptation of the accuracy of solving optimization problem and the accuracy of hp---FEM direct problem solver. The asymptotic analysis allows to estimate the expected computational cost of hp---HGS and to show its advantage over the single population SGA algorithm as well as over the HGS strategy without the FEM error scaling.
Comparing winner determination algorithms for mixed multi-unit combinatorial auctions
Authors: Brammert Ottens, Ulle Endriss
Venue: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3 (2008)

Mixed multi-unit combinatorial auctions are combinatorial auctions in which the auctioneer and the bidders negotiate over transformations rather than over simple goods. By proposing a transformation a bidder is offering to produce a certain set of output goods after having received the specified input goods. Solving such a mixed auction means choosing a sequence of transformations such that the auctioneer ends up with all the goods desired at the lowest possible cost. This is a generalisation of the winner determination problem in combinatorial auctions and cannot be solved using standard winner determination algorithms. In this paper we analyse the computational complexity of the winner determination problem for mixed auctions and compare the performance of two new algorithms and of the original algorithm proposed for the problem. We also discuss suitable ways of generating test sets for this comparison.
Formal Techniques in Software Engineering: Correct Software and Safe Systems
Authors: Peter Liggesmeyer
Venue: Proceedings of the 20th international conference on Theorem Proving in Higher Order Logics (2007)

In embedded systems, safety and reliability are usually important quality characteristics. It is required to determine these properties including hardware and software. Many techniques have been proposed to analyze, model and predict software and hardware quality characteristics on a quantified basis, e.g. fault trees, Markov analysis, and statistical reliability models.
What's going on?: learning communication rules in edge networks
Authors: Srikanth Kandula, Ranveer Chandra, Dina Katabi
Venue: Proceedings of the ACM SIGCOMM 2008 conference on Data communication (2008)

Existing traffic analysis tools focus on traffic volume. They identify the heavy-hitters - flows that exchange high volumes of data, yet fail to identify the structure implicit in network traffic - do certain flows happen before, after or along with each other repeatedly over time? Since most traffic is generated by applications (web browsing, email, p2p), network traffic tends to be governed by a set of underlying rules. Malicious traffic such as network-wide scans for vulnerable hosts (mySQLbot) also presents distinct patterns. We present eXpose, a technique to learn the underlying rules that govern communication over a network. From packet timing information, eXpose learns rules for network communication that may be spread across multiple hosts, protocols or applications. Our key contribution is a novel statistical rule mining technique to extract significant communication patterns in a packet trace without explicitly being told what to look for. Going beyond rules involving flow pairs, eXpose introduces templates to systematically abstract away parts of flows thereby capturing rules that are otherwise unidentifiable. Deployments within our lab and within a large enterprise show that eXpose discovers rules that help with network monitoring, diagnosis, and intrusion detection with few false positives.
Reliability sampling plans for Weibull distribution with limited capacity of test facility
Authors: Tzong-Ru Tsai, Yu-Ting Lu, Shuo-Jye Wu
Venue: Computers and Industrial Engineering (2008)

This paper establishes reliability sampling plans for the Weibull lifetime distribution based on type II censored data with limited capacity of test facility. The products are sold under a general rebate warranty policy. It is also assumed that the shape parameter of the lifetime distribution is known, and the scale parameter is a random variable varying from lot to lot. A cost model is established which contains the cost per unit on test, the cost per unit time for life test, and the costs of rejecting and accepting a unit. An algorithm for determining the optimal reliability sampling plans which minimize the expected average cost per lot is provided. Some numerical results to illustrate the use of the proposed method are studied.
On the Connection between Kloosterman Sums and Elliptic Curves
Authors: Petr Lisoněk
Venue: Proceedings of the 5th international conference on Sequences and Their Applications (2008)

We explore the known connection of Kloosterman sums on fields of characteristic 2 and 3 with the number of points on certain elliptic curves over these fields. We use this connection to prove results on the divisibility of Kloosterman sums, and to compute numerical examples of zeros of Kloosterman sums on binary and ternary fields of large orders. We also show that this connection easily yields some formulas due to Carlitz that were recently used to prove certain non-existence results on Kloosterman zeros in subfields.
Airplane Hackers
Authors: Bruce Schneier
Venue: IEEE Security and Privacy (2003)

The US Department of Homeland Security and the TSA have been attacked by their first hacker. He wasn't a terrorist; he wasn't out to take over the planes. He isn't even a criminal; he didn't try to extort money. He was a hacker, plain and simple. He wanted to test the security screeners' efficacy, to demonstrate that our airport security measures are, in his eyes, inadequate. He wanted to hack airport security. 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
Software Process Improvement Methodologies for Small and Medium Enterprises
Authors: Deepti Mishra, Alok Mishra
Venue: Proceedings of the 9th international conference on Product-Focused Software Process Improvement (2008)

Today, the software industry is one of the most rapidly growing sectors and small software development companies play an important role in economy. Many such organizations have been interested in Software Process Improvement (SPI). It has been observed that the successful implementation of SPI methodologies is generally not possible within the context of small and medium-sized software enterprises (SMEs) because they are not capable of bearing the cost of implementing these software process improvement programs. Further the proper implementation of software engineering techniques is difficult task for SMEs as they often operate on limited resources and with strict time constraints. There are number of methodologies to address these issues. In this paper, various SPI methodologies for SMEs are discussed and compared. This will lead towards maturity of software process improvement in SMEs and also facilitates in development of automation tools for SPIs in future.
A Theory of Pointers for the UTP
Authors: Will Harwood, Ana Cavalcanti, Jim Woodcock
Venue: Proceedings of the 5th international colloquium on Theoretical Aspects of Computing (2008)

Hoare and He's unifying theories of programming (UTP) provide a collection of relational models that can be used to study and compare several programming paradigms. In this paper, we add to the UTP a theory of pointers and records that provides a model for objects and sharing in languages like Java and C++. Our work is based on the hierarchical addressing scheme used to refer to record fields (or object attributes) in conventional languages, rather than explicit notions of location. More importantly, we support reasoning about the structure and sharing of data, as well as their, possibly infinite, values. We also provide a general account of UTP theories characterised by conjunctive healthiness conditions, of which our theory is an example.
Assessing, Measuring, and Benchmarking Dependability and Resilience
Authors: Henrique Madeira
Venue: Proceedings of the 3rd Latin-American symposium on Dependable Computing (2007)

Cost pressure, short time to market, and increased complexity are responsible for an evident increase of the failure rate of computing systems, while the cost of failures is growing rapidly, as a result of an unprecedented degree of dependence of our society on computing systems. The combination of these factors has created a dependability and security gap that is often perceived by users as a lack of trustworthiness in computer applications, but that is in fact undermining the network and service infrastructures that constitute the very core of the knowledge-based society.
Users with Disabilities and Standards
Authors: Christian Bühler
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

Industrial standards are accepted practice for ensuring safety, quality, compatibility and interconnectivity but also as frameworks for products and services and business opportunities. Very often they are only considered as a matter of pure technology and only for industry with little direct relevance to the users. However, in case of missing standards or bad standards the relevance to users becomes pretty obvious. Therefore, consumer organisations have started to recognise that they have a role in standardisation. Nevertheless, there seems a broad gap separating users from participation in standardisation. In principle, the standardisation process is open and transparent for participation. Reality is often different. This paper gives an introduction to this issue and deals with the relevance of standards to users with disabilities and the relevance of users with disabilities for the standardisation. It presents an approach for user participation in the standardisation process.
Applicability of No-Hands Computer Input Devices for the Certificates for Microsoft Office Software
Authors: Wonsuk Choi, Dongwoo Lee, Jongwhoa Na
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

The workload-based evaluation is applied for the certificates of the Microsoft Office Specialist. The certificates may be one of the solutions for this conflicts cause by the misunderstanding between the employer and the employee. We analyzed the MOS Word test questions by using various types of input devices including the camera mouse and the no-hands mouse. The experimental result showed the no-hands input devices can be successfully utilized for the examination for the MOS certificates.
Automatic Determination of Arterial Input Function for Dynamic Contrast Enhanced MRI in Tumor Assessment
Authors: Jeremy Chen, Jianhua Yao, David Thomasson
Venue: Proceedings of the 11th international conference on Medical Image Computing and Computer-Assisted Intervention - Part I (2008)

Dynamic Contrast Enhanced MRI (DCE-MRI) is today one of the most popular methods for tumor assessment. Several pharmacokinetic models have been proposed to analyze DCE-MRI. Most of them depend on an accurate arterial input function (AIF). We propose an automatic and versatile method to determine the AIF. The method has two stages, detection and segmentation, incorporating knowledge about artery structure, fluid kinetics, and the dynamic temporal property of DCE-MRI. We have applied our method in DCE-MRIs of four different body parts: breast, brain, liver and prostate. The results show that we achieve average 89.5% success rate for 40 cases. The pharmacokinetic parameters computed from the automatic AIF are highly agreeable with those from a manually derived AIF (R2=0.89, P(T<=t)=0.19) and a semiautomatic AIF (R2=0.98, P(T<=t)=0.01).
Parallelization of Generic Libraries Based on Type Properties
Authors: Prabhanjan Kambadur, Douglas Gregor, Andrew Lumsdaine
Venue: Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007 (2007)

This paper describes a new approach for parallelizing generic software libraries. Generic algorithms are expressed in terms of type properties, which allows them to work with entire families of types rather than specific types. Despite this generality, generic algorithms can be made as efficient as their hand-coded variants through the use of specialization, which provides algorithm variants tuned for types with certain properties. Our approach leverages the specialization mechanism of generic programming to effect parallelism. We illustrate the process of specializing generic algorithms for parallelism using common algorithms in the C++ Standard Template Library. When the resulting algorithms are invoked with types that have the required properties for parallelization, the parallel variants of these algorithms are executed. We illustrate that our parallelization strategy is simple, practical, and efficient, using tools and techniques available in most commercial compilers.
Crude Oil Price Prediction Based On Multi-scale Decomposition
Authors: Yejing Bao, Xun Zhang, Lean Yu, Shouyang Wang
Venue: Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007 (2007)

A synergetic model (DWT-LSSVM) is presented in this paper. First of all, the raw data is decomposed into approximate coefficients and the detail coefficients at different scales by discrete wavelet transforms (DWT). These coefficients obtained by previous phase are then used for prediction independently using least squares support vector machines (LSSVM). Finally, these predicted coefficients are combined into a final prediction. The proposed model is applied to oil price prediction. The simulation results show that the synergetic model has greater generalization ability and higher accuracy.
A Knowledge-Based Approach for Answering Fuzzy Queries over Relational Databases
Authors: Z. M. Ma, Xiangfu Meng
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II (2008)

Users often have vague or imprecise ideas when searching the database. Thus, they might like to issue fuzzy queries for possibly retrieving. Based on fuzzy sets theory and the knowledge base related to the application domain, this paper proposes an approach translating the fuzzy query into the precise query and extending the query criteria ranges in order to provide approximate answers to the user. The fuzzy condition is first defined by a fuzzy number with membership function, and then is translated into the precise condition by using the (-cut operation of fuzzy number. The tuples satisfying the fuzzy query are finally ranked according to their satisfaction degree.
Learning in a mediated online environment
Authors: Alison Ruth
Venue: International Journal of Technology Enhanced Learning (2008)

The research described here uses three interconnected studies, which investigated students' use of e-mail discussion lists. The contributions from the study have both procedural and conceptual dimensions. The procedural contributions identify and illuminate sets of pedagogic practices that are presented as a means by which online learning environments might be improved. Conceptual contributions are those that have been identified as elaborating the kinds of interactions and activities that are likely to either secure or frustrate learning. A number of current beliefs were also confirmed. The findings have implications for teaching and learning through pedagogic practices that underpin online learning arrangements.