ppxscal/embedding_network huggingface dataset:
Multi-Agent System Process Control Ontology
Authors: Wim Zeiler, Gert Boxem, Rinus Houten, Perica Savanovic, Joep Velden, Janfokko Haan, Willem Wortel, Paul Noom, Rene Kamphuis
Venue: Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications (2009)

An optimal energy infrastructure is essential for adequate indoor comfort. In the design process of energy infrastructures there is no shared understanding (i.e. an ontology) of the design activities to come to an integral design of building and comfort systems.The purpose of this paper is to achieve an understanding of design activities in the context of designing architecture for Multi agents to optimize process control of the energy infrastructure of a building in relation to its surroundings.This paper presents a perspective of ontology of design activities in the Flexergy project based on the shared understanding by professionals of what each specific design activity entails. The Flexergy project aims to develop a multi-agent concept for innovative process control of a Flex(ible en)ergy infrastructure for buildings in relation to their environment and their internal processes.
CMMI Process Improvement Project in ComputerLand
Authors: Lilianna Wierzchon
Venue: Proceeding of the 2005 conference on Software Engineering: Evolution and Emerging Technologies (2005)

The paper describes the approach, which was applied by Polish IT company ComputerLand in CMMI Process Improvement Project. The free tool Interim Maturity Evaluation based on Capability Maturity Model Integrated for Systems Engineering, Software Engineering, Integrated Product and Process Development, and Supplier Sourcing, v1.1 was applied to introduce to ComputerLand's staff the CMMI model and perform self assessment of the current processes in development, implementation and project management teams.
Forecast Accuracy Uncertainty and Momentum
Authors: Bing Han, Dong Hong, Mitch Warachka
Venue: Management Science (2009)

We demonstrate that stock price momentum and earnings momentum can result from uncertainty surrounding the accuracy of cash flow forecasts. Our model has multiple information sources issuing cash flow forecasts for a stock. The investor combines these forecasts into an aggregate cash flow estimate that has minimal mean-squared forecast error. This aggregate estimate weights each cash flow forecast by the estimated accuracy of its issuer, which is obtained from their past forecast errors. Momentum arises from the investor gradually learning about the relative accuracy of the information sources and updating their weights. Empirical tests validate the model's prediction of stronger momentum in stocks with large information weight fluctuations and high forecast dispersion. We also identify return predictability attributable to changes in the information weights.
Palmprint Verification Using Circular Gabor Filter
Authors: Azadeh Ghandehari, Reza Safabakhsh
Venue: Proceedings of the Third International Conference on Advances in Biometrics (2009)

Recently,researchers have been paying an excessive amount of attention to biometric palmprint which has gained popularity and received significant prominence due to its high stability and uniqueness. In this study, two certain filters have been taken into consideration, namely Gabor filter and Circular Gabor filter which are used to obtain feature information from two distinguishing regions of interest, square and inscribed circle areas as the central part sub-images and the two palmprint images are compared with one another in terms of their hamming distance. The outcomes of the experiment gave an indication to the fact that circular Gabor Filter had a comparatively better performance than traditional one in extracting distinct feature information.
Ontology-Driven Information Systems: Past, Present and Future
Authors: Michael Uschold
Venue: Proceeding of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008) (2008)

We trace the roots of ontology-drive information systems (ODIS) back to early work in artificial intelligence and software engineering. We examine the lofty goals of the Knowledge-Based Software Assistant project from the 80s, and pose some questions. Why didn't it work? What do we have today instead? What is on the horizon? We examine two critical ideas in software engineering: raising the level of abstraction, and the use of formal methods. We examine several other key technologies and show how they paved the way for today's ODIS. We identify two companies with surprising capabilities that are on the bleeding edge of today's ODIS, and are pointing the way to a bright future. In that future, application development will be opened up to the masses, who will require no computer science background. People will create models in visual environments and the models will be the applications, self-documenting and executing as they are being built. Neither humans nor computers will be writing application code. Most functionality will be created by reusing and combining pre-coded functionality. All application software will be ontology-driven.
The arrigo showcase reloaded&mdash;towards a sustainable link between 3D and semantics
Authors: Sven Havemann, Volker Settgast, René Berndt, Øyvind Eide, Dieter W. Fellner
Venue: Journal on Computing and Cultural Heritage (JOCCH) (2009)

