ppxscal/embedding_network huggingface dataset:
Validation of a water quality model for the Ria de Aveiro lagoon, Portugal
Authors: José Fortes Lopes, Catarina I. Silva, Ana C. Cardoso
Venue: Environmental Modelling Software (2008)

The main purpose of this work is to validate a water quality model for the Ria de Aveiro, in order to better use it as a predictive tool in the study of the main water quality processes in the lagoon. Ria de Aveiro is a very shallow lagoon, dominated by tidal currents, presenting a very complex network structure, composed by several sub-systems and dominated by tidal asymmetries, resulting in areas of ebb and flood dominance and weak gravitational circulation. Tidal currents are the main forcing in the dissolved oxygen distribution (DO). The DO concentrations inside the main areas of the lagoon remain quite high, around 8mg O"2/L, during great part of the year. The model sensitivity analysis shows that the ocean remains the main source of oxygen as well as the main factor controlling the DO distribution throughout the main lagoon areas, due to the exchanges between the ocean and the lagoon. This exchanges results from the good connection between them, which assure a tidal transport of oxygen and a constant renewal of the dissolved oxygen within the lagoon. As sea waters flows into the main lagoon channels, it increases, progressively, the oxygen concentration of the lagoon inner areas, to levels very comparable to the ocean level. This feature is responsible for the relatively high values of the DO concentrations found at the lagoon main areas, (varying within the range of 8 to 9mg O"2/L). The occurrence of some episodic hypoxia situation at the very far and shallow areas, namely during summer and neap tides, when the oxygen consumption related processes are dominant, is nevertheless possible. Indeed, at the intertidal areas and at areas situated at the far end of the lagoon, under the influence of weak tidal currents, the dissolved oxygen concentrations may become very low, if the phytoplankton concentration and metabolism are low. Furthermore, as the depth is reduced at those areas, if the air temperature increase, the DO lost to the atmosphere is enhanced. The sensitivity analysis shows, as well, that the primary production and the phytoplankton respiration are the main factors affecting the oxygen budget in the water column, where changes in the primary production, resulting from changes of the phytoplankton abundance or metabolism, may influence the oxygen concentrations in the water column. This study shows that the model is able to realistically simulate the water quality of the lagoon constituting, therefore, a tool for the study and management of the Ria de Aveiro ecosystem.
Learning, regret minimization and option pricing
Authors: Yishay Mansour
Venue: Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge (2007)

We relate regret minimization to various online learning tasks, and most notable option pricing.
The wrapped stable family of distributions as a flexible model for circular data
Authors: Arthur Pewsey
Venue: Computational Statistics Data Analysis (2008)

The four-parameter wrapped stable family of unimodal distributions is considered as a highly flexible model for directional data observed on the unit circle. This family of distributions is capable of modeling both symmetry and asymmetry as well as varying levels of peakedness around the mode and distributional mass around the antimode. The parametrization employed is the circular analog of one for the linear stable family of distributions with properties which make it especially suitable for modeling purposes. The family's characteristic function, trigonometric moments and other standard circular measures are easily derived and have relatively simple forms, but the density can generally be expressed only in terms of a Fourier expansion. Details are given for the method of moments and maximum likelihood approaches to parameter estimation. Likelihood based techniques are used to analyze data on the headings of migrating birds, and the fit of the wrapped stable family compared with those of two finite mixture models.
Generalized conjunction/disjunction
Authors: Jozo J. Dujmović, Henrik Legind Larsen
Venue: International Journal of Approximate Reasoning (2007)

The generalized conjunction/disjunction function (GCD) is a continuous logic function of two or more variables that integrates conjunctive and disjunctive properties in a single function. It is used as a mathematical model of simultaneity and replaceability of inputs. Special cases of this function include the full (pure) conjunction, the partial conjunction, the arithmetic mean, the partial disjunction, and the full (pure) disjunction. GCD enables a continuous transition from the full conjunction to the full disjunction, using a parameter that specifies a desired level of conjunction (andness) or disjunction (orness). In this paper, we investigate and compare various versions of GCD and other mathematical models of simultaneity and replaceability that are applicable in the areas of system evaluation, and information retrieval.
Reengineering Class Hierarchies into 3D Bridge Form
Authors: Chang-Moon Hyun
Venue: Proceedings of the 5th ACIS International Conference on Software Engineering Research, Management & Applications (2007)

