ppxscal/embedding_network huggingface dataset:
The 2-dimensional probabilistic bin packing problem: an average case analysis of the FBS algorithm
Authors: Leila Horchani, Monia Bellalouna
Venue: Proceedings of the American Conference on Applied Mathematics (2008)

In the probabilistic two-dimensional Bin Packing problem (2D-PBPP), one is asked to pack a random number of rectangular items, without overlap and any rotation, into the minimum number of identical square bins. In this paper we consider the re-optimization procedure used for solving probabilistic combinatorial optimization problems and an approximation of this strategy: the redistribution strategy according to an heuristic. According to computational results we show that the redistribution strategy according to FBS generates results near those given by the re-optimization strategy which is impossible to be carried out.
Internet addiction: Meta-synthesis of qualitative research for the decade 1996-2006
Authors: Alecia C. Douglas, Juline E. Mills, Mamadou Niang, Svetlana Stepchenkova, Sookeun Byun, Celestino Ruffini, Seul Ki Lee, Jihad Loutfi, Jung-Kook Lee, Mikhail Atallah, Marina Blanton
Venue: Computers in Human Behavior (2008)

Internet addiction is ''an individual's inability to control their Internet use, which in turn leads to feelings of distress and functional impairment of daily activities'' [Shapira, N., Lessig, M., Goldsmith, T., Szabo, S., Lazoritz, M., Gold, M. et al. (2003). Problematic Internet use: Proposed classification and diagnostic criteria. Depression and Anxiety, 17(4), 207-216]. Previous research in this field has offered inconclusive data on whether Internet addiction can be classified as a disorder. This study provides an in-depth and comprehensive analysis of internet addiction through a meta-synthesis of qualitative studies on excessive Internet use published during the period of 1996-2006. Several constructs pertaining to the domain of Internet addiction have been identified and a theoretical model of Internet addiction has been proposed.
The Study on Visualization Systems for Computer-Supported Collaborative Learning
Authors: Soohwan Kim, Hyeoncheol Kim, Seonkwan Han
Venue: Proceedings of the 3rd international conference on Technologies for E-Learning and Digital Entertainment (2008)

In this study, we developed a visualization tool that shows learners' interactive activities graphically during computer-supported collaborative learning (CSCL). The tool helps teachers to monitor and evaluate the interac tion activities among students, and thus it makes it easier to develop more ef fective instructional design for CSCL. For experiments, we used a web-based discussion group of 112 students. We investigated the effects of visualization of interactions on web discussion CSCL. Also, in lesson practice with this tool, we verified the effects through questionnaire and interviews. Our result show that the visualization tool provides a teacher with patterns of collaborative activities very clearly and insights of how to promote students' interactions more effi ciently.
Multi-point boundary value problems for second-order functional differential equations
Authors: Weibing Wang, Jianhua Shen, Zhiguo Luo
Venue: Computers Mathematics with Applications (2008)

This paper is concerned with the existence of extreme solutions of multi-point boundary value problem for a class of second-order functional differential equations. We introduce a new concept of lower and upper solutions. By using the method of upper and lower solutions and monotone iterative technique, we obtain the existence of extreme solutions.
Impact of a vortex ring on a density interface using a regularized inviscid vortex sheet method
Authors: Mark J. Stock, Werner J. A. Dahm, Grétar Tryggvason
Venue: Journal of Computational Physics (2008)

A new, fully three-dimensional, vortex-in-cell method designed to follow the unsteady motion of inviscid vortex sheets with or without small (Boussinesq) density discontinuities is presented. As is common in front-tracking methods, the vortex sheet is described by a moving, unstructured mesh consisting of points connected by triangular elements. Each element carries scalar-valued circulations on its three edges, which can be used to represent any tangent vector value and in the present method represent the element's vorticity. As the interface deforms, nodes and elements are added and removed to maintain the resolution of the sheet and of the vortex sheet strength. The discretization and remeshing methods allow automatic, near-perfect conservation of circulation despite repeated stretching and folding of the interface. Results are compared with previous experiments and simulations. Similarities are observed between the present simulations and experiments of a vortex ring impacting a wall.
An Identity-Based Key Agreement Protocol for the Network Layer
Authors: Christian Schridde, Matthew Smith, Bernd Freisleben
Venue: Proceedings of the 6th international conference on Security and Cryptography for Networks (2008)

