ppxscal/embedding_network huggingface dataset:
Affect and Usage Choices in Simulation Problem-Solving Environments
Authors: Ma. Mercedes T. Rodrigo, Ryan S. J. d. Baker, Maria C. V. Lagud, Sheryl A. L. Lim, Alexis F. Macapanpan, Sheila A. M. S. Pascua, Jerry Q. Santillano, Leima R. S. Sevilla, Jessica O. Sugay, Sinath Tep, Norma J. B. Viehland
Venue: Proceeding of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work (2007)

We investigate the relationship between a student's affect and how he or she chooses to use a simulation problem-solving environment, using quantitative field observations. Within the environment studied, many students were observed gaming the system (cf. Baker et al, 2004), while few students engaged in off-task behavior. We analyze which affective states co-occur with gaming the system, and which affective states precede gaming behavior. Boredom and confusion appear both to precede gaming behavior and to co-occur with gaming behavior; delight and flow are negatively associated with gaming behavior.
Maximum Likelihood Motion Estimation in 3D Echocardiography through Non-rigid Registration in Spherical Coordinates
Authors: Andriy Myronenko, Xubo Song, David J. Sahn
Venue: Proceedings of the 5th International Conference on Functional Imaging and Modeling of the Heart (2009)

Automated motion tracking of the myocardium from 3D echocardiography provides insight into heart's architecture and function. We present a method for 3D cardiac motion tracking using non-rigid image registration. Our contribution is two-fold. We introduce a new similarity measure derived from a maximum likelihood perspective taking into account physical properties of ultrasound image acquisition and formation. Second, we use envelope-detected 3D echo images in the raw spherical coordinates format, which preserves speckle statistics and represents a compromise between signal detail and data complexity. We derive mechanical measures such as strain and twist, and validate using sonomicrometry in open-chest piglets. The results demonstrate the accuracy and feasibility of our method for studying cardiac motion.
Open source software adoption by South African MSEs: barriers and enablers
Authors: Jason Ellis, Jean-Paul Van Belle
Venue: Proceedings of the 2009 Annual Conference of the Southern African Computer Lecturers' Association (2009)

This paper explores the factors which influence the use of Open Source Software (OSS) by small and micro enterprises. OSS has been identified as a facilitator for small enterprises in emerging markets to implement an Information and Communication Technology (ICT) infrastructure at reduced cost. However, its diffusion in South Africa has been rather slow. This research aims to highlight OSS adoption factors applicable to small enterprises. The Technology-Organisation-Environment (TOE) framework was used to guide the data analysis. This research also attempts to identify additional factors which are unique to the context of this research and evaluate their implication on the OSS adoption decision. Although there are many factors influencing the adoption decision by smaller enterprises, the lack of knowledge and exposure were fundamental to the slow diffusion of OSS. Factors contributing to this lack of product knowledge were the lack of OSS marketing and easily accessible OSS vendors.
Advances in Intelligent and Distributed Computing: Proceedings of the 1st International Symposium on Intelligent and Distributed Computing IDC 2007, Craiova, ... 2007, 1st edition
Authors: Costin Badica, Marcin Paprzycki
Venue: Studies In Computational Intelligence (2007)

This book presents the proceedings of the 1st International Symposium on Intelligent and Distributed Computing IDC2007, held in Craiova, Romania, October 2007. IDC 2007 was the first International Symposium bringing together researchers involved in intelligent and distributed computing to allow cross-fertilization and search for synergies of ideas and to enable advancement of research in these exciting sub-fields of computer science. The 34 contributions in this book cover a broad area of topics related to intelligent and distributed computing, systems and applications, including: autonomous and adaptive computing; constraint satisfaction; cooperation and coordination; data mining and knowledge discovery; distributed problem solving and decision making; e-business, e-health and e-learning; genetic algorithms; image processing; information retrieval; or intelligence in mobile and ubiquitous computing.
GOBLET: An open-source geographic overlaying database and query module for spatial targeting in agricultural systems
Authors: C. Quiros, P. K. Thornton, M. Herrero, A. Notenbaert, E. Gonzalez-Estrada
Venue: Computers and Electronics in Agriculture (2009)

We describe the development of an open-source mapping and query utility. The impetus for its development came originally from the need to be able to locate, spatially, target populations of resource-poor livestock keepers in the developing world, and to identify livestock management interventions that may be appropriate for these households. The tool was developed using open-source software, to facilitate its transfer and use. It brings together a considerable amount of spatial data from many sources, and allows users to overlay these geographic areas to identify a ''domain'' where characteristics like human population, area, and the number of livestock may vary. The tool serves as the core of several applications, including an ex ante impact assessment framework to help answer questions relating to improved targeting of fodder interventions in Kenya, and a communication tool for poverty related information in Africa.
Explaining the Relevance of Court Decisions to Laymen
Authors: Gwen R. Wildeboer, Michel C. A. Klein, Elisabeth M. Uijttenbroek
Venue: Proceeding of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference (2007)

