Miracle-dz/UniFAR-FTUs huggingface dataset:
HAND IMAGE AS A METAPHOR AND ITS USAGE IN POSTER DESIGN

Metaphor is generally defined as describing a concept or an issue through another matter that is more familiar and known. The basis of metaphor is describing a fact or an object by linking to concepts of different domains of meaning, in other words conceptualizing the fact again. Metaphors help individuals in materializing and making sense of complex thought, concept and associations through mental processes. Metaphors are particularly useful in understanding and explaining a new fact and they shift the meaning of a known condition to an unknown condition. Defined as a way of thinking and seeing, metaphors are used frequently in all branches of art and design. Both in the literary domain and visual domain, metaphors are elements that strengthen the language of expression, increase and deepen emphasis rather than explaining a concept by another concept. Metaphors are also used in poster design to materialize abstract concepts and to convey the message in a more effective and comprehensible manner. Hand figure which involves plurality of references in religious, cultural and communicational context is used as metaphor in posters in many different meanings with varying content and objective. In this context, hand figure will be examined in this study over examples of its metaphoric meanings referring to many different concept and emotion like power, unity, invocation, accusation, designation, appreciation etc depending on the way of use.
MELODY DETECTION IN POLYPHONIC AUDIO : USING NOTE SALIENCE AND MELODIC SMOOTHNESS

This paper describes a method for melody detection in polyphonic musical signals. Our approach starts by obtaining a set of pitch candidates for each time frame, with recourse to an auditory model. Trajectories of the most salient pitches are then constructed. Next, note candidates are obtained by trajectory segmentation (in terms of frequency and pitch salience variations). Too short, low-salience and harmonically-related notes are then eliminated. Finally, the notes comprising the melody are extracted. Comparing to our previous work, we propose two extensions to the final melody extraction stage: exploiting both note salience and melodic smoothness for the definition of the final melody notes. We tested our method with excerpts from 21 songs encompassing several genres and obtained an average detection accuracy of 82%. Melody smoothing was responsible for an improvement of 11.8% in the overall accuracy.
Enhanced Circuit Densities in Epitaxially Defined FinFETs (EDFinFETs) over FinFETs

FinFET technology is prone to suffer from Line Edge Roughness (LER) based VT variation with scaling. To address this, we proposed an Epitaxially Defined (ED) FinFET (EDFinFET) as an alternate to FinFET architecture for 10 nm node and beyond. We showed by statistical simulations that EDFinFET reduces LER based VT variability by 90% and overall variability by 59%. However, EDFinFET consists of wider fins as the fin widths are not constrained by electrostatics and variability (cf. FinFETs have fin width ~ LG/3 where LG is gate-length). This indicates that EDFinFET based circuits may be less dense. In this study we show that wide fins enable taller fin heights. The ability to engineer multiple STI levels on tall fins enables different transistor widths (i.e. various W/Ls e.g. 1-10) in a single fin. This capability ensures that even though individual EDFinFET devices have ~2x larger footprints than FinFETs, EDFinFET may produce equal or higher circuit density for basic building blocks like inverters or NAND gates for W/Ls of 2 and higher.
System identification of a linear series elastic actuator using a recursive taguchi-based algorithm

This paper addressed a new system identification method which is simply applicable to identify both of the linear and nonlinear models. Having a rough and initial range of values for the parameters of the system, the Taguchi method is used to identify the model of the purposed system. The purposed method is implemented on a custom made linear series elastic actuator. Five parameters of the system are identified through 75 iterations and within three steps of system identification process. To use this model, first a rough estimation for the values of the parameters are estimated, using the Taguchi method and Signal to Noise Ratios (SNRs), the previous attempts are modified and a new range of the values for each parameter is offered. The changes of signal to noise ratio diagrams are used as the stop criteria for the process. Also, SNRs are used to determine the next level of values for the parameters. The presented method significantly reduced the system identification time process, and the model is identified using just 75 iterations. In addition, utilizing the capability of the Taguchi method, the purposed method robustly estimates the system model. In this paper, based on the physical laws, the structure of the model was known and only the parameter estimation was required; however, using the presented method, estimation of both of the structure and the model is possible. The method is simply applicable and the computational complexity is very low in comparison to the alternative methods.
Seeking security: Gay labour migration and uneven landscapes of work

