ppxscal/embedding_network huggingface dataset:
Strategies and Technologies for Developing Online Computer Labs for Technology-based Courses
Authors: Lee Chao
Venue:  (2007)

For technology-based online courses, computer labs are necessary to support hands-on practice for IT products. The implementation of an online computer teaching lab is a challenging task. Strategies & Technologies for Developing Online Computer Labs for Technology-Based Courses discusses design strategies, implementation difficulties, and the effectiveness of online labs. This book provides scholars, researchers, and practitioners support for lab-based e-learning, gives guidance on the selection of technologies for various projects, and illustrates Web-based teaching with case studies. 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
The use of a Reasoning process to solve the almost SLAM Challenge at the Robocup legged league
Authors: M. Teresa Escrig Monferrer, Juan Carlos Peris Broch
Venue: Proceeding of the 2005 conference on Artificial Intelligence Research and Development (2005)

The problem that a robot navigates autonomously through its environment, builds its own map and localizes itself in the map (known a the SLAM problem), is still an open problem. Most of the approaches to solve the SLAM problem divide the space into regions and compute the probability that the robot is in each region. We propose in this paper a different solution based on the use of a reasoning process to build the map, which will provide the following advantages: (1) we will store in the map hybrid (qualitative + quantitative) information from landmarks. Qualitative representation will allow us the management of the uncertainty information provided by the robot sensors; and (2) we will store in the map relative information of the landmarks which appear in the environment, therefore the map will be independent of the point of view of the robot. Moreover, we are going to use a reasoning process which will allow us to solve three very important problems in robotics: (a) where the robot is; (b) which is the orientation of the map where the robot is; and (c) towards where the robot should go according to the map to follow a plan.
Retrieval of land surface albedo and temperature using data from the Indian geostationary satellite: a case study for the winter months
Authors: B. K. Bhattacharya, K. Mallick, N. Padmanabhan, N. K. Patel, J. S. Parihar
Venue: International Journal of Remote Sensing (2009)

The shortwave and longwave radiation budget at land surfaces is largely dependent on two fundamental quantities, the albedo and the land surface temperature (LST). A time series (November 2005 to March 2006) of daily data from the Indian geostationary satellite Kalpana-1 Very High Resolution Radiometer (K1VHRR) sensor in the visible (VIS), water vapour (WV) and thermal infrared (TIR) bands from noontime (0900 GMT) observations were processed to retrieve these quantities in clear skies for five winter months. Cloud detection was carried out using bispectral threshold tests (in both VIS and TIR bands) in a dekadal time series. Surface albedo was retrieved using a simple atmospheric transmission model. K1VHRR albedo was compared with Moderate Resolution Imaging Spectroradiometer (MODIS) AQUA noontime albedo over different land targets (agriculture, forest, desert, scrub and snow) that showed minimum differences over agriculture and forest. The comparison of spatial albedo over different landscapes yielded a root mean square deviation (RMSD) of 0.021 in VHRR albedo (9% of MODIS albedo). A mono-window algorithm was implemented with a single TIR band to retrieve the LST. Its accuracy was also verified over different land targets by comparison with aggregated MODIS AQUA LST. The maximum RMSD was obtained over agriculture. Spatial comparison of VHRR and AQUA LSTs over homogeneous and heterogeneous landscape cutouts revealed an overall RMSD of 2.3 K. An improvement in the retrieval accuracy is expected to be achieved with atmospheric products from the sounder and split thermal bands in the imager of future INSAT 3D missions.
Bayesian Inference Under Probability Constraints
Authors: Anna Pernestål, Mattias Nyberg
Venue: Proceeding of the 2008 conference on Tenth Scandinavian Conference on Artificial Intelligence: SCAI 2008 (2008)

Inspired by the problem of fault isolation we consider Bayesian inference from training data and background knowledge. We discuss how the background knowledge can be translated to equality constraints and show how it is introduced in the computations. The main advantage of combining data and background knowledge is achieved when the amount of data is limited.
Technical Section: Consistent segmentation of 3D models
Authors: Aleksey Golovinskiy, Thomas Funkhouser
Venue: Computers and Graphics (2009)

This paper proposes a method to segment a set of models consistently. The method simultaneously segments models and creates correspondences between segments. First, a graph is constructed whose nodes represent the faces of every mesh, and whose edges connect adjacent faces within a mesh and corresponding faces in different meshes. Second, a consistent segmentation is created by clustering this graph, allowing for outlier segments that are not present in every mesh. The method is demonstrated for several classes of objects and used for two applications: symmetric segmentation and segmentation transfer.
Diagramming the Argument Interchange Format
Authors: Glenn Rowe, Chris Reed
Venue: Proceeding of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008 (2008)

