ppxscal/embedding_network huggingface dataset:
The effectiveness of using legortm mindstormsrtm robotics activities to influence self-regulated learning in a university introductory computer programming course
Authors: Brian C. O'Connor
Venue:  (2008)

The research described in this dissertation examines the possible link between self-regulated learning and LEGO Mindstorms robotic activities in teaching concepts in an introductory university computer programming course. The areas of student motivation, learning strategies, and mastery of course objectives are investigated. In all three cases analysis failed to reveal any statistically significant differences between the traditional control group and the experimental LEGO Mindstorms group as measured by the Motivated Strategies for Learning Questionnaire and course exams. Possible reasons for the lack of positive results include technical problems and limitations of the LEGO Mindstorms systems, limited number and availability of robots outside of class, limited amount of time during the semester for the robotic activities, and a possible difference in effectiveness based on gender. Responses to student follow-up questions, however, suggest that at least some of the students really enjoyed the LEGO activities. As with any teaching tool or activity, there are numerous ways in which LEGO Mindstorms can be incorporated into learning. This study explores whether or not LEGO Mindstorms are an effective tool for teaching introductory computer programming at the university level and how these systems can best be utilized.
KELLER
Authors: Le Song, Mladen Kolar, Eric P. Xing
Venue: Bioinformatics (2009)

Motivation: Gene regulatory networks underlying temporal processes, such as the cell cycle or the life cycle of an organism, can exhibit significant topological changes to facilitate the underlying dynamic regulatory functions. Thus, it is essential to develop methods that capture the temporal evolution of the regulatory networks. These methods will be an enabling first step for studying the driving forces underlying the dynamic gene regulation circuitry and predicting the future network structures in response to internal and external stimuli. Results: We introduce a kernel-reweighted logistic regression method (KELLER) for reverse engineering the dynamic interactions between genes based on their time series of expression values. We apply the proposed method to estimate the latent sequence of temporal rewiring networks of 588 genes involved in the developmental process during the life cycle of Drosophila melanogaster. Our results offer the first glimpse into the temporal evolution of gene networks in a living organism during its full developmental course. Our results also show that many genes exhibit distinctive functions at different stages along the developmental cycle. Availability: Source codes and relevant data will be made available at http://www.sailing.cs.cmu.edu/keller Contact: epxing@cs.cmu.edu
FEBA: a bandwidth allocation algorithm for service differentiation in IEEE 802.16 mesh networks
Authors: Claudio Cicconetti, Ian F. Akyildiz, Luciano Lenzini
Venue: IEEE/ACM Transactions on Networking (TON) (2009)

In wireless mesh networks, the end-to-end throughput of traffic flows depends on the path length, i.e., the higher the number of hops, the lower becomes the throughput. In this paper, a fair end-to-end bandwidth allocation (FEBA) algorithm is introduced to solve this problem. FEBA is implemented at the medium access control (MAC) layer of single-radio, multiple channels IEEE 802.16 mesh nodes, operated in a distributed coordinated scheduling mode. FEBA negotiates bandwidth among neighbors to assign a fair share proportional to a specified weight to each end-to-end traffic flow. This way traffic flows are served in a differentiated manner, with higher priority traffic flows being allocated more bandwidth on the average than the lower priority traffic flows. In fact, a node requests/grants bandwidth from/to its neighbors in a round-robin fashion where the amount of service depends on both the load on its different links and the priority of currently active traffic flows. If multiple channels are available, they are all shared evenly in order to increase the network capacity due to frequency reuse. The performance of FEBA is evaluated by extensive simulations. It is shown that wireless resources are shared fairly among best-effort traffic flows, while multimedia streams are provided with a differentiated service that enables quality of service.
The study of some discrete IS-LM models with tax revenues and time delay
Authors: Mihaela Neamtu, Gabriela Mircea, Dumitru Opris
Venue: WSEAS Transactions on Mathematics (2009)

In this paper, we study some discrete IS-LM models with tax revenues and time delay. Considering its parameters as variables, we analyze the existence of the Neimark-Sacker bifurcation. We find the normal form and its Lyapunov coefficient. For each considered model, using programs in Maple 11 we make some numerical simulations that verify the theoretical results.
Digital oil and gas pipeline visualization using X3D
Authors: LI Zhen-pei, LI Ping, WU Ming
Venue: Proceedings of the 14th International Conference on 3D Web Technology (2009)

