ppxscal/embedding_network huggingface dataset:
Introduction to Type Theory
Authors: Herman Geuvers
Venue: Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures (2009)

These notes comprise the lecture "Introduction to Type Theory" that I gave at the Alpha Lernet Summer School in Piriapolis, Uruguay in February 2008. The lecture was meant as an introduction to typed ¿-calculus for PhD. students that have some (but possibly not much) familiarity with logic or functional programming. The lecture consisted of 5 hours of lecturing, using a beamer presentation, the slides of which can be found at my homepage. I also handed out exercises, which are now integrated into these lecture notes.In the lecture, I attempted to give an introductory overview of type theory. The problem is: there are so many type systems and so many ways of defining them. Type systems are used in programming (languages) for various purposes: to be able to find simple mistakes (e.g. caused by typing mismatches) at compile time; to generate information about data to be used at runtime, .... But type systems are also used in theorem proving, in studying the the foundations of mathematics, in proof theory and in language theory.
An Index Creating Method Based on an Improved Clustering Algorithm
Authors: Ze-bao Zhang, Jian-pei Zhang, Jing Yang, Ruo-yu Li
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

The interval and the density valve are need to input in traditional clustering methods that based on grid and density method, result in unsmoothed cluster, wrong judgment of clustering boundary. A clustering approach was proposed, which can confirm the interval and the number of clustering, reasonable cluster the object and create the Hilbert R-tree using the result of clustering. Experiment result shows that the method outperforms than tradition Hilbert R-tree index in building time and other aspect.
Complexity of Sizing for Space Suit Applications
Authors: Elizabeth Benson, Sudhakar Rajulu
Venue: Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009 (2009)

