Search

Knowledge graph embedding models have gained significant attention in AI research. The aim of knowledge graph embedding is to embed the graphs into a vector space in which the structure of the graph is preserved. Recent works have shown that the inclusion of background knowledge, such as logical rules, can improve the performance of embeddings in downstream machine learning tasks. However, so far, most existing models do not allow the inclusion of rules. We address the challenge of including rules and present a new neural based embedding model (LogicENN). We prove that LogicENN can learn every ground truth of encoded rules in a knowledge graph. To the best of our knowledge, this has not been proved so far for the neural based family of embedding models. Moreover, we derive formulae for the inclusion of various rules, including (anti-)symmetric, inverse, irreflexive and transitive, implication, composition, equivalence, and negation. Our formulation allows avoiding grounding for implication and equivalence relations. Our experiments show that LogicENN outperforms the existing models in link prediction.

In recognition memory, anything that is objectively new is necessarily not-old, and anything that is objectively old is necessarily not-new. Therefore, judging whether a test item is new is logically equivalent to judging whether it is old, and conversely. Nevertheless, a series of 10 experiments showed that old? and new? judgments did not produce equivalent recognition accuracy. In Experiments 1-4, wherein subjects made old? or new? judgments about test items, new? judgments yielded more accurate performance for old items than old? judgments did, and old? judgments yielded more accurate performance for new items than new? judgments did. This same violation of logical equivalence was observed in Experiments 5-10, wherein subjects made similar? judgments as well as old? and new? ones. In short, old? and new? judgments displayed consistent Judgment × Item crossovers, rather than equivalence. Response latencies were used to test the hypothesis that Judgment × Item crossovers were due to certain judgment-item combinations provoking more deliberate, thorough retrieval than other combinations. There was no support for that hypothesis, but the data were consistent with an earlier theory, which posits that latency depends on the extent to which judgments or items slant retrieval toward accessing verbatim traces. (PsycInfo Database Record (c) 2023 APA, all rights reserved).

The existing small-signal analysis models do not adequately describe the impact of the types of disturbance on the torque-frequency dynamics of the multi-VSC parallel system. In this paper, based on the principle of electromechanical analogy, a unified equivalent admittance modeling method is proposed by analogizing the rotor dynamic model of a synchronous generator (SG) to the circuit network, which has the advantages of simple modeling, clear physical meaning and easy expansion. Firstly, the equivalent admittance model of a single SG/VSC is established, and then easily extended to the multi-VSC system. The proposed modelling method not only applicable to a variety of VSCs, but also can handle different types of disturbance. More importantly, the circuit theory can be applied to analyze the torque-frequency dynamic characteristics. Subsequently, the equivalence between the proposed model and the state-space model under different damping terms is compared. In addition, the response characteristics of two different damping terms are compared. Next, the dynamic response characteristics of single VSC and multi-VSC parallel systems under different disturbances are analyzed. Finally, related simulations and experiments are executed to verify the accuracy and effectiveness of the proposed method.

Mathematical tools are fundamental for control methods, but it is unclear how control impacts mathematics. This paper attempts to give an answer with focus on solving linear algebraic equations (LAEs) from the perspective of systems and control. By proposing an iterative method that integrates a learning control mechanism, a class of tracking problems for iterative learning control (ILC) is explored for the problem solving of LAEs. A trackability property of ILC is newly developed, by which analysis and synthesis results are established to disclose the equivalence between the solvability of LAEs and the controllability of discrete control systems. Hence, LAEs can be solved by equivalently achieving the perfect tracking tasks of resulting ILC systems via the classic state feedback-based design and analysis methods. It is shown that the solutions for any solvable LAE can all be calculated with different selections of the initial input. Moreover, the presented ILC method is applicable to determining all the least squares solutions of any unsolvable LAE. In particular, a deadbeat design is incorporated to ILC such that the solving of LAEs can be completed within finite iteration steps.

Tensor singular value decomposition (t-SVD) has recently become increasingly popular for tensor recovery under partial and/or corrupted observations. However, the existing t -SVD-based methods neither make use of a rank prior nor provide an accurate rank estimation (RE), which would limit their recovery performance. From the practical perspective, the tensor RE problem is nontrivial and difficult to solve. In this article, we, therefore, aim to determine the correct rank of an intrinsic low-rank tensor from corrupted observations based on t-SVD and further improve recovery results with the estimated rank. Specifically, we first induce the equivalence of the tensor nuclear norm (TNN) of a tensor and its f -diagonal tensor. We then simultaneously minimize the reconstruction error and TNN of the f -diagonal tensor, leading to RE. Subsequently, we relax our model by removing the TNN regularizer to improve the recovery performance. Furthermore, we consider more general cases in the presence of missing data and/or gross corruptions by proposing robust tensor principal component analysis and robust tensor completion with RE. The robust methods can achieve successful recovery by refining the models with correct estimated ranks. Experimental results show that the proposed methods outperform the state-of-the-art methods with significant improvements.

