Properties of non‐canonical GC base pairs and their relations with mechanochemical cleavage of DNA are analyzed. A hypothesis of the involvement of the transient GC wobble base pairs both in the mechanisms of the mechanochemical cleavage of DNA and epigenetic mechanisms involving of 5‐methylcytosine, is proposed. The hypothesis explains the increase in the frequency of the breaks of the sugar‐phosphate backbone of DNA after cytosines, the asymmetric character of these breaks, and an increase in break (...) frequency in CpG after cytosine methylation. As an alternative hypothesis, probable implication of GC+ Hoogsteen base pairs is considered, which now exemplify the best‐studied non‐canonical GC base pairs in the DNA double helix. Also see the video abstract here https://youtu.be/EUunVWL0ptw. (shrink)

Frequency selective surface -based intelligent spatial filters are capturing the eyes of the researchers by offering a dynamic behavior when exposed to the electromagnetic radiations. In this manuscript, a concept of creating complementary structures which stems from Babinet’s principle is illustrated. A hybrid complementary pair of FSS comprising double square loop FSS and double square slot FSS on either side of the dielectric substrate is proposed. DSLFSS offers band-pass behavior and can be placed as a superstrate, whereas DSSFSS behaves as (...) a band-stop intelligent spatial filter that blocks the radiations falling on it, thus making them applicable for use as a substrate. The technique utilized for analyzing DSLFSS and DSSFSS structures is based on the equivalent circuit modeling and transmission line methodology. The CPFSS structure offers the design simplicity, hence, suitable for placing them with the printed patch antenna radiators in wireless networking devices operating in sub-6 GHz 5G spectrum. DSLFSS offers band-pass behavior ranging from 2.99 to 5.56 GHz, whereas DSSFSS offers band-stop behavior ranging from 2.85 to 5.42 GHz covering all n77, n78, and n79 bands of FR1 spectrum of sub-6 GHz 5G range. The passband and the stopband offered by the two structures of CPFSS geometry are stable to oblique angles of incidence and the proposed design also offers polarization-independent behavior. The thickness of the dielectric region existing within the pair of designed structures is critical for the location of the passbands and the stopbands. The impact of the overall thickness of the dielectric substrate on the passbands and stopbands is also reported in this article. (shrink)

B. Readings (University in Ruins. Cambridge: Harvard University Press, 1996) argued that universities have abandoned their original project of promoting a national culture and have tried to substitute by embracing globalization, but the vagueness and incoherence of the concept has failed to return purpose to the University. The academic treatment of corporate social responsibility illustrates this dilemma. For a generation after H.R. Bowen (Social Responsibilities of the Businessman. New York: Harper & Row, 1953) founded the field, scholars struggled to fit (...) the concept within a national system of pluralistic power-sharing among a variety of institutions that would define and enforce standards of responsibility necessary for the general good of American society. That understanding changed in the nineteen eighties, shortly after corporate executives had united to an unprecedented degree to direct the power of government in their interests, influence the public agenda, and roll back the power of unions. In response, business ethicists began to reformulate corporate social responsibility as a voluntary practice on the part of these same executives. Since the Kantian and Lockean principles upon which this approach was based were themselves problematic, it is not surprising that the experience gained over the last generation casts doubt on the efficacy of this reliance on voluntary restraint and personal initiative. However, circumstances that include the failure of globalization to deliver on its promises may have changed sufficiently in recent years to revive interest in approaches that acknowledge the importance of countervailing power for encouraging greater corporate social responsibility. (shrink)

Using educational robots to integrate computational thinking with cross-disciplinary content has gone beyond Science, Technology, Engineering, and Mathematics, to include foreign-language learning and further cross-context target-language acquisition. Such integration must not solely emphasise CT problem-solving skills. Rather, it must provide students with interactive learning to support their target-language interaction while reducing potential TL anxiety. This study aimed to validate the effects of the proposed method of pair programming along with question-and-response interaction in a board-game activity on young learners’ CT skills (...) and TL learning across contexts. Two Grade 6 classes, one with 16 students who were studying Chinese as a Second Language and the other with 16 students who were studying English as a Foreign Language, participated in the activity. A series of instruments on achievement assessment, questionnaires on CT skills and TL anxiety, and sequential learning behaviour analysis were used to critically examine the results. The main conclusion is that the EFL group showed better social skills of cooperation on CT and lower TL learning anxiety, while the CSL group demonstrated better problem-solving skills in CT, but presented more behaviours of trial-and-error loops. Results not only contribute suggestions for cross-disciplinary learning but also provide support for cross-context instruction beyond educational coursework. (shrink)

We introduce the notion of a lovely pair of models of a simple theory T, generalizing Poizat's “belles paires” of models of a stable theory and the third author's “generic pairs” of models of an SU-rank 1 theory. We characterize when a saturated model of the theory TP of lovely pairs is a lovely pair , finding an analog of the nonfinite cover property for simple theories. We show that, under these hypotheses, TP is also simple, and we (...) study forking and canonical bases in TP. We also prove that assuming only that T is low, the existentially universal models of the universal part of a natural expansion TP+ of TP, are lovely pairs, and “simple Robinson universal domains”. (shrink)