Software maintenance constitutes about two-thirds of total software costs. Much of this maintenance can more correctly be called software evolution, as existing systems are adapted to take on new responsibilities and/or operate in a changed environment. During an object-oriented software development, evolution often requires changes to the underlying object structure of the system in terms of classes, inheritance relationships, fields and operations. With this in mind, software developers try to redesign existing components with minimal modifications on the class hierarchy so that components can be refined and reused easily. In this paper, we propose the Flattened Class Hierarchy that characterizes "normalization" of reorganization of class hierarchy structures. And, we also present an algorithm which transforms a given class hierarchy into the Flattened form. The flattened class hierarchy plays an important role as a bridge on the reorganization of class hierarchies. And the flattened class hierarchy is helpful to us in a number of ways on the higher-level analysis and design phases.
Distributed prediction from vertically partitioned data
Authors: D. B. Skillicorn, S. M. McConnell
Venue: Journal of Parallel and Distributed Computing (2008)

We address the problem of prediction of data that is vertically partitioned, that is where local sites hold some of the attributes of all of the records. This situation is natural when data is collected by channels that are physically separated. For distributed prediction, we show that a technique called attribute ensembles is simple, predicts almost as well as a centralized predictor, reduces the amount of communication required, distributes computation and data access well, and allows each local site to keep its raw data private. We show how to extend attribute ensembles to data that is partitioned both horizontally and vertically.
Interactive theatre via mixed reality and Ambient Intelligence
Authors: Athanasios V. Vasilakos, Liu Wei, Ta Huynh Duy Nguyen, Tran Cong Thien Qui, Li Cheng Chen, Clara Boj, Diego Diaz, Adrian David Cheok, Georgios Marentakis
Venue: Information Sciences: an International Journal (2008)

Our system of Mixed Reality and 3D Live with Ambient Intelligence (AmI) is indented to bring performance art to the people while offering to the performance artists a creative tool to extend the grammar of the traditional theatre. Actors and dancers at different places are captured by multiple cameras and their images are rendered in 3D form in such a way that they can play and dance together on the same place in real-time. Our Quanticum Man is an allegory of the time of the General Relativity and the matter of the Quantum Mechanics. The new type of interactive theatre enables social networking by supporting simultaneous participants in human-to-human social manner.
A development of possibility theory
Authors: A. S. Bychkov
Venue: Cybernetics and Systems Analysis (2007)

It is proposed to use a model of experiment with two measures (of possibility and necessity) to describe fuzzy events. A theorem on the continuation of measure to a Boolean is proved. The basic dual properties of measures are considered.
Development and evaluation of an automatic method for the study of platelet osmotic response
Authors: T. Gigout, W. Blondel, J. Didelon, V. Latger, D. Dumas, F. Schooneman, J. F. Stoltz
Venue: Technology and Health Care (1999)

Study of the osmotic resistance to hypotonic medium of platelets has often been suggested as a global test to assess the viability of these cells in transfusion or to study modification during haematological pathologies. A number of authors have analysed the behaviour of platelets in hypotonic media by a variety of methods (cell count, determinations of substances released, morphology, etc.), but most studies are currently based on the so-called &ldquo;Hypotonic Shock Response&rdquo; test (HSR). In this study, the authors describe a new automated and reproducible apparatus, called fragilimeter, using slow dialysis to assess platelet osmotic resistance. The variations in light transmission through a platelet suspension according to ionic strength are linked to the change in cellular volume and lysis and characterise the osmotic behaviour of the cells. The results revealed the good reproducibility and sensibility of the technique. This apparatus allows also the realisation of the &ldquo;HSR&rdquo; test.
Developing the System of Web-Data Mining from Chemical Database Based on Internet
Authors: Lan Shan, Ying Zhao, Juhong Zhang
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 04 (2007)

This article introduces a mining method of web data in adoption of web page comparison & analysis within a website in light of free chemistry database on Internet. On the basis of treeing and blocking web pages, the data block of web page is retrieved after compared and analyzed, and then the data is extracted via the comparison and judgment of more than one page of the same structure and format so as to actualize in-depth mining of technical information. The article elaborates the architectures and compositions of the system and the process of the system tested by the physical property databases of chemistry. The study lays down a basis for establishing search engine for databases.
High-performance distributed inverted files
Authors: Mauricio Marin, Veronica Gil-Costa
Venue: Proceedings of the sixteenth ACM conference on Conference on information and knowledge management (2007)

We present a general method of parallel query processing that allows scalable performance on distributed inverted files. The method allows the realization of a hybrid that combines the advantages of the document and term partitioned inverted files.
Flayer: exposing application internals
Authors: Will Drewry, Tavis Ormandy
Venue: Proceedings of the first USENIX workshop on Offensive Technologies (2007)

