ppxscal/embedding_network huggingface dataset:
Introducing pattern-based design for legal ontologies
Authors: Aldo Gangemi
Venue: Proceeding of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood (2009)

Ontology design is known to be a difficult task, requiring much more than expertise in an area or competence in logic; legal ontology design, due to the complexity of its domain, makes those difficulties worse. This may be partly due to poor support for requirement analysis in existing tools, but there is also an inherent gap between the purely logical constructs and methods that are expected to be used, and the actual competences and thought habits of legal domain experts. This paper presents some solutions, based on ontology design patterns, which are intended to make life of legal ontology designers easier. An overview of the typical tasks and services for legal knowledge is presented, the notion of ontology design pattern is introduced, and some excerpts of a reference ontology (CLO) and its related patterns are included, showing their utility in a simple legal modeling case.
How to Do Everything Microsoft Expression Web 2, 1st edition
Authors: Donna Baker
Venue:  (2009)

Master Microsoft Expression Web 2Build dynamic, standards-based web sites for personal or professional use with help from this easy-to-follow guide. How to Do Everything: Microsoft Expression Web 2 shows you how to use all of the versatile features this powerful web design tool has to offer. Screenshots along with detailed text demonstrate how to build your site, style it with Cascading Style Sheets, add multimedia, and enable interactivity. YouAnd#39;ll also get details on using PHP and ASP.NET. Now itAnd#39;s easier than ever to get your web site up and running!Build web pages and add and configure text and imagesLink content in your siteView and edit XHTML codeCreate and manage styles with Cascading Style SheetsLay out pages with dynamic web templates and layersOrganize content in tables and framesCreate JavaScript code to add behaviors for action and interactionInclude media elements using Silverlight, Flash, Microsoft Media, Java, and PodcastsCollect and validate information with formsBuild dynamic pages with PHP and create ASP.NET web pagesOptimize, test, publish, and manage your web site
Evaluating a Mixed-Initiative Authoring Environment: Is REDEEM for Real?
Authors: Shaaron Ainsworth, Piers Fleming
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

The REDEEM authoring tool allows teachers to create adapted learning environments for their students from existing material. Previous evaluations have shown that under experimental conditions REDEEM can significantly improve learning. The goals of this study were twofold: to explore if REDEEM could improve students' learning in real world situations and to examine if learners can share in the authoring decisions. REDEEM was used to create 10 courses from existing lectures that taught undergraduate statistics. An experimenter performed the content authoring and then created student categories and tutorial strategies that learners chose for themselves. All first-year psychology students were offered the opportunity to learn with REDEEM: 90 used REDEEM at least once but 77 did not. Students also completed a pre-test, 3 attitude questionnaires and their final exam was used as a post-test. Learning with REDEEM was associated with significantly better exam scores, and this remains true even when attempting to control for increased effort or ability of REDEEM users. Students explored a variety of categories and strategies, rating their option to choose this as moderately important. Consequently, whilst there is no direct evidence that allowing students this control enhanced performance, it seems likely that it increased uptake of the system.
Sequential result refinement for searching the biomedical literature
Authors: L. Y. Tanaka, J. R. Herskovic, M. S. Iyengar, E. V. Bernstam
Venue: Journal of Biomedical Informatics (2009)

Information overload is a problem for users of MEDLINE, the database of biomedical literature that indexes over 17 million articles. Various techniques have been developed to retrieve high quality or important articles. Some techniques rely on using the number of citations as a measurement of an article's importance. Unfortunately, citation information is proprietary, expensive, and suffers from ''citation lag.'' MEDLINE users have a variety of information needs. Although some users require high recall, many users are looking for a ''few good articles'' on a topic. For these users, precision is more important than recall. We present and evaluate a method for identifying articles likely to be highly cited by using information available at the time of listing in MEDLINE. The method uses a score based on Medical Subject Headings (MeSH) terms, journal impact factor (JIF), and number of authors. This method can filter large MEDLINE result sets (>1000 articles) returned by actual user queries to produce small, highly cited result sets.
Generalising Symbolic Knowledge in Online Classification and Prediction
Authors: Richard Dazeley, Byeong-Ho Kang
Venue: Knowledge Acquisition: Approaches, Algorithms and Applications: Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers (2009)

