Miracle-dz/UniFAR-FTUs huggingface dataset:
Untyping Typed Algebras and Colouring Cyclic Linear Logic

We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the underlying untyped equations. As a consequence, the corresponding untyped decision procedures can be extended for free to the typed settings. Some of these theorems are obtained via a detour through fragments of cyclic linear logic, and give rise to a substantial optimisation of standard proof search algorithms.
Identification of mature grape bunches using image processing and computational intelligence methods

Due to frost and insufficient exposure to sunlight, some grape bunches remain undeveloped during harvesting. For automation of harvesting, it is required to automatically identify the mature grape bunches. This paper presents a sequence of image processing and computational intelligence methods to identify mature grape bunches. It's a two-step process where in the first step the grape bunches are separated from the background of an image and in the second step the grape bunch is classified into mature and undeveloped group. We achieved 96.88% accuracy on the images obtained from a strip of vineyard in Cambridge, Tasmania.
Vegetative production and performance of Calluna vulgaris in New Zealand, with particular reference to Gongariro National Park

Aspects of the production and vegetative performance of Calluna vulgaris (heather) were examined in four areas of New Zealand between 1981 and 1983; Tongariro National Park in the North Island, together with Mount Cook National Park, the Wilderness Scientific Reserve, and Ben Callum peat bog in the South Island. The height and height/width quotient of Calluna bushes, the diameter increment of woody stems and the amount of flowers/stem all decreased with altitude. Other age-adjusted components of stem biomass were positively related to soil depth, soil moisture, soil organic content and soil pH. Biomass by direct harvest gave values between 300 g m-2 and 2200 g m-2 for plant communities with Calluna. These are similar values to recorded from British and European heaths, although the contribution of Calluna to the total biomass was often less in New Zealand. Calluna from New Zealand has a higher proportion of wood relative to total biomass than is normally found in Britain and Europe and this is probably related to the management of British and European heaths by burning. Multiple regressions indicated that increased woodiness is associated with lower altitudes and deeper, moister soils. Woodiness tended to decrease on more organic and more acidic soils, with a corresponding increase in the proportion of green shoots. Flowering declined with increased altitude, while the proportion of green shoots relative to total biomass increased. It is suggested that the upward extension of Calluna within Tongariro National Park is limited mainly by constraints on flowering and sexual reproduction. __________________________________________________________________________________________________________________________________
The Stolen Voice Illusion

Visual cues facilitate speech perception during face-to-face communication, particularly in noisy environments. These visual-driven enhancements arise from both automatic lip-reading behaviors and attentional tuning to auditory-visual signals. However, in crowded settings, such as a cocktail party, how do we accurately bind the correct voice to the correct face, enabling the benefit of visual cues on speech perception processes? Previous research has emphasized that spatial and temporal alignment of the auditory-visual signals determines which voice is integrated with which speaking face. Here, we present a novel illusion demonstrating that when multiple faces and voices are presented in the presence of ambiguous temporal and spatial information as to which pairs of auditory-visual signals should be integrated, our perceptual system relies on identity information extracted from each signal to determine pairings. Data from three experiments demonstrate that expectations about an individual’s voice (based on their identity) can change where individuals perceive that voice to arise from.
JavaScript tools for online information retrieval

Purpose – Efficiency of server side search engines is very low in cases of slow internet connections. Therefore, this study aims to examine use of client side search tools.Design/methodology/approach – A previously introduced client side JavaScript search model was used. New data were obtained for response times against an array of different sized index files. A simple linear regression model was used to obtain the limitation of file size for the search tool. Response times for repeated searches were obtained for the client side search model and selected server side search tools.Findings – It was found that the search model could be used only for a small‐sized data set. Still, it was useful against server side search methods for repeated searches during a single session.Research limitations/implications – Response time differs according to the network traffic, connection speed, and so on. Therefore, use of the search model is context‐specific.Originality/value – The model is easy to use and maintain. Ther.
Agent and stewardship behavior: How do they differ?

Abstract The purpose of this study is examine how agency theory and stewardship theory lead to different firm-level outcomes on an array of different outcomes. Based on these differences, we argue for the development of an agent–steward measurement scale, which will help researchers classify chief executive officers (CEOs) along an agent–steward continuum. This, in turn, will spur research to predict and test CEO behaviors and firm-level outcomes. Agency theory suggests CEOs take advantage of their powerful positions to maximize their personal economic utility, whereas stewardship theory suggests CEOs are motivated through intrinsic awards and will balance their interests with those of other stakeholders. We use these theories to examine possible differences in CEO behaviors. This is important because different CEO behaviors might lead to differing impacts on important firm-level outcomes. This paper reviews the relevant agency and stewardship literatures, then offers propositions regarding CEO behaviors from agent and steward perspectives.
Mental Disease Feature Extraction with MRI by 3D Convolutional Neural Network with Multi-channel Input

