cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Detecting Anomalous LAN Activities under Differential Privacy
Creators: name: Rattanavipanon, Norrathep
name: Ponnoprat, Donlapark
name: Ochiai, Hideya
name: Tantayakul, Kuljaree
name: Angchuan, Touchai
name: Kamolphiwong, Sinchai
Publisher: name: arXiv
Year: 2022
Subjects: subject: Cryptography and Security (cs.CR)
subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences

description: Anomaly detection has emerged as a popular technique for detecting malicious activities in local area networks (LANs). Various aspects of LAN anomaly detection have been widely studied. Nonetheless, the privacy concern about individual users or their relationship in LAN has not been thoroughly explored in the prior work. In some realistic cases, the anomaly detection analysis needs to be carried out by an external party, located outside the LAN. Thus, it is important for the LAN admin to release LAN data to this party in a private way in order to protect privacy of LAN users; at the same time, the released data must also preserve the utility of being able to detect anomalies. This paper investigates the possibility of privately releasing ARP data that can later be used to identify anomalies in LAN. We present four approaches and show that they satisfy different levels of differential privacy - a rigorous and provable notion for quantifying privacy loss in a system. Our real-world experimental results confirm practical feasibility of our approaches. With a proper privacy budget, all of our approaches preserve more than 75% utility of detecting anomalies in the released data.
Normalization by Evaluation for the Lambek Calculus
Creators: name: Veltri, Niccolò
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The syntactic calculus of Lambek is a deductive system for the multiplicative fragment of intuitionistic non-commutative linear logic. As a fine-grained calculus of resources, it has many applications, mostly in formal computational investigations of natural languages. This paper introduces a calculus of beta-eta-long normal forms for derivations in the Lambek calculus with multiplicative unit and conjunction among its logical connectives. Reduction to normal form follows the normalization by evaluation (NbE) strategy: (i) evaluate a derivation in a Kripke model of Lambek calculus; (ii) extract normal forms from the obtained semantic values. The implementation of the NbE algorithm requires the presence of a strong monad in the Kripke interpretation of positive formulae, in analogy with the extension of intuitionistic propositional logic with falsity and disjunction. The NbE algorithm can also be instantiated with minor variations to calculi for related substructural logics, such as multiplicative and dual intuitionistic linear logic (MILL and DILL).
description: In Proceedings NCL 2022, arXiv:2204.06359
A van Benthem Theorem for Atomic and Molecular Logics
Creators: name: Aucher, Guillaume
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: After recalling the definitions of atomic and molecular logics, we show how notions of bisimulation can be automatically defined from the truth conditions of the connectives of any of these logics. Then, we prove a generalization of van Benthem modal characterization theorem for molecular logics. Our molecular connectives should be uniform and contain all conjunctions and disjunctions. We use modal logic, the Lambek calculus and modal intuitionistic logic as case study and compare in particular our work with Olkhovikov's work.
description: In Proceedings NCL 2022, arXiv:2204.06359
Non-Normal Super-Strict Implications
Creators: name: Gherardi, Guido
name: Orlandelli, Eugenio
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: This paper introduces the logics of super-strict implications that are based on C.I. Lewis' non-normal modal logics S2 and S3. The semantics of these logics is based on Kripke's semantics for non-normal modal logics. This solves a question we left open in a previous paper by showing that these logics are weakly connexive.
description: In Proceedings NCL 2022, arXiv:2204.06359
Normalisation for Some Infectious Logics and Their Relatives
Creators: name: Petrukhin, Yaroslav
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We consider certain infectious logics (Sfde, dSfde, K3w, and PWK) and several their non-infectious modifications, including two new logics, reformulate previously constructed natural deduction systems for them (or present such systems from scratch for the case of new logics) in way such that the proof of normalisation theorem becomes possible for these logics. We present such a proof and establish the negation subformula property for the logics in question.
description: In Proceedings NCL 2022, arXiv:2204.06359
Additional file 6 of The DNA methylation status of the serotonin metabolic pathway associated with reproductive inactivation induced by long-light exposure in Magang geese
Creators: name: Liu, Jiaxin
name: Xu, Yanglong
name: Wang, Yushuai
name: Zhang, Jinning
name: Fu, Yuting
name: Liufu, Sui
name: Jiang, Danli
name: Pan, Jianqiu
name: Ouyang, Hongjia
name: Huang, Yunmao
name: Tian, Yunbo
name: Shen, Xu
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Supplementary Material 6
Combining First-Order Classical and Intuitionistic Logic
Creators: name: Toyooka, Masanobu
name: Sano, Katsuhiko
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This paper studies a first-order expansion of a combination C+J of intuitionistic and classical propositional logic, which was studied by Humberstone (1979) and del Cerro and Herzig (1996), from a proof-theoretic viewpoint. While C+J has both classical and intuitionistic implications, our first-order expansion adds classical and intuitionistic universal quantifiers and one existential quantifier to C+J. This paper provides a multi-succedent sequent calculus G(FOC+J) for our combination of the first-order intuitionistic and classical logic. Our sequent calculus G(FOC+J) restricts contexts of the right rules for intuitionistic implication and intuitionistic universal quantifier to particular forms of formulas. The cut-elimination theorem is established to ensure the subformula property. As a corollary, G(FOC+J) is conservative over both first-order intuitionistic and classical logic. Strong completeness of G(FOC+J) is proved via a canonical model argument.
description: In Proceedings NCL 2022, arXiv:2204.06359
Natural Deduction for Assertibility and Deniability
Creators: name: Punčochář, Vít
name: Grimau, Berta
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: In this paper we split every basic propositional connective into two versions, one is called extensional and the other one intensional. The extensional connectives are semantically characterized by standard truth conditions that are relative to possible worlds. Assertibility and deniability of sentences built out of atomic sentences by extensional connectives are defined in terms of the notion of truth. The intensional connectives are characterized directly by assertibility and deniability conditions without the notion of truth. We pay special attention to the deniability condition for intensional implication. We characterize the logic of this mixed language by a system of natural deduction that sheds some light on the inferential behaviour of these two kinds of connectives and on the way they can interact.
description: In Proceedings NCL 2022, arXiv:2204.06359
Monadicity of Non-deterministic Logical Matrices is Undecidable
Creators: name: Filipe, Pedro
name: Caleiro, Carlos
name: Marcelino, Sérgio
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The notion of non-deterministic logical matrix (where connectives are interpreted as multi-functions) preserves many good properties of traditional semantics based on logical matrices (where connectives are interpreted as functions) whilst finitely characterizing a much wider class of logics, and has proven to be decisive in a myriad of recent compositional results in logic. Crucially, when a finite non-deterministic matrix satisfies monadicity (distinct truth-values can be separated by unary formulas) one can automatically produce an axiomatization of the induced logic. Furthermore, the resulting calculi are analytical and enable algorithmic proof-search and symbolic counter-model generation. For finite (deterministic) matrices it is well known that checking monadicity is decidable. We show that, in the presence of non-determinism, the property becomes undecidable. As a consequence, we conclude that there is no algorithm for computing the set of all multi-functions expressible in a given finite Nmatrix. The undecidability result is obtained by reduction from the halting problem for deterministic counter machines.
description: In Proceedings NCL 2022, arXiv:2204.06359
Additional file 3 of The DNA methylation status of the serotonin metabolic pathway associated with reproductive inactivation induced by long-light exposure in Magang geese
Creators: name: Liu, Jiaxin
name: Xu, Yanglong
name: Wang, Yushuai
name: Zhang, Jinning
name: Fu, Yuting
name: Liufu, Sui
name: Jiang, Danli
name: Pan, Jianqiu
name: Ouyang, Hongjia
name: Huang, Yunmao
name: Tian, Yunbo
name: Shen, Xu
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Supplementary Material 3
Puzzles of Existential Generalisation from Type-theoretic Perspective
Creators: name: Raclavský, Jiří
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: The present paper addresses several puzzles related to the Rule of Existential Generalization, (EG). In solution to these puzzles from the viewpoint of simple type theory, I distinguish (EG) from a modified Rule of Existential Quantifier Introduction which is derivable from (EG). Both these rules are often confused and both are considered as primitive but I show that (EG) itself is derivable from the proper Rule of Existential Quantifier Introduction. Moreover, the latter rule must be primitive in logical systems that treat both total and partial functions, for the universal and the existential quantifiers are not interdefinable in them. An appropriate natural deduction for such a system is deployed. The present logical system is simpler than the system recently proposed and applied by the present author. It utilises an adequate definition of substitution which is capable of handling not only a higher-order quantification, but also (hyper)intensional contexts.
description: In Proceedings NCL 2022, arXiv:2204.06359
Proof Theory of Skew Non-Commutative MILL
Creators: name: Uustalu, Tarmo
name: Veltri, Niccolò
name: Wan, Cheng-Syuan
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Monoidal closed categories naturally model NMILL, non-commutative multiplicative intuitionistic linear logic: the monoidal unit and tensor interpret the multiplicative verum and conjunction; the internal hom interprets linear implication. In recent years, the weaker notion of (left) skew monoidal closed category has been proposed by Ross Street, where the three structural laws of left and right unitality and associativity are not required to be invertible, they are merely natural transformations with a specific orientation. A question arises: is it possible to find a logic which is naturally modelled by skew monoidal closed categories? We answer positively by introducing a cut-free sequent calculus for a skew version of NMILL that is a presentation of the free skew monoidal closed category. We study the proof-theoretic semantics of the sequent calculus by identifying a calculus of derivations in normal form, obtained from an adaptation of Andreoli's focusing technique to the skew setting. The resulting focused sequent calculus peculiarly employs a system of tags for keeping track of new formulae appearing in the antecedent and appropriately reducing non-deterministic choices in proof search. Focusing solves the coherence problem for skew monoidal closed categories by exhibiting an effective procedure for deciding equality of maps in the free such category.
description: In Proceedings NCL 2022, arXiv:2204.06359
Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus
Creators: name: Tomczyk, Agata
name: Leszczyńska-Jasion, Dorota
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The aim of our paper is twofold: firstly we present a sequent calculus for an intuitionistic non-Fregean logic ISCI, which is based on the calculus presented in the paper by Chlebowski and Leszczynska-Jasion, 'An Investigation into Intuitionistic Logic with Identity' (Bulletin of the Section of Logic 48(4), p. 259-283, 2019) and, secondly, we discuss the problem of decidability of ISCI via the obtained system. The original calculus from the mentioned paper did not provide the decidability result for ISCI. There are two problems to be solved in order to obtain this result: the so called loops characteristic for intuitionistic logic and the lack of the subformula property due to the form of the identity-dedicated rules. We discuss possible routes to overcome these problems: we consider a weaker version of the subformula property, guarded by the complexity of formulas which can be included within it; we also present a proof-search procedure such that when it fails, then there exists a countermodel (in Kripke semantics for ISCI).
description: In Proceedings NCL 2022, arXiv:2204.06359
Superconnexivity Reconsidered
Creators: name: Kapsner, Andreas
name: Omori, Hitoshi
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We reconsider the idea of superconnexivity, an idea that has not received much attention so far. We inspect more closely the problems with the proposal that are responsible for this disregard. However, we also suggest a slight modification of the idea that has a much better chance of delivering the desired results, which we call super-bot-connexivity.
description: In Proceedings NCL 2022, arXiv:2204.06359
Akibat Sebuah Politik Kebencian
Creators: name: Mohd Radzi, Shamsul Azri
Publisher: name: Zenodo
Year: 2024