Increasingly, researchers and developers of knowledge based systems (KBS) have been incorporating the notion of context. For instance, Repertory Grids, Formal Concept Analysis (FCA) and Ripple-Down Rules (RDR) all integrate either implicit or explicit contextual information. However, these methodologies treat context as a static entity, neglecting many connectionists' work in learning hidden and dynamic contexts, which aid their ability to generalize. This paper presents a method that models hidden context within a symbolic domain in order to achieve a level of generalisation. The method developed builds on the already established Multiple Classification Ripple-Down Rules (MCRDR) approach and is referred to as Rated MCRDR (RM). RM retains a symbolic core, while using a connection based approach to learn a deeper understanding of the captured knowledge. This method is applied to a number of classification and prediction environments and results indicate that the method can learn the information that experts have difficulty providing.
The Green language type system
Authors: José de Oliveira Guimarães
Venue: Computer Languages, Systems and Structures (2009)

A programming language that considers basic values and classes as objects brings more opportunities of code reuse and it is easier to use than a language that does not support this feature. However, popular statically typed object-oriented languages do not consider classes as first-class objects because this concept is difficult to integrate with static type checking. They also do not consider basic values as objects for sake of efficiency. This article presents the Green language type system which supports classes as classless objects and offers a mechanism to treat basic values as objects. The result is a reasonably simple type system which is statically typed and easy to implement. It simplifies several other language mechanisms and prevents any infinite regression of metaclasses.
Recent Advances in Modeling and Simulation Tools for Communication Networks and Services, 1st edition
Authors: Nejat Ince, Nejat Ince, Arnold Bragg
Venue:  (2007)

This book contains a selection of papers presented at a symposium organized under the aegis of COST Telecommunications Action 285. COST (European Cooperation in the field of Scientific and Technical Research) is a framework for scientific and technical cooperation, allowing the coordination of national research on a European level. The main objective of the Action is to enhance existing tools and develop new modeling and simulation tools for research in emerging multi-service telecommunications networks in the areas of model performance improvements, multilayer traffic modeling, and the important issue of evaluation and validation of the new modeling tools.
Ontology tailoring in the Semantic Grid
Authors: Andrew Flahive, David Taniar, Wenny Rahayu, Bernady O. Apduhan
Venue: Computer Standards Interfaces (2009)

This paper presents a Service Oriented Architecture (SOA) approach to a distributed framework for reusing, extracting and extending large domain ontologies in the Semantic Grid environment. The conceptual level of the framework describes how sub-ontologies are extracted and extended with new features, while the architectural level of the framework describes the components of the framework. These components allow the sub-ontology extraction and extension process to be performed using shared resources in the Semantic Grid environment. A prototype of the framework is built using Web Services and a complexity evaluation measure is presented. The results of several simulations show that the sub-ontology extraction and extension process in the Semantic Grid is a viable solution and can be optimized by using better quality, initial labeling set.
Implementing a Layered Analytic Approach For Real-Time Modeling of Students' Scientific Understanding
Authors: Ron Stevens, Amy Soller
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

We have developed layered analytic models of how high school and university students construct, modify and retain problem solving strategies as they learn to solve science problems online. First, item response theory modeling is used to provide continually refined estimates of problem solving ability as students solve a series of simulations. In parallel, the strategies students apply are modeled by self-organizing artificial neural network analysis, using the actions that students take during problem solving as the classifying inputs. This results in strategy maps detailing the qualitative and quantitative differences among problem solving approaches. Learning trajectories across sequences of student performances are developed by applying Hidden Markov Modeling to stochastically model problem solving progress through the strategic stages in the learning process. Using this layered analytical approach we have found that students quickly adopt preferential problem solving strategies, and continue to use them up to four months later. Furthermore, the approach has shown that students working in groups solve a higher percentage of the problems, stabilize their strategic approaches quicker, and use a more limited repertoire of strategies than students working alone. In this paper, we also describe our ongoing and future work in developing an online collaborative learning environment that both models the group interaction and identifies which individual student contributions might contribute to increased achievement.
A viewpoint-based approach for interaction graph analysis
Authors: Sitaram Asur, Srinivasan Parthasarathy
Venue: Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining (2009)

Recent innovations have resulted in a plethora of social applications on the Web, such as blogs, social networks, and community photo and video sharing applications. Such applications can typically be represented as evolving interaction graphs with nodes denoting entities and edges representing their interactions. The study of entities and communities and how they evolve in such large dynamic graphs is both important and challenging. While much of the past work in this area has focused on static analysis, more recently researchers have investigated dynamic analysis. In this paper, in a departure from recent efforts, we consider the problem of analyzing patterns and critical events that affect the dynamic graph from the viewpoint of a single node, or a selected subset of nodes. Defining and extracting a relevant viewpoint neighborhood efficiently, while also quantifying the key relationships among nodes involved are the key challenges we address. We also examine the evolution of viewpoint neighborhoods for different entities over time to identify key structural and behavioral transformations that occur.
The Development and Validation of a Method for 4D Motion Reconstruction of a Left Ventricle
Authors: Michał Chlebiej, Marcin Denkowski, Krzysztof Nowiński
Venue: Proceedings of the International Conference on Computer Vision and Graphics: Revised Papers (2008)

