ppxscal/embedding_network huggingface dataset:
Fusion of Digital Elevation Models from Various Data Sources
Authors: Haris Papasaika, Daniela Poli, Emmanuel Baltsavias
Venue: Proceedings of the 2009 International Conference on Advanced Geographic Information Systems & Web Services (2009)

In recent years, collection and processing techniques for Digital Elevation Models (DEMs) generation have improved rapidly, allowing surfaces to be represented with more detail and accuracy. Fusion of overlapping DEMs, generated from data captured with different acquisition techniques, or at different times, allows to find inconsistencies, improve density, accuracy and currency, and eliminate gaps. This is of crucial importance for the improvement of global DEMs, like SRTM (Shuttle Radar Topography Mission). Since the DEMs may have substantial differences, simple amalgamation of all available points would not be satisfying and it would degrade the accuracy of the merged model. Any integration approach aiming at high-quality models needs an increased level of robustness. Computational efficiency and global convergence are further preferable properties. In this paper, an approach is presented for DEM fusion. The goal is to use existing DEMs to create automatically a new DEM which is: geometrically accurate by depicting the correct height information of the area, clean by eliminating blunders and errors which are present in the initial data and complete by modelling all the area on the highest possible resolution. The method is presented and the first results achieved after fusing a Lidar-based DEM and an IKONOS-based DEM on Thun, Switzerland, are shown and commented.
Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System
Authors: Antoine Genitrini, Jakub Kozik
Venue: Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science (2009)

We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different approaches, to estimate the asymptotic fraction of intuitionistic tautologies among classical tautologies, obtaining the same results for both. Our results justify informal statements such as "about 5/8 of classical tautologies are intuitionistic".
User orientation in networking
Authors: Orrin E. Taulbee, Siegfried Treu, Jiri Nehnevajsa
Venue: Proceedings of the May 19-22, 1975, national computer conference and exposition (1975)

The virtues and drawbacks of computer networks are well known. A number of significant networks are already in existence, and their effects and potential in the area of resource sharing are unquestionably important. Confirmation of this fact is indicated not only by the relevant literature on the whole, but also by various NSF-sponsored research efforts and special NSF initiatives.
Textbook on Fortran 2003
Authors: Subrata Ray
Venue:  (2008)

A Textbook on Fortran/2003 is designed for the beginners who have not been exposed to the earlier versions of the language. At the same time, those who have used earlier versions can look into it for new features. Whenever possible a complete Fortran program has been used to illustrate a statement and tips for writing efficient and readable programs have been provided. Besides standard features of the language, some of the recent additions like Array Handling Intrinsics, Enhancement in Dynamic Memory Management, IEEE Arithmetic Modules, Variable Length Strings, Interoperability with C Programming Language, Object Oriented Programming Support, Derived Type Enhancements and many other new features of the language have been incorporated.
A High-level Event System for Augmented Reality
Authors: Jean-Luc Lugrin, Remi Chaignon, Marc Cavazza
Venue: Proceedings of the 2007 6th IEEE and ACM International Symposium on Mixed and Augmented Reality (2007)

3D graphics systems increasingly rely on sophisticated event systems derived from collision detection mechanisms, which support the discretisation of Physics as well as high-level programming and scripting. By contrast, Augmented Reality systems have not yet adopted this approach. We describe the development of a high-level event system on top of the ARToolkit environment incorporating the ODE Physics engine. We first define a typology of events encompassing interactions between virtual objects as well as interactions involving markers. We then describe how these events can be recognised in real-time from elementary collisions detected by the ODE Physics engine. We conclude by discussing examples of high-level event recognitions and how they can support the development of applications.
Falling: suicide and the sidewalk
Authors: Brett Phares
Venue: ACM SIGGRAPH ASIA 2008 artgallery: emerging technologies (2008)

This work comprises a video sequence shot from my sixth-floor apartment window to the sidewalk below and composed inside a digital-game environment. The intention is to empty the video of narrative and reduce it to an image string. Exploring the space, flying over and through the image sequence, the effect turns unsettling and a new narrative emerges.
Sparse Intensity Histogram: Distinctive and Robust to the Space-distortion
Authors: Hyeokjune Jeon, Jaekyong Jeong, Joonwon Bang, Chijung Hwang
Venue: Proceedings of the 2009 Seventh International Conference on Advances in Pattern Recognition (2009)