A new identity-based key agreement protocol designed to operate on the network layer is presented. Endpoint addresses, namely IP and MAC addresses, are used as public keys to authenticate the communication devices involved in a key agreement, which allows us to piggyback much of the security overhead for key management to the existing network infrastructure. The proposed approach offers solutions to some of the open problems of identity-based key agreement schemes when applied to the network layer, namely multi-domain key generation, key distribution, multi-domain public parameter distribution, inter-domain key agreement and network address translation traversal.
Adaptive Resource Reservation for Efficient Resource Utilization in the Wireless Multimedia Network
Authors: Seungwoo Jeon, Hanjin Lee, Hyunsoo Yoon
Venue: Proceedings of the 7th international conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking (2007)

With the increase of wireless network and demand for the variety of services, the handoff resource reservation for the Quality of Service(QoS) will be significant issue in future wireless networks. But on the other hand, the efficiency of resource usage also needs to be considered for preventing waste of network resources due to the reservation. Therefore, this paper suggests an efficient resource reservation scheme to support QoS provision as well as the efficient resource utilization simultaneously. In the proposed scheme, handoff probability estimation with the filtering algorithm is used to calculate the optimal amount of resources to be reserved in the neighbor cells. So, the mobile units with the proposed scheme can predict the amount of resources required in the future and reserve resource effectively. The performance simulation shows that the proposed scheme is advantageous with the balance of QoS provision and resource utilization in the wireless network.
A Sketch-and-Spray Interface for Modeling Trees
Authors: M Nordin Zakaria, Siti Rokhmah Shukri
Venue: Proceedings of the 8th international symposium on Smart Graphics (2007)