Magnetic resonance imaging (MRI) plays an important role in early diagnosis, which can accurately capture the disease variations of the anatomical brain structure. We propose a novel method for improving feature extraction performance from magnetic resonance images (MRI). This study presents a combination of multi-channel input and 3D convolutional neural network architecture which can reduce the feature dimensionality. Multi-channel input scheme is devised to apply prior knowledge on MRI original inputs in order to overcame possibly uncertainty and unsteadiness on the final features. While, the 3D-CNN model can simultaneously extract features from spatial and temporal dimensions for purpose of capturing the variations of constructive information.
Angular Momentum Transport in Accretion Disks: Scaling Laws in MRI-driven Turbulence

We present a scaling law that predicts the values of the stresses obtained in numerical simulations of saturated MRI-driven turbulence in nonstratified shearing boxes. It relates the turbulent stresses to the strength of the vertical magnetic field, the sound speed, the vertical size of the box, and the numerical resolution and predicts accurately the results of 35 numerical simulations performed for a wide variety of physical conditions. We use our result to show that the saturated stresses in simulations with zero net magnetic flux depend linearly on the numerical resolution and would become negligible if the resolution were set equal to the natural dissipation scale in astrophysical disks. We conclude that in order for MRI-driven turbulent angular momentum transport to be able to account for the large value of the effective alpha viscosity inferred observationally, the disk must be threaded by a significant vertical magnetic field and the turbulent magnetic energy must be in near equipartition with the thermal energy. This result has important implications for the spectra of accretion disks and their stability.
Trust and compliance

When regulatory inspectors trust industry, is this trust abused in a way that reduces regulatory compliance? Or does trust foster the internalization of regulatory objectives by regulated managers? Does trust build goodwill that translates into improved voluntary compliance? Data on compliance by Australian nursing homes with quality of care standards supports the latter interpretation. Nursing homes experience improved compliance after regulatory encounters in which facility managers believe that they have been treated as trustworthy. This finding commends a dynamic regulatory strategy of dialogue and trust as a first choice followed by escalation to more punitive regulation when trust is abused. Responsive versus static regulatory strategies and communitarian versus hierarchical fiduciary conceptions of guardianship are advanced as implications for resolving the dilemmas of trust and compliance.
Cautious transaction schedulers with admission control

We propose a new class of schedulers, called cautious schedulers, that grant an input request if it will not necessitate any rollback in the future. In particular, we investigate cautious WRW-schedulers that output schedules in class WRW only. Class WRW consists of all schedules that are serializable, while preserving the write-read and read-write conflict, and is the largest polynomially recognizable subclass of serializable schedules currently known. It is shown, in this paper however, that cautious WRW-scheduling is, in general, NP-complete. Therefore, we introduce a special type (type 1R) of transaction, which consists of no more than one read step (an indivisible set of read operations) followed by multiple write steps. It is shown that cautious WRW-scheduling can be performed efficiently if all transactions are of type 1R and if admission control can be exercised. Admission control rejects a transaction unless its first request is immediately grantable.
Quenching of photon and pion spectra at intermediate RHIC energy

Single prompt photon and pion spectra in p-p and Au-Au collisions at intermediate RHIC energy, s^1/2 = 62.4 GeV, are computed at large transverse momentum in perturbative QCD. Next-to-leading order calculations in p-p scattering are first presented. The quenching of the prompt photon and pion yield due to energy loss processes in central Au-Au with respect to p-p collisions is then predicted. At this energy, the small phase-space available to produce hard partons makes the pion quenching almost as pronounced as at s^1/2 = 200 GeV, despite the smaller gluon density of the produced medium. In the photon sector, energy loss effects prove small because of this very phase-space restriction, which favours the direct production channel. A significant suppression of high-pt photons is however predicted, because of a strong isospin effect together with the depletion of nuclear parton densities at large x.
Room Acoustics Computer Modeling: Study of the Effect of Source Directivity on Auralizations

Auralizations are very useful in the design of performing arts spaces, where auralization is the process of rendering audible the sound field in a space, in such a way as to simulate the binaural listening experience at a given position in the modeled space. One of the fundamental modeling inputs to create auralizations is the source directivity. Standard methods involve inputting the measured source directivity, calculating the impulse response and convolving it with a single channel anechoic recording. An initial study was conducted using this method and the results showed significant differences in reverberation time and clarity index when using a directional versus omni-directional source. Further research was conducted focusing on an alternative method of modeling source directivity that involves multi-channel anechoic recordings to create auralizations. Subjective tests were conducted comparing auralizations made with one, four and thirteen channels, with three different instrument types and subjects rated differences in realism. An analysis of variance (ANOVA) was carried out to determine the effect of the number of channels and instrument on realism. The primary result from this study was that subjects rated the auralizations made with an increasing number of channels as sounding more realistic, indicating that when more accurate source directivity information is used a more realistic auralization is possible.
Path Planning of Mobile Elastic Robotic Arms by Indirect Approach of Optimal Control