In this article, we propose an image descriptor which efficiently calculates the distance between images, saves to the disk compactly, and seeks a similar image related to a query robustly. The advantage of the proposed descriptor, sparse intensity histogram (SIH), is that it takes a robust approach to space distortion to the local descriptor, and that the speed of comparing are similar to the global descriptor because the SIH does not consider the spatial information, correspondence problem, to find the similar pairs of extracted descriptors between one and the other image. The experimental result shows that the proposed SIH has much better performance than the edge histogram descriptor in its accuracy.
An Image Inpainting Technique Based on 8-Neighborhood Fast Sweeping Method
Authors: Jing Xu, Daming Feng, Jian Wu, Zhiming Cui
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 03 (2009)

Image inpainting is an important element in image restoration study, whose purpose is to restore the lost information automatically based on existing information. Image inpainting can be used to restore damaged images and videos, remove text and hidden errors on videos, and so on. Although the basic idea of the image inpainting is very simple, many of the image inpainting algorithms are very complex and difficult to achieve. In order to get a fast algorithm, this paper proposes a new algorithm based on 8-neighborhood fast sweeping method and improves the algorithm in details. By inpainting the same image using Bertalmio's method and our method, the experimental results verify that our algorithm is fast and feasibility.
Solving Lot-Sizing Problems on Parallel Identical Machines Using Symmetry-Breaking Constraints
Authors: Raf Jans
Venue: INFORMS Journal on Computing (2009)

Production planning on multiple parallel machines is an interesting problem, both from a theoretical and practical point of view. The parallel machine lot-sizing problem consists of finding the optimal timing and level of production and the best allocation of products to machines. In this paper, we look at how to incorporate parallel machines in a mixed-integer programming model when using commercial optimization software. More specifically, we look at the issue of symmetry. When multiple identical machines are available, many alternative optimal solutions can be created by renumbering the machines. These alternative solutions lead to difficulties in the branch-and-bound algorithm. We propose new constraints to break this symmetry. We tested our approach on the parallel machine lot-sizing problem with setup costs and times, using a network reformulation for this problem. Computational tests indicate that several of the proposed symmetry-breaking constraints substantially improve the solution time, except when used for solving the very easy problems. The results highlight the importance of creative modeling in solving mixed-integer programming problems---specifically, the potential added value of symmetry-breaking constraints.
Detecting Video Forgeries Based on Noise Characteristics
Authors: Michihiro Kobayashi, Takahiro Okabe, Yoichi Sato
Venue: Proceedings of the 3rd Pacific Rim Symposium on Advances in Image and Video Technology (2009)

The recent development of video editing techniques enables us to create realistic synthesized videos. Therefore using video data as evidence in places such as a court of law requires a method to detect forged videos. In this paper we propose an approach to detect suspicious regions in video recorded from a static scene by using noise characteristics. The image signal contains irradiance-dependent noise where the relation between irradiance and noise depends on some parameters; they include inherent parameters of a camera such as quantum efficiency and a response function, and recording parameters such as exposure and electric gain. Forged regions from another video camera taken under different conditions can be differentiated when the noise characteristics of the regions are inconsistent with the rest of the video.
Derivation of algorithms for cutwidth and related graph layout parameters
Authors: Hans L. Bodlaender, Michael R. Fellows, Dimitrios M. Thilikos
Venue: Journal of Computer and System Sciences (2009)

In this paper, we investigate algorithms for some related graph parameters. Each of these asks for a linear ordering of the vertices of the graph (or can be formulated as such), and constructive linear time algorithms for the fixed parameter versions of the problems have been published for several of these. Examples are cutwidth, pathwidth, and directed or weighted variants of these. However, these algorithms have complicated technical details. This paper attempts to present ideas in these algorithms in a different more easily accessible manner, by showing that the algorithms can be obtained by a stepwise modification of a trivial hypothetical non-deterministic algorithm. The methodology is applied to rederive known results for the cutwidth and the pathwidth problem, and obtain new results for several variants of these problems, like directed and weighted variants of cutwidth and modified cutwidth.
Multi-Phase Interval Caching for a News on Demand Server
Authors: Yong Woon Park, Won Il Seo, Ki Dong Chung
Venue: Proceedings of the 1999 IEEE International Conference on Multimedia Computing and Systems - Volume 02 (1999)

In this paper, we propose a buffer cache algorithm to build a cost effective storage server for real time news objects. In a News On Demand Server, the number of concurrent streams is bounded for the maximum disk bandwidth the NOD server provides. The maximum numbers of concurrent streams can be increased more than the total disk bandwidth supports if the buffer cache is applied to hold hot news objects. However, it is said that conventional caching algorithms do not go well with real time news objects. With our proposed caching scheme, all of news objects are classified based on their arrival rate; their eligibility is then checked for caching. Only suitable objects are permitted to access the buffer pool to reduce unnecessary buffer replacement. We do simulation to verify the efficiency of our proposed algorithm and our results show that by using this caching scheme, compared with servicing requested streams only by disks, a greater number of requests are serviced without extra cost.
Ad-Hoc Usage of Web Services with Dynvoker
Authors: Josef Spillner, Marius Feldmann, Iris Braun, Thomas Springer, Alexander Schill
Venue: Proceedings of the 1st European Conference on Towards a Service-Based Internet (2008)

