OpenRaiser/Intern-Atlas huggingface dataset:
Addendum to Research MMMCV; A Man/Microbio/Megabio/Computer Vision
Venue: arXiv cs.CV 2007
Year: 2007

In October 2007, a Research Proposal for the University of Sydney, Australia, the author suggested that biovie-physical phenomenon as `electrodynamic dependant biological vision', is governed by relativistic quantum laws and biovision. The phenomenon on the basis of `biovielectroluminescence', satisfies man/microbio/megabio/computer vision (MMMCV), as a robust candidate for physical and visual sciences. The general aim of this addendum is to present a refined text of Sections 1-3 of that proposal and highlighting the contents of its Appendix in form of a `Mechanisms' Section. We then briefly remind in an article aimed for December 2007, by appending two more equations into Section 3, a theoretical II-time scenario as a time model well-proposed for the phenomenon. The time model within the core of the proposal, plays a significant role in emphasizing the principle points on Objectives no. 1-8, Sub-hypothesis 3.1.2, mentioned in Article [arXiv:0710.0410]. It also expresses the time concept in terms of causing quantized energy f(|E|) of time |t|, emit in regard to shortening the probability of particle loci as predictable patterns of particle's un-occurred motion, a solution to Heisenberg's uncertainty principle (HUP) into a simplistic manner. We conclude that, practical frames via a time algorithm to this model, fixates such predictable patterns of motion of scenery bodies onto recordable observation points of a MMMCV system. It even suppresses/predicts superposition phenomena coming from a human subject and/or other bio-subjects for any decision making event, e.g., brainwave quantum patterns based on vision. Maintaining the existential probability of Riemann surfaces of II-time scenarios in the context of biovielectroluminescence, makes motion-prediction a possibility.
Simple Recursive Games
Venue: arXiv cs.GT 2007
Year: 2007

We define the class of "simple recursive games". A simple recursive game is defined as a simple stochastic game (a notion due to Anne Condon), except that we allow arbitrary real payoffs but disallow moves of chance. We study the complexity of solving simple recursive games and obtain an almost-linear time comparison-based algorithm for computing an equilibrium of such a game. The existence of a linear time comparison-based algorithm remains an open problem.
Joint Source-Channel Codes for MIMO Block Fading Channels
Venue: arXiv cs.IT 2007
Year: 2007

We consider transmission of a continuous amplitude source over an L-block Rayleigh fading $M_t \times M_r$ MIMO channel when the channel state information is only available at the receiver. Since the channel is not ergodic, Shannon's source-channel separation theorem becomes obsolete and the optimal performance requires a joint source -channel approach. Our goal is to minimize the expected end-to-end distortion, particularly in the high SNR regime. The figure of merit is the distortion exponent, defined as the exponential decay rate of the expected distortion with increasing SNR. We provide an upper bound and lower bounds for the distortion exponent with respect to the bandwidth ratio among the channel and source bandwidths. For the lower bounds, we analyze three different strategies based on layered source coding concatenated with progressive, superposition or hybrid digital/analog transmission. In each case, by adjusting the system parameters we optimize the distortion exponent as a function of the bandwidth ratio. We prove that the distortion exponent upper bound can be achieved when the channel has only one degree of freedom, that is L=1, and $\min\{M_t,M_r\}=1$. When we have more degrees of freedom, our achievable distortion exponents meet the upper bound for only certain ranges of the bandwidth ratio. We demonstrate that our results, which were derived for a complex Gaussian source, can be extended to more general source distributions as well.
Practical Resource Allocation Algorithms for QoS in OFDMA-based Wireless Systems
Venue: arXiv cs.NI 2007
Year: 2007