It is still a big technical problem to establish a relation between a shape and its meaning in a sustainable way. We present a solution with a markup method that allows for labeling parts of a 3D object very much like labeling parts of a hypertext. A 3D markup can serve both as hyperlink and as link anchor, which is the key to bidirectional linking between 3D objects and Web documents. Our focus is on a sustainable 3D software infrastructure for application scenarios ranging from email and Internet over authoring and browsing semantic networks to interactive museum presentations. We demonstrate the workflow and the effectiveness of our tools by redoing the Arrigo 3D Showcase. We are working towards a best practice example for information modeling in cultural heritage.
Employ MultiAgent to Make BPM Proactive
Authors: Qing Mao, Lei Yuan, Jian Huang
Venue: Proceeding of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006 (2006)

Process-Oriented and Agent-Oriented are both emerging views of software and have their advantages and disadvantages respectively. What presents a striking contrast is that the process-oriented BPM is passive while the agent-orient MAS is proactive. Therefore, this paper employs MultiAgent to eliminate the passivity of BPM so as to make BPM proactive. It gives the architecture of the proposed MultiAgent-employed BPM and the design of the MultiAgent. This work is critically important as it serves as a bridge from existing, static views of BPM to future, agent-based, dynamic BPM.
Role of Models in Knowledge Transfer during OO Software Development
Authors: Oksana Nikiforova, Marite Kirikova, Wita Wojtkowski
Venue: Proceeding of the 2006 conference on Information Modelling and Knowledge Bases XVII (2006)

Formal and semi-formal transfer of knowledge in the conventional object-oriented software development is seriously impaired. This occurs because it is impossible to assure both completeness and consistency of the initial body of knowledge from which the knowledge transfer may commence. In this paper we propose that better utilization of the formal transfer of knowledge requires the focus on the functional aspects of the problem domain to a much higher degree than it is currently customary. We propose that the two hemisphere model based approach, where the problem domain knowledge is expressed in terms of the business process model and the conceptual model, offers effective as well as efficient knowledge transfer mechanism, if sufficiently complete and consistent, explicit and structured, problem domain knowledge is available.
Electronics - Circuits and Systems, Third Edition, 3rd edition
Authors: Owen Bishop
Venue:  (2007)

The coverage of Electronics - Circuits and Systems has been carefully matched to the electronics units of the 2007 BTEC National Engineering and the latest AS and A Level specifications in Electronics from AQA, OCR and WJEC. However, rather than following the structure of a particular syllabus, the material is organised with a logical learning progression, making it ideal for a wide range of vocational, pre-degree and introductory undergraduate courses in electronics.The text is presented in a proven and engaging way. 'Self Test' features, multiple-choice and end of chapter revision questions help students check their understanding. Activities are suitable for practicals, homework and other assignments. Key facts, formulae and definitions are highlighted to aid revision, and theory is backed up by numerous examples throughout the book. New in this edition are 'On the Web' features to help familiarise the student with the use of the Web as a source of technical information.The third edition includes five new chapters on electrical and magnetic fields, diodes, oscillators, integrated circuits, and industrial process control systems, and several other chapters have been expanded to reflect the increasing importance of digital electronics and microcontroller systems.A free companion website features:Animated diagrams showing electronic circuits in actionCalculators for electronic formulaeInteractive worksheets and multiple-choice tests with help prompts and answersAnswers to the numeric end of chapter revision and to all multiple choice questions in the bookExtra maths supportPowerPoint presentation of a selection of illustrations from the textbook, for use in presentations and handouts * Highly accessible and visual learning style which encourages independent and practical work* Companion website with interactive learning material* Fully up to date with the 2007 BTEC National and the latest A Level specifications 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
Modelling and Prediction of Electronically Controlled Automotive Engine Power and Torque Using Support Vector Machines
Authors: P. K. Wong, C. M. Vong, Y. P. Li, L. M. Tam
Venue: Proceeding of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005 (2005)

Modern automotive engines are controlled by the electronic control unit (ECU). The electronically controlled automotive engine power & torque is significantly affected with effective tune-up of ECU. Current practice of ECU tune-up relies on the experience of the automotive engineer. Therefore, engine tine-up is usually done by trial-and-error method because a mathematical power & torque model of the electronically controlled engine has not been determined yet. With an emerging technique, Support Vector Machines (SVM), the approximate power & torque model of an electronically controlled vehicle engine can be determined by training the sample data acquired from the dynamometer. This model can be used for the engine performance prediction. The construction and accuracy of the model are also discussed in this paper. The study shows that the predicted results are good agreement with the actual test results.
Augmented social cognition: using social web technology to enhance the ability of groups to remember, think, and reason
Authors: Ed H. Chi
Venue: Proceedings of the 35th SIGMOD international conference on Management of data (2009)