Finding optimal trajectory is critical in several applications of robot manipulators. This paper is applied the open-loop optimal control approach for generating the optimal trajectory of the flexible mobile manipulators in point-to-point motion. This method is based on the Pontryagin's minimum principle that by providing a two-point boundary value problem is solved the problem. This problem is known to be complex in particular when combined motion of the base and manipulator, nonholonomic constraint of the base and highly non-linear and complicated dynamic equations as a result of flexible nature of links are taken into account. The study emphasizes on modeling of the complete optimal control problem by remaining all nonlinear state and costate variables as well as control constraints. In this method, designer can compromise between different objectives by considering the proper penalty matrices and it yields to choose the proper trajectory among the various paths. The effectiveness and capability of the proposed approach are demonstrated through simulation studies. Finally, to verify the proposed method, the simulation results obtained from the model are compared with the results of those available in the literature.
Deep Dependency Graph Conversion in English

This paper presents a method for the automatic conversion of constituency trees into deep dependency graphs consisting of primary, secondary, and semantic relations. Our work is distinguished from previous work concerning the generation of shallow dependency trees such that it generates dependency graphs incorporating deep structures in which relations stay consistent regardless of their surface positions, and derives relations between out-of-domain arguments, caused by syntactic variations such as open clause, relative clause, or coordination, and their predicates so the complete argument structures are represented for both verbal and non-verbal predicates. Our deep dependency graph conversion recovers important argument relations that would be missed by dependency tree conversion, and merges syntactic and semantic relations into one unified representation, which can reduce the bundle of developing another layer of annotation dedicated for predicate argument structures. Our graph conversion method is applied to six corpora in English and generated over 4.6M dependency graphs covering 20 different genres.1
Mikrozateznaveznačvrstoćasmolezapečaćenjei predtretiranjerazličitimantibakterijskimsredstvima Micro-Tensile Bond Strength of Fissure Sealants Treated with Different Antibacterial Agents

Adresa za dopisivanje Asist. prof. dr. Ozgur Onder Kuscu Yeditepe University School of Dentistry Department of Pediatric Dentistry Bagdat cad 238 Goztepe 34728 Istanbul, Turkey tel: + 90 216 3636044/6432; faks: +90 216 3636211 ookuscu@yahoo.com Sažetak Svrha Ovim istraživanjem in vitro željela se na pojednostavljenom modelu caklinske fisure procijeniti mikrozatezna snaga smole za pecacenje tretirana antibakterijskim samojetkajucim adhezivnim sustavom, antibakterijskim predtretmanom prije nanosenja samojetkajuceg adhezivnog sustava i samojetkajucim sustavom. Materijali i metode: Tek izvađeni kravlji mandibularni sjekutici nasumce su podijeljeni u cetiri skupine: A. 35-postotna fosforna kiselina + Clinpro sealant; B. 35-postotna fosforna kiselina + Clearfil protect bond + Clinpro sealant; C. 35-postotna fosforna kiselina + Consepsis Scrub + Clearfil SE bond + Clinpro sealant; D. 35-postotna fosforna kiselina + Clearfil SE bond + Clinpro sealant. Dva komadica cakline ucvrscena su voskom na sterilna stakalca s razmakom od 0,6 ± 0,1 milimetar. Zatim su okomito razrezani stapici (≈1mm x 1mm) podvrgnuti testu cvrstoce u univerzalnom stroju s konstantnom poprecnom brzinom glave (1mm/ min). Nakon toga je popucalim povrsinama određena vrsta frakture. Za statisticku analizu koristena je jednosmjerna analiza varijance te Tukeyev i hi-kvadrat test. Rezultati: Mikrozatezna snaga veze u skupini C (34,63 ± 15,59 MPa) bila je mnogo veca nego u skupini A (19,86 ± 7,08 MPa) (p: 0,0001), B (24,49 ± 9,38 MPa) (p: 0,002) i D (19,84 ± 9,92 MPa) (p: 0,0001). Frakturne pukotine uglavnom su se nalazile u adhezivnom sloju, a među skupinama nije bilo statisticki znacajne razlike u obliku fraktura (p: 0,343). Zakljucak: Mikrozatezna snaga veze samojetkajuceg adhezivnog sustava bila je na povrsinama tretiranima klorheksidinskim kavitetnim dezinficijensom znacajno veca nego ona kod primijenjenog antibakterijskog samojetkajuceg sustava zasebno, samojetkajuceg adhezivnog sustava ili konvencionalnog jetkajuceg sustava kiselinom. Kljucne rijeci vlacna cvrstoca; materijali za pecacenje jamica i fisura; zubna caklina; antibakterijska sredstva; adhezivi 1 Katedra za pedijatrijsku stomatologiju Sveucilista Yeditepe, Istanbul, Turska Department of Paediatric Dentistry, Dental School, Yeditepe University, Istanbul, Turkey 2 Privatna praksa Private practice in Istanbul, Turkey
STUDY OF MULTI BAND HYSTERESIS MODULATION STRATEGYFOR MULTILEVEL INVERTERS