description: Artikel “Akibat Sebuah Politik Kebencian” membahas dampak politik kebencian yang menghancurkan perpaduan sosial dan menghalang kemajuan negara. Penulis menyoroti kisah sejarah di Eropah, Amerika, dan Asia dimana kebencian dijadikan alat politik, menyebabkan diskriminasi, konflik, dan tragedi kemanusiaan. Di Malaysia, fenomena ini terzahir melalui isu 3R (kaum, agama, raja), retorik politik toksik, serta eksploitasi kepelbagaian demi kepentingan kuasa. Penulis menggesa komitmen kolektif rakyat dan pemimpin untuk menolak politik kebencian, memupuk dialog dan toleransi, serta membangun masyarakat madani yang inklusif dan harmoni.

 

© Hak Cipta Terpelihara: Dewan Masyarakat 

Rujukan: Shamsul Azri Mohd Radzi. (2024). Akibat sebuah politik kebencian. Dalam Abd. Kadir Mohd. Ayub (Pnyt.), Dewan Masyarakat (Bil. 5/2024, hlm. 58–60). Dewan Bahasa dan Pustaka.
Another Combination of Classical and Intuitionistic Conditionals
Creators: name: Niki, Satoru
name: Omori, Hitoshi
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: On the one hand, classical logic is an extremely successful theory, even if not being perfect. On the other hand, intuitionistic logic is, without a doubt, one of the most important non-classical logics. But, how can proponents of one logic view the other logic? In this paper, we focus on one of the directions, namely how classicists can view intuitionistic logic. To this end, we introduce an expansion of positive intuitionistic logic, both semantically and proof-theoretically, and establish soundness and strong completeness. Moreover, we discuss the interesting status of disjunction, and the possibility of combining classical logic and minimal logic. We also compare our system with the system of Caleiro and Ramos.
description: In Proceedings NCL 2022, arXiv:2204.06359
Simulated data for:"Forecasting tournaments as an educational tool for intelligence practitioners: how many questions are enough?"
Creators: name: Kofroň, Jan
Publisher: name: figshare
Year: 2024
Subjects: classificationCode: 440899
subject: Political science not elsewhere classified
classificationCode: 440808
subject: International relations

