ppxscal/embedding_network huggingface dataset:
ChromA
Authors: Nils Hoffmann, Jens Stoye
Venue: Bioinformatics (2009)

Summary: We describe ChromA, a web-based alignment tool for chromatography–mass spectrometry data from the metabolomics and proteomics domains. Users can supply their data in open and standardized file formats for retention time alignment using dynamic time warping with different configurable local distance and similarity functions. Additionally, user-defined anchors can be used to constrain and speedup the alignment. A neighborhood around each anchor can be added to increase the flexibility of the constrained alignment. ChromA offers different visualizations of the alignment for easier qualitative interpretation and comparison of the data. For the multiple alignment of more than two data files, the center-star approximation is applied to select a reference among input files to align to. Availability: ChromA is available at http://bibiserv.techfak.uni-bielefeld.de/chroma. Executables and source code under the L-GPL v3 license are provided for download at the same location. Contact: stoye@techfak.uni-bielefeld.de Supplementary information:Supplementary data are available at Bioinformatics online.
On the Kippenhahn Curves of Kronecker Products
Authors: Xueting Liu, Hongkui Li
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

In many physical applications, we must solve a system of linear equations AXB=C. We know that the Kronecker product can get a convenient representation for linear equations AXB=C. In this paper, let A and C be deoted 4x4 reducible companion matrices. We study the property of the Kippenhahn curve C_R(C)and of the numerical rang W(A) being an elliptic disc by making use of matrices Kronecker product and the Kippenhahn curve C_R(C) continuely .
Boosting Shift-Invariant Features
Authors: Thomas Hörnlein, Bernd Jähne
Venue: Proceedings of the 31st DAGM Symposium on Pattern Recognition (2009)

This work presents a novel method for training shift-invariant features using a Boosting framework. Features performing local convolutions followed by subsampling are used to achieve shift-invariance. Other systems using this type of features, e.g. Convolutional Neural Networks, use complex feed-forward networks with multiple layers. In contrast, the proposed system adds features one at a time using smoothing spline base classifiers. Feature training optimizes base classifier costs. Boosting sample-reweighting ensures features to be both descriptive and independent. Our system has a lower number of design parameters as comparable systems, so adapting the system to new problems is simple. Also, the stage-wise training makes it very scalable. Experimental results show the competitiveness of our approach.
Multi-Skill Call Center as a Grading from "Old" Telephony
Authors: Manfred Schneps-Schneppe, Janis Sedols
Venue: Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces (2009)

We explore parallels between the older telephony switches and the multi-skill call centers. The numerical results have shown that a call center with equally distributed skills is preferable compared to traditional grading-type design. The annex contains a short version of mathematical proof on limited availability schemes design for small call flow intensity ¿ and for large ¿. The proof explores one excellent V. Beneš' paper (from Bell Labs). On its own merit, the annex could initiate new mathematical research in call center area, more by now the powerful software for numerical analysis is available. Main conclusion is the following: numerical analysis of simple multi-skill call centers propose a new principle for call center design, namely: from throughput point of view a multi-skill call center with equally distributed skills is preferable compared to traditional grading-type design.
Preferences of agents in decentralized task allocation
Authors: Mark Hoogendoorn, Maria Gini
Venue: AI Communications (2009)

The ability to express preferences for specific tasks in multi-agent auctions is an important element for potential users who are considering to use such auctioning systems. This paper presents an approach to make such preferences explicit and to use these preferences in bids for reverse combinatorial auctions. Three different types of preference are considered: (1) preferences for particular durations of tasks, (2) preferences for certain time points, and (3) preferences for specific types of tasks. We study empirically the tradeoffs between the quality of the solutions obtained and the use of preferences in the bidding process, focusing on effects such as increased execution time. We use both synthetic data as well as real data from a logistics company.
Heat Affected Zone in the MEMS Wire Bonding
Authors: Yuetao Liu, Yanjie Liu, Lining Sun
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

In the wire bonding process of MEMS packaging, Heat Affect Zone (HAZ) is the important factor governing the loop profile of bonding. The height of loop is affected by the length of the HAZ. Factors governing the HAZ are studied. To investigate this relationship, the experiments were done for the various sizes of wire diameter and Free Air Ball (FAB). Electric Flame-Off (EFO) current, EFO time, EFO gap and the recrystallization were also studied. The results showed that as the size of FAB became larger, the length of HAZ increased. With the increase of EFO current and time, the length of HAZ became longer. When FAB was formed at the same parameter, the length of HAZ became shorter with the high temperature of recrystallization.
R{j}ecnik.com: English-Serbo-Croatian electronic dictionary
Authors: Vlado Kešelj, Tanja Kešelj, Larisa Zlatić
Venue: Proceedings of the Workshop on Enhancing and Using Electronic Dictionaries (2004)

