ppxscal/embedding_network huggingface dataset:
Building distributed web applications based on model versioning with CoObRa: An experience report
Authors: Nina Aschenbrenner, Jorn Dreyer, Marcel Hahn, Ruben Jubeh, Christian Schneider, Albert Zundorf
Venue: Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models (2009)

Originally, model versioning has been developed to enable teams of developers to work on common model data, concurrently. We have the idea to use the same techniques to facilitate the collaboration of collaboration applications. Multi threaded applications share a common main memory. Thus, all threads have access to the full data structures and each thread may query and update the data structures, concurrently, in order to fulfill its tasks. In distributed applications, each distributed process has access only to its own share of the data model. In order to query and update remote data structure parts, the process has to send an appropriate request to the process, that owns that data. Transferring complex data structures, e.g. as query result, from one process to the other requires tedious data serialization and deserialization mechanisms. To overcome these problems, this paper proposes to replicate model data for each process and to use model versioning techniques to synchronize the different model data replicas. We have built a web based workflow editor and a web based version of a Ludo game to validate this idea. This paper reports about our experiences with the data replication approach and our experiences in using it for web applications.
Investigation of the Supports from Teachers that Influence the Interaction between Students and Teachers
Authors: Hua Geng, Wing Au, Greg Yates
Venue: Proceeding of the 2007 conference on Supporting Learning Flow through Integrative Technologies (2007)

This paper reports a study which examined how useful the supports from teachers in relation to the students the interaction between students and teachers were in an online learning context. The findings of the study indicated that students possessed remarkably clear views as to the nature of the pedagogical supports from teachers that influenced their online learning results. Online teachers may find these results useful in enhancing the effectiveness of online teaching.
Complete triangulations of a given order generated from a multitude of nonisomorphic cubic graphs by current assignments
Authors: Vladimir P. Korzhik
Venue: Journal of Graph Theory (2009)

It is known that for all sufficiently large s, there are at least \documentclass{article}\footskip=0pc\pagestyle{empty}\begin{document}$(\frac{5}{3})$\end{document}2s nonequivalent graceful labellings of the path on 2s + 1 vertices. Using this result, we construct exponentially many index one current graphs with current group &Zopf;12s + 7 such that many of the current graphs have different underlying graphs. The constructed current graphs for all sufficiently large sgenerate at least 30s nonisomorphic triangular embeddings of K12s + 7. &copy; 2009 Wiley Periodicals, Inc. J Graph Theory 61: 324&ndash;334, 2009
Design and implementation of an artificial neuromolecular chip and its applications to pattern classification problems
Authors: Yo-Hsien Lin, Jong-Chen Chen, Chao-Yi Huang
Venue: Neurocomputing (2009)

This paper describes the design and implementation of an artificial neuromolecular model, a biologically motivated architecture, with digital circuit. The artificial neuromolecular circuit (to be referred to as the ANM chip) is an evolvable hardware architecture that combines intra- and inter-neuronal levels of processing. Evolutionary learning algorithm is employed to train the chip for specific tasks. In this paper we applied it to pattern classification problems. Experimental results showed that the ANM chip was capable of learning in an autonomous manner. It also achieved a satisfactory result in pattern differentiation and noise tolerance. An interesting finding was that the chip enjoyed the synergy that percolated through different combinations of evolutionary learning operators.
Analysis method for time-space sequences by a novel neural network
Authors: Yumi Takizawa, Saki Yatano, Atsushi Fukasawa
Venue: Proceedings of the 10th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems (2008)

Multiple data sources are received from arbitrary positions in space and at arbitrary times. Received impulse signals are provided through 4 sensors allocated at each corner of square field. Neural network (NN) has essentially time-space structure. 4 dimensional hyper space is composed corresponding to 4 sensors. A novel modeling is given for neuron to provide efficient capability of processing thorough forward and reverse couplings with positive and negative signs. The number of elemental neurons is assumed around 107. A novel data processing algorithm is derived for separation and identification of impulse sound sources based on above the neuron model.
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
Authors: A. Biere, A. Biere, M. Heule, H. van Maaren, T. Walsh
Venue:  (2009)