How many scenarios are sufficient to validate the safe Operational Design Domain (ODD) of an Automated Driving System (ADS) equipped vehicle Is a more significant number of sampled scenarios guaranteeing a more accurate safety assessment of the ADS Despite the various empirical success of ADS safety evaluation with scenario sampling in practice, some of the fundamental properties are largely unknown. This paper seeks to remedy this gap by formulating and tackling the scenario sampling safety assurance problem from a set invariance perspective. First, a novel conceptual equivalence is drawn between the scenario sampling safety assurance problem and the data-driven robustly controlled forward invariant set validation and quantification problem. This paper then provides a series of complete solutions with finite-sampling analyses for the safety validation problem that authenticates a given ODD. On the other hand, the quantification problem escalates the validation challenge and starts looking for a safe sub-domain of a particular property. This inspires various algorithms that are provably probabilistic incomplete, probabilistic complete but sub-optimal, and asymptotically optimal. Finally, the proposed asymptotically optimal scenario sampling safety quantification algorithm is also empirically demonstrated through simulation experiments.

International audience; We introduce a model of graph-constrained dynamic choice with reinforcement modeled by positively $\alpha$-homogeneous rewards. We show that its empirical process, which can be written as a stochastic approximation recursion with Markov noise, has the same probability law as a certain vertex reinforced random walk. We use this equivalence to show that for $\alpha > 0$, the asymptotic outcome concentrates around the optimum in a certain limiting sense when 'annealed' by letting $\alpha \to \infty$ slowly.

This paper presents a new optimization-based approach to determine the class of stabilizing control structures with the necessary set of feedback links for interconnected systems. The proposed approach relies on a graph theoretic interpretation and its equivalence in terms of binary linear programs (BLP). To carry out the primary goal, first, the stabilizability of an LTI system under the decentralized control structure is presented in terms of a BLP. Next, two graph-based criteria are proposed to characterize stabilizing control structures with the required feedback links. Finally, all possible stabilizing control structures with the necessary feedback links are derived via solving a set of BLPs. In addition to the analysis of stabilizing control structures, the proposed graph-theoretic approach offers a versatile set of tools to find the simplest control structures capable of assigning the closed-loop spectrum in a totally arbitrary desired region. Simulation results illustrate the assessment of stabilizing control structures, the required additional feedback links, and the elegant generalization of the proposed approach to regional pole-placement.

Differential-algebraic equations (DAEs) are a widespread dynamical model that describes continuously evolving quantities defined with differential equations, subject to constraints expressed through algebraic relationships. As such, DAEs arise in many fields ranging from physics, chemistry, and engineering. In this article, we focus on linear DAEs, and develop a theory for their minimization up to an equivalence relation. We present differential equivalence, which relates DAE variables that have equal solutions at all time points (thus requiring them to start with equal initial conditions) and extends the line of research on bisimulations developed for Markov chains and ordinary differential equations. We apply our results to the electrical engineering domain, showing that differential equivalence can explain invariances in certain networks as well as analyze DAEs, which could not be originally treated due to their size.

In this article, a general approach for directed graph clustering and two new density-based clustering objectives are presented. First, using an equivalence between the clustering objective functions and a trace maximization expression, the directed graph clustering objectives are converted into the corresponding weighted kernel k-means problems. Then, a nonspectral algorithm, which covers both the direction and weight information of the directed graphs, is thus proposed. Next, with Rayleigh's quotient, the upper and lower bounds of clustering objectives are obtained. After that, we introduce a new definition of weak links to characterize the effectiveness of clustering. Finally, illustrative examples are given to demonstrate effectiveness of the results. This article provides a glance at the potential connection between density-based and pattern-based clustering. Compared with other approaches for directed graph clustering, the method proposed in this article naturally avoids the loss of the nonsymmetric edge data because there is no need for any additional symmetrization.

Asymmetrical six-phase induction machines are widely used in high-power safety-critical applications. The so-called pseudo six-phase winding layout has recently been proposed as a promising contender for high power medium voltage applications in terms of torque density, phase current quality, simple single-layer-based stator winding design, and fault-tolerant capability. This winding layout employs quadruple three-phase stator winding sets connected to provide only six terminals, while being fed from two three-phase inverters. Therefore, the same conventional six-phase-based control structure can still be employed. Among the different control techniques, model predictive current control is considered as one of the cutting-edge technologies for multiphase drive systems, thanks to its simplicity and flexibility in defining new control objectives. This paper investigates how the available 64 voltage vectors of a six-phase inverter are classified among different subspaces when employing a pseudo six-phase stator winding. Moreover, the required modifications to classical predictive current control (PCC) are introduced in order to properly control the machine in a manner similar to conventional asymmetrical six-phase machines while ensuring minimum circulating xy current components. The concept of virtual voltage vectors (VVVs) has also been employed to further enhance the stator current quality. The proposed controller is validated using a 2Hp prototype pseudo six-phase machine under different operating conditions. An experimental comparative study with an asymmetrical six-phase machines is also carried out to verify the claimed equivalence.