Echocardiographic technology has currently reached a stage where it can provide 4D visual data revealing details of the real heart motion. Possibility of spatial reconstruction and quantitative description of such motion became very important task in today's cardiology. Unfortunately, because of the low quality such image data does not allow precise measurements. To overcome this problem images need to be processed further and moving structures have to be extracted. In this work we present a method for estimating heart motion from 3D echocardiographic image sequence. We also introduce a novel method for quantitative and qualitative validation of motion reconstruction.
Proceedings of the 4th international workshop on Services integration in pervasive environments
Venue: ICPS (2009)

It is our great pleasure to welcome you to the 4th ACM International Workshop on Services Integration in Pervasive Environments -- SIPE'09. In the last years, service-oriented computing and pervasive computing are emerging as the next computing paradigms. Service-oriented computing allows to easily develop, publish and use software functionalities. Pervasive computing rests on mobile and/or embedded devices, available anywhere and anytime, that can potentially provide services. Bringing these two trends together raises the new challenge of integrating/unintegrating, in an application, non-predefined services just discovered in the pervasive environment. The Services Integration in Pervasive Environments workshop aims at facilitating exchanges and discussions between researches, industrials and other contributors working on these topics. First year in Lyon, we have developed three sub-areas of this topic: the Semantic Service Discovery, the Service Composition and Frameworks and Middlewares for Integration. Second year in Istanbul, we have particularly detailed Services Interactions and Services Deployment. Last year, we have focused on Context-aware Services, Web Services and Applications. This year, we will concentrate on Guaranteeing Services Integration and some Ubiquitous Services.
Advances in Information Recording
Authors: Paul H. Siegel, Emina Soljanin, Adriaan J. Van Wijngaarden, Bane Vasic
Venue: Dimacs Series In Discrete Mathematics And Theoretical Computer Science (2008)

This book comprises a collection of articles stemming from a DIMACS Working Group and DIMACS Workshop on Theoretical Advances in Information Recording held at Rutgers University, Piscataway, NJ. Written by leading researchers in information theory and data storage technology, the articles address problems related to the efficient and reliable storage of information in devices based upon novel optical, magnetic, and biological recording mechanisms. The primary focus of the articles is on signal processing and coding techniques applicable to exploratory technologies being considered for future generations of storage devices, including two-dimensional optical storage (TwoDOS), heat-assisted magnetic recording (HAMR), and volumetric macro-molecular data storage. Specific topics addressed include channel equalization, timing recovery, data detection, modulation coding, and error control coding. Several articles explore the emerging connections between data storage, information theory, and the storage and processing of genetic information in living cells. Articles in the volume also illustrate the broader applicability of fundamental advances in information theory that have arisen in the context of information storage technology. The volume is suitable for graduate students and research scientists interested in applications of information theory, communication theory, and coding theory to man-made and natural data storage systems. Co-published with the Center for Discrete Mathematics and Theoretical Computer Science beginning with Volume 8. Volumes 1-7 were co-published with the Association for Computer Machinery (ACM).
An investigation on development of precision actuator for small robot
Authors: Joo Han Kim, Se Hyun Rhyu, In Soung Jung, Jung Moo Seo
Venue: Proceedings of the 9th WSEAS international conference on Robotics, control and manufacturing technology (2009)

In the last decade new technologies for manufacturing of precison mechanical components have been developed. Nowadays, the reduction of size and weight is very often one of the most important requirements in product design. Many applications in robotics, automation, medicine systems etc require powerful precison actuator. The powerful precision actuator has Speeds up to high speed and high output torque efficiencies. To accomplish a powerful precision actuator, these powerful motor have to be combined with gearhead of the same outer diameter. So, we have developed BLDC motor and planetary type gearheads as powerful precison actuator. The BLDC motor has advantages that compact structure, high efficiency, high reliability. The planetary type gear heads have advantages that same-axle structure, high torque transmission, low noise in comparison with spur gear heads. In this study included BLDC motor and planetary type gear heads design, manufacture for small robot.
Industrial Data Communications, 4th edition
Authors: Lawrence M. Thompson
Venue: Resources For Measurement And Control Series (2008)

