ppxscal/embedding_network huggingface dataset:
Re-engineering OntoSem Ontology Towards OWL DL Compliance
Authors: Guntis Barzdins, Normunds Gruzitis, Renars Kudins
Venue: Proceeding of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering (2006)

Re-engineering of successful pre-OWL ontologies or other formal ER or UML system models towards OWL DL compliance opens new possibilities in ontology debugging, enabled by the formal semantics and automated reasoners developed for OWL DL. Meanwhile the transformation of legacy ontologies to OWL DL is a challenging and interesting task, which we illustrate in this paper on the example of OntoSem ---a lexical common-sense ontology and an application framework for deep semantic analysis of natural language texts.
Plenary lecture 3: identification of hysteretic behavior of materials by using genetic algorithms
Authors: Veturia Chiroiu
Venue: Proceedings of the 10th WSEAS international conference on Automation & information (2009)

The paper is devoted to identification of the hysteresis behavior of nonlinear mesoscopic materials (NM) by using genetic algorithms. A NM material is an aggregate of grains which act as rigid vibrating units, while the contacts between them - the bond system constitute a set of interfaces that control the behavior of the material. The interfaces are mesoscopic, with a typical size of 1micrometer. In this paper we propose a friction contact model for the interface between moving grains, that involve both tangential and normal relative motions. The proposed strategy is capable to predict the transition between stick, slip and separation of grains. The analysis of the hysteretic response of the NM material subjected to cyclic loading is given by the application of PUN, Preisach and Bouc-Wen models of hysteresis.
Lab platform for the steam superheater electronic simulator
Authors: Maican Camelia, Gabriela Canureci, Matei Vinatoru, Eugen Iancu
Venue: Proceedings of the 4th WSEAS/IASME international conference on Dynamical systems and control (2008)

This paper present the design of the electronic simulator corresponding to the steam superheater. Using the nonlinear model of real steam superheater we realised an electronic devices and a lab platform for study the dynamic evolution of the steam superheater. The experimental applications were developed on the electronic simulator and using Multisim, data acquisition board Cassy lab and Matlab - Simulink software's.
The new negative slope coefficient measure
Authors: Stjepan Picek, Marin Golub
Venue: Proceedings of the 10th WSEAS international conference on evolutionary computing (2009)

When is a problem easy or difficult for a genetic algorithm? This work focuses on unitation functions as tests for the efficiency of a genetic algorithm in reaching an optimal solution. We research the effectiveness of the Negative Slope Coefficient Measure (NSC measure) in finding difficult problems and present flaws of such a measure. In summary, we present a new measure for defining the hardness of a problem, the new NSC, based on the Fitness Landscape; experimentally we demonstrate the efficacy of the method and compare it with the performance measure achieved by real runs. Finally we propose new steps for development of the method.
Solving permutational routing problems by population-based metaheuristics
Authors: Wojciech Boejko, Mieczysław Wodecki
Venue: Computers and Industrial Engineering (2009)

In this paper we consider two routing problems: traveling salesman problem (TSP, fundamental problem of the combinatorial optimization) and the TSP with times of traveling, times of processing and due dates where the objective is to minimize the total weighted tardiness (TSPTWT). Since problems are NP-hard in the strong sense, we propose a metaheuristic algorithm to determine a good sub-optimal solution. We present an algorithm based on the idea of researching and analyzing local optima. TSP with times of traveling, times of processing and due dates, and with the total weighted tardiness cost function is identical with the single machine total weighted tardiness problem with sequence-dependent setup times. It was possible to find the new best known solutions for 81 of 120 benchmark instances of this scheduling problem using the method proposed here.
Computational Methods in Science and Engineering: Theory and Computation Old Problems and New Challenges. Lectures Presented at the International Conference ... Physics, 1st edition
Authors: George Maroulis, George Maroulis, Theodore E. Simos
Venue: Aip Conference Proceedings (2007)

All papers have been peer-reviewed. The aim of ICCMSE 2007 is to bring together computational scientists and engineers from several disciplines in order to share methods, methodologies and ideas. The potential readers of these proceedings are all the scientists with interest in the following fields: Computational Mathematics, Theoretical Physics, Computational Physics, Theoretical Chemistry, Computational Chemistry, Mathematical Chemistry, Computational Engineering, Computational Mechanics, Computational Biology and Medicine, Scientific Computation, High Performance Computing, Parallel and Distributed Computing, Visualization, Problem Solving Environments, Software Tools, Advanced Numerical Algorithms, Modeling and Simulation of Complex Systems, Web-based Simulation and Computing, Grid-based Simulation and Computing, Computational Grids, and Computer Science.
Molecular Response to Ultrashort Laser Pulses
Authors: Hong Tang, Yusheng Dou, Mingze Bai
Venue: Computing in Science and Engineering (2009)

