The use of batteries became essential in our daily life in electronic devices, electric vehicles and energy storage systems in general terms. As they play a key role in many devices, their design and implementation must follow a thorough test process to check their features at different operating points. In this circumstance, the appearance of any kind of deviation from the expected operation must be detected. This research deals with real data registered during the testing phase of a lithium iron (...) phosphate—LiFePO4—battery. The process is divided into four different working points, alternating charging, discharging and resting periods. This work proposes a hybrid classifier, based on one-class techniques, whose aim is to detect anomalous situations during the battery test. The faults are created by modifying the measured cell temperature a slight ratio from their real value. A detailed analysis of each technique performance is presented. The average performance of the chosen classifier presents successful results. (shrink)

Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first constructive version of hybrid logic, thereby showing that it is possible to hybridize constructive modal logics. Alternative systems are discussed, but we fix on a reasonable and well-motivated version of intuitionistic hybrid logic and prove essential proof-theoretical results for a natural deduction formulation of it. Our natural deduction system is also extended (...) with additional inference rules corresponding to conditions on the accessibility relations expressed by so-called geometric theories. Thus, we give natural deduction systems in a uniform way for a wide class of constructive hybrid logics. This shows that constructive hybrid logics are a viable enterprise and opens up the way for future applications. (shrink)

We study hybrid logics in topological semantics. We prove that hybrid logics of separation axioms are complete with respect to certain classes of finite topological models. This characterisation allows us to obtain several further results. We prove that aforementioned logics are decidable and PSPACE-complete, the logics of T 1 and T 2 coincide, the logic of T 1 is complete with respect to two concrete structures: the Cantor space and the rational numbers.

A hybrid theory is any moral theory according to which different classes of individuals ought to be treated according to different principles. We argue that some hybrid theories are able to meet standards of psychological plausibility, by which we mean that it’s feasible for ordinary human beings to understand and act in accord with them. Insofar as psychological plausibility is a theoretical virtue, then, such hybrid theories deserve more serious consideration. To make the case for this view, (...) we explain what psychological plausibility is and why we might value it, why the human/animal divide appears to be an entrenched feature of human psychology, and why Robert Nozick’s hybrid theory doesn’t go far enough. Finally, we make the case that a more promising psychologically plausible hybrid theory, with respect to humans and animals, will be (at least) at tribrid theory—that is, positing three domains rather than two. (shrink)

We characterize the modal logics of elementary classes of Kripke frames as precisely those modal logics that are axiomatized by modal axioms synthesized in a certain effective way from "quasi-positive" sentences of hybrid logic. These are pure positive hybrid sentences with arbitrary existential and relativized universal quantification over nominals. The proof has three steps. The first step is to use the known result that the modal logic of any elementary class of Kripke frames is also the modal (...) logic of the closure of this class under disjoint unions, generated subframes, bounded morphic images, and ultraroots. This latter class can be defined by the first-order sentences of a special syntactic form (called pseudo-equations by Goldblatt) that are valid in the former class. The second step is to translate these pseudo-equations into equivalent quasi-positive hybrid sentences. In the third and main step, we show that any quasi-positive sentence S generates an infinite set of modal formulas called "approximants," which together axiomatize a canonical modal logic that is sound and complete for the class of frames validating S. The proof is analogous to standard proofs of Sahlqvist's theorem. It generalizes to sets of quasi-positive sentences. The main result now follows. (shrink)

Hybrid identities are sentences in a special second order language with identity. The model classes of sets of hybrid identities are called hybrid solid varieties. We give a Birkhoff-type-characterization of hybrid solid varieties and develop a hybrid equational logic.

In this paper, the authors present a presuppositional account for a class of evaluative terms that encode both a descriptive and an evaluative component: slurs and thick terms. The authors discuss several issues related to the hybrid nature of these terms, such as their projective behavior, the ways in which one may reject their evaluative content, and the ways in which evaluative content is entailed or implicated (as the case may be) by the use of such terms.

Dans le monde contemporain, la majorité des acteurs sociaux fait quotidiennement l’expérience d’une accélération effrénée des rythmes de vie. Cette course contre la montre, qui tend à devenir chronique, semble affecter non seulement la sphère des obligations professionnelles et familiales mais aussi le champ des pratiques de loisirs. Dans un contexte de pénurie temporelle, où le temps est devenu une denrée aussi rare que précieuse, consentir d’y consacrer une partie à des activités non productives suppose de pouvoir obtenir un retour (...) sur investissement. Quels types d’activités sportives peuvent satisfaire cette condition en permettant désormais aux pratiquants d’en avoir non seulement pour leur argent mais surtout pour leur temps? À partir d’une étude de cas, la pratique d’un sport de combat de synthèse, le Mixed Martial Arts, par des étudiants de l’École Normale Supérieure de Lyon et anciens élèves des Classes Préparatoires aguerris à la gestion de l’urgence temporelle, nous montrerons que les activités sportives que nous qualifierons d’« hybrides » apparaissent, pour cette population, comme une réponse particulièrement pertinente au manque de temps en autorisant un engagement jugé rentable et efficient. (shrink)

