ppxscal/embedding_network huggingface dataset:
Toward structure preserving model reduction for analysis and simulation in micro-technology
Authors: Yousof Gheisari
Venue: Proceedings of the 8th WSEAS international conference on Microelectronics, nanoelectronics, optoelectronics (2009)

A new method for conversion of the state-space reduced model into a second order representation is proposed. It is an important step to recover the second order structure of the system in model reduction, in particular when we are dealing with mechanical systems with second order structure which frequently happen in micro-technology. The conversion method is straightforward and easily applicable for both SISO and MIMO systems. The method can be applied to the reduced order systems for the second order model reduction. The proposed method is better than previous works in this context because it does not impose any constrain for implementation and each system in the state-space form can be an input for the proposed conversion method.
Software engineering assessments and learning outcomes
Authors: Khairuddin Hashim, Nurul Naslia Khairuddin
Venue: Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems (2009)

Learning outcomes of software engineering-based courses require assessors to design assessment questions matching defined cognitive levels. This is to ensure students who take software engineering courses are assessed effectively and are imparted with the right level of knowledge and skill-sets. This paper outlines the application of Bloom's Taxonomy in software engineering assessment and the matching of assessments with learning outcomes. Sample questions are given and categorized according to the relevant Bloom's Taxonomy levels. This paper aims to assist software engineering teaching and learning; and improve the quality of software engineering assessment.
A mediator-based approach to ontology generation and querying of molecular and phenotypic cereals data
Authors: Antonio Sala, Sonia Bergamaschi
Venue: International Journal of Metadata, Semantics and Ontologies (2009)

We describe the development of the CEREALAB ontology, an ontology of molecular and phenotypic cereals data, that allows identifying the correlation between the phenotype of a plant with its molecular data. It is realised by integrating public web databases with the database developed by the research group of the CEREALAB laboratory. Integration is obtained semi-automatically by using the Mediator envirOnment for Multiple Information Sources (MOMIS) system, a data integration system developed by the Database Group of the University of Modena and Reggio Emilia, and allows querying the integrated data sources regardless of the specific languages of the source databases.
SAP XI Transaction Codes: SAP XI Transaction Codes, Tables, and Frequently Asked Questions
Authors: Gajendra Bhakuni
Venue:  (2008)

The Ultimate Reference & Learning Guide for the SAP Professional! No more digging through menu items - go straight to the transaction. Covers SAP XI ~ Exchange Infrastructure Transaction codes are the key to working in the SAP and SAP XI environments; however, a user-friendly and thorough resource can be difficult to locate. From helping you to locate a transaction you haven't used in a while to helping you unlock new functionality in SAP XI, this guide has what you need to work faster. In addition to acting as a handy reference, this guide will help you set yourself apart from other SAP professionals - as knowing the right transaction code can often make a difference in a job interview. This book contains comprehensive transaction code listings for SAP XI, XI tables, and Exchange Infrastructure FAQ. This book will help you understand what you need to know, and what you can safely ignore in SAP XI. Key topics include: General XI Configuration Questions, Answers, and Explanations SAP XI Installation, Authorization, and Security SAP XI Adapter & Adapter Engine FAQ SAP XI Transaction Codes, SAP XI Tables 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
Ownership for relationships
Authors: Paley Li, Stephen Nelson, Alex Potanin
Venue: International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (2009)

Ownership systems express hierarchical data structures well but can have difficulty expressing relationships between peers. Relationships systems, on the other hand, do not address ownership issues. This paper considers the recent work on relationship systems in the context of ownership, and presents ideas for adding ownership to relationship systems.
Hybrid Reasoning with Forest Logic Programs
Authors: Cristina Feier, Stijn Heymans
Venue: Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications (2009)

Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasoning procedures exist. In this paper, we provide a sound, complete, and terminating algorithm for satisfiability checking w.r.t. forest logic programs, a fragment where rules have a tree shape and allow for inequality atoms and constants. We further introduce f-hybrid knowledge bases, a hybrid framework where $\mathcal SHOQ$ knowledge bases and forest logic programs co-exist, and we show that reasoning with such knowledge bases can be reduced to reasoning with forest logic programs only. We note that f-hybrid knowledge bases do not require the usual (weakly) DL-safety of the rule component, providing thus a genuine alternative approach to hybrid reasoning.
JavaFX: Developing Rich Internet Applications, 1st edition
Authors: Jim Clarke, Jim Connors, Eric J. Bruno
Venue: Java Series (2009)

