ppxscal/embedding_network huggingface dataset:
Boolean and classical restriction categories
Authors: Robin Cockett, Ernie Manes
Venue: Mathematical Structures in Computer Science (2009)

A restriction category is an abstract category of partial maps. A Boolean restriction category is a restriction category that supports classical (Boolean) reasoning. Such categories are models of loop-free dynamic logic that is deterministic in the sense that Q ⊂ [α]Q. Classical restriction categories are restriction categories with a locally Boolean structure: it is shown that they are precisely full subcategories of Boolean restriction categories. In particular, a Boolean restriction category may be characterised as a classical restriction category with finite coproducts in which all restriction idempotents split. Every restriction category admits a restriction embedding into a Boolean restriction category. Thus, every abstract category of partial maps admits a conservative extension that supports classical reasoning. An explicit construction of the classical completion of a restriction category is given.
Estimation and inference in the yield curve model with an instantaneous error term
Authors: M. Ubukata, M. Fukushige
Venue: Mathematics and Computers in Simulation (2009)

Many variations exist of yield curve modeling based on the exponential components framework, but most do not consider the generating process of the error term. In this paper, we propose a method of yield curve estimation using an instantaneous error term generated with a standard Brownian motion. First, we add an instantaneous error term to Nelson and Siegel's instantaneous forward rate model [C.R. Nelson, A.F. Siegel, Parsimonious modeling of yield curves, Journal of Business 60 (1987) 473-489]. Second, after differencing multiperiod spot rate models transformed using Nelson and Siegel's instantaneous forward rate model [C.R. Nelson, A.F. Siegel, Parsimonious modeling of yield curves, Journal of Business 60 (1987) 473-489], we obtain a model with serially uncorrelated error terms because of independent increment properties of Brownian motion. As the error term in this model is heteroskedastic and not serially correlated, we can apply weighted least squares estimation techniques. That is, this specification of the error term does not lead to incorrect estimation methods. In an empirical analysis, we compare the instantaneous forward rate curves estimated by the proposed method and an existing method. We find that the shape from the proposed estimation equation differ from the latter method when fluctuations in the interest rate data used for the estimation are volatile.
A fast heuristic for quay crane scheduling with interference constraints
Authors: Christian Bierwirth, Frank Meisel
Venue: Journal of Scheduling (2009)

This paper considers the problem of scheduling quay cranes which are used at sea port container terminals to load and unload containers. This problem is studied intensively in a recent stream of research but still lacks a correct treatment of crane interference constraints. We present a revised optimization model for the scheduling of quay cranes and propose a heuristic solution procedure. At its core a Branch-and-Bound algorithm is applied for searching a subset of above average quality schedules. The heuristic takes advantage from efficient criteria for branching and bounding the search with respect to the impact of crane interference. Although the used techniques are quite standard, the new heuristic produces much better solutions in considerably shorter run times than all algorithms known from the literature.
Asset market equilibrium: A simulation
Authors: T. Fukiharu
Venue: Mathematics and Computers in Simulation (2009)

This paper examines how an asset price is determined in a market, and how it changes as circumstances in the market change, making use of a standard asset price model. The motivation of the paper is to examine if the model can explain a bubble economy in which individuals are risk averse. It is known that if the relative risk aversion of an investor's utility function does not exceed 1 and is not decreasing, the equilibrium asset price declines when uncertainty increases with respect to the prospect of a dividend receipt. In this paper we examine if there is any utility function which provides the counter example, one in which the asset price rises despite increased uncertainty. Starting from a two period maximization problem with risk aversion, with certain dividends for the two periods, it is shown that if uncertainty is introduced for the second period, the exponential utility function provides this counter example. It is shown that in this particular case that the asset in question has the characteristics of a Giffen good when the asset price is already high. However, when uncertainty is introduced for two periods, the exponential utility function does not provide this counter example. Thus, when uncertainty is not as great, the income effect may raise the asset price despite increased uncertainty. It is also found that a quadratic utility function may explain the collapse of a bubble economy. The standard asset price model is formulated as the pure-exchange economy, without production. Finally, this paper points out that the existence of an asset price may be guaranteed even if production is incorporated into the standard model so long as a certain degree of uniformity is assumed about the distribution of the investors' initial possession of assets.
MAHIS-Based Analysis and Design of Petroleum Reservoir Characterisation System
Authors: Chunsheng Li
Venue: Proceeding of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006 (2006)

