Miracle-dz/UniFAR-FTUs huggingface dataset:
Polymer biophotonic lab-on-chip devices with integrated organic semiconductor lasers

We present optofluidic lab-on-a-chip devices (LOCs) for single use as disposables. In our approach we are aiming for systems out of poly(methyl methacrylate) (PMMA) that integrate (a) organic lasers, (b) optical waveguides, (c) microfluidic channels, (d) surface functionalization, and (e) fluorescence excitation on one single chip. We are utilizing mass production techniques to show the applicability of this approach by avoiding electrical interconnects but using optical and fluidic interfaces only. With our experiments we can show the feasibility of this approach by respectively combining two consecutive elements (a - e) of the path of light: Organic semiconductor lasers are integrated by evaporating a thin film of photoactive material on top of a distributed feedback (DFB) grating. For this purpose, grating masters are replicated by hot embossing into PMMA bulk material. The lasing wavelength in the visible light regime is tuned by altering the thickness of the vacuum deposited organic semiconductor active material or the DFB grating period. Emitted light from the DFB laser is coupled into polymer strip optical waveguides realized by Deep UV lithography. The waveguides allow optical guidance to a microfluidic channel. Tailored surface functionalization in the microfluidic channel by Dip-Pen Nanolithography (DPN) enables the local excitation of fluorescent markers and thus a detection of selected components in biomedical or environmentally relevant fluids.
Energy Efficiency and Interference Neutralization in Two-Hop MIMO Interference Channels

The issue of energy-aware resource allocation in an amplify-and-forward (AF) relay-assisted multiple-antenna interference channel (IC) is considered. A novel interference neutralization (IN) scheme is proposed for relay design and, based on the IN relay matrix design, two algorithms are developed to jointly allocate the users' transmit powers, beamforming (BF) and receive filters. The first algorithm considers a competitive scenario and employs a noncooperative game-theoretic approach to maximize the individual energy efficiency (EE) of each communication link, defined as the ratio of the achievable rate over the consumed power. The resulting algorithm converges to a unique fixed point, has limited complexity, and can be implemented in a distributed fashion. The second algorithm employs fractional programming tools and sequential convex optimization to centrally allocate the users' transmit powers, BF, and receive filters for global energy efficiency (GEE) maximization. The resulting algorithm is guaranteed to converge and has limited computational complexity. Numerical results show that the competitive IN design achieves virtually the same performance as the cooperative design if IN is feasible, while the gap is small if perfect IN is not achievable.
Integrated Navigation Fusion Strategy of INS/UWB for Indoor Carrier Attitude Angle and Position Synchronous Tracking

In some GPS failure conditions, positioning for mobile target is difficult. This paper proposed a new method based on INS/UWB for attitude angle and position synchronous tracking of indoor carrier. Firstly, error model of INS/UWB integrated system is built, including error equation of INS and UWB. And combined filtering model of INS/UWB is researched. Simulation results show that the two subsystems are complementary. Secondly, integrated navigation data fusion strategy of INS/UWB based on Kalman filtering theory is proposed. Simulation results show that FAKF method is better than the conventional Kalman filtering. Finally, an indoor experiment platform is established to verify the integrated navigation theory of INS/UWB, which is geared to the needs of coal mine working environment. Static and dynamic positioning results show that the INS/UWB integrated navigation system is stable and real-time, positioning precision meets the requirements of working condition and is better than any independent subsystem.
Plurals Yoad Winter and Remko Scha April 2014 A draft chapter for the Wiley-Blackwell Handbook of Contemporary Semantics

In English and many other languages, noun phrases are subcategorized for number: they are either singular or plural. Though strictly speaking a morpho-syntactic phenomenon, this subcategorization has important semantic correlates. Whereas singular noun phrases typically refer to atomic individuals or to quantifiers over such individuals, plural noun phrases typically involve reference to (or quantification over) collections of individuals. For instance, the sentence “the trees surround the pond” describes a relation between a collection “the trees” and an individual “the pond”. Despite their importance in many languages, collectivity phenomena were largely ignored in the proposals that laid the foundations of formal semantics of natural language (chapter [HIS]). Accommodating plurals and collectivity in formal semantics has turned out to be a major challenge. The aim of this chapter is to give an overview of different approaches to these challenges and to summarize some of their achievements. We concentrate on plurals in English, but many principles in their treatment carry over to several other languages. After introducing in section 2 some central facts and terms, we move on in sections 3-5 to three problems that have propelled much of the research on plurals. One problem concerns the basic (‘ontological’) properties of the collections denoted by plural nominals. In section 3 we discuss mereological and set-theoretical approaches to collective reference, and concentrate on one central differences between different proposals: whether they treat collections as ‘flat’ sets of primitive entities, or as possibly ‘nested’ sets that recursively admit collections as their members. A second major problem is the nature of distributive interpretations of plurals: interpretations that involve quantification over parts of collections. In section 4 we distinguish two approaches for deriving distributive interpretations: the lexical approach, based on the meaning of predicates, and a variety of operational approaches, based on introducing phonologically covert operators in the semantic analysis. Finally, in section 5 we discuss the problem of collectivity with quantificational plurals. Again we will consider two central approaches: one approach that analyses quantificational expressions as modifiers of predicates, and another approach that analyses them as determiners, i.e. relations between predicates in generalized quantifier theory (chapter [GQ]).
Ventricular Echoes: Evidence For Dissociation Of Conduction and Reentry Within the Av Node