NEMO means Network Mobility which is the extension of Mipv6 and it is invented for accessing internet for the group of people when they are travelling in Vehicle as Network group. During handoff while exchanging Binding Updates between the Mobile Network Node, Correspondent Node and Home Agent, many security threats are present during those messages exchange. It may prone to several standard malicious attacks on the BU and Binding Acknowledgement. An efficient end-to-end security method is required to protect the BU (...) Exchange between MNN, HA and CN. In this paper, a secure architecture is proposed to provide authentication and confidentiality at each level of communication using a 3-Party Key Exchange called 3-PKE-NEMO with the help of Bilinear Pairing Theorem. Handoff delay is reduced without compromising security strength. The whole experimentation of this proposed work is carried out using NS2 simulation tool and authentication proof is given using BAN logic between all the nodes in NEMO. The proposed security architecture is compared with related existing solutions and found to be more secure. (shrink)

Being based on the observation that a conjugate pair of representations, or dual logic, is a necessity under the presence of chaos, a new interpretation of quantum theory is proposed as describingproto-chaos. This chaos has to be a result of basic nonlinearity in the dynamic structure, of which, however, the nonchaotic phase seems to lie ourside the reach of experimental technique, thus the term proto-chaos. Nevertheless, assuming no extra degrees of freedom, the interpretation clarifies a number of riddles posed hitherto (...) and throws some light on the overall hierarchical structure of our understanding and description of nature. (shrink)

(1) This is Part 2 of the semantic theory I call TM. In Part 1, I developed TM as a theory in the analytic philosophy of language, in lexical semantics, and in the sociology of relating occasions of statement production and comprehension to formal and informal lexicographic conclusions about statements and lexical items – roughly, as showing how synchronic semantics is a sociological derivative of diachronic, person-relative acts of linguistic behavior. I included descriptions of new cognitive psychology experimental paradigms which (...) would allow us to precisely measure the two constituents of semantics – meaning and reference – both at the level of individual speech acts and at the level of societal convergences, i.e. at both the token and type levels. -/- (2) In the Introduction, I recapitulate the arguments of Part 1. The Introduction also develops some analytic philosophical and lexical semantics themes not discussed in Part 1. -/- (3) After the Introduction, I present neural TM (nTM) as a theory of the neural mechanisms and processes which give rise to these person/occasion-relative acts of linguistic behavior. I develop nTM at three levels, the first two of which describe linguistic/semantic functions independently of their cortical locations. At the first level, I describe individual word-to-word and word-to-object connections. At the second level, I describe the corresponding structuralist networks of which they are the individual components. At this level, I introduce some key linguistic concepts of TM – its graded meaning, reference, and generalization sets, and the types of statements which express various levels of word-to-word and word-to-object relationships among lexical items which, because of the constraints they impose on the use of those lexical items in statements we produce and comprehend, are concepts. This constitutes the second structural level of nTM. -/- (4) At the third level, I associate the non-localized structures of the previous levels with cortically located neural structures and with the fasciculi that connect them. I distinguish neural areas in which primary (phonetic) and secondary (orthographic) lexicons are stored in long-term memory. I also describe the embodied concepts which co-exist in the anterior temporal lobes with the images they lexicalize. These concepts are often said to name physical objects and their features, although what they in fact name are kinds of physical objects and features. I describe how conceptual constraints and referential constraints interact to channel our intentions to say how things are into statements which are semantically well-formed, and which consequently successfully communicate information. -/- (5) Following this presentation of nTM, I examine five prominent neural semantic theories. I point out what is wrong with each of them as far as their explanations of semantics are concerned, and I also indicate how nTM can replace the “semantic cores” of those theories. -/- (6) The two basic mistakes made by neuroscience semantic theories, as I will explain, are (i) that all but one of them regard semantics as a matter of the association of words with perceptual images, and of generalizations from those associations; and (ii) that they all rely on an unspecified set of neural structures which purportedly encode the meaning of concepts in abstraction from their phonological and orthographic forms. nTM maintains, in contrast, that there are no abstract neural representations of semantic content. Neural constraints on our linguistic behavior, especially on our ascriptive and co-ascriptive use of words, express the semantic constraints on those words which make them concepts. That is the semantic content of words. -/- (7) I next consider several results from neuroscience experimental data which have been given one interpretation by one or another of the standard neurosemantic theories, but to which nTM gives a different interpretation. I include several predictions which I have found neither confirmed nor disconfirmed in the experimental neuroscience literature. -/- (8) After a concluding section in which I summarize the major changes to neurosemantic theory introduced by TM, and the analytic philosophy of language and lexical semantics contexts within which TM is situated, there follows an appendix in which I discuss neural net AI, and make some recommendations for implementing nTM in silicon. (shrink)

This paper evaluates Husserl’s and Merleau-Ponty’s phenomenological notion of pairing in light of a representative variety of findings and views in contemporary developmental psychology. This notion belongs to the direct social perception framework, which suggests that the fundamental access to other minds is intuitive, or perceptual. Pairing entails that the perception of other minds relies merely on first-person embodied experience and domain-general processes. For this reason, pairing is opposed to cognitive nativist views that assume specialized mechanisms for low-level mental state (...) attribution, while it is compatible with acknowledging innate affective tendencies. I criticize cognitive nativism for being based on ambiguous evidence. I argue that in early social interactions infants experience sufficient self–other similarities to ground the most primitive perception of others as minded beings. I show that pairing can account for the ontogenetically earliest perceptions of others’ actions and emotions, as well as for the earliest perception of others’ perceptions. (shrink)