Effective and personalized treatment relies heavily on skin disease categorization. In the stratification of skin disorders, it is crucial to identify the subtypes of illnesses to provide an efficient therapy. To attain this aim, researchers have focused their attention on cluster algorithms for the stratification of skin disorders in recent decades. But, cluster algorithms have real-world drawbacks, including experimental noises, a large number of dimensions, and a poor ability to comprehend. Cluster algorithms, in particular, determine the quality of clusters using (...) a single internal evaluation operation in the majority of cases. A single internal assessment procedure is difficult to design and robust for all datasets, which is a problem. The multi-objective particle swarm obtained high sensitivity in the existing work, but it is not able to anticipate all kinds of classes. An optimized cluster distance parameter for K-means clustering is determined using a hybrid particle swarm and moth flame optimization. Multi-objective is guided by two cluster value indices, including the K-means clustering misclassification rate and neural network classification rate. Hybrid PSO will solve the multi-objective problem to identify the optimal cluster for clustering. On the dermatological dataset from the UCI repository, MATLAB R2020a will be used to evaluate the proposed method. This will be followed by an evaluation of the proposed method’s performance using the cluster evaluation indices. (shrink)

Hybrid and pluralist accounts of concepts agree that the class of concepts includes a multiplicity of heterogeneous representational structures, such as prototypes, sets of exemplars and theories. In this paper I argue that these accounts agree on two additional central claims related to the ways in which they articulate those structures: each type of representational structure can be used independently in psychological processes, and co-referential concepts are associated in a distinctive way as representations of the same category. Although (...) they disagree on concept individuation, they seem to agree that on a processing dimension there are multiple independent representations for a given category and on a long-term storage dimension concepts that represent the same category conform an epistemic unity. (shrink)

The theory of boundary organizations was developed to address an important group of institutions in American society neglected by scholarship in science studies and political science. The long-term stability of scientific and political institutions in the United States has enabled a new class of institutions to grow and thrive as mediators between the two. As originally developed, this structural feature of these new institutions—that is, their location on the boundary between science and politics—dominated theoretical frame-works for explaining their behavior. (...) Applying the theory of boundary organizations to international society requires a refocusing of some of the theory’s central features, however. In this article, I introduce a new framework—hybrid management—to explain the activities of boundary organizations in the more complex, contingent, and contested settings of global politics. I develop the framework of hybrid management using the specific example of the U.N. Framework Convention on Climate Change’s Subsidiary Body for Scientific and Technological Advice. (shrink)

IN CRITICALLY ANALYZING THE DEADLY VIPER CONTROVERSY AND MARY Queen of Vietnam Catholic Church's social activism in the aftermath of Hurricane Katrina, we consider questions concerning the ability of Asian Americans to participate in public discourse in meaningful ways that spur social change while fostering solidarity with other marginalized ethnic groups in the United States. Drawing on Christian theo-ethical reflection on the racial or social identity of Jesus as a hybridized concept, we argue for a robust public discourse that recognizes (...) Asian Americans as a social group without succumbing to the ghettoization of Asian American identity or a withdrawal from engagement with other justice-seeking social groups. In doing so, we look toward constructive modes of public discourse carried out by multiple counterpublics that both give voice to the Asian American community and open the space for collaboration across ethnic, racial, class, religious, and national boundaries. (shrink)

Gender researchers have only recently begun to identify how women perceive and explain the costs and benefits associated with different femininities. Yet status hierarchies among historically white college sororities are explicit and cannot be ignored, forcing sorority women to grapple with constructions of feminine worth. Drawing on interviews with women in these sororities, we are able to capture college women’s attitudes toward status rankings that prioritize adherence to narrow models of gender complementarity. Sorority chapters were ranked according to women’s perceived (...) heterosexual appeal to elite men. Women believed that top-ranked sororities conferred social power whereas middle- and bottom-ranked sororities offered greater freedom from policing over members’ bodies, fashion, and socializing. However, middle- and bottom-ranked sororities sometimes sought to rise in the rankings. When this occurred, existing members were marginalized, and a new pledge class with a greater tolerance for socializing with high-status “rapey” fraternities was sought. Women’s discussions of sorority rankings show evidence of a hybrid femininity that fuses practices from traditional models of gender complementarity and more recent models of women’s empowerment. (shrink)

The Anthropocene overthrows classical dichotomies like technology and nature and a new class of beings emerges: hybrids. The transitive status of hybrids - which establishes an extra, separate, 'third' ontological category, going beyond the dichotomy between nature and technology - constitutes a significant problem for environmental philosophy and philosophy of technology since they traditionally focus on either 'nature' (natural entities) or 'artefacts' (technological objects). In order to reflect on the ethical significance of hybrids, a classification of different types of (...) hybrids is required. Such a classification is provided by this article, based on insights from both environmental philosophy and philosophy of technology. After explaining why a new class of beings emerges in the Anthropocene, and reflecting on the one-sidedness of philosophy of technology and environmental philosophy in their focus on either technology or nature, we propose a new classification of hybrids in this article that provides a new starting point for reflections on the moral significance of hybrids in environmental philosophy and philosophy of technology. (shrink)