This paper deals with the multiband hysteresis control technique which tracks the desired reference current and provide desired voltage and current waveform with less distortion. Cascaded H bridge multilevel inverter and Neutral point clamped multilevel inverter is used because of its high power and medium power applications. Multiband tracks the desired reference current and is used for evaluating the performance of multilevel inverters. This control technique is based on time domain formulation. The efficiency of the controller in reducing total harmonic distortions and switching losses based on the instantaneous switching frequency, system parameters and number of levels is studied. The simulation results are obtained for five level cascaded H bridge inverters and Neutral point clamped multilevel inverter.
CAR protocol preliminary simulation results

We are evaluating the Context-Aware Routing (CAR) protocol by using the OmNet++ discrete event simulator [6]. In order to obtain credible results and to test the peculiar characteristics of our protocol, it was also necessary for us to develop a new group mobility model, that will be presented in Section 2. 1 Description of the simulation
Bayes Nets for combining logical and probabilistic structure

We outline a new approach to using Bayes nets for a probabilistic extension of a logical structure or schema. Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the database is essentially that of a logical language, with variables ranging over individual entities and predicates for relationships and attributes. Our work combines the graphical structure of Bayes nets with the logical structure of relational databases to achieve knowledge discovery for relational structures. Another reason why relational structures are important is that they can represent other types of structures. We introduce a new type of Bayes nets for representing and learning class-level dependencies between attributes from the same table and from different tables. Because relational databases contain multiple tables, we cannot apply Bayes net learning algorithms as is. We outline novel learning algorithms that achieve efficiency by treating the database tables as a factored representation of the statistical information in the data.
LS Codes Assisted Multipath Channel Interference Canceller for MIMO-OFDM Systems

MIMO-OFDM system is a promising way to achieve high data-rate wireless transmission. In this paper, loosely synchronous (LS) codes assisted multipath channel interference canceller (MCIC) is proposed for the channel estimation of MIMO-OFDM systems. Since LS codes have perfect autocorrelation and cross-correlation functions within certain vicinity of the zero shifts, LS codes assisted MCIC can substantially reduce multipath channel interference. Simulation results show that the MCIC estimator outperforms least square estimator and has slightly inferior performance as compared with linear minimum mean square error (LMMSE) estimator. Moreover the MCIC estimator has the advantage of not requiring any information about the channel statistics like auto-correlation of channels.
Identification and Characterization of DM1 Patients by a New Diagnostic Certified Assay: Neuromuscular and Cardiac Assessments

The expansion of the specific trinucleotide sequence, [CTG], is the molecular pathological mechanism responsible for the clinical manifestations of DM1. Many studies have described different molecular genetic techniques to detect DM1, but as yet there is no data on the analytical performances of techniques used so far in this disease. We therefore developed and validated a molecular method, “Myotonic Dystrophy SB kit,” to better characterize our DM1 population. 113 patients were examined: 20 DM1-positive, 11 DM1/DM2-negative, and13 DM1-negative/DM2-positive, who had a previous molecular diagnosis, while 69 were new cases. This assay correctly identified 113/113 patients, and all were confirmed by different homemade assays. Comparative analysis revealed that the sensitivity and the specificity of the new kit were very high (>99%). Same results were obtained using several extraction procedures and different concentrations of DNA. The distribution of pathologic alleles showed a prevalence of the “classical” form, while of the 96 nonexpanded alleles 19 different allelic types were observed. Cardiac and neuromuscular parameters were used to clinically characterize our patients and support the new genetic analysis. Our findings suggest that this assay appears to be a very robust and reliable molecular test, showing high reproducibility and giving an unambiguous interpretation of results.
Guaranteed cost fuzzy tracking control for nonlinear systems via output feedback approach

This paper presents a fuzzy tracking control design method for nonlinear systems. Takagi-Sugeno fuzzy model is utilized to represent a nonlinear dynamic systems subject to external disturbance and measurement noise. Based on the fuzzy model, a fuzzy observer-based fuzzy controller is developed with guaranteed cost performance. The model reference tracking control scheme based on the augmented system is proposed and sufficient condition is derived for minimizing the cost function. The output feedback tracking control design is formulated in terms of linear matrix inequalities, which can be solved using the convex optimization techniques. The effectiveness of the proposed method is demonstrated through simulation example.