ppxscal/embedding_network huggingface dataset:
Modeling and simulation of the dissolved oxygen concentration profiles in a mobile bed biofilm reactor
Authors: Diana Robescu, Dan Robescu
Venue: Proceedings of the 7th WSEAS international conference on System science and simulation in engineering (2008)

The paper proposes a model for the theoretical predicting of the oxygen concentration profiles in a mobile bed biofilm reactor using the dispersion equation. The purpose of the study is to find the optimum dimension and position of the aeration pipes for maintaining the oxygen concentration in the limits indicated in the literature. The theoretical results are in good agreement with experimental ones conducted on laboratory installation, using tap water. Further works is now underway to test this model on the reactor filled with mobile carrier media and to examine it on the wastewater.
On-line validation of service oriented systems in the European Project TAS3
Authors: Antonia Bertolino, Guglielmo De Angelis, Andrea Polini
Venue: Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems (2009)

The European Project TAS3 addresses the challenge of combining the openness, flexibility, dynamicity offered by service-oriented applications, together with privacy, security and reliability characteristics that are required when personal information is handled. In addition to appropriate authorization and authentication mechanisms, it is important to put in place appropriate validation procedures that can check the trustworthiness and dependability of services provided. We outline the Audition framework and discuss how such on-line validation approach can fit within the TAS3 vision of a seamless connected world, where the final users remain in charge for releasing and administering their data.
A Design-for-Yield Algorithm to Assess and Improve the Structural and Energetic Robustness of Proteins and Drugs
Authors: Giuseppe Nicosia, Giovanni Stracquadanio
Venue: Proceedings of the 8th International Symposium on Experimental Algorithms (2009)

Robustness is a property that pervades all aspects of nature. The ability of a system to adapt to perturbations due to internal and external agents, aging, wear, or to environmental changes is one of the driving forces of evolution. At the molecular level, understanding the robustness of a protein has a great impact on the in-silico design of polypeptide chains and drugs. The chance of computationally checking the ability of a protein to preserve its structure in the native state may lead to the design of new compounds that can work in a living cell more effectively. Inspired by the well known robustness analysis framework used in Electronic Design Automation, we introduce a formal definition of robustness for proteins and a dimensionless quantity, called yield, to quantify the robustness of a protein. Then, we introduce a new robustness-centered protein design algorithm called Design-For-Yield. The aim of the algorithm is to discover new conformations with a specific functionality and high yield values. We present extensive characterizations of the robustness properties of many peptides, proteins, and drugs. Finally, we apply the DFY algorithm on the Crambin protein (1CRN) and on the Oxicitin drug (DB00107). The obtained results confirm that the algorithm is able to discover a Crambin-like protein that is 23.61% more robust than the wild type. Concerning the Oxicitin drug a new protein sequence and the corresponding protein structure was discovered with an improved robustness of 3% at the global level.
Synthetic Textures for 3D Urban Models in Pededstrian Navigation
Authors: Volker Coors
Venue: Proceeding of the 2008 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008 (2008)

