ppxscal/embedding_network huggingface dataset:
New Frontiers in Science and Technology Studies
Authors: Steve Fuller
Venue:  (2007)

Steve Fuller has a reputation for setting the terms of debate within science and technology studies. In his latest book, New Frontiers in Science and Technology Studies he charts the debates likely to be of relevance in the coming years. *Should science and technology be treated as separate entities?*What impact has globalization had on science and technology? *Can science be clearly distinguished from other forms of knowledge? *Does the politicization of science really matter? *Is there a role for the social regulation of scientific inquiry? *Should we be worried about research fraud? These questions are explored by examining an array of historical, philosophical and contemporary sources. Attention is paid, for example, to the Bruno Latour's The Politics of Nature as a model for science policy, as well as the global controversy surrounding Bjorn Lomborg's The Sceptical Environmentalist, which led to the dismantling and re-establishment of the Danish national research ethics board. New Frontiers in Science and Technology Studies will appeal strongly to scholars and advanced undergraduate and graduate students in courses concerned with the social dimensions of science and technology, and anyone who cares about the future of science. 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
An Adaptive MO-HGA for Resource-Constrained Transport Task Scheduling
Authors: Jian Wang, Hongwei Wang
Venue: Proceedings of the 6th International Symposium on Neural Networks on Advances in Neural Networks (2009)

This paper proposes an adaptive multi-objective hybrid genetic algorithm (MO-HGA) based on the serial scheduling method to solve the resource-constrained transport task scheduling problem (RCTTSP) with two optimal objectives. The proposed algorithm uses the serial scheduling method to initialize the population and evaluate the individual, and use the weighted sum method and the rank-based fitness assignment method to assign the individual fitness. Furthermore, an adaptive GA parameters tuning method based on fuzzy logic controller is implemented to improve the performance of the algorithm. Firstly, this paper describes the multi-objective RCTTSP and presents the principle of the adaptive MO-HGA, and then develops the algorithm to implement several experimental cases with different problem sizes, lastly the effectiveness and efficiency of the algorithm are compared. The numerical result indicates that the proposed adaptive MO-HGA can resolve the proposed multi-objective resource-constrained transport task scheduling problem efficiently.
Stabilization of a very high-k tetragonal ZrO2 phase by direct doping with germanium
Authors: D. Tsoutsou, G. Apostolopoulos, S. Galata, P. Tsipas, A. Sotiropoulos, G. Mavrou, Y. Panayiotatos, A. Dimoulas
Venue: Microelectronic Engineering (2009)

The influence of Ge incorporation on the structural phase transformation of ZrO"2 films was investigated with the aim to control the resulting dielectric properties. For this reason, Ge-doped ZrO"2 thin films were prepared by atomic oxygen beam deposition at 225^oC. Admixture of low Ge concentrations (3-6.2at.%) stabilizes the tetragonal ZrO"2 phase, and concurrently increases the permittivity to a maximum value of 37.7. Structural analysis shows that the permittivity enhancement can be explained by the increase of the tetragonal distortion upon Ge doping. The tetragonal phase is stable upon post-deposition high temperature annealing up to 1050^oC under N"2.
EClean - An Embedded Functional Language
Authors: Ádám Sipos, Viktória Zsók
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

C++ template metaprogramming is often regarded as a functional language, however, nowadays metaprogram libraries are not implemented in functional programming style. In this paper we discuss a compile-time graph-rewriting engine based on the properties of the functional language Clean. The most important property imported from the functional paradigm is the lazy evaluation strategy. With the help of the engine it is possible to embed lazy functional-style code into C++ programs, and transform it into template metaprograms. We present the implemented lazy evaluation strategy by examples including also infinite lists.
Advances in flash memory SSD technology for enterprise database applications
Authors: Sang-Won Lee, Bongki Moon, Chanik Park
Venue: Proceedings of the 35th SIGMOD international conference on Management of data (2009)

The past few decades have witnessed a chronic and widening imbalance among processor bandwidth, disk capacity, and access speed of disk. According to Amdhal's law, the performance enhancement possible with a given improvement is limited by the amount that the improved feature is used. This implies that the performance enhancement of an OLTP system would be seriously limited without a considerable improvement in I/O throughput. Since the market debut of flash memory SSD a few years ago, we have made a continued effort to overcome its poor random write performance and to provide stable and sufficient I/O bandwidth. In this paper, we present three different flash memory SSD models prototyped recently by Samsung Electronics. We then show how the flash memory SSD technology has advanced to reverse the widening trend of performance gap between processors and storage devices. We also demonstrate that even a single flash memory drive can outperform a level-0 RAID with eight enterprise class 15k-RPM disk drives with respect to transaction throughput, cost effectiveness and energy consumption.
Analysis of the order of accuracy for node-centered finite volume schemes
Authors: Sofia Eriksson, Jan Nordström
Venue: Applied Numerical Mathematics (2009)