Build Rich Applications that Run on the Desktop, the Web, Mobile Devices...Anywhere! Using JavaFX, developers and graphic designers can work together to build robust, immersive applications and deploy them anywhere: on the desktop, on the Web, and on millions of Java-enabled mobile devices. JavaFX lets you maintain your existing graphics and seamlessly integrate them into Java applications. Plus, JavaFX Script is a declarative language that allows you to preserve your investment in the Java platform while allowing more creativity with JavaFXs Rich Internet Application environment. JavaFX: Developing Rich Internet Applications brings together all the knowledge, techniques, and reusable code you need to quickly deliver production-quality solutions. Writing for both developers and designers, the authors explain how JavaFX simplifies and improves the RIA development process, and they show how to make the most of its ready-built components and frameworks. JavaFX covers everything from data integration to multimedia, special effects to REST. The authors present a full chapter of code recipes and a complete case study application. This books wide-ranging content includes Building and running JavaFX programs Understanding the role of graphics designers in creating JavaFX Graphical Assets Writing fast, efficient JavaFX Script programs Using data binding to simplify Model-View-Controller application design Creating rich user experiences with JavaFX visual components Bringing user interfaces to life with lighting, reflection, and other special effects Adding motion with the JavaFX animation framework Incorporating pictures, sound, and videos in your applications Creating RESTful applications with JSON and XML Writing JavaFX applications that make the most of the underlying Java platform The Java Series is supported, endorsed, and authored by the creators of the Java technology at Sun Microsystems, Inc. It is the official place to go for complete, expert, and definitive information on Java technology. The books in this Series provide the inside information you need to build effective, robust, and portable applications and applets. The Series is an indispensable resource for anyone targeting the Java platform.
SystemC-based HW&#47;SW co-simulation platform for system-on-chip (SoC) design space exploration
Authors: Y. W. Hau, M. Khalil-Hani
Venue: International Journal of Information and Communication Technology (2009)

The development of digital designs today is much more complex than before, as they now impose more severe demands and require greater number of functionalities to be conceived. The current approach, based on the register transfer level (RTL) design methods, can result in extremely long simulation time compounded with time-consuming verification process. Hence, today digital system design begins with modelling at a higher level of design abstraction, that is, the electronic system level (ESL). This paper presents a hardware-software (HW&#47;SW) co-simulation environment based on SystemC for application in the design of system-on-chip (SoC). We discuss the SystemC modelling of the hardware and the software parts of the system, and the interprocess communication module of the co-simulation platform. Its objective is to help designers obtain an appropriate HW&#47;SW partitioning that satisfy specified area-speed design tradeoffs. Besides, an early system verification can also be carried out with a high simulation speed. A case study of a SoC implementing elliptic curve cryptography (ECC) is presented to validate the co-simulation platform in terms of system functionality verification and design space exploration.
Dynamics of human interactions within large alliances of artificial systems
Authors: Zdeněk Votruba, Mirko Novák
Venue: Proceedings of the 2009 Euro American Conference on Telematics and Information Systems: New Opportunities to increase Digital Citizenship (2009)

The following questions are discussed in this contribution: &bull; Character of contemporary artificial Systems and System Alliances and data structures representing them, &bull; Possibilities of multidimensional data analysis and multidimensional mining the hidden knowledge, &bull; Character of Alliance interactions with human subjects, &bull; Possibilities of an improvement of Alliance interactions reliability. Some of the presented ideas and propositions are based on the results obtained dominantly in 2008 and to some extent also a few years ago, within the frame of projects ME 949 of the Ministry of Education of the Czech Republic, 1F84B042520 of the Ministry of Transportation of the Czech Republic, 102/07/1191 of the Grant agency of Czech Republic and IAA201240701 of the grant agency of the Academy of Sciences of the Czech Republic.
Web 2 technologies for net native language learners: A “social call”
Authors: Andrea Kárpáti
Venue: ReCALL (2009)

In order to make optimal educational use of social spaces offered by thousands of international communities in the second generation web applications termed Web 2 or Social Web, ICT competences as well as social skills are needed for both teachers and learners. The paper outlines differences in competence structures of Net Natives (who came of age in the 21st century) and the Net Generation of the 1980s and 1990s who evolve in response to changes between Web 1 and Web 2 technologies. Virtual educational environments in the age of the Social Web represent a perfect embodiment of the Constructionist paradigm: they offer shared discussion and work spaces instead of presentation tools, coaching utilities instead of help desks, and digital learning resource repositories instead of ready-made learning materials. LRE, the European Learning Resource Exchange, and several collaborative web based services and applications will be presented, to illustrate the interrelated change in educational software design and use. New teaching and learning aids require and at the same time inspire new educational theories. The trialogical learning paradigm that invites all educational stakeholders to work on shared objects of inquiry and development and thus develop epistemic agency will be offered as a foundation for a ‘social CALL’.
Efficient monte carlo methods for light transport in scattering media
Authors: Henrik Wann Jensen, Matthias Zwicker
Venue:  (2008)

In this dissertation we focus on developing accurate and efficient Monte Carlo methods for synthesizing images containing general participating media. Participating media such as clouds, smoke, and fog are ubiquitous in the world and are responsible for many important visual phenomena which are of interest to computer graphics as well as related fields. When present, the medium participates in lighting interactions by scattering or absorbing photons as they travel through the scene. Though these effects add atmosphere and considerable depth to rendered images they are computationally very expensive to simulate. Most practical solutions make simplifying assumptions about the medium in order to maintain efficiency. Unfortunately, accurate and efficient simulation of light transport in general scattering media is a challenging undertaking. In this dissertation, we address this problem by introducing two complementary techniques. We first turn to the irradiance caching method for surface illumination. Irradiance caching gains efficiency by computing an accurate representation of lighting only at a sparse set of locations and reusing these values through interpolation whenever possible. We derive the mathematical concepts that form the foundation of this approach and analyze its strengths and weaknesses. Drawing inspiration from this algorithm, we then introduce a novel volumetric radiance caching method for efficiently simulating global illumination within participating media. In developing the technique we also introduce efficient methods for evaluating the gradient of the lighting within participating media. Our gradient analysis has immediate applicability for improved interpolation quality in both surface and media-based caching methods. We also develop a novel photon mapping technique for participating media. We present a theoretical reformulation of volumetric photon mapping, which provides significant new insights. This reformulation makes it easier to qualify the error introduced by the radiance estimate but, more importantly, also allows us to develop more efficient rendering techniques. Conventional photon mapping accelerate the computation of lighting at any point in the scene by performing density estimation. In contrast, our reformulation accelerates the computation of accumulated lighting along the length of entire rays. This algorithmic improvement provides for significantly reduced render times and even the potential for real-time visualization of light transport in participating media.
Teaching Strategies Ontology Using SWRL Rules
Authors: Eric Wang, Leila Kashani, Yong Se Kim
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)