Researchers in the social and biomedical sciences regularly measure networks spanning entire villages in low- and middle-income countries by documenting the social contacts of just one or two representatives from participating households. This “lean” approach to network measurement is cost-effective compared to a sociometric census of a village’s adult population. However, it implicitly assumes that interviewed and non-interviewed coresidents are structurally equivalent — i.e., directly connected to the same network members in the same fashion. Drawing from research on multilevel networks and intra-household heterogeneity, here I argue that this assumption is unlikely to hold for the personal social ties typically of interest to field researchers (i.e., friends and other preferred sources and targets of material, informational and emotional support). I substantiate my claim with an exploratory case study on the similarity of coresidents’ incoming and outgoing ties using data documenting unrestricted roster-based reports on the provision of tangible aid amongst all adult residents of a remote village of indigenous horticulturalists in Nicaragua (108 adults; 32 nuclear-family households). Results indicate that coresidents markedly deviate from structural equivalence and its generalisation in the form of stochastic equivalence (i.e., similar probabilities of being directly connected to the same network members in the same fashion). All in all, it is ill-advised to assume that the personal network of any one coresident, or, more generally, the manner in which a coresident tends to send and receive their personal ties, is representative of their household.

Labeling of the connected components is the key operation of the target recognition and segmentation in remote sensing images. The conventional connected-component labeling (CCL) algorithms for ordinary optical images are considered time-consuming in processing the remote sensing images because of the larger size. A dynamic run-length based CCL algorithm (DyRLC) is proposed in this paper for the large size, big granularity sparse remote sensing image, such as space debris images and ship images. In addition, the equivalence matrix method is proposed to help design the pre-processing method to accelerate the equivalence labels resolving. The result shows our algorithm outperforms 22.86% on execution time than the other algorithms in space debris image dataset. The proposed algorithm also can be implemented on the field programming logical array (FPGA) to enable the realization of the real-time processing on-board.

This study evaluated the accuracy of synthetic computed tomography (sCT), as compared to CT, for the 3D assessment of the hip morphology. Thirty male patients with asymptomatic hips, referred for magnetic resonance (MR) imaging and CT, were included in this retrospective study. sCT images were generated from three-dimensional radiofrequency-spoiled T1-weighted multi-echo gradient-echo MR images using a commercially available deep learning-enabled software and were compared with CT images through mean error and surface distance computation and by means of eight clinical morphometric parameters relevant for hip care. Parameters included center-edge angle (CEA), sharp angle, acetabular index, extrusion index, femoral head center-to-midline distance, acetabular version (AV), and anterior and posterior acetabular sector angles. They were measured by two senior orthopedic surgeons and a radiologist in-training on CT and sCT images. The reliability and agreement of CT- and sCT-based measurements were assessed using intraclass correlation coefficients (ICCs) for absolute agreement, Bland-Altman plots, and two one-sided tests for equivalence. The surface distance between CT- and sCT-based bone models were on average submillimeter. CT- and sCT-based measurements showed moderate to excellent interobserver and intraobserver correlation (0.56 0.75). For CEA, the intraobserver agreement was good (ICC > 0.75) and the interobserver agreement was moderate (ICC > 0.69). Limits of agreements were similar between intraobserver CT and intermodal measurements. All measurements were found statistically equivalent, with average intermodal differences within the intraobserver limits of agreement. In conclusion, sCT and CT were equivalent for the assessment of the hip joint bone morphology.

We propose a novel pairwise distance measure between image keypoint sets, for the purpose of large-scale medical image indexing. Our measure generalizes the Jaccard index to account for soft set equivalence (SSE) between keypoint elements, via an adaptive kernel framework modeling uncertainty in keypoint appearance and geometry. A new kernel is proposed to quantify the variability of keypoint geometry in location and scale. Our distance measure may be estimated between $O(N^2)$ image pairs in $O(N~\log~N)$ operations via keypoint indexing. Experiments report the first results for the task of predicting family relationships from medical images, using 1010 T1-weighted MRI brain volumes of 434 families including monozygotic and dizygotic twins, siblings and half-siblings sharing 100%-25% of their polymorphic genes. Soft set equivalence and the keypoint geometry kernel improve upon standard hard set equivalence (HSE) and appearance kernels alone in predicting family relationships. Monozygotic twin identification is near 100%, and three subjects with uncertain genotyping are automatically paired with their self-reported families, the first reported practical application of image-based family identification. Our distance measure can also be used to predict group categories, sex is predicted with an AUC=0.97. Software is provided for efficient fine-grained curation of large, generic image datasets., 10 pages, 8 figures