'Satisfiability (SAT) related topics have attracted researchers from various disciplines: logic, applied areas such as planning, scheduling, operations research and combinatorial optimization, but also theoretical issues on the theme of complexity and much more, they all are connected through SAT. My personal interest in SAT stems from actual solving: The increase in power of modern SAT solvers over the past 15 years has been phenomenal. It has become the key enabling technology in automated verification of both computer hardware and software. Bounded Model Checking (BMC) of computer hardware is now probably the most widely used model checking technique. The counterexamples that it finds are just satisfying instances of a Boolean formula obtained by unwinding to some fixed depth a sequential circuit and its specification in linear temporal logic. Extending model checking to software verification is a much more difficult problem on the frontier of current research. One promising approach for languages like C with finite word-length integers is to use the same idea as in BMC but with a decision procedure for the theory of bit-vectors instead of SAT. All decision procedures for bit-vectors that I am familiar with ultimately make use of a fast SAT solver to handle complex formulas. Decision procedures for more complicated theories, like linear real and integer arithmetic, are also used in program verification. Most of them use powerful SAT solvers in an essential way. Clearly, efficient SAT solving is a key technology for 21st century computer science. I expect this collection of papers on all theoretical and practical aspects of SAT solving will be extremely useful to both students and researchers and will lead to many further advances in the field.' Edmund Clarke (FORE Systems University Professor of Computer Science and Professor of Electrical and Computer Engineering at Carnegie Mellon University)
Fine- and Coarse-Grain Reconfigurable Computing, 1st edition
Authors: Stamatis Vassiliadis, Dimitrios Soudris
Venue:  (2007)

Fine- and Coarse-Grain Reconfigurable Computing gives the basic concepts and building blocks for the design of Fine- (or FPGA) and Coarse-Grain Reconfigurable Architectures. Recently-developed integrated architecture design and software-supported design flow of FPGA and coarse-grain reconfigurable architecture are also described. The book is accompanied by an interactive CD which include case studies and lab projects for the design of FPGA and Coarse-grain architectures based on the European funded projects AMDREL and MOLEN, respectively. Part I consists of two extensive surveys of FPGA and Coarse-Grain Reconfigurable Architectures: The FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods and existing fine-grain reconfigurable architectures emerged from both academia and industry. Additionally, the implementation techniques and CAD tools developed to facilitate the implementation of a system in reconfigurable hardware by the industry and academia are provided. In addition the features, the advantages and limitations of the coarse-grain reconfigurable systems, the specific issues that should be addressed during the design phase, as well as representative existing coarse-grain reconfigurable systems are explained. In Part II, case studies, innovative research results about reconfigurable architectures and design frameworks from three projects AMDREL, MOLEN and ADRES&DRESC, and, a new classification according to microcoded architectural criteria are described. Fine- and Coarse-Grain Reconfigurable Computing is an essential reference for researchers and professionals and can be used as a textbook by undergraduate, graduate students and professors.
Student Profiles, Reflection and Developing Autonomy in the Learning Process
Authors: Ray Webster
Venue: Proceeding of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation (2005)

This paper is concerned with using student profiles and reflection to aid autonomous learning and “address the conceptual domain of learning conceptions and beliefs” [4]. This is achieved by using a reflective and participatory methodology to help students to develop as autonomous learners. The concepts of a student cognitive profile, an individual learning environment (ILE) and a Reflective and Participatory Approach to Design (RAPAD) are introduced. Each student was involved in the design and development of an individual learning environment by means of reflection on and discussion of his or her cognitive profile. Summary data and student comments are presented to help illustrate the student involvement in the process and how the process was operationalized. The implications of the work are discussed before conclusions are drawn. It is suggested that student involvement in the design and development of an ILE on the basis of reflection on personal cognitive profiles can help “address the conceptual domain of learning conceptions” and assist in the development of students as autonomous learners.
Attempting to improve teaching and learning through technology: an examination of a professional development initiative in a rural junior high school
Authors: Richard Sagor
Venue:  (2008)

The purpose of this study is to determine the impact of a professional development program integrated technology into the classroom with a group of middle school teachers and their students. The researcher presumes if, in fact, significant changes occur in teacher use and attitude toward technology, similar changes regarding the use of and attitudes toward technology will be observed with their students along with improved academic achievement.The conceptual framework gave rise to this study included the relationship between student academic achievement and the use of technology in the classroom, why classroom teachers lack skill in the effective use of technology with instruction, and the characteristics of effective professional development. What the researcher found was, when professional development for technology is instituted, it should be provided to teachers simultaneously with professional development on curriculum design, differentiated instruction, and assessment. Additionally, the researcher strongly believes all professional development should be built upon a foundation of teacher collaboration.
Value-Based Argumentation for Democratic Decision Support
Authors: Katie Atkinson
Venue: Proceeding of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006 (2006)