These experiments were designed to examine further the concept of a dual pathway for AV transmission in the heart, and to determine whether or not the atrium is a necessary link in the reentry pathway used for a ventricular echo. Studies were performed on anesthetized and awake dogs with recording electrodes implanted on the atrium, bundle of His, and right ventricle. When paired stimuli (V1V2) were applied to the ventricle with an appropriate delay, the second stimulated beat was followed by a nonstimulated ventricular echo. The echo response was of supraventricular origin. During paired stimulation with echoes, stimulation of the atrium prior to arrival of the retrograde response to V2 produced a propagated ventricular beat in advance of the expected echo. Stimulation of the atrium immediately after an echo was associated with apparent supernormal AV conduction. These observations support the conclusion that the AV node can be dissociated functionally into at least two pathways. It was possible to render the atrium refractory without abolishing the echo. This finding indicates that the atrium per se does not participate in the reentry path used for ventricular echo.
ESSLLI 1998 COURSE Tableau-Based Theorem Proving

of the Course Tableau-based approaches to automated deduction have gained a lot of ground in recent years after many years during which they have been mainly considered for teaching and in proof theoretic studies. One reason for this development is that competitive implementations of rst-order logic tableau provers are now available, but another reason for the renewed interest is the large number of applications for deduction in non-classical in linguistics, intelligent agents, knowledge representation to name just a few elds. I will present various tableau-related calculi in a uniform, modern framework with new, concise completeness proofs. Important implementations as well as basic techniques for accommodating non-classical aspects are discussed as well. A brief introduction into the required concepts of computational logic is included.
Preservation of Periosteal Attachment in Lateral Osteotomy

Cosmetic rhinoplasty with narrowing of the bony vault can potentially reduce the nasal airway. Current surgical methods may aggravate this problem. In an attempt to demonstrate the effect of lateral osteotomy on the resultant airway, 4 cadaver specimens were studied grossly and with CAT scans. It appeared that variations in osteotomy technique did have a demonstrable impact on the size of the nasal airway. An interrupted transperiosteal approach, preserving intervening strands of periosteum, resulted in a more stable nose with less compromise of the airway.
MODULI OF NODAL CURVES ON SMOOTH SURFACES OF GENERAL TYPE

In this paper we focus on the problem of computing the number of moduli of the so called Severi varieties (denoted by V_d(|D|)), which parametrize universal families of irreducible, d -nodal curves in a complete linear system |D|, on a smooth projective surface S of general type. We determine geometrical and numerical conditions on D and numerical conditions on d ensuring that such a number coincides with the dimension of such a variety. As related facts, we also determine some sharp results concerning the geometry of some Severi varieties.
The unity of higher cognition: the case against dual process theory

Dual process theorists posit the existence of two distinct types (type-1/type-2) of cognitive processing in order to explain domains of higher cognition such as reasoning and decision-making. Such theories typically allude to co-varying clusters of properties (i.e. a dualcluster thesis) as well as an underlying mechanism or system for each processing type (i.e. a dual systems thesis). I will argue that a host of empirical findings cast doubt upon the validity of both theses, and that simpler models of higher cognition—that do not appeal to types of processing— might be preferable. INDEX WORDS: Dual process theory, The Unimodel, Evolution of cognition, Reasoning and decision-making, Cognitive science, Philosophy of psychology THE UNITY OF HIGHER COGNITION: THE CASE AGAINST DUAL PROCESS THEORY
Multi-label Classification with Error-correcting Codes

We formulate a framework for applying error-correcting codes (ECC) on multi-label classification problems. The framework treats some base learners as noisy channels and uses ECC to correct the prediction errors made by the learners. An immediate use of the framework is a novel ECC-based explanation of the popular random k-label-sets (RAKEL) algorithm using a simple repetition ECC. Using the framework, we empirically compare a broad spectrum of ECC designs for multi-label classification. The results not only demonstrate that RAKEL can be improved by applying some stronger ECC, but also show that the traditional Binary Relevance approach can be enhanced by learning more parity-checking labels. In addition, our study on different ECC helps understand the trade-off between the strength of ECC and the hardness of the base learning tasks.
Unified controller for position stabilization and tracking of wheeled mobile robots