BACKGROUND AND OBJECTIVES: Loneliness is prevalent among older adults and known to be detrimental to mental health. The objective of this study was to determine the psychometric properties of the Chinese 6-item De Jong Gierveld Loneliness Scale (DJGLS) in the older native and diasporic Chinese community. RESEARCH DESIGN AND METHODS: Participants were recruited from a local community in urban Tianjin, China and urban Chinese communities of older adults in the Netherlands. Scale properties, including reliability, were calculated with Cronbach's alpha and multiple-group confirmatory factor analysis to examine the two-dimensional structure of the scale and the cross-cultural equivalence between both countries. Item response analysis was employed to plot the relationships between the item response and expected total scale score. RESULTS: A total of 193 older adults from China and 135 older adults from the Netherlands were included. The Cronbach's alphas were and 0.68 (China) and 0.71 (the Netherlands). The DJGLS's two-dimensional structure was validated by the goodness of fit and the factor loadings. Cross-cultural equivalence was demonstrated with the multiple-group confirmatory analysis. In addition, sufficient discriminative power of the individual items was demonstrated by item response analysis in both countries. DISCUSSION AND IMPLICATIONS: This study is the first to provide a detailed item behavior analysis with an item response analysis of the DJGLS. In conclusion, the findings of this study suggest that the DJGLS has adequate and similar item and scalar equivalence for use in Chinese populations.;BACKGROUND AND OBJECTIVESLoneliness is prevalent among older adults and known to be detrimental to mental health. The objective of this study was to determine the psychometric properties of the Chinese 6-item De Jong Gierveld Loneliness Scale (DJGLS) in the older native and diasporic Chinese community. RESEARCH DESIGN AND METHODSParticipants were recruited from a local community in urban Tianjin, China and urban Chinese communities of older adults in the Netherlands. Scale properties, including reliability, were calculated with Cronbach's alpha and multiple-group confirmatory factor analysis to examine the two-dimensional structure of the scale and the cross-cultural equivalence between both countries. Item response analysis was employed to plot the relationships between the item response and expected total scale score. RESULTSA total of 193 older adults from China and 135 older adults from the Netherlands were included. The Cronbach's alphas were and 0.68 (China) and 0.71 (the Netherlands). The DJGLS's two-dimensional structure was validated by the goodness of fit and the factor loadings. Cross-cultural equivalence was demonstrated with the multiple-group confirmatory analysis. In addition, sufficient discriminative power of the individual items was demonstrated by item response analysis in both countries. DISCUSSION AND IMPLICATIONSThis study is the first to provide a detailed item behavior analysis with an item response analysis of the DJGLS. In conclusion, the findings of this study suggest that the DJGLS has adequate and similar item and scalar equivalence for use in Chinese populations.

We address Bayesian persuasion between a sender and a receiver with state-dependent quadratic cost measures for general classes of distributions. The receiver seeks to make mean-square-error estimate of a state based on a signal sent by the sender while the sender signals strategically in order to control the receiver's estimate in a certain way. Such a scheme could model, e.g., deception and privacy, problems in multi-agent systems. Existing solution concepts are not viable since here the receiver has continuous action space. We show that for finite state spaces, optimal signaling strategies can be computed through an equivalent linear optimization problem over the cone of completely positive matrices. We then establish its strong duality to a copositive program. To exemplify the effectiveness of this equivalence result, we adopt sequential polyhedral approximation of completely-positive cones and analyze its performance numerically. We also quantify the approximation error for a quantized version of a continuous distribution and show that a semi-definite program relaxation of the equivalent problem could be a benchmark lower bound for the sender's cost for large state spaces.

The free energy principle (FEP) states that any dynamical system can be interpreted as performing Bayesian inference upon its surrounding environment. Although, in theory, the FEP applies to a wide variety of systems, there has been almost no direct exploration or demonstration of the principle in concrete systems. In this work, we examine in depth the assumptions required to derive the FEP in the simplest possible set of systems – weakly-coupled non-equilibrium linear stochastic systems. Specifically, we explore (i) how general the requirements imposed on the statistical structure of a system are and (ii) how informative the FEP is about the behaviour of such systems. We discover that two requirements of the FEP – the Markov blanket condition (i.e. a statistical boundary precluding direct coupling between internal and external states) and stringent restrictions on its solenoidal flows (i.e. tendencies driving a system out of equilibrium) – are only valid for a very narrow space of parameters. Suitable systems require an absence of asymmetries in perception-action loops that are highly unusual for living systems interacting with an environment, which are the kind of systems the FEP explicitly sets out to model. More importantly, we observe that a mathematically central step in the argument, connecting the behaviour of a system to variational inference, relies on an implicit equivalence between the dynamics of the average states of a system with the average of the dynamics of those states. This equivalence does not hold in general even for linear systems, since it requires an effective decoupling from the system's history of interactions. These observations are critical for evaluating the generality and applicability of the FEP and indicate the existence of significant problems of the theory in its current form. These issues make the FEP, as it stands, not straightforwardly applicable to the simple linear systems studied here and suggests that more development is needed before the theory could be applied to the kind of complex systems which describe living and cognitive processes.