Since years the market of mobile navigation systems is growing enormously. Within this paper the goals and first results of the joint project “Mobile Navigation with 3D City Models” (MoNa3D; http://www.mona3d.de) are introduced. The project consortium consists of the University of Applied Science Stuttgart (coordinator), the University of Applied Science Mainz, the University of Bonn and the four companies Navigon, Teleatlas, GTA Geoinformatik, and Heidelberg Mobil. The aim of the project is to develop and evaluate the support of landmarks and 3D visualization in mobile navigation systems for pedestrian navigation as well as the “last mile” car navigation for instance from a parking place to the final destination. The two main goals of the project are to provide a cognitive semantic route description by using landmarks and secondly to make use of synthetic building facade textures along with a corresponding compression system for an efficient storage, transfer, and rendereing of 3D urban models. This paper focuses on the synthetic texturing and compression.
Process Aspect: Handling Crosscutting Concerns during Software Process Improvement
Authors: Jia-Kuan Ma, Lei Shi, Ya-Sha Wang, Hong Mei
Venue: Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes (2009)

A frequently emerging situation in process improvement is adding new concerns into existing processes. Implementing these concerns calls for changes over a series of tasks, roles, work products and tools, which usually crosscut different modules of existing process models. Lacking systematic modeling of these crosscutting concerns may raise difficulties in understanding, managing, and reusing their implementations. Aiming at such problems, in this paper we propose leveraging Process Aspect to handle these crosscutting concerns. Modeling and weaving process aspects into SPEM2.0-based processes are presented. Finally, an example is provided as a case study.
Architecture and behaviour analysis for engineering Service Modes
Authors: Howard Foster
Venue: Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems (2009)

Engineering services in the framework of an Service-Oriented Architecture (SOA) is complex and open to mistakes if a rigorous approach is not taken. Combining SOA with features to support dynamic service discovery, management and binding, increase the chances that an architecture configuration has been incorrectly specified. To facilitate service engineers designing and implementing service systems we introduced the notion of Service Modes, that at design time provide an abstraction of service configurations given particular requirements for runtime. This paper describes how behaviour protocols are included in these configurations and how properties of combined architecture and behaviour models can be used to perform some useful analysis to assure dynamic service architecture configurations are safer and more resilient to incompatibilities. The modelling and analysis techniques are supported by an implementation in the LTSA WS-Engineer, a comprehensive integrated tool suite for verification and validation of service compositions.
Teaching with security in mind
Authors: Orlando Karam, Svetlana Peltsverger
Venue: Proceedings of the 47th Annual Southeast Regional Conference (2009)

Security topics have been taught for some time at universities. The most common approach has been to teach a required topic, and then introduce a security module later in the course. We are promoting the notion of teaching security at the same time as main course's material. This helps students to adopt to the idea of writing secure code at an early stage and encourages them to focus on the security issues before beginning coding. While this method has clear advantages, it is not easy to implement in practice. This is partly a result of the faculty's luck of awareness about security issues, and the perception of security as an advanced topic. We see security as an extension of the basic concept of input validation, and so a very basic topic. We also propose teaching secure practices as the default model presented to the students, facilitating the adoption of those practices.
Plenary lecture I: digital measurements of non-sinusoidal electrical quantities and metrological performance
Authors: Costin Cepisca
Venue: Proceedings of the 2nd conference on European computing conference (2008)

This talk will review a recent development in the field of digital measurements. Accurate measurement of ac quantities is important at all levels of the electrical power system. The presence of harmonics in the power system put higher demands on both power system components and on the measurement equipment. In power system measurements the problems caused by harmonics have been incorporated in increased uncertainty figures. The subject is classical, but the theoretical and experimental treatment of several of its topics is new and includes: - Analysis of a new generation of instruments for measuring distorted signals, voltages and currents. These instruments can calculate and display the amplitude and phase angle of each harmonic, by the use of sampling techniques and "FFT analysis", and the active, reactive and apparent power and energy; - Experimental results based of the use of power and energy calibrator; - The development of methods for uncertainty determination in the field of metrological performances.
Improving sense of community: an action research on social software artifact for a graduate university setting
Authors: Peter Ractham
Venue:  (2008)

This dissertation builds on the research done by Bourgeois (2006), Perschbach (2006) and others in the field of Community Information Systems. The research serves two objectives: first, to improve the sense of a local educational community by utilizing the social software artifact; and second: to contribute learning in the field of Community Information Systems. The research employs a multi-method approach, utilizing different concepts and methodologies such as Community Centered Development (CCD), Action Research, and Content Analysis. A large content pool from blogposts were coded and analyzed to find changes in the level of the sense of community among its members. Working closely with various stakeholders from the School of Information Science and Technology (SISAT) over a period of 18 months, the researcher designed and implemented user-centric, community based software&mdash;the SISATSpace. Findings suggest positive feedback from community stakeholders in using the system. The system designer/administrator plays a vital role in designing, planning, and implementing it to ensure a sustainable system life cycle. In addition, contributions to the Community Information System were obtained from findings from different types of users and the types of messages they shared among each other.
Structural analysis for the knowledge management domain
Authors: Claus Atzenbeck, Peter J. Nürnberg
Venue: The New Review of Hypermedia and Multimedia (2006)

Structural computing represents a form of hypertext, in which structure is foregrounded in the analysis, design and implementation of systems. Until now, the vast majority of structural computing work has focused on the implementation of frameworks. The applications implemented in these environments are often reimplementations of existing hypertext applications, intended to show the utility of the provided environments in terms of implementation, interoperability, or other metrics. Often, spatial hypertext applications are reimplemented, since they are seen as particularly good tests of structural computing infrastructures. This is because the demonds they pose are quite different from many other types of hypertext applications. However, structural computing researchers have failed to reanalyse and redesign these applications in a structurally-aware way. There are substantial improvements that result from rethinking such applications from a structure-first perspective. In this paper, we present such a reanalysis, and describe its implications for spatial hypertext within structural computing environments.
Concurrent Error Detection and Correction in Gaussian Normal Basis Multiplier over GF(2^m)
Authors: Che Wun Chiou, Chin-Cheng Chang, Chiou-Yng Lee, Ting-Wei Hou, Jim-Min Lin
Venue: IEEE Transactions on Computers (2009)

Fault-based cryptanalysis has been developed to effectively break both private-key and public-key cryptosystems, making robust finite field multiplication a very important research topic in recent years. However, no robust normal basis multiplier has been proposed in the literature. Therefore, this investigation presents a semisystolic Gaussian normal basis multiplier. Based on the proposed Gaussian normal basis multiplier, both concurrent error detection and correction capabilities can be easily achieved using time redundancy technology with no hardware modification.
A proposal for student modelling based on ontologies
Authors: Angélica de Antonio, Jaime Ramírez, Julia Clemente
Venue: Proceeding of the 2008 conference on Information Modelling and Knowledge Bases XIX (2008)

The advances in the educational field and the high complexity of student modelling has provoked it to be one of the more investigated aspects in Intelligent Tutoring Systems (ITSs). The Student Models (SM) should not only represent the student's knowledge, in a wide sense, but rather they should be, insofar as it is possible, a snapshot of the student's reasoning process. In this article, a new approach to student's modelling is proposed that benefits of the Ontological Engineering advantages, so widely used at the present time, to advance in the pursue of a more granular and complete knowledge representation. The goal is to define an ontological basis for SMs characterized by a high flexibility for its integration in varied ITSs, a good adaptability to the student's features, as well as to favor a rich diagnostic process with nonmonotonic reasoning capacities, allowing the treatment of the contradictions raised during the student's reasoning and diagnosis.
Neighbourhood Counting Metric for Sequences
Authors: Hui Wang, Chang Liu
Venue: Proceeding of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006 (2006)

The longest common subsequence (LCS) is a well known and popular method for measuring similarity between sequences. In this paper we consider all common subsequences (ACS) as a measure of sequence similarity with the view that all common information is captured. ACS is inspired and derived from a generic similarity measure, neighbourhood counting metric (NCM). The close connection of NCM with probability and the Bayes classifier helps gain an insight from the probabilistic perspective into ACS. We also design an algorithm to calculate this measure and carry out an experiment in the framework of k-nearest neighbours on a gene sequence classification task. The experiment shows that ACS and LCS have little difference for small k values, but differ significantly for large k values. ACS's performance remains steady as k gets larger, but LCS's performance drops sharply as k gets larger. Such a property may be useful for some tasks.
Query result clustering for object-level search
Authors: Jongwuk Lee, Seung-won Hwang, Zaiqing Nie, Ji-Rong Wen
Venue: Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining (2009)

Query result clustering has recently attracted a lot of attention to provide users with a succinct overview of relevant results. However, little work has been done on organizing the query results for object-level search. Object-level search result clustering is challenging because we need to support diverse similarity notions over object-specific features (such as the price and weight of a product) of heterogeneous domains. To address this challenge, we propose a hybrid subspace clustering algorithm called Hydra. Algorithm Hydra captures the user perception of diverse similarity notions from millions of Web pages and disambiguates different senses using feature-based subspace locality measures. Our proposed solution, by combining wisdom of crowds and wisdom of data, achieves robustness and efficiency over existing approaches. We extensively evaluate our proposed framework and demonstrate how to enrich user experiences in object-level search using a real-world product search scenarios.
Generalized Self-Organizing Mixture Autoregressive Model
Authors: Hujun Yin, He Ni
Venue: Proceedings of the 7th International Workshop on Advances in Self-Organizing Maps (2009)

The self-organizing mixture autoregressive (SOMAR) model regards a time series as a mixture of regressive processes. A self-organizing algorithm is used with the LMS algorithm to learn the parameters of these regressive models. The self-organizing map is used to simplify the mixture as a winner-take-all selection of local models, combined with an autocorrelation coefficient based measure as the similarity measure for identifying correct local models. The SOMAR has been shown previously being able to uncover underlying autoregressive processes from a mixture. This paper proposes a generalized SOMAR that fully considers the mixing mechanism and individual model variances that make modeling and prediction more accurate for non-stationary time series. Experiments on both benchmark and financial time series are presented. The results demonstrate the superiority of the proposed method over other time-series modeling techniques on a range of performance measures.
The Design of a Web-based Learning Platform: A Case Study in Taiwan
Authors: I-Fan Liu, Meng Chang Chen, Yeali Sun
Venue: Proceeding of the 2006 conference on Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding (2006)

In this study, we develop a Web-based learning platform to assist students taking the “Supply Chain Management” course on the Internet. The design is based on Cooperative Learning Theory and the system function models developed by the authors. We also investigate the function utilities required by students who use the platform. The results show that, in descending order, the utility rates of the three function categories are: (1) Functions of Cooperative Learning (e.g., online tutor, assignment discussion room, real-time discussion room, and online assignment hand-in) equal 57%. (2) Functions of Personal Learning (e.g., learning resource sharing, personal learning notes, video instructions, and viewing of peer-learners' assignments) equal 38%. (3) Functions of Web-based Course Evaluation (e.g., online exams and peer review), equal 5%. Based on these results, we propose some concrete suggestions for five aspects of web-based learning, namely, the Learners' Aspect, the Web-based Course Aspect, the Evaluation Aspect, the System Aspect, and the Educators' Aspect.
A modified implicit Monte Carlo method for time-dependent radiative transfer with adaptive material coupling
Authors: Ryan G. McClarren, Todd J. Urbatsch
Venue: Journal of Computational Physics (2009)

In this paper we develop a robust implicit Monte Carlo (IMC) algorithm based on more accurately updating the linearized equilibrium radiation energy density. The method does not introduce oscillations in the solution and has the same limit as @Dt->~ as the standard Fleck and Cummings IMC method. Moreover, the approach we introduce can be trivially added to current implementations of IMC by changing the definition of the Fleck factor. Using this new method we develop an adaptive scheme that uses either standard IMC or the modified method basing the adaptation on a zero-dimensional problem solved in each cell. Numerical results demonstrate that the new method can avoid the nonphysical overheating that occurs in standard IMC when the time step is large. The method also leads to decreased noise in the material temperature at the cost of a potential increase in the radiation temperature noise.
Wool-A work stealing library
Authors: Karl-Filip Faxén
Venue: ACM SIGARCH Computer Architecture News (2009)

This paper presents some preliminary results on a small light weight user level task management library called Wool. The Wool task scheduler is based on work stealing. The objective of the library is to provide a reasonably convenient programming interface (in particular by not forcing the programmer to write in continuation passing style) in ordinary C while still having a very low task creation overhead. Several task scheduling systems based on work stealing exists, but they are typically either programming languages like Cilk-5 or based on C++ like the Intel TBB or C# as in the Microsoft TPL. Our main conclusions are that such a direct style interface is indeed possible and yields performance that is comparable to that of the Intel TBB.
Gift-wrapping based preimage computation algorithm
Authors: Yan Gerard, David Coeurjolly, Fabien Feschet
Venue: Pattern Recognition (2009)

Based on a classical convex hull algorithm called gift-wrapping, the purpose of the paper is to provide a new algorithm for computing the vertices of a polytope called preimage-roughly the set of naive digital planes containing a finite subset S of Z^3. The vertices of the upper hemisphere, the ones of the lower hemisphere and at last the equatorial vertices are computed independently. The principle of the algorithm is based on duality and especially on the fact that the vertices of the preimage correspond to faces of the input set S or of its chords set S@?S@?{(0,0,1)}. It allows to go from one vertex to another by gift-wrapping until the whole region of interest has been explored.
Segmentation of Left Ventricle in Cardiac Cine MRI: An Automatic Image-Driven Method
Authors: Yingli Lu, Perry Radau, Kim Connelly, Alexander Dick, Graham A. Wright
Venue: Proceedings of the 5th International Conference on Functional Imaging and Modeling of the Heart (2009)

This study investigates a fully automatic left ventricle segmentation method from cine short axis MR images. Advantages of this method include that it: 1) does not require manually drawn initial contours, trained statistical shape or gray-level appearance model; 2) provides not only endocardial and epicardial contours, but also papillary muscles and trabeculations' contours; 3) introduces a roundness measure that is fast and automatically locates the left ventricle; 4) simplifies the epicardial contour segmentation by mapping the pixels from Cartesian to approximately polar coordinates; and 5) applies a fast Fourier transform to smooth the endocardial and epicardial contours. Quantitative evaluation was performed on 41 subjects. The average perpendicular distance between manually drawn and automatically selected contours over all slices, all studies, and two phases (end-diastole and end-systole) was 1.40±1.18 mm for endocardial and 1.75±1.15 mm for epicardial contours. These results indicate a promising method for automatic segmentation of left ventricle for clinical use.
Improved feature detection over large force ranges using history dependent transfer functions
Authors: Petter Bivall Persson, Matthew D. Cooper, Gunnar E. Host, Lena A. E. Tibell, Anders Ynnerman
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

In this paper we present a history dependent transfer function (HDTF) as a possible approach to enable improved haptic feature detection in high dynamic range (HDR) volume data. The HDTF is a multi-dimensional transfer function that uses the recent force history as a selection criterion to switch between transfer functions, thereby adapting to the explored force range. The HDTF has been evaluated using artificial test data and in a realistic application example, with the HDTF applied to haptic protein-ligand docking. Biochemistry experts performed docking tests, and expressed that the HDTF delivers the expected feedback across a large force magnitude range, conveying both weak attractive and strong repulsive protein-ligand interaction forces. Feature detection tests have been performed with positive results, indicating that the HDTF improves the ability of feature detection in HDR volume data as compared to a static transfer function covering the same range.