description: 1) Code for the simulation: Paper_pred.r2) Simulated dataset of several classes of forecasters (differentiated by their skill level): DF_Forecast_classes.csv (purely for reference, the code above will generate a new dataset)3) MSE and overlaps for continuous predicted variable: Appendix_3.pdf
Mortensen Logics
Creators: name: Estrada-González, Luis
name: Cano-Jorge, Fernando
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: 03B53; 03B60

description: Mortensen introduced a connexive logic commonly known as 'M3V'. M3V is obtained by adding a special conditional to LP. Among its most notable features, besides its being connexive, M3V is negation-inconsistent and it validates the negation of every conditional. But Mortensen has also studied and applied extensively other non-connexive logics, for example, closed set logic, CSL, and a variant of Sette's logic, identified and called 'P2' by Marcos. In this paper, we analyze and compare systematically the connexive variants of CSL and P2, obtained by adding the M3V conditional to them. Our main observations are two. First, that the inconsistency of M3V is exacerbated in the connexive variant of closed set logic, while it is attenuated in the connexive variant of the Sette-like P2. Second, that the M3V conditional is, unlike other conditionals, "connexively stable", meaning that it remains connexive when combined with the main paraconsistent negations.
description: In Proceedings NCL 2022, arXiv:2204.06359
Additional file 1 of Aberrant palmitoylation caused by a ZDHHC21 mutation contributes to pathophysiology of Alzheimer’s disease
Creators: name: Li, Wenwen
name: Pang, Yana
name: Wang, Yan
name: Mei, Fan
name: Guo, Mengmeng
name: Wei, Yiping
name: Li, Xinyue
name: Qin, Wei
name: Wang, Wei
name: Jia, Longfei
name: Jia, Jianping
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 1: Fig S1.Construction of ZDHHC21T209S/T209S mice. Fig S2. The expression of ZDHHC21, APPand FYNin WT and ZDHHC21T209S/T209S mice. Fig S3. Representative tracesat one synaptic site fromWT, T209Sand T209S+2-BPneurons.
title: 01_0283
Creators: name: Wesley Baldwin, John
name: Baldwin, John W.
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2018
Subjects: subject: Laboratoire de Médiévistique Occidentale de Paris
subject: LaMOP