We show that every extension of the basic hybrid logic with modal Sahlqvist axioms is complete. As a corollary of our approach, we also obtain the Beth property for a large class of hybrid logics. Finally, we show that the new completeness result cannot be combined with the existing general completeness result for pure axioms.

In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role in his work: because they make reference to specific times possible, they remove the most serious obstacle to developing modal approaches to temporal representation and reasoning. However very little is known about the computational complexity of hybrid temporal logics.In this paper we analyze the complexity of the satisfiability (...) problem of a number of hybrid temporal logics: the basic hybrid language over transitive trees; nominal Until logic; and referential interval logic. We discuss the effects of including nominals, the @ operator, the somewhere modality E, and the difference operator D. Adding nominals to tense logic leads for several frame-classes to an increase in complexity of the satisfiability problem from PSPACE to EXPTIME. On transitive trees, however, the satisfiability problem for this language can be decided in PSPACE. Along the way we make a detour through hybrid propositional dynamic logic: we establish upper bounds for a number of temporal logics by generalizing results due to Passy and Tinchev [29] and De Giacomo [16]. We conclude with some remarks on the relevance of our results to description logic, and draw attention to the utility of the spypoint technique for proving upper and lower bounds. (shrink)

Until now, the mass spread of fake news and its negative consequences have implied mainly textual content towards a loss of citizens' trust in institutions. Recently, a new type of machine learning framework has arisen, Generative Adversarial Networks (GANs) – a class of deep neural network models capable of creating multimedia content (photos, videos, audio) that simulate accurate content with extreme precision. While there are several areas of worthwhile application of GANs – e.g., in the field of audio-visual production, (...) human-computer interactions, satire, and artistic creativity – their deceptive uses, at least as currently foreseeable, are just as numerous and worrying. The main concern is linked to the so-called “deepfakes”, fake images or videos that simulate real events with extreme precision. When trained on a human face, GANs can make the face assume hyper-realistic movements, expressions and (verbal and non-verbal) communication abilities. This technology poses an urgent threat to the governance of democratic processes concerning the production of public opinions and political discourses, with significant potential for reality-altering and disinformation. After a short introduction of their current technical state-of-the-art, in this paper we want to enquire the GANs` socio-technical system alongside different and intertwined philosophical accounts. Firstly, we will argue about the conditions that make perceived a GANs-generated content as trustworthy, arguing also about the general effects GANs might have on the perceived trustworthiness of individuals. Thereafter, we will discuss about the inadequacy to approach GANs only as perception-altering technology. Against this backdrop, we will propose a theoretical turn that considers the human-machine relationships of trustworthiness as elements of a broader hybrid socio-technical systems. This turn come up with political repercussions that we will discuss in the last part of the paper. (shrink)

We extend Moss and Parikh’s modal logic for subset spaces by adding, among other things, state-valued and set-valued functions. This is done with the aid of some basic concepts from hybrid logic. We prove the soundness and completeness of the derived logics with regard to the class of all correspondingly enriched subset spaces, and show that these logics are decidable.

Depression has become one of the most common mental illnesses, and the widespread use of social media provides new ideas for detecting various mental illnesses. The purpose of this study is to use machine learning technology to detect users of depressive patients based on user-shared content and posting behaviors in social media. At present, the existing research mostly uses a single detection method, and the unbalanced class distribution often leads to a low recognition rate. In addition, a large number (...) of irrelevant or redundant features in high-dimensional data sets interfere with the accuracy of recognition. To solve this problem, this paper proposes a hybrid feature selection and stacking ensemble strategy for depression user detection. First, recursive elimination method and extremely randomized trees method are used to calculate feature importance and mutual information value, calculate feature weight vector, and select the optimal feature subset according to the feature weight. Second, naive bayes, k-nearest neighbor, regularized logistic regression and support vector machine are used as base learners, and a simple logistic regression algorithm is used as a combination strategy to build a stacking model. Experimental results show that compared with other machine learning algorithms, the proposed hybrid method, which integrates feature selection and ensemble, has a higher accuracy of 90.27% in identifying online patients. We believe this study will help develop new methods to identify depressed people in social networks, providing guidance for future research. (shrink)

The impact of Online Social Networks on human lives is foreseen to be very large with unprecedented amount of data and users. OSN users share their ideas, photos, daily life events, feelings and news. Since OSNs’ security and privacy challenges are more potential than ever before, it is necessary to enhance the protection and filtering approaches of OSNs contents. This paper explores OSNs’ threats and challenges, and categorize them into: account-based, URL-based and content-based threats. In addition, we analyze the existing (...) protection methods and highlight their limitations and weaknesses. Based on that, we propose a comprehensive, user-level, proactive and real-time OSNs’ protection system, called Hybrid Real-time Social Networks Protector. HRSP has three components; a user-level security protocol and two classification models. The protocol defines a structure for OSN’s cryptographic services, including encryption, access control and users’ authentication. The classification models employ machine learning, black lists, white lists and users’ feedback, in order to classify URLs into: Benign, Risk and Inappropriate classes, and contents into: Benign, Hate speech and Inappropriate classes. We constructed two data sets of 150,000 URLs and 22,000 tweets to build and test the two classification models. Results show an overall accuracy of 93.2% for the URL model and 84.4% for the content model, while the protocol implementation produces compatible size and time overhead. The components of HRSP are integrated and have compatible design with OSN platforms. (shrink)

