ppxscal/embedding_network huggingface dataset:
Web-Based Teaching and Learning Methods for Deaf Students
Authors: Xue Dong, Li Qiang
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

Web-based teaching and learning has a significant impact on traditional teaching and learning methods and will become dominant teaching and learning method in new century. This thesis tells main teaching and learning methods based on network, and analyze features of each method, it also points out some problem about Web-based teaching and learning and gives some suggestions.
Proceedings of the Workshop on Computational Approaches to Semitic Languages
Authors: Michael Rosner
Venue: ACL Workshops (1998)

Although there exists a considerable body of CL research specifically targeted to Semitic languages, much of the work to date has been the result of initiatives undertaken by individual researchers or research establishments. A direct consequence is that there is comparatively little awareness amongst practitioners of either the state of the art as practiced outside their own locality, the common challenges faced by all practitioners, or the potential for developing a coordinated approach. The aims of this workshop are therefore: &bull; To provide a forum where current work in a broad range of subfields can be presented, collected and diffused. &bull; To assess the state of the art with a view to identifying promising areas for future collaborative research. &bull; To examine the possibilities of supporting such research through national and international funding initiatives. After refereeing, submitted papers, which concern Arabic, Hebrew, Maltese and Akkadian, were classified, rather coarsely, into the following subject areas: tagging Arabic text, orthography, morphology, syntax/parsing/generation. The workshop programme comprises a session for each of these themes, together with a short supplementary session for short papers. As can be seen from the programme, there will be ample time for discussion.
Contextual push-to-talk: a new technique for reducing voice dialog duration
Authors: Garrett Weinberg
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

We present a technique in which physical controls have both normal and voice-enabled activation styles. In the case of the latter, knowledge of which physical control was activated provides context to the speech recognition subsystem. This context would otherwise be established by one or more steps in a voice dialog initiated by a conventional, single "push-to-talk" button.
Experimental Study on Shortcut Nitrification of Sewage from Flushing Toilet with Seawater
Authors: Xiaojie Sun, Yingjie Sun, Hongtao Wang, Deshuang Yu
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

Shortcut nitrification was reported to be technically feasible and economically favourable, especially when sewages with high ammonium concentrations or low C/N ratios are treated. Nitritation can be obtained by selectively inhibiting nitrite oxidizers through appropriate regulation of the system’s pH, DO, temperature, and sludge retention time, and so on. Nitrification tests were performed in a lab-scale reactor operated to treat wastewater containing seawater. In the plant, temperature was maintained at 28 °C and influent pH was regulated at 8.3 by dosing sodium carbonate (Na2CO3). The effect of seawater salinity on ammonia nitrogen removals and shortcut nitrification in SBR process for the seawater-flushed toilet wastewater treatment was investigated in this work. The experimental results showed that the shortcut nitrification was achieved when influents contain 30% seawater and nitrite concentrations close to zero in all the experimental runs and complete nitrification to nitrate was achieved when influents do not contain seawater. In comparison with the result treating wastewater without seawater, the nitrogen removal treating wastewater containing seawater decreased 4%. Therefore, the seawater is proposed as a parameter for controlling partial nitrification to nitrite.
Study on Prediction of Traffic Congestion Based on LVQ Neural Network
Authors: Xiaojun Shen, Jun Chen
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

With a large number of traffic parameters data, it is an important issue that how to set up an efficient model of classification and prediction to identify the congestion state as soon as possible. The article provided a model of predicting traffic congestion based on the learn vector quantization neural network by making use of traffic parameters such as speed, volume and occupancy which were detected by vehicle detectors. The model can finally classify the traffic congestion situation and normal situation by training the LVQ neural network in the software matlab. The model can predict the road traffic situation by inputting the traffic flow data, thus providing exact road information for the dispersion of traffic congestion. Finally, an example was given to train and test the network. And the training result demonstrated the algorithm was feasible to the prediction of traffic congestion and can be actually useful in reality.
Cross-Fertilization between Studies on ICT Practices of Use and Cross-Modal Analysis of Verbal and Nonverbal Communication
Authors: Leopoldina Fortunati, Anna Esposito, Jane Vincent
Venue: Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions: COST Action 2102 International Conference Prague, Czech Republic, October 15-18, 2008 Revised Selected and Invited Papers (2009)

The following are comments and considerations on how the Information Communication Technology (ICT) will exploits research on cross modal analysis of verbal and nonverbal communication.
Belief change and cryptographic protocol verification
Authors: Aaron Hunter, James P. Delgrande
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