In this paper we discuss the integration of two systems that are based on a specific theory of argumentation: the first, an existing web-based discussion forum; the second, a method to enable autonomous software agents to perform practical reasoning based upon their subscription to social values. Weshow how the output from the first of these systems can be used as input to the second and how the information gathered can be reasoned about through computer support. The purpose of the approach is to demonstrate how current theories of argumentation can be used to assist with the analysis of public attitude in a particular debate, with the specific example domain used being that of eDemocracy. We also provide some discussion and comparison of these current tools with similar, earlier systems.
Development of the Microwave calibrated Infrared Split-window Technique (MIST) for rainfall estimation
Authors: Roongroj Chokngamwong, Long S. Chiu
Venue: International Journal of Remote Sensing (2009)

An infrared rainfall estimation technique that includes information from a split window is developed. The split window refers to the difference in the brightness between the far infrared (IR) channels situated at around 10 µm and 12 µm, which has been used to estimate atmospheric water vapour and for rain area detection. The technique, called the Microwave calibrated Infrared Split-window Technique (MIST), can be considered an extension of the Adjusted GOES Precipitation Index (AGPI). IR rain rates are first estimated from an IR-rain rate relation derived from matching the monthly histograms of combined microwave rain estimates (3B40RT) produced by the Tropical Rainfall Measuring Mission (TRMM) Multi-satellite Precipitation Analysis (TMPA) and the infrared data observed from a geostationary satellite. The novelty is the inclusion of the split-window information to eliminate non-rainy pixels as a second step. The technique has been applied to Geostationary Meteorological Satellite (GMS) and Geostationary Operational Environmental Satellite (GOES) data and tested for a dry and a wet period. The results show that the MIST has comparable biases and better rain event detection skill than the TMPA, although the TMPA is constrained by the gauge analysis by design while the MIST has no direct gauge input.
Optimal Placement of Multiple Interconnected Gateways in Heterogeneous Wireless Sensor Networks
Authors: Antonio Capone, Matteo Cesana, Danilo Donno, Ilario Filippini
Venue: Proceedings of the 8th International IFIP-TC 6 Networking Conference (2009)

Data collected by sensors often have to be remotely delivered through multi-hop wireless paths to data sinks connected to application servers for information processing. The position of these sinks has a huge impact on the quality of the specific Wireless Sensor Network (WSN). Indeed, it may create artificial traffic bottlenecks which affect the energy efficiency and the WSN lifetime. This paper considers a heterogeneous network scenario where wireless sensors deliver data to intermediate gateways geared with a diverse wireless technology and interconnected together and to the sink. An optimization framework based on Integer Linear Programming (ILP) is developed to locate wireless gateways minimizing the overall installation cost and the energy consumption in the WSN, while accounting for multi-hop coverage between sensors and gateways, and connectivity among wireless gateways. The proposed ILP formulations are solved to optimality for medium-size instances to analyze the quality of the designed networks, and heuristic algorithms are also proposed to tackle large-scale heterogeneous scenarios.
FEATUREStories that inspire action
Authors: Gary Hirsch, Brad Robertson
Venue: interactions (2009)

Editors' Note: Arts-based brand consultancy On Your Feet explores a structure---"Story Plotter"---for organizational stories that help businesses and brands differentiate themselves from their competition and develop a culture of action.
Comparison of two mathematical models for the study of vascular reactivity
Authors: Obdulia Ley, Chinmay V. Deshpande
Venue: Computers in Biology and Medicine (2009)

This work is based on the premise that fingertip temperature variation during arterial occlusion and subsequent reperfusion can be used as an indirect measurement of vascular reactivity, commonly assessed by directly measuring flow and its temporal alterations in response to arterial occlusion. Temperature of the fingers depends on blood perfusion and environmental factors. The temperature change experienced during hyperemia or high blood flow after occlusion depend on the capacity of the occluded arteries to restore normal circulation or vascular reactivity. This work uses two mathematical models of heat transfer to show the relationship between blood flow and changes in fingertip temperature experienced during vascular occlusion and reperfusion. The models consider different levels of complexity and anatomical detail. One model is a lumped or zero-order model that neglects tissue composition; the second model (first-order model) considers a simplified anatomy of the finger and allows the analysis of tissue composition which cannot be addressed with the lumped system. Thermal models provide a way of estimating the influence of different factors on the dynamic temperature response recorded during the reactivity tests. The models intend to increase the interest of the clinical community in the thermal study of vascular reactivity compared to other techniques that focus on the analysis of flow. The differences of the calculated dynamic temperature during arterial occlusion and reperfusion using both models were analyzed. Such comparison indicated that the zero-order model suffices to analyze the temperature variation during the reactivity test, as long as the proper variation between initial condition and environmental parameters affecting the response is used.
Calibration of high voltage transducers for power quality measurements
Authors: Hédio Tatizawa, Erasmo Silveira Neto, Geraldo F. Burani, Antônio A. C. Arruda, Kleiber T. Soletto, Nelson M. Matsuo
Venue: WSEAS TRANSACTIONS on SYSTEMS (2009)