With the development of oil and gas pipeline construction, management technology and information technology, it is highly desirable to create a visual oil and gas pipeline management system to improve pipeline management efficiency. Meanwhile, with the increasing network tendency of digital oil and gas pipeline, it is urgent to publish pipeline data to the internet to enhance pipeline information sharing. In this study, we use Extensible 3D (X3D), which is a software standard for defining interactive web- and broadcast-based 3D content integrated with multimedia, to build a web-based, interactive and 3D dynamic virtual oil and gas pipeline system. The implementation process and method of 3D terrain modeling, pipeline modeling, pipeline affiliated facilities modeling, and pipeline parameters real-time displaying through integrating X3D with Java and OPC are also introduced. The digital oil and gas pipeline visualization system provides an effective way for pipeline staffs and managers to visually fetch pipeline information through web. The system also provides some useful functions such as over standard early-warning, linkage alarm for pipeline routine administering and maintaining. Our application results also indicate that X3D is a practical solution for web3D and virtual reality applications.
Mobile robot heading adjustment using radial basis function neural networks controller and reinforcement learning
Authors: Gökhan Bayar, E. Ilhan Konukseven, A. Buǧra Koku
Venue: Proceedings of the 4th WSEAS/IASME international conference on Dynamical systems and control (2008)

This paper proposes radial basis function neural networks approach to the solution of a mobile robot heading adjustment using reinforcement learning. In order to control the heading of the mobile robot, the neural networks control system have been constructed and implemented. Neural controller has been charged to enhance the control system by adding some degrees of strength. It has been achieved that neural networks system can learn the relationship between the desired directional heading and the error position of the mobile robot. The radial basis function neural networks have been trained via reinforcement learning function approach. The performance of the proposed controller and learning system has been investigated by using mobile robot that consists of a two driving wheels mounted on the same axis, and a front passive wheel for balance.
Recognizing names in biomedical texts using hidden Markov model and SVM plus sigmoid
Authors: Zhou GuoDong
Venue: Proceedings of the International Joint Workshop on Natural Language Processing in Biomedicine and its Applications (2004)

In this paper, we present a named entity recognition system in the biomedical domain, called PowerBioNE. In order to deal with the special phenomena in the biomedical domain, various evidential features are proposed and integrated through a Hidden Markov Model (HMM). In addition, a Support Vector Machine (SVM) plus sigmoid is proposed to resolve the data sparseness problem in our system. Finally, we present two post-processing modules to deal with the cascaded entity name and abbreviation phenomena. Evaluation shows that our system achieves the F-measure of 69.1 and 71.2 on the 23 classes of GENIA V1.1 and V3.0 respectively. In particular, our system achieves the F-measure of 77.8 on the "protein" class of GENIA V3.0. It shows that our system outperforms the best published system on GENIA V1.1 and V3.0.
Functional processor-based testing of communication peripherals in systems-on-chip
Authors: Andreas Apostolakis, Mihalis Psarakis, Dimitris Gizopoulos, Antonis Paschalis
Venue: IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2007)

Software-based self-testing (SBST) of microprocessors and processor-based testing of systems-on-chip (SoCs) recently captured intense test technology research efforts because they provide an effective alternative or supplement to other classic testing and self-testing approaches. Despite the importance of peripheral cores in SoCs (in terms of functionality and size), the applicability and limits of SBST on them have not been comprehensively studied. In this paper, we study the effectiveness of SBST on a broad class of communication peripheral cores in SoCs. A systematic application of SBST on two popular peripherals (universal asynchronous receiver transmitter and Ethernet) demonstrates the effectiveness of SBST on SoCs with such cores.
Satisfiability solving for software verification
Authors: David D&#x00e9;harbe, Silvio Ranise
Venue: International Journal on Software Tools for Technology Transfer (STTT) (2009)

Declarative techniques for software verification require the availability of scalable, predictable, and flexible satisfiability solvers. We describe our approach to build such solvers by combining equational theorem proving, Boolean solving, arithmetic reasoning, and some transformations of the proof obligations. The proposed techniques have been implemented in a system called haRVey and the viability of the approach is shown on proof obligations generated in the certification of aerospace code.
Transparency and social responsibility issues for Wikipedia
Authors: Adele Santana, Donna J. Wood
Venue: Ethics and Information Technology (2009)

Wikipedia is known as a free online encyclopedia. Wikipedia uses largely transparent writing and editing processes, which aim at providing the user with quality information through a democratic collaborative system. However, one aspect of these processes is not transparent--the identity of contributors, editors, and administrators. We argue that this particular lack of transparency jeopardizes the validity of the information being produced by Wikipedia. We analyze the social and ethical consequences of this lack of transparency in Wikipedia for all users, but especially students; we assess the corporate social performance issues involved, and we propose courses of action to compensate for the potential problems. We show that Wikipedia has the appearance, but not the reality, of responsible, transparent information production.
An ontology for Environmental and Health and Safety risks' evaluation for construction
Authors: Alba Fuertes, Miquel Casals, Marta Gangolells, Nuria Forcada, Xavier Roca
Venue: Proceeding of the 2008 conference on Formal Ontologies Meet Industry (2008)