Cryptographic protocols are structured sequences of messages that are used for exchanging information in a hostile environment. Many protocols have epistemic goals: a successful run of the protocol is intended to cause a participant to hold certain beliefs. As such, epistemic logics have been employed for the verification of cryptographic protocols. Although this approach to verification is explicitly concerned with changing beliefs, formal belief change operators have not been incorporated in previous work. In this paper, we introduce a new approach to protocol verification by combining a monotonic logic with a non-monotonic belief change operator. In this context, a protocol participant is able to retract beliefs in response to new information and a protocol participant is able to postulate the most plausible event explaining new information. We illustrate that this kind of reasoning is particularly important when protocol participants have incorrect beliefs.
Coalitional games in open anonymous environments
Authors: Makoto Yokoo, Vincent Conitzer, Tuomas Sandholm, Naoki Ohta, Atsushi Iwasaki
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 2 (2005)

Coalition formation is a key aspect of automated negotiation among self-interested agents. In order for coalitions to be stable, a key question that must be answered is how the gains from cooperation are to be distributed. Various solution concepts (such as the Shapley value, core, least core, and nucleolus) have been proposed. In this paper, we demonstrate how these concepts are vulnerable to various kinds of manipulations in open anonymous environments such as the Internet. These manipulations include submitting false names (one acting as many), collusion (many acting as one), and the hiding of skills. To address these threats, we introduce a new solution concept called the anonymity-proof core, which is robust to these manipulations. We show that the anonymity-proof core is characterized by certain simple axiomatic conditions. Furthermore, we show that by relaxing these conditions, we obtain a concept called the least anonymity-proof core, which is guaranteed to be non-empty. We also show that computational hardness of manipulation may provide an alternative barrier to manipulation.
Combining Social Network Analysis and Sentiment Analysis to Explore the Potential for Online Radicalisation
Authors: Adam Bermingham, Maura Conway, Lisa McInerney, Neil O'Hare, Alan F. Smeaton
Venue: Proceedings of the 2009 International Conference on Advances in Social Network Analysis and Mining (2009)

The increased online presence of jihadists has raised the possibility of individuals being radicalised via the Internet. To date, the study of violent radicalisation has focused on dedicated jihadist websites and forums. This may not be the ideal starting point for such research, as participants in these venues may be described as "already made-up minds". Crawling a global social networking platform, such as YouTube, on the other hand, has the potential to unearth content and interaction aimed at radicalisation of those with little or no apparent prior interest in violent jihadism. This research explores whether such an approach is indeed fruitful. We collected a large dataset from a group within YouTube thatwe identified as potentially having a radicalising agenda. Weanalysed this data using social network analysis and sentiment analysis tools, examining the topicsdiscussed and what the sentiment polarity (positive or negative) is towards these topics. In particular, we focus on gender differences in this group of users, suggesting most extreme and less tolerant views among female users.
Real-Time Guarantees in Flexible Advance Reservations
Authors: Kleopatra Konstanteli, Dimosthenis Kyriazis, Theodora Varvarigou, Tommaso Cucinotta, Gaetano Anastasi
Venue: Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 02 (2009)

This paper deals with the problem of scheduling workflow applications with Quality of Service (QoS) constraints, comprising real-time and interactivity constraints, over a service-oriented Grid network. A novel approach is proposed, in which high-level Advance Reservations, supporting flexible start and end time, are combined with low-level soft real-time scheduling,allowing for the concurrent deployment of multiple services on the same host while fulfilling their QoS requirements. By undertaking a stochastic approach, in which a-priori knowledge is leveraged about the probability of activation of the application workflows within the reserved time-frame, the proposed methodology allows for the achievement of various trade-offs between the need for respecting QoS constraints (user perspective) and the need for having good resource saturation levels (service provider perspective).
Cloud Computing and the Common Man
Authors: John Viega
Venue: Computer (2009)

The cloud offers several advantages, but until some of its risks are better understood many major players might hold back.
Research of Occupational Stress and Its Influencing Factors on Metro Drivers
Authors: Jie Wang, Weining Fang, Like Zhao, Qingmei Hu, Wengang Fan
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

The objective of this study was to determine the occupational stress status of Beijing’s metro drivers and establish the norm of occupational stress. A further objective was to investigate the influencing factors of occupational Stress on individual characteristics, WAI and SCL-90. Result showed that OSI-R reached a set standard of reliability and validity in metro drivers, and high occupational stress could cause significant decreased in WAI, but had no relationship with SCL-90.
Validating plans in the context of processes and exogenous events
Authors: Maria Fox, Richard Howey, Derek Long
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 3 (2005)