Experimental methods and static quantum calculations can't always give the most realistic picture of the reaction dynamics that laser pulse irradiation induces. Semiclassical dynamics simulations offer an alternative.
Scaling potential and MOSFET integration of thermally stable Gd silicate dielectrics
Authors: H. D. B. Gottlob, M. Schmidt, A. Stefani, M. C. Lemme, H. Kurz, I. Z. Mitrovic, W. M. Davey, S. Hall, M. Werner, P. R. Chalker, K. Cherkaoui, P. K. Hurley, J. Piscator, O. Engström, S. B. Newcomb
Venue: Microelectronic Engineering (2009)

We investigate the potential of gadolinium silicate (GdSiO) as a thermally stable high-k gate dielectric in a gate first integration scheme. There silicon diffuses into gadolinium oxide (Gd"2O"3) from a silicon oxide (SiO"2) interlayer specifically prepared for this purpose. We report on the scaling potential based on detailed material analysis. Gate leakage current densities and EOT values are compatible with an ITRS requirement for low stand by power (LSTP). The applicability of this GdSiO process is demonstrated by fully functional silicon on insulator (SOI) metal oxide semiconductor field effect transistors (MOSFETs).
Mining and analysing security goal models in health information systems
Authors: Jens H. Weber-Jahnke, Adeniyi Onabajo
Venue: Proceedings of the 2009 ICSE Workshop on Software Engineering in Health Care (2009)

Large-scale health information software systems have to adhere to complex, multi-lateral security and privacy regulations. Such regulations are typically defined in form of natural language (NL) documents. There is little methodological support for bridging the gap between NL regulations and the requirements engineering methods that have been developed by the software engineering community. This paper presents a method and tool support, which are aimed at narrowing this gap by mining and analysing structured security requirements in unstructured NL regulations. A key value proposition of our approach is that requirements are mined “in-place”, i.e., the structured model is tightly integrated with the NL text. This results in better traceability and enables an iterative rather than waterfall-like requirements extraction and analysis process. The tool and method have been evaluated in context of a real-world, large scale project, i.e., the Canadian Electronic Health Record.
Adaptive personalized eLearning on top of existing LCMS
Authors: Naimdjon Takhirov, Ingeborg T. Sølvberg
Venue: Proceedings of the 9th ACM/IEEE-CS joint conference on Digital libraries (2009)

The next generation of eLearning systems should tailor the learning experience to each individual's learning needs and preferences. PEDAL-NG is a system that supports personalization in an existing, operational eLearning environment, based on prior knowledge and the learning style of users. It is built as a front-end of an existing LMS. The prototype is tested by a group of students. The test results are favorable regarding the personalized course and give valuable feedback for future research.
Localisation of the optic disc by means of GA-optimised Topological Active Nets
Authors: J. Novo, M. G. Penedo, J. Santos
Venue: Image and Vision Computing (2009)

In this paper we propose a new approach to the optic disc localisation process in digital retinal images by means of Topological Active Nets (TAN). This is a deformable model used for image segmentation that integrates features of region-based and edge-based segmentation techniques, being able to fit the edges of the objects and model their inner topology. In this paper the active nets incorporate new energy terms for the optic disc localisation and their optimisation is performed with a genetic algorithm, with adapted or new ad hoc genetic operators. There is no need of any pre-processing of the images, which allows a quasi automatic localisation of the optic disc. This process also provides a simultaneous segmentation of the disc. We present representative results of optic disc localisations showing the advantages of the approach, with images focusing on the optic disc or on the macula, and with images with different levels of noise and lesion areas.
Automatic Extraction of Learning Object Metadata (LOM) from HTML Web Pages
Authors: Wai Yuen Tang, Lam For Kwok
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)

It is difficult to locate learning resources on the Internet due to the loose structure of the web. Even with the help of search engines, there are simply too many search results with poor relevancy. In order to solve this problem, learning technology standards such as ADL SCORM, Dublin Core, IMS Specification, IEEE LOM, etc are emerged to provide a standard to identify and describe learning resources. Learning technology standards provide a structured index in describing learning objects and thus, help users in identifying a learning object with higher relevancy. However, the IEEE LOM standard contains too many attributes, making authors reluctant to use the standard. This paper discusses the difficulties of adapting to learning technology standards and describes a framework that automatically extracts important information from HTML web pages and maps them with attributes of the IEEE LOM standard.
Enhancing and Parallelizing Legacy Software for Medical Imaging --A Case Study
Authors: Jürgen Vörding, Maraike Schellmann, Sergei Gorlatch
Venue: Proceeding of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06 (2006)