We propose some standards and rules by which clear, uncluttered diagrams of arguments incorporating all the rules and attributes defined by the Argument Interchange Format (AIF) can be created. We consider issues arising from the production of general directed graph diagrams. We also define updated rules for translating between Standard, Wigmore and Toulmin diagrams that are consistent with an interpretation in terms of AIF.
Topology-Free Querying of Protein Interaction Networks
Authors: Sharon Bruckner, Falk Hüffner, Richard M. Karp, Ron Shamir, Roded Sharan
Venue: Proceedings of the 13th Annual International Conference on Research in Computational Molecular Biology (2009)

In the network querying problem, one is given a protein complex or pathway of species A and a protein---protein interaction network of species B; the goal is to identify subnetworks of B that are similar to the query. Existing approaches mostly depend on knowledge of the interaction topology of the query in the network of species A; however, in practice, this topology is often not known. To combat this problem, we develop a topology-free querying algorithm, which we call Torque. Given a query, represented as a set of proteins, Torque seeks a matching set of proteins that are sequence-similar to the query proteins and span a connected region of the network, while allowing both insertions and deletions. The algorithm uses alternatively dynamic programming and integer linear programming for the search task. We test Torque with queries from yeast, fly, and human, where we compare it to the QNet topology-based approach, and with queries from less studied species, where only topology-free algorithms apply. Torque detects many more matches than QNet, while in both cases giving results that are highly functionally coherent.
Handling complexity of synchronous grammars for machine translation
Authors: Daniel J. Gildea
Venue:  (2008)

Synchronous grammars are grammars that model two languages and their translational equivalence. They are rewriting systems extended to two dimensions. Systems based on synchronous grammars and tree transducers promise to improve the quality of statistical machine translation output, but are often very computationally intensive. We improve the efficiency of such systems, making both decoding and training fast and effective. We devise an algorithm for factoring syntactic re-orderings by binarizing synchronous rules when possible and show that the resulting rule set significantly improves the speed and accuracy of a state-of-the-art syntax-based machine translation system. We take a multi-pass approach to machine translation decoding when using synchronous context-free grammars as the translation model and n-gram language models: the first pass uses a bigram language model, and the resulting parse forest is used in the second pass to guide search with a trigram language model. An additional fast decoding pass maximizing the expected count of correct translation hypotheses increases the BLEU score significantly. We combine the strengths of Bayesian modeling and synchronous grammar in unsupervised learning of basic translation phrase pairs. The structured space of a synchronous grammar is a natural fit for phrase pair probability estimation, though the search space can be prohibitively large. Therefore we explore efficient algorithms for pruning this space that lead to empirically effective results.
Blending Assessment and Instructional Assisting
Authors: Leena Razzaq, Mingyu Feng, Goss Nuzzo-Jones, Neil T. Heffernan, Kenneth Koedinger, Brian Junker, Steven Ritter, Andrea Knight, Edwin Mercado, Terrence E. Turner, Ruta Upalekar, Jason A. Walonoski, Michael A. Macasek, Christopher Aniszczyk, Sanket Choksey, Tom Livak, Kai Rasmussen
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

Middle school mathematics teachers are often forced to choose between assisting students' development and assessing students' abilities because of limited classroom time available. To help teachers make better use of their time, we are integrating assistance and assessment by utilizing a web-based system (“Assistment”) that will offer instruction to students while providing a more detailed evaluation of their abilities to the teacher than is possible under current approaches. An initial version of the Assistment system was created and used last May with about 200 students and 800 students are using it this year once every two weeks. The hypothesis is that Assistments both assist students while also assessing them. This paper describes the Assistment system and some preliminary results.
Communication infrastructure selection criteria for alerting systems implemented through mobile sensor networks
Authors: Dan Popescu, Radu Dobrescu, Maximilian Nicolae, Alexandru Iordan
Venue: Proceedings of the 10th WSEAS international conference on Automation & information (2009)

At the beginning of the paper it is presented an alerting system architecture based on mobile sensor network. Then it is analyzed the current available radio communication infrastructure which can be used for implementation of alerting systems in conjunction with the alerting systems requirements. We propose some ideas of selection criterion based on this analyze and an implementation of a mobile sensor network with applicability in alerting systems. Built with the purpose of surveillance, data gathering and warning, alert systems could benefit from the increase flexibility offered by a mobile sensor network. In order to ensure a low cost and an extended battery life, for communication between nodes the ZigBee standard was chosen. For the prompt response of the system we design a software kernel with real time operation.
Compressive sensing for subsurface imaging using ground penetrating radar
Authors: Ali C. Gurbuz, James H. McClellan, Waymond R. Scott Jr.
Venue: Signal Processing (2009)

