Miracle-dz/UniFAR-FTUs huggingface dataset:
The Quality of Police Arrest Statistics

A multiple output flyback DC-to-DC converter with synchronous rectification and constant on-time current-mode control. A controller includes a constant on-time, minimum off-time oscillator that is coupled to control a gate of a first transistor which controls a current through a primary winding of a transformer having three secondary coupled inductors. Each of the three secondaries is coupled to a capacitor which is charged by each secondary current to an output voltage level which depends, in part, upon a ratio of windings. A transistor is coupled between each secondary winding and a resistive network. The gates of these transistors are coupled to be controlled by the controller for synchronous rectification. The resistive network monitors the secondary currents by generating a voltage signal that is representative of a weighted sum of the inductor currents. A difference between an output voltage level and a reference voltage level is added to the voltage signal generated by the resistive network for controlling the oscillator. When the voltage signal generated by the resistive network reaches a first predetermined level, the off-time of the oscillator is terminated and a new on-time is started, causing additional current to flow through the primary winding. When the output voltage level decreases, the first predetermined level is decreased. If the output voltage exceeds a second predetermined level, the controller enters a discontinuous mode whereby the oscillator halts until the output voltage drops below the second predetermined level.
On initial data in the problem of consistency on cubic lattices for 3 x 3 determinants