Flayer is a tool for dynamically exposing application innards for security testing and analysis. It is implemented on the dynamic binary instrumentation framework Valgrind [17] and its memory error detection plug-in, Memcheck [21]. This paper focuses on the implementation of Flayer, its supporting libraries, and their application to software security. Flayer provides tainted, or marked, data flow analysis and instrumentation mechanisms for arbitrarily altering that flow. Flayer improves upon prior taint tracing tools with bit-precision. Taint propagation calculations are performed for each value-creating memory or register operation. These calculations are embedded in the target application's running code using dynamic instrumentation. The same technique has been employed to allow the user to control the outcome of conditional jumps and step over function calls. Flayer's functionality provides a robust foundation for the implementation of security tools and techniques. In particular, this paper presents an effective fault injection testing technique and an automation library, LibFlayer. Alongside these contributions, it explores techniques for vulnerability patch analysis and guided source code auditing. Flayer finds errors in real software. In the past year, its use has yielded the expedient discovery of flaws in security critical software including OpenSSH and OpenSSL.
From Relays to MPU's
Authors: R. N. Noyce
Venue: Computer (1976)

When the IEEE Computer Society was founded twentyfive years ago, the transistor was a laboratory curiosity, and operating computers were assembled from relays or vacuum tubes. Today, a single integrated circuit far surpasses the capability of those early computers, and further progress seems inevitable. The development of semiconductor devices has depended upon a synergism with computers. This is particularly true for integrated circuits, whose development was motivated by the computer applications. With each advance in components, the computers resulting from their use reached a wider market, motivating further advances in the semiconductor technology.
An Extensible and Personalized Approach to QoS-enabled Service Discovery
Authors: Le-Hung Vu, Fabio Porto, Karl Aberer, Manfred Hauswirth
Venue: Proceedings of the 11th International Database Engineering and Applications Symposium (2007)

We present an extensible and customizable framework for the autonomous discovery of Semantic Web services based on their QoS properties. Using semantic technologies, users can specify the QoS matching model and customize the ranking of services flexibly according to their preferences. The formal modeling of the discovery process as a query execution plan facilitates the introduction of different discovery algorithms and the automatic generation of parallelized matchmaking evaluations. This enables adapting our approach to unpredictable arrival rates of user queries and scales up to high numbers of published service descriptions.
A Cluster-Based Model for Object Detecting with Wireless Sensor Networks
Authors: Xiangyang Jin, Dayu Zheng, Guangbin Yu
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 05 (2007)

A system model for wireless sensor networks is presented for efficiently realizing objective detecting. By self-organizing mechanism based on the maximum number of neighboring nodes, a data-gathering algorithm is proposed that partitions network nodes deployed in the detected region into several clusters for the fusion of the sensed objective data. Each cluster consists of a head node and several member nodes, taking responsibility for the fusion and transmitting to base station (BS) of sensed data through multihop communication and being responsible for sensing data respectively. In the process of data gathering, the energy efficiency-aware mechanism insure each node stand for one of four conditions including sleep, passive, test, and active, which are determined by the neighbor node number threshold (NT) and the average data loss rate (DL). Simulations prove that the proposed scheme is valid through put ratio, mean time delay, and packet loss ratio.
A Sufficient and Necessary Condition for the Absolute Consistency of XML DTDs
Authors: Lu Yan, Hao ZhongXiao, Dai Ran
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01 (2007)

Consistency of DTDs (or Schema) is a rising topic in XML research. In this paper, a sufficient and necessary condition for consistency of XML DTDs and an algorithm with high efficiency for DTDs consistency checking, of which worst time complexity is Î(n), are proposed. Moreover, considering that a consistent DTD may have inconsistent sub-structures, notion of absolute consistency of DTDs is formalized. A sufficient and necessary condition for absolute consistency of XML DTDs and an algorithm for checking the absolute consistency of DTDs, of which time complexity is Î(n), are also offered.
Development of Integrated Missile System Design Framework Using Distributed Computing Environment
Authors: Seungjin Lee, Woohyun Kim, Jae-Woo Lee, Yung-Hwan Byun
Venue: Proceedings of the The 2007 International Conference Computational Science and its Applications (2007)

In this study, framework is developed for integrated missile system design and optimization using distributed computing environment. Analysis tools, optimization tools, database, and CAD are integrated in the missile MDO framework. All components are integrated with middleware for distributed computing environment.
Development of some new functions in APL for computer aided individualized instruction
Authors: Ken Schmidt, Mohan M. Vijay
Venue: ACM SIGCUE Outlook (1974)

A recent objective in the Mechanical Engineering Department of the University of Manitoba has been to show the viability of using CAI, complete with visual aids, to administer a course in thermodynamics (1).
Integrated microfluidic-microoptical systems fabricated by dry etching of soda-lime glass
Authors: Julien Vieillard, Radoslaw Mazurczyk, Lynda-Lawrence Boum, Aude Bouchard, Yann Chevolot, Pierre Cremillieu, Benjamin Hannes, Stanislas Krawczyk
Venue: Microelectronic Engineering (2008)

In the paper, the method of fabrication of monolithically integrated microfluidic-microoptics systems is presented. Soda-lime glass is used as a substrate material, in which the waveguiding optics is fabricated by means of an ion exchange process, whereas the microfluidic channel is manufactured using reactive ion etching technique. Basic optical characteristics of the device are also reported.
Fault-Tolerant Computing: An Introduction and a Viewpoint
Authors: W. C. Carter
Venue: IEEE Transactions on Computers (1973)