The parallel Hierarchical Dirichlet Process (pHDP) is an efficient topic model which explores the equivalence of the generation process between Hierarchical Dirichlet Process (HDP) and Gamma-Gamma-Poisson Process (G2PP), in order to achieve parallelism at the topic level. Unfortunately, pHDP loses the non-parametric feature of HDP, i.e., the number of topics in pHDP is predetermined and fixed. Furthermore, under the bootstrap structure of pHDP, the topic-indiscriminate words are of high probabilities to be assigned to different topics, resulting in poor qualities of the extracted topics. To achieve parallelism without sacrificing the non-parametric feature of HDP, in addition to improve the quality of extracted topics, we propose a parallel dynamic topic model by developing an adjustment mechanism of evolving topics and reducing the sampling probabilities of topic-indiscriminate words. Both supervised and unsupervised experiments on benchmark datasets show the competitive performance of our model.

By mass-energy equivalence, the gravitational field has a relativistic mass density proportional to its energy density. I seek to better understand this mass of the gravitational field by asking whether it plays three traditional roles of mass: the role in conservation of mass, the inertial role, and the role as source for gravitation. The difficult case of general relativity is compared to the more straightforward cases of Newtonian gravity and electromagnetism by way of gravitoelectromagnetism, an intermediate theory of gravity that resembles electromagnetism., Comment: 39 pages, 1 figure

There are exactly four surfaces of minimal degree in P 5 , up to projective equivalence. And they have the same graded Betti numbers. So it is a natural question to ask how to recognize them by their defining equations. In this paper we provide an answer to this question in terms of the rank loci of quadratic equations of those four surfaces. We show that the sets of rank 3 and rank 4 quadratic equations distinguish them.

In this study, we present a new formal method for verifying the functionality of Galois-field (GF) arithmetic circuits. Assuming that the input–output relation (i.e., the specification of a GF arithmetic circuit) can be represented as polynomials over 2, the proposed method formally checks the equivalence between GF polynomials derived from a netlist and the specification. To efficiently verify the equivalence, we employ a zero-suppressed binary decision diagram (ZDD) to represent polynomials over 2. Even though polynomial reduction is the most time-consuming process of verification (i.e., equivalence checking), our new algorithm can efficiently reduce the GF polynomials in the form of a zero-suppressed binary decision diagram derived from the target netlist. The proposed algorithm derives the polynomials representing all intermediate nodes (i.e., the outputs of all gates) in the order from primary inputs to those primary outputs that are in accordance with the reverse topological traversal order. We demonstrated the efficiency and effectiveness of the proposed method via a set of experimental verifications. In particular, we confirmed that the proposed method can verify practical GF multipliers (including those used in standardized elliptic curve cryptography) approximately 30 times faster on average and at most 170 times faster than the best conventional method.

We show that a complex planar curve homeomorphic to the projective line has at most four singular points. If it has exactly four then it has degree five and is unique up to a projective equivalence., 35 pages

We consider the absolute stability of discrete-time Lurye systems with SISO/MIMO (non-repeated SISO) nonlinearities that are sector bounded and slope restricted. For this class of systems, we present a parametrization of Lyapunov-Lurye functional (LLF) that is the time-domain equivalence to finite impulse response (FIR) Zames-Falb multipliers. As searches over FIR Zames-Falb multipliers provide the best known results in the literature, the parametrization here provides the best-known Lyapunov function for absolute stability. A motivation of this alternative is making it easy to analyze the system in the time domain, especially when the frequency domain expression of the system is not straightforward. In this letter, we show the equivalence between the proposed LLF and FIR multipliers theoretically and numerically.

We study the problem of aggregating private information in elections with two or more alternatives for a large family of scoring rules. We introduce a feasibility condition, the linear refinement condition, that characterizes when information can be aggregated asymptotically as the electorate grows large: there must exist a utility function, linear in distributions over signals, sharing the same top alternative as the primitive utility function. Our results complement the existing work where strong assumptions are imposed on the environment, and caution against potential false positives when too much structure is imposed.

