In network science, one of the significant and challenging subjects is the detection of communities. Modularity [1] is a measure of community structure that compares connectivity in the network with the expected connectivity in a graph sampled from a random null model. Its optimisation is a common approach to tackle the community detection problem. We present a new method for modularity maximisation, which is based on the observation that modularity can be expressed in terms of total variation on the graph and signless total variation on the null model. The resulting algorithm is of Merriman–Bence–Osher (MBO) type. Different from earlier methods of this type, the new method can easily accommodate different choices of the null model. Besides theoretical investigations of the method, we include in this paper numerical comparisons with other community detection methods, among which the MBO-type methods of Hu et al. [2] and Boyd et al. [3], and the Leiden algorithm [4].

Marlo et al. (2015) claim that Kuria verbal tone morphology undermines three well-established principles of locality and modularity: (1) Phonological Locality: the assumption that rules and constraints may only evaluate a small window of phonological objects; (2) Cyclic Locality: the stratal organization of morphophonology into stems, words and phrases; and (3) Indirect Reference: the claim that phonological rules and constraints cannot directly access morphosyntactic information. Sande et al. (2020) turn this claim into an argument for a new model of the morphosyntax–phonology interface, Cophonologies by Phase, which erases the separation between phonology and morphology and abandons standard locality domains in favour of syntactic phases. In this article, I show that the conclusions of both articles are unfounded: the Kuria data follow naturally from an analysis based on autosegmental tone melodies in a version of Stratal Optimality Theory which embraces all three restrictions, Phonological and Cyclic Locality and Indirect Reference, the latter implemented by Coloured Containment Theory. I argue that this approach obviates the technical and conceptual objections raised by Marlo et al. against a tone-melody analysis of Kuria, and makes more restrictive predictions about possible systems of tonal morphophonology compared to construction phonology frameworks.

In previous work, summarized in this paper, we proposed an operation of parallel composition for rewriting-logic theories, allowing compositional specification of systems and reusability of components. The present paper focuses on compositional verification. We show how the assume/guarantee technique can be transposed to our setting, by giving appropriate definitions of satisfaction based on transition structures and path semantics. We also show that simulation and equational abstraction can be done componentwise. Appropriate concepts of fairness and deadlock for our composition operation are discussed, as they affect satisfaction of temporal formulas. We keep in parallel a distributed and a global view of composed systems. We show that these views are equivalent and interchangeable, which may help our intuition and also has practical uses as, for example, it allows global-style verification of a modularly specified system. Under consideration in Theory and Practice of Logic Programming (TPLP).

How does the quantity and quality of innovation in an organization vary with the architecture of the product that the organization produces is a recurring theme in literature. This paper attempts to answer this question in quantitative terms and establishes an empirical relationship. While establishing this relationship, this paper also finds objective and quantitative expressions both for the product architecture and innovation in such a way that both the qualitative and quantitative aspects of innovation are accounted for. In this process three new formulations, which can be calculated using the data available in public domain, have been established for architectural modularity, architectural complexity and innovativeness of an idea respectively.These formulations have been verified by collecting innovation data in an automobile manufacturing company and analyzing it from the perspective of architecture and innovation. Finally, the relatioships between architectural parameters and innovativeness have been explored. Implications include the type of architecture more amenable to innovation, the impact of innovation on architectural complexity and a methodological contribution to operationalizing innovation.

Williams syndrome (WS) is a rare genetic disorder, characterised at the cognitive level by a phenotypic pattern of relative weaknesses (e.g., visuospatial skills) and strengths (e.g., some linguistic and nonverbal reasoning skills). In this study, we performed a systematic search and meta-analysis on lexical-semantic processing in WS, an area of knowledge in which contradictory results have been obtained. We found 42 studies matching our criteria, and, in total, 78 effect sizes were included in the meta-analysis. Results showed that individuals with WS have worse lexical-semantic skills than individuals with typical development, whether matched by chronological or mental age. However, people with WS have better lexical-semantic skills than people diagnosed with other cognitive disabilities. Finally, vocabulary skills seem to be relatively spared in WS, although they present some difficulties in semantic processing/integration, semantic memory organisation and verbal working memory skills. Taken together, these results support a neuroconstructivist approach, according to which the cognitive mechanisms involved in lexical-semantic processing may be modulated, even when performance in some tasks (i.e., vocabulary tasks) might be optimal.

