ppxscal/embedding_network huggingface dataset:
Another Point of View on Diagnosability
Authors: Xavier Pucel, Louise Travé-Massuyès, Yannick Pencolé
Venue: Proceeding of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium (2008)

This paper provides a new definition of diagnosability, that allows one to check the diagnosability of any set of system states, and by extension of properties that depend on the system state. The existing definitions and approaches for checking diagnosability apply to faults or sets of faults, and comparison shows that the new definition generalizes the existing ones. This new definition is applied to repair preconditions, and an example shows how this brings complementary information compared to classical fault diagnosability.
Exploring Privacy Concerns about Personal Sensing
Authors: Predrag Klasnja, Sunny Consolvo, Tanzeem Choudhury, Richard Beckwith, Jeffrey Hightower
Venue: Proceedings of the 7th International Conference on Pervasive Computing (2009)

More and more personal devices such as mobile phones and multimedia players use embedded sensing. This means that people are wearing and carrying devices capable of sensing details about them such as their activity, location, and environment. In this paper, we explore privacy concerns about such personal sensing through interviews with 24 participants who took part in a three month study that used personal sensing to detect their physical activities. Our results show that concerns often depended on what was being recorded, the context in which participants worked and lived and thus would be sensed, and the value they perceived would be provided. We suggest ways in which personal sensing can be made more privacy-sensitive to address these concerns.
GR-MAS: Multi-Agent System for Geriatric Residences
Authors: Javier Bajo, Juan M. Corchado, Sara Rodriguez
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

This paper presents a multiagent architecture (GR-MAS) developed for facilitating health care in geriatric residences. GR-MAS (Geriatric Residence Multi-Agent System) contains different agent types and takes into account the integration within RFID, Wi-Fi technologies and handheld devices. The core of GR-MAS is an autonomous deliberative case-based planner agent called GerAg (Geriatric Agent for monitoring alzheimer patients). This agent, which allows adaptation and learning capabilities, has been designed to plan the nurses' working time dynamically, to maintain the standard working reports about the nurses' activities, and to guarantee that the patients assigned to the nurses are given the right care. A description of GerAg, its relationship with the complementary agents, and preliminary results of the multi-agent system prototype in a real environment are presented.
Location Privacy in Moving-Object Environments
Authors: Dan Lin, Elisa Bertino, Reynold Cheng, Sunil Prabhakar
Venue: Transactions on Data Privacy (2009)

The expanding use of location-based services has profound implications on the privacy of personal information. If no adequate protection is adopted, information about movements of specific individuals could be disclosed to unauthorized subjects or organizations, thus resulting in privacy breaches. In this paper, we propose a framework for preserving location privacy in moving-object environments. Our approach is based on the idea of sending to the service provider suitably modified location information. Such modifications, that include transformations like scaling, are performed by agents interposed between users and service providers. Agents execute data transformation and the service provider directly processes the transformed dataset. Our technique not only prevents the service provider from knowing the exact locations of users, but also protects information about user movements and locations from being disclosed to other users who are not authorized to access this information. A key characteristic of our approach is that it achieves privacy without degrading service quality. We also define a privacy model to analyze our framework, and examine our approach experimentally.
Optimal versions of braced girder used in civil engineering, by finite element method
Authors: Mihai Negru, Vilcu Rosca, Adriana Ionescu
Venue: Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering (2008)

This paper presents two optimized versions of a steel structure used in civil engineering obtained thru a process of structural optimization using Finite Element Method. The main advantage of these optimized structures is the cost which is 50% smaller then the cost of a standard version of this steel structure. The optimization process was made using Finite Element Method and Ansys program. The paper presents the results of structural optimization process and the static analysis of these optimized steel structures in two load cases: the snow weight and the seism simulation.
Cultural coding and de-coding as ways of participation: digital media for marginalized young people
Authors: Edith Ackermann, Francoise Decortis, Juan Pablo Hourcade, Heidi Schelhowe
Venue: Proceedings of the 8th International Conference on Interaction Design and Children (2009)

Like literacy itself, access to digital media both reflects and shapes the ways people play and learn, and more generally, how individuals and groups perceive themselves, relate to others, treat things, and occupy space. We see both opportunities and risks in today's infatuation for all things digital. As organizers of the IDC 2009 workshop on "Digital Technologies and Marginalized Youth: Reducing the Gap", our focus is on the empowerment and integration of marginalized youth. We look at how marginalized youth adopt digital media and what's in it for them. We summarize all the accepted position papers in an attempt to draw lessons useful to researchers, educators, and practitioners. To conclude, we draw from Paulo Freire's "pedagogy of the oppressed" as a useful framework to rethink some of the prerequisites that may help marginalized youth to find their voices while, at the same time, speaking the tongue of others (in particular those in power). Getting "lost in translations" is what paves the ways to many youngsters social exclusion.
Cloud theory-based simulated annealing algorithm and application
Authors: Pin Lv, Lin Yuan, Jinfang Zhang
Venue: Engineering Applications of Artificial Intelligence (2009)