description: L'ensemble de ces notes ont été crée par John Baldwin lors d'une de ses premières périodes de résidence à Paris. Ces documents comprennent tous les magistri qu’il avait pu rencontrer dans ses sources. Aux XIIème et XIIIème siècles, les universités n'existant pas encore, le titre de magister s'il évoque certainement une compétence n'est pas rattaché de façon systématique au passage par les écoles. De surcroît, les magistris sont le plus souvent désignés par leur seul prénom. La lecture de ces données est donc difficile et suppose un long travail pour tenter d'identifier un individu auquel on pourrait rattacher plusieurs mentions. John Baldwin avait donc renoncé à utiliser ces données pour donner un prolongement à sa magnifique étude sur les gradués d'université et leur emploi par les Capétiens et les Plantagenêts. Néanmoins, il a conservé ces données et elles sont potentiellement très utile dans le cadre de Studium, comme le sont toutes les mentions dans les volumes des Fasti Ecclesiae Gallicanae de chanoines portant ce titre de magister sans autres précisions. L'ampleur des dépouillements rend ces données très utiles et nous devons une grande reconnaissance à John Baldwin pour avoir pris la peine de faire photocopier ses fiches et de nous les avoir transmises amicalement.
Les données ainsi que les images des fiches sont accessibles sur le site Internet à l'adresse suivante : http://studium-baldwin.lamop.fr/.
Les transcriptions des fiches ont été effectuées par des étudiants de Paris 1 Panthéon - Sorbonne mais elles n'ont pas été corrigées par la suite.
description: Relation: https://lamop.hypotheses.org/
title: 02_0039
Creators: name: Wesley Baldwin, John
name: Baldwin, John W.
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2018
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: L'ensemble de ces notes ont été crée par John Baldwin lors d'une de ses premières périodes de résidence à Paris. Ces documents comprennent tous les magistri qu’il avait pu rencontrer dans ses sources. Aux XIIème et XIIIème siècles, les universités n'existant pas encore, le titre de magister s'il évoque certainement une compétence n'est pas rattaché de façon systématique au passage par les écoles. De surcroît, les magistris sont le plus souvent désignés par leur seul prénom. La lecture de ces données est donc difficile et suppose un long travail pour tenter d'identifier un individu auquel on pourrait rattacher plusieurs mentions. John Baldwin avait donc renoncé à utiliser ces données pour donner un prolongement à sa magnifique étude sur les gradués d'université et leur emploi par les Capétiens et les Plantagenêts. Néanmoins, il a conservé ces données et elles sont potentiellement très utile dans le cadre de Studium, comme le sont toutes les mentions dans les volumes des Fasti Ecclesiae Gallicanae de chanoines portant ce titre de magister sans autres précisions. L'ampleur des dépouillements rend ces données très utiles et nous devons une grande reconnaissance à John Baldwin pour avoir pris la peine de faire photocopier ses fiches et de nous les avoir transmises amicalement.
Les données ainsi que les images des fiches sont accessibles sur le site Internet à l'adresse suivante : http://studium-baldwin.lamop.fr/.
Les transcriptions des fiches ont été effectuées par des étudiants de Paris 1 Panthéon - Sorbonne mais elles n'ont pas été corrigées par la suite.
description: Relation: https://lamop.hypotheses.org/
Bilateral Inversion Principles
Creators: name: Kürbis, Nils
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules from rejective introduction rules, and conversely. It corresponds to Francez's notion of vertical harmony. I also formulate a process I call 'conversion', which allows the determination of rejective introduction rules from assertive elimination rules and conversely, and the determination of assertive introduction rules from rejective elimination rules and conversely. It corresponds to Francez's notion of horizontal harmony. The account has a number of features that distinguishes it from Francez's.
description: In Proceedings NCL 2022, arXiv:2204.06359
Cyclic Negations and Four-valuedness
Creators: name: Grigoriev, Oleg
name: Zaitsev, Dmitry
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as an operation which acts like a cycling negation. We define two variants of logical matrices performing different orders over the set of truth values. Purely formal logical result of our study consists in axiomatizing the logics of defined matrices as the systems of binary consequence relation and proving correctness and completeness theorems for these deductive systems.
description: In Proceedings NCL 2022, arXiv:2204.06359
The Forms of Categorical Proposition
Creators: name: Schang, Fabien
name: Englebretsen, George
name: Castro-Manzano, J. -Martín
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: An exhaustive survey of categorical propositions is proposed in the present paper, both with respect to their nature and the logical problems raised by them. Through a comparative analysis of Term Logic and First-Order Logic, it is shown that the famous problem of existential import may be solved in two ways: with a model-adaptive strategy, in which the square of opposition is validated by restricting the models; with a language-adaptive strategy, in which the logical form of categorical propositions is extended in order to validate the square in every model. The latter strategy is advocated in the name of logic, which means truth in every model. Finally, the present paper needs some automatic process in order to determine the nature of logical relations between any pair of the available 256 categorical propositions. This requires the implementation of a programming machine in the style of Prolog.
description: In Proceedings NCL 2022, arXiv:2204.06359
Algebraizability of the Logic of Quasi-N4-Lattices
Creators: name: Neto, Clodomir Silva Lima
name: da Silva, Thiago Nascimento
name: Rivieccio, Umberto
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The class of quasi-N4-lattices (QN4-lattices) was introduced as a common generalization of quasi-Nelson algebras and N4-lattices, in such a way that N4-lattices are precisely the QN4-lattices satisfying the double negation law (~~x = x) and quasi-Nelson algebras are the QN4-lattices satisfying the explosive law (x ^ ~x) -> y = ((x ^ ~x) -> y) -> ((x ^ ~x) -> y). In this paper we introduce, via a Hilbert-style presentation, a logic (L_QN4) whose algebraic semantics is a class of algebras that we show to be term-equivalent to QN4-lattices. The result is obtained by showing that the calculus introduced by us is algebraizable in the sense of Blok and Pigozzi, and its equivalent algebraic semantics is term-equivalent to the class of QN4-lattices. As a prospect for future investigation, we consider the question of how one could place L_QN4 within the family of relevance logics.
description: In Proceedings NCL 2022, arXiv:2204.06359
On the Expressive Power of the Normal Form for Branching-Time Temporal Logics
Creators: name: Bolotov, Alexander
Publisher: name: arXiv
Year: 2022
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.1.1; F.4.1; H.2.1; I.2.3; I.2.4

