ppxscal/embedding_network huggingface dataset:
Automated online mechanism design and prophet inequalities
Authors: Mohammad Taghi Hajiaghayi, Robert Kleinberg, Tuomas Sandholm
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

Recent work on online auctions for digital goods has explored the role of optimal stopping theory -- particularly secretary problems -- in the design of approximately optimal online mechanisms. This work generally assumes that the size of the market (number of bidders) is known a priori, but that the mechanism designer has no knowledge of the distribution of bid values. However, in many real-world applications (such as online ticket sales), the opposite is true: the seller has distributional knowledge of the bid values (e.g., via the history of past transactions in the market), but there is uncertainty about market size. Adopting the perspective of automated mechanism design, introduced by Conitzer and Sandholm, we develop algorithms that compute an optimal, or approximately optimal, online auction mechanism given access to this distributional knowledge. Our main results are twofold. First, we show that when the seller does not know the market size, no constant-approximation to the optimum efficiency or revenue is achievable in the worst case, even under the very strong assumption that bid values are i.i.d. samples from a distribution known to the seller. Second, we show that when the seller has distributional knowledge of the market size as well as the bid values, one can do well in several senses. Perhaps most interestingly, by combining dynamic programming with prophet inequalities (a technique from optimal stopping theory) we are able to design and analyze online mechanisms which are temporally strategyproof (even with respect to arrival and departure times) and approximately efficiency (revenue)-maximizing. In exploring the interplay between automated mechanism design and prophet inequalities, we prove new prophet inequalities motivated by the auction setting.
Crafting Contemporary Enterprise Application User Experiences
Authors: Jeremy Ashley, Misha W. Vaughan
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

This paper outlines the field research program defined by an enterprise application user experience organization designed to collect data from globally distributed corporations. The goal of the research program was to drive the next generation user experience of enterprise applications. This paper discusses the top five lessons learned and their design solutions.
Weak Time Petri Nets Strike Back!
Authors: Pierre-Alain Reynier, Arnaud Sangnier
Venue: Proceedings of the 20th International Conference on Concurrency Theory (2009)

We consider the model of Time Petri Nets where time is associated with transitions. Two semantics for time elapsing can be considered: the strong one, for which all transitions are urgent, and the weak one, for which time can elapse arbitrarily. It is well known that many verification problems such as the marking reachability are undecidable with the strong semantics. In this paper, we focus on Time Petri Nets with weak semantics equipped with three different memory policies for the firing of transitions. We prove that the reachability problem is decidable for the most common memory policy (intermediate) and becomes undecidable otherwise. Moreover, we study the relative expressiveness of these memory policies and obtain partial results.
Dynamic Query Processing for P2P Data Services in the Cloud
Authors: Pawel Jurczyk, Li Xiong
Venue: Proceedings of the 20th International Conference on Database and Expert Systems Applications (2009)

With the trend of cloud computing, data and computing are moved away from desktop and are instead provided as a service from the cloud. Data-as-a-service enables access to a wealth of data across distributed and heterogeneous data sources in the cloud. We designed and developed DObjects, a general-purpose P2P-based query and data operations infrastructure that can be deployed in the cloud. This paper presents the details of the dynamic query execution engine within our data query infrastructure that dynamically adapts to network and node conditions. The query processing is capable of fully benefiting from all the distributed resources to minimize the query response time and maximize system throughput. We present a set of experiments using both simulations and real implementation and deployment.
Automated Verification Using Unified Control Flows
Authors: Cristian Gherghina, Cristina David
Venue: Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)

Exception handling is an important feature in modern programming methodology. However, it introduces abnormal control flows due to which the analysis becomes considerable more difficult. In general, automated verification of programs with diversified control flows can prove to be a difficult problem. We propose an approach to verification that handles different control flow types in a unified manner.
Bounds on Fixed Input/Output Length Post-processing Functions for Biased Physical Random Number Generators
Authors: Kyohei Suzuki, Tetsu Iwata
Venue: Selected Areas in Cryptography: 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, Revised Selected Papers (2009)

Post-processing functions are used to reduce the imperfectness of physical random number generators. At FSE '07, Dichtl considered the case where the physical random number generator outputs independent bits that have a constant bias, and the post-processing function has fixed input and output lengths. In this paper, we first present a number of bounds on deg(n,m), which is a measure of the reduction of biases with n-bit input and m-bit output post-processing functions. We next show the exact values of deg(n,m) for a large class of (n,m) such that 1 ≤ m ≤ n ≤ 16, by using the bounds on deg(n,m) and a computer simulation. We finally discuss how we have derived these numerical values.
The Study of Transformer Fault Acoustic Signal Processing Based on HHT and Wavelet Contour
Authors: Shutao Zhao, Liangliang Pan, Baoshu Li
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