The features of R{j}ecnik.com dictionary, as one of the first on-line English-Serbo-Croatian dictionaries are presented. The dictionary has been on-line for the past five years and has been frequently visited by the Internet users. We evaluate and discuss the system based on the analysis of the collected data about site visits during this five-year period. The dictionary structure is inspired by the WordNet basic design. The dictionary's source knowledge base and the software system provide interfaces to producing an on-line dictionary, a printed-paper dictionary, and several electronic resources useful in Natural Language Processing.
An extended interpreted system model for epistemic logics
Authors: Kaile Su, Abdul Sattar
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted system model, and provides a computationally grounded one, called the interpreted perception system model, to those episternic logics other than S5. It is usually assumed, in the interpreted system model, that those parts of the environment that are visible to an agent are correctly perceived by the agent as a whole. The essential idea of the interpreted perception system model is that an agent may have incorrect perception or observations to the visible parts of the environment and the agent may not be aware of this. The notion of knowledge can be defined so that an agent knows a statement iff the statement holds in those states that the agent can not distinguish (from the current state) by using only her correct observations. We establish a logic of knowledge and certainty, called KC logic, with a sound and complete proof system. The knowledge modality in this logic is S4 valid. It becomes S5 if we assume an agent always has correct observations; and more interestingly, it can be S4.2 or S4.3 under other natural constraints on agents and their sensors to the environment.
Efficient Bayesian estimation of multivariate state space models
Authors: Chris M. Strickland, Ian. W. Turner, Robert Denham, Kerrie L. Mengersen
Venue: Computational Statistics Data Analysis (2009)

A Bayesian Markov chain Monte Carlo methodology is developed for the estimation of multivariate linear Gaussian state space models. In particular, an efficient simulation smoothing algorithm is proposed that makes use of the univariate representation of the state space model. Substantial gains over existing algorithms in computational efficiency are achieved using the new simulation smoother for the analysis of high dimensional multivariate time series. The methodology is used to analyse a multivariate time series dataset of the Normalised Difference Vegetation Index (NDVI), which is a proxy for the level of live vegetation, for a particular grazing property located in Queensland, Australia.
Convincing Proofs for Program Certification
Authors: Manuel Garnacho, Michaël Périn
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

At the highest level of formal certification, the current research trend consists in providing evaluators with a formal checkable proof produced by automatic verification tools. The aim is to reduce the certification process to verifying the provided proof using a proof-checker. However, to date, no certified proof-checker has emerged. In addition, checkable proofs do not eliminate the need to validate the formalization of the verification problem. In this paper we consider the point of view of evaluators. We elaborate criteria that must be fulfilled by a formal proof in order to convince skeptical evaluators. Then, we present a methodology based on this notion of convincing proofs that requires simple formalizations to reach the level of confidence of formal certification. The key idea is to build a certified proof-checker - in collaboration with the evaluators - which is finally used to validate the proof provided by developers. We illustrate our approach on the correctness proof of a buffering protocol written in c that manages the data exchanges between concurrent tasks in avionics control systems.
Partitioned external-memory value iteration
Authors: Peng Dai, Mausam Mausam, Daniel S. Weld
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

Dynamic programming methods (including value iteration, LAO*, RTDP, and derivatives) are popular algorithms for solving Markov decision processes (MDPs). Unfortunately, however, these techniques store the MDP model extensionally in a table and thus are limited by the amount of main memory available. Since the required space is exponential in the number of domain features, these dynamic programming methods are ineffective for large problems. To address this problem, Edelcamp et al. devised the external memory value iteration (EMVI) algorithm, which uses a clever sorting scheme to efficiently move parts of the model between disk and main memory. While EMVI can handle larger problems than previously addressed, the need to repeatedly perform external sorts still limits scalability. This paper proposes a new approach. We partition an MDP into smaller pieces (blocks), keeping just the relevant blocks in memory and performing Bellman backups block by block. Experiments show that our algorithm is able to solve large MDPs an order of magnitude faster than EMVI.
Roll Initial Profile Design and Optimization in Twin-Roll Strip Casting
Authors: Guangming Zhu, Zheng Chang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