We are experiencing a new Social Web, where people share, communicate, commiserate, and conflict with each other. As evidenced by systems like Wikipedia, twitter, and delicious.com, these environments are turning people into social information foragers and sharers. Groups interact to resolve conflicts and jointly make sense of topic areas from "Obama vs. Clinton" to "Islam." PARC's Augmented Social Cognition researchers -- who come from cognitive psychology, computer science, HCI, CSCW, and other disciplines -- focus on understanding how to "enhance a group of people's ability to remember, think, and reason". Through Social Web systems like social bookmarking sites, blogs, Wikis, and more, we can finally study, in detail, these types of enhancements on a very large scale. Here we summarize recent work and early findings such as: (1) how conflict and coordination have played out in Wikipedia, and how social transparency might affect reader trust; (2) how decreasing interaction costs might change participation in social tagging systems; and (3) how computation can help organize user-generated content and metadata.
A Systematic Classification of Argumentation Frameworks where Semantics Agree
Authors: Pietro Baroni, Massimiliano Giacomin
Venue: Proceeding of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008 (2008)

The issue of characterizing classes of argumentation frameworks where different semantics agree has been considered in the literature with main focus on the relationships between agreement and topological properties. This paper contributes to this kind of investigation from a complementary perspective, by introducing a systematic classification of agreement classes concerning a comprehensive set of argumentation semantics on the basis of properties of their sets of extensions only. In particular, it is shown that 14 distinct classes out of 120 nominal ones exist, and a complete analysis of their set-theoretical relationships is carried out.
Near Admissible Algorithms for Multiobjective Search
Authors: Patrice Perny, Olivier Spanjaard
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

In this paper, we propose near admissible multiobjective search algorithms to approximate, with performance guarantee, the set of Pareto optimal solution paths in a state space graph. Approximation of Pareto optimality relies on the use of an epsilon-dominance relation between vectors, significantly narrowing the set of non-dominated solutions. We establish correctness of the proposed algorithms, and discuss computational complexity issues. We present numerical experimentations, showing that approximation significantly improves resolution times in multiobjective search problems.
PLM paradigm: How to lead BPR within the Product Development field
Authors: M. Bertoni, M. Bordegoni, U. Cugini, D. Regazzoni, C. Rizzi
Venue: Computers in Industry (2009)

The design and implementation of a PLM solution in a cross-company environment is a complex and labour intensive operation, which is often coupled with a Business Process Re-engineering (BPR) project to better deploy technologies as well as methodologies and to target the system implementation on the real company needs. Enterprise Modelling (EM) languages are typically used to collect and share process knowledge among the BPR participants. Plenty of techniques are actually available at this scope and it is not always easy to understand how to select and use them in the different steps of re-engineering. The main purpose of this paper is to perform a qualitative analysis of three well known EM languages (IDEF, UML and ARIS) and to propose a new methodology, based on their integrated use, supporting BPR efforts in the Product Development domain.
ProtVirDB
Authors: Jayashree Ramana, Dinesh Gupta
Venue: Bioinformatics (2009)

Summary: ProtVirDB is a comprehensive and user-friendly web-based knowledgebase of virulent proteins belonging to protozoan species. The database will facilitate research and provide an integrated platform for comparative studies of virulent proteins in different parasitic protozoans and organize them under a unifying classification schema with functional categories. Remarkably, one-third of the protein sequences in the database showed presence of either mono-or hetero-repeats, or both concomitantly—hence reiterating the importance of repeats in parasite virulence mechanisms. A number of useful bioinformatics tools including BLAST and tools for phylogenetic analysis are integrated with the database. With the rapidly burgeoning interest in the pathogenesis mechanisms of protozoans and ongoing genome sequencing projects, we anticipate that the database will be a useful tool for the research community. Availability: http://bioinfo.icgeb.res.in/protvirdb Contact: dinesh@icgeb.res.in Supplementary information:Supplementary data are available at Bioinformatics online
Challenging E Learning in the University: Society for Research Into Higher Education, 1st edition
Authors: Robin Goodfellow, Mary Lea
Venue:  (2007)

This book takes a new approach to the growing field of e-learning in higher education. It provides an alternative perspective to the 'how to do it' books on e-learning. Instead the authors argue that in order to develop e-learning in the university we need to understand the texts and practices that are involved in learning and teaching using online and web-based technologies. It develops an approach which draws together social and cultural approaches to literacies, learning and technologies, illustrating these in practice through the exploration of case studies. The book will be of particular interest to educational developers who are concerned with the promises offered, but rarely delivered, with each new iteration of learning with technologies.
Autoepistemic Theory and Paraconsistent Logic Program
Authors: Kazumi Nakamatsu, Atsuyuki Suzuki
Venue: Proceeding of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005 (2005)