This paper deals with legacy software in the field of numerical algorithms for medical imaging. We describe our work on analyzing, restructuring and enhancing large-scale, monolithic programs in the C programming language, which were developed for creating high-quality medical images from the data acquired using PET --Positron Emission Tomography. The main contribution of the paper is a systematic method of making such programs better structured and more understandable, and also accelerating them by means of parallelization and implementation on parallel multi-processor architectures.
Reason 4 Power!, 1st edition
Authors: Michael Prager
Venue:  (2007)

Get ready to put the power of Reason 4 to work! This comprehensive guide shows you how to get the most out of this popular music production program, while providing insights and tips that not only teach you the program but will help you make better music. Youll start with a brief introduction to the basics of computer music and putting together your studio and then quickly move on to the business of creating a song. Youll explore all the various tools and synths that Reason offers, including the Sequencer, reMix, Redrum, Subtractor, Malstrm, Thor, NN-19 and NN-XT, the Matrix, RPG-8, the Combinator, the MClass mastering suite, and much, much more. By the time youre finished, youll be ready to synchronize Reason with other music-making programs, use automation, and mix and publish your creations to CD or to the Web. 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
Formal and Conceptual Comparison of Ontology Mapping Languages
Authors: Saartje Brockmans, Peter Haase, Luciano Serafini, Heiner Stuckenschmidt
Venue: Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization (2009)

The compositional approach where several existing ontologies are connected to form a large modular ontology relies on the representation of mappings between elements in the different participating ontologies. A number of languages have been proposed for this purpose that extend existing logical languages for ontologies in a non-standard way. In this chapter, we compare different proposals for such extensions on a formal level and show that these approaches exhibit fundamental differences with respect to the assumptions underlying their semantics. In order to support application developers to select the right mapping language for a given situation, we propose a mapping metamodel that allows us to encode the formal differences on the conceptual level and facilitates the selection of an appropriate formalism on the basis of a formalism-independent specification of semantic relations between different ontologies by means of a graphical modelling language.
3D Object Reconstruction from Parallel Cross-Sections
Authors: Karolina Nurzynska
Venue: Proceedings of the International Conference on Computer Vision and Graphics: Revised Papers (2008)

The paper presents a novel approach to the contour stitching method which improves the reconstruction of 3D objects from parallel contours. The innovation assumes the construction of outer and inner contour from many contours on one cross-section in case of branching. This exchange allows easy one to one connection, between contours on adjoining cross-sections, which has already been defined. Additionally, such a definition permits from artificial holes generation. Moreover, the method takes care of smooth surface reconstruction in case of concave and convex shapes. The performance of the novel algorithm has been tested on the set of artificial data as well as on the set of data gathered from CT scans and proved it to work well.
Spatial Data Modelling for 3D GIS, 1st edition
Authors: Alias Abdul-Rahman, Morakot Pilouk
Venue:  (2007)

This book covers fundamental aspects of spatial data modelling specifically on the aspect of three-dimensional (3D) modelling and structuring. Realisation of true 3D GIS spatial system needs a lot of efforts, and the process is taking place in various research centres and universities in some countries. The development of spatial data modelling for 3D objects is the focus of this book. The book begins with some problems and motivations, the fundamental theories, the implementation, and some applications developed based on the concepts. The book is intended for various geoinformation related professionals like GIS engineers, GIS software developers, photogrammetrists, land surveyors, mapping specialists, researchers, postgraduate students, and lecturers.
Mediascapes
Authors: Phil Stenton
Venue: Proceedings of the 2009 international conference on Pervasive services (2009)

The delivery of media and information can now be triggered by sensed events from a user's context (i.e. where the user is, where the user has been, what or who the user is close, their bio-signs, etc.). This presentation will focus on the question of how the ecology and expertise in pervasive computing emerge. In partnership with the University of Bristol, HP Labs set out to create a set of tools that would encourage authoring in this new medium by a broad spectrum people across industry sectors and local communities. A programme (Mobile Bristol) funded by HP, the UK Government, the University of Bristol and the Appliance Studio (a small Bristol-based company) was created a few years ago to explore this idea. A number of organisations including educationalists, schools, authors, artists, broadcasters, games designers and filmmakers came together to explore this platform. In the intervening years the size and diversity of this group have grown along with the number of applications explored.
Error bounds for complementarity problems with tridiagonal nonlinear functions
Authors: G. Alefeld, Z. Wang
Venue: Computing (2008)