The present research project establishes the basis of a decision making tool, based on an ontology, to integrally analyze Environmental and Health and Safety risks along the planning and execution phases of a construction project and to define technical solutions and preventive measures. The ontology will allow the classification of all the terms (aspects, impacts, risks, and procedures) related to the Health and Safety Evaluation and to the Environmental Evaluation as well as the relationships that exist among them. On the other hand, each class will be enriched with different properties that will be used by the decision-making tool to identify the main significant Environmental and Health and Safety aspects in each Construction process, and moreover, to evaluate their impact in a specific construction project in order to provide procedures. Therefore, both designers and contractors will asses the environmental and the health and safety risks related to each designed solution or constructive process, facilitating them the choice of the designed solution with fewer impact/risk. As a consequence the construction sector will increase its competitivity by optimizing the resources dedicated to the different management systems of a construction company.
The wave preflow algorithm for the minimum flow problem
Authors: Laura Ciupala
Venue: Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering (2008)

In this paper, we develop the wave preflow algorithm for minimum flow. This algorithm is a special implementation of the generic preflow algorithm developed by Ciurea and Ciupala in [11]. It is a hybrid between the FIFO preflow algorithm and the highest-label preflow algorithm for minimum flow. It examines the active nodes in nondecreasing order of their distance labels and the node examination terminates when either the node deficit becomes zero or the node is relabeled. The wave preflow algorithm for minimum flow runs in O(n3) time.
Improved BSDL-based content adaptation for JPEG 2000 and HD Photo (JPEG XR)
Authors: Wesley De Neve, Davy Van Deursen, Wim Van Lancker, Yong Man Ro, Rik Van de Walle
Venue: Image Communication (2009)

JPEG 2000 and HD Photo (JPEG XR) enable the coding of images with several adaptivity provisions. These provisions allow taking into account the constraints of diverse usage environments. However, the actual adaptation of the coded bitstreams requires additional system complexity. This paper investigates how JPEG 2000 and HD Photo can be used in a standardized and XML-based framework for format-independent content adaptation in the compressed domain. An analysis is provided of the cost of providing adaptivity in the compressed domain, in terms of loss of coding efficiency, as well as in terms of the complexity of the format-agnostic adaptation system used. This complexity is expressed in terms of execution times, memory consumption, and file size overhead of the XML descriptions. Using the outcome of our analysis, a number of improvements are proposed that allow reducing the complexity of XML-based adaptation for JPEG 2000 and HD Photo, in particular the use of compact XML descriptions and an adaptation chain based on the Simple API for XML (SAX). Compact XML descriptions contain a minimal amount of information for the purpose of adaptation-their use is enabled by introducing an additional lightweight pre- and post-processing step in the overall adaptation chain. Our results show that editing-style operations on JPEG 2000 and HD Photo bitstreams can be executed with a feasible complexity when relying on compact XML descriptions. These editing-style operations include exploiting spatial and quality scalability, as well as interactive extraction of regions-of-interest (ROIs). However, low-level operations in the compressed domain, such as rotating an image, cannot be supported, due to the need for entropy decoding and data reordering at macroblock or codeblock level.
An intelligent system for customized clothing making
Authors: Jun-Ming Lu, Mao-Jiun J. Wang
Venue: Proceedings of the 7th WSEAS international conference on Computational intelligence, man-machine systems and cybernetics (2008)

This study presents the development of an intelligent system for customized clothing making. The system involves body dimension collection, clothing pattern generation and fabric cutting. First, body dimensions can be collected by analyzing the 3D scanning images or 2D photographs. Further, the clothing patterns can be generated by using computer-aided design (CAD) techniques based on the collected dimensions. By presenting the generated clothing patterns in DXF (Drawing Exchange Format), the CNC laser-cutting machine can then cut the fabric into pattern pieces automatically. Finally, by integrating the system with the processes of garment sewing, fitting test and final adjustment, the concept of customized clothing making can be realized. It can not only assure good fitness of the customized clothing but also reduce human efforts, costs, and production time.
Proceedings of the 2009 Annual Conference of the Southern African Computer Lecturers' Association
Venue: Southern African Computer Lecturers' Association Conference (2009)