The paper is devoted to complete proofs of theorems on consistency on cubic lattices for 3 3 determinants. The discrete nonlinear equations on Z 2 defined by the condition that the determinants of all 3 3 matrices of values of the scalar field at the points of the lattice Z 2 that form elementary 3 3 squares vanish are considered; some explicit concrete conditions of general position on initial data are formulated; and for arbitrary initial data satisfying these concrete conditions of general position, theorems on consistency on cubic lattices (a consistency \around a cube") for the considered discrete nonlinear equations on Z 2 defined by 3 3 determinants are proved.
Prediction of Biological Motion Perception Performance from Intrinsic Brain Network Regional Efficiency

Biological motion perception (BMP) refers to the ability to perceive the moving form of a human figure from a limited amount of stimuli, such as from a few point lights located on the joints of a moving body. BMP is commonplace and important, but there is great inter-individual variability in this ability. This study used multiple regression model analysis to explore the association between BMP performance and intrinsic brain activity, in order to investigate the neural substrates underlying inter-individual variability of BMP performance. The resting-state functional magnetic resonance imaging (rs-fMRI) and BMP performance data were collected from 24 healthy participants, for whom intrinsic brain networks were constructed, and a graph-based network efficiency metric was measured. Then, a multiple linear regression model was used to explore the association between network regional efficiency and BMP performance. We found that the local and global network efficiency of many regions was significantly correlated with BMP performance. Further analysis showed that the local efficiency rather than global efficiency could be used to explain most of the BMP inter-individual variability, and the regions involved were predominately located in the Default Mode Network (DMN). Additionally, discrimination analysis showed that the local efficiency of certain regions such as the thalamus could be used to classify BMP performance across participants. Notably, the association pattern between network nodal efficiency and BMP was different from the association pattern of static directional/gender information perception. Overall, these findings show that intrinsic brain network efficiency may be considered a neural factor that explains BMP inter-individual variability.
A practical framework for ethics: the PD-net approach to supporting ethics compliance in public display studies

Research involving public displays often faces the need to study the effects of a deployment in the wild. While many organizations have institutionalized processes for ensuring ethical compliance of such human subject experiments, these may fail to stimulate sufficient awareness for ethical issues among all project members. Some organizations even require such assessments only for medical research, leaving computer scientists without any incentive to consider and reflect on their study design and data collection practices. Faced with similar problems in the context of the EU-funded PD-Net project, we have implemented a step-by-step ethics process that aims at providing structured yet lightweight guidance to all project members both stimulating the design of ethical user studies, as well as providing continuous documentation. This paper describes our process and reports on 3 years of experience using it. All materials are publicly available and we hope that other projects in the area of public displays, and beyond, will adopt them to suit their particular needs.
Public Goods, Merit Goods, and the Relation between Private and Government Consumption

In this Paper, we investigate the relation between public and private consumption, by constructing a general government spending dataset, by function, for twelve European Union countries. In particular, we split government consumption into two categories. The first category includes defence, public order, and justice ('public goods'). The second category includes health, education, and other services that could have been provided privately ('merit goods'). Equations from a relatively general theoretical model of household behaviour are estimated by GMM. The estimates are fairly robust in showing that public goods substitute, while merit goods complement, private consumption, and that the relation between merit goods and private goods is stronger than that between public goods and private goods. So that, in the aggregate, government and private consumption are complements. It also suggests that the potential calibration/estimation bias by ignoring the composition of government consumption might be substantial.
Rethinking theory of mind in high-functioning autism spectrum disorder.

BACKGROUND The sociocommunicative problems in autism spectrum disorder (ASD) are traditionally linked to impairments in theory of mind (ToM), the ability to ascribe mental states to others. Although ToM impairments are consistently reported in young children with ASD, findings on more advanced ToM understanding in older individuals with high-functioning ASD (HFASD) are less straightforward. Therefore, we assessed the advanced ToM abilities of a large sample of school-aged children and adolescents with HFASD (n = 194; 6-20 years) and compared them to a typically developing (TD) comparison group (n = 60). METHODS Participants' advanced ToM was assessed with five social stories containing second-order false beliefs, display rules, double bluff, faux pas, and sarcasm. RESULTS Participants with HFASD performed equally well on each of the ToM stories as their TD peers. Consistent age effects were noticed with adolescents outperforming the children. Furthermore, advanced ToM was positively associated with participants' age, verbal abilities, and general reasoning abilities. CONCLUSIONS Counter to what the ToM theory of ASD would predict, school-aged children and adolescents with HFASD seem to be able to master the theoretical principles of advanced mental state reasoning. However, they may still fail to apply these theoretical principles during everyday social interactions.
Predictive Equations Using Regression Analysis of Pulmonary Function for Healthy Children in Northeast China

Background There have been few published studies on spirometric reference values for healthy children in China. We hypothesize that there would have been changes in lung function that would not have been precisely predicted by the existing spirometric reference equations. The objective of the study was to develop more accurate predictive equations for spirometric reference values for children aged 9 to 15 years in Northeast China. Methodology/Principal Findings Spirometric measurements were obtained from 3,922 children, including 1,974 boys and 1,948 girls, who were randomly selected from five cities of Liaoning province, Northeast China, using the ATS (American Thoracic Society) and ERS (European Respiratory Society) standards. The data was then randomly split into a training subset containing 2078 cases and a validation subset containing 1844 cases. Predictive equations used multiple linear regression techniques with three predictor variables: height, age and weight. Model goodness of fit was examined using the coefficient of determination or the R2 and adjusted R2. The predicted values were compared with those obtained from the existing spirometric reference equations. The results showed the prediction equations using linear regression analysis performed well for most spirometric parameters. Paired t-tests were used to compare the predicted values obtained from the developed and existing spirometric reference equations based on the validation subset. The t-test for males was not statistically significant (p>0.01). The predictive accuracy of the developed equations was higher than the existing equations and the predictive ability of the model was also validated. Conclusion/Significance We developed prediction equations using linear regression analysis of spirometric parameters for children aged 9–15 years in Northeast China. These equations represent the first attempt at predicting lung function for Chinese children following the ATS/ERS Task Force 2005 guidelines on spirometry standardization.
IR-UWB tag and reader for RTLS

It is proposed IR-UWB(impulse radio ultra wideband) tag and reader for RTLS(Real-Time Location System). Tag works as a transmitter and reader works as a receiver, the tag transmits impulse signal to readers periodically. Each reader checks time of arrival of impulse signal and send time information to location server for calculating position of tag. The tag and reader are tested for this system.
Influence of knowledge management system on organization effectiveness in Macedonian organization

In recent years many organizations have to pay attention to knowledge as organizational intangible capital. The knowledge is considered as a very important resource. So, many organizations pay attention on knowledge management and that enforce the organizations to become more effective and efficient in using their resources. This leads to competitive advantage. In the recent year organizations use the different type of information technology for effective and efficient process of knowledge management. This paper provides the research results of knowledge management processes in organizations in Republic of Macedonia. Also it is going to give a review of different information technology which is used in particular stage of knowledge management processes in organizations in Republic of Macedonia and their influence on organizational effectiveness.
on a singular Landau-Ginzburg family

We study some properties of a singular Landau-Ginzburg family characterized by the multi-variable superpotential W = −X(Y1Y2) n−1 + 1 n (Y1Y2) n − Y3Y4. We will argue that (the infra-red limit of) this theory describes the topological degrees of freedom of the c = 1 string compactified at n times the self-dual radius. We also briefly comment on the possible realization of these line singularities as singularities of Calabi-Yau manifolds.
Early adolescent cannabis exposure and positive and negative dimensions of psychosis.

AIMS To investigate the effect of exposure to cannabis early in adolescence on subclinical positive and negative symptoms of psychosis. DESIGN Cross-sectional survey in the context of an ongoing cohort study. SETTING Government-supported general population cohort study. PARTICIPANTS A total of 3500 representative 19-year olds in Greece. MEASUREMENTS Subjects filled in the 40-item Community Assessment of Psychic Experiences, measuring subclinical positive (paranoia, hallucinations, grandiosity, first-rank symptoms) and negative psychosis dimensions and depression. Drug use was also reported on. FINDINGS Use of cannabis was associated positively with both positive and negative dimensions of psychosis, independent of each other, and of depression. An association between cannabis and depression disappeared after adjustment for the negative psychosis dimensions. First use of cannabis below age 16 years was associated with a much stronger effect than first use after age 15 years, independent of life-time frequency of use. The association between cannabis and psychosis was not influenced by the distress associated with the experiences, indicating that self-medication may be an unlikely explanation for the entire association between cannabis and psychosis. CONCLUSIONS These results add credence to the hypothesis that cannabis contributes to the population level of expression of psychosis. In particular, exposure early in adolescence may increase the risk for the subclinical positive and negative dimensions of psychosis, but not for depression.
Determining image orientation using the Hough and Fourier transforms

Many machine vision tasks require that there be an adequate estimate of the vertical direction. Many environments have a relative richness of vertical features, so extracting the favoured direction allows the vertical direction to be estimated. In this paper two different techniques are used to extract the orientation of image features, one based on Fourier transforms, the other on Hough transforms. The two techniques in combination are shown to provide promising estimates of the vertical in a variety of indoor environments.
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences

Satisfiability problems with preferences enrich the expressive power of the Boolean Satisfiability problem (SAT) and facilitate the representation of qualitative/quantitative preferences on literals/formulas, defining an optimization problem. In some cases, it is not strictly necessary to compute an optimal solution, but it is enough to compute a sub-optimal solution of high quality and, possibly, provide a lower bound on the probability of finding an optimal solution. The 1/e - rule is the optimal stopping rule for the secretary problem that guarantees an optimal solution with probability at least 1/e can be found. In this paper: we show how to apply the 1/e-rule for solving satisfiability problems with preferences; we show that its theoretical success rate of about 37% is greater than 90% on random benchmarks; and, we show that the performance of the 1/e-rule on structured benchmarks is sometimes many orders-of-magnitude worse than that of complete search-based algorithms, and we explain the reasons why. We propose an algorithm based on the idea underlying the 1/e-rule, which needs the generation of just two solutions: the experimental evaluation shows that the average success rate of the proposed algorithm is a good approximation of the theoretical one of the 1/e-rule, since it is about 50.92% on 1956 structured problems and 48.33% on 2400 randomly generated instances with 200 variables.
Compositionality and CPS from a Platform Perspective

Cyber Physical Systems (CPS) comprise the integration of embedded computer systems and the physical processes that these computer systems interact with. Examples of such systems stretch from small embedded devices, e.g., intelligent sensor systems, to larger and often complex industrial systems, e.g., industrial automation systems. These systems are not only subject to functional requirements, but also non-functional requirements such as timing, resource usage, and reliability. CPS development (including software development) is substantially facilitated if the system parts can be developed and verified in isolation, and if the correctness of the system can be inferred from the correctness of its parts. Such modular and compositional design of software systems has for a long time been considered the holy-grail of system design, and is unfortunately only possible in selected scenarios. This paper covers one such scenario: using hierarchical runtime mechanisms in the platform to enable predictable resource usage and temporal isolation of CPS software. Our overall goal is to develop cost efficient mechanisms that are applicable for a wide range of systems.
Autonomous Energy Management Strategy for Solid-State Transformer to Integrate PV-Assisted EV Charging Station Participating in Ancillary Service

Photovoltaic-assisted charging station (PVCS) is expected to be one of the important charging facilities for serving electric vehicles (EVs). In this paper, a type of solid-state transformer (SST) is introduced to the PVCS design and an autonomous energy management strategy (EMS) for SST is proposed. This study aims to develop an effective real-time EMS for PVCS participating in ancillary service of smart grid, and the rule-based decision-making method is utilized. Considering the dynamic classification of EVs, an energy-bound calculation (EBC) model is proposed to find the upper and lower bounds of flexible resources. Moreover, considering the EBC results and power command from the aggregator, a charging power allocation algorithm is designed for power distribution of flexible EVs. By case study and experiment analysis, the proposed EMS is effective in real-time energy management and suitable for practical applications.
Semantic Role Labeling Using Lexical Statistical Information

Our system for semantic role labeling is multi-stage in nature, being based on tree pruning techniques, statistical methods for lexicalised feature encoding, and a C4.5 decision tree classifier. We use both shallow and deep syntactic information from automatically generated chunks and parse trees, and develop a model for learning the semantic arguments of predicates as a multi-class decision problem. We evaluate the performance on a set of relatively 'cheap' features and report an F1 score of 68.13% on the overall test set.
Bidirectional continuous associator based on Gaussian potential function network

A bidirectional continuous associator (BCA) performing many-to-one forward association and one-to-many inverse association of an arbitrary continuous mapping is constructed on the basis of the multilayer Gaussian potential function network (GPFN). The constructed BCA represents a significant extension of the authors' previous work (1988), the multilayer feedforward potential function network, in which only the forward association of semicontinuous mapping with discrete output patterns is considered. The forward association of BCA uses a potential field synthesized over the domain of input space by a number of Gaussian potential function units (GPFUs). The synthesis is accomplished by learning the location, shape and necessary number of GPFUs. The inverse association of the BCA selects the desired input pattern that corresponds to the given output pattern and optimizes a certain performance index. This inverse association is carried out by an input pattern update. Such an inverse association has great potential for the implementation of a recall process and application to robotics. <<ETX>>
Trusted-link: web-link enhancement for integrity and trustworthiness

We introduce Trusted-Link, a new framework that assures trust relationships between Web pages. With this framework, users can distinguish trustworthy pages from untrustworthy pages easily. This helps users avoid online fraud such as phishing. The ideas of Trusted-Link are as follows. (1) Add some attributes to a link (e.g. HTML anchor element), such as maximum number of traversable links or set of trusted domains. (2) Determine trust level of linked page based on trust level of current page and attributes of link. (3) Attach digital signature to the link to maintain its integrity. (4) A link has a signature verification key as its attribute to verify a signature in a linked page.In this paper, we explain the trust model of Trusted-Link compared to TLS server authentication using a PKI, and algorithms of Trusted-Link, and then, we give some consideration about its effectiveness.
Component Integration Testing by Graph Transformations

Component-based technology can increase reuse and productivity, but high-quality component-based systems are often difficult to implement. Component developers do not know the systems where the components will be used, while software engineers must develop new systems with limited knowledge on available components. We propose a new testing technique that generates, at the time of component development, integration test cases from the specification of the behavior expected from other components of the system. The specification is provided by executable graph transformation rules that are visualized by a UML-based notation. Test cases are executed at an early stage to validate the integration of the component with the expected behavior of the system, and then are re-executed with concrete components at deployment time. The technique presented in this paper supports both the component developer, who can early test the integration of the components with the system, and the software engineers, who can test concrete components at deploymenttime, simply re-using existing test cases.
Reconfigurable SIW Antenna Based on RF-MEMS Switches

In this article, a novel compact reconfigurable antenna based on substrate integrated waveguide (SIW) technology is introduced. The geometry of the proposed antennas is symmetric with respect to the horizontal center line. The electrical shape of the antenna is composed of double H-plane SIW based horn antennas and radio frequency micro electro mechanical system (RF-MEMS) actuators. The RF-MEMS actuators are integrated in the planar structure of the antenna for reconfiguring the radiation pattern by adding nulls to the pattern. The proper activation/deactivation of the switches alters the modes distributed in the structure and changes the radiation pattern. When different combinations of switches are on or off, the radiation patterns have 2, 4, 6, 8, . nulls with nearly similar operating frequencies. The attained peak gain of the proposed antenna is higher than 5 dB at any point on the far field radiation pattern except at the null positions. The design procedure and closed form formulation are provided for analytical determination of the antenna parameters. Moreover, the designed antenna with an overall dimensions of only 63.6 × 50 mm2 is fabricated and excited through standard SMA connector and compared with the simulated results. The measured results show that the antenna can clearly alters its beams using the switching components. The proposed antenna retains advantages of low cost, low cross-polarized radiation, and easy integration of configuration.