Relationships of physical resemblance to personality similarity and social affiliation have generated considerable discussion among behavioral science researchers. A “twin-like” experimental design explores associations among resemblance in appearance, the Big Five personality traits, self-esteem, and social attraction within an evolutionary framework. The Personality for Professionals Inventory, NEO/NEO-FFI-3, Rosenberg Self-Esteem Scale, and a Social Relationship Survey were variously completed by 45 U-LA pairs, identified from the “I’m Not a Look-Alike” project, Mentorn Media, and personal referrals. The mean U-LA intraclass correlations (...) were negligible for all Big Five personality traits on the PfPI and NEO/NEO-FFI-3. In contrast, mean ri values of.53 and.15 for monozygotic and dizygotic reared-apart twins, respectively, have been reported for these personality measures. The U-LA self-esteem correlation was also below the correlations reported for MZ and DZ reared-together twins. Finally, far fewer U-LAs expressed close social relationships than MZA and DZA twins. The present study extends earlier findings indicating that appearance is not meaningfully related to personality similarity and social relatedness. The criticism that MZ twins are alike in personality because their matched looks invite similar treatment by others is refuted. A more judicious interpretation is reactive genotype-environment correlation, namely that MZ twins’ similar personalities evoke similar reactions from others. MZ twins’ close social relations most likely derive from their perceptions of genetically based within-pair similarities that are lacking in U-LAs. (shrink)

We prove that any proof of a [Formula: see text] sentence in the theory [Formula: see text] can be translated into a proof in [Formula: see text] at the cost of a polynomial increase in size. In fact, the proof in [Formula: see text] can be obtained by a polynomial-time algorithm. On the other hand, [Formula: see text] has nonelementary speedup over the weaker base theory [Formula: see text] for proofs of [Formula: see text] sentences. We also show that (...) for [Formula: see text], proofs of [Formula: see text] sentences in [Formula: see text] can be translated into proofs in [Formula: see text] at a polynomial cost in size. Moreover, the [Formula: see text]-conservativity of [Formula: see text] over [Formula: see text] can be proved in [Formula: see text], a fragment of bounded arithmetic corresponding to polynomial-time computation. For [Formula: see text], this answers a question of Clote, Hájek and Paris. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

This paper addresses the strength of Ramsey's theorem for pairs ($RT^2_2$) over a weak base theory from the perspective of 'proof mining'. Let $RT^{2-}_2$ denote Ramsey's theorem for pairs where the coloring is given by an explicit term involving only numeric variables. We add this principle to a weak base theory that includes weak König's Lemma and a substantial amount of $\Sigma^0_1$-induction (enough to prove the totality of all primitive recursive functions but not of all primitive (...) recursive functionals). In the resulting theory we show the extractability of primitive recursive programs and uniform bounds from proofs of $\forall\exists$-theorems. There are two components of this work. The first component is a general proof-theoretic result, due to the second author, that establishes conservation results for restricted principles of choice and comprehension over primitive recursive arithmetic PRA as well as a method for the extraction of primitive recursive bounds from proofs based on such principles. The second component is the main novelty of the paper: it is shown that a proof of Ramsey's theorem due to Erdős and Rado can be formalized using these restricted principles. So from the perspective of proof unwinding the computational content of concrete proofs based on $RT^2_2$ the computational complexity will, in most practical cases, not go beyond primitive recursive complexity. This even is the case when the theorem to be proved has function parameters f and the proof uses instances of $RT^2_2$ that are primitive recursive in f. (shrink)

The canonical pair of a proof system P is the pair of disjoint NP sets where one set is the set of all satisfiable CNF formulas and the other is the set of CNF formulas that have P-proofs bounded by some polynomial. We give a combinatorial characterization of the canonical pairs of depth d Frege systems. Our characterization is based on certain games, introduced in this article, that are parametrized by a number k, also called the depth. We show (...) that the canonical pair of a depth d Frege system is polynomially equivalent to the pair (Ad+2,Bd+2) where Ad+2 (respectively, Bd+1) are depth d+1 games in which Player I (Player II) has a positional winning strategy. Although this characterization is stated in terms of games, we will show that these combinatorial structures can be viewed as generalizations of monotone Boolean circuits. In particular, depth 1 games are essentially monotone Boolean circuits. Thus we get a generalization of the monotone feasible interpolation for Resolution, which is a property that enables one to reduce the task of proving lower bounds on the size of refutations to lower bounds on the size of monotone Boolean circuits. However, we do not have a method yet for proving lower bounds on the size of depth d games for d>1. (shrink)

We investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus in particular on the principles ADS (Ascending or Descending Sequence), which states that every infinite linear order has either an infinite descending sequence or an infinite ascending sequence, and CAC (Chain-AntiChain), which states that every infinite partial order has either an infinite chain or an infinite antichain. It is well-known that Ramsey's Theorem for (...) class='Hi'>pairs (RT₂²) splits into a stable version (SRT₂²) and a cohesive principle (COH). We show that the same is true of ADS and CAC, and that in their cases the stable versions are strictly weaker than the full ones (which is not known to be the case for RT₂² and SRT₂²). We also analyze the relationships between these principles and other systems and principles previously studied by reverse mathematics, such as WKL₀, DNR, and BΣ₂. We show, for instance, that WKL₀ is incomparable with all of the systems we study. We also prove computability-theoretic and conservation results for them. Among these results are a strengthening of the fact, proved by Cholak, Jockusch, and Slaman, that COH is Π₁¹-conservative over the base system RCA₀. We also prove that CAC does not imply DNR which, combined with a recent result of Hirschfeldt, Jockusch, Kjos-Hanssen, Lempp, and Slaman, shows that CAC does not imply SRT₂² (and so does not imply RT₂²). This answers a question of Cholak, Jockusch, and Slaman. Our proofs suggest that the essential distinction between ADS and CAC on the one hand and RT₂² on the other is that the colorings needed for our analysis are in some way transitive. We formalize this intuition as the notions of transitive and semitransitive colorings and show that the existence of homogeneous sets for such colorings is equivalent to ADS and CAC, respectively. We finish with several open questions. (shrink)