In the context of intelligent disclosure of case law, we report on our findings with respect to the presentation of relevant court decisions back to the laymen users. For this presentation we first localize the relevant legal concepts in the cases using shallow NLP techniques. Hereafter we investigated the use of techniques from the field of recommender systems, i.e. keyword style explanation and influence style explanation, to present the cases to the user in an understandable way. In order to find out if we succeeded in that respect, we conducted a small user satisfaction research. It shows promising results, and gives us some directions for future research.
Efficient symbolic computation of process expressions
Authors: Benoît Fraikin, Marc Frappier
Venue: Science of Computer Programming (2009)

This paper describes three optimization techniques for the eb^3 process algebra. The optimizations are expressed in a new deterministic operational semantics which is shown to be trace-equivalent to a traditional non-deterministic operational semantics. Internal action transitions are eliminated by an efficient preruntime analysis of the structure of a process expression. Execution environments are used to optimize variable instantiation using lazy evaluation. Non-determinism is eliminated by returning a choice between possible transitions. This new operational semantics is implemented in the eb^3pai process algebra interpreter to support the eb^3 method. The goal of this method is to automate the development of information systems using, among other mechanisms, efficient symbolic computation of process expressions.
Design decisions in workflow management and quality of work
Authors: Benny M. E. De Waal, Ronald Batenburg
Venue: International Journal of Information Systems and Change Management (2008)

In this paper, the design and implementation of a workflow management (WFM) system in a large Dutch social insurance organisation is described. The effect of workflow design decisions on the quality of work is explored theoretically and empirically, using the model of Zur Muehlen as a frame of reference. It was found among a total sample of 66 employees that there was no change in the experience of work quality before and after the introduction of the WFM system. There are however, significant differences in the quality of work before and after the WFM adoption if different functions are distinguished.
Towards Principles for Ontology Integration
Authors: Özgür L. Özçep
Venue: Proceeding of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008) (2008)

Resolving conflicts based on ambiguities in the public vocabulary is one of the challenges in semantic integration. Though different suggestions for resolving (ambiguity) conflicts with semantic integration operators exist, there is still a need for clear formalizations of adequacy criteria for the operators. In this article, adequacy criteria for semantic integration similar to rationality postulates of classical belief revision but adjusted to the semantic integration scenario are formalized. The criteria are intended to capture integration settings in which the integration candidates are well developed ontologies with a shared public vocabulary. In such cases, both ontologies have to be preserved in some form in the integration result and have to be recoverable from the integration result. Additionally, the integration result has to be consistent and provide connections between the integrated ontologies. The criteria are applied by evaluating a small collection of integration operators that solve conflicts deriving from ambiguities in the public vocabulary.
The Complete Raw Workflow Guide: How to get the most from your raw images in Adobe Camera Raw, Lightroom, Photoshop, and Elements
Authors: Philip Andrews
Venue:  (2007)

One of the most important technologies a photographer can master is shooting and working with raw images. However, figuring out the best way to work with raw files can be confusing and overwhelming. What's the advantage to working in raw? How do you manage, organize, and store raw files? What's the best way to process your files to meet your photographic needs? How do Photoshop, Lightroom and Adobe Camera Raw work together? Is it possible to keep your photos in the raw format and still enhance them extensively? Philip Andrews answers these questions and more in his all-new essential raw workflow guide. Whether you are a beginner just starting to explore the intricacies of shooting raw, or a seasoned pro looking for a better workflow, this book provides all of the information you need to know to create stunning images from your raw files. As well as covering the most popular raw software packages such as Adobe Camera Raw and Lightroom, it provides general information that you will find useful no matter which software you prefer. Clear, precise step-by-step instructions will help you get from start to finish with essential tips and tricks along the way. Packed with inspirational images and clearly marked screenshots pointing out the exact information you need, you'll be on your way to creating a better, faster, and more efficient raw workflow in no time. .Covers the entire raw workflow from beginning to end to help you solve the mysteries of this powerful technology .See the power of a truly non-destructive, raw-based workflow.Completely up-to-date to get you up to speed fast with the new features in software packages such as Adobe Photoshop, Elements, Adobe Camera Raw, and Lightroom .Full-color photographs and screenshots provide essential illustrations in an easy to follow step-by-step format that shows you exactly how to work with your raw files 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
Growth of Teacher Understanding of Mathematics within a CSCL Environment
Authors: Rod Nason, Mathew McDougall
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 study focused on growth of understanding about ratios and fractions by a group of four pre-service teachers engaged in a computer-supported collaborative learning (CSCL) environment. Participation in the CSCL environment was found to facilitate the processes of “folding back” and “thickening” [1] of mathematical concepts and thus contributed to the pre-service teachers making considerable advances in their understanding of ratios and fractions.
Discriminative k-metrics
Authors: Arthur Szlam, Guillermo Sapiro
Venue: Proceedings of the 26th Annual International Conference on Machine Learning (2009)