Petroleum reservoir characterisation is a new practical technology for synthetically studying and evaluating petroleum reservoir. Reservoir properties are a set of parameters which are usually used to recognise the geologic information in spatial variability. Lithology, permeability, and porosity are widely used to determine the oil well or field production rate of hydrocarbon. Since the complexity of the underground geology, a single intelligent technique can not solve the complicated and elaborate geologic problems. It is necessary that those geologic problems are synthetically studied by combining the multiple intelligent techniques. We employed neural networks, fussy algorithms, expert system, etc. to solve complicated lithology identification, porosity prediction, permeability estimation, and well logs curve-digitizing in this paper. We analyse and design an agent-based hybrid intelligent system by following MAHIS (Methodology for constructing Agent-based Hybrid Intelligent System). The system starts with the digitisation of well logs parameter graphs based on expert system. Identification of lithology and prediction of porosity and permeability can be conducted by using hybrid intelligent techniques. Four intelligent technique agents (complicated lithology identification with parthenogenetic algorithm, porosity prediction with neural network, permeability estimation with fuzzy neural network, and well logs curve-digitizing with expert system) has been integrated.
Windows Mobile Data Synchronization with SQL Server 2005 and SQL Server Compact 3.1
Authors: Rob Tiffany, Catherine Wyatt
Venue:  (2007)

With the world's largest organizations rolling out tens of thousands of Windows Mobile devices to empower their respective workforces, the ability to create mobile line of business solutions that can support large user populations is critical. In his third book on mobile development, Rob Tiffany shows you how to take the SQL Server data you use to run your organization and make it available to all your mobile employees. He walks you step-by-step through the process of building a secure, performant, 4-tier mobile synchronization architecture designed to scale to thousands of users. You'll also learn how to create occasionally-connected Windows Mobile applications that are designed to thrive in unreliable wireless conditions. Take the guesswork out of mobilizing your organization by tapping into the experience of one of the world's foremost authorities on Windows Mobile infrastructure and development.
Growing at a perfect speed
Authors: M. h. Albert, S. a. Linton
Venue: Combinatorics, Probability and Computing (2009)

A collection of permutation classes is exhibited whose growth rates form a perfect set, thereby refuting some conjectures of Balogh, Bollobás and Morris.
An extended interpretation of process design and modeling
Authors: Stefan Jablonski, Stephanie Meerkamm
Venue: Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology (2009)

Business process modeling is nowadays generally accepted as a way to describe business activities. However existing process modeling languages are not always adequate for specific application domains. They are taken for granted and the development (design) of tailored languages is not taken into consideration. Therefore, we focus on process design and extend it in a way that its outcome is a new process modeling language that ideally meets the requirements of an application domain.
Effectiveness of Collaborative Learning in the Network-based Language Communities
Authors: Yuri Nishihori, Nozomu Nishinaga, Keizo Nagaoka, Yoko Collier-Sanuki, Kenji Tanaka, Yuichi Yamamoto, Masahiro Harada
Venue: Proceeding of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation (2005)

This paper discusses how the integration of a high-quality video-conferencing system, a chat system, and a web-based voting system promotes the establishment of effective network-based learning communities, particularly for cross-cultural language learning. The main objective is to evaluate the influence of such network-based communities on students' attitudes toward classroom activities. Our results suggest that the learning communities created by the integration of ICT provide an effective cross-cultural learning environment for students to respond to this type of language activity.
VLSI Circuit Design Methodology Demystified: A Conceptual Taxonomy
Authors: Liming Xiu
Venue:  (2007)

This book was written to arm engineers qualified and knowledgeable in the area of VLSI circuits with the essential knowledge they need to get into this exciting field and to help those already in it achieve a higher level of proficiency. Few people truly understand how a large chip is developed, but an understanding of the whole process is necessary to appreciate the importance of each part of it and to understand the process from concept to silicon. It will teach readers how to become better engineers through a practical approach of diagnosing and attacking real-world problems. 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
On the use of software models during software execution
Authors: Nelly Bencomo
Venue: Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering (2009)