As the mark of sonic source category, acoustic signal also carries some architecture and running status information of transformer to be a natural character. In fault diagnosis techniques, acoustic recognition as one of the important methods was used in mechanical equipments fault diagnosis and observation system. In transformer fault diagnosis, its acoustic signal time-frequency changing has close connection with the active state. A new method of transformer fault diagnosis based on Hilbert transform and wavelet contour is developed. The fault signals and normal signals that have near and far sound field noise are extracted, and then de-noise it. Using the Hilbert transform and wavelet contour processing the measured signal, Hilbert spectrum and wavelet contour, which attribute the time-frequency changing of transformer acoustic signal, is obtained. The test result shows the character of transformer running state. It is demonstrated by actual analysis that the new detection method is one effective way for the condition evaluation and fault diagnosis of transformer.
Manufacturing, Mathematic Models and Meshing Analysis for the Cycloid Grooves of the Cycloid Ball Planetary Drive
Authors: Zuomei Yang, Zijun An, Peng Zhang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

Based on the space meshing theory, this paper proposes mathematic models for the cycloid grooves on central disc and planetary disc of the cycloid ball planetary drive generated by cone milling cutter. The meshing equations are established, and the surfaces equations of the epitrochoid and hypotrochoid enclosed grooves are deduced. The formulae of the undercutting limit points, the principal curvatures and the principal directions are also derived. Based on the proposed mathematic models, the effects of variation in manufacturing depth for the cycloid grooves on the undercutting are analyzed through a numerical example, and maximum manufacturing depth of non-undercutting is derived. Then, the simulation figures of cycloid grooves are drawn and the curves of the principal curvatures are described. These results offers theoretical basis for manufacturing of the cycloid grooves.
Fair E-Cash: Be Compact, Spend Faster
Authors: Sébastien Canard, Cécile Delerablée, Aline Gouget, Emeline Hufschmitt, Fabien Laguillaumie, Hervé Sibert, Jacques Traoré, Damien Vergnaud
Venue: Proceedings of the 12th International Conference on Information Security (2009)

We present the first fair e-cash system with a compact wallet that enables users to spend efficiently k coins while only sending to the merchant $\mathcal{O}(\lambda\log k)$ bits, where ¿ is a security parameter. The best previously known schemes require to transmit data of size at least linear in the number of spent coins. This result is achieved thanks to a new way to use the Batch RSA technique and a tree-based representation of the wallet. Moreover, we give a variant of our scheme with a less compact wallet but where the computational complexity of the spend operation does not depend on the number of spent coins, instead of being linear at best in existing systems.
A Quick Efficiency-Optimized Scheme for Vector Controlled Permanent Magnet Synchronous Motor Drive
Authors: Xianqing Cao, Liping Fan
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

In view of the operation characters of permanent magnet synchronous motor (PMSM) for hybrid electric vehicle (HEV) application, efficiency optimization control strategy is needed to meet the demand of rapidity. A quick efficiency optimized vector control scheme is presented in this paper. In steady state, the initial value of d-axis current can be achieved in any constant speed and torque operating point by loss model, and optimized through the gradient search technique and the golden section technique. Once the motor running in a dynamic process, fast dynamic response control scheme will be activated. Results of simulations and experiments are provided to demonstrate the effectiveness of the proposed method.
Study on Undergraduate Teaching Job Quality Assessment Based on Artificial Fish-BP Neural Network
Authors: Li Lihua, Liu Fuming, Wang Changlong
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

In order to comprehensively evaluate the undergraduate teaching job quality of colleges and universities, the evaluation simulation model was set up using artificial fish-swarm-neural network; taking the teaching management ,major construction and curriculum reform, teaching research and the results , the teaching quality for the input layer, the undergraduate theory teaching job quality of colleges and universities for the output layer, establishing artificial neural network model and training and testing for the network using actual data. Practice shows that the model has better recognition accuracy. Finally, the assessment results digitized came to the conclusion that can be accurately, intuitively reflect the merits of the undergraduate theory teaching job quality, thus demonstrating that the artificial fish-BP neural network has broad prospects the evaluation at the undergraduate theory teaching job quality of colleges and universities.
Does social software fit for all? examining students' profiles and activities in collaborative learning mediated by social software
Authors: Jari Laru, Piia Näykki, Sanna Järvelä
Venue: Proceedings of the 9th international conference on Computer supported collaborative learning - Volume 1 (2009)