The travelling salesman problem (TSP) belongs to the class of NP-hard problems, in which an optimal solution to the problem cannot be obtained within a reasonable computational time for large-sized problems. To address TSP, we propose a hybrid algorithm, called GA-TCTIA-LBSA, in which a genetic algorithm (GA), tour construction and tour improvement algorithms (TCTIAs) and a list-based simulated annealing (LBSA) algorithm are used. The TCTIAs are introduced to generate a first population, and after that, a search is continued (...) with the GA. The problem of premature convergence of the GA to local optimum is tackled by a method called social disaster technique. Afterwards, the LBSA is applied to generate a new population based on one of two proposed operators called packing and judgement day. The proposed algorithm is implemented in the MATLAB environment, and its two variants, called GA-TCTIA-LBSA packing and GA-TCTIA-LBSA judgement day, are tested on symmetric and asymmetric instances from TSPLIB. The overall results demonstrate that the proposed GA-TCTIA-LBSAs offer promising results, particularly for small-sized instances. (shrink)

This research explores how gender shapes contraceptive management through in-depth interviews with 40 men and women of color ages 15 to 24, a life stage when the risk of unintended pregnancy is high in the United States. Although past research focuses on men’s contraception-avoidant behaviors, little sociological work has explored ways men engage in contraception outside of condoms, such as contraceptive pills. Research often highlights how women manage these methods alone. Our research identifies how young men of color do help (...) manage these methods through their engagement in contraceptive decision making and use. Men accomplish this without limiting their partners’ ability to prevent pregnancy. This is despite structural barriers such as poverty and gang-related violence that disproportionately affect low-income young men of color and often shape their reproductive goals. However, men’s engagement is still circumscribed so that women take on a disproportionate burden of pregnancy prevention, reifying gender boundaries. We identify this as a form of hybrid masculinity, because men’s behaviors are seemingly egalitarian but also sustain women’s individualized risk of unintended pregnancy. This research points to the complexity of how race, class, and gender intersect to create an engaged but limited place for men in contraceptive management among marginalized youth. (shrink)

This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This (...) division reflects the division of the book itself. The first type of results concern model-theoretic and complexity properties of hybrid logics. Since hybrid logics which we call standard are quite well investigated, the efforts focused on hybrid logics referred to as non-standard in this book. Non-standard hybrid logics are understood as modal logics with global counting operators ) whose expressive power matches the expressive power of binder-free standard hybrid logics. The relevant results comprise: 1. Establishing a sound and complete axiomatization for the modal logic K with global counting operators ), which can be easily extended onto other frame classes, 2. Establishing tight complexity bounds, namely NExpTime-completeness for the modal logic with global counting operators defined over the classes of arbitrary, reflexive, symmetric, serial and transitive frames ), MT), MD), MB), MK4) with numerical subscripts coded in binary. Establishing the exponential-size model property for this logic defined over the classes of Euclidean and equivalential frames ), MS5).Results of the second type consist of designing concrete deductive systems for standard and non-standard hybrid logics. More precisely, they include: 1. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for a rich class of binder-free standard hybrid logics. An interesting feature of indicated calculi is the nonbranching character of the rule, 2. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for non-standard hybrid logics. The internalization technique applied to a tableau calculus for the modal logic with global counting operators is novel in the literature, 3. Devising the first hybrid algorithm involving an inequality solver for modal logics with global counting operators. Transferring the arithmetical part of reasoning to an inequality solver turned out to be sufficient in ensuring termination.The book is directed to philosophers and logicians working with modal and hybrid logics, as well as to computer scientists interested in deductive systems and decision procedures for logics. Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity. (shrink)

In his essay 'Unpacking My Library... Again,' Homi Bhabha suggests that the liberal ideal of toleration has been challenged by colonial and postcolonial interactions and exchanges. Bhabha suggests that just as the ideal of equality has been problematized by the operation of gender and class difference, so too cultural and racial difference has exposed the contradictions inherent within the concept and the practice of toleration. This paper elaborates the critiques of toleration and recognition. It suggests that toleration is not (...) a benevolent gesture of generosity which unfortunately reaches a limit of applicability but a mechanism of Foucauldian pastoral care which enacts a 'civilizing mission' through the capture of paternalistic benevolence. (shrink)

In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language (a decidable system with the same complexity as orthodox propositional modal logic) to the strong Priorean language (which offers full first-order expressivity).We show that hybrid logic offers a genuinely first-order perspective on Kripke semantics: it is possible to define base logics which (...) extend automatically to a wide variety of frame classes and to prove completeness using the Henkin method. In the weaker languages, this requires the use of non-orthodox rules. We discuss these rules in detail and prove non-eliminability and eliminability results. We also show how another type of rule, which reflects the structure of the strong Priorean language, can be employed to give an even wider coverage of frame classes. We show that this deductive apparatus gets progressively simpler as we work our way up the expressivity hierarchy, and conclude the paper by showing that the approach transfers to first-order hybrid logic. (shrink)