Increasingly software systems are required to survive variations in their execution environment without or with only little human intervention. Such systems are called “eternal software systems”. In contrast to the traditional view of development and execution as separate cycles, these modern software systems should not present such a separation. Research in MDE has been primarily concerned with the use of models during the first cycle or development (i.e. during the design, implementation, and deployment) and has shown excellent results. In this paper the author argues that an eternal software system must have a first-class representation of itself available to enable change. These runtime representations (or runtime models) will depend on the kind of dynamic changes that we want to make available during execution or on the kind of analysis we want the system to support. Hence, different models can be conceived. Self-representation inevitably implies the use of reflection. In this paper the author briefly summarizes research that supports the use of runtime models, and points out different issues and research questions.
GPU-based real-time on-surface droplet flow in X3D
Authors: Yvonne Jung, Johannes Behr
Venue: Proceedings of the 14th International Conference on 3D Web Technology (2009)

This paper presents a method for the GPU-based real-time simulation of droplet flows on 3D surfaces. It is also outlined, how this approach can be embedded into X3D. Therefore, a concept and its implementation is presented, which is able to simulate droplet flow on almost any surface of a given 3D model. The droplet flow is advanced in time according to the applied external forces, and leaves a trail of liquid behind. Different viscosities are considered as well as the contact angles of droplets that are placed on the surface. Because simulation and rendering of droplet flow is completely handled on the GPU, all fluid information is hold entirely in texture memory. Hence, real-time framerates are achieved and moreover, the number of simulated drops does not influence performance.
PowerPoint Magic
Authors: Pamela Lewis
Venue:  (2007)

PowerPoint is an effective and engaging tool for communication, visualization, and graphic representation, allowing students to be active producers rather than passive consumers of multimedia. PowerPoint allows students to tap into creativity and skills beyond the traditional paper-and-pencil approach to projects. In PowerPoint Magic, lessons encourage students to select, organize, and integrate verbal and pictorial material to make sense of information and build understanding. Educators, whether PowerPoint newbies or seasoned pros, will appreciate how Pamela Lewis's lesson plans seamlessly integrate the software into regular content area curricula in compelling ways.PowerPoint Magic offers you everything you need to incorporate this flexible and powerful software into your classroom: an introduction to the software's basic functions and capabilities, step-by-step activity descriptions keyed to the NETS*S and content area standards, and teaching tips and extension ideas for promoting higher order thinking skills. Also included is a CD with a complete set of modifiable lesson templates and samples.Also available: Database Magic: Using Databases to Teach Curriculum in Grades 4-12 - ISBN 1564842452 Visual Arts Units for All Levels - ISBN 1564842428The International Society for Technology in Education (ISTE) is the trusted source for professional development, knowledge generation, advocacy and leadership for innovation. ISTE is the premier membership association for educators and education leaders engaged in improving teaching and learning by advancing the effective use of technology in PK-12 and teacher education. Home of the National Educational Technology Standards (NETS), the Center for Applied Research in Educational Technology (CARET), and ISTE's annual conference (formerly known as the National Educational Computing Conference, or NECC), ISTE represents more than 100,000 professionals worldwide. We support our members with information, networking opportunities, and guidance as they face the challenge of transforming education. Some of the areas in which we publish are: -Web. 2.0 in the classroom-RSS, podcasts, and more -National Educational Technology Standards (NETS) -Professional development for educators and administrators -Integrating technology into the classroom and curriculum -Safe practices for the Internet and technology -Educational technology for parents 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
Understanding a complex innovation process: identity management in Austrian e-government
Authors: Georg Aichholzer, Stefan Strauß
Venue: Proceedings of the 10th Annual International Conference on Digital Government Research: Social Networks: Making Connections between Citizens, Data and Government (2009)

There is an emerging global trend of systems for electronic identity management (e-IDMS). In Europe a number of countries are introducing e-IDMS in order to improve secure authentication in e-government as proposed by EU-Commission initiatives. This innovation process is shaped by several context factors (e.g. legal framework, actor constellation, socio-cultural structures). According to a theoretical framework mainly based on the concepts of actor-centered institutionalism and the transformative capacity of new technologies, this paper analyzes the innovation process and the related context factors by means of a case study of the e-IDMS in Austria. The analysis includes crucial parameters of the system design such as the complex techno-organizational infrastructure, the integrated ID-model with consideration of privacy aspects and the major factors that shaped the Austrian e-IDMS with regard to acceptance and usage of the e-ID. Finally, the paper points out significant aspects of the transformation pattern initiated by the e-IDMS.
Access 2007 Workbook For Dummies: For Dummies Computer/Tech
Authors: Joseph C. Stockman
Venue:  (2007)