A subclass of finite Petri nets, called BPP nets (acronym of Basic Parallel Processes), was recently equipped with an efficiently decidable, truly concurrent, bisimulation-based, behavioral equivalence, called team bisimilarity. This equivalence is a very intuitive extension of classic bisimulation equivalence (over labeled transition systems) to BPP nets and it is checked in a distributed manner. This paper has three goals. First of all, we provide BPP nets with various causality-based observational semantics, notably a novel semantics, called causal-net bisimilarity. Then, we define a variant semantics, called h-team bisimilarity, coarser than team bisimilarity, for which we adapt the modal logic characterization and the axiomatization of team bisimilarity. Then, we complete the study about team bisimilarity and h-team bisimilarity, by comparing them with the causality-based semantics we have introduced: the main results are that team bisimilarity coincides with causal-net bisimilarity, while h-team bisimilarity with fully-concurrent bisimilarity.

Linear first order Riemann-Liouville fractional differential equations are studied. These new equations unify and generalize the Riemann-Liouville, modified Caputo and Caputo fractional differential equations. The equivalences between the fractional differential equations and the corresponding perturbed Abel's integral equations are obtained. These results are useful not only to study the initial or boundary value problems for nonlinear first order Riemann-Liouville fractional differential equations but also to study the solutions of the perturbed Abel's integral equations arising in a problem of mechanics and many other physical problems. The well-known Tonelli's result on solvability of the Abel's integral equation is generalized. We exhibit that there are nonconstant equilibria for some first order Caputo fractional equations. This is different from nonlinear first order ordinary differential equations which have only constant equilibria. The equivalence results are applied to generalize the classical Mean Value Theorem to the first order Riemann-Liouville fractional derivatives.

Background We aimed to verify whether the taste and chemical composition influence the selection of plants in each medicinal category, whether within a socio-ecological system or between different socio-ecological systems. To this end, we use the theoretical bases of the Utilitarian Redundancy Model and the Utilitarian Equivalence Model. We studied the local medical systems of four rural communities in northeastern Brazil, used as models to test our assumptions. Methods The data on medicinal plants and local therapeutic function were obtained from semi-structured interviews associated with the free-listing method, allowing to generate indexes of similarity of therapeutic use between the plants cited in each region. During the interviews, each informer was also asked to report the tastes of the plants cited. Subsequently, we classified each plant in each region according to the most cited taste. The data about the chemical composition of each plant were obtained from a systematic review, using Web of Knowledge and Scopus databases. Results Pairs of plants with similar tastes are 1.46 times more likely to have the same therapeutic function within a local medical system (redundancy), but not between medical systems (equivalence). We also find that chemical compounds are not primarily responsible for utilitarian redundancy and equivalence. However, there was a tendency for alkaloids to be doubly present with greater expressiveness in pairs of equivalent plants. Conclusions The results indicate that each social group can create its means of using the organoleptic characteristics as clues to select new species as medicinal. Furthermore, this study corroborates the main prediction of the Utilitarian Equivalence Model, that people in different environments choose plants with traits in common for the same functions.

In this paper, the optimal output synchronization of heterogeneous multi-agent systems is studied. To overcome the shortcoming of previous methods that require system model, a data-based optimal control policy is proposed for the output synchronization problem . Besides, the intrinsic equivalence relationship between model-based optimal solution and the proposed data-based optimal solution is proved. To solve the proposed control policy, a reinforcement learning algorithm based on measured input-output data is presented, which is different from existing model-free algorithms based on internal state. According to the algorithm, the optimal output synchronization problem of heterogeneous multi-agent systems can be solved when the full-state vector is unavailable. Finally, the effectiveness of proposed algorithm is verified by simulation examples.

Recently, there has been a revival of interest in cyclic decompositions of stochastic dynamics. These decompositions consider the behavior of dynamics over the short, medium and long run, aggregating cycles of behavior into progressively larger cycles, eventually encompassing the entire state space. We show that these decompositions are equivalent to the aggregative stage of Edmonds' algorithm and that this equivalence can be used to recover well-known results in the literature.

We propose a novel formalization of roles in social networks that unifies the most commonly used definitions of role equivalence. As one consequence, we obtain a single, straightforward proof that role equivalences form lattices. Our formalization focuses on the evolution of roles from arbitrary initial conditions and thereby generalizes notions of relative and iterated roles that have been suggested previously. In addition to the unified structure result this provides a potential micro-foundation for the emergence of roles. Considering the genesis of roles may explain, and help overcome, the problem that social networks rarely exhibit interesting role equivalences of the traditional kind. Finally, we discuss extensions of the role concept to multivariate networks with actor and tie attributes by example., Social Networks, 68

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/). Battery energy storage systems (BESSs) are expect‐ ed to play a crucial role in the operation and control of active distribution networks (ADNs). In this paper, a holistic state esti‐ mation framework is developed for ADNs with BESSs integrat‐ ed. A dynamic equivalent model of BESS is developed, and the state transition and measurement equations are derived. Based on the equivalence between the correction stage of the iterated extended Kalman filter (IEKF) and the weighted least squares (WLS) regression, a holistic state estimation framework is pro‐ posed to capture the static state variables of ADNs and the dy‐ namic state variables of BESSs, especially the state of charge (SOC). A bad data processing method is also presented. The simulation results show that the proposed holistic state estima‐ tion framework improves the accuracy of state estimation as well as the capability of bad data detection for both ADNs and BESSs, providing comprehensive situational awareness for the whole system.