In the present paper, we develop the algorithmic correspondence theory for hybrid logic with binder |$\mathcal {H}(@, \downarrow )$|⁠. We define the class of Sahlqvist inequalities for |$\mathcal {H}(@, \downarrow )$|⁠, and each inequality of which is shown to have a first-order frame correspondent effectively computable by an algorithm |$\textsf {ALBA}^{\downarrow }$|⁠.

Craig's interpolation lemma (if φ → ψ is valid, then φ → θ and θ → ψ are valid, for θ a formula constructed using only primitive symbols which occur both in φ and ψ) fails for many propositional and first order modal logics. The interpolation property is often regarded as a sign of well-matched syntax and semantics. Hybrid logicians claim that modal logic is missing important syntactic machinery, namely tools for referring to worlds, and that adding such machinery (...) solves many technical problems. The paper presents strong evidence for this claim by defining interpolation algorithms for both propositional and first order hybrid logic. These algorithms produce interpolants for the hybrid logic of every elementary class of frames satisfying the property that a frame is in the class if and only if all its point-generated subframes are in the class. In addition, on the class of all frames, the basic algorithm is conservative: on purely modal input it computes interpolants in which the hybrid syntactic machinery does not occur. (shrink)

We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” which increase while the system evolves but do not constrain the behaviour of the system. In this paper, we prove two main results: optimal o-minimal hybrid games are decidable; the model-checking of WCTL, an extension of CTL which can constrain the cost variables, is decidable over that model. This has to be compared with the same problems (...) in the framework of timed automata where both problems are undecidable in general, while they are decidable for the restricted class of one-clock timed automata. (shrink)

Basic hybrid logic extends modal logic with the possibility of naming worlds by means of a distinguished class of atoms (called nominals) and the so-called satisfaction operator, that allows one to state that a given formula holds at the world named a, for some nominal a. Hence, in particular, hybrid formulae include “equality” assertions, stating that two nominals are distinct names for the same world. The treatment of such nominal equalities in proof systems for hybrid logics (...) may induce many redundancies. This paper introduces an internalized tableau system for basic hybrid logic, significantly reducing such redundancies. The calculus enjoys a strong termination property: tableau construction terminates without relying on any specific rule application strategy, and no loop-checking is needed. The treatment of nominal equalities specific of the proposed calculus is briefly compared to other approaches. Its practical advantages are demonstrated by empirical results obtained by use of implemented systems. Finally, it is briefly shown how to extend the calculus to include the global and converse modalities. (shrink)

In the present paper, we continue the research in Zhao (2021, Logic J. IGPL) to develop the Sahlqvist completeness theory for hybrid logic with satisfaction operators and downarrow binders |$\mathcal {L}( @, {\downarrow })$|⁠. We define the class of restricted Sahlqvist formulas for |$\mathcal {L}( @, {\downarrow })$| following the ideas in Conradie and Robinson (2017, J. Logic Comput., 27, 867–900), but we follow a different proof strategy which is purely proof-theoretic, namely showing that for every restricted Sahlqvist (...) formula |$\varphi $| and its hybrid pure correspondence |$\pi $|⁠, |$\textbf {K}_{\mathcal {H}( @, {\downarrow })}+\varphi $| proves |$\pi $|⁠; therefore, |$\textbf {K}_{\mathcal {H}( @, {\downarrow })}+\varphi $| is complete with respect to the class of frames defined by |$\pi $|⁠, using a modified version |$\textsf {ALBA}^{{\downarrow }}_{\textsf {Modified}}$| of the algorithm |$\textsf {ALBA}^{{\downarrow }}$| defined in Zhao (2021, Logic J. IGPL). (shrink)

Representation of quantum states by statistical ensembles on the quantum phase space in the Hamiltonian form of quantum mechanics is analyzed. Various mathematical properties and some physical interpretations of the equivalence classes of ensembles representing a mixed quantum state in the Hamiltonian formulation are examined. In particular, non-uniqueness of the quantum phase space probability density associated with the quantum mixed state, Liouville dynamics of the probability densities and the possibility to represent the reduced states of bipartite systems by marginal distributions (...) are discussed in detail. These considerations are used to study ensembles of hybrid quantum-classical systems. In particular, nonlinear evolution of a single hybrid system in a pure state and unequal evolutions of initially equivalent ensembles are discussed in the context of coupled hybrid systems. (shrink)

Machery's case against hybrids rests on a principle that is too strong, even by his own lights. And there are likely important generalizations to be made about hybrids, if they do exist. Moreover, even if there were no important generalizations about concepts themselves, the term picks out an important class of entities and should be retained to help guide inquiry.

In sociology, there has been a controversy about whether there is any essential difference between a human being and a tool, or if the tool–user relationship can be defined by co-actor symmetry. This issue becomes more complex when we consider examples of AI and robots, and even more so following progress in the development of various bio-machine hybrid technologies, such as robots that include organic parts, human brain implants, and adaptive prosthetics. It is argued that a concept of autonomous (...) agency based on organismic embodiment helps to clarify the situation. On this view, agency consists of an asymmetrical relationship between an organism and its environment, because the continuous metabolic and regulatory activity of the organism gives rise to its own existence, and hence its specific behavioral domain. Accordingly, most of current technologies are excluded from the class of autonomous agents. Instead, they are better conceptualized as interfaces that mediate our interactions with the world. This has important implications for design: Rather than trying to help humans to achieve their goals by duplicating their agency in artificial systems, it would be better to empower humans directly by enhancing their existing agency and lived experience with technological interfaces that can be incorporated into their embodiment. This incorporation might be especially facilitated by bio-machine hybrid technology that is designed according the principles of biological autonomy and multi-agent coordination dynamics. (shrink)