description: With the emerging applications that involve complex distributed systems branching-time specifications are specifically important as they reflect dynamic and non-deterministic nature of such applications. We describe the expressive power of a simple yet powerful branching-time specification framework -- branching-time normal form (BNF), which has been developed as part of clausal resolution for branching-time temporal logics. We show the encoding of Buchi Tree Automata in the language of the normal form, thus representing, syntactically, tree automata in a high-level way. Thus we can treat BNF as a normal form for the latter. These results enable us (1) to translate given problem specifications into the normal form and apply as a verification method a deductive reasoning technique -- the clausal temporal resolution; (2) to apply one of the core components of the resolution method -- the loop searching to extract, syntactically, hidden invariants in a wide range of complex temporal specifications.
description: In Proceedings NCL 2022, arXiv:2204.06359
A Logic for Paraconsistent Transition Systems
Creators: name: Cruz, Ana
name: Madeira, Alexandre
name: Barbosa, Luís Soares
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3.1

description: Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g. in knowledge representation, simulation of biological systems, or quantum computation, inconsistency has to be addressed in a precise and controlled way. This paper generalises Belnap-Dunn four-valued logic, introducing paraconsistent transition systems (PTS), endowed with positive and negative accessibility relations, and a metric space over the lattice of truth values, and their modal logic.
description: In Proceedings NCL 2022, arXiv:2204.06359
Additional file 2 of Aberrant palmitoylation caused by a ZDHHC21 mutation contributes to pathophysiology of Alzheimer’s disease
Creators: name: Li, Wenwen
name: Pang, Yana
name: Wang, Yan
name: Mei, Fan
name: Guo, Mengmeng
name: Wei, Yiping
name: Li, Xinyue
name: Qin, Wei
name: Wang, Wei
name: Jia, Longfei
name: Jia, Jianping
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 2: Figure S1.The original blot images of ZDHHC21 and APP in Figure 2B. Figure S2. The original blot images of ZDHHC21 and FYN in Figure2C. Figure S3. The original blotimages of APP in Figure 2E. Figure S4.The original blot images of FYN in Figure 2F. Figure S5. The original blot images of FYN and E-cadherin in Figure2G. Figure S6. The original blotimages of P-tau, P-tau, P-tau, T-tau and Actin in Figure 3C. Figure S7. The original blot images ofP-NMDAR2B, NMDAR2B and E-cadherin in Figure 5A.
Routley Star in Information-Based Semantics
Creators: name: Punčochář, Vít
name: Sedlár, Igor
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: It is common in various non-classical logics, especially in relevant logics, to characterize negation semantically via the operation known as Routley star. This operation works well within relational semantic frameworks based on prime theories. We study this operation in the context of "information-based" semantics for which it is characteristic that sets of formulas supported by individual information states are theories that do not have to be prime. We will show that, somewhat surprisingly, the incorporation of Routley star into the information-based semantics does not lead to a collapse or a trivialization of the whole semantic system. On the contrary, it leads to a technically elegant though quite restricted semantic framework that determines a particular logic. We study some basic properties of this semantics. For example, we show that within this framework double negation law is valid only in involutive linear frames. We characterize axiomatically the logic of all linear frames and show that the logic of involutive linear frames coincides with a system that Mike Dunn coined Kalman logic. This logic is the fragment (for the language restricted to conjunction, disjunction and negation) of the "semi-relevant" logic known as R-mingle. Finally, we characterize by a deductive system the logic of all information frames equipped with Routley star.
description: In Proceedings NCL 2022, arXiv:2204.06359
Dunn Semantics for Contra-Classical Logics
Creators: name: Estrada-González, Luis
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.0