In this paper we consider the complementarity problem NCP(f) with f(x) = Mx + φ( x), where M ∈ R n×n is a real matrix and φ is a so-called tridiagonal (nonlinear) mapping. This problem occurs, for example, if certain classes of free boundary problems are discretized. We compute error bounds for approximations to a solution x* of the discretized problems. The error bounds are improved by an iterative method and can be made arbitrarily small. The ideas are illustrated by numerical experiments.
Measurement-based optimal resource allocation for network services with pricing differentiation
Authors: M. G. Kallitsis, G. Michailidis, M. Devetsikiotis
Venue: Performance Evaluation (2009)

In this paper, we introduce a model for allocating available resources in service-oriented network, with particular focus on delay sensitive services. The model is based on a pricing scheme for the offered services and also takes into consideration the quality of service requirements of each service class through a probabilistic delay-bound constraint. The proposed policy is dynamic in nature and relies on online measurements of the incoming traffic for adjusting the class allocations. We illustrate its performance and its robustness to various tuning parameters through an extensive simulation study that considers various simulation scenarios including experiments based on real network traces.
Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs
Authors: Anbu Yue, Weiru Liu
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

In this paper, we present a revision strategy of revising a conditional probabilistic logic program (PLP) when new information is received (which is in the form of probabilistic formulae), through the technique of variable forgetting. We first extend the traditional forgetting method to forget a conditional event in PLPs. We then propose two revision operators to revise a PLP based on our forgetting method. By revision through forgetting, the irrelevant knowledge in the original PLP is retained according to the minimal change principle. We prove that our revision operators satisfy most of the postulates for probabilistic belief revision. A main advantage of our revision operators is that a new PLP is explicitly obtained after revision, since our revision operator performs forgetting a conditional event at the syntax level.
Providing Reliable Distributed Grid Services in Mobile Environments
Authors: T. Kirkham, J. Gallop, S. Lambert, B. Matthews, D. Mac Randal, B. Ritchie
Venue: Proceeding of the 2005 conference on Self-Organization and Autonomic Informatics (I) (2005)

This paper presents a high level model for the reliable use of mobile distributed services within Grid applications arising from research within the European research project Akogrimo. In the paper we discuss reliability and mobility in respect to static and mobile Grid services. We then introduce current research from the project into a high level blueprint/model for the architecture surrounding the provision of reliable distributed Grid services in a mobile environment.
A fingertip shear tactile display for communicating direction cues
Authors: Scott K. Horschel, Brian T. Gleeson, William R. Provancher
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

Fingertip skin stretch has been found by our lab to be a reliable means for communicating direction. This demonstration will consist of two different parts to illustrate this means of communication. The first part of the demonstration will give participants some perspective on the importance of properly selecting stimulus parameters when rendering skin stretch. It will utilize a precision bench-top shear display. This device is a precision Parker X-Y stage that is used to impose fingertip skin stretch shear stimuli with displacements of 0.05–1.00 mm at rates of 0.5–4 mm/s. The second part of the demonstration will utilize a portable fingertip shear display to provide navigation cues to guide participants through the conference center.
Orthographic similarity search for dictionary lookup of Japanese words
Authors: Lars Yencken, Timothy Baldwin
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

Finding an unknown Japanese word in a dictionary is a difficult and slow task when one or more of the word's characters is unknown. For advanced learners, unknown characters evoke the form and meaning of visually similar characters they are familiar with. We propose a range of character distance metrics to allow learners to leverage known characters to search for words containing unknown but visually similar characters. This new form of dictionary search is implemented as an extension to the FOKS dictionary system.
A comparison of approaches to large-scale data analysis
Authors: Andrew Pavlo, Erik Paulson, Alexander Rasin, Daniel J. Abadi, David J. DeWitt, Samuel Madden, Michael Stonebraker
Venue: Proceedings of the 35th SIGMOD international conference on Management of data (2009)

There is currently considerable enthusiasm around the MapReduce (MR) paradigm for large-scale data analysis [17]. Although the basic control flow of this framework has existed in parallel SQL database management systems (DBMS) for over 20 years, some have called MR a dramatically new computing model [8, 17]. In this paper, we describe and compare both paradigms. Furthermore, we evaluate both kinds of systems in terms of performance and development complexity. To this end, we define a benchmark consisting of a collection of tasks that we have run on an open source version of MR as well as on two parallel DBMSs. For each task, we measure each system's performance for various degrees of parallelism on a cluster of 100 nodes. Our results reveal some interesting trade-offs. Although the process to load data into and tune the execution of parallel DBMSs took much longer than the MR system, the observed performance of these DBMSs was strikingly better. We speculate about the causes of the dramatic performance difference and consider implementation concepts that future systems should take from both kinds of architectures.