Do you wish Access was more accessible? Do you wonder what to do with databases in the first place? If youve just been letting Access sit there as an anonymous icon on the Ribbon, Access 2007 Workbook For Dummies can open up new worlds for you. The coolest thing about this friendly, easy-to-follow workbook is that youll actually create a database that you can use to organize your own home media collection, if you like. In the process, you discover how to build a database from the ground up and some of the ways a database can be helpful, even if youre not a business mogul or an accountant. Using a problem-solution approach, Access 2007 Workbook For Dummies gives you plenty of chances to practice each step, so you gain confidence along with information. Youll discover how to: Set up Access and use database fundamentals Create a home media database from start to finish Build tables, relationships, forms, and reports Use select and action queries View and manipulate data Edit and build simple macros and use them to automate navigation Arrange controls on a form Build a user interface to add, edit, and update data Track every aspect of the media collection, including The bonus CD-ROM includes separate database files for each exercise and a video that walks you through each step of the more complex procedures. In no time youll find Access is no longer unapproachable. Note: CD-ROM/DVD and other supplementary materials are not included as part of eBook file. 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
Evolving the Database Co-Design Framework by SPICE
Authors: Hannu Jaakkola, Timo Mäkinen, Bernhard Thalheim, Timo Varkoi
Venue: Proceeding of the 2006 conference on Information Modelling and Knowledge Bases XVII (2006)

Information systems and database systems development is a very complex process. In the past database development has mainly be considered as development of database structuring. Interactivity specification and partially functionality specification has been neglected in the past. The derivability of functionality has been a reason for this restriction of the database design approach. At the same time, applications and the required functionality became more complex. Distribution specification is based on the description of collaboration and exchange frames. The integration of all these parts of the information systems design process has not yet been performed. The co-design approach aims in bridging all these different aspects of applications and provides additionally a sound methodology for development of all these aspects. The co-design framework is based on a number of steps that must be performed. These steps must be based on a well-recorded management, on a development stewardship and on a well-defined process and assessment framework. We used the SPICE framework for evolution of an information systems development methodology. This framework can be used by organizations involved in planning, managing, monitoring, controlling, and improving the acquisition, supply, development, operation, evolution and support of software.
Online/Realtime Structure and Motion for General Camera Models
Authors: Gerald Schweighofer, Sinisa Segvic, Axel Pinz
Venue: Proceedings of the 2008 IEEE Workshop on Applications of Computer Vision (2008)

This paper presents a novel algorithm for online structure and motion estimation. The algorithm works for general camera models and minimizes object space error, it does not rely on gradient-based optimization, and it is provably globally convergent. In comparison to previous work, which reports cubic complexity in the number of frames, our major contribution is a significant reduction of complexity. The new algorithm requires constant time per frame and can thus be used in online applications. Experimental results show high reconstruction accuracy with respect to simulated ground truth data. We also present two applications in artificial marker reconstruction and handheld augmented reality.
Stabilization arising from PGEM: A review and further developments
Authors: Rodolfo Araya, Gabriel R. Barrenechea, Leopoldo P. Franca, Frédéric Valentin
Venue: Applied Numerical Mathematics (2009)

The aim of this paper is twofold. First, we review the recent Petrov-Galerkin enriched method (PGEM) to stabilize numerical solutions of BVP's in primal and mixed forms. Then, we extend such enrichment technique to a mixed singularly perturbed problem, namely, the generalized Stokes problem, and focus on a stabilized finite element method arising in a natural way after performing static condensation. The resulting stabilized method is shown to lead to optimal convergences, and afterward, it is numerically validated.
Learning a model of speaker head nods using gesture corpora
Authors: Jina Lee, Stacy Marsella
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1 (2009)

During face-to-face conversation, the speaker's head is continually in motion. These movements serve a variety of important communicative functions. Our goal is to develop a model of the speaker's head movements that can be used to generate head movements for virtual agents based on a gesture annotation corpora. In this paper, we focus on the first step of the head movement generation process: predicting when the speaker should use head nods. We describe our machine-learning approach that creates a head nod model from annotated corpora of face-to-face human interaction, relying on the linguistic features of the surface text. We also describe the feature selection process, training process, and the evaluation of the learned model with test data in detail. The result shows that the model is able to predict head nods with high precision and recall.