In the past few decades, a multi-billion-dollar “therapeutic boarding school” industry has emerged for America’s troubled upper-class youth. This article examines the therapeutic models prominent in these programs and the ways they conflict with dominant notions of masculinity. Using in-depth interviews and ethnographic fieldwork inside a Western therapeutic boarding school, I show how privileged young men navigate this masculinity dilemma by constructing hybrid masculinities that incorporate qualities associated with femininities and subordinate masculinities. However, these qualities are incorporated strategically (...) and in ways that reproduce and obscure privileges associated with students’ positions as young, upper-class, white men. Using hybrid masculine styles that include humility, commitment to service, and open emotional expression, students re-assert dominant positions as leaders and as “better” men in contrast to various others. (shrink)

XML documents and, more generally, semistructured data, can be seen as labelled graphs. In this paper we set a correspondence between such graphs and the models of a language of hybrid multimodal logic. This allows us to characterize a schema for semistructured data as a formula of hybrid multimodal logic, and instances of the schema as models of this formula. We also investigate how to express in such a logic integrity constraints on semistructured data, in particular some classes (...) of constraints widely considered in the literature. The contribution of this work is twofold: 1) We generalize the notion of schema, by proposing a definition of schema were references are “well typed”. 2) We formalize semistructured data, schema for semistructured data and integrity constraints in a unique framework, namely hybrid multimodal logic. (shrink)

Dans cette contribution, nous nous proposons d’aborder la perception multisensorielle du rythme du français par la réalisation d’un codage qui s’appuie sur un système de couleurs et de symboles d’extraits filmiques ayant pour objectif l’appropriation du rythme du français. Il s’agira donc d’apporter un éclairage théorique et pédagogique sur l’enseignement/apprentissage du rythme du Français Langue Étrangère en classes de langue pour des apprenants de FLE non-spécialistes de langues. Dans un premier temps, nous présenterons les fondements théoriques sur lesquels repose notre (...) approche pédagogique. Ensuite, nous mettrons en pratique le codage rythmique avec des exemples issus d’une expérimentation dans le cadre d’une recherche-action par un dispositif hybride ayant pour objectif l’appropriation de la prononciation du français au niveau C1 du Cadre européen commun de référence pour les langues en contexte universitaire. (shrink)

Gender ideologies are embedded in intersecting race, class, and gender systems. Yet Black masculinity is often defined one-dimensionally, without attention to class variation in gender enactment. Particularly, with regard to heterosexual partnering, representations of Black masculinity most often involve men enacting compensatory displays to account for having too little masculine capital to meet the dominant culture’s protector–provider prerequisites for accomplishing marital masculinity. Drawing from interviews with 42 never-married Black professional men, I explore their ideas about how masculinity ought (...) to be done within the marital relationship—a critical site for the reproduction of gender inequality. Findings reveal that these men construct “Black professional hybrid masculinity” around a simultaneously racialized and classed compensatory strategy of masculine protection and equitable spousal sharing, resisting simple classification as either hegemonic or counterhegemonic. Rather, it is a distinctly hybrid masculine strategy. These men cherry-pick hegemonic gender norms to reconstruct gender identities that reaffirm their sense of manhood and idealize their future wives as symbols of hybrid femininity—work-devoted women who are also femininely in need of masculine protection. This research offers an intersectional extension of hybrid masculinity and illustrates the need for heterogeneous and context-varied theories of how Black men do gender. (shrink)

Developments in biological technology in the last few decades highlight the surprising and ever-expanding practical benefits of stem cells. With this progress, the possibility of combining human and nonhuman organisms is a reality, with ethical boundaries that are not readily obvious. These inter-species hybrids are of a larger class of biological entities called “chimeras.” As the concept of a human-nonhuman creature is conjured in our minds, either incredulous wonder or grotesque horror is likely to follow. This paper seeks to (...) mitigate those worries and demotivate reasonable concerns raised against chimera research, all the while pressing current ethical positions toward their plausible conclusions. -/- In service of this overall aim, first, I intend to show that chimeras are far less foreign and fantastic in light of recent research in the lab; second, I intend to show that anti-realist (so-called “constructivist”) commitments regarding species ontology render the species distinction (i.e., the divide between human and nonhuman) superfluous as a basis for ethical practice; and third, I discuss some prevailing dignity accounts regarding the practical ethics of the creation, research, and treatment of chimeras. Consequently I intend to show that the adoption of this particular set of views (constructivist ontology, capacity-based ethics) in conjunction with recent research ought to justify a parallel with what we accord to humans persons, and that trajectory allows for cases of moral permissibility. (shrink)