AFTER approximately 20 years of obscurity, the field of fault-tolerant computing was revived by the formation of the IEEE Technical Committee on Fault-Tolerant Computing, by a series of articles in COMPUTER for January/ February 1971, by the 1971 International Symposium on Fault-Tolerant Computing in Pasadena, Calif., and by an IEEE TRANSACTIONS ON COMPUTERS Special Issue on Fault-Tolerant Computing in November 1971. Interest and activity continued apace, and the 1972 International Symposium on Fault-Tolerant Computing was held in Newton, Mass. Most of the excellent papers in this second IEEE TRANSACTIONS Special Issue on Fault-Tolerant Computing were presented at that symposium. As an introduction to these papers, consideration of the ultimate goals of this discipline and the universe in which our work is being done is most appropriate.
Motivation for Behaviour-Based DNS Security: A Taxonomy of DNS-Related Internet Threats
Authors: Nikolaos Chatzis
Venue: Proceedings of the The International Conference on Emerging Security Information, Systems, and Technologies (2007)

The Domain Name System is the largest distributed system in operation today and a critical infrastructure component that can be regarded as one nervous system of the current Internet. Because of its critical role DNS is involved in manifold Internet attacks both against the system itself or other Internet hosts. This paper presents an exhaustive analysis of Internet threats involving the DNS classifying them in three categories: name server vulnerabilities, authenticity and integrity attacks, and consumption attacks. Attacks consuming Internet infrastructure resources are inadequately addressed today and from a network operator perspective they remain the major operational security issue. We show that many consumption attacks cause anomalies in DNS traffic, which implies that behaviour-based security on the name servers is a promising research area against this class of Internet attacks.
Computation of the Fast Fourier Transform from Data Stored in External Auxiliary Memory for Any General Radix r=2n, n = 1
Authors: M. Drubin
Venue: IEEE Transactions on Computers (1971)

A general method is presented for the computation of the fast Fourier transform from data stored in external auxiliary memory, for any general radix r = 2nn =e external data storage is necessitated whenever the internal computer memory is limited. The general radix requirement arises in the tradeoff in serial FFT processor machines, between the number of passes required to address stora
Outdoor Capacity Study Utilizing Multiple Element Antennas at the Millimeter Wave Band
Authors: Nektarios Moraitis, Demosthenes Vouyioukas, Vassilis Milas, Philip Constantinou
Venue: Proceedings of the Third IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (2007)

This paper studies the capacity of an outdoor wireless system operating at the millimeter wave band using a physical channel model that incorporates antennas with multiple elements at both terminals. In our study we have utilized Uniform Linear Arrays (ULAs) and Uniform Rectangular Arrays (URAs) for comparison reasons. It was observed that in order to realize a major improvement in the data rates, an outdoor MIMO system, in an urban environment at 60 GHz, should operate at a distance up to 50-60 m with the view of maintaining low Signal to Noise Ratios. It is found that in the 90% of the cases the average capacity remains above 2.1 b/s/Hz utilizing ULA antennas, and above 4.6 b/s/Hz in case of URA antenna configurations.
A study of residue correlation within protein sequences and its application to sequence classification
Authors: Chris Hemmerich, Sun Kim
Venue: EURASIP Journal on Bioinformatics and Systems Biology (2007)

We investigate methods of estimating residue correlation within protein sequences. We begin by using mutual information (MI) of adjacent residues, and improve our methodology by defining the mutual information vector (MIV) to estimate long range correlations between nonadjacent residues. We also consider correlation based on residue hydropathy rather than protein-specific interactions. Finally, in experiments of family classification tests, the modeling power of MIV was shown to be significantly better than the classic MI method, reaching the level where proteins can be classified without alignment information.
An Effective and Robust Method for Automatic Bacterial Colony Enumeration
Authors: Chengcui Zhang, Wei-Bang Chen
Venue: Proceedings of the International Conference on Semantic Computing (2007)

Bacterial colony enumeration has applications in many different assays such as antibiotic screening, toxicology testing, and genotoxicity measuring. The counting of bacterial colony is usually performed by well-trained technicians manually. However, this manual enumeration process has a very low throughput, and is time consuming and labor intensive in practice. To provide consistent and accurate results and improve the throughput, the existing colony counter devices and software were then developed and commercialized in the market. In this study, we propose a fully automatic colony counter and compare its performance with Clono-Counter, an existing automatic colony counter reported by Niyazi et al. Our proposed method can significantly reduce the manual labor by automatically detecting the dish/plate region and extracting and counting colonies. Our experimental results show that the proposed method outperforms Clono-Counter in terms of Precision, Recall, and F-measures.