SACLA is an association of people involved in the teaching of Computer Science and Information Systems at universities throughout Southern Africa. The main activity of SACLA is the annual conference, at which issues concerning teaching and research in ICT in Southern Africa are discussed. In 2009 the annual conference, SACLA 2009, is being hosted by the Department of Information Systems and the Department of Computer Science at Rhodes University. The theme of the conference is "Connecting Students to the Future". This year 27 papers were submitted, of which 21 were candidates for inclusion as full papers in the conference proceedings. These were submitted to a thorough double blind review requiring a minimum of 3 reviews from an extensive program committee comprising subjects experts recruited from both within the borders of South Africa and beyond. Papers acceptance required a clear consensus amongst the reviewers. Disagreements amongst reviewers were resolved by an additional assessor whose recommendation was considered by the internal program committee. Offers of acceptance were made to the authors of the 15 papers which, after revision in line with reviewer comments, are included in these published conference proceedings. A further 11 papers were accepted only for presentation as short papers or posters.
A CBR System for Autonomous Robot Navigation
Authors: Raquel Ros, Ramon López de Màntaras, Carles Sierra, Josep Lluís Arcos
Venue: Proceeding of the 2005 conference on Artificial Intelligence Research and Development (2005)

In this paper we propose the use of case-based reasoning techniques to improve the navigation of an autonomous robot in unknown semistructured environments. At the moment the current goal is to identify problematic situations (such as dead ends or obstacle layouts that the robot is not able to avoid) and take the proper actions in order to avoid them. As the first steps we propose a similarity function to retrieve similar past cases. We integrate a CBR agent into an existing multiagent navigation system in order to evaluate the performance of the CBR system. The results obtained through simulation show that the new system not only prevents the robot from getting blocked in certain situations, but also improves the performance in terms of time and distance of the path taken to reach the target.
A Design Method for the Enterprise Knowledge Management Architecture
Authors: Masakazu Kanbe, Shuichiro Yamamoto
Venue: Proceeding of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering (2008)

We propose a method for designing an enterprise knowledge management architecture. Our method includes the processes to develop KM assumptions, survey KM Task, evaluate KM assumptions, select KM tasks to be improved and develop KM road map. This method uses the hierarchical knowledge sharing architecture consists of business vision, knowledge process and knowledge management environment to execute knowledge management activities. We illustrate the effectiveness and limitation of our method.
Narrating technology: discourses of computers and basic writing
Authors: Janet L. Miller
Venue:  (2008)

"Narrating Technology: Discourses of Computers and Basic Writing" is an autoethnographic narrative inquiry into the author's work with community college basic writers and computer-mediated technologies. Through student narratives and interview data, the author examines basic writers' perspectives on their use of computer-mediated technologies inside and outside of school settings, and how these views potentially complicate current discourses of computer-mediated technologies in the field of Basic Writing. Informed by poststructural perspectives and Foucauldian conceptions of discourse, the author also explores how her positioning changes as a result of researching student and faculty perspectives on the use of computer-mediated technologies with basic writers. The connection between literacies and technology is explored in light of the politics that surround Basic Writing, developmental English, and so-called "remedial" courses. By examining discourses, the author considers possibilities for future study about the use of computer-mediated technologies specifically in the field of Basic Writing.
A qualitative vickrey auction
Authors: B. Paul Harrenstein, Mathijs M. de Weerdt, Vincent Conitzer
Venue: Proceedings of the tenth ACM conference on Electronic commerce (2009)

Restricting the preferences of the agents by assuming that their utility functions linearly depend on a payment allows for the positive results of the Vickrey auction and the Vickrey-Clarke-Groves mechanism. These results, however, are limited to settings where there is some commonly desired commodity or numeraire--money, shells, beads, etcetera--which is commensurable with utility. We propose a generalization of the Vickrey auction that does not assume that the agents' preferences are quasilinear, but nevertheless retains some of the Vickrey auction's desirable properties. In this auction, a bid can be any alternative, rather than just a monetary offer. As a consequence, the auction is also applicable to situations where there is a fixed budget, or no numeraire is available at all (or it is undesirable to use payments for other reasons)--such as, for example, in the allocation of the task of contributing a module to an open-source project. We show that in two general settings, this qualitative Vickrey auction has a dominant-strategy equilibrium, invariably yields a weakly Pareto efficient outcome in this equilibrium, and is individually rational. In the first setting, the center has a linear preference order over a finite set of alternatives, and in the second setting, the bidders' preferences can be represented by continuous utility functions over a closed metric space of alternatives and the center's utility is equipeaked. The traditional Vickrey auction turns out to be a special case of the qualitative Vickrey auction in this second setting.