Following the boom in networking and data communications advancements throughout industry, this fourth edition of an ISA best-seller gives technical professionals who have little or no background in data communications the knowledge they need to understand, troubleshoot, and maintain both legacy and leading-edge systems. The text emphasizes practical functional aspects of common systems rather than design criteria. It includes a complete description of relevant terminology, standards, and protocols including EIA/TIA 232, 485, and IEEE 802. New material in this edition includes updated information on 100 MBps and 1000 MBps Ethernet, RIP and OSPF router technologies, OLE for Process Control (OPC), ActiveX, and .NET, virtual private networks, and more. A complete glossary and index make the book especially useful as a handy desk reference. The growth and application of data communications in the industrial environment as well as emerging technologies are discussed. Contents: Historical Overview, Communication Foundations, Physical Layer and Data Link Standards, Local Area Networks, Network Operating Systems and LAN Management, Industrial Networks and Applications, Wide Area Networks. 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 Global Stability of Delayed BAM Stochastic Neural Networks with Markovian Switching
Authors: Yurong Liu, Zidong Wang, Xiaohui Liu
Venue: Neural Processing Letters (2009)

In this paper, the stability analysis problem is investigated for stochastic bi-directional associative memory (BAM) neural networks with Markovian jumping parameters and mixed time delays. Both the global asymptotic stability and global exponential stability are dealt with. The mixed time delays consist of both the discrete delays and the distributed delays. Without assuming the symmetry of synaptic connection weights and the monotonicity and differentiability of activation functions, we employ the Lyapunov---Krasovskii stability theory and the Itô differential rule to establish sufficient conditions for the delayed BAM networks to be stochastically globally exponentially stable and stochastically globally asymptotically stable, respectively. These conditions are expressed in terms of the feasibility to a set of linear matrix inequalities (LMIs). Therefore, the global stability of the delayed BAM with Markovian jumping parameters can be easily checked by utilizing the numerically efficient Matlab LMI toolbox. A simple example is exploited to show the usefulness of the derived LMI-based stability conditions.
Certification in the Indian Offshore IT Services Industry
Authors: Anandasivam Gopal, Guodong (Gordon) Gao
Venue: Manufacturing Service Operations Management (2009)

Third-party process certification programs such as the ISO 9001 and capability maturity model (CMM) have been widely adopted in recent years. In this study we employ three competing theoretical frameworks---signaling, efficiency gains, and institutional theory---to analyze the motivations for a firm to acquire quality certification and the performance implications thereafter. We test these hypotheses in the context of CMM certification based on data from the Indian offshore IT services industry between 1997 and 2002. Our results indicate that more cost-effective firms and export-oriented firms are more likely to seek out and acquire certification. In addition, CMM-certified firms show significant improvements in exports, but not on the firm's cost structure. Furthermore, our findings suggest that CMM certification helps indicate firm capabilities to potential customers and thus appear to be most consistent with signaling explanations of certification rather than the efficiency gains or institutional theories.
Proceedings of the 2009 international conference on Pervasive services
Venue: ICPS (2009)

This year's edition of the International Conference on Pervasive Services (ICPS 2009) will be held on the Imperial College campus in London, UK, July 13-16 2009. We hope that you will enjoy the conference program as well as the beautiful settings of IC in the heart of London. This year we decided to revamp the program based on suggestions and ideas we had while helping organizing last year's edition, and as a result a lot of extra work went into the truly collective effort of organizing the conference. A group of dedicated graduate students, post-docs and faculty members from different institutions volunteered their time to make this year's edition of ICPS successful. Domenico Cotroneo and Mark Baker as program chairs were responsible for putting together an exciting program with the help of the members of the Program Committee. Marcello Cinque as Workshop Chair was instrumental in successfully managing the workshops. Johann Bourcier with some help from one of us (Julie) as Local Arrangements Chairs did an excellent job in arranging for the conference venue and the social events. The wide geographical representation of author nationalities is certainly to be credited to our dedicated Publicity Chairs, namely Dario Pompili and Ichiro Satoh. The novelties in the program of the conference for this year were the addition of tutorials, and of a focused panel session. Marcello did a great job in soliciting and selecting proposals. One of us (Julie) was especially involved in recruiting participants for the main panel session, which will be moderated by Manish Parashar. Based on the success of the demo session we had last year (the first one at a ICPS conference), we are having another one such session this year; Christian Prehofer of Nokia did a great job of inviting proposals and selecting the most interesting ones. We are particularly grateful to Nokia for sponsoring the session and offering a prize for the best demonstration.