Previous research has understood the migrations of gay men and other queer people through a lens of identity development, whereby relocation is driven by processes of coming out and consuming particular urban amenities. Meanwhile, labour geographers have largely overlooked sexuality, seeking to understand work-related migration in relation to gender, race, citizenship and the collective organization of workers. Drawing on the migration narratives of gay-identified men living in Ottawa, Canada, and Washington, DC, USA, we argue that the norms governing gender and sexuality within various workplaces, economic sectors and locales continuously influence migration related to work and inextricably linked processes of social reproduction. In particular, we explain how the affective needs of gay workers both deflect them from and attract them to particular locales and workplaces. In their migration destinations, gay workers tend to also transform the norms of social reproduction within workplaces and sectors. While gay workers may use migration to successfully negotiate the uneven landscapes of inclusion and visibility in North America, their agency is also constrained by the ongoing of regulation of sexuality in both workplaces and social and community environments.
Convergence of an asynchronous iterative algorithm

The generalized model of asynchronous iterations and its application for implementation of the algebraic iterative algorithm ART on a non-synchronous computer structure is presented. The sufficient conditions for convergence of this algorithm are considered. Introduction One of the most perspective areas of parallel computations is an elaboration of asynchronous realizations of iterative algorithms. The main characteristic of the organization of asynchronous computations is that the solution is obtained during a non-synchronous interaction of processor elements of a parallel structure. Each processor of this PCS updates the values of corresponding components of the solution using available information about other components of the solution, and it obtains this information from local processors or shared memory without waiting their full update. The researches showed that the asynchronous realizations of parallel algorithms are more efficient from the point of view of their speed of convergence in many important cases [1-3]. Note that the convergence of asynchronous algorithms and their synchronous prototypes may be different. Some models of asynchronous iterative methods for image reconstruction are considered in [4-8]. In section 1 it is given some generalization of these models (see also [9-11]). Consider a system of linear algebraic equations: p x A = ⋅ (1) where: • n m ij a , ) ( R A ∈ = is the matrix of coefficients • n T n x x x R x ∈ = ) , , , ( 2 1 K • m T m p p p R p ∈ = ) , , , ( 2 1 K which has a few characteristics: it is a rectangular, it has a very large dimension and A is a sparse matrix.
A 12-Bit, 10-MHz Bandwidth, Continuous-Time ΣΔ ADC With a 5-Bit, 950-MS/s VCO-Based Quantizer

The use of VCO-based quantization within continuous-time (CT) ΣΔ analog-to-digital converter (ADC) structures is explored, with a custom prototype in 0.13 μm CMOS showing measured performance of 86/72 dB SNR/SNDR with 10 MHz bandwidth while consuming 40 mW from a 1.2 V supply and occupying an active area of 640 μm × 660 μm. A key element of the ADC structure is a 5-bit VCO-based quantizer clocked at 950 MHz which achieves first-order noise shaping of its quantization noise. The quantizer structure allows the second-order CT SA ADC topology to achieve third-order noise shaping, and direct connection of the VCO-based quantizer to the internal DACs of the ADC provides intrinsic dynamic element matching of the DAC elements.
Comparison of frequency domain noise reduction strategies based on multichannel Wiener filtering and spatial prediction

In this paper two multichannel noise reduction strategies are compared in the context of binaural hearing aids. Recently a novel noise reduction method based on spatial-temporal prediction (STP) was introduced which showed an improvement over methods based on multichannel Wiener filtering, although at the cost of a higher computational complexity. Whereas this newmethod operates in the time domain, hearing aids typically demand faster frequency domain implementations. In this paper we therefore propose a frequency domain equivalent of the STP method. The performance of the new so-called spatial prediction (SP) method will be compared to a frequency domain implementation of the speech distortion weighted multichannel Wiener filter (SDW-MWF), theoretically as well as based on simulations with a binaural hearing aid configuration. It will be shown that the frequency domain SP method still achieves some improvement over the SDW-MWF, at the cost of higher computational complexity.
CeNet - Capability enabled networking: Towards least-privileged networking

In today’s IP networks, any host can send packets to any other host irrespective of whether the recipient is interested in communicating with the sender or not. The downside of this openness is that every host is vulnerable to an attack by any other host. We observe that this unrestricted network access (network ambient authority) from compromised systems is also a main reason for data exfiltration attacks within corporate networks. We address this issue using the network version of capability based access control. We bring the idea of capabilities and capability-based access control to the domain of networking. CeNet provides policy driven, fine-grained network level access control enforced in the core of the network (and not at the end-hosts) thereby removing network ambient authority. Thus CeNet is able to limit the scope of spread of an attack from a compromised host to other hosts in the network. We built a capability-enabled SDN network where communication privileges of an endpoint are limited according to its function in the network. Network capabilities can be passed between hosts, thereby allowing a delegation-oriented security policy to be realized. We believe that this base functionality can pave the way for the realization of sophisticated security policies within an enterprise network. Further we built a policy manager that is able to realize Role-Based Access Control (RBAC) policy based network access control using capability operations. We also look at some of the results of formal analysis of capability propagation models in the context of networks.
Informatics derived materials databases for multifunctional properties

Abstract In this review, we provide an overview of the development of quantitative structure–property relationships incorporating the impact of data uncertainty from small, limited knowledge data sets from which we rapidly develop new and larger databases. Unlike traditional database development, this informatics based approach is concurrent with the identification and discovery of the key metrics controlling structure–property relationships; and even more importantly we are now in a position to build materials databases based on design ‘intent’ and not just design parameters. This permits for example to establish materials databases that can be used for targeted multifunctional properties and not just one characteristic at a time as is presently done. This review provides a summary of the computational logic of building such virtual databases and gives some examples in the field of complex inorganic solids for scintillator applications.
On-Chip Double Emulsion Droplet Assembly Using Electrowetting-on-Dielectric and Dielectrophoresis

Abstract The double emulsion (DE) droplets used for fabrication of cryogenic foam targets for inertial confinement fusion experiments require precisely controlled volumes. On-chip electric field actuated microfluidic assembly of DE droplets can be used to achieve such precision. The electrowetting-on-dielectric and dielectrophoresis effects make it possible to manipulate both conductive and dielectric droplets simultaneously on a substrate. Aqueous and nonaqueous liquid droplets precisely dispensed from two reservoirs on a microfluidic chip are transported and combined to form oil-in-water-in-air or water-in-oil-in-air DE droplets. The dispensing reproducibility is studied as a function of a set of operation parameters. Conditions for spontaneous emulsification for DE formation are developed in terms of droplet surface energies.
Fish zona radiata (eggshell) protein: a sensitive biomarker for environmental estrogens.

Environmental estrogens have recently caused great concern because of their ability to mimic natural hormones and influence vital endocrine functions in humans and wildlife. The induction of vitellogenin (Vtg) synthesis by environmental estrogens in viviparous vertebrates has been proposed as an effective and sensitive biomarker of estrogenicity. Immunochemical analysis of plasma from Atlantic salmon (Salmo salar) exposed to 4-nonylphenol (NP) or to effluent from oil refinery treatment plant (ORTP), shows that NP and ORTP effluent induces Vtg and zona radiata proteins (Zrp) in a dose-dependent manner. However, Zrp-beta cross-reactive proteins are more responsive than Zrp-alpha, Zrp-gamma, and Vtg. The sensitivity of Zrp induction points to the zona radiata proteins as alternate biomarkers of estrogenicity. ImagesFigure 1. AFigure 1. BFigure 2.Figure 3. AFigure 3. BFigure 4. AFigure 4. BFigure 5.
Pmt1, a Dnmt2 homolog in Schizosaccharomyces pombe, mediates tRNA methylation in response to nutrient signaling

The fission yeast Schizosaccharomyces pombe carries a cytosine 5-methyltransferase homolog of the Dnmt2 family (termed pombe methyltransferase 1, Pmt1), but contains no detectable DNA methylation. Here, we found that Pmt1, like other Dnmt2 homologs, has in vitro methylation activity on cytosine 38 of tRNAAsp and, to a lesser extent, of tRNAGlu, despite the fact that it contains a non-consensus residue in catalytic motif IV as compared with its homologs. In vivo tRNA methylation also required Pmt1. Unexpectedly, however, its in vivo activity showed a strong dependence on the nutritional status of the cell because Pmt1-dependent tRNA methylation was induced in cells grown in the presence of peptone or with glutamate as a nitrogen source. Furthermore, this induction required the serine/threonine kinase Sck2, but not the kinases Sck1, Pka1 or Tor1 and was independent of glucose signaling. Taken together, this work reveals a novel connection between nutrient signaling and tRNA methylation that thus may link tRNA methylation to processes downstream of nutrient signaling like ribosome biogenesis and translation initiation.
Scalable formula decomposition for propositional satisfiability

Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or probabilistic reasoning. The depth-first search DPLL procedure is in practice the most efficient complete algorithm to date. Previous studies have shown the theoretical and experimental advantages of decomposing propositional formulas to guide the ordering of variable instantiation in DPLL. However, in practice, the computation of a tree decomposition may require a considerable amount of time and space on large formulas; existing decomposition tools are unable to handle most currently challenging SAT instances because of their size. In this paper, we introduce a simple, fast and scalable method to quickly produce tree decompositions of large SAT problems. We show experimentally the efficiency of orderings derived from these decompositions on the solving of challenging benchmarks.
Genome Sequence of the Vancomycin-Producing Amycolatopsis orientalis subsp. orientalis Strain KCTC 9412T

ABSTRACT Amycolatopsis orientalis is the producer of vancomycin, a glycopeptide antibiotic that is used for the treatment of serious infections with Gram-positive bacteria. Here we present the next-generation sequencing (NGS)-based 9.06-Mb draft genome sequence of the type strain Amycolatopsis orientalis subsp. orientalis KCTC 9412 (DSM 40040; ATCC 19795).
Leakage–Delay Tradeoff in FinFET Logic Circuits: A Comparative Analysis With Bulk Technology

In this paper, we study the advantages offered by multi-gate fin FETs (FinFETs) over traditional bulk MOSFETs when low standby power circuit techniques are implemented. More precisely, we simulated various vehicle circuits, ranging from ring oscillators to mirror full adders, to investigate the effectiveness of back biasing and transistor-stacking in both FinFETs and bulk MOSFETs. The opportunity to separate the gates of FinFETs and to operate them independently has been systematically analyzed; mixed connected- and independent-gate circuits have also been evaluated. The study spans over the device, the layout, and the circuit level of abstraction and appropriate figures of merit are introduced to quantify the potential advantage of different schemes. Our results show that, thanks to a larger threshold voltage sensitivity to back biasing, the FinFET technology is able to offer a more favorable compromise between standby power consumption and dynamic performance and is well suited for implementing fast and energy-efficient adaptive back-biasing strategies.
Secure, Dynamic and Distributed Access Control Stack for Database Applications

In database applications, access control security layers are mostly developed from tools provided by vendors of database management systems and deployed in the same servers containing the data to be protected. This solution conveys several drawbacks. Among them we emphasize: (1) if policies are complex, their enforcement can lead to performance decay of database servers; (2) when modifications in the established policies implies modifications in the business logic (usually deployed at the client-side), there is no other possibility than modify the business logic in advance and, finally, 3) malicious users can issue CRUD expressions systematically against the DBMS expecting to identify any security gap. In order to overcome these drawbacks, in this paper we propose an access control stack characterized by: most of the mechanisms are deployed at the client-side; whenever security policies evolve, the security mechanisms are automatically updated at runtime and, finally, client-side applications do not handle CRUD expressions directly. We also present an implementation of the proposed stack to prove its feasibility. This paper presents a new approach to enforce access control in database applications, this way expecting to contribute positively to the state of the art in the field.
Graph-Based Fracture Models for Rigid Body Explosions