The present study investigated children’s understanding development of multiple graphics, here paired conventions commonly used in primary school textbooks. Paired graphics depicting everyday objects familiar to the children were used as the basis for an analogy task that tested their comprehension of five graphics conventions. This task required participants to compare pictures in a base pair in order to complete a target pair by choosing the correct picture from five alternative possibilities. Four groups of children aged 5, 6, 8 (...) and 10 years old respectively (total N = 105), completed 45 analogy task items built around nine conceptual domains. Results showed mainly an overall increase of comprehension performance with age for all the tested conventions. There were also differences between the five conventions and an interaction between age and convention type. Further, children's explanation of the conventions (justification of the choices in the analogy task) were also analyzed. This investigation showed the analogy task answers were a more reliable measure of the "actual" level of understanding of the conventions than the justification themselves. The findings show that younger students tried to actively compare the pictures of the pairs and to search for a relevant meaning of the pairs, however, the youngest children have a limited capacity to interpret paired graphic conventions and our results suggests that this aspect of graphic conventions develops slowly but effectively over the course of children’s schooling. Because "graphicacy" knowledge and skills are not typically taught in primary school classrooms (in contrast with literacy and numeracy), its development is likely acquired incidentally with increasing exposure to varied paired graphics during primary school education. Given the high reliance of today’s educational resources on graphics-based explanations, the results from this study may signal a need for (i) for more attention to learning graphics conventions (and more generally to graphics explanations) from teachers in primary school and (ii) for a better design of the graphics with their contextual accompanying texts and captions, from designers. (shrink)

It is well known that decision methods based on pairwise rankings can suffer from a wide range of difficulties. These problems are addressed here by treating the methods as systems, where each pair is looked upon as a subsystem with an assigned task. In this manner, the source of several difficulties is equated with the standard concern that the “whole need not be the sum of its parts.” These problems arise because the objectives assigned to subsystems need not be compatible (...) with that of the system. Knowing what causes the difficulties leads to resolutions. (shrink)

ABSTRACTAcross two studies participants completed a learning phase comprised of two types of trials: context pairing trials in which two words were identical or opposite to one another and evaluative conditioning trials in which a CS was paired with a US. Based on the idea that EC occurs because CS-US pairings function as a symbolic cue about the relation between the CS and the US, we hypothesised that the nature of context pairings might moderate EC effects. Results indicate that identity-based (...) context pairs led to typical assimilative explicit and implicit effects whereas opposition-based pairs led to attenuated effects. Implications and different accounts of our findings are discussed. (shrink)

Pointillistic based super‐resolution techniques, such as photoactivated localization microscopy (PALM), involve multiple cycles of sequential activation, imaging, and precise localization of single fluorescent molecules. A super‐resolution image, having nanoscopic structural information, is then constructed by compiling all the image sequences. Because the final image resolution is determined by the localization precision of detected single molecules and their density, accurate image reconstruction requires imaging of biological structures labeled with fluorescent molecules at high density. In such image datasets, stochastic variations in photon (...) emission and intervening dark states lead to uncertainties in identification of single molecules. This, in turn, prevents the proper utilization of the wealth of information on molecular distribution and quantity. A recent strategy for overcoming this problem is pair‐correlation analysis applied to PALM. Using rigorous statistical algorithms to estimate the number of detected proteins, this approach allows the spatial organization of molecules to be quantitatively described. (shrink)

The au pair program in general is still known as a form of cultural exchange program and a good possibility for young women to spend a year abroad, although it has undergone great changes during the last 10 years. This article argues that due to different socio-economic and cultural processes in Western postindustrial societies as well as in the eastern and southern parts of the world the au pair program is becoming a form of domestic work with quite similar working (...) and living conditions to that of live-in migrant domestic workers. This article which is based on two empirical studies on the globalizing au pair business in Eastern and Western Europe as well in the United States looks into the motivations and expectations, the living conditions and interactions between the au pairs and the employer families and contrasts these findings with the discourse of the au pair agencies still advertising au pair as a form of cultural exchange. In doing so the paper can show that it is the still dominant image of au-pair as a cultural exchange program (disarticulating the work aspect) that leaves the young au pair women even more vulnerable to exploitation: ‘big sisters’ are the best domestic servants. This article draws attention to the racialized economization of the private sphere and care work, the inherent traps and exploitative features of this very specific work place. (shrink)

The government of Bangladesh approved the human organ transplantation law in 1999 and updated it in 2018. This legislation approved both living‐related donor and posthumous organ transplantation. The law only allows family members to legally donate organs to their relatives. The main focus of this study was to explore how Bangladeshis make donation decisions on familial organs for transplantation. My ethnographic fieldwork with forty participants (physicians and nurses, a healthcare administrator, organ donors, recipients, and their relatives) disclosed that the organ (...) donation decision was family‐based. An assessment of the relationship between religion, culture, and biomedicine leads to the conclusion that deciding on donating organs to relatives is primarily family‐based and is perceived to be steeped in Islamic ethical principles and religious cultural tradition. The family‐based consent and motivation for donor‐recipient pair organ transplantation strengthen an altruistic environment for the family and act as the moral and legal authority that ensures ethical healthcare outcomes for Bangladeshis. (shrink)