Using the randomness and stable tendency of a Y condition normal cloud generator, a cloud theory-based simulated annealing algorithm (CSA) is originally proposed, whose characteristic is approximately continuous decrease in temperature and implied ''Backfire & Re-Annealing''. It fits the annealing process of solid matter in nature much better, overcomes the traditional simulated annealing algorithm (SA)'s disadvantages, which are slow searching speed and being trapped by local minimum easily, then enhances the veracity of final solution and reduces the time cost of the optimization process simultaneously. Theory analysis proves that CSA is convergent and typical function optimization experiments show that CSA is superior to SA in terms of convergence speed, searching ability and robustness. The result of the application using CSA for multiple observers sitting problem (MOST) in visibility-based terrain reasoning (VBTR) also declares the new algorithm's usefulness and effectiveness adequately.
Inference Rules of Semantic Dependencies in the Enterprise Modelling
Authors: Remigijus Gustas
Venue: Proceeding of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05 (2005)

Enterprise models should have a capacity to describe consistently business processes across organisational and technical system boundaries. It would help system designers to understand why the technical system components are useful and how they fit into the overall organisational system. The implementation bias of many information system methodologies is a big problem for inconsistency and integrity control. The same implementation oriented foundations are often used in system analysis and design phase, without rethinking these concepts fundamentally. Common repository of most CASE tools does not guarantee the consistency of enterprise architectures for a reason that interplay among static and dynamic dependencies is not available. Enterprise modelling and integration should stick to the basic conceptualisation principle that prescribes analysis of only conceptually relevant aspects. It cannot be influenced by any implementation details. The consistency problems are best detectable and traceable at the conceptual layer. In this study on semantic dependencies, we demonstrate how various fundamental concepts from different classes of models can be interlinked and analysed together. An important result of this study is a set of inference rules. The inference capability is an intrinsic feature of logical approaches, but the conventional methods of system analysis have not yet dealt in sufficient detail with the inference principles.
Security management of mutually trusted domains through cooperation of defensive technologies
Authors: Shang-Juh Kao, Lai-Ming Shiue
Venue: International Journal of Network Management (2009)

A number of defensive technologies have been proposed for the prevention of security threats. However, these defensive technologies are implemented independently without cooperation among various network domains. In this paper, different administrative networks are leagued to form a federative network environment called a trusted domain. From the perspective of a network manager, there is a need to integrate diverse technologies into an effective defensive system among mutually trusted domains. An imperative task for security management is to put in place a shared defensive mechanism, or protective shield, for multiple domains. A cooperative approach to provide such a shared defensive system is presented with integration of both intra-domain and inter-domain defensive mechanisms. The simulation results show that, through sharing the defensive information, the firewall system can successfully detect and filter the repeated intrusions.
Link spam target detection using page farms
Authors: Bin Zhou, Jian Pei
Venue: ACM Transactions on Knowledge Discovery from Data (TKDD) (2009)

Currently, most popular Web search engines adopt some link-based ranking methods such as PageRank. Driven by the huge potential benefit of improving rankings of Web pages, many tricks have been attempted to boost page rankings. The most common way, which is known as link spam, is to make up some artificially designed link structures. Detecting link spam effectively is a big challenge. In this article, we develop novel and effective detection methods for link spam target pages using page farms. The essential idea is intuitive: whether a page is the beneficiary of link spam is reflected by how it collects its PageRank score. Technically, how a target page collects its PageRank score is modeled by a page farm, which consists of pages contributing a major portion of the PageRank score of the target page. We propose two spamicity measures based on page farms. They can be used as an effective measure to check whether the pages are link spam target pages. An empirical study using a newly available real dataset strongly suggests that our method is effective. It outperforms the state-of-the-art methods like SpamRank and SpamMass in both precision and recall.
Decomposition-based Reasoning for Large Knowledge Bases in Description Logics
Authors: Thi Anh Le Pham, Nhan Le-Thanh
Venue: Proceeding of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering (2006)