Temperature field of cast roll and its thermal deformation were studied during strip casting with elasto-plastic and thermal-stress coupled FEM in this paper. The simulation result was verified with experiment result, indicating that the simulation result is accurate. Then, the initial profile were designed according to the simulation result, and optimized using finite element method (FEM) to make the roll profile well during stable casting, so as to make strip thickness even along width.
Study on Change Monitoring and Prediction Model of Wetland Types in Yancheng
Authors: Zhang Huai-qing, Tang Xiao-xu, Ling Cheng-xing
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

This paper takes three main wetland distributing counties in Yancheng: Dongtai, Dafeng and Sheyang as study areas. With the processing of four-period (every six years from 1988 to 2006) remote sensing (RS) images, a dynamic change analysis of the Yancheng wetland types was illuminated at first. Then, according to the results of the RS images interpretation, the change prediction of the wetland types was analyzed by using Markov model and grey prediction model. The results show that, from 1988 to 2006, the area of cropland, residential land, squaculture farm, spartina patens, seepweed has a tendency to increase in general, at the same time, the area of mudflat, reed, brine pan tends to decrease violently. The most important reason causing these changes is the current policy of large-scale coast exploitation. The prediction results indicate that: the area of residential land and aquaculture farm will maintain their increasing tendencies in the next 20 years. However, after the year of 2012, cropland is about to decrease by degrees and the spartina patens will become the dominant species gradually as its evolution trend.
Optimum process mean and manufacturing quantity settings for serial production system under the quality loss and rectifying inspection plan
Authors: Chung-Ho Chen, Michael B. C. Khoo
Venue: Computers and Industrial Engineering (2009)

In 1994, Al-Sultan presented a single sampling plan applied in determining the optimum process mean for two machines in a serial production system. However, Al-Sultan did not consider the quality cost for the product within the specification limits, pointed out that the non-conforming items in the sample of accepted lot is replaced or eliminated from the lot, and proposed an integrated model with production and quality. In this study, the author considers the problem of quality loss for the modified Al-Sultan's model with k machines in a serial production system based on a single sampling rectifying inspection plan. Taguchi's symmetric quadratic quality loss function is applied in evaluating the product quality. Then, the author further proposes a modified and integrated economic manufacturing quantity (EMQ) model based on the application of the modified Al-Sultan's model for obtaining the maximum expected total profit of product per unit of time. The numerical results show that the price of an accepted products sold has the most important effect on both the process means and the expected total profit per unit of time.
A new algorithm for complex product flexible scheduling with constraint between jobs
Authors: Zhiqiang Xie, Shuzhen Hao, Guangjie Ye, Guangyu Tan
Venue: Computers and Industrial Engineering (2009)

In order to simplify the complex product flexible scheduling problem with constraint between jobs, a new hierarchical scheduling algorithm based on improved processing operation tree is presented. Aiming at the routing problem, short-time strategy and machine-balance strategy are adopted to assign each operation to a machine out of a set of machines. And in order to solve the sequencing problem, the allied critical path method is first adopted to confirm the scheduling sequence of operations, and then operations are divided into dependent operations and independent ones according to their characteristics. For the dependent operations, forward greedy rule is adopted in order to make the completion time of operation as soon as possible and the scheduling algorithm of shortening idle time is adopted by analyzing the characteristics of the independent operations. Experiment shows that the proposed algorithm solves for the first time the complex product flexible scheduling problem with constraint between jobs.
Meeting TempEval-2: shallow approach for temporal tagger
Authors: Oleksandr Kolomiyets, Marie-Francine Moens
Venue: Proceedings of the Workshop on Semantic Evaluations: Recent Achievements and Future Directions (2009)

Temporal expressions are one of the important structures in natural language. In order to understand text, temporal expressions have to be identified and normalized by providing ISO-based values. In this paper we present a shallow approach for automatic recognition of temporal expressions based on a supervised machine learning approach trained on an annotated corpus for temporal information, namely TimeBank. Our experiments demonstrate a performance level comparable to a rule-based implementation and achieve the scores of 0.872, 0.836 and 0.852 for precision, recall and F1-measure for the detection task respectively, and 0.866, 0.796, 0.828 when an exact match is required.
Design and Fabrication of a Novel PZT Films Based Piezoelectric Micromachined Ultrasonic Transducers
Authors: Junhong Li, Chenghao Wang, Mengwei Liu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