We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic logical matrices. Our constructions preserve finite-valuedness in the context of multiple-conclusion logics, whereas, unsurprisingly, it may be lost in the context of single-conclusion logics. Besides illustrating our constructions over a wide range of examples, we also develop concrete applications of our semantic characterizations, namely regarding the semantics of strengthening a given many-valued logic with additional axioms, the study of conditions under which a given logic may be seen as a combination of simpler syntactically defined fragments whose calculi can be obtained independently and put together to form a calculus for the whole logic, and also general conditions for decidability to be preserved by the combination mechanism.

Numerous works have been proposed to generate random graphs preserving the same properties as real-life large-scale networks. However, many real networks are better represented by hypergraphs. Few models for generating random hypergraphs exist, and also, just a few models allow to both preserve a power-law degree distribution and a high modularity indicating the presence of communities. We present a dynamic preferential attachment hypergraph model which features partition into communities. We prove that its degree distribution follows a power-law, and we give theoretical lower bounds for its modularity. We compare its characteristics with a real-life co-authorship network and show that our model achieves good performances. We believe that our hypergraph model will be an interesting tool that may be used in many research domains in order to reflect better real-life phenomena.

Interaction networks can provide detailed information regarding ecological systems, helping us understand how communities are organized and species are connected. The goals of this study were to identify the pattern of interaction between bats and ectoparasites in urban green areas of Grande Aracaju, Sergipe, and calculate connectance, specialization, nesting, modularity and centrality metrics. Bats were captured using 10 mist nets inside and on the edges of the fragments, and the collected ectoparasites were stored in 70% alcohol. All analyses were performed using R software. The interaction network consisted of 10 species of bats and 13 ectoparasites. Connectivity was considered low (0.12). The specialization indices for ectoparasites ranged from 0.50 to 1.00, and the value obtained for the network was 0.96, which is high. The observed nesting metric was low (wNODF = 1.47), whereas the modularity was high (wQ = 0.74), indicating that the studied network had a modular topology. All centrality metrics had low values. The observed modularity may have been caused by the evolutionary history of the bats and ectoparasites involved and the high specificity index of the interactions. The low centrality values may be associated with low connectivity and a high degree of specialization. This study provides relevant information on bat–parasite interactions in an urban environment, highlighting the need for further studies to improve our understanding of host–parasite interaction networks.

In January 1909, the students of the Azhar, the Islamic world’s most prestigious university, went on strike. Protesting recent curricular and administrative changes introduced by the Egyptian Khedive, they demanded increased material support and asserted the university’s right to govern itself. After several weeks of demonstrations that drew thousands of supporters into the streets of Cairo, the Khedive suspended the reforms that first caused the Azharis to walk out. Oddly, this remarkable mobilization has nearly vanished into obscurity. Drawing on reporting from the Egyptian press and intelligence memoranda from the Egyptian Ministry of Interior, this article argues that the apparent incongruity of Azharis on strike was no mistake. Their willful rejection of ascribed categories helps to explain both why this movement of unionized seminarians speaking a language of self-government proved so striking for contemporary supporters and critics alike and why this event has slipped through the cracks of a historiography still framed by those very categories. Long forgotten in histories of both nationalism and organized labor, the Azhar strike represented a pivotal moment in the emergence of mass politics in Egypt. In invoking “union,” the Azharis engaged in multiple, overlapping acts of comparison. Inspired by the modular repertoires of militant labor, they simultaneously hailed the constitutional revolution of the Ottoman Committee of Union and Progress as a model for political transformation. Rooted in a self-conscious critique of colonial comparativism, their struggle thereby furnished new materials with which to elaborate a telescopic series of anti-colonial solidarities that were themselves fundamentally comparative.

In recent years, treating host–parasite associations as bipartite interaction networks has proven a powerful tool to identify structural patterns and their likely causes in communities of fish and their parasites. Network analysis allows for both community-level properties to be computed and investigated, and species-level roles to be determined. Here, using data from 31 host–parasite interaction networks from local fish communities around the world, we test for latitudinal trends at whole-network level, and taxonomic patterns at individual parasite species level. We found that while controlling for network size (number of species per network), network modularity, or the tendency for the network to be subdivided into groups of species that interact mostly with each other, decreased with increasing latitude. This suggests that tropical fish–parasite networks may be more stable than those from temperate regions in the event of community perturbations, such as species extinction. At the species level, after accounting for the effect of host specificity, we observed no difference in the centrality of parasite species within networks between parasites with different transmission modes. However, species in some taxa, namely branchiurans, acanthocephalans and larval trematodes, generally had higher centrality values than other parasite taxa. Because species with a central position often serve as module connectors, these 3 taxa may play a key role in whole-network cohesion. Our results highlight the usefulness of network analysis to reveal the aspects of fish–parasite community interactions that would otherwise remain hidden and advance our understanding of their evolution.