Reasoning in a Knowledge Base(KB) is one of the most important applications of Description Logic (DL) reasoners. The execution time and storage space requirements are both significant factors that directly influence the performance of a reasoning algorithm. In this paper, we investigate a new technique for optimizing DL reasoning with the purpose to minimize two factors above as much as possible. This technique is applied to speed-up TBox and ABox reasoning, especially for large TBoxes. The incorporation of this technique with previous optimization techniques in current DL systems can effectively solve intractable inferences. Our technique is called “ontology decomposing” in which decomposition of one ontology to many sub-ontologies is implemented such that it still preserves the semantic and inference services of original ontology. We are concerned about how to reason effectively with multiple KBs and how to improve the efficiency of reasoning over component ontologies.
David Busch's Canon EOS Rebel XS/1000D Guide to Digital SLR Photography, 1st edition
Authors: David D. Busch
Venue:  (2009)

Welcome to the Canon EOS Rebel XS/1000D, the most advanced entry-level digital SLR camera Canon has ever offered. David Buschs Canon EOS Rebel XS/1000D Guide to Digital SLR Photography will show you how to make the most of your cameras robust feature set, including 10 megapixel resolution, blazing fast automatic focus, and the real-time preview system Live View, to take outstanding photos. Youll learn how, when, and, most importantly, why to use all the cool features and functions of your camera to take eye-popping photographs. Introductory chapters will help you get comfortable with the basics of your camera before you dive right into exploring creative ways to apply the Canon EOS Rebel XS/1000Ds exposure modes, focus controls, and electronic flash options. This book is chock full of hands-on tips for choosing lenses, flash units, and software products to use with your new camera. Beautiful, fullcolor images illustrate where the essential buttons and dials are, so youll quickly learn how to use your Canon EOS Rebel XS/1000D, and use it well.
BER performance analysis of OFDM system based on dual: tree complex wavelet transform in AWGN channel
Authors: Mohamed H. M. Nerma, Nidal S. Kamel, Varun Jeoti
Venue: Proceedings of the 3rd WSEAS international symposium on Wavelets theory and applications in applied mathematics, signal processing & modern science (2009)

A novel OFDM system based on dual - tree complex wavelet transform (DT-CWT) is proposed in this paper. In the proposed scheme, DT-CWT is used in the place of FFT. The proposed scheme offers the best BER and PAPR performance than the conventional OFDM and wavelet packet modulation (WPM) systems at the expense of acceptable computational complexity without using any pruning techniques. The need for CP is eliminated in the system design due to the good orthogonality and time frequency localization proprieties of the wavelet.
Stochastic Process Algebra Based Software Process Simulation Modeling
Authors: Jian Zhai, Qiusong Yang, Feng Su, Junchao Xiao, Qing Wang, Mingshu Li
Venue: Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes (2009)

In recent years, simulation techniques that have been widely used in many other disciplines are being increasingly used in analyzing software processes. However, researchers from software process simulation community tend to build a separate new model with various technologies from traditional software models. This is partially because that software process simulation might take a completely different approach to describe a process under certain circumstances, for instance, a process being modeled as an overall system. Another reason is that traditional software process modeling methods can not provide simulation functions. The gap between traditional software process modeling and software process simulation modeling confined a wider application of simulation approach in the software engineering community. In this paper, we show the possibility of a simulation model being automatically derived from a traditional descriptive process model and thus one does not necessarily need to build a separate simulation model. By doing so, all information in the descriptive models can be reused.
Technology Affordances for Intersubjective Meaning-Making
Authors: Daniel Suthers
Venue: Proceeding of the 2006 conference on Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding (2006)

The broad field of “computers in education” includes a diversity of approaches to using computers for learning. Each approach is based on an epistemology: a theory of how knowledge is gained. In this presentation, I will characterize the uses of technology and their corresponding epistemologies. I will single out intersubjective epistemologies as timely for research and practice, and call for development of technologies that offer social affordances and resources for meaning-making. The study of intersubjective meaning-making requires interactional analyses, but in new forms that transcend some of the assumptions and limitations of microanalysis and that can be coupled with other methodologies. The presentation illustrates these ideas with my research program on representational affordances for collaborative learning.
Ontology-Based Query Interface in a System for Semantic Integration of XML Data
Authors: Tadeusz Pankowski
Venue: Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications (2009)