The order of accuracy of the node-centered finite volume methods is analyzed, and the analysis is based on an exact derivation of the numerical errors in one dimension. The accuracy for various types of grids are considered. Numerical simulations and analysis are performed for both a hyperbolic and a elliptic case, and the results agree. The impact of weakly imposed boundary conditions is analyzed and verified numerically. We show that the error contribution from the primal and dual grid can be treated separately.
Designing ubiquitous applications: proposal of a specification environment
Authors: Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler
Venue: Proceedings of the 6th international workshop on Managing ubiquitous communications and services (2009)

In ubiquitous applications, where the meaning of an entity, such as a user or service, depends on environment-specific constraints and dynamic changes in the environment have to be considered in all stages of development, the separation between the system's behaviour and its context representation (a.k.a. context model) is essential for facilitating the development of such inherently complex systems. At the same time, because of its well-known benefits, a formal specifications should be considered not only for describing the system's behaviour, but also the corresponding context model. Considering this, we propose in this paper an environment to support context modelling through formal specification. For this sake, we adopt the algebra of contextualized entities proposed and define levels of abstractions over its diagrams, enabling a stepwise construction of modular specifications. The overall goal is to reduce the gap between the formal description of an ubiquitous application and its implementation.
Relational Descriptive Analysis of Gene Expression Data
Authors: Igor Trajkovski, Filip Zelezny, Nada Lavrac, Jakub Tolar
Venue: Proceeding of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium (2006)

This paper presents a method that uses gene ontologiestogether with the paradigm of relational subgroup discovery, to help find description of groups of genes differentially expressed in specific cancers. The descriptions are represented by means of relational features, extracted from publicly available gene ontology information, and are straightforwardly interpretable by the medical experts. We applied the proposed method to two known data sets: (i) acute lymphoblastic leukemia (ALL) vs. acute myeloid leukemia (AML) and (ii) classification of fourteen types of cancer. Significant number of discovered groups of genes had a description, confirmed by the medical expert, which highlighted the underlying biological process that is responsible for distinguishing one class from the other classes. We view our methodology not just as a prototypical example of applying more sophisticated machine learning algorithms to gene expression analysis, but also as a motivation for developing increasingly more sophisticated functional annotations and ontologies, that can be processed by such learning algorithms.
Robust Signal Processing for Wireless Communications No. 2, 1st edition
Authors: Frank Dietrich
Venue: Foundations In Signal Processing, Communications And Networking (2007)

Optimization of adaptive signal processing algorithms for wireless communications is based on a model of the underlying propagation channel. In practice, this model is never known perfectly. For example, its parameters have to be estimated and are only known with significant errors. In this book, a systematic treatment of this practical design problem is provided for signal processing in the physical layer with multiple antennas. The design of robust signal processing algorithms is based on a description of the errors and the uncertainties in the system's model. It applies principles of modern estimation, optimization, and information theory. Tutorial introductions to relevant literature and mathematical foundations give the necessary background and context to the reader. The book provides detailed derivations and enlightening insights into the related technical problems covering the following topics in detail: An overview of the principles of training-based multiple-input multiple-output (MIMO) channel estimation. Robust minimax estimation of the wireless communication channel. Robust minimax prediction of the wireless communication channel based on the maximum Doppler frequency. Identification of channel and noise correlations (power delay profile, spatial and temporal correlations, spatial correlations of interference). Interpolation of band-limited autocovariance sequences. Robust linear and nonlinear precoding for the multi-user downlink with multiple antennas which is based on incomplete channel state information or channel correlations (performance measures, duality, robust Tomlinson-Harashima precoding, robust vector precoding, nonlinear beamforming).
Distributed storage cluster design for remote mirroring based on storage area network
Authors: Jun Yao, Ji-Wu Shu, Wei-Min Zheng
Venue: Journal of Computer Science and Technology (2007)

With the explosion of information nowadays, applying data storage safety requirements has become a new challenge, especially in high data available cluster environments. With the emergence of Storage Area Networks (SANs), storage can be network-based and consolidated, and mass data movements via Fiber Channels (FCs) can be of very high speed. Based on these features, this paper introduces a dual-node storage cluster designed for remote mirroring as a concurrent data replication method to protect data during system failures. This design takes full advantage of a SAN system's benefits, and it adopts a synchronous protocol to guarantee a fully up-to-date data copy on the remote site. By developing a Linux kernel module to control the I/O flow and by using the technologies of software Logic Unit Number (LUN) masking, background online resynchronization and a self-management daemon, we have achieved a reliable mirroring system with the characteristics of server-free data replication, fault tolerance, online disaster recovery and high performance. In this study, we implemented the design in a remote mirror subsystem built on a software Fiber Channel Storage Area Network (FC-SAN) system.
The three-hub center allocation problem
Authors: Li Zhang
Venue: Proceedings of the 47th Annual Southeast Regional Conference (2009)