In this work we propose an efficient resource allocation algorithm for OFDMA based wireless systems supporting heterogeneous traffic. The proposed algorithm provides proportionally fairness to data users and short term rate guarantees to real-time users. Based on the QoS requirements, buffer occupancy and channel conditions, we propose a scheme for rate requirement determination for delay constrained sessions. Then we formulate and solve the proportional fair rate allocation problem subject to those rate requirements and power/bandwidth constraints. Simulations results show that the proposed algorithm provides significant improvement with respect to the benchmark algorithm.
N3Logic: A Logical Framework For the World Wide Web
Venue: arXiv cs.NI 2007
Year: 2007

The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the Semantic Web provides a unifying representation of richly structured data. Adding logic to the Web implies the use of rules to make inferences, choose courses of action, and answer questions. This logic must be powerful enough to describe complex properties of objects but not so powerful that agents can be tricked by being asked to consider a paradox. The Web has several characteristics that can lead to problems when existing logics are used, in particular, the inconsistencies that inevitably arise due to the openness of the Web, where anyone can assert anything. N3Logic is a logic that allows rules to be expressed in a Web environment. It extends RDF with syntax for nested graphs and quantified variables and with predicates for implication and accessing resources on the Web, and functions including cryptographic, string, math. The main goal of N3Logic is to be a minimal extension to the RDF data model such that the same language can be used for logic and data. In this paper, we describe N3Logic and illustrate through examples why it is an appropriate logic for the Web.
Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming
Venue: arXiv cs.AI 2007
Year: 2007

Building rules on top of ontologies is the ultimate goal of the logical layer of the Semantic Web. To this aim an ad-hoc mark-up language for this layer is currently under discussion. It is intended to follow the tradition of hybrid knowledge representation and reasoning systems such as $\mathcal{AL}$-log that integrates the description logic $\mathcal{ALC}$ and the function-free Horn clausal language \textsc{Datalog}. In this paper we consider the problem of automating the acquisition of these rules for the Semantic Web. We propose a general framework for rule induction that adopts the methodological apparatus of Inductive Logic Programming and relies on the expressive and deductive power of $\mathcal{AL}$-log. The framework is valid whatever the scope of induction (description vs. prediction) is. Yet, for illustrative purposes, we also discuss an instantiation of the framework which aims at description and turns out to be useful in Ontology Refinement. Keywords: Inductive Logic Programming, Hybrid Knowledge Representation and Reasoning Systems, Ontologies, Semantic Web. Note: To appear in Theory and Practice of Logic Programming (TPLP)
Axiomatic structure of k-additive capacities
Venue: arXiv cs.DM 2007
Year: 2007

In this paper we deal with the problem of axiomatizing the preference relations modelled through Choquet integral with respect to a $k$-additive capacity, i.e. whose Möbius transform vanishes for subsets of more than $k$ elements. Thus, $k$-additive capacities range from probability measures ($k=1$) to general capacities ($k=n$). The axiomatization is done in several steps, starting from symmetric 2-additive capacities, a case related to the Gini index, and finishing with general $k$-additive capacities. We put an emphasis on 2-additive capacities. Our axiomatization is done in the framework of social welfare, and complete previous results of Weymark, Gilboa and Ben Porath, and Gajdos.
The Möbius transform on symmetric ordered structures and its application to capacities on finite sets
Venue: arXiv cs.DM 2007
Year: 2007

Considering a linearly ordered set, we introduce its symmetric version, and endow it with two operations extending supremum and infimum, so as to obtain an algebraic structure close to a commutative ring. We show that imposing symmetry necessarily entails non associativity, hence computing rules are defined in order to deal with non associativity. We study in details computing rules, which we endow with a partial order. This permits to find solutions to the inversion formula underlying the Möbius transform. Then we apply these results to the case of capacities, a notion from decision theory which corresponds, in the language of ordered sets, to order preserving mappings, preserving also top and bottom. In this case, the solution of the inversion formula is called the Möbius transform of the capacity. Properties and examples of Möbius transform of sup-preserving and inf-preserving capacities are given.
Combined Integer and Variable Precision (CIVP) Floating Point Multiplication Architecture for FPGAs
Venue: arXiv cs.AR 2007
Year: 2007