The `fit' of a garment is often considered to be a subjective measure of garment quality. However, some experts attest that a complaint of poor garment fit is a symptom of inadequate or excessive ease, the space between the garment and the wearer. Fit has traditionally been hard to quantify, and space suits are an extreme example, where fit is difficult to measure but crucial for safety and operability. A proper space suit fit is particularly challenging because of NASA's desire to fit an incredibly diverse population (males and females from the 1st to 99th percentile) while developing a minimum number of space suit sizes. Because so few sizes are available, the available space suits must be optimized so that each fits a large segment of the population without compromising the fit of any one wearer.
SAS Data Integration Studio 4.21: User's Guide
Venue:  (2009)

Describes the main tasks that you can perform with SAS Data Integration Studio. 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
Multi-operand Floating-Point Addition
Authors: Alexandre F. Tenca
Venue: Proceedings of the 2009 19th IEEE Symposium on Computer Arithmetic (2009)

The design of a component to perform parallel addition of multiple floating-point (FP) operands is explored in this work. In particular, a 3-input FP adder is discussed in more detail, but the main concepts and ideas presented in this work are valid for FP adders with more inputs. The proposed design is more accurate than conventional FP addition using a network of 2-operand FP adders and it may have competitive area and delay depending on the number of input operands. Implementation results of a 3-operand FP adder are presented to compare its performance to a network of 2-input FP adders.
Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application
Authors: Jean-François Baget, Madalina Croitoru, Jérôme Fortin, Rallou Thomopoulos
Venue: Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies (2009)

In this paper, we extend Simple Conceptual Graphs with Reiter's default rules. The motivation for this extension came from the type of reasonings involved in an agronomy application, namely the simulation of food processing. Our contribution is many fold: first, the expressivity of this new language corresponds to our modeling purposes. Second, we provide an effective characterization of sound and complete reasonings in this language. Third, we identify a decidable subclass of Reiter's default logics. Last we identify our language as a superset of $\mathcal{SREC}^-$, and provide the lacking semantics for the latter language.
Higher-Order Masking and Shuffling for Software Implementations of Block Ciphers
Authors: Matthieu Rivain, Emmanuel Prouff, Julien Doget
Venue: Proceedings of the 11th International Workshop on Cryptographic Hardware and Embedded Systems (2009)

Differential Power Analysis (DPA) is a powerful side channel key recovery attack that efficiently breaks block ciphers implementations. In software, two main techniques are usually applied to thwart them: masking and operations shuffling. To benefit from the advantages of the two techniques, recent works have proposed to combine them. However, the schemes which have been designed until now only provide limited resistance levels and some advanced DPA attacks have turned out to break them. In this paper, we investigate the combination of masking and shuffling. We moreover extend the approach with the use of higher-order masking and we show that it enables to significantly improve the security level of such a scheme. We first conduct a theoretical analysis in which the efficiency of advanced DPA attacks targeting masking and shuffling is quantified. Based on this analysis, we design a generic scheme combining higher-order masking and shuffling. This scheme is scalable and its security parameters can be chosen according to any desired resistance level. As an illustration, we apply it to protect a software implementation of AES for which we give several security/efficiency trade-offs.
An Ultra Low Power Pulse Oximeter Sensor Based on Compressed Sensing
Authors: Pawan K. Baheti, Harinath Garudadri
Venue: Proceedings of the 2009 Sixth International Workshop on Wearable and Implantable Body Sensor Networks (2009)

We describe an ultra low power pulse oximeter sensor for long term, non-invasive monitoring of SpO2 and heart rate in Body Area Networks (BAN). Commercial pulse oximeter sensors consume about 20-60 mW of power during continuous operation. Other researchers have shown that accurate and noise robust wireless pulse oximeter sensors can be designed to operate with as little as 1.5 mW. The LEDs consume bulk of the power budget in pulse oximeter sensors. In this work, we describe a compressed sensing approach to sample the photodetector output, so that the LEDs can be turned off for longer periods and thus save sensor power. We randomly sample Photoplethysmogram (PPG) signals with about 10-40x fewer samples than with uniform sampling and demonstrate that the accuracy of heart rate estimation and blood pressure estimation are not compromised, using MIMIC database. This provides power savings of the order of 10-40x for a pulse oximeter sensor, by reducing the duration LEDs need to be turned on.
Dual Threshold Domino OR Gates Leakage Power and Delay Forecasting Based on Wavelet Neural Networks in 45 nm Technology
Authors: Jinhui Wang, Wuchen Wu, Na Gong, Lei Zuo, Ligang Hou, Shuqin Geng, Wang Zhang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

An approach for forecasting the leakage power and the delay of the dual threshold domino OR gates based on Wavelet Neural Networks (WNN) in 45 nm technology is proposed. The forecasting system has fast convergence and high precision. By studying the impact of the dual threshold voltage technique (DTV) on leakage reduction and delay increase, it successfully forecasts the nonlinear changing of the leakage power and delay of the different inputs domino OR gates. At last, the reason for the forecasting error and the trend of the forecasting curve are explained, respectively.
Using self-trained bilexical preferences to improve disambiguation accuracy
Authors: Gertjan van Noord
Venue: Proceedings of the 10th International Conference on Parsing Technologies (2007)

A method is described to incorporate bilexical preferences between phrase heads, such as selection restrictions, in a Maximum-Entropy parser for Dutch. The bilexical preferences are modelled as association rates which are determined on the basis of a very large parsed corpus (about 500M words). We show that the incorporation of such self-trained preferences improves parsing accuracy significantly.
Dynamic Real-Time Resource Provisioning for Massively Multiplayer Online Games
Authors: Radu Prodan, Vlad Nae, Thomas Fahringer, Herbert Jordan
Venue: Proceedings of the 10th International Conference on Parallel Computing Technologies (2009)

Massively Multiplayer Online Games (MMOG) are a class of computationally-intensive client-server applications with severe real-time Quality of Service (QoS) requirements, such the number of updates per second each client needs to receive from the servers for a fluent and realistic experience. To guarantee the QoS requirements, game providers currently over-provision a large amount of their resources, which makes the overall efficiency of provisioning and utilisation of resources rather low and prohibits any but the largest providers from joining the market.To address this deficiency, we propose a new prediction-based method for dynamic resource provisioning and scaling of MMOGs in distributed Grid environments. Firstly, a load prediction service anticipates the future game world entity distribution from historical trace data using a fast and flexible neural network-based method. On top of it, we developed generic analytical game load models used to foresee future hot-spots that congest the game servers and make the overall environment fragmented and unplayable. Finally, a resource allocation service performs dynamic load distribution, balancing, and migration of entities that keep the game servers reasonably loaded such that the real-time QoS requirements are maintained.
Defining Agency: Individuality, Normativity, Asymmetry, and Spatio-temporality in Action
Authors: Xabier E. Barandiaran, Ezequiel Di Paolo, Marieke Rohde
Venue: Adaptive Behavior - Animals, Animats, Software Agents, Robots, Adaptive Systems (2009)

The concept of agency is of crucial importance in cognitive science and artificial intelligence, and it is often used as an intuitive and rather uncontroversial term, in contrast to more abstract and theoretically heavily weighted terms such as intentionality , rationality, or mind. However, most of the available definitions of agency are too loose or unspecific to allow for a progressive scientific research program. They implicitly and unproblematically assume the features that characterize agents, thus obscuring the full potential and challenge of modeling agency. We identify three conditions that a system must meet in order to be considered as a genuine agent: (a) a system must define its own individuality, (b) it must be the active source of activity in its environment (interactional asymmetry), and (c) it must regulate this activity in relation to certain norms (normativity). We find that even minimal forms of proto-cellular systems can already provide a paradigmatic example of genuine agency. By abstracting away some specific details of minimal models of living agency we define the kind of organization that is capable of meeting the required conditions for agency (which is not restricted to living organisms). On this basis, we define agency as an autonomous organization that adaptively regulates its coupling with its environment and contributes to sustaining itself as a consequence. We find that spatiality and temporality are the two fundamental domains in which agency spans at different scales. We conclude by giving an outlook for the road that lies ahead in the pursuit of understanding, modeling, and synthesizing agents.
An E-commerce System Structure Research Based on WSH
Authors: Zhang Shengwen, Wu Bo, Wang Xiangbing
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

How to develop an appropriate web application based on Browser/Server structure in E-commerce enterprises with framework and design patterns in JAVAEE, as is stated above, this thesis did research on Webwork, Spring and Hibernate frameworks, and analyzed each framework's function in web application layer. An architecture is integrated with the three frameworks which is suitable for enterprise web application. The architecture hands business logic of Webwork to Spring; utilize beans configuration to manage the related classes; manage objects' relation of between controller anddata accessobject throughSpring and make data persistence by Hibernate. At last, a project is implemented by the application of designed architecture. The result shows the system does not depend on platform has the characteristics of high maintainability, expansibility and reusability.
Application of the TOPSIS Based on Entropy-AHP Weight in Nuclear Power Plant Nuclear-Grade Equipment Supplier Selection
Authors: Guang Yang, Wenjie Huang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

Nuclear power plants (NPPs) has their special characteristics, which both on product safety and on the life cycle of supplier, thus evaluation and selection of the equipment supplier requires independent evaluation index system, based on establishing an evaluation index system, an framework is proposed to address the supplier selection problem in NPP application of improved technique for order preference by similarity to ideal solution (TOPSIS) weighted by analytical hierarchy process (AHP) and entropy value, where it calculates all the indexes’ weights and the distances between the supplier and the ideal solution to find each suppliers’ closeness coefficient. Then the ranking of the suppliers are determined according to their results. Finally, for application and verification, an empirical study is performed to demonstrate the integrated model and identify the suitable supplier(s).
Pro BizTalk 2009, 2nd edition
Authors: George Dunphy, Sergei Moukhnitski, Harold Campos, Stephen Kaufman, Peter Kelcey, David Peterson
Venue:  (2009)

A compendium of best practices and implementation wisdom, Pro BizTalk 2009 is a revision of the highly-successful and best-selling Pro BizTalk 2006. The book has been fully updated to cover the latest developments in BizTalk 2009. Youll find all-new chapters on topics such as developing WCF-compliant adapters using the WCF LOB adapter SDK, connecting BizTalk to IBM mainframe line-of-business applications and data using the Host Integration Server adapter, and riding the Enterprise Service Bus. All other chapters in the book have been updated to reflect the latest developments in BizTalk 2009. Pro BizTalk 2009 is based upon real feedback from BizTalk developers. It is written by recognized experts George Dunphy and Sergei Moukhnitski, backed by a team of top-notch coauthors. The book is a labor of love in which the authors share their experiences and expertise to teach you the art of creating a BizTalk solution using the right tools from the BizTalk 2009 toolbox. Fully updated to cover the latest developments in BizTalk 2009 Focuses on the art of creating a BizTalk solution by helping readers choose the right tool from the BizTalk toolbox for the task at hand Based upon the reallife experience of authors with many years of practice implementing BizTalk solutions for large enterprises What youll learn Create automated business processes that span disparate systems, even for those systems that were developed using disparate technologies. Apply each of the tools within BizTalk in their intended manner. Tune BizTalk servers for optimal performance. Implement sound disasterrecovery plans for BizTalk environments. Build for success upon recognized design patterns and best practices. Create a solid BizTalk development environment. Who is this book for? Pro BizTalk 2009 is aimed at two audiences: those developing BizTalk solutions and those who must manage the BizTalk servers upon which those solutions deploy. Both camps must have a working knowledge of the other side. Developers will find in this book an excellent guide to programming effectively with BizTalk. Administrators will find what they need to smoothly deploy BizTalkbased solutions. About the Apress Pro Series The Apress Pro series books are practical, professional tutorials to keep you on and moving up the professional ladder. You have gotten the job, now you need to hone your skills in these tough competitive times. The Apress Pro series expands your skills and expertise in exactly the areas you need. Master the content of a Pro book, and you will always be able to get the job done in a professional development project. Written by experts in their field, Pro series books from Apress give you the hardwon solutions to problems you will face in your professional programming career.
Weighted Bisimulation in Linear Algebraic Form
Authors: Michele Boreale
Venue: Proceedings of the 20th International Conference on Concurrency Theory (2009)

We study bisimulation and minimization for weighted automata, relying on a geometrical representation of the model, linear weighted automata (lwa). In a lwa, the state-space of the automaton is represented by a vector space, and the transitions and weighting maps by linear morphisms over this vector space. Weighted bisimulations are represented by sub-spaces that are invariant under the transition morphisms. We show that the largest bisimulation coincides with weighted language equivalence, can be computed by a geometrical version of partition refinement and that the corresponding quotient gives rise to the minimal weighted-language equivalence automaton. Relations to Larsen and Skou's probabilistic bisimulation and to classical results in Automata Theory are also discussed.
A Method for Removing the Impulse in Image Processing
Authors: Lijie Zhang, Haili Yin
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

By investigating into the directional derivatives, a method used to remove the salt and pepper noise in image processing is proposed in this paper. Numerical experiments prove that this method can filt the impulse noise from the noised images efficiently. Furthermore, comparing with the median filter, it also does well in keeping the outline and details of processed images.
A distributed spatial index for error-prone wireless data broadcast
Authors: Baihua Zheng, Wang-Chien Lee, Ken C. Lee, Dik Lun Lee, Min Shao
Venue: The VLDB Journal &mdash; The International Journal on Very Large Data Bases (2009)

Information is valuable to users when it is available not only at the right time but also at the right place. To support efficient location-based data access in wireless data broadcast systems, a distributed spatial index (called DSI) is presented in this paper. DSI is highly efficient because it has a linear yet fully distributed structure that naturally shares links in different search paths. DSI is very resilient to the error-prone wireless communication environment because interrupted search operations based on DSI can be resumed easily. It supports search algorithms for classical location-based queries such as window queries and kNN queries in both of the snapshot and continuous query modes. In-depth analysis and simulation-based evaluation have been conducted. The results show that DSI significantly out-performs a variant of R-trees tailored for wireless data broadcast environments.
Building a spectrum map for future cognitive radio technology
Authors: Yun Li, Trung Tran Quang, Yoshihiro Kawahara, Tohru Asami, Masanori Kusunoki
Venue: Proceedings of the 2009 ACM workshop on Cognitive radio networks (2009)

Monitoring the spectrum utilization and capturing the available spectrum bands is the groundwork for the Cognitive Radio (CR) technologies. Because the spectrum management has been a politically as well as a technically sensitive issue, it is usually very hard to access the open data of real spectrum usage. In this sense, we believe grass-roots data collections are important. For these collections to be worthy of spectrum investigations, we need to reduce several noises inserted during monitoring because of the diversity of measurement environments. In addition to this, data visualization must be provided end users with intuitive understanding about the results of the analysis. This paper presents the basic requirements for the data format of grass-roots spectrum data collections and the visualization process using Virtual Earth platform to be accessed from the public. We then show a prototype system named SpectrumMap to aim at visualizing location-based or time-based information of spectrum resources and promoting research on the future CR solutions with user-friendly interfaces. Integrating spectrum analyzer, GPS (Global Positioning System) and the Virtual Earth platform, a mashup of spectrum utilization in two-dimensional (2D) and three-dimensional (3D) views is demonstrated for mobile as well as static environments.
Research on Intelligent Temperature and Humidity Memory Instrument Based on USB Interface
Authors: Xiaoshun Zhao, Huali Yu, Shuxia Lui
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

The instrument uses a single chip relative humidity and temperature multi sensor SHT11 module comprising a calibrated digital output, which can measure temperature and relative humidity of environment at any moment, timely and real time. It displays temperature-humidity value, dew point value, date and time at the same time by lattice graphics LCM (Liquid Crystal Display Module) HGO12864. Temperature-humidity value and relevant time are saved in nonvolatile FRAM (Ferroelectric Random Access Memory) FM31256, which can assure data do not lose after power of system fail. Real-time data or data in FM31256 can be upload PC by USB interface, and then is protracted temperature-humidity history curve or real-time curve by internet applications. It can not only calculate maximum, minimum, average and variance among random measuring period of time but also make further statistics and analysis, report forms printing, and setup basic measure parameters of instrument. Its power supply is 3.6V Li-battery or 220V AC. It is low power-consuming, high precision, plug and play and better universal performance.