We present an ontology to represent generic teaching strategies in an intelligent tutoring system framework. The learning contents, learner's state, and system actions are modeled in just enough detail to support the definition of teaching strategies. Teaching strategies are organized into a hierarchy of teaching goals, and are represented using SWRL rules.
MySQL 5.1 Cluster DBA Certification Study Guide
Authors: Jon Stephens, Mike Kruckenberg, Roland Bouman, Stewart Smith, Solomon Chang
Venue:  (2007)

The MySQL certification program is a carefully developed, high-quality certification process that can help you prove your skills in developing, maintaining, and administering MySQL databases and applications. The Certified MySQL Cluster Database Administrator (CMCDBA) title takes your Database Administrator skills even further by helping you specialize in advanced, bleeding-edge technology used in some of the most highly demanding and complex data centers and applications in the world. Covering the Certified MySQL 5.1 Cluster Database Administrator exam, this study guide is the one authority to look to when you're preparing for the test. The book teaches you all the concepts, principles, and techniques that you'll need to know for the exam, with many practice questions and real-world examples help you prepare for test day. Whatever your reason for becoming certified, this book gives you the information you need to better understand MySQL Cluster technologies and prepare for the exams.
Color constancy based on local space average color
Authors: Marc Ebner
Venue: Machine Vision and Applications (2009)

Light, which is reflected from an object, varies with the type of illuminant used. Nevertheless, the color of an object appears to be approximately constant to a human observer. The ability to compute color constant descriptors from reflected light, is called color constancy. In order to solve the problem of color constancy, some assumptions have to be made. One frequently made assumption is that on average, the world is gray. We address the problem of color constancy and focus on the use of space average color for color constancy. Instead of computing global space average color we suggest to use local space average color as the illuminant frequently varies across an image. We discuss several different methods on how to compute local space average color. The performance of the different algorithms as well as related algorithms is evaluated on an object recognition task. Algorithms based on local space average color are simple, yet highly effective for the problem of color constancy. Such algorithms are particularly suited for object recognition tasks.
A methodology for eliciting and modeling exceptions
Authors: Mor Peleg, Judith Somekh, Dov Dori
Venue: Journal of Biomedical Informatics (2009)