In a hub network, the p-hub center single allocation problem is to allocate each non-hub node to one and only one hub from a given set of p hubs such that the maximum travel time (or distance) between any origin-destination pair is minimized. The problem is NP-Complete in general. We address the three-hub center single allocation problem in this paper and provide a polynomial algorithm to solve the p-hub center single allocation problem when p = 3.
Progressive shared control for training in virtual environments
Authors: Yanfang Li, Joel C. Huegel, Volkan Patoglu, Marcia K. O'Malley
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

Virtual environments (VEs) with haptic feedback not only provide a safe and versatile practice medium for many manual control tasks, but also promise to improve the efficacy of manual skill training with the addition of haptic guidance. However, haptic guidance schemes such as shared control may be detrimental since such schemes actively interfere with the coupled system dynamics, thereby causing participants to experience task dynamics that are altered from those of the real task. Therefore, this paper proposes a progressive approach to guidance for training in virtual environments. This progressive guidance scheme adjusts its control gains based on participant performance, aiming to expose the performer to an appropriate amount of haptic guidance throughout training. Long term training experiments were conducted for an under-actuated target-hitting manual control task. The experimental results compare the efficacy of the novel progressive haptic guidance to two common fixed-gain haptic guidance schemes and virtual practice. The results from a month-long training experiment indicate that the proposed progressive shared control scheme reduces guidance interference as compared to fixed-gain guidance schemes thus increasing training efficacy.
Stability of a complex network of Euler-Bernoulli beams
Authors: Kui Ting Zhang, Gen Qi Xu, Nikos E. Mastorakis
Venue: WSEAS TRANSACTIONS on SYSTEMS (2009)

A complex network of Euler-Bernoulli beams is studied in this paper. As for this network, the boundary vertices are clamped, the displacements of the structure are continuous but the rotations of different beams are not continuous at the interior vertices. The feedback controller are designed at the interior nodes to stabilize the elastic system. The well-posed-ness of the closed loop system is proved by the semigroup theory. By complete spectral analysis of the system operator, the distribution of spectrum, the completeness and the Riesz basis property of the roots vectors of the system operator are given. As a consequence, the asymptotical stability of the system is derived under certain conditions.
Unsupervised learning of acoustic sub-word units
Authors: Balakrishnan Varadarajan, Sanjeev Khudanpur, Emmanuel Dupoux
Venue: Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics on Human Language Technologies: Short Papers (2008)

Accurate unsupervised learning of phonemes of a language directly from speech is demonstrated via an algorithm for joint unsupervised learning of the topology and parameters of a hidden Markov model (HMM); states and short state-sequences through this HMM correspond to the learnt sub-word units. The algorithm, originally proposed for unsupervised learning of allophonic variations within a given phoneme set, has been adapted to learn without any knowledge of the phonemes. An evaluation methodology is also proposed, whereby the state-sequence that aligns to a test utterance is transduced in an automatic manner to a phoneme-sequence and compared to its manual transcription. Over 85% phoneme recognition accuracy is demonstrated for speaker-dependent learning from fluent, large-vocabulary speech.
The Changing World of Outsourcing
Authors: Linda Dailey Paulson
Venue: Computer (2009)

Topics include changes to global outsourcing trends, increases in North American computer-science-related university enrollments, a new technique to combat denial-of-service attacks, and smart-bathroom technology.
Geometric representation of cubic graphs with four directions
Authors: Padmini Mukkamala, Mario Szegedy
Venue: Computational Geometry: Theory and Applications (2009)

We show that every connected cubic graph can be drawn in the plane with straight-line edges using only four distinct slopes and disconnected cubic graphs with five distinct slopes.
The combined treatment of the intrinsic and external contributions to the stability of the nucleic acids containing unnatural nucleosides
Authors: Jiří Czernek
Venue: Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering (2008)

The intrinsic and external factors governing the stability of unnatural motifs in nucleic acids are discussed. The former are described by means of high-level ab initio calculations on the investigated base pairs, while the latter are derived from an analysis of the molecular dynamics trajectories. Their combined description is proposed, and a short DNA duplex containing the 3-fluorobenzene self-pair is treated as the test case for the new approach.
On m-regular systems on H(5,q2)
Authors: Antonio Cossidente, Tim Penttila
Venue: Journal of Algebraic Combinatorics: An International Journal (2009)