Under the assumption that for the desired point, only the position states are known, a continuous state feedback unified control law is derived based on Lyapunov technique, sliding-mode approach and a lemma about non-vanishing disturbances, guaranteeing that the position errors globally exponentially converge to a small neighborhood of the origin, and are globally uniformly ultimately bounded despite the uncertain parameters, furthermore this neighborhood and the ultimate bound can be made arbitrary small via tuning the controller parameters. The simulation results show that using the proposed control law the robot can track the dynamic target with any movement form.
Miniaturization of waveguide antennas using electromagnetic metamaterials

In the era of miniaturized hand - held devices rectangular waveguides have been replaced by planar guiding structures in many of the applications for miniaturizations. Use of waveguides is inevitable in many applications. Waveguides offer a number of advantages over planar guiding structures, viz., lower loss and high power handling capability, absence of substrate mode losses etc. Waveguide manufacturing cost and their size at microwave frequencies are the biggest disadvantages. Over the years a number of researchers have tried to miniaturize waveguides. Classical waveguide miniaturization is by filling the waveguides with a dielectric yielding to size reduction of 1/ relative to an empty waveguide. The disadvantages of such dielectric filled waveguides are, high cost and such waveguides cannot be used as an antenna. In this thesis we propose an open - ended rectangular waveguide antenna loaded with broadside coupled split - ring resonators (BC-SRR) radiating below the cutoff frequency of the waveguide. An X-Band, open - ended waveguide antenna loaded with BC-SRR operating in a 5.5-6.7 GHz frequency band was designed, fabricated and tested.
Strength and corrosion resistance of a solder joint in ultrasonic soldering of aluminium using quasi-melting solder

In order to obtain high-strength aluminium butt joints with corrosion resistance, ultrasonic soldering of A1070 rods was conducted using quasi-melting Sn–xZn (x = 23, 40, 82 mass%) hypereutectic alloy. Ultrasonic vibrations were applied at soldering temperatures ranging 220–300°C through A1070 rods without a solder bath. The tensile strength of the solder joints with Sn–23Zn or 40Zn alloy were higher than that of the joint soldered with Sn–9Zn eutectic alloy. The joints soldered with Sn–23Zn or 40Zn alloy showed the same strength as A1070 rods which employed the same heat treatment as the ultrasonic soldering process. The thickness of the hypereutectic solder layer in the joints was thicker than that of the Sn–9Zn solder layer because unmelted α-Zn solid solution should have prevented the solder from being pressed out of the joint gap by the applied pressure during soldering. Tensile tests of the joints after immersion in NaCl aqueous solution revealed that the corrosion resistance of the joints soldered with hypereutectic alloy was higher than that of the joint soldered with Sn–9Zn alloy. It is considered that the improvement was achieved by the thick hypereutectic solder layer which should have reduced the notch effect in the joints.
Subtle Facial Expression Modeling with Vector Field Decomposition

Facial expression means not only the feature motions but also the subtle appearance changes in the face. The details are important to facial expression synthesis. In this paper, a novel method based on vector field decomposition is presented to model subtle facial expressions. The intensity change of facial expression image is represented by Helmholtz-Hodge vector field decomposition. Based on this method, subtle facial expression mapping is carried out much faster and better. Experiment results show that our method is robust and convincible to model the subtle facial expression.
Memristor 1T-SRAM with Adiabatic Driving

—This paper proposes a novel adiabatic static random access memory (SRAM) using memristor. The proposed SRAM which is a sinusoidal driving consists of one NMOS transistor and one memristor (i.e. 1T1M type). The proposed SRAM also is driven by an optimal voltage resulting in a decrease of energy dissipation. From SPICE simulation results, we show that the energy dissipation of proposed 1T1M-SRAM with a sinusoidal driving voltage is lower than that of the conventional pseudo-SRAM called 1T1C, and the proposed circuit is especially effective against reducing power consumption at logic Hi-state.
UWB Through-Wall Imaging Based on Compressive Sensing

To achieve high-resolution 2-D images, through-wall imaging (TWI) radar with ultra-wideband and long antenna arrays faces considerable technical challenges such as a prolonged data collection time, a huge amount of data, and a high hardware complexity. This paper presents a novel data acquisition scheme and an imaging algorithm for TWI radar based on compressive sensing (CS), which states that a signal having a sparse representation can be reconstructed from a small number of nonadaptive randomized projections by solving a tractable convex program. Instead of measuring all spatial-frequency data, a few samples, by employing an overcomplete dictionary, are sufficient to obtain reliable target space images even at high noise levels. Preliminary simulated and experimental results show that the proposed algorithm outperforms the conventional delay-and-sum beamforming method even though many fewer CS measurements are used.
Modification of oil palm empty fruit bunches with maleic anhydride: The effect on the tensile and dimensional stability properties of empty fruit bunch/polypropylene composites