Exceptions in safety-critical systems must be addressed during conceptual design and risk analysis. We developed a conceptual model of exceptions, a methodology for eliciting and modeling exceptions, and templates for modeling them in an extension of the Object-Process Methodology (OPM)-a system analysis and design methodology and language that uses a single graphical model for describing systems, including their timing exceptions, which has been shown to be an effective modeling methodology. Using an antibiotics treatment guideline as a case study, we demonstrate the value of our approach in eliciting and modeling exceptions that occur in clinical care systems.
GENTORO: a system for supporting children's storytelling using handheld projectors and a robot
Authors: Masanori Sugimoto, Toshitaka Ito, Tuan Ngoc Nguyen, Shigenori Inagaki
Venue: Proceedings of the 8th International Conference on Interaction Design and Children (2009)

This paper describes a system called GENTORO that uses a robot and a handheld projector for supporting children's storytelling activities. GENTORO differs from many existing systems in that children can make a robot play their own story in a physical space augmented by mixed-reality technologies. A user study conducted in collaboration with elementary school children and teachers indicates that GENTORO's features can enhance children's embodied participation in, and their level of engagement with, their storytelling activities, and can support children in designing and expressing creative and original stories
Cancelable Biometrics with Perfect Secrecy for Correlation-Based Matching
Authors: Shinji Hirata, Kenta Takahashi
Venue: Proceedings of the Third International Conference on Advances in Biometrics (2009)

In this paper, we propose a novel method of Cancelable Biometrics for correlation-based matching. The biometric image is transformed by Number Theoretic Transform (Fourier-like transform over a finite field), and then the transformed data is masked with a random filter. By applying a particular kind of masking technique, the correlation between the registered image and the input matching image can be computed in masked domain (i.e., encrypted domain) without knowing the original images. And we proved theoretically that in our proposed method the masked version does not leak any information of the original image, in other words, our proposed method has perfect secrecy. Additionally, we applied our proposed method to finger-vein pattern verification and experimentally obtained very high verification performance.
Revision classes for explicit versioning
Authors: Susanne Cech Previtali, Michele Schäuble, Thomas R. Gross
Venue: Proceedings of the Workshop on AOP and Meta-Data for Software Evolution (2009)

The source code of software is typically managed by version control systems that keep track of the different versions of files over time. As versioning is associated with a file and not a class, the versioning mechanism is semantically detached from the actual source code. This paper introduces the concept of revision classes. Revision classes provide an explicit versioning mechanism for classes that, similar to inheritance, allows the developer to redefine existing class members and add new class members in a new version. This explicit versioning mechanism allows the developer to explicitly declare the deltas to a previous version. The developer may reflect on the necessity of updates and thus errors can be avoided that sneak into the source code by inconsiderate changes.
A model of grid service capacity
Authors: Youcef Derbal
Venue: Journal of Computer Science and Technology (2007)

Computational grids (CGs) are large scale networks of geographically distributed aggregates of resource clusters that may be contributed by distinct organizations for the provision of computing services such as model simulation, compute cycle and data mining. Traditionally, the decision-making strategies underlying the grid management mechanisms rely on the physical view of the grid resource model. This entails the need for complex multi-dimensional search strategies and a considerable level of resource state information exchange between the grid management domains. In this paper we argue that with the adoption of service oriented grid architectures, a logical service-oriented view of the resource model provides a more appropriate level of abstraction to express the grid capacity to handle incoming service requests. In this respect, we propose a quantification model of the aggregated service capacity of the hosting environment that is updated based on the monitored state of the various environmental resources required by the hosted services. A comparative experimental validation of the model shows its performance towards enabling an adequate exploitation of provisioned services.
The effects of computer algebra systems on students' achievement in mathematics
Authors: Shawn M. Fitzgerald
Venue:  (2008)

This meta-analysis sought to investigate the overall effectiveness of computer algebra systems (CAS) instruction, in comparison to non-CAS instruction, on students&rsquo; achievement in mathematics at pre-college and post-secondary institutions. The study utilized meta-analysis on 31 primary studies (102 effect sizes, N = 7,342) that were retrieved from online research databases and search engines, and explored the extent to which the overall effectiveness of CAS was moderated by various study characteristics. The overall effect size, 0.38, was significantly different from zero. The mean effect size suggested that a typical student at the 50th percentile of a group taught using non-CAS instruction could experience an increase in performance to the 65th percentile, if that student was taught using CAS instruction. The fail-safe N, Nfs, hinted that 11,749 additional studies with nonsignificant results would be needed to reverse the current finding. Three independent variables (design type, evaluation method, and time) were found to significantly moderate the effect of CAS. The current results do not predict future trends on the effectiveness of CAS; however, these findings suggest that CAS have the potential to improve learning in the classroom. Regardless of how CAS were used, the current study found that they contributed to a significant increase in students&rsquo; performance.