We introduce in this paper an interface for modeling botanical trees that we term a sketch-and-spray interface. In using the interface, a user would sketch out various types of strokes to construct the main structures of a tree. A user could use a branch stroke to draw a single branch, a leaf stroke to draw a single leaf or a stem of leaves, or a copy stroke to draw a whole branch together with all its sub-branches and leaves. A user could also use various editing strokes to modify the tree structure. Finally, a user could spray particles upon it to `grow' the overall shape of the tree. We illustrate the utility of our interface using a number of examples throughout this paper.
Artificial Ants and Dynamical Adaptation of Accessible Games Level
Authors: Alexis Sepchat, Romain Clair, Nicolas Monmarché, Mohamed Slimane
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

Designing a relevant artificial intelligence engine for video games does not always consist in finding a best solution (best opponent, best path, etc.), it can sometimes consist in providing the player with the best gaming experience, and this can be a compromise between being strong enough to give an interesting challenge, and not being too strong so that the player can never win. This game tuning is particularly prominent in case of games for impaired children: they need to be encouraged more than others, and their tiredness can occur quickly within a game that does not fit to their level. In this paper, we focus on self adaptation abilities of ant colonies in order to test if this kind of behavior can be an efficient way to deal with the game level adaptation problem.
Performance-based functional assessment: an algorithm for measuring physical capabilities
Authors: Kathleen J. Price, Andrew Sears
Venue: Proceedings of the 10th international ACM SIGACCESS conference on Computers and accessibility (2008)

The description of users with motor limitations is a significant dilemma for accessibility researchers and system designers alike. Current practice is to use descriptors such as medical diagnoses to represent a person's physical capabilities. This solution is not adequate due to similarities in functional capabilities between diagnoses as well as differences in capabilities within a diagnosis. An alternative is user self-reporting or observation by another person. These solutions are also problematic because they rely on individual interpretation of capabilities. The current research focuses on defining an objective, quantitative and repeatable methodology for assessing a person's physical capabilities in relation to use of computer technology. Results from this initial study are encouraging, including the development of a model which accounts for up to 85% of the variance in user capabilities.
E-Learning Assistant System Based on Virtual Human Interaction Technology
Authors: Xue Weimin, Xia Wenhong
Venue: Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007 (2007)

The virtual human affective interaction is one of the hotspots in information science and cognitive science today. The importance of emotions in learning process is more and more acknowledged. This paper introduces a new virtual human interaction module based on multi-agents. The affective interactive model is built according to the human cerebrum control pattern. The multimodal detection agents are able to help tutor to better understand the emotional and motivational state of the learner throughout the learning process. The results of the practical application virtual human interaction in E-Learning system indicate that virtual human technology can improve the interactivity and entertainment for the E-learners.
A conservative approximation to compressible two-phase flow models in the stiff mechanical relaxation limit
Authors: Vincent Deledicque, Miltiadis V. Papalexandris
Venue: Journal of Computational Physics (2008)

In this article, we present and analyze a conservative approximation to reduced one-pressure one-velocity models for compressible two-phase flows that contain non-conservative products. This approximation is valid when certain material properties of the two phases are considerably different from each other. Although it cannot be applied to arbitrary mixtures, it is applicable to many heterogeneous mixtures of technological interest. Herein, we derive the Rankine-Hugoniot relations and Riemann invariants for the homogeneous part of the proposed model and develop an exact Riemann solver for it. Further, we investigate the structure of the steady two-phase detonation waves, with inert or reactive solid particles, admitted by the proposed model. Comparisons with the corresponding gaseous detonations are also made. Moreover, we derive a lower limit for the propagation speed of steady two-phase detonations in the case of reactive particles. At the limiting case of very dilute mixtures, this minimum speed tends to the Chapman-Jouguet velocity of gaseous detonations. Finally, we report on numerical simulations of the transmission of a purely gaseous detonation to heterogeneous mixtures containing inert or reactive solid particles. The effect of the solid particles on the structure of the resulting two-phase detonation is discussed in detail.
The SCREAM Approach for Efficient Distributed Scheduling with Physical Interference in Wireless Mesh Networks
Authors: Gurashish Brar, Douglas M. Blough, Paolo Santi
Venue: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems (2008)

It is known that CSMA/CA channel access schemes are not well suited to meet the high traffic demand of wireless mesh networks. One possible way to increase traffic carrying capacity is to use a spatial TDMA (STDMA) approach in conjunction with the physical interference model, which allows more aggressive scheduling than the protocol interference model on which CSMA/CA is based. While an efficient centralized solution for STDMA with physical interference has been recently proposed, no satisfactory distributed approaches have been introduced so far. In this paper, we first prove that no localized distributed algorithm can solve the problem of building a feasible schedule under the physical interference model. Motivated by this, we design a global primitive, called SCREAM, which is used to verify the feasibility of a schedule during an iterative distributed scheduling procedure. Based on this primitive, we present two distributed protocols for efficient, distributed scheduling under the physical interference model, and we prove an approximation bound for one of the protocols. We also present extensive packet-level simulation results, which show that our protocols achieve schedule lengths very close to those of the centralized algorithm and have running times that are practical for mesh networks.
Agent Communication Using Web Services, a New FIPA Message Transport Service for Jade
Authors: Esteban León Soto
Venue: Proceedings of the 5th German conference on Multiagent System Technologies (2007)

Integration of agents and Web Services has been target of much interest and significant work in the last few years. In this paper an openly available implementation of a FIPA compliant Jade Message Transport System for Web Services is presented and evaluated. It provides a mechanism to integrate Jade agents transparently with Web Services, The proposed message representation is compliant with FIPA and modern Web Services standards and is part of FIPA's initiative to create specifications for Web Services integration. Agent implementations do not require to be changed to interact with Web Services or to provide services using this tool. It also can be used to implement complex conversations as choreographies of Web Services.
A Statistical Approach to Incremental Induction of First-Order Hierarchical Knowledge Bases
Authors: David J. Stracuzzi, Tolga Könik
Venue: Proceedings of the 18th international conference on Inductive Logic Programming (2008)

Knowledge bases play an important role in many forms of artificial intelligence research. A simple approach to producing such knowledge is as a database of ground literals. However, this method is neither compact nor computationally tractable for learning or performance systems to use. In this paper, we present a statistical method for incremental learning of a hierarchically structured, first-order knowledge base. Our approach uses both rules and ground facts to construct succinct rules that generalize the ground literals. We demonstrate that our approach is computationally efficient and scales well to domains with many relations.
Open educational resources: inquiring into author use and reuse
Authors: Lisa Petrides, Lilly Nguyen, Cynthia Jimes, Anastasia Karaglani
Venue: International Journal of Technology Enhanced Learning (2008)

For teachers and learners, the proliferation of Open Educational Resources (OER) in combination with advances in information technologies has meant centralised access to materials and the possibility of creating, using, and reusing OER globally, collaboratively, and across multiple disciplines. Through an examination of a community of author users of the OER portal Connexions, this article explores individual and group authorship, OER use and reuse and the factors contributing to and hindering these practices. As such, the paper sheds light on how OER can be sustained and continuously improved, with an emphasis on the use and reuse of dynamic, relevant, and high quality materials over time.
Disyllabic Chinese Word Extraction Based on Character Thesaurus and Semantic Constraints in Word-Formation
Authors: Sun Maosong, Xu Dongliang, Benjamin K. T'Sou, Lu Huaming
Venue: Proceedings of the 11th international conference on Text, Speech and Dialogue (2008)

This paper presents a novel approach to Chinese disyllabic word extraction based on semantic information of characters. Two thesauri of Chinese characters, manually-crafted and machine-generated, are conducted. A Chinese wordlist with 63,738 two-character words, together with the character thesauri, are explored to learn semantic constraints between characters in Chinese word-formation, resulting in two types of semantic-tag-based HMM. Experiments show that: (1) both schemes outperform their character-based counterpart; (2) the machine-generated thesaurus outperforms the hand-crafted one to some extent in word extraction, and (3) the proper combination of semantic-tag-based and character-based methods could benefit word extraction.
Certain Integral Means Inequalities Involving Fractional Calculus Operators of Analytic Functions
Authors: Ravinder Krishna Raina, Indu Bala Bapna
Venue: Informatica (2003)

This paper investigates a class of sharp integral means inequalities involving fractional calculus operators of certain analytic functions with negative coefficients. Some consequences of the main result are also mentioned.
Micromanipulation Using a Microassembly Workstation with Vision and Force Sensing
Authors: Hakan Bilen, Mustafa Unel
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues (2008)

This paper reports our ongoing work on a microassembly workstation developed for efficient and robust 3D automated assembly of microobjects. The workstation consists of multiple view imaging system, two 3-DOF high precision micromanipulators, and a 3-DOF positioning stage with high resolution rotation control, force sensing probe and gripper, and the control software system. A hybrid control scheme using both vision and force sensory information is proposed for precise and dexterous manipulation of microobjects. A micromanipulation experiment that aims to locate the microspheres to the predefined configuration by using an integrated vision and force control scheme is successfully demonstrated to show the validity of the proposed methods.
Residual Checking of Safety Properties
Authors: Matthew B. Dwyer, Rahul Purandare
Venue: Proceedings of the 15th international workshop on Model Checking Software (2008)

Program analysis and verification techniques have made great strides, yet, as every researcher in the field will admit it is easy to find a program and property for which a given technique is not cost-effective. Investigating the conventional wisdom that programs are mostly correct, we have observed that even failed program analyses usually produce a wealth of information about the parts of the program that operate correctly. Leveraging this information can help focus subsequent analysis and verification activities to make them more cost-effective.
Empirical Investigation of an Artificial Cytokine Network
Authors: Mark Read, Jon Timmis, Paul S. Andrews
Venue: Proceedings of the 7th international conference on Artificial Immune Systems (2008)

We present an empirical investigation of a mathematical model of cytokine and cell interactions, as derived by Hone and van den Berg, with the intention of ascertaining its potential for deployment in an engineering context. The model's behavioural robustness regarding various patterns of input is assessed, as is it's scope for manipulation through parameter adjustments. Based on these observations we make an addition to the system and attempt to deliberately engineer particular behavioural properties. Finally, the system's suitability for use in engineering is assessed.
Unstructured Cellular Automata and the Application to Model River Riparian Vegetation Dynamics
Authors: Qiuwen Chen, Fei Ye
Venue: Proceedings of the 8th international conference on Cellular Automata for Reseach and Industry (2008)

Cellular automata (CA) have proved to be a robust approach to spatially-explicit modeling of ecosystems. Conventionally the CA models applied a structured square grid. However, due to the anisotropic properties of environmental conditions, the capability of CA method was not fully explored when using the regular squared lattice. This research investigated the unstructured cellular automata (UCA) by implementing a irregular triangular grid and used it to develop a vegetation dynamics model. The model was then coupled with a two-dimensional hydrodynamic model to simulate the riparian vegetation dynamics due to flow modifications by the reservoirs operations. The integrated model was applied to a compound channel of the Lijiang River in the Southwest China, which has been affected by the flow regulations for navigation purpose. Through the simulations, the previous evolutions of the riparian vegetations were recaptured and their future developments under the new flow regulation scheme were predicted. In particular, the potentials of UCA in ecosystem modeling were illustrated in the research.
Fitted Natural Actor-Critic: A New Algorithm for Continuous State-Action MDPs
Authors: Francisco S. Melo, Manuel Lopes
Venue: Proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases - Part II (2008)

In this paper we address reinforcement learning problems with continuous state-action spaces. We propose a new algorithm, fitted natural actor-critic (FNAC), that extends the work in [1] to allow for general function approximation and data reuse. We combine the natural actor-critic architecture [1] with a variant of fitted value iteration using importance sampling. The method thus obtained combines the appealing features of both approaches while overcoming their main weaknesses: the use of a gradient-based actor readily overcomes the difficulties found in regression methods with policy optimization in continuous action-spaces; in turn, the use of a regression-based critic allows for efficient use of data and avoids convergence problems that TD-based critics often exhibit. We establish the convergence of our algorithm and illustrate its application in a simple continuous space, continuous action problem.