We study the class of weakly locally modular geometric theories introduced in [4], a common generalization of the classes of linear SU-rank 1 and linear o-minimal theories. We find new conditions equivalent to weak local modularity: "weak one-basedness", absence of type definable "almost quasidesigns", and "generic linearity". Among other things, we show that weak one-basedness is closed under reducts. We also show that the lovely pair expansion of a non-trivial weakly one-based ω-categorical geometric theory interprets an infinite vector space over (...) a finite field. (shrink)

Answering a question in the reverse mathematics of combinatorial principles, we prove that the thin set theorem for pairs ) implies the diagonally noncomputable set principle over the base axiom system $\mathrm{RCA}_{0}$.

While its mechanism and biological significance are unknown, the utility of a short mitochondrial DNA sequence as a “barcode” providing accurate species identification has revolutionized the classification of organisms. Since highest accuracy was achieved with recently diverged species, hopes were raised that barcodes would throw light on the speciation process. Indeed, a failure of a maternally donated, rapidly mutating, mitochondrial genome to coadapt its gene products with those of a paternally donated nuclear genome could result in developmental failure, thus creating (...) a post-zygotic barrier leading to reproductive isolation and sympatric branching into independent species. However, the barcode itself encodes a highly conserved, species-invariant, protein, and the discriminatory power resides in the non-amino acid specific bases of synonymous codons. It is here shown how the latter could register changes in the oligonucleotide frequencies of nuclear DNA that, when they fail to match in pairing meiotic chromosomes, could reproductively isolate the parents so launching a primary divergence into two species. It is proposed that, while not itself contributing to speciation, the barcode sequence provides an index of the nuclear DNA oligonucleotide frequencies that drive speciation. (shrink)

Recent studies of emotion mindreading reveal that for three emotions, fear, disgust, and anger, deficits in face-based recognition are paired with deficits in the production of the same emotion. What type of mindreading process would explain this pattern of paired deficits? The simulation approach and the theorizing approach are examined to determine their compatibility with the existing evidence. We conclude that the simulation approach offers the best explanation of the data. What computational steps might be used, however, in simulation-style emotion (...) detection? Four alternative models are explored: a generate-and-test model, a reverse simulation model, a variant of the reverse simulation model that employs an “as if” loop, and an unmediated resonance model. (shrink)

Several important physical implications left out in The Five Dimension Space-Time Universe: A creation and grand unified field theory model. Book, are presented under rigorous mathematical theorems. It was found that Temperature, a classical variable, must be added as an imaginary component to time, under the Quantum uncertainty dt∙dE = h/2π, so that the Gell-Mann Quark model can be verified, with gauge invariance, to form hadrons at the Bethe Fusion Temperature. Accordingly from the corresponding uncertainty dp∙dr = h/2π. Pairs (...) of Diagonal Long Range Ordered gravitons, with continuous frequency spectrum together with those represented by magnetic monopoles must be formed within the space r, of the homogenous 5D manifold, without the presents of photons, thus defines the 5D as a Black Hole. Then from which we can derive the classical Newtonian Law of attractive Gravity, as the 5D manifold is mapped by Perelmann Ricci-flow entropy mapping and the DLRO graviton pair symmetry is broken and converted into two masses, with motions satisfying Special Relativity in the doughnut shape Lorentz manifold, thus indirectly verifies the principle of Covariant Riemannian curvatures and General Relativity theory. (shrink)

The aim of this paper is to present a system of modal connexive logic based on a situation semantics. In general, modal connexive logics are extensions of standard modal logics that incorporate Aristotle’s and Boethius’ theses, that is the thesis that a sentence cannot imply its negation and the thesis that a sentence cannot imply a pair of contradictory sentences. A key problem in devising a connexive logic is to come up with a system that is both sufficiently strong to (...) fulfill some specific connexive theses and sufficiently well-motivated from a semantical point of view. The approach proposed here tries to address this problem by defining an appropriate connexive relation in terms of more basic notions. The result is a well-motivated system of modal connexive logic that nicely fits in both with the traditional ideas concerning the connexive conditional and with the current developments in connexive logic. (shrink)

Charles E. Osgood's theory of affective meaning defines affect as interplay of three meaning dimensions – evaluation, potency, and activity – that represent the central constituents of our affective ecology. Based on a rigorous Brunswikian sampling procedure, we selected a representative set of stimuli that mirror this ecology. A germane informative analysis explicates and corroborates the sampling approach. We then report two experiments testing whether these dimensions of affective meaning can be learnt by means of stimulus pairing and stimulus exposure. (...) Our findings yield evidence for (1) stimulus pairing effects on evaluation and activity, and (2) stimulus exposure effects on potency and activity. Overall, the findings reveal that stimulus pairing and stimulus exposure differentially influence the learning of dimensions of affective meaning. We discuss implications of this research for current emotion theories as well as its contribution to research in the cognition–emotion interface. Finally, we argue that the implementation of representative design by virtue of Brunswikian sampling promotes theory development and opens new research avenues for an original and creative science of cognition and emotion. (shrink)