In this paper, we propose an architecture/methodology for making FPGAs suitable for integer as well as variable precision floating point multiplication. The proposed work will of great importance in applications which requires variable precision floating point multiplication such as multi-media processing applications. In the proposed architecture/methodology, we propose the replacement of existing 18x18 bit and 25x18 bit dedicated multipliers in FPGAs with dedicated 24x24 bit and 24x9 bit multipliers, respectively. We have proved that our approach of providing the dedicated 24x24 bit and 24x9 bit multipliers in FPGAs will make them efficient for performing integer as well as single precision, double precision, and Quadruple precision floating point multiplications.
Use of Wikipedia Categories in Entity Ranking
Venue: arXiv cs.IR 2007
Year: 2007

Wikipedia is a useful source of knowledge that has many applications in language processing and knowledge representation. The Wikipedia category graph can be compared with the class hierarchy in an ontology; it has some characteristics in common as well as some differences. In this paper, we present our approach for answering entity ranking queries from the Wikipedia. In particular, we explore how to make use of Wikipedia categories to improve entity ranking effectiveness. Our experiments show that using categories of example entities works significantly better than using loosely defined target categories.
To Decode the Interference or To Consider it as Noise
Venue: arXiv cs.IT 2007
Year: 2007

We address single-user data transmission over a channel where the received signal incurs interference from a finite number of users (interfering users) that use single codebooks for transmitting their own messages. The receiver, however, is allowed to decode interfering users' messages. This means the signal transmitted from any interfering user is either decoded or considered as noise at the receiver side. We propose the following method to obtain an achievable rate for this channel. Assuming its own data is decoded successfully, the receiver partitions the set of interfering users into two disjoint subsets, namely the set of decodable users and the set of non-decodable users. Then the transmitter's rate is chosen such that the intended signal can be jointly decoded with the set of decodable users. To show the strength of this method, we prove that for the additive Gaussian channel with Gaussian interfering users, the Gaussian distribution is optimal and the achievable rate is the capacity of this channel. To obtain the maximum achievable rate, one needs to find the maximum decodable subset of interfering users. Due to the large number of possible choices, having efficient algorithms that find the set of decodable users with maximum cardinality is desired. To this end, we propose an algorithm that enables the receiver to accomplish this task in polynomial time.
Surface Conditioning Effect on Vacuum Microelectronics Components Fabricated by Deep Reactive Ion Etching
Venue: arXiv cs.OH 2007
Year: 2007

Advances in material processing such as silicon micromachining are opening the way to vacuum microelectronics. Two-dimensional vacuum components can be fabricated using the microsystems processes. We developed such devices using a single metal layer and silicon micromachining by DRIE. The latter technological step has significant impact on the characteristics of the vacuum components. This paper presents a brief summary of electron emission possibilities and the design leading to the fabrication of a lateral field emission diode. First measurement results and the aging of the devices are also discussed.
Concave Microlens Array Mold Fabrication in Photoresist Using UV Proximity Printing
Venue: arXiv cs.OH 2007
Year: 2007

This paper presents a simple and effective method to fabricate a polydimethyl-siloxane (PDMS) microlens array with a high fill factor, which utilizes the UV proximity printing and photoresist replication methods. The concave microlens array mold was made using a printing gap in lithography process, which utilizes optical diffraction of UV light to deflect away from the aperture edges and produces a certain exposure in the photoresist material outside the aperture edges. This method can precisely control the geometric profile of concave microlens array. The experimental results showed that the concave micro-lens array in photoresist could be formed automatically when the printing gap ranged from 240 micron to 720 micron. High fill factor microlens array can be produced, when the control pitch distance between the adjacent apertures of the concave microlens array was decreased to the aperture size.
Design and Development of Novel Electroplating Spring Frame Mems Structure Specimens for the Microtensile Testing of Thin Film Materials
Venue: arXiv cs.OH 2007
Year: 2007