Complex planning domains push the boundaries of the expressive power of planning domain modelling languages. Recent extensions to the standard planning languages have included expressions for temporal, metric and resource structures. Other work has also considered how process models can be incorporated into domain models. In this paper we consider the problem of expressing and validating models containing events which are triggered as a consequence of the action of physical processes. We focus, primarily, on the validation of plans in the context of exogenous events, discussing the modelling, semantic and implementation issues that arise. Events impact not only on plans but on domain models as a whole and we also consider the problems that arise in considering the validation of event structures in domain models.
Prime implicate normal form for ALC concepts
Authors: Meghyn Bienvenu
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic K. We show that concepts in prime implicate normal form enjoy a number of desirable properties which make prime implicate normal form interesting from the viewpoint of knowledge compilation. In particular, we prove that subsumption between ALC concepts in prime implicate normal form can be carried out in polynomial time using a simple structural subsumption algorithm reminiscent of those used for less expressive description logics. Of course, in order to take advantage of these properties, we need a way to transform concepts into equivalent concepts in prime implicate normal form. We provide a sound and complete algorithm for putting concepts into prime implicate normal form, and we investigate the spatial complexity of this transformation, showing there to be an at most doubly-exponential blowup in concept length. At the end of the paper, we compare prime implicate normal form to two other normal forms for ALC, discussing the relative merits of the different approaches.
Challenges Concerning the Energy-Dependency of the Telecom Infrastructure
Authors: Lothar Fickert, Helmut Malleck, Christian Wakolbinger
Venue: Critical Information Infrastructure Security: Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers (2009)

Industry worldwide depends on Information and Communication Technology (ICT). Through large-scale blackouts of the public electricity supply telephone services and Internet connections are massively reduced in their functions, leading to cascading effects. Following analysis of selected, typical failure situations counter-measures to re-establish the public electricity supply in Austria to consumers are identified. This can serve also as an example for other countries. Based on the existing public electricity supply system, a sensitivity analysis both in power and in the ICT sector for the mobile and the fixed network is carried out. As a new possible solution "smart grid" or "microgrids" and the controlled operation of decentralized stable islands are investigated.
Fuzzy approaches to quality function deployment for new product design
Authors: Liang-Hsuan Chen, Wen-Chang Ko
Venue: Fuzzy Sets and Systems (2009)

For new product development, quality function deployment (QFD) is a useful approach to maximize customer satisfaction. The determination of the fulfillment levels of design requirements (DRs) and parts characteristics (PCs) in phases 1 and 2 is an important issue during QFD processes for new product design. Unlike the existing literature, which mainly focuses on the DRs, this paper proposes fuzzy nonlinear programming models based on Kano's concept to determine the fulfillment levels of PCs with the aim of achieving the determined contribution levels of DRs in phase 1 for customer satisfaction. In addition, to deal with the design risk, this study incorporates failure modes and effects analysis (FMEA) into QFD processes, and treats it as the constraint factor in the models. To cope with the vague nature of product development processes, fuzzy approaches are used for both FMEA and QFD. The applicability of the proposed models in practice is demonstrated with a numerical example.
Use of Deception to Improve Client Honeypot Detection of Drive-by-Download Attacks
Authors: Barbara Endicott-Popovsky, Julia Narvaez, Christian Seifert, Deborah A. Frincke, Lori Ross O'Neil, Chiraag Aval
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

This paper presents the application of deception theory to improve the success of client honeypots at detecting malicious web page attacks from infected servers programmed by online criminals to launch drive-by-download attacks. The design of honeypots faces three main challenges: deception, how to design honeypots that seem real systems; counter-deception, techniques used to identify honeypots and hence defeating their deceiving nature; and counter counter-deception, how to design honeypots that deceive attackers. The authors propose the application of a deception model known as the deception planning loop to identify the current status on honeypot research, development and deployment. The analysis leads to a proposal to formulate a landscape of the honeypot research and planning of steps ahead.
A New Training Algorithm for Diagonal Recurrent Neural Network Based on Particle Filter
Authors: Deng Xiaolong, Zhou Pingfang
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