In vowel discrimination, commonly found discrimination patterns are directional asymmetries where discrimination is faster if differing vowels are presented in a certain sequence compared to the reversed sequence. Different models of speech sound processing try to account for these asymmetries based on either phonetic or phonological properties. In this study, we tested and compared two of those often-discussed models, namely the Featurally Underspecified Lexicon model and the Natural Referent Vowel framework. While most studies presented isolated vowels, we investigated a large (...) stimulus set of German vowels in a more naturalistic setting within minimal pairs. We conducted an mismatch negativity study in a passive and a reaction time study in an active oddball paradigm. In both data sets, we found directional asymmetries that can be explained by either phonological or phonetic theories. While behaviorally, the vowel discrimination was based on phonological properties, both tested models failed to explain the found neural patterns comprehensively. Therefore, we additionally examined the influence of a variety of articulatory, acoustical, and lexical factors but also the influence of factors beyond the well-known in depth via multiple regression analyses. The analyses revealed that the perceptual factor of perceived loudness has a greater impact than considered in the literature and should be taken stronger into consideration when analyzing preattentive natural vowel processing. (shrink)

Several logical operators are defined as dual pairs, in different types of logics. Such dual pairs of operators also occur in other algebraic theories, such as mathematical morphology. Based on this observation, this paper proposes to define, at the abstract level of institutions, a pair of abstract dual and logical operators as morphological erosion and dilation. Standard quantifiers and modalities are then derived from these two abstract logical operators. These operators are studied both on sets of states and (...) sets of models. To cope with the lack of explicit set of states in institutions, the proposed abstract logical dual operators are defined in an extension of institutions, the stratified institutions, which take into account the notion of open sentences, whose satisfaction is parametrised by sets of states. A hint on the potential interest of the proposed framework for spatial reasoning is also provided. (shrink)

In A. Kumar, & M. Banerjee [(2012). Definable and rough sets in covering-based approximation spaces. In T. Li. (eds.), Rough sets and knowledge technology (pp. 488–495). Springer-Verlag], A. Kumar, & M. Banerjee [(2015). Algebras of definable and rough sets in quasi order-based approximation spaces. Fundamenta Informaticae, 141(1), 37–55], authors proposed a pair of lower and upper approximation operators based on granules generated by quasiorders. This work is an extension of algebraic results presented therein. A characterisation has been presented for those (...) quasiorder-generated covering-based approximation spaces whose corresponding collections of definable and rough sets form Stone algebras. The notion of rough lattice was proposed in A. Kumar, & M. Banerjee [(2015). Algebras of definable and rough sets in quasi order-based approximation spaces. Fundamenta Informaticae, 141(1), 37–55], A. Kumar [(2020). A Study of Algebras and Logics of Rough Sets Based on Classical and Generalized Approximation Spaces. In Transactions on Rough Sets XXII, LNCS (Vol. 12485, pp. 123–251). Springer]. Some special rough lattices are introduced in this work, viz. rough Stone algebra, ∼1-complemented and ∼2-complemented rough lattices. Representations of these algebras in terms of rough sets are obtained. Moreover, logics for these algebras are shown to be sound and complete with respect to rough set semantics. (shrink)

Theoretical minimal RNA rings are candidate primordial genes evolved for non‐redundant coding of the genetic code's 22 coding signals (one codon per biogenic amino acid, a start and a stop codon) over the shortest possible length: 29520 22‐nucleotide‐long RNA rings solve this min‐max constraint. Numerous RNA ring properties are reminiscent of natural genes. Here we present analyses showing that all RNA rings lack dinucleotide CG (a mutable, chemically instable dinucleotide coding for Arginine), bearing a resemblance to known CG‐depleted genomes. CG (...) in “incomplete” RNA rings (not coding for all coding signals, with only 3–12 nucleotides) gradually decreases towards CG absence in complete, 22‐nucleotide‐long RNA rings. Presumably, feedback loops during RNA ring growth during evolution (when amino acid assignment fixed the genetic code) assigned Arg to codons lacking CG (AGR) to avoid CG. Hence, as a chemical property of base pairs, CG mutability restructured the genetic code, thereby establishing itself as genetically encoded biological information. (shrink)

Gilboa and Schmeidler provide a paradigm for modelling decision making under uncertainty. Unlike the classical theory of expected utility maximization, case-based decision theory does not assume that decision makers know the possible 'states of the world' or the outcomes, let alone the decision matrix attaching outcomes to act-state pairs. Case-based decision theory suggests that people make decisions by analogies to past cases: they tend to choose acts that performed well in the past in similar situations, and to avoid acts (...) that performed poorly. It is an alternative to expected utility theory when both states of the world and probabilities are neither given in the problem nor can be easily constructed. The authors describe the general theory and its relationship to planning, repeated choice problems, inductive inference, and learning; they highlight its mathematical and philosophical foundations and compare it with expected utility theory as well as with rule-based systems. (shrink)

Del Giudice proposes that short-term mating strategies are adaptive for attachment-avoidant men. We argue that this model (1) does not apply to the majority of avoidant men (fearful-avoidants); (2) is based on limited evidence that the remaining subset of avoidant men (dismissing-avoidants) engage in short-term mating strategies; and (3) disregards the importance of pair bonding even for dismissing-avoidants.