The k q-flats algorithm is a generalization of the popular k-means algorithm where q dimensional best fit affine sets replace centroids as the cluster prototypes. In this work, a modification of the k q-flats framework for pattern classification is introduced. The basic idea is to replace the original reconstruction only energy, which is optimized to obtain the k affine spaces, by a new energy that incorporates discriminative terms. This way, the actual classification task is introduced as part of the design and optimization. The presentation of the proposed framework is complemented with experimental results, showing that the method is computationally very efficient and gives excellent results on standard supervised learning benchmarks.
Computational Intelligence in Bioinformatics
Authors: Gary B. Fogel, David W. Corne, Yi Pan
Venue: Ieee Press Series On Computational Intelligence (2007)

Combining biology, computer science, mathematics, and statistics, the field of bioinformatics has become a hot new discipline with profound impacts on all aspects of biology and industrial application. Now, Computational Intelligence in Bioinformatics offers an introduction to the topic, covering the most relevant and popular CI methods, while also encouraging the implementation of these methods to readers' research.
Adaption system of the continuous voltage level for controlling the water flow adjustment at the secondary cooling in the continuous casting process
Authors: Corina Daniela Cuntan, Ioan Baciu
Venue: Proceedings of the 7th WSEAS international conference on System science and simulation in engineering (2008)

In order for the input measures of a Fuzzy controller to cover the entire 0 ÷ 1 interval, is needed to achieve some adaption circuits of these, aiming to obtain high information's processing accuracy. This work is presenting such a circuit, that allows the adjustment of the output voltage from the temperature transducers for the water flow's control system at the secondary cooling. In order to cover the entire control range of the water flow in the secondary cooling, it was designed a translation circuit of the temperature transducers' output voltage so that to be compatible with the input parameters of the Fuzzy regulator included in the continuous casting process' adjustment loop. A model of this circuit was achieved by means of the MULTISIM simulation program, thereby being obtained a linear variation of the output partameters for each adjustment step in part.
Using a fuzzy classification approach to assess e-commerce Web sites: An empirical investigation
Authors: Duanning Zhou, Wayne Wei Huang
Venue: ACM Transactions on Internet Technology (TOIT) (2009)

E-commerce Web site assessment helps determine whether a corporation's Web site is effectively designed to meet its business needs and whether the investment in Web sites is well justified. Due to the complexity of commercial Web sites that may include hundreds of Web pages for many big corporations, there may inevitably exist uncertainties when human assessors express their subjective judgments in assessing e-commerce Web sites. Fuzzy set theory is widely used to model uncertain and imprecise information in applications. Prior studies in e-commerce Web site assessment identified some key factors to assess commercial Web sites by using a numeric assessment scale that may not be effective and efficient in modeling uncertainty. This study intends to propose an e-commerce Web site assessment framework using a fuzzy classification approach. Based on this framework, a Web-based e-commerce assessment system was designed and developed, which can provide online assessment services to corporations on evaluating their commercial Web sites. An empirical investigation into assessing commercial Web sites of the top 120 Fortune Corporations of the USA was conducted using the developed online assessment system to demonstrate the usefulness of the proposed framework. Research findings and implications are discussed.
A framework to support spatial, temporal and thematic analytics over semantic web data
Authors: Amit Sheth
Venue:  (2008)