Based on particle filter, a new training algorithm combining the extended Kalman filter (EKF) for neural network is presented. The new algorithm is firstly applied to train diagonal recurrent neural network (DRNN). A method to evaluate the dynamical performance of DRNN is introduced. Network weights of particles are optimized by the resampling algorithm. Simulation results of the nonlinear dynamical identification verify the validity of the new algorithm.
The International Game Developer Association (IGDA) Education Special Interest Group (EdSIG)
Authors: Susan Gold
Venue: Proceedings of the 8th International Conference on Entertainment Computing (2009)

Developed in 2006 the IGDA EdSIG mission is to create community resources that will strengthen the academic membership of the IGDA while enhancing the education of future and current game developers. Since the inception of the SIG there have been two major projects: 1) 2008 IGDA Curriculum Framework which has become the standard for game education; 2) The Global Game JamTM where experimentation, innovation and creativity are the main components of it's success. The Global Game JamTM creates collaborations and partnerships globally to promote game studies.Author. Susan Gold recently joined the faculty of Full Sail University's Graduate Program in Game Design. Prof. Gold's personal focus is on collaboration, which resulted in the now annual Global Game JamTM (http:// globalgamejam.org) which she found and serves as the Executive Director. The Global Game JamTM (GGJ) was established in 2009 with great success and media attention, 1650 participants creating 370 video games. GGJ brings together talented individuals and teams from around the globe and rallies them around a central theme, for which they have 48 hours to create their game. Susan serves as chairperson of the International Game Developers Association (IGDA) Education Special Interest Group (EdSIG) and her work with the IGDA EdSIG has created numerous resources for instructors in game education. Susan spearheaded the industry and academic collaborative project, the 2008 IGDA Curriculum Framework. Currently, her EdSIG work is focused on building an outreach campaign to meet the needs of educators worldwide, while continuing to develop tools resources for educator professional development. Ms. Gold is a partner in the Game Program Review, a consulting firm specializing in game education game curricula. Susan is an artist, teacher, and activist with a specialization in digital art, new media and videogames. Her artwork and writing has been featured in numerous galleries, museums and publications. 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
Using Histograms to Better Answer Queries to Probabilistic Logic Programs
Authors: Matthias Broecheler, Gerardo I. Simari, V. S. Subrahmanian
Venue: Proceedings of the 25th International Conference on Logic Programming (2009)

Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When answering a query Q, a lower and upper bound on Q is obtained by optimizing (min and max) an objective function subject to a set of linear constraints whose solutions are the PDFs mentioned above. A common critique not only of PLPs but many probabilistic logics is that the difference between the upper bound and lower bound is large, thus often providing very little useful information in the query answer. In this paper, we provide a new method to answer probabilistic queries that tries to come up with a histogram that "maps" the probability that the objective function will have a value in a given interval, subject to the above linear constraints. This allows the system to return to the user a histogram where he can directly "see" what the most likely probability range for his query will be. We prove that computing these histograms is #P-hard, and show that computing these histograms is closely related to polyhedral volume computation. We show how existing randomized algorithms for volume computation can be adapted to the computation of such histograms. A prototype experimental implementation is discussed.
Empirical Research of Participating in VEAs by Firms in China
Authors: Qin Ying, Han Miao
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

VEAs (Voluntary environmental agreements) environmental management is a kind of environmental policy tool of improving environmental quality on the basis of voluntary participation and in the form of contract, now it has become one kind of new pattern. But there is not a satisfying answer to the question of “why does a firm participate in VEAs?” this paper will study driving factors behind VEAs through model construction. Based on investigating many Chinese firms, we found that participating in VEAs voluntarily by firms is the common result of economic factors (improvement of production, driving of market) and non-economic factors( social pressure, environmental belief, corporate social responsibility (CSR)). We hope that the research can provide advices for government and corporations.
High selectivity (SiN/SiO2) etching using an organic solution containing anhydrous HF
Authors: Daisuke Watanabe, Hidemitsu Aoki, Mitsushi Itano, Takeshi Kezuka, Chiharu Kimura, Takashi Sugino
Venue: Microelectronic Engineering (2009)

An etching process with high selectivity for SiN relative to SiO"2 at a low temperature is required for an etching process in LSI process. We achieved SiN film etching with high selectivity using an organic solvent (ethylene glycol dimethyl ether) containing anhydrous hydrogen fluoride. Selectivity as high as 15 was obtained at 80^oC. It was found that anhydrous HF effectively induces high selectivity for SiN relative to SiO"2. SiN film etching with high selectivity performed at low temperature for a single wafer process can be readily applied to future node technology devices.