The distinctive feature of a hybrid view (such as Nozick’s “utilitarianism for animals, Kantianism for people”) is that it divides moral patients into two classes: call them dersons and uersons. Dersons have a deontological kind of moral status: they have moral rights against certain kinds of optimific harms. Uersons, by contrast, have a utilitarian kind of moral status: their interests are morally important (in proportion to the magnitude of those interests), but uersons do not have deontological moral rights or (...) any other kinds of deontological protections. In this paper, we discuss and critically evaluate three ways of supporting a hybrid view: a case-based argument; an autonomy-based rationale; and a rationale based in a capacity for what we call deep commitments. Finally, we discuss a way in which considerations about the moral significance of relationships might support an approximation of a hybrid view. (shrink)

Drawing on theories of masculinities, I analyze how a U.S. government funded “responsible fatherhood” program utilized a political discourse of hybrid masculinity to shape disadvantaged men’s ideas of successful fathering. Using data from three sources that uniquely traces how this discourse traveled from policy to program implementation—including analysis of the curriculum, in-depth interviews with 10 staff, and in-depth interviews and focus groups with 64 participating fathers—I theorize hybrid fatherhood. As a discourse of paternal involvement that incorporates stereotypically feminine (...) styles such as emotional expressiveness, hybrid fatherhood discursively reconfigures patriarchy by drawing distinctions between mothering and fathering and dominant and subordinate forms of masculinity as they relate to men’s parenting. I analyze how the promotion of hybrid fatherhood for poor men of color legitimates and sustains gender, race, and class inequalities through U.S. welfare policy. (shrink)

The study considers the development of methods for detecting anomalous network connections based on hybridization of computational intelligence methods. An analysis of approaches to detecting anomalies and abuses in computer networks. In the framework of this analysis, a classification of methods for detecting network attacks is proposed. The main results are reduced to the construction of multi-class models that increase the efficiency of the attack detection system, and can be used to build systems for classifying network parameters during the (...) attack. A model of an artificial immune system based on an evolutionary approach, an algorithm for genetic-competitive learning of the Kohonen network and a method of hierarchical hybridization of binary classifiers with the addition to the detection of anomalous network connections have been developed. The architecture of the network distributed attack detection system has been developed. The architecture of the attack detection system is two-tier: the first level provides the primary analysis of individual packets and network connections using signature analysis, the second level processes the processing of aggregate network data streams using adaptive classifiers. A signature analysis was performed to study network performance based on the Aho-Korasik and Boyer-Moore algorithms and their improved analogues were implemented using OpenMP and CUDA technologies. The architecture is presented and the main points of operation of the network attack generator are shown. A system for generating network attacks has been developed. This system consists of two components: an asynchronous transparent proxy server for TCP sessions and a frontend interface for a network attack generator. The results of the experiments confirmed that the functional and non-functional requirements, as well as the requirements for computing intelligent systems, are met for the developed attack detection system. (shrink)

Based on the problem of e-commerce logistics and distribution network optimization, this paper summarizes the solution ideas and solutions proposed by domestic and foreign scholars and designs a method to optimize the B2C e-commerce logistics and distribution network by taking into account the special traffic conditions in the city. The logistics network optimization model is established and solved by combining various methods. Taking into account the new target requirements constantly proposed in the modern logistics environment, the vehicle path problem under (...) the generalized objective function is studied, and the multidimensional impact maximization problem in this type of problem is proposed and modeled. The problem follows from the path planning for emergency material delivery. Given locations, roads, and multiple classes of supplies in a map, each road allows vehicles to deliver each class of supplies with a certain probability. The goal of the problem is how to select a finite number of locations in the map as centers of supplies so that the number of locations that can be effectively covered by vehicle paths from them is maximized with the desired probability. For the first time, we used a hybrid genetic algorithm to optimize the e-commerce logistics path, and the optimized results are more reasonable than other algorithms. (shrink)

In this paper, the stability and stabilization issues for a class of delayed neural networks with time-varying hybrid impulses are investigated. The hybrid effect of two types of impulses including both stabilizing and destabilizing impulses is considered simultaneously in the analysis of systems. To characterize the occurrence features of impulses, the concepts of average impulse interval and average impulse strength are employed. Based on the analysis of stability, a pinning impulsive controller which can ensure the global exponential (...) stability of the studied neural networks is designed by pinning a small fraction of neurons. Finally, two numerical examples are given to illustrate the effectiveness of the proposed control schemes for delayed neural networks with hybrid impulses. (shrink)

In this paper I aim to make a comparative study of Chang Yi-mou’s films and the novels of a Taiwanese regionalist novelist— Wang Chen-ho, for both of the two artists reveal great impulse of postcolonialist view in representing history and gender/class, though with different emphasis. Chang. is now one of the most successful movie directors in the Asia-Pacific region, just like Ang Lee, and enjoys high prestige and international fame—a great example of “globalization” and “multiculturalism,” whereas Wang has always (...) been recognized as one of the most successful Taiwanese nativist novelists because of his experimental representation of the hybridized Taiwanese languages by skillfully blending “Chinglish,” Japanese, and other Taiwanese dialects within his story-telling. In other words, in this paper, I intend to make a comparative study of the micropolitics of how Chang’s and Wang ’s works reveal a postcolonial discourse/condition in representing history/gender/class. Critical approaches that will be employed in this project are mainly the micropolitics in the postcolonialist poetics of Homi Bhabha, Said, and Deleuze and Guattari. (shrink)