Explosions are one of the most powerful and devastating natural phenomena. The pressure front from the blast wave of an explosion can cause fracture of objects in its vicinity and create flying debris. In this thesis, I outline a previously proposed explosion model. An explosion is treated as a fluid with its behaviour governed by the Navier-Stokes equations and the gaseous products modeled using particles. Explosions are simulated as a means for initiating fracture of rigid bodies in the vicinity of an explosion. In contrast to fracture models that are based on physics, I propose a new approach to simulating fracture which treats fracturing the rigid body as a preprocessing step. A rigid body can be pre-fractured by treating it as graph and using one of the two proposed graph partitioning algorithms to divide the object into the desired number of pieces. By treating fracture as a pre-processing step, much less computation need be done during the simulation than models based on physics. It is shown that the recursive breadth-first search graph partitioning algorithm produces physically realistic results for shattering windows that are consistent with observations of real broken windows. The curvature-driven spectral partitioning algorithm fractures objects into two pieces where the object is weakest, where weakest is defined by the area with largest curvature. Numerical simulations of explosions and fracture were conducted to produce data that was used by a ray tracer and volume renderer to create images which were assembled into animations.
The Provision of Public Goods in an Economy with Ethnic Divisions ∗

Many observers have argued that ethnic divisions make public goods more difficult to provide. This paper examines the provision of public goods in an economy with ethnic divisions. Households feel altruistically toward other households in their ethnic group. The amount of public goods in private contribution equilibrium is generally in decreasing in the amount of ethnic diversity. Public goods provision is inefficient using the private contribution mechanism. In certain circumstances, majority voting provides an efficient level of public goods. Ironically, majority voting acts as a planner who favors the minority. ∗I thank V.V. Chari and Larry Jones for helpful suggestions. Address: Department of Economics, Louisiana State University, 2131 CEBA, Baton Rouge, LA, 70803. email: bridgman@lsu.edu. Tel. (225) 578-3791.
Modeling Football Results in the German Bundesliga Using Match-specific Covariates

In modern football, various variables as, for example, the distances the teams run or the percentages of ball possession, are collected throughout a match. However, there is a lack of methods to make use of these variables simultaneously and to connect them with the final result of the match. This paper considers data from the German Bundesliga season 2015/16. The objective is to identify the variables that are connected to the sportive success or failure of the single teams. A paired comparison model for football matches is proposed that is able to take into account match-specific covariates. The model extends the Bradley-Terry model in many different ways. In addition to the inclusion of covariates, it uses ordered response values and includes (possibly team-specific) home effects. Penalty terms are used to reduce the complexity of the model and to find clusters of teams with equal covariate effects.