While web services are often targeted at machine-to-machine communication, they are also increasingly used directly in the interactions between humans and machines. Instead of developing specialised client applications for the invocation of these services, a generic human-driven ad-hoc usage is beneficial in many scenarios, including rapid service testing and dynamic inclusion of services as plugins into applications. We argue for the need for such a usage and extract requirements for generic web service clients. We then present a few selected use cases and introduce the Dynvoker client which already passes the majority of evaluation criteria. With its technical capabilities and open and vivid development, we consider it the most suitable and flexible generic client available and therefore highlight its role as a central component in a user-centric web service research project.
The effects of logic partitioning in a majority logic based CMOS-NANO FPGA
Authors: Harika Manem, Garrett S. Rose
Venue: Proceedings of the 19th ACM Great Lakes symposium on VLSI (2009)

In recent years, novel nanotechnology has been considered as an eventual replacement or extension for conventional technologies (e.g., CMOS) as they migrate to smaller scales. This work explores the use of such nanoscale devices for the development of a robust hybrid CMOS-nano field programmable gate array (FPGA). In particular, we utilize the properties of negative differential resistance (NDR) and hysteretic switching, observed from some nanoelectronic devices, in the design of an array-based logic circuit dubbed the programmable majority logic array (PMLA). The hybrid CMOS-nano FPGA system design described in this paper incorporates the area and power efficiency of the nano PMLA with the speed and robustness of CMOS. Furthermore, the effects of how logic is partitioned between the nano PMLA and CMOS are also considered.
Luminescence mechanism of polymer light-emitting devices with MEH-PPV: PVK emitting layer
Authors: Zhang Fanghui, Yang Dan, Wang Xiufeng
Venue: Proceedings of the 2008 International Conference on Advanced Infocomm Technology (2008)

Four kinds of single layer PLED devices are prepared by using MEH-PPV, PVK, MEH-PPV:PVK and MEH-PPV:PVK:OXD-7 as material of emitting layer respectively in this paper. And the luminescence spectrums of the four devices are analysised based on the measured spectrograms. It is found that the electroluminescence spectrum ranges of MEH-PPV and PVK are all wide. The spectrum of MEH-PPV is concentrated on the fields of red and yellow; the spectrum range of PVK covers the whole light spectrum range, and the spectrum intensity is higher in the short wavelength region compared with that of the long wavelength region; the spectrum range of MEH-PPV:PVK also covers the whole light spectrum, but the brightness for the range of 500--540nm wavelengths increases as the light wavelength increases and two kinds of models are proposed here, which can explain the unusual zone perfectly; Ray intensity of short wavelength of PLEDs can be increased by adding OXD-7 because of its contribution on the transportation of electron, and by this way the energy of exciton can be improved greatly, and so ray's brightness of short wavelength will be increased, with the result of much purer white light emitted by this type of PLED device.
The Bologna reform at the department of library and information science and book studies, university of Ljubljana
Authors: Polona Vilar, Maja Žumer
Venue: Information Retrieval (2009)

Relevance of the new Bologna study programme at the Department of Library and Information Science and Book Studies at University of Ljubljana is demonstrated from different aspects. The example of IS R themes and topics which are recognized as one of LIS core areas is used to show the differences from the previous study programme in terms of content, together with coverage of Web 2.0 related themes. In regard to teaching and learning methods it is shown how e-learning is used to support the educational process. At the end a few insights into employability of future graduates are added.
Probability density estimation for survival data with censoring indicators missing at random
Authors: Qihua Wang, Wei Liu, Chunling Liu
Venue: Journal of Multivariate Analysis (2009)

In this paper, some nonparametric approaches of density function estimation are developed when censoring indicators are missing at random. A conditional mean score based estimator and a mean score estimator are suggested, respectively. The two estimators are proved to be asymptotically normal and uniformly strongly consistent. The bandwidth selection problem is also discussed. A simulation study is conducted to compare finite-sample behaviors of the proposed estimators.
Growth temperature effect on MOVPE Si-doped GaN: Thermodynamic modeling
Authors: A. Touré, I. Halidou, Z. Benzarti, T. Boufaden
Venue: Microelectronics Journal (2009)