In an earlier paper, Cruz-Uribe, Rodney and Rosta proved an equivalence between weighted Poincaré inequalities and the existence of weak solutions to a family of Neumann problems related to a degenerate $ p $-Laplacian. Here we prove a similar equivalence between Poincaré inequalities in variable exponent spaces and solutions to a degenerate $ {p(\cdot)} $-Laplacian, a non-linear elliptic equation with nonstandard growth conditions.

Combinatorial vector fields on simplicial complexes as introduced by Robin Forman have found numerous and varied applications in recent years. Yet, their relationship to classical dynamical systems has been less clear. In recent work it was shown that for every combinatorial vector field on a finite simplicial complex one can construct a multivalued discrete-time dynamical system on the underlying polytope X which exhibits the same dynamics as the combinatorial flow in the sense of Conley index theory. However, Forman's original description of combinatorial flows appears to have been motivated more directly by the concept of flows, i.e., continuous-time dynamical systems. In this paper, it is shown that one can construct a semiflow on X which exhibits the same dynamics as the underlying combinatorial vector field. The equivalence of the dynamical behavior is established in the sense of Conley-Morse graphs and uses a tiling of the topological space X which makes it possible to directly construct isolating blocks for all involved isolated invariant sets based purely on the combinatorial information., Comment: 57 pages, 12 figures

Background The ability to effectively regulate one's emotions has been established as an important transdiagnostic mechanism in the development and maintenance of psychopathology. To date, much of the research on emotion regulation (ER) has been conducted in Western, educated, industrialized, rich, and democratic (WEIRD) samples. Specifically, there is a dearth of cross-cultural construct equivalence studies on measures of ER. Establishing measurement equivalence is an important first step to facilitate future research on ER in culturally diverse samples. Methods The present study sought to validate the latent structures of three commonly used ER measures: the Emotion Regulation Questionnaire (ERQ), Ruminative Responses Scale (RRS-10), and Acceptance subscale of the Five-Facet Mindfulness Questionnaire (FFMQ-AS). Measurement equivalence was examined across 123 American and 121 Indian participants (Mage = 36.60) and across gender. Results Cross-cultural confirmatory factor analyses revealed configural equivalence (i.e., same factor structures) in both cultural groups across all three measures. The RRS-10 met weak invariance across cultures; however, factor loadings were not equal across the two samples for all items on the ERQ or FFMQ-AS. Consequently, a partial invariance solution was identified, and all measures subsequently met criteria for Level 2 strict cross-cultural invariance. Across gender, full invariance was found on all measures except the FFMQ-AS. Conclusion Findings suggest that the structure of ER processes is largely invariant across these two cultural groups, with a few notable exceptions, pointing to the importance of continued work in this area.

In this paper, I give a counterexample to a claim made in Norton (2008) that empirically equivalent theories can often be regarded as theoretically equivalent by treating one as having surplus structure, thereby overcoming the problem of underdetermination of theory choice. The case I present is that of Lorentz's ether theory and Einstein's theory of special relativity. I argue that Norton's suggestion that surplus structure is present in Lorentz's theory in the form of the ether state of rest is based on a misunderstanding of the role that the ether plays in Lorentz's theory, and that in general, consideration of the conceptual framework in which a theory is embedded is vital to understanding the relationship between different theories.

This study sought to investigate translation strategies in translation of culture-specific items (CSIs) in Persian translation of ‘The Egyptian’ novel by Mika Waltari. To this end, it benefited from corpus-based comparative content analysis design within a qualitative approach. The corpus of this study consisted of 150 pages of the novel ‘The Egyptian’ by Mika Waltari along with their Persian translations by Zabihollah Mansouri, which were selected through simple random sampling. Data analysis included parallel comparison of the source text and its translation in terms of the occurrence of different types of translation strategies used in the translations. Furthermore, statistical procedures which were conducted consisted of calculation of frequency and percentage of different translation strategies (to identify the most and least frequent strategies) and chi-square test (to see if there is a significant difference between the frequencies of different strategies used by the translator). The results of data analysis showed that the translator has used the following translation strategies: Calque, equivalence, adaptation, literal translation, modulation and omission. Moreover, it was found that the most frequent strategy was calque. Furthermore, the lowest frequency belonged to modulation and omission. In addition, a significant difference was revealed between the frequencies of different translation strategies. The findings have some implications for translation students, translation teachers, and translators.