This paper presents decomposition of the fourth-order Euler-type linear time-varying system as a commutative pair of two second-order Euler-type systems. All necessary and sufficient conditions for the decomposition are deployed to investigate the commutativity, sensitivity, and the effect of disturbance on the fourth-order LTVS. Some systems are commutative, and some are not commutative, while some are commutative under certain conditions. Based on this fact, the commutativity of fourth-order Euler-type LTVS is investigated by introducing the commutative requirements, theories, and conditions. The (...) fourth-order Euler-type LTVSs are investigated into commutative pairs of twice Euler-type second-order linear time-varying systems. The decomposition theories and conditions are derived, proved, and solved to simplify the use of commutativity for practical and industrial uses. Some fourth-order systems are sensitive toward change in initial conditions or parameters while others are not, and the effect due to disturbance also varies within systems. Furthermore, the stability and robustness of systems have so many issues. But we consider fourth-order Euler-type LTVS to observe, investigate, and tackle these issues. Lastly, the realization of fourth-order LTVS from cascaded two second-order systems can be laboratory experimented which is an open problem for future engineers to investigate. However, the theoretical results show a good agreement with the simulation results is considered in this work. Perhaps it might have unlimited physical applications in science and engineering as well as theoretical contribution. But beyond any reasonable doubt, the novelty is guaranteed because this study is the first of its kind that introduces the decomposition of the fourth-order Euler-type linear time-varying system as a commutative pair of two second-order Euler-type systems. Illustrative examples are presented to support the results. (shrink)

This study investigates the effects of visual mnemonics and the methods of presenting learning materials on learning visually similar characters for Chinese-as-second-language learners. In supporting CSL learners to build robust orthographic representations in Chinese, addressing the challenges of visual similarity of characters is an important issue. Based on prior research on perceptual learning, we tested three strategies that differ in the extent to which they promote interrelated attention to the form and meaning of characters: Stroke Sequence, a form-emphasis strategy, Key-images, (...) a form + meaning strategy utilizing visual code, Pithy Formulas with Key-images, a form + meaning strategy combining visual and verbal codes. A pretest–posttest equivalent-group design was adopted. The independent variables were the learning strategy, the method of presenting character pairs, and testing time. The dependent variables were learners’ proportions of accurate responses to reading and writing Chinese characters through a posttest and a delayed posttest ; a learner experience survey was also administered to investigate learners’ opinions on each strategy. Sixty-six non-beginning learners of Chinese participated; they were randomly assigned to one of the two groups in which participants learned ten characters via the three strategies, respectively, differing between whether the characters were presented in similar pairs or dissimilar pairs. Data were analyzed via three-way ANCOVAs. The Pithy Formulas with Key-images and the Key-images generally yielded higher writing accuracy than Stroke Sequence immediately after learning. Notably, the advantage of the Pithy Formulas with Key-images over the Key-images on writing was specific to the participants that learned with visually similar pairs rather than those that learned with dissimilar pairs. All strategies were effective for reading, yet learners’ experience ratings favored the two form + meaning strategies over the strategy that focused primarily on form. Suggestions for future research and pedagogical implications on learning visually similar characters were offered. (shrink)

Each Girard quantale (i.e., commutative quantale with a selected dualizing element) provides a support for a semantics for linear propositional formulas (but not for linear derivations). Several constructions of Girard quantales are known. We give two more constructions, one using an arbitrary partially ordered monoid and one using a partially ordered group (both commutative). In both cases the semantics can be controlled be a relation between pairs of elements of the support and formulas. This gives us a neat way (...) of handling duality. (shrink)

Each Girard quantale (i.e., commutative quantale with a selected dualizing element) provides a support for a semantics for linear propositional formulas (but not for linear derivations). Several constructions of Girard quantales are known. We give two more constructions, one using an arbitrary partially ordered monoid and one using a partially ordered group (both commutative). In both cases the semantics can be controlled be a relation between pairs of elements of the support and formulas. This gives us a neat way (...) of handling duality. (shrink)

Each Girard quantale provides a support for a semantics for linear propositional formulas. Several constructions of Girard quantales are known. We give two more constructions, one using an arbitrary partially ordered monoid and one using a partially ordered group. In both cases the semantics can be controlled be a relation between pairs of elements of the support and formulas. This gives us a neat way of handling duality.

Cognitive functions are directly related to interactions between the brain's functional networks. This functional organization changes in the autism spectrum disorder (ASD). However, the heterogeneous nature of autism brings inconsistency in the findings, and specific pattern of changes based on the cognitive theories of ASD still requires to be well-understood. In this study, we hypothesized that the theory of mind (ToM), and the weak central coherence theory must follow an alteration pattern in the network level of functional interactions. The main (...) aim is to understand this pattern by evaluating interactions between all the brain functional networks. Moreover, the association between the significantly altered interactions and cognitive dysfunctions in autism is also investigated. We used resting-state fMRI data of 106 subjects (5–14 years, 46 ASD: five female, 60 HC: 18 female) to define the brain functional networks. Functional networks were calculated by applying four parcellation masks and their interactions were estimated using Pearson's correlation between pairs of them. Subsequently, for each mask, a graph was formed based on the connectome of interactions. Then, the local and global parameters of the graph were calculated. Finally, statistical analysis was performed using a two-sample t-test to highlight the significant differences between autistic and healthy control groups. Our corrected results show significant changes in the interaction of default mode, sensorimotor, visuospatial, visual, and language networks with other functional networks that can support the main cognitive theories of autism. We hope this finding sheds light on a better understanding of the neural underpinning of autism. (shrink)

Evidence-based medicine frequently uses statistical hypothesis testing. In this paradigm, data can only disconfirm a research hypothesis’ competitors: One tests the negation of a statistical hypothesis that is supposed to correspond to the research hypothesis. In practice, these hypotheses are often misaligned. For instance, directional research hypotheses are often paired with non-directional statistical hypotheses. Prima facie, one cannot gain proper evidence for one’s research hypothesis employing a misaligned statistical hypothesis. This paper sheds lights on the nature of and the reasons (...) for such misalignments and it provides a thorough analysis of whether they pose a threat to evidence-based medicine. The upshots are that the misalignments are often hidden for clinicians and that although some cases of misalignments can be partially counterbalanced, the overall threat is non-negligible. The counterbalances either lead to methodological inadequacy, loss of statistical power, or involve a lack of information that could be crucial for decision making. This result casts doubt on various findings of medical studies in addition to issues associated with under-powered studies or the replication crisis. (shrink)