Transmission and distribution networks are increasingly affected by sensitive loads, considering the increase of power electronics based equipment and devices. For keeping under control power quality parameters, for instance, harmonics, sags, swells, flicker, reliable measurements performed at high voltage level are necessary. This kind of measurement is performed using high voltage transducers. Considering present technical standards on this subject, for instance IEC 61000 series [1] and ANSI/IEEE Standards, one can find that calibration procedures for transducers, are not yet defined in those standards. This paper proposes calibration procedures and an experimental setup for generation of the required high voltage waveforms, and shows an example of calibration performed in a real high voltage transducer.
Representing narrative and testimonial knowledge in sense-making software for crime analysis
Authors: Susan W. van den Braak, Herre van Oostendorp, Henry Prakken, Gerard A. W. Vreeswijk
Venue: Proceeding of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference (2008)

In the AVERs sense-making tool for crime analysis different types of information are represented in different ways. More precisely, narrative knowledge is represented in an explanatory direction and testimonial knowledge in an indicative direction. This paper shows that this distinction agrees with the preference of potential users and reduces the number of interpretation errors made by them.
Web Search Clustering and Labeling with Hidden Topics
Authors: Cam-Tu Nguyen, Xuan-Hieu Phan, Susumu Horiguchi, Thu-Trang Nguyen, Quang-Thuy Ha
Venue: ACM Transactions on Asian Language Information Processing (TALIP) (2009)

Web search clustering is a solution to reorganize search results (also called &ldquo;snippets&rdquo;) in a more convenient way for browsing. There are three key requirements for such post-retrieval clustering systems: (1) the clustering algorithm should group similar documents together; (2) clusters should be labeled with descriptive phrases; and (3) the clustering system should provide high-quality clustering without downloading the whole Web page. This article introduces a novel framework for clustering Web search results in Vietnamese which targets the three above issues. The main motivation is that by enriching short snippets with hidden topics from huge resources of documents on the Internet, it is able to cluster and label such snippets effectively in a topic-oriented manner without concerning whole Web pages. Our approach is based on recent successful topic analysis models, such as Probabilistic-Latent Semantic Analysis, or Latent Dirichlet Allocation. The underlying idea of the framework is that we collect a very large external data collection called &ldquo;universal dataset,&rdquo; and then build a clustering system on both the original snippets and a rich set of hidden topics discovered from the universal data collection. This can be seen as a richer representation of snippets to be clustered. We carry out careful evaluation of our method and show that our method can yield impressive clustering quality.
A preliminary method for the evaluation of the landslides volume at a regional scale
Authors: Ivan Marchesini, Corrado Cencetti, Pierluigi Rosa
Venue: Geoinformatica (2009)

Dealing with the evaluation of the risk connected to the formation of landslide dams at regional scale, it is important to estimate the volume of the depleted material that can reach the riverbed. This information, combined with other elements (river dimensions, valley width, landslide velocity, etc.) allows making predictions on the possibility of river blockage. One of the problems of this approach is the lack of data concerning the shape and position of the sliding surface; this does not permit us to estimate the volume of the landslide material. The IFFI (Inventario dei Fenomeni Franosi in Italia, i.e. Landslide Inventory in Italy) project furnishes information, at different levels of precision, on nearly totality of the landslides existing in Italy. The first level of the IFFI (compiled for all slides) does not contain information on the depth of the sliding surface but contains data regarding the type and the activity of the slope movement. Along with this information the IFFI project also furnishes vector maps containing the boundary of each landslide and the main sliding direction. This paper describes the implementation of an algorithm aimed to define, with an adequate approximation, the 3D geometry of the sliding surface of rotational slides for which, on the basis of geologic maps available at regional scale, some geotechnical parameters can be known or estimated. The work also required the creation of a computer code useful for the 3D analysis of slope stability (3D safety factor) using the simplified Janbu method. All computer code has been created on a GNU-Linux OS and using shell scripting, based on GRASS GIS and R statistical software.