Oil palm empty fruit bunch (EFB)-filled polypropylene (PP) composites were produced. The EFB filler was chemically modified with maleic anhydride (MAH). The effects of the filler size and chemical modification of EFBs on the tensile and dimensional stability properties of EFB–PP composites were studied. The composites with MAH-treated EFBs showed higher tensile strengths than those with untreated EFBs. This was attributed to the enhanced compatibility between the MAH-treated EFBs and PP matrix, as shown in a scanning electron microscopy study. Fourier transform infrared analysis showed evidence of CC and CO bonds from MAH at 1630 and 1730 cm−1, respectively. The MAH-treated PP composites showed lower water absorption and thickness swelling than those with untreated EFBs. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 87: 827–835, 2003
Surface characterization and properties of functionalized nonwoven

Nonwoven materials have been increasingly used in many industries. The surface properties of nonwoven materials are of importance in these applications. In this study, functional nonwoven materials were prepared by sputtering deposition of copper (Cu), zinc oxide (ZnO), and polytetrafluoroethylene (PTFE) on the surface of polypropylene (PP) fibers. Atomic Force Microscopy (AFM) and Environmental Scanning Electron Microscopy (ESEM) were employed to study the surface morphology and chemical compositions. The observations by AFM revealed the formation of functional nanostructures on the fibre surfaces and the ESEM examination confirmed the formation of functional compositions on the fiber surface. The metallic coating of Cu significantly improved the surface conductivity of the material. The transmittance analysis indicated that the ZnO coating obviously increased the ultra-violet absorption of the material. The surface hydrophobicity of the nonwoven material was enhanced by the sputter coating of PTFE. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci, 2008
Using rigidity analysis to probe mutation-induced structural changes in proteins

Predicting how a single amino acid substitution affects the stability of a protein structure is a fundamental task in macromolecular modeling. It has relevance to drug design and understanding of disease-causing protein variants. We present KINARI-Mutagen, a web server for performing in silico mutation experiments on protein structures from the Protein Data Bank. Our rigidity-based approach permits fast evaluation of the effects of mutations that may not be easy to perform in vitro, because it is not always possible to express a protein with a specific amino acid substitution. In two case studies we use KINARI-Mutagen to identify exposed residues that are known to be conserved, and we show that our prediction in the change in a protein's stability due to a mutation of an amino acid to glycine can be correlated against experimentally derived stability data. KINARI-Mutagen is available at http://kinari.cs. umass.edu.
Face Recognition using Independent Component Analysis Algorithm

recognition system compares the tested face with the various training faces reserved in the database with an efficient success rate. The best matching of the tested face with the training faces is an important task. In this article, how to recognize a face is presented; two different analysis algorithms are included in the evaluation system: Eigenface and ICA. The local dataset used in this article is pre- processed using statistical standard methods. Pre-processing software, which is provided by the Colorado State University (CSU) Face Identification Evaluation System Version 5.0 under Unix Shell scripts, was written using ANSII C code. Independent Component Analysis algorithm (ICA) is written using Matlab for face recognition implementation. This article explains how the faces, having some variations such as facial expressions and viewing conditions w.r. t the original faces reserved in the database, are detected with an improved accuracy and success rate. Finally, the result shows several graphs by Matlab.
Visualization of Protocols of the Parsing and Semantic Interpretation Steps in a Machine Translation System

In this paper, we describe a tool for the visualization of process protocols produced by the parsing and semantic interpretation modules in a complex machine translation system. These protocols tend to reach considerable sizes, and error tracking in them is tedious and timeconsuming. We show how the data in the protocols can be made more easily accessible by extracting a procedural trace, by splitting the protocols into a collection of cross-linked hypertext files, by indexing the files, and by using simple text formatting and sorting of structural elements. 1 I n t r o d u c t i o n The tool described in this paper was developed in connection with the Gazelle Machine Translation System (Knight et al., 1995), which is currently under development at the USC Information Sciences Institute. At the moment, Gazelle covers machine translation from Japanese and Arabic to English. Figure 1 sketches the flow of processing. The input text is first segmented and tagged with morphological information. It is then parsed and interpreted semantically. The result of semantic interpretation is finally fed into the text generation module. Almost all modules relevant to the discussion here employ bottom up chart parsing mechanisms. For any given input, they may return more than one interpretation, as the sample parse sequence for the string saw the ape with his binoculars in Figure 2 illustrates. The processes of parsing and semantic interpretation are recorded step by step in process protocols. A parse step in our system is equivalent to the creation of a new parse node. Each node receives a category label which determines I Text Submission I