We clarify the relation between autoepistemic theories and a paraconsistent logic program called Vector Annotated Logic Program (VALPSN for short) proposed by K.Nakamatsu et al. We review the stable class semantics for VALPSN and propose a translation from Moor's autoepistemic theories to VALPSN. Based on the translation, we prove that there is a one-to-one correspondence between stable classes of VALPSN and iterative expansion classes of autoepistemic theories.
Use of High Performance Computing in Meteorology: Proceedings of the Twelfth ECMWF Workshop
Authors: George Mozdzynski
Venue:  (2007)

Geosciences particularly numerical weather predication, are demanding the highest levels of computer power available. The European Centre for Medium-Range Weather Forecasts, with its experience in using supercomputers in this field, organizes a workshop every other year bringing together manufacturers, computer scientists, researchers and operational users to share their experiences and to learn about the latest developments. This volume provides an excellent overview of the latest achievements and plans for the use of new parallel techniques in the fields of meteorology, climatology and oceanography. 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
VoIP: A comprehensive survey on a promising technology
Authors: Stylianos Karapantazis, Fotini-Niovi Pavlidou
Venue: Computer Networks: The International Journal of Computer and Telecommunications Networking (2009)

The Internet has burgeoned into a worldwide information superhighway during the past few years, giving rise to a host of new applications and services. Among them, Voice over IP (VoIP) is the most prominent one. Beginning more as a frolic among computer enthusiasts, VoIP has set off a feeding frenzy in both the industrial and scientific communities and has the potential to radically change telephone communications. In this article, we survey all these aspects that have the greatest impact on the quality of voice communications over IP networks. The survey begins with the merits and demerits of VoIP, followed by the Quality of Service (QoS) requirements that voice imposes and a description of test methods for the assessment of speech quality. We then proceed with a delineation of the issues related to the conversion of analog voice to packets, namely we spell out the details of the most well-known voice codecs, while light is also thrown on voice activity detection and voice packetization. Header compression schemes receive intense scrutiny as well. We also provide an overview of the signaling protocols that are tailored to the needs of VoIP, and we continue with the comparison of the call admission schemes that are geared towards the QoS constraints of VoIP. The pivotal issue of security is then discussed, pointing out potential threats as well as approaches for tackling them. Finally, the survey concludes with a discussion on the feasibility of providing VoIP over challenging satellite links.
Prospects of Automatic Assessment of Step-by-Step Solutions in Algebra
Authors: Rein Prank
Venue: Proceedings of the 2009 Ninth IEEE International Conference on Advanced Learning Technologies (2009)

The paper describes how the features of sufficiently intelligent expression manipulation drill programs can be utilized to calculate numeric scores. The issues discussed include the ways of grading the progress achieved in unfinished solutions, penalization of mistakes, and measuring of economy. The treatment is based mainly on one existing program, T-algebra. The concluding part of the paper points out the key features required for different aspects of numeric grading.
Demonstration of unobservable voice over IP
Authors: Miroslav Knezevic, Vesselin Velichkov
Venue: Proceedings of the 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks (2008)

We describe UV: a two-node system for unobservable voice communication on the Internet. UV provides unobservability of communication by hiding the fact that there is a conversation taking place. To achieve this, the system uses techniques such as encryption, constant traffic generation, equal packet sizes, and a fixed packet sending schedule. We evaluate the influence of the constant traffic generation on the general performance of UV with experiments on the Internet and in a wireless setting simulated with network simulator NS2. We conclude that although the requirements for privacy protection and usability are often mutually exclusive, they can still be combined in a way that they offer both reasonable performance and good privacy protection.
Topic model methods for automatically identifying out-of-scope resources
Authors: Steven Bethard, Soumya Ghosh, James H. Martin, Tamara Sumner
Venue: Proceedings of the 9th ACM/IEEE-CS joint conference on Digital libraries (2009)

Recent years have seen the rise of subject-themed digital libraries, such as the NSDL pathways and the Digital Library for Earth System Education (DLESE). These libraries often need to manually verify that contributed resources cover topics that fit within the theme of the library. We show that such scope judgments can be automated using a combination of text classification techniques and topic modeling. Our models address two significant challenges in making scope judgments: only a small number of out-of-scope resources are typically available, and the topic distinctions required for digital libraries are much more subtle than classic text classification problems. To meet these challenges, our models combine support vector machine learners optimized to different performance metrics and semantic topics induced by unsupervised statistical topic models. Our best model is able to distinguish resources that belong in DLESE from resources that don't with an accuracy of around 70%. We see these models as the first steps towards increasing the scalability of digital libraries and dramatically reducing the workload required to maintain them.