In this study the dependencies between higher education students' profiles, activities, and learning outcomes in collaborative learning -- as mediated by social software -- were examined. Although the sample size in this study was small (n=22), Bayesian Dependency Modeling method provided statistically viable insight. The results show that learners who were active reflectors in their blogs, but who were also interested in what others achieved, obtained the best results in knowledge tests. Based on the analysis, two distinct learner profiles that reflect differences in the students' dependencies can be distinguished: monitor and reflector. Furthermore, an indirect dependencies found in the analysis suggests that both reflectors and monitors are also active wiki editors and participants in face-to-face discussions. Further qualitative analyses are needed in order to get an in-depth view of the complex interactions and dependencies within and between the face-to-face and virtual, but also individual and social, planes of collaboration.
MasDISPO: a multiagent decision support system for steel production and control
Authors: Sven Jacobi, Esteban León-Soto, Cristián Madrigal-Mora, Klaus Fischer
Venue: Proceedings of the 19th national conference on Innovative applications of artificial intelligence - Volume 2 (2007)

In the majority of cases, steel production constitutes the inception of the Supply Chains they are involved Just as in automotive clusters or aerospace. Steel manufactunng companies are affected strongest by bull whip effects or other unpredictable influences along the production chain to the customers. Therefore, flexible planning and realisation as well as fast reorganisation after interferences are indispensable requirements for a competitive position on the market. In thiS paper, MasDISPO, an agent-based decision support system for production and control inside the steel works of Saarstahl AG, a globally respected steel manufacturer, is presented. It is based on a distributed online planning and online scheduling algorithm to calculate solutions supporting production and control inside the melting shop. It monitors the execution of their chosen solutions and responds to unpredicted changes during production by dynamically adapting the schedules. This paper gives an overview of the system, the approach for solving the complex problem of steel production and control, the development process, the main experiences as well as lessons learned.
Visual complexity of websites: Effects on users' experience, physiology, performance, and memory
Authors: Alexandre N. Tuch, Javier A. Bargas-Avila, Klaus Opwis, Frank H. Wilhelm
Venue: International Journal of Human-Computer Studies (2009)

Visual complexity is an apparent feature in website design yet its effects on cognitive and emotional processing are not well understood. The current study examined website complexity within the framework of aesthetic theory and psychophysiological research on cognition and emotion. We hypothesized that increasing the complexity of websites would have a detrimental cognitive and emotional impact on users. In a passive viewing task (PVT) 36 website screenshots differing in their degree of complexity (operationalized by JPEG file size; correlation with complexity ratings in a preliminary study r=.80) were presented to 48 participants in randomized order. Additionally, a standardized visual search task (VST) assessing reaction times, and a one-week-delayed recognition task on these websites were conducted and participants rated all websites for arousal and valence. Psychophysiological responses were assessed during the PVT and VST. Visual complexity was related to increased experienced arousal, more negative valence appraisal, decreased heart rate, and increased facial muscle tension (musculus corrugator). Visual complexity resulted in increased reaction times in the VST and decreased recognition rates. Reaction times in the VST were related to increases in heart rate and electrodermal activity. These findings demonstrate that visual complexity of websites has multiple effects on human cognition and emotion, including experienced pleasure and arousal, facial expression, autonomic nervous system activation, task performance, and memory. It should thus be considered an important factor in website design.
Smooth Projective Modules
Authors: Chuan-yu Xu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Aimed at that available application of smooth homomorphism is around the comparison of two smooth modulus with each other and any of its application to construct new smooth modulus has not been seen, this paper applies smooth homomorphism and modulus to construct smooth projective modulus and proves three theprems:1. the theorem that lifts some examples of smooth projective modulus. 2. the sufficient and necessary condition that the direct sum of two smooth modulus is smooth projective modulus; 3. the uniqueness of smooth projective module. The smooth projective is different from classical module. The former is based on fuzzy equality and smooth binary operation, the latter is based on crisp equality and classical binary operation. This paper is different from the fundamental theorem of smooth homomorphism of modulus in application of homomorphism . The former applies homomorphism to construct new module--projective module, the latter applied homomorphism to comparison of two smooth modulus with each other.
Hash Tree Based Integrity Protection Appropriate for Disk
Authors: Fangyong Hou, Hongjun He, Nong Xiao
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