Si-doped GaN layers have been grown using SiN treatment growth by MOVPE on sapphire (0001) in a homemade vertical reactor. The growth was monitored by in situ laser reflectometry. The growth temperature was varied between 1090 and 1150^oC, keeping constant all the other parameters. The layers reveal a smooth surface morphology. The room temperature electron concentration is nearly constant about 2x10^1^8cm^-^3 with a constant SiH"4 flow of 1nmol/min. The growth rate decreases slowly. Thermodynamic analysis of the growth temperature effect was investigated. To this aim, equilibrium calculations have been performed using the GEMINI code. The experimental growth conditions are used for the calculations. The results show that the important species in the vapor phase are SiNH, SiH"4 and SiH"2. Two growth regimes are revealed with a critical temperature (Tc) of about 1220K. For the higher temperature (T>Tc), the partial pressure of SiH"4 and SiH"2 decreases and increases, respectively, as well as that of SiNH remains constant. We tentatively correlated the experimental and the calculation results based on the fact that the GaN growth temperature is usually higher than Tc. Thus, the evolution of the electron concentration is due to the SiNH species and the growth rate reduction is related to the GaN decomposition. A chemical reaction of the Si-doped GaN with SiH"4 as Si precursor is proposed.
CKVdd: a self-stabilization ramp-vdd technique for dynamic power reduction
Authors: Chin-Hsien Wang, Ching-Hwa Cheng, Jiun-In Guo
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

We propose a self-stabilized ramp voltage technique, CKVdd, to reduce power dissipation in conventional CMOS circuit. Normal CMOS circuits show a power increase proportional to clock frequency. CKVdd results in a lower-than-usual power increase. This technique is easily implemented in CMOS circuits. CKVdd technique possesses several characteristics that differ from of the current circuits using Vdd power source. First, CKVdd circuits have less average current and peak current consumption, such that it can be a low power design technique applied to generic digital circuits. Second, CKVdd technique combines the power source and clock signal, and can easily implement the power management mechanism. Compared to constant Vdd for multimedia decoders, the proposed technique has 45% of the usual power dissipation and 88% of the usual peak current reduction at the cost of small delay penalty.
Quality Characteristics of Collaborative Systems
Authors: Ion Ivan, Cristian Ciurea
Venue: Proceedings of the 2009 Second International Conferences on Advances in Computer-Human Interactions (2009)

This paper describe the new concepts of collaborative systems quality evaluation. There are identified structures of collaborative systems. The paper define the quality characteristics of collaborative systems. There are proposed a metric to estimate the quality level of collaborative systems. There are performed measurements of collaborative systems quality using a specially designed software.
Controls: emulation to improve the performance of container terminals
Authors: Csaba A. Boer, Yvo Saanen
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

Nowadays container terminals are struggling with a continuously increasing volume. Therefore, they are searching for solutions to increase throughput capacity without expanding their physical footprint. Furthermore, they aim to increase their productivity on vessels in order to be able to handle bigger ships with larger call sizes in the same time frame. A terminal operating system (TOS) plays a major role in today's terminal operations as it supports planning, scheduling and equipment control. Recently more and more tasks are performed by the TOS - stowage planning, grounding decisions, equipment dispatching - and therefore, they need to be well-tuned to the operation, which remains a terminal specific characteristic. In this paper, an approach is presented to test and tweak the TOS and train operators on a virtual terminal. The implementation of this approach has been successfully applied during several TOS update or replacement projects for Rotterdam, Hong Kong, Norfolk, Virginia and Antwerp.
Flexible User Interface - FLUSI: An architecture for a context-aware user interface
Authors: Jan Conrad
Venue:  (2007)

The cellular phone network has been increasing rapidly during the last years. For many people the mobile phone has become an every day gadget with a wide performance and functional range. The usage of technologies like GPRS, HSCSD, EDGE and UMTS as well as the bandwidth of networks and consequently the connectivity of the phones has also increased persistently. Coming along with that, three technologies, which are ubiquitous or pervasive computing, mobile and wireless networks and location-based technologies, are making rapid progress. The aim of this book is to offer an architecture for a context-aware user interface in the intersection of the three technologies mentioned above. The system should work with a minimum of special hardware requirement. Not to overload the user with information, the user interface should be adaptable, context-aware and location-based. The contextdata should remain extendible and adaptable.
Integration of industrial information systems: from syntactic to semantic integration approaches
Authors: S. Izza
Venue: Enterprise Information Systems (2009)

Nowadays, integration of enterprise information systems constitutes a real and growing need for most enterprises, especially for large and dynamic industrial ones. It constitutes the main approach to dealing with heterogeneity that concerns the multiple software applications that make up information systems. This paper constitutes a general survey on integration of industrial information systems, and aims to overview the main approaches that can be used in the context of industrial enterprises either for syntactic or semantic integration issues. In particular, this paper focuses on some semantics-based approaches that promote the use of ontologies, and especially the use of OWL-S service ontology.