Spatial and temporal data are critical components in many applications. This is especially true in analytical applications ranging from scientific discovery to national security and criminal investigation. The analytical process often requires uncovering and analyzing complex thematic relationships between disparate people, places and events. Fundamentally new query operators based on the graph structure of Semantic Web data models, such as semantic associations, are proving useful for this purpose. However, these analysis mechanisms are primarily intended for thematic relationships. This dissertation proposes a framework built around the RDF data model for analysis of thematic, spatial and temporal relationships between named entities. We present a spatiotemporal modeling approach that uses an upper-level ontology in combination with temporal RDF graphs. A set of query operators that use graph patterns to specify a form of context are formally defined, and an extension of the W3C-recommended SPARQL query language to support these query operators is presented. We also describe an efficient implementation of the framework that extends a state-of-the-art commercial database system. We demonstrate the scalability of our approach with a performance study using both synthetic and real-world RDF datasets of over 25 million triples.
Integrating physical constraints in HW-SW partitioning for architectures with partial dynamic reconfiguration
Authors: Sudarshan Banerjee, Elaheh Bozorgzadeh, Nikil D. Dutt
Venue: IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2006)

Partial dynamic reconfiguration is a key feature of modern reconfigurable architectures such as the Xilinx Virtex series of devices. However, this capability imposes strict placement constraints such that even exact system-level partitioning (and scheduling) formulations are not guaranteed to be physically realizable due to placement infeasibility. We first present an exact approach for hardware-software (HW-SW) partitioning that guarantees correctness of implementation by considering placement implications as an integral aspect of HW-SW partitioning. Our exact approach is based on integer linear programming (ILP) and considers key issues such as configuration prefetch for minimizing schedule length on the target single-context device. Next, we present a physically aware HW-SW partitioning heuristic that simultaneously partitions, schedules, and does linear placement of tasks on such devices. With the exact formulation, we confirm the necessity of physically-aware HW-SW partitioning for the target architecture. We demonstrate that our heuristic generates high-quality schedules by comparing the results with the exact formulation for small tests and with a popular, but placement-ua-naware scheduling heuristic for a large set of over a hundred tests. Our final set of experiments is a case study of JPEG encoding--we demonstrate that our focus on physical considerations along with our consideration of multiple task implementation points enables our approach to be easily extended to handle heterogenous architectures (with specialized resources distributed between general purpose programmable logic columns). The execution time of our heuristic is very reasonable--task graphs with hundreds of nodes are processed (partitioned, scheduled, and placed) in a couple of minutes.
Control Techniques for Complex Networks, 1st edition
Authors: Sean Meyn
Venue:  (2007)

Power grids, flexible manufacturing, cellular communications: interconnectedness has consequences. This remarkable book gives the tools and philosophy you need to build network models detailed enough to capture essential dynamics but simple enough to expose the structure of effective control solutions and to clarify analysis. Core chapters assume only exposure to stochastic processes and linear algebra at the undergraduate level; later chapters are for advanced graduate students and researchers/practitioners. This gradual development bridges classical theory with the state-of-the-art. The workload model that is the basis of traditional analysis of the single queue becomes a foundation for workload relaxations used in the treatment of complex networks. Lyapunov functions and dynamic programming equations lead to the celebrated MaxWeight policy along with many generalizations. Other topics include methods for synthesizing hedging and safety stocks, stability theory for networks, and techniques for accelerated simulation. Examples and figures throughout make ideas concrete. Solutions to end-of-chapter exercises available on a companion website.
Independent factor topic models
Authors: Duangmanee (Pew) Putthividhya, Hagai T. Attias, Srikantan Nagarajan
Venue: Proceedings of the 26th Annual International Conference on Machine Learning (2009)

Topic models such as Latent Dirichlet Allocation (LDA) and Correlated Topic Model (CTM) have recently emerged as powerful statistical tools for text document modeling. In this paper, we improve upon CTM and propose Independent Factor Topic Models (IFTM) which use linear latent variable models to uncover the hidden sources of correlation between topics. There are 2 main contributions of this work. First, by using a sparse source prior model, we can directly visualize sparse patterns of topic correlations. Secondly, the conditional independence assumption implied in the use of latent source variables allows the objective function to factorize, leading to a fast Newton-Raphson based variational inference algorithm. Experimental results on synthetic and real data show that IFTM runs on average 3--5 times faster than CTM, while giving competitive performance as measured by perplexity and loglikelihood of held-out data.
Improvement in NBTI reliability of Si-passivated Ge/high-k/metal-gate pFETs
Authors: B. Kaczer, J. Franco, J. Mitard, Ph. J. Roussel, A. Veloso, G. Groeseneken
Venue: Microelectronic Engineering (2009)

State-of-the-art germanium-based p-channel FET devices are shown to have normal Negative Bias Temperature Instability (NBTI) behavior typically observed in Silicon-based pFETs. Furthermore, NBTI in Ge pFETs is reduced with respect to their Si counterparts. This improvement quantitatively corresponds to the reduction due to the tunneling barrier for holes formed by the Si passivation layer. A strong reduction in the permanent NBTI component is ascribed to a higher initial number of interface states.