Optimized hash tree based approach is proposed here to provide disk integrity protection with fine performance and consistency. By constructing a hash tree on the protected space and creating hash tree leaf nodes from disk sectors directly, it can provide integrity with characteristics like online checking, any data protection, unified low-level mechanism and resistance against any attacks. To make performance and cost acceptable, it defines hash sub-trees corresponding to the frequently accessed disk regions as hot-access-windows to quicken integrity checking processes. At the same time, its regularity is convenient for maintaining consistency required by disk storage. Related mode and approach are elaborated, as well as testing results. Theoretical analysis and experimental simulation show that it is a practical and available way to protect disk data against tampering.
AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware
Authors: Christof Fetzer, Ute Schiffel, Martin Süßkraut
Venue: Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security (2009)

In the future, we expect commodity hardware to be used in safety-critical applications. However, in the future commodity hardware is expected to become less reliable and more susceptible to soft errors because of decreasing feature size and reduced power supply. Thus, software-implemented approaches to deal with unreliable hardware will be needed. To simplify the handling of value failures, we provide failure virtualization in the sense that we transform arbitrary value failures caused by erroneous execution into fail-stop failures. The latter ones are easier to handle. Therefore, we use the arithmetic AN-code because it provides very good error detection capabilities. Arithmetic codes are suitable for the protection of commodity hardware because guarantees can be provided independent of the executing hardware. This paper presents the encoding compiler EC-AN which applies AN-encoding to arbitrary programs. According to our knowledge, this is the first in software implemented complete AN-encoding. Former encoding compilers either encode only small parts of applications or trade-off safety to enable complete AN-encoding.
Uncanny as Usability Obstacle
Authors: Angela Tinwell
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

The eerie feeling attributed to photo-realistic human-like video game characters may serve as a usability obstacle leaving viewers dissatisfied with a particular character for a video game. This study investigates the relationships between user satisfaction and perceived strangeness and between user satisfaction and human-like appearance for virtual characters. 65 participants were asked to rate 13 video clips of 12 different virtual characters and one real human. The results indicate that the Uncanny Valley does serve as a usability obstacle with a strong correlation between a user's satisfaction rating and the perceived strangeness for a character, with the characters rated the strangest being the least satisfactory. Whilst there was still a positive correlation between human-like appearance for a character with user satisfaction, this was not as significant, with stylised and anthropomorphic characters perceived to be as satisfactory or more so than those of a photo-realistic human-like appearance.
Modelling and detecting decisions in multi-party dialogue
Authors: Raquel Fernández, Matthew Frampton, Patrick Ehlen, Matthew Purver, Stanley Peters
Venue: Proceedings of the 9th SIGdial Workshop on Discourse and Dialogue (2008)

We describe a process for automatically detecting decision-making sub-dialogues in transcripts of multi-party, human-human meetings. Extending our previous work on action item identification, we propose a structured approach that takes into account the different roles utterances play in the decision-making process. We show that this structured approach outperforms the accuracy achieved by existing decision detection systems based on flat annotations, while enabling the extraction of more fine-grained information that can be used for summarization and reporting.
A multiple expert system for classifying fluorescent intensity in antinuclear autoantibodies analysis
Authors: Paolo Soda, Giulio Iannello, Mario Vento
Venue: Pattern Analysis Applications (2009)

At the present, Indirect Immunofluorescence (IIF) is the recommended method for the detection of antinuclear autoantibodies (ANA). IIF diagnosis requires both the estimation of the fluorescent intensity and the description of the staining pattern, but resources and adequately trained personnel are not always available for these tasks. In this respect, an evident medical demand is the development of computer-aided diagnosis (CAD) tools that can offer a support to physician decision. In this paper we first propose a strategy to reliably label the image data set by using the diagnoses performed by different physicians, and then we present a system to classify the fluorescent intensity. Such a system adopts a multiple expert system architecture (MES), based on the classifier selection paradigm. Two different selection rules are presented and, given the application domain, the convenience of using one of them is analyzed. Different sets of operating points are determined, making the recognition system suited to application in daily practice and in a wide spectrum of scenarios. The measured performance on an annotated database of IIF images shows a low overall miss rate (< 1.5%, 0.00% of false negative).