The theory of compressive sensing (CS) enables the reconstruction of sparse signals from a small set of non-adaptive linear measurements by solving a convex @?"1 minimization problem. This paper presents a novel data acquisition system for wideband synthetic aperture imaging based on CS by exploiting sparseness of point-like targets in the image space. Instead of measuring sensor returns by sampling at the Nyquist rate, linear projections of the returned signals with random vectors are used as measurements. Furthermore, random sampling along the synthetic aperture scan points can be incorporated into the data acquisition scheme. The required number of CS measurements can be an order of magnitude less than uniform sampling of the space-time data. For the application of underground imaging with ground penetrating radars (GPR), typical images contain only a few targets. Thus we show, using simulated and experimental GPR data, that sparser target space images are obtained which are also less cluttered when compared to standard imaging results.
The effect assessment method of design factors on search for high risk events of power systems
Authors: Tetsushi Miki
Venue: Proceedings of the 7th WSEAS international conference on Computational intelligence, man-machine systems and cybernetics (2008)

Power systems become large and complex, so the occurrence rates of a great deal of energy loss caused by faults become high. In this situation, the development of the efficient search method for high risk events of power systems is strongly required. Risk is defined as the product of energy loss and its occurrence rate, considering that the goal of power systems is the stable supply of power. This paper presents the newly developed method which can assess accurately and efficiently effects of design factors on high risk events caused by loss of transient stability of power systems. Being focused on control systems, it was applied to the model system composed of 3 generators and 9 buses. The results of application have clarified its effectiveness.
Romanian contributions to the applications of mathematics in music
Authors: Gheorghe Dutica, Razvan Raducanu
Venue: Proceedings of the 10th WSEAS international conference on Acoustics & music: theory & applications (2009)

The paper presents the Romanian contributions to the application of mathematics in music. We identified five main directions of interference of mathematics with music: the principle of symmetry, fractals, mathematical linguistics, topology and the poly-modular time and algebra. All these theories were applied in the creation of the Romanian composers and received a great international success.
How Technology Performs in Schools
Authors: Nana Benjaminsen
Venue: Proceeding of the 2007 conference on Supporting Learning Flow through Integrative Technologies (2007)

This is a short description of my PhD project, written in relation to the Doctoral Student Consortium, at the 15th International Conference for Computers in Education 2007.
Virtual Reality Based Nuclear Steam Generator Ageing and Life Management Systems
Authors: Yajin Liu, Jiang Guo, Peng Liu, Lin Zhou, Jin Jiang
Venue: Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part III (2009)

Steam Generator (SG) is the barrier between primary loop and second loop in a nuclear power plant. As an important device, once SG fails to work due to the aging problem, the safety, economic and reliability of the nuclear power plant will be affected seriously. An important issue in the ageing and life management of SG is the understanding of its structure, operation mechanism and its ageing mechanism. Virtual reality is an advanced human-computer interface that simulates a realistic environment. Virtual environment technologies have been shown to provide invaluable training in the performance of complex procedural tasks. Of paramount importance to the success of any VR is realism; entities must move and behave believably and approximate to the complexity of the real world.A PC (Personal Computer)-based visualization system of SG is developed. The physical structures and the internal interactions of SG in various conditions, even those are invisible in the real world, can be visually demonstrated in detail by this system. This development system can provide vital indications of the equipments' ageing condition, integral evaluation of SG tube and also be useful for the staff training in the Nuclear Power Plants (NPPs).
Fast detection of specific information in voice signal over internet protocol
Authors: Hazem M. El-Bakry, Nikos Mastorakis
Venue: Proceedings of the 7th WSEAS international conference on Computational intelligence, man-machine systems and cybernetics (2008)

The world Telecommunications industry caters to both Wireline and Wireless business. In the present Fourth Generation (4G) wireless world rapid change is the only constant factor. The biggest paradigm change being the move from Circuit Switched to Packet Switched technologies. Voice over Packet (VoP) is transforming telephony by rapidly replacing the legacy circuit-switched technology. The VoP technology unites the telephony and data worlds allowing voice, facsimile, and video traffics to be relayed over managed IP networks or corporate intranets around the world. In this paper, various aspects of Voice over Internet Protocol (VoIP) are discussed, including the architecture for the NGMN, challenges, standards and the application areas. In addition a new approach for fast detecting certain information in VOIP is presented. The entire data are collected together in a long vector and then tested as a one input pattern. Proposed fast time delay neural networks (FTDNNs) use cross correlation in the frequency domain between the tested data and the input weights of neural networks. It is proved mathematically and practically that the number of computation steps required for the presented time delay neural networks is less than that needed by conventional time delay neural networks (CTDNNs). Simulation results using MATLAB confirm the theoretical computations.
Robust image watermarking against local geometric attacks using multiscale block matching method
Authors: Chao-Hung Lai, Jiunn-Lin Wu
Venue: Journal of Visual Communication and Image Representation (2009)