We present an ontology-oriented approach to formulate que- ries in XML data integrating system in P2P environment. In this approach, XML schema trees (tree-pattern schemas) are annotated in a global domain ontology by terms of some OWL categories. The annotations are then used to two purposes: (1) to infer mappings between local XML schemas, and (2) to create local "ontology views" which can be queried by users. We propose a set of rules for inferring mappings between XML schemas based on semantic relationships between terms used for annotating these schemas. Queries are issued against the local ontology using a user-friendly GUI. The query is answered in the local data source as well as in semantically connected data sources in a distributed P2P connected system. In this way the following objectives are accomplished: (1) queries can be formulated in a natural way conforming to the user's understanding of the application domain; (2) queries are executed in a dynamic P2P system, where answers are obtained from many data sources semantically connected by means of mappings between their schemas; (3) queries are efficiently executed by translating them into XQuery programs.
Establishing research criteria for performed gestures and emotional interaction in an gestural film game: To be or not to be
Authors: Roman Danylak, Zafer Bilda, Ernest Edmonds
Venue: Proceeding of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07 (2007)

This paper describes practice-based research using an interactive gestural film game To be or not to be, to study the relationship between performed gestures and emotional response. The work is the result of a collaboration between an intermedia artist (first author), and a programmer / designer. The content of the interactive film game is based on lines from Act 3 scene i from Shakespeare's play Hamlet. Attention is given first to the original design method based on gestural expression in theatre using the key techniques of text, rehearsal and performance. A primary design goal was to construct an interface where coherent and continuous gestural and emotional interaction occurred. This is followed by observation and evaluation of audience / user interaction with the work (collaboration with second author) establishing research criteria to evaluate performed gestures and emotional responses of the audience.
Attacking ECDSA-Enabled RFID Devices
Authors: Michael Hutter, Marcel Medwed, Daniel Hein, Johannes Wolkerstorfer
Venue: Proceedings of the 7th International Conference on Applied Cryptography and Network Security (2009)

The elliptic curve digital signature algorithm (ECDSA) is used in many devices to provide authentication. In the last few years, more and more ECDSA implementations have been proposed that allow the integration into resource-constrained devices like RFID tags. Their resistance against power-analysis attacks has not been scrutinized so far. In this article, we provide first results of power-analysis attacks on an RFID device that implements ECDSA. To this end, we designed and implemented a passive RFID-tag prototype. The core element of the prototype is a low-power ECDSA implementation realized on 180 nm CMOS technology. We performed power and electromagnetic attacks on that platform and describe an attack that successfully reveals the private-key during signature generation. Our experiments confirm that ECDSA-enabled RFID tags are susceptible to these attacks. Hence, it is important that they implement countermeasures which prevent the forging of digital signatures.
ENO adaptive method for solving one-dimensional conservation laws
Authors: A. J. Kozakevicius, L. C. C. Santos
Venue: Applied Numerical Mathematics (2009)

In this work an efficient third order non-linear finite difference scheme for solving adaptively hyperbolic systems of one-dimensional conservation laws is developed. The method is based on applying to the solution of the differential equation an interpolating wavelet transform at each time step, generating a multilevel representation for the solution, which is thresholded and a sparse point representation is generated. The numerical fluxes obtained by a Lax-Friedrichs flux splitting are evaluated on the sparse grid by an essentially non-oscillatory (ENO) approximation, which chooses the locally smoothest stencil among all the possibilities for each point of the sparse grid. The time evolution of the differential operator is done on this sparse representation by a total variation diminishing (TVD) Runge-Kutta method. Four classical examples of initial value problems for the Euler equations of gas dynamics are accurately solved and their sparse solutions are analyzed with respect to the threshold parameters, confirming the efficiency of the wavelet transform as an adaptive grid generation technique.
An application of fuzzy Delphi and fuzzy AHP on evaluating wafer supplier in semiconductor industry
Authors: Jao-Hong Cheng, Chih-Ming Lee, Chih-Huei Tang
Venue: WSEAS Transactions on Information Science and Applications (2009)

Because of the pressure of globalization in the last two decades, professional services has become an important strategic decision so that supplier selection is a prime concern. In the semiconductor industry, the prior researches worked on analyzing and improving the process, and evaluating the equipment manufacturers. Therefore, being the semiconductor industry applying a wide huge of advanced technologies, wafer suppliers and foundry and DRAM manufacturers acquire a large volume of critical materials and components. Consequently, this study is to identify critical factors related to the wafer supplier selection. It also has become a new subject by how to prompt current position of semiconductor industry and their wafer supplier in Taiwan. Primary criteria to evaluate supplier selection is acquired by the literatures survey, wafer manufacturers' data and applying fuzzy Delphi method (FDM), and then fuzzy analytic hierarchy process (FAHP) is employed to calculate the weights of these criteria, so as to establish the fuzzy multi-criteria model of wafer supplier selection. The results indicated a greatest weight on the dimension of wafer supplier selection, and seven critical criteria related to wafer supplier selection were: (1) wafer quality, (2) delivery time, (3) service, (4) price, (5) process capability, (6) reputation, and (7) past performance.