Reformulating a scientific theory often leads to a significantly different way of understanding the world. Nevertheless, accounts of both theoretical equivalence and scientific understanding have neglected this important aspect of scientific theorizing. This essay provides a positive account of how reformulation changes our understanding. My account simultaneously addresses a serious challenge facing existing accounts of scientific understanding. These accounts have failed to characterize understanding in a way that goes beyond the epistemology of scientific explanation. By focusing on cases in which we have differences in understanding without differences in explanation, I show that understanding does not reduce to explanation.

The author of the article considers the conditions and principles of the future Ukrainian translation of Heidegger’s “Being and Time.” First, he defines the principles of proper translation, then makes suggestions on how “Being and Time” should be translated in accordance with these principles. The governing principle of proper translation is defined as translation equivalence, which is contrasted with the principle of translation adequacy. To clarify the conditions for the equivalent Ukrainian translation of “Being and Time,” the author explores the fundamental concepts of this work. Among others, he justifies the translation of Heidegger’s Dasein as єство, and Heidegger’s Angst as тривога.

Introduction. The article discusses the problem of assessing the similarity of the dissolution profiles of two batches of the nebivolol. The use of a generally accepted similarity factor for assessing equivalence is unacceptable in some cases, for example, for drugs with a high variability in the values of the release of the active substance from the formulation. At the same time, at present, there are no generally accepted approaches to comparing the profiles of the dissolution kinetics of drugs, with the exception of the method for assessing the comparability of profiles based on the mathematical calculation of the similarity factor f2, which has certain criteria that limit its application.Aim. To demonstrate alternative methods for assessing the similarity between the dissolution profiles of two drugs using a practical example.Materials and methods. The results of the comparative dissolution test of two series of nebivolol at a dosage of 5 mg. Five model-independent methods for assessing the equivalence of drug dissolution were used. Statistical data processing was performed using Microsoft Excel software.Results and discussion. The paper presents a practical example of using five alternative model-independent methods for assessing the equivalence of the dissolution profile. An example is used to illustrate the proposed equivalence limits and statistical methodology. Also, various approaches to determining the boundaries of equivalence have been proposed to assess the similarity of the dissolution profiles of an active substance.Conclusion. According to the results of the comparative dissolution test of two batches of nebivolol, it was shown that the use of the similarity factor as a criterion for assessing dissolution profiles led to a false positive result. In such cases, the possibility of using alternative methods for assessing the equivalence of dissolution profiles described in the article, or other methods presented in the scientific literature, should be considered, with a justification of their acceptability in each specific case.

A Latin square has six conjugate Latin squares obtained by uniformly permuting its (row, column, symbol) triples. We say that a Latin square has conjugate symmetry if at least two of its six conjugates are equal. We enumerate Latin squares with conjugate symmetry and classify them according to several common notions of equivalence. We also do similar enumerations under additional hypotheses, such as assuming the Latin square is reduced, diagonal, idempotent or unipotent. Our data corrected an error in earlier literature and suggested several patterns that we then found proofs for, including (1) The number of isomorphism classes of semisymmetric idempotent Latin squares of order $n$ equals the number of isomorphism classes of semisymmetric unipotent Latin squares of order $n+1$, and (2) Suppose $A$ and $B$ are totally symmetric Latin squares of order $n\not\equiv0\bmod3$. If $A$ and $B$ are paratopic then $A$ and $B$ are isomorphic.

In this article, we aim to investigate the regularity of statistical solution for the 2D non-autonomous magneto-micropolar fluid equations as well as the relationship between invariant measures and statistical solutions. Firstly, to get the regularity of the statistical solution, we prove the existence and regularity of the pullback attractor for the equations. Then we prove the statistical solution possesses some regularity properties by using regularity of the pullback attractor. Finally, we prove the statistical solution is actual an invariant measure for the equations.

Co-firing NH3 with C2H5OH in combustion systems is an excellent approach to shift toward a low-carbon society. Hence, this study conducted a numerical study on the laminar burning characteristics of NH3/C2H5OH blended fuels at all kinds of work conditions. Results denote that C2H5OH has significant effects on improving the NH3 burning intensities, such as laminar burning velocities (LBVs) and net heat release rates. The chemical and transport effects of C2H5OH play major roles in promoting the LBVs. Adding C2H5OH and changing the equivalence ratio will greatly affect the reaction rates of NH3/C2H5OH/air mixtures, which is the main reason for the changes in LBVs. Adding C2H5OH will increase the NO emission. It is suggested that an equivalence ratio of around 1.4 for NH3/C2H5OH flames is suitable after acomprehensive consideration of NO and unburned NH3 emissions. The reaction pathway analysis denotes that H and HNO play crucial parts in the NO formation, NH and NH2 play key roles in reducing the NO concentration. Finally, it is observed that compared with H2/CO/syngas/CH4, C2H5OH possesses great greatest effect on reducing NH3/air flame instability intensities.