This paper presents an image registration algorithm against the local geometric attack which is recently considered as the public enemy of most watermarking schemes. The watermark is embedded and retrieved using an amplitude modulation watermarking scheme. This work gives consideration to all the fidelity, robustness, and capacity. Moreover, the watermark bits act as implicit anchors to help correct local geometric distortions. In the proposed registration algorithm, an automatically multi-scaled neighborhood-matching approach is used to quickly and efficiently estimate local displacement, and a multi-resolution framework is superimposed to estimate both small and large local geometric distortions. Experimental results demonstrate the robustness and efficiency of the proposed algorithm.
The lagniappe programming environment
Authors: Harrick M. Vin
Venue:  (2008)

Multicore, multithreaded processors are rapidly becoming the platform of choice for designing high-throughput request processing applications. We refer to this class of modern parallel architectures as multi-&star; systems. In this dissertation, we describe the design and implementation of Lagniappe, a programming environment that simplifies the development of portable, high-throughput request-processing applications on multi-&star; systems. Lagniappe makes the following four key contributions: First, Lagniappe defines and uses a unique hybrid programming model for this domain that separates the concerns of writing applications for uni-processor, single-threaded execution platforms (single-&star; systems) from the concerns of writing applications necessary to efficiently execute on a multi-&star; system. We provide separate tools to the programmer to address each set of concerns. Second, we present meta-models of applications and multi-&star; systems that identify the necessary entities for reasoning about the application domain and multi-&star; platforms. Third, we design and implement a platform-independent mechanism called the load-distributing channel that factors out the key functionality required for moving an application from a single-&star; architecture to a multi-&star; one. Finally, we implement a platform-independent adaptation framework that defines custom adaptation policies from application and system characteristics to change resource allocations with changes in workload. Furthermore, applications written in the Lagniappe programming environment are portable; we separate the concerns of application programming from system programming in the programming model. We implement Lagniappe on a cluster of servers each with multiple multicore processors. We demonstrate the effectiveness of Lagniappe by implementing several stateful request-processing applications and showing their performance on our multi-&star; system.
Estimation of Similarity between Colour Images
Authors: Paweł Benecki, Adam Świtoński
Venue: Proceeding of the 2008 conference on New Trends in Multimedia and Network Information Systems (2008)

The paper describes and compares content-based global and local feature image retrieval techniques, which can be applied to estimate similarity between colour images. The database of 150 colour images with manually specified model similarity of each pair was prepared. The comparison of the analyzed methods was based on examining model and calculated similarities, which should be alike.
A Computer-Based Environment for Learning by Problem-Posing as Sentence-Integration
Authors: Tsukasa Hirashima, Takuro Yokoyama, Masahiko Okamoto, Akira Takeuchi
Venue: Proceeding of the 2006 conference on Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding (2006)

Learning by problem-posing is a well recognized as an important way to learn mathematics. In this paper, we describe a computer-based learning environment for learning by problem-posing as sentence-integration. The learning environment was practically used in arithmetic classes of the second and third grade students in several elementary schools. The definition of “learning by problem-posing as sentence-integration” and the framework of the learning environment are described in this paper.
Acting with Technology in a Multicultural Learning Community: Participant Reactions to Digital Portfolio Assessment in K-6
Authors: I-Pei Tung
Venue: Proceeding of the 2007 conference on Supporting Learning Flow through Integrative Technologies (2007)

This study examines the use of multimedia and their application to implement portfolio assessment in order to instruct students, assess their learning, and communicate the outcomes to parents. Interviews with all participants allowed the process to be described from multiple perspectives of this particular community. Overall, digital portfolios were found to be useful for instructing and assessing students and communicating with parents, and further for understanding how family culture influenced students learning in a technology-embedded environment. The goal of this paper is to reflect on the current development of portfolio assessment and verify the ways of ensuring its effectiveness in teaching and learning.
Identifying embodied metaphors in children's sound-action mappings
Authors: Saskia Bakker, Alissa N. Antle, Elise van den Hoven
Venue: Proceedings of the 8th International Conference on Interaction Design and Children (2009)

Physical activity and manipulating physical objects can be beneficial for learning. Earlier studies [2] have shown that interaction models that rely on unconscious and embodied knowledge (based on embodied metaphors) can benefit the learning process. However, more than one embodied metaphor might be applicable. In this paper, we present the results of a user study (n=65) designed to identify embodied metaphors seven to nine year old children use when enacting abstract concepts related to musical sound. The results provide evidence that multiple different embodied metaphors can unconsciously be used to structure the understanding of these concepts. In addition, we have identified and categorized commonly used metaphors based on the children's enactments of changing sound concepts.