Microelectromechanical systems (MEMS) technologies are developing rapidly with increasing study of the design, fabrication and commercialization of microscale systems and devices. Accurate mechanical properties are important for successful design and development of MEMS. We have demonstrated here a novel electroplating spring frame MEMS Structure Specimen integrates pin-pin align holes, misalignment compensate spring structure frame, load sensor beam and freestanding thin film. The specimen can be fit into a specially designed microtensile apparatus which is capable of carrying out a series of tests on sub-micro scale freestanding thin films.
The Effects of Additives on the Physical Properties of Electroformed Nickel and on the Stretch of Photoelectroformed Nickel Components
Venue: arXiv cs.OH 2007
Year: 2007

The process of nickel electroforming is becoming increasingly important in the manufacture of MST products, as it has the potential to replicate complex geometries with extremely high fidelity. Electroforming of nickel uses multi-component electrolyte formulations in order to maximise desirable product properties. In addition to nickel sulphamate (the major electrolyte component), formulation additives can also comprise nickel chloride (to increase nickel anode dissolution), sulphamic acid (to control pH), boric acid (to act as a pH buffer), hardening/levelling agents (to increase deposit hardness and lustre) and wetting agents (to aid surface wetting and thus prevent gas bubbles and void formation). This paper investigates the effects of some of these variables on internal stress and stretch as a function of applied current density.
Measurement Technique for Elastic and Mechanical Properties of Polycrystalline Silicon-Germanium Films Using Surface Acoustic Waves and Projection Masks
Venue: arXiv cs.OH 2007
Year: 2007

Using Rayleigh surface acoustic waves (SAW), the Young's modulus, the density and the thickness of polycrystalline Silicon-Germanium (SiGe) films deposited on silicon and SiO2 were measured, in excellent agreement with theory. The dispersion curve of the propagating SAW is calculated with a Boundary Element Method (BEM)-Model based on Green's functions. The propagating SAW is generated with a nanosecond laser in a narrowband scheme projecting stripes from a mask on the surface of the sample. For this purpose a glass mask and a liquid crystal display (LCD) mask are used. The slope of the SAW is then measured using a probe beam setup. From the wavelength of the mask and the frequency of the measured SAW, the dispersion curve is determined point by point. Fitting the BEM-Model to the measured nonlinear dispersion curve provides several physical parameters simultaneously. In the present work this is demonstrated for the Young's modulus, the density and the thickness of SiGe films. The results from the narrowband scheme measurement are in excellent agreement with separated measurements of the thickness (profilometer), the density (balance) and the Young's modulus (nanoindenter).
Non Linear Techniques for Increasing Harvesting Energy from Piezoelectric and Electromagnetic Micro-Power-Generators
Venue: arXiv cs.OH 2007
Year: 2007

Non-linear techniques are used to optimize the harvested energy from piezoelectric and electromagnetic generators. This paper introduces an analytical study for the voltage amplification obtained from these techniques. The analytical study is experimentally validated using a macro model of piezoelectric generator. Moreover, the integration influences on these techniques is studied. Through all the obtained results, a suitable structure for autonomous microsystems is proposed.
Power Processing Circuits for Mems Inertial Energy Scavengers
Venue: arXiv cs.OH 2007
Year: 2007

Inertial energy scavengers are self-contained devices which generate power from ambient motion, by electrically damping the internal motion of a suspended proof mass. There are significant challenges in converting the power generated from such devices to useable form, particularly in micro-engineered variants. This paper presents approaches to this power conversion requirement, with emphasis on the cases of electromagnetic and electrostatic transduction.
Impact of Thermal Behavior on Offset in a High-Q Gyroscope
Venue: arXiv cs.OH 2007
Year: 2007

In this paper, CFD approach is used to simulate the thermal behavior in a sensitive high-Q gyroscope. The electromagnetically driving wires, in which AC current flows, are treated as Joule heat sources in the model. We found that the differences of temperature, pressure and velocity along the driving direction and transversely across the proof masses increased as the gap height between the proof mass and top glass became smaller. Local pressure gradient is expected to possibly enhance the impact of any imperfect led by MEMS processes or designs on the offset of our tuning fork type gyroscope, which has been experimentally verified. A device with 200um gap gives a two-third offset down compared with that of its counterpart with 50um gap.
A Generic Surface Micromachining Module for Mems Hermetic Packaging at Temperatures Below 200 degrees C
Venue: arXiv cs.OH 2007
Year: 2007