description: In this paper I show, with a rich and systematized diet of examples, that many contra-classical logics can be presented as variants of FDE, obtained by modifying at least one of the truth or falsity conditions of some connective. Then I argue that using Dunn semantics provides a clear understanding of the source of contra-classicality, namely, connectives that have either the classical truth or the classical falsity condition of another connective. This requires a fine-grained analysis of the sorts of modifications that can be made to an evaluation condition, analysis which I offer here as well.
description: In Proceedings NCL 2022, arXiv:2204.06359
Entanglement, Complexity, and Causal Asymmetry in Quantum Theories
Creators: name: Williams, Porter
Publisher: name: arXiv
Year: 2022
Subjects: subject: History and Philosophy of Physics (physics.hist-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: It is often claimed that one cannot locate a notion of causation in fundamental physical theories. The reason most commonly given is that the dynamics of those theories do not support any distinction between the past and the future, and this vitiates any attempt to locate a notion of causal asymmetry -- and thus of causation -- in fundamental physical theories. I argue that this is incorrect: the ubiquitous generation of entanglement between quantum systems grounds a relevant asymmetry in the dynamical evolution of quantum systems. I show that by exploiting a connection between the amount of entanglement in a quantum state and the algorithmic complexity of that state, one can use recently developed tools for causal inference to identify a causal asymmetry -- and a notion of causation -- in the dynamical evolution of quantum systems. https://doi.org/10.1007/s10701-022-00562-0
description: 46 pages, 2 figures
Additional file 1 of An effectiveness-implementation hybrid trial of phone-based tobacco cessation interventions in the Lebanese primary healthcare system: protocol for project PHOENICS
Creators: name: Salloum, Ramzi G.
name: Romani, Maya
name: Bteddini, Dima S.
name: El-Jardali, Fadi
name: Lee, Ji-Hyun
name: Theis, Ryan
name: LeLaurin, Jennifer H.
name: Hamadeh, Randa
name: Osman, Mona
name: Abla, Ruba
name: Khaywa, Jihan
name: Ward, Kenneth D.
name: Shelley, Donna
name: Nakkash, Rima
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Pharmacology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Information Systems not elsewhere classified
subject: Cancer
subject: Science Policy

description: Additional file 1. Standards for Reporting Implementation Studies: the StaRI checklist for completion.
title: 02_0814
Creators: name: Wesley Baldwin, John
name: Baldwin, John W.
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2018
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: L'ensemble de ces notes ont été crée par John Baldwin lors d'une de ses premières périodes de résidence à Paris. Ces documents comprennent tous les magistri qu’il avait pu rencontrer dans ses sources. Aux XIIème et XIIIème siècles, les universités n'existant pas encore, le titre de magister s'il évoque certainement une compétence n'est pas rattaché de façon systématique au passage par les écoles. De surcroît, les magistris sont le plus souvent désignés par leur seul prénom. La lecture de ces données est donc difficile et suppose un long travail pour tenter d'identifier un individu auquel on pourrait rattacher plusieurs mentions. John Baldwin avait donc renoncé à utiliser ces données pour donner un prolongement à sa magnifique étude sur les gradués d'université et leur emploi par les Capétiens et les Plantagenêts. Néanmoins, il a conservé ces données et elles sont potentiellement très utile dans le cadre de Studium, comme le sont toutes les mentions dans les volumes des Fasti Ecclesiae Gallicanae de chanoines portant ce titre de magister sans autres précisions. L'ampleur des dépouillements rend ces données très utiles et nous devons une grande reconnaissance à John Baldwin pour avoir pris la peine de faire photocopier ses fiches et de nous les avoir transmises amicalement.
Les données ainsi que les images des fiches sont accessibles sur le site Internet à l'adresse suivante : http://studium-baldwin.lamop.fr/.
Les transcriptions des fiches ont été effectuées par des étudiants de Paris 1 Panthéon - Sorbonne mais elles n'ont pas été corrigées par la suite.
description: Relation: https://lamop.hypotheses.org/
High-performance Evolutionary Algorithms for Online Neuron Control
Creators: name: Wang, Binxu
name: Ponce, Carlos R.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Neural and Evolutionary Computing (cs.NE)
subject: Computational Geometry (cs.CG)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Neurons and Cognition (q-bio.NC)
subject: FOS: Computer and information sciences
subject: FOS: Biological sciences
subject: J.3; F.2.1; G.1.6; I.2.10; I.5.1

description: Recently, optimization has become an emerging tool for neuroscientists to study neural code. In the visual system, neurons respond to images with graded and noisy responses. Image patterns eliciting highest responses are diagnostic of the coding content of the neuron. To find these patterns, we have used black-box optimizers to search a 4096d image space, leading to the evolution of images that maximize neuronal responses. Although genetic algorithm (GA) has been commonly used, there haven't been any systematic investigations to reveal the best performing optimizer or the underlying principles necessary to improve them. Here, we conducted a large scale in silico benchmark of optimizers for activation maximization and found that Covariance Matrix Adaptation (CMA) excelled in its achieved activation. We compared CMA against GA and found that CMA surpassed the maximal activation of GA by 66% in silico and 44% in vivo. We analyzed the structure of Evolution trajectories and found that the key to success was not covariance matrix adaptation, but local search towards informative dimensions and an effective step size decay. Guided by these principles and the geometry of the image manifold, we developed SphereCMA optimizer which competed well against CMA, proving the validity of the identified principles. Code available at https://github.com/Animadversio/ActMax-Optimizer-Dev
description: 19 pages, 22 figures, 3 tables. Accepted as full paper to The Genetic and Evolutionary Computation Conference 2022
Additional file 1 of Secular trend of non-communicable chronic disease prevalence throughout the life span who endured Chinese Great Famine (1959–1961)
Creators: name: He, Xiaoxue
name: Shi, Xiaojuan
name: Pan, Degong
name: Wang, Huihui
name: Zhang, Xue
name: Pu, Lining
name: Luo, Mingxiu
name: Li, Jiangping
Publisher: name: figshare
Year: 2023
Subjects: subject: Neuroscience
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Science Policy
subject: Mental Health

description: Additional file 1: Table S1. Prevalence of NCDs by age for male and female gender, urban versus rural areas and provinces with mild versus severe famine intensity, 2010–2019. Table S2. Prevalence of NCDs by age, period, and birth cohort, 2010-2019 (per 1000 population).
From being faitfull to "revolutionary mass" to representing of SFRY abroad: National Ensemble of Folk Dances and Songs of Serbia/Ensemble "Kolo"(1948−1955)
Creators: name: Vasiljevic, Maja
Publisher: name: Zenodo
Year: 2020
Subjects: Cold War
folklore
folk dances
cultural cooperation
SFRY
Yugoslavia
Agitprop
Ensemble "Kolo"
kolo

description: The paper presents the work of National Ensemble of Folk Dances and Songs of Serbia from its establishing in 1948 to 1955. The author deals with complex issues of setting up this Serbian national folk ensemble in Socialist Federal Republic of Yugoslavia (SFRY), in controversial period during which Agitprop and Informbiro influenced all spheres of culture. In this paper author explains the "use" of folk music in the context of extensive social changes and revival. Since successful tours abroad marked the founding days of this ensemble, reception and reputation-building are accessed first. The author analysis the sounding concept of work of Ensemble "Kolo" and outlines its position in the existing network of like Yugoslav amateur ensembles. Main problems identified and examined are "authenticity" (izvornost), pedagogy in SFRY, folk dance relations towards high art and ballet practice in SFRY and role of folk dance ensembles in construction of the SFRY image in the first phase of the Cold war. The author consults archive collections from the Archive of Yugoslavia, periodicals and historical essays on politics, culture and ideology of SFRY.
title: 03_0906
Creators: name: Wesley Baldwin, John
name: Baldwin, John W.
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2018
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: L'ensemble de ces notes ont été crée par John Baldwin lors d'une de ses premières périodes de résidence à Paris. Ces documents comprennent tous les magistri qu’il avait pu rencontrer dans ses sources. Aux XIIème et XIIIème siècles, les universités n'existant pas encore, le titre de magister s'il évoque certainement une compétence n'est pas rattaché de façon systématique au passage par les écoles. De surcroît, les magistris sont le plus souvent désignés par leur seul prénom. La lecture de ces données est donc difficile et suppose un long travail pour tenter d'identifier un individu auquel on pourrait rattacher plusieurs mentions. John Baldwin avait donc renoncé à utiliser ces données pour donner un prolongement à sa magnifique étude sur les gradués d'université et leur emploi par les Capétiens et les Plantagenêts. Néanmoins, il a conservé ces données et elles sont potentiellement très utile dans le cadre de Studium, comme le sont toutes les mentions dans les volumes des Fasti Ecclesiae Gallicanae de chanoines portant ce titre de magister sans autres précisions. L'ampleur des dépouillements rend ces données très utiles et nous devons une grande reconnaissance à John Baldwin pour avoir pris la peine de faire photocopier ses fiches et de nous les avoir transmises amicalement.
Les données ainsi que les images des fiches sont accessibles sur le site Internet à l'adresse suivante : http://studium-baldwin.lamop.fr/.
Les transcriptions des fiches ont été effectuées par des étudiants de Paris 1 Panthéon - Sorbonne mais elles n'ont pas été corrigées par la suite.
description: Relation: https://lamop.hypotheses.org/
title: Programme de la conférence du projet amorce Photographie de famille, ATRI 4
Creators: name: IDEMEC (UMR 7307)
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2017

description: Programme de la conférence du projet amorce Photographie de famille, ATRI 4, du 2 novembre 2015
Additional file 1 of Oropharynx and hyoid bone changes in female extraction patients with distinct sagittal and vertical skeletal patterns: a retrospective study
Creators: name: Guo, Runzhi
name: Wang, Shuo
name: Zhang, Liwen
name: Li, Linwei
name: Yu, Qianyao
name: Huang, Yiping
name: Li, Weiran
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy
subject: Plant Biology

description: Additional file 1: Supplementary Table 1. Comparison of the changes in oropharynx and hyoid bone position between class I-norm extraction patients and class I-norm non-extraction patients.
Spin-lattice coupling in an epitaxial NdFeO3 thin film
Creators: name: Khaled, Mohamed Ali
name: Ruvalcaba, Juan
name: Cordova, Teodoro Fraga
name: Marssi, Mimoun El
name: Bouyanfif, Houssny
Publisher: name: arXiv
Year: 2022
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Rare-earth orthoferrite RFeO3 materials such as NdFeO3 are strongly studied because of their fascinating magnetic properties and their potential applications. Here, we show the successful epitaxial synthesis of parasitic-free NFO thin film by pulsed laser deposition on (001)-SrTiO3. High-resolution X-ray diffraction shows a coherent growth and a tetragonal-like structure of a tensile strained 80 nm thick NFO film in contrast with the bulk orthorhombic state. Room temperature magnetometry indicates a bulk-like antiferromagnetic state for the NFO film. Temperature-dependent X-ray diffraction and magnetometry highlight a significant spin-lattice coupling at the Neel Temperature while a new magneto-structural instability is discovered around 250°C that needs further investigation.
Search for periodic emission of five gamma-ray pulsars at the frequency of 111 MHz
Creators: name: Tyul'bashev, S. A.
name: Kitaeva, M. A.
name: Tyul'basheva, G. E.
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: The search for pulsar (periodic) emission of five gamma-ray pulsars was carried out using the summed power spectra and the summed periodograms. No harmonics corresponding to the known pulsar periods were found. The upper estimations of the integral flux density of the pulsars J0357+3205 (<0.5 mJy), J0554+3107 (<0.5 mJy), J1958+2846 (<0.5 mJy), J2021+4026 (<0.4 mJy), and J2055+2539 (<0.55 mJy) is obtained.
description: Published in Astronomy Reports and translated from russian version of paper by Yandex translator with correction scientific lexis. 6 page, 1 figure, 1 table