The notion of m-regular system on the Hermitian variety H(n,q2) was introduced by B. Segre (Ann. Math. Pura Appl. 70:1---201, 1965). Here, three infinite families of hemisystems on H(5,q2), q odd, are constructed.
Inducing combinatory categorial grammars with genetic algorithms
Authors: Elias Ponvert
Venue: Proceedings of the 45th Annual Meeting of the ACL: Student Research Workshop (2007)

This paper proposes a novel approach to the induction of Combinatory Categorial Grammars (CCGs) by their potential affinity with the Genetic Algorithms (GAs). Specifically, CCGs utilize a rich yet compact notation for lexical categories, which combine with relatively few grammatical rules, presumed universal. Thus, the search for a CCG consists in large part in a search for the appropriate categories for the data-set's lexical items. We present and evaluates a system utilizing a simple GA to successively search and improve on such assignments. The fitness of categorial-assignments is approximated by the coverage of the resulting grammar on the data-set itself, and candidate solutions are updated via the standard GA techniques of reproduction, crossover and mutation.
Implementation of an adaptive salinity risk framework in the Condamine catchment, Queensland Murray-Darling Basin, Australia
Authors: Andrew J. W. Biggs, Ross D. Searle, Kristie M. Watling, Katherine E. Secombe, Lucy M. Larkin
Venue: International Journal of Geographical Information Science (2009)

A GIS-based framework was developed to assess salinity risk at the sub-catchment level in the Condamine catchment, Australia. Spatial data were used to describe a range of landscape features and processes that influence the risk of salinity occurring. The data were compiled into three core components: biophysical hazard, current management influence and salinity stage. A salinity risk rating was developed for 43 individual surface hydrological sub-catchments within the Condamine catchment by combining the three component rankings in a structured rule framework. The underlying data, decision rules and all associated documents were packaged in an ArcGIS personal geodatabase for use by the client. This allowed the results to be viewed spatially and ensured that the risk assessment process was transparent to users.
Effects of domain knowledge on reference search with the PubMed database: An experimental study
Authors: Nicolas Vibert, Christine Ros, Ludovic Le Bigot, Mélanie Ramond, Jérôme Gatefin, Jean-François Rouet
Venue: Journal of the American Society for Information Science and Technology (2009)

Many researchers in medical and life sciences commonly use the PubMed online search engine () to access the MEDLINE bibliographic database. The researchers' strategies were investigated as a function of their knowledge of the content area. Sixteen life science researchers with no experience in neuroscience and 16 neuroscience researchers of matched professional experience performed five bibliographic search tasks about neuroscience topics. Objective measures and concomitant verbal protocols were used to assess behavior and performance. Whatever their knowledge of PubMed, neuroscientists could find adequate references within the allotted time period. Despite their lack of knowledge in neuroscience, life scientists could select adequate references with the same efficiency. However, differences were observed in the way neuroscientists and life scientists proceeded. For instance, life scientists took more time to read the task instructions and opened more abstracts while selecting their answers. These data suggest that regular use of online databases combined with graduate-level expertise in a broad scientific field like biology can compensate for the absence of knowledge in the specific domain in which references are sought. The large inter-individual variability in performance within both groups implies that beyond domain knowledge, individual cognitive abilities are the main determinants of bibliographic search performance. &copy; 2009 Wiley Periodicals, Inc.
Image Averaging for Improved Iris Recognition
Authors: Karen P. Hollingsworth, Kevin W. Bowyer, Patrick J. Flynn
Venue: Proceedings of the Third International Conference on Advances in Biometrics (2009)

We take advantage of the temporal continuity in an iris video to improve matching performance using signal-level fusion. From multiple frames of an iris video, we create a single average image. Our signal-level fusion method performs better than methods based on single still images, and better than previously published multi-gallery score-fusion methods. We compare our signal fusion method with another new method: a multi-gallery, multi-probe score fusion method. Between these two new methods, the multi-gallery, multi-probe score fusion has slightly better recognition performance, while the signal fusion has significant advantages in memory and computation requirements.
Machine translation between Turkic languages
Authors: A. Cüneyd Tantuǧ, Eşref Adali, Kemal Oflazer
Venue: Proceedings of the 45th Annual Meeting of the ACL on Interactive Poster and Demonstration Sessions (2007)

We present an approach to MT between Turkic languages and present results from an implementation of a MT system from Turkmen to Turkish. Our approach relies on ambiguous lexical and morphological transfer augmented with target side rule-based repairs and rescoring with statistical language models.