A novel piezoelectric micromachined ultrasonic transducer (pMUT), has been designed, and successfully fabricated .A bridge type structure in flexure mode was adopted for the design of the pMUT element. The transducers comprise a 4-6μm thick silicon layer, a 1μm thick thermal oxide layer, and1.1μm thickpiezoelectric PZT layer . The PZT films were deposited by a sol-gel technique. The influence of different annealing processes on the films properties had been investigated. The PZT films annealed at 650℃ for half an hour in air exhibit preferred orientation in the direction of the (100) plane. The piezoelectric coefficient d33 of PZT films was measured as 120 pC/N. The bridge diaphragms are much more compliant and free from the clamped stress in two side edges in vibrating diaphragms in comparison with diaphragms clamped on all four edges. The sensitivity of novel pMUT is expected to be higher.
Answering Questions from Natural Language Using A-Prolog
Authors: Yana Todorova
Venue: Proceedings of the 25th International Conference on Logic Programming (2009)

The topic of this research is the development of methodology for building computer systems capable of answering questions from natural language (NL) texts. Existing methodologies take the NL text and question as an input, transform it to a logical form, and use reasoning systems to obtain the answer. Sometimes little or no commonsense knowledge is added to the original input. However, we believe that most answers are commonsense answers and we want to investigate how additional knowledge can be used to produce them. 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
Integrating explanatory and descriptive learning in ILP
Authors: Yannis Dimopoulos, Saso Dzeroski, Antonis Kakas
Venue: Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2 (1997)

A learning framework that combines the two frameworks of explanatory and descriptive Inductive Logic Programming (ILP) is presented. The induced hypotheses in this framework are pairs of the form (T, IC) where T is a definite clausal theory and IC is a set of integrity constraints. The two components allow us to combine complementary information from the same data by applying both explanatory and descriptive learning methods. This non-trivial integration is achieved using a nonmonotonic entailment relation for the basic notion of coverage in the combined language of rules and constraints where the constraints can restrict the conclusions derivable by the rules. We present a semantics for the new framework and then discuss different cases where combining information from explanatory and descriptive ILP could be useful. We present some basic algorithmic frameworks for learning in the new framework, and report on some preliminary experiments with encouraging results.
Phorigami: A Photo Browser Based on Meta-categorization and Origami Visualization
Authors: Shuo-Hsiu Hsu, Pierre Cubaud, Sylvie Jumpertz
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

Phorigami is a photo browser whose meta-interface visualizes photos by groups according to the analysis of photo contexts. At the core of Phorigami, we proposed a meta-categorization for photo regrouping. This categorization method encompasses the scope of current or expected recognition technologies. Two experiments are conducted by manual classification tasks to study the pertinence of proposed categorization method. We then outline our meta-interface by applying different interaction technique to feature each photo group.
Traffic Speed-Flow Model for the Mix Traffic Flow on Beijing Urban Expressway
Authors: Yue Li, Huapu Lu, Changzhi Bian, Ya Gang Sui
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

In order to explore the speed—flow relationship under complicated roadway characteristics and heavy traffic volume, this paper established a new practical model based on one month serial data collected from loop detectors on different sites of the expressway in Beijing. Different from the traditional model, the relationship formulated here is composed by free flow segment, stable flow segment and congested-evacuation segment. We start with a comprehensive review on classical speed-flow models. The limitation of general used model when analyzing the mixed traffic flow is pointed out. Then a cluster of new speed-flow models are established considering the site characteristics expressed with the distance from the bottleneck which appears at the entrance or exit ramp. Actual observed data shows fundamental parameters of speed—flow relationship model of urban expressway are affected bythe entrance or exit ramp.
The Value of Answers without Question[s]: A Qualitative Approach to User Experience and Aging
Authors: Anna Elisabeth Pohlmeyer, Lucienne Blessing, Hartmut Wandke, Julia Maue
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

This project investigates reasons for use and non-use of interactive products by two age groups. It was motivated by the assumption that older adults, when given the chance, report more than just usability-related aspects of interactive products. In laboratory settings, older adults are oftentimes confronted with unfamiliar technology. In this case, instrumental qualities are of primary concern. However, the picture might be different, when it is up to the participant to choose the device. Twenty younger (20-33 years) and 20 older (65-80 years) adults were provided with a disposable camera and a documentation-booklet for one week in order to photograph and describe positive as well as negative examples of interactive products in their surrounding. After this week of intensive sensitization, participants named five reasons that motivated them to use technology, and five that led to avoidant behaviour. A qualitative content analysis with an inductive development of categories was conducted.