Can we base the whole of logic solely on the concept of incompatibility? My motivation for asking this is two-fold: firstly, a technical interest in what a minimal foundations of logic might be; and secondly, the existence of philosophers who have taken incompatibility as the ultimate key to human reason (viz., e.g., Hegel's concept of determinate negation). The main aim of this contribution is to tackle two related questions: Is it possible to reduce the foundations of logic to the (...) mere concept of incompatibility? and Does this reduction lead us to a specific logical system? We conclude that the answers, respectively, are YES and a qualified NO (qualified in the sense that basing semantics on incompatibility does make some logical systems more natural than others, but without ruling out the alternatives.) A search for the bare bones of logic generally leads one to the relation of inference (or consequence). This way is explored meticulously by Koslow (1992). He defines an implication structure as, in effect, an ordered pair , where S is a set and | f Pow(S)HS fulfilling certain (relatively simple) restrictions. And obviously if we reduce incompatibility to inference, which is achievable by the well known ex contradictione quodlibet principle, we reach a logic based on incompatibility. The kind of logic flowing most straightforwardly from this setting is the intuitionist one. However, there is also the approach taken by R. Brandom and A. Aker (2008), who have set up a logic based directly on incompatibility. They define an incompatibility structure as an ordered pair such that S is a set and z f Pow(S) (again fulfilling certain restrictions). The authors introduce logical operators in such a way that they reach classical logic. Does this mean that inference 'naturally' leads to intuitionist logic, whereas incompatibility leads to the classical one? Myself, I have argued that it is indeed intuitionist logic that is the logic of inference (see Peregrin, 2008).. (shrink)

Many proposals for logic-based formalisations of argumentation consider an argument as a pair (Φ,α), where the support Φ is understood as a minimal consistent subset of a given knowledge base which has to entail the claim α. In case the arguments are given in the full language of classical propositional logic reasoning in such frameworks becomes a computationally costly task. For instance, the problem of deciding whether there exists a support for a given claim has been shown to be (...) -complete. In order to better understand the sources of complexity (and to identify tractable fragments), we focus on arguments given over formulæ in which the allowed connectives are taken from certain sets of Boolean functions. We provide a complexity classification for four different decision problems (existence of a support, checking the validity of an argument, relevance and dispensability) with respect to all possible sets of Boolean functions. Moreover, we make use of a general schema to enumerate all arguments to show that certain restricted fragments permit polynomial delay. Finally, we give a classification also in terms of counting complexity. (shrink)

This chapter addresses the problem of ranking available drugs in guideline development to support clinicians in their work. Based on a pragmatic approach to the notion of evidence and a hierarchical view on different kinds of evidence this chapter introduces a decision aid, HiDAD, which draws on the multi criteria decision making literature. This decision aid implements the wide-spread intuition that there are different kinds of evidence with varying degrees of importance by relying on a strict ordinal ordering of kinds (...) of evidence. In order to construct a ranking every pair of drugs is first compared separately on all kinds of evidence. Next, these quantitative comparisons are then aggregated into an overall comparison between drugs based on all the available evidence in a way which avoids that evidence of less importance is trumped by evidence of the higher levels. Finally, these overall comparisons are used to determine the final ranking of drugs which then informs the process of guideline writing. Properties, modifications and applicability of the decision aid HiDAD are discussed and assessed. (shrink)

Why might it be beneficial for adults to process fractions componentially? Recent research has shown that college-educated adults can capitalize on the bipartite structure of the fraction notation, performing more successfully with fractions than with decimals in relational tasks, notably analogical reasoning. This study examined patterns of relational priming for problems with fractions in a task that required arithmetic computations. College students were asked to judge whether or not multiplication equations involving fractions were correct. Some equations served as structurally inverse (...) primes for the equation that immediately followed it. Students with relatively high math ability showed relational priming both with and without high perceptual similarity. Students with relatively low math ability also showed priming, but only when the structurally inverse equation pairs were supported by high perceptual similarity between numbers. Several additional experiments established boundary conditions on relational priming with fractions. These findings are interpreted in terms of componential processing of fractions in a relational multiplication context that takes advantage of their inherent connections to a multiplicative schema for whole numbers. (shrink)

The current study sought to determine research scientists’ sensitivity to various justifications for engaging in behaviors typically considered to be questionable research practices by asking them to evaluate the appropriateness and ethical defensibility of each. Utilizing a within-subjects design, 107 National Institutes of Health principal investigators responded to an invitation to complete an online survey in which they read a series of research behaviors determined, in prior research, to either be ambiguous or unambiguous in their ethical defensibility. Additionally, each behavior (...) was paired with either an ostensibly sound or unsound reason for the behavior. Consistent with hypotheses, the results indicated that scientists perceived QRPs as more appropriate and defensible when paired with a justifiable motive relative to when paired with a clearly unethical motive, particularly for QRPs that are more ambiguous in their ethicality. In fact, ambiguous QRPs were perceived as categorically defensible when given a justifiable motive. This suggests scientists are sensitive to contextual factors related to QRPs’ appropriateness, which could inform how institutions develop appropriate training modules for research integrity. (shrink)