This paper presents the different processing steps of a new generic surface micromachining module for MEMS hermetic packaging at temperatures around 180 degrees C based on nickel plating and photoresist sacrificial layers. The advantages of thin film caps are the reduced thickness and area consumption and the promise of being a low-cost batch process. Moreover, sealing happens by a reflow technique, giving the freedom of choosing the pressure and atmosphere inside the cavity. Sacrificial etch holes are situated above the device allowing shorter release times compared to the state-of-the-art. With the so-called over-plating process, small etch holes can be created in the membrane without the need of expensive lithography tools. The etch holes in the membrane have been shown to be sufficiently small to block the sealing material to pass through, but still large enough to enable an efficient release.
A Ku-Band Novel Micromachined Bandpass Filter with Two Transmission Zeros
Venue: arXiv cs.OH 2007
Year: 2007

This paper presents a micromachined bandpass filter with miniature size that has relatively outstanding performance. A silicon-based eight-order microstrip bandpass filter is fabricated and measured. A novel design method of the interdigital filter that can create two transmission zeros is described. The location of the transmission zeros can be shifted arbitrarily in the stopband. By adjusting the zero location properly, the filter provides much better skirt rejection and lower insertion loss than a conventional microstrip interdigital filter. To reduce the chip size, through-silicon-substrate-via-hole is used. Good experimental results are obtained.
A New Model of Fringing Capacitance and its Application to the Control of Parallel-Plate Electrostatic Micro Actuators
Venue: arXiv cs.OH 2007
Year: 2007

Fringing field has to be taken into account in the formulation of electrostatic parallel-plate actuators when the gap separating the electrodes is comparable to the geometrical dimensions of the moving plate. Even in this case, the existing formulations often result in complicated mathematical models from which it is difficult to determine the deflection of the moving plate for given voltages and therefore to predict the necessary applied voltages for actuation control. This work presents a new method for the modeling of fringing field, in which the effect of fringing field is modeled as a serial capacitor. Numerical simulation demonstrates the suitability of this formulation. Based on this model, a robust control scheme is constructed using the theory of input-to-state stabilization (ISS) and back-stepping state feedback design. The stability and the performance of the system using this control scheme are demonstrated through both stability analysis and numerical simulation.
In memoriam Maurice Gross
Venue: arXiv cs.CL 2007
Year: 2007

Maurice Gross (1934-2001) was both a great linguist and a pioneer in natural language processing. This article is written in homage to his memory
Evaluation of a Grammar of French Determiners
Venue: arXiv cs.CL 2007
Year: 2007

Existing syntactic grammars of natural languages, even with a far from complete coverage, are complex objects. Assessments of the quality of parts of such grammars are useful for the validation of their construction. We evaluated the quality of a grammar of French determiners that takes the form of a recursive transition network. The result of the application of this local grammar gives deeper syntactic information than chunking or information available in treebanks. We performed the evaluation by comparison with a corpus independently annotated with information on determiners. We obtained 86% precision and 92% recall on text not tagged for parts of speech.
Outilex, plate-forme logicielle de traitement de textes écrits
Venue: arXiv cs.CL 2007
Year: 2007

The Outilex software platform, which will be made available to research, development and industry, comprises software components implementing all the fundamental operations of written text processing: processing without lexicons, exploitation of lexicons and grammars, language resource management. All data are structured in XML formats, and also in more compact formats, either readable or binary, whenever necessary; the required format converters are included in the platform; the grammar formats allow for combining statistical approaches with resource-based approaches. Manually constructed lexicons for French and English, originating from the LADL, and of substantial coverage, will be distributed with the platform under LGPL-LR license.