In this paper, two scaling matrices are used to research the synchronization of different dimensional chaotic systems with unknown parameters. Firstly, the definition of synchronization of chaotic systems with different dimensions is introduced. Secondly, based on Lyapunov stability theorem and adaptive control method, an adaptive feedback hybrid controller and parameter adaptive laws are designed to realize synchronization of uncertain chaotic systems with different dimensions. Finally, three numerical experiments are carried out to verify the effectiveness of the proposed method.

We propose a novel edge detector in the presence of Gaussian noise with the use of proximal support vector machine (PSVM). The edges of a noisy image are detected using a two-stage architecture: smoothing of image is first performed using regularized anisotropic diffusion, followed by the classification using PSVM, termed as regularized anisotropic diffusion-based PSVM (RAD-PSVM) method. In this process, a feature vector is formed for a pixel using the denoised coefficient’s class and the local orientations to detect edges (...) in all possible directions in images. From the experiments, conducted on both synthetic and benchmark images, it is observed that our RAD-PSVM approach outperforms the other state-of-the-art edge detection approaches, both qualitatively and quantitatively. (shrink)

We consider one aspect of the problem of specification and verification of reactive real-time systems which involve operations and constraints concerning time. Time is continuous what is motivated by specifications of hybrid systems. Our goal is to try to find a framework that is based on applied first order logic that permits to represent the verification problem directly, completely and conservatively , and that is apt to describe interesting decidable classes, maybe showing way to feasible algorithms. To achieve this (...) goal we use a first order timed logic that is an extension of a decidable theory of reals with timed functions. This logic permits, on the one hand, to rewrite directly and completely requirements and, on the other hand, to describe executions of various timed algorithms—here we consider block Gurevich abstract state machines because of their theoretical clarity and sufficient expressive power. Then we describe one decidable class of the verification problem that is based on notions reflecting finiteness properties of systems of control. These notions may be of independent interest, as, in particular, they give a way to describe a limited usage of arithmetics preserving decidability that is not covered by existing model-theoretic approaches. As an example we consider the generalized railroad crossing problem that we analyze in its entirety. (shrink)

This essay tackles the core question of machine emotion research—“Can machines have emotions?”—with regard to “social robots”, the new class of machines designed to function as “social partners” for humans. Our aim, however, is not to provide an answer to that question. Rather we argue that “robotics of emotion” moves us to ask a different question—“Can robots establish meaningful affective coordination with human partners?” Developing a series of arguments relevant to theory of emotion, philosophy of AI and the epistemology (...) of synthetic models, we argue that the answer is positive, and lays grounds for an innovative ethical approach to emotional robots. This ethical project, which elsewhere we introduced as “synthetic ethics”, rejects the diffused ethical condemnation of emotional robots as “cheating” technology. Synthetic ethics focuses on the sustainability of emerging mixed human–robot social ecologies. Therefore, it rejects the purely negative ethical approach to social robotics, and promotes a critical case-by-case inquiry into the type of human flourishing that can result from human–robot affective coordination. (shrink)

In an effort to ensure access to justice, Australian courts have fashioned a unique hybrid opt in-opt out process known as “closed classes.” The rationale that underlies closed classes is to prevent free-riding that may undercut the position of funders and class action law firms reliant upon entering into agreements with a critical mass of class members. However, multiple closed classes also pose problems for respondents seeking the comfort of finality. To secure settlement and thus ultimately benefit (...) participating class members, Australian courts have formulated a procedure whereby the closed class is opened and nonparticipating class members are invited to either register their claims or opt out so that thereafter those who do not register and those who opt out are effectively precluded by res judicata from making further related claims. We argue that Australian courts’ support of closed classes, while driven by pragmatism, has produced unintended consequences. Many relate to the ethical dilemmas faced by class action law firms and litigation funders seeking to advance the interests of participating class members over and above those of nonparticipating class members. The Full Federal Court has recently approved an alternative common fund approach. However, questions remain as to whether Australian courts are appropriately equipped to measure and compare the alternative transaction costs associated with the current and proposed approach, and whether they are appropriately equipped to determine the commercial rectitude and fairness of litigation funding agreements. (shrink)

Aiming at the interference of the delay term in continuous dynamics to the impulsive systems, we study the potential effects of time delay on the stability of a class of impulsive neural networks in this paper. Two cases of delay are considered. For the case of small delay, a sufficient condition for the stability of delayed INNs is obtained by virtue of the average impulsive interval method. The derived results illustrate that within limits, the convergence rate of the system (...) becomes larger with the increase of time delay. For another case, a strict comparison principle is proposed to prove that the impulsive system still maintains the original stability for any large but bounded delay under certain conditions. In particular, as an extension, the stability of delayed INNs for hybrid impulses containing both stabilizing and destabilizing impulses is also discussed. Finally, three examples are simulated to demonstrate the validity of the theoretical results. (shrink)