cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Patched and Costal-2 mutations lead to differences in tissue overgrowth autonomy
Creators: name: Moore, Shannon L.
name: Adamini, Frank C.
name: Coopes, Erik S.
name: Godoy, Dustin
name: Northington, Shyra J.
name: Stewart, Jordan M.
name: Tillett, Richard L
name: Bieser, Kayla L.
name: Kagey, Jacob D.
Publisher: name: Taylor & Francis
Year: 2022
Subjects: subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Evolutionary Biology
subject: 69999 Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer

description: Genetic screens are used in Drosophila melanogaster to identify genes key in the regulation of organismal development and growth. These screens have defined signalling pathways necessary for tissue and organismal development, which are evolutionarily conserved across species, including Drosophila. Here, we have used an FLP/FRT mosaic system to screen for conditional regulators of cell growth and cell division in the Drosophila eye. The conditional nature of this screen utilizes a block in the apoptotic pathway to prohibit the mosaic mutant cells from dying via apoptosis. From this screen, we identified two different mutants that mapped to the Hedgehog signalling pathway. Previously, we described a novel Ptc mutation and here we add to the understanding of disrupting the Hh pathway with a novel allele of Cos2. Both of these Hh components are negative regulators of the pathway, yet they depict mutant differences in the type of overgrowth created. Ptc mutations lead to overgrowth consisting of almost entirely wild-type tissue (non-autonomous overgrowth), while the Cos2 mutation results in tissue that is overgrown in both the mutant and wild-type clones (both autonomous and non-autonomous). These differences in tissue overgrowth are consistent in the Drosophila eye and wing. The observed difference is correlated with different deregulation patterns of pMad, the downstream effector of DPP signalling. This finding provides insight into pathway-specific differences that help to better understand intricacies of developmental processes and human diseases that result from deregulated Hedgehog signalling, such as basal cell carcinoma.
Neoseiulella Muma
Creators: name: ZahidiK, Abdelaziz
name: Akchour, Abdellah
name: K, Serge Kreiter
name: TixierK, Marie-Stéphane
name: MsandaK, Fouad
name: MousadikK, Abdelhamid El
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Mesostigmata
Phytoseiidae
Neoseiulella

description: Genus Neoseiulella Muma
 Neoseiulella Muma 1961: 295.
 Neoseiulella litoralis (Swirski & Amitai)
 Typhloctonus litoralis Swirski & Amitai 1984: 73-76.
 Neoseiulella (Typhloctona) litoralis, Denmark & Rather 1996: 71-72.
 Neoseiulella litoralis, Swirski & Amitai 1997b: 37 ; Moraes et al. 2004a: 294 ; Chant & McMurtry 2007: 147.
 World distribution — Cape Verde, Greece, Israel, Morocco, and Spain.
 Previous records from Morocco — This species was reported in Morocco and was mainly found near the Atlantic Ocean coast. Tixier et al. (2016) reported that this species was observed on several plants such as Carlina racemosa L. (Asteraceae), Emex spinosa L. (Polygonaceae), Eryngium maritimum L. (Apiaceae), Euphorbia pithyusa L. (Euphorbiaceae), and Medicago marina L. (Fabaceae).
 Specimens examined — 2 ♀♀ on Withania somnifera (L.) Dunal. (Solanaceae) at Saouda (Ouled Teima) in September 2018.
 Remarks — The measurements of adult females collected agree with those provided by Kanouh et al. (2010) for specimens from France.
description: Published as part of ZahidiK, Abdelaziz, Akchour, Abdellah, K, Serge Kreiter, TixierK, Marie-Stéphane, MsandaK, Fouad & MousadikK, Abdelhamid El, 2023, Phytoseiid mites (Acari: Mesostigmata) from Central West Morocco: new records and key to females of all recorded Moroccan species, pp. 691-724 in Acarologia 63 (3) on pages 707-708, DOI: 10.24349/v5of-5oe1, http://zenodo.org/record/10786247
Metabolism and plasma pharmacokinetics of isoorientin, a natural active ingredient, in Sprague-Dawley male rats after oral and intravenous administration
Creators: name: Xinhua Lin
name: Yao, Hong
name: Peiying Shi
Publisher: name: Taylor & Francis
Year: 2015
Subjects: subject: Biological Sciences
subject: Ecology
subject: FOS: Biological sciences
subject: Chemistry
subject: Biotechnology
subject: Pharmacology
subject: Physiology
subject: Cell Biology
subject: Microbiology
subject: Biochemistry

description: 1. Several pharmacological effects have been revealed on isoorientin, suggesting its potential medicinal prospects. The metabolic and plasma pharmacokinetic profiles of isoorientin were investigated in rats.2. For intra-gastric gavage, parent drug and three metabolites were detected in urine and feces by HPLC–MS/MS, but only one metabolite was found in plasma and identified as isoorientin 3′- or 4′-O-sulfate (M1) according to MS and UV absorbance spectra.3. After a single i.v. administration of isoorientin (5, 10, or 15 mg/kg B.W.) in rats, linear pharmacokinetic property was observed with favorable terminal half-lives (1.67 ± 1.32–2.07 ± 0.50 h). After a single p.o. administration of isoorientin (150 mg/kg B.W.) in rats, plasma isoorientin concentration was low, but the concentration of M1 was comparatively high. Low systemic exposure of oral isoorientin in rats could result from its low aqueous solubility and extensive first-pass metabolism, and plasma concentration of M1 can be used as a biomarker of isoorientin intake. Isoorientin showed low oral bioavailability (8.98 ± 1.07%), and had about 6% or 45% dose recovery in urine or feces, respectively, 72 h after intra-gastric gavage.4. These studies are the first to describe the pharmacokinetics of isoorientin via i.v. or p.o. dosing, providing important information for understanding its process in vivo.
Gorgosaurus libratus Lambe 1914
Creators: name: W. D. Matthew
name: Barnum Brown
Publisher: name: Zenodo
Year: 1923
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Reptilia
Tyrannosauridae
Gorgosaurus
Gorgosaurus libratus

description: 4.- Gorgosaurus libratus LAMBE. Skeleton No. 5434. Belly River formation, Red.Deer River, Alberta. Expedition of 1914.
This individual is the largest of the series. It lacks the tail and hind feet; the forelimbs and forefeet are preserved, except for a few foot bones missing from one side or the other. Only the skull and jaws are at present on exhibition.
description: Published as part of W. D. Matthew & Barnum Brown, 1923, Preliminary notices of skeletons and skulls of Deinodontidae from the Cretaceous of Alberta, pp. 1-10 in American Museum Novitates 89 on page 8, DOI: 10.5281/zenodo.4715537
Typhlodromus Scheuten 1857
Creators: name: ZahidiK, Abdelaziz
name: Akchour, Abdellah
name: K, Serge Kreiter
name: TixierK, Marie-Stéphane
name: MsandaK, Fouad
name: MousadikK, Abdelhamid El
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Mesostigmata
Phytoseiidae
Typhlodromus

description: Genus Typhlodromus Scheuten
 Typhlodromus Scheuten 1857: 111.
description: Published as part of ZahidiK, Abdelaziz, Akchour, Abdellah, K, Serge Kreiter, TixierK, Marie-Stéphane, MsandaK, Fouad & MousadikK, Abdelhamid El, 2023, Phytoseiid mites (Acari: Mesostigmata) from Central West Morocco: new records and key to females of all recorded Moroccan species, pp. 691-724 in Acarologia 63 (3) on page 708, DOI: 10.24349/v5of-5oe1, http://zenodo.org/record/10786247
Converting BPMN Diagrams to Privacy Calculus
Creators: name: Pitsiladis, Georgios V.
name: Stefaneas, Petros S.
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Computers and Society (cs.CY)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: K.4.1;D.2.4;F.3.1;I.2.2

description: The ecosystem of Privacy Calculus is a formal framework for privacy comprising (a) the Privacy Calculus, a Turing-complete language of message-exchanging processes based on the pi-calculus, (b) a privacy policy language, and (c) a type checker that checks adherence of Privacy Calculus terms to privacy policies. BPMN is a standard for the graphical description of business processes which aims to be understandable by all business users, from those with no technical background to those implementing software. This paper presents how (a subset of) BPMN diagrams can be converted to Privacy Calculus terms, in the hope that it will serve as a small piece of larger workflows for building privacy-preserving software. The conversion is described mathematically in the paper, but has also been implemented as a software tool.
description: In Proceedings FROM 2024, arXiv:2410.23020
Unification in Matching Logic -- Revisited
Creators: name: Kurucz, Ádám
name: Bereczky, Péter
name: Horpácsi, Dániel
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Matching logic is a logical framework for specifying and reasoning about programs using pattern matching semantics. A pattern is made up of a number of structural components and constraints. Structural components are syntactically matched, while constraints need to be satisfied. Having multiple structural patterns poses a practical problem as it requires multiple matching operations. This is easily remedied by unification, for which an algorithm has already been defined and proven correct in a sorted, polyadic variant of matching logic. This paper revisits the subject in the applicative variant of the language while generalising the unification problem and mechanizing a proven-sound solution in Coq.
description: In Proceedings FROM 2024, arXiv:2410.23020
Heterogeneous behavior of metalloproteins toward metal ion binding and selectivity: insights from molecular dynamics studies
Creators: name: Prerana Gogoi
name: Chandravanshi, Monika
name: Mandal, Suraj Kumar
name: Ambuj Srivastava
name: Kanaujia, Shankar Prasad
Publisher: name: Taylor & Francis
Year: 2015
Subjects: subject: Biophysics
subject: Biochemistry
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 20199 Astronomical and Space Sciences not elsewhere classified
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences

description: About one-third of the existing proteins require metal ions as cofactors for their catalytic activities and structural complexities. While many of them bind only to a specific metal, others bind to multiple (different) metal ions. However, the exact mechanism of their metal preference has not been deduced to clarity. In this study, we used molecular dynamics (MD) simulations to investigate whether a cognate metal (bound to the structure) can be replaced with other similar metal ions. We have chosen seven different proteins (phospholipase A2, sucrose phosphatase, pyrazinamidase, cysteine dioxygenase (CDO), plastocyanin, monoclonal anti-CD4 antibody Q425, and synaptotagmin 1 C2B domain) bound to seven different divalent metal ions (Ca2+, Mg2+, Zn2+, Fe2+, Cu2+, Ba2+, and Sr2+, respectively). In total, 49 MD simulations each of 50 ns were performed and each trajectory was analyzed independently. Results demonstrate that in some cases, cognate metal ions can be exchanged with similar metal ions. On the contrary, some proteins show binding affinity specifically to their cognate metal ions. Surprisingly, two proteins CDO and plastocyanin which are known to bind Fe2+ and Cu2+, respectively, do not exhibit binding affinity to any metal ion. Furthermore, the study reveals that in some cases, the active site topology remains rigid even without cognate metals, whereas, some require them for their active site stability. Thus, it will be interesting to experimentally verify the accuracy of these observations obtained computationally. Moreover, the study can help in designing novel active sites for proteins to sequester metal ions particularly of toxic nature.
Alburnoides qanati Coad & Bogutskaya 2009
Creators: name: Sayyadzadeh, Golnaz
name: Esmaeili, Hamid Reza
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Cypriniformes
Cyprinidae
Alburnoides
Alburnoides qanati

description: 177. Alburnoides qanati Coad & Bogutskaya, 2009
Common name: Kor spirlin-Qanat spirlin
Taxonomy: Original description: Alburnoides qanati Coad & Bogutskaya, 2009: 68, fig. 1 [At source and along stream of a qanat at Naqsh-e Rostam, Pulvar River system, 29°59'30"N, 52°54'00"E, Fars, Iran, elevation 1660 m; holotype: CMNFI 1977-0509].
Revisions. None.
Illustrations. Bogutskaya & Coad (2009: 51, fig. 2).
Distribution in Iran. —Distribution in River Basin: Kor River, Sirjan.—Distribution in Ecoregions: 442-Upper Tigris & Euphrates.
Status in Iran. [Endemic].—Khayateh-e qanati.—Listed in previous checklists from Iran by Esmaeili et al. (2017 a, 2018) and Jouladeh-Roudbar et al. (2020).—Iran material: CMNFI, ZM-CBSU.
Conservation. —IUCN: NE.
description: Published as part of Sayyadzadeh, Golnaz & Esmaeili, Hamid Reza, 2024, Freshwater lamprey and fishes of Iran: Reappraisal and updated checklist with a note on Eagderi et al. (2022), pp. 1-99 in Zootaxa 5402 (1) on page 58, DOI: 10.11646/zootaxa.5402.1.1, http://zenodo.org/record/10524097
Non-Asymptotic State-Space Identification of Closed-Loop Stochastic Linear Systems using Instrumental Variables
Creators: name: Szentpéteri, Szabolcs
name: Csáji, Balázs Csanád
Publisher: name: arXiv
Year: 2023
Subjects: subject: Systems and Control (eess.SY)
subject: Dynamical Systems (math.DS)
subject: Methodology (stat.ME)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: The paper suggests a generalization of the Sign-Perturbed Sums (SPS) finite sample system identification method for the identification of closed-loop observable stochastic linear systems in state-space form. The solution builds on the theory of matrix-variate regression and instrumental variable methods to construct distribution-free confidence regions for the state-space matrices. Both direct and indirect identification are studied, and the exactness as well as the strong consistency of the construction are proved. Furthermore, a new, computationally efficient ellipsoidal outer-approximation algorithm for the confidence regions is proposed. The new construction results in a semidefinite optimization problem which has an order-of-magnitude smaller number of constraints, as if one applied the ellipsoidal outer-approximation after vectorization. The effectiveness of the approach is also demonstrated empirically via a series of numerical experiments.
description: 12 pages, 4 tables, 3 figures
OPTIMUM SELECTION OF TUNNEL BORING MACHINE BY USING FUZZY ANALYTICAL HIERARCHY PROCESS: A CASE STUDY OF BEHESHT ABAD TUNNEL
Creators: name: Arash Ebrahimabadi, Alireza Afradi
Publisher: name: TuEngr Group
Year: 2019
Subjects: Optimum selection of mechanical excavator
Tunnel Boring Machine (TBM)
Fuzzy AHP
Behesht Abad water transfer tunnel.

description: International Transaction Journal of Engineering, Management, & Applied Sciences & Technologies, 10, 3, 445-452
Typhlodromus (Typhlodromus) octogenipilus Kreiter, Tixier & Duso
Creators: name: ZahidiK, Abdelaziz
name: Akchour, Abdellah
name: K, Serge Kreiter
name: TixierK, Marie-Stéphane
name: MsandaK, Fouad
name: MousadikK, Abdelhamid El
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Mesostigmata
Phytoseiidae
Typhlodromus
Typhlodromus octogenipilus

description: Typhlodromus (Typhlodromus) octogenipilus Kreiter, Tixier & Duso
 Typhlodromus (Typhlodromus) octogenipilus Kreiter et al. 2010: 172.
 World distribution — Croatia, Greece, Morocco, and Turkey.
 Previous records from Morocco — The first report from Morocco of this recently was provided by Tixier et al. (2016). Specimens have been collected on Cistus libanotis L.
(Cistaceae) in Road to Souk El Arba and Mazari Cape.
 Specimens examined — 4 ♀♀ on citrus leaves were collected in July 2017 at Taoufiqui 2 domain; 5 ♀♀ on citrus leaves in September 2018 at the same domain.
description: Published as part of ZahidiK, Abdelaziz, Akchour, Abdellah, K, Serge Kreiter, TixierK, Marie-Stéphane, MsandaK, Fouad & MousadikK, Abdelhamid El, 2023, Phytoseiid mites (Acari: Mesostigmata) from Central West Morocco: new records and key to females of all recorded Moroccan species, pp. 691-724 in Acarologia 63 (3) on page 709, DOI: 10.24349/v5of-5oe1, http://zenodo.org/record/10786247
Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS
Creators: name: Todoran, Eneia Nicolae
name: Ciobanu, Gabriel
Publisher: name: arXiv
Year: 2024
Subjects: subject: Programming Languages (cs.PL)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Multiagent Systems (cs.MA)
subject: FOS: Computer and information sciences
subject: F.3.2; D.3.1

description: We develop denotational and operational semantics designed with continuations for process calculi based on CCS extended with mechanisms offering support for multiparty interactions. We investigate the abstractness of this continuation semantics. We show that our continuation-based denotational models are weakly abstract with respect to the corresponding operational models.
description: In Proceedings FROM 2024, arXiv:2410.23020
Gaussian generators for the Yangian associated with the Lie superalgebra $\mathfrak{osp}(1|2m)$
Creators: name: Molev, Alexander
name: Ragoucy, Eric
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Algebra (math.QA)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: We give a new presentation of the Yangian for the orthosymplectic Lie superalgebra $\mathfrak{osp}_{1|2m}$. It relies on the Gauss decomposition of the generator matrix in the $R$-matrix presentation. The defining relations between the Gaussian generators are derived from a new version of the Drinfeld-type presentation of the Yangian for $\mathfrak{osp}_{1|2}$ and some additional relations in the Yangian for $\mathfrak{osp}_{1|4}$ by an application of the embedding theorem for the super-Yangians.
description: 33 pages, more explicit connection with the work of Arnaudon et al. (2003) is made, coproduct formulas added. arXiv admin note: text overlap with arXiv:2112.10419
Phytochemical analysis of Achillea ligustica All. from Lipari Island (Aeolian Islands)
Creators: name: Venditti, Alessandro
name: Guarcini, Laura
name: Armandodoriano Bianco
name: Rosselli, Sergio
name: Bruno, Maurizio
name: Senatore, Felice
Publisher: name: Taylor & Francis
Year: 2016
Subjects: subject: Biochemistry
subject: Microbiology
subject: FOS: Biological sciences
subject: Cell Biology
subject: Genetics
subject: Molecular Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified

description: A complete chemical investigation of Achillea ligustica All. growing at Lipari (Aeolian Island, Sicily) has been carried out. Seventeen metabolites have been isolated and characterised from dichloromethane and methanol extracts of flowers and aerial parts, and GC/MS analyses of petroleum ether extracts was carried out, revealing a composition in sesquiterpenoids similar to those reported for populations from Greece, Sicily and Algeria, showing the presence of (3RS,6RS)-2,6-dimethyl-1,7-octadiene-3,6-diol (1), 2,6-dimethyl-octa-3(E),7-diene-2,6-diol (2), iso-seco-tanapartholide (3) from DCM fraction. In addition from the methanolic extract of the aerial parts, peculiar flavonoid glucuronides have been isolated: i.e. apigenin-7-O-glucuronide (12) and quercetin 3-O-glucuronide (14). These metabolites have been reported in this species for the first time. The isolated flavonoids were previously recognised in several species of this complex genus and for this reason seems to be highly retained secondary metabolites of importance from the chemotaxonomic point of view.
Efficient Performance Analysis of Modular Rewritable Petri Nets
Creators: name: Capra, Lorenzo
name: Gribaudo, Marco
Publisher: name: arXiv
Year: 2024
Subjects: subject: Performance (cs.PF)
subject: Symbolic Computation (cs.SC)
subject: FOS: Computer and information sciences

description: Petri Nets (PN) are extensively used as a robust formalism to model concurrent and distributed systems; however, they encounter difficulties in accurately modeling adaptive systems. To address this issue, we defined rewritable PT nets (RwPT) using Maude, a declarative language that ensures consistent rewriting logic semantics. Recently, we proposed a modular approach that employs algebraic operators to build extensive RwPT models. This methodology uses composite node labeling to maintain hierarchical organization through net rewrites and has been shown to be effective. Once stochastic parameters are integrated into the formalism, we introduce an automated procedure to derive a lumped CTMC from the quotient graph generated by a modular RwPT model. To demonstrate the effectiveness of our method, we present a fault-tolerant manufacturing system as a case study.
description: In Proceedings FROM 2024, arXiv:2410.23020
Gorgosaurus libratus Lambe 1914
Creators: name: W. D. Matthew
name: Barnum Brown
Publisher: name: Zenodo
Year: 1923
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Reptilia
Tyrannosauridae
Gorgosaurus
Gorgosaurus libratus

description: 5.- Gorgosaurus libratus LAMBE. Skull and jaws, No. 5336. Belly River formation, Red Deer River, Alberta. Expedition of 1913.
A few bones of the skeleton are associated with this skull. The posterior part of the lower jaws is mostly restored in plaster. It agrees nearly in size with No. 5458 skeleton in running pose and with the type of the species in the Ottawa Museum.
description: Published as part of W. D. Matthew & Barnum Brown, 1923, Preliminary notices of skeletons and skulls of Deinodontidae from the Cretaceous of Alberta, pp. 1-10 in American Museum Novitates 89 on page 8, DOI: 10.5281/zenodo.4715537
Oriented Closed Polyhedral Maps and the Kitaev Model
Creators: name: Szlachányi, Kornél
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Algebra (math.QA)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: A kind of combinatorial map, called arrow presentation, is proposed to encode the data of the oriented closed polyhedral complexes $Σ$ on which the Hopf algebraic Kitaev model lives. We develop a theory of arrow presentations which underlines the role of the dual of the double $\mathcal{D}(Σ)^*$ of $Σ$ as being the Schreier coset graph of the arrow presentation, explains the ribbon structure behind curves on $\mathcal{D}(Σ)^*$ and facilitates computation of holonomy with values in the algebra of the Kitaev model. In this way, we can prove ribbon operator identities for arbitrary f.d. C$^*$-Hopf algebras and arbitrary oriented closed polyhedral maps. By means of a combinatorial notion of homotopy designed specially for ribbon curves, we can rigorously formulate ''topological invariance'' of states created by ribbon operators.
Phytochemical analysis of Achillea ligustica All. from Lipari Island (Aeolian Islands)
Creators: name: Venditti, Alessandro
name: Guarcini, Laura
name: Armandodoriano Bianco
name: Rosselli, Sergio
name: Bruno, Maurizio
name: Senatore, Felice
Publisher: name: Taylor & Francis
Year: 2015
Subjects: subject: Biochemistry
subject: Microbiology
subject: FOS: Biological sciences
subject: Cell Biology
subject: Genetics
subject: Molecular Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified

description: A complete chemical investigation of Achillea ligustica All. growing at Lipari (Aeolian Island, Sicily) has been carried out. Seventeen metabolites have been isolated and characterised from dichloromethane and methanol extracts of flowers and aerial parts, and GC/MS analyses of petroleum ether extracts was carried out, revealing a composition in sesquiterpenoids similar to those reported for populations from Greece, Sicily and Algeria, showing the presence of (3RS,6RS)-2,6-dimethyl-1,7-octadiene-3,6-diol (1), 2,6-dimethyl-octa-3(E),7-diene-2,6-diol (2), iso-seco-tanapartholide (3) from DCM fraction. In addition from the methanolic extract of the aerial parts, peculiar flavonoid glucuronides have been isolated: i.e. apigenin-7-O-glucuronide (12) and quercetin 3-O-glucuronide (14). These metabolites have been reported in this species for the first time. The isolated flavonoids were previously recognised in several species of this complex genus and for this reason seems to be highly retained secondary metabolites of importance from the chemotaxonomic point of view.
A unified dual-stage actuator control scheme for track seeking and following in hard disk drives
Creators: name: Zheng, Jinchuan
name: Fu, Minyue
Publisher: name: Swinburne
Year: 2024

description: This paper presents a unified approach to track seeking and following control of a hard disk drive (HDD) dual-stage actuator (DSA) system. Based on doubly coprime factorization (DCF) method, the DSA controller and the closed-loop dynamics are expressed explicitly in terms of two design parameters. This greatly simplifies the optimization of design parameters in meeting desired specifications. We then address how to use the design parameters to deal with specific problems in the DSA, i.e., control allocation for disturbance rejection and trajectory planning for track seeking. Simulated results are also presented to verify the effectiveness of the proposed DSA controller. Compared to previous works, the proposed approach can fulfill track seeking and following tasks by a single controller without switching. Moreover, the unified controller can achieve desirable performances for both tasks which are equivalent to that by two separate conventional controllers.
بررسی مبانی و علل الغای مجازات اعدام در اتحادیه اروپا
Creators: name: Sarkhosh, Javad
name: مهسا کاغذلو
Publisher: name: Zenodo
Year: 2019
Subjects: الغای مجازات , اعدام، اتحادیه اروپا، حقوق بشر

description: اعدام عمری به درازای تاریخ بشریت دارد، ولی از اواسط قرن 18 میلادی، زمینه های افول این مجازات فراهم شده است.از همان زمان نیز، مستدلاتی مبنی بر غیرانسانی بودن، غیر موثر بودن و مخالف بودن این مجازات با اصول حقوق بشر،آورده شد و اروپا بهعنوان پیشگام در حذف این مجازات، شناخته میشود. مجازات اعدام در طول تاریخ از جهات مختلف بهموازات سایر مسائل حقوق کیفری بسیار متحول شده است، چنانکه اغلب در قوانین قدیم ، جرائم بسیاری مشمول این مجازات میگردید و کیفیت اجرای آن برحسب مورد نوع مجرم و شرایط آن و گاه طبقه اجتماعی محکوم علیه تفاوت داشت . غیر کارآمد بودن اعمال مجازات اعدام در جهت بازدارندگی از جرائم و اصلاح جامعه، با گسترش اندیشه افرادی چون سزار بکاریا، موردتوجه قرار گرفت. پژوهش حاضر در پی تحلیل چگونگی سیر حذف مجازات اعدام و نتایج آن در اتحادیه اروپا است. درواقع مستدلات حذف مجازات اعدام در کشورهای عضو اتحادیه اروپا را میتوان اینگونه تبیین کرد: .1 خطاپذیر بودن. .2 مغایرت بااحساس بشردوستی. .3 غیر بازدارندگی. .4 مغایرت این مجازات با این اصل که انسان آزاد آفریدهشده است.
Tracer: A Tool for Race Detection in Software Defined Network Models
Creators: name: Caltais, Georgiana
name: Zangiabady, Mahboobeh
name: Zvirbulis, Ervin
Publisher: name: arXiv
Year: 2024
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Networking and Internet Architecture (cs.NI)
subject: Symbolic Computation (cs.SC)
subject: FOS: Computer and information sciences

description: Software Defined Networking (SDN) has become a new paradigm in computer networking, introducing a decoupled architecture that separates the network into the data plane and the control plane. The control plane acts as the centralized brain, managing configuration updates and network management tasks, while the data plane handles traffic based on the configurations provided by the control plane. Given its asynchronous distributed nature, SDN can experience data races due to message passing between the control and data planes. This paper presents Tracer, a tool designed to automatically detect and explain the occurrence of data races in DyNetKAT SDN models. DyNetKAT is a formal framework for modeling and analyzing SDN behaviors, with robust operational semantics and a complete axiomatization implemented in Maude. Built on NetKAT, a language leveraging Kleene Algebra with Tests to express data plane forwarding behavior, DyNetKAT extends these capabilities by adding primitives for communication between the control and data planes. Tracer exploits the DyNetKAT axiomatization and enables race detection in SDNs based on Lamport vector clocks. Tracer is a publicly available tool.
description: In Proceedings FROM 2024, arXiv:2410.23020
Static Analysis Framework for Detecting Use-After-Free Bugs in C++
Creators: name: Teodorescu, Vlad-Alexandru
name: Lucanu, Dorel
Publisher: name: arXiv
Year: 2024
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: Pointers are a powerful, but dangerous feature provided by the C and C++ programming languages, and incorrect use of pointers is a common source of bugs and security vulnerabilities. Making secure software is crucial, as vulnerabilities exploited by malicious actors not only lead to monetary losses, but possibly loss of human lives. Fixing these vulnerabilities is costly if they are found at the end of development, and the cost will be even higher if found after deployment. That is why it is desirable to find the bugs as early in the development process as possible. We propose a framework that can statically find use-after-free bugs at compile-time and report the errors to the users. It works by tracking the lifetime of objects and memory locations pointers might point to and, using this information, a possibly invalid dereferencing of a pointer can be detected. The framework was tested on over 100 handwritten small tests, as well as 5 real-world projects, and has shown good results detecting errors, while at the same time highlighting some scenarios where false positive reports may occur. Based on the results, it was concluded that our framework achieved its goals, as it is able to detect multiple patterns of use-after-free bugs, and correctly report the errors to the programmer.
description: In Proceedings FROM 2024, arXiv:2410.23020
Improving initialization and evolution accuracy of cosmological neutrino simulations
Creators: name: Sullivan, James M.
name: Emberson, J. D.
name: Habib, Salman
name: Frontiere, Nicholas
Publisher: name: arXiv
Year: 2023
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: Neutrino mass constraints are a primary focus of current and future large-scale structure (LSS) surveys. Non-linear LSS models rely heavily on cosmological simulations -- the impact of massive neutrinos should therefore be included in these simulations in a realistic, computationally tractable, and controlled manner. A recent proposal to reduce the related computational cost employs a symmetric neutrino momentum sampling strategy in the initial conditions. We implement a modified version of this strategy into the Hardware/Hybrid Accelerated Cosmology Code (HACC) and perform convergence tests on its internal parameters. We illustrate that this method can impart $\mathcal{O}(1\%)$ numerical artifacts on the total matter field on small scales, similar to previous findings, and present a method to remove these artifacts using Fourier-space filtering of the neutrino density field. Moreover, we show that the converged neutrino power spectrum does not follow linear theory predictions on relatively large scales at early times at the $15\%$ level, prompting a more careful study of systematics in particle-based neutrino simulations. We also present an improved method for backscaling linear transfer functions for initial conditions in massive neutrino cosmologies that is based on achieving the same relative neutrino growth as computed with Boltzmann solvers. Our self-consistent backscaling method yields sub-percent accuracy in the total matter growth function. Comparisons for the non-linear power spectrum with the Mira-Titan emulator at a neutrino mass of $m_ν=0.15~\mathrm{eV}$ are in very good agreement with the expected level of errors in the emulator and in the direct N-body simulation.
description: 33 pages, 8 figures, 1 table. Published version
Alburnoides samiii Mousavi-Sabet, Vatandoust & Doadrio 2015
Creators: name: Sayyadzadeh, Golnaz
name: Esmaeili, Hamid Reza
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Cypriniformes
Cyprinidae
Alburnoides
Alburnoides samiii

description: 178. Alburnoides samiii Mousavi-Sabet, Vatandoust & Doadrio, 2015
Common name. Sefidrud spirlin, Samii riffle minnow
Taxonomy. Original description: Alburnoides samiii Mousavi-Sabet, Vatandoust & Doadrio 2015: 321, figs. 17-19 [Tutkabon Stream, upper Sefidroud River drainage, Guilan Province, Iran, 36°50,756'N, 49°35.021'E; holotype: VMFC-ALS4 -H].
Revisions. None.
Illustrations. Mousavi-Sabet et al. (2015: 147, fig. 9).
Distribution in Iran. —Distribution in River Basin: Caspian Sea.—Distribution in Ecoregions: 434-Kura-South Caspian Drainages.
Status in Iran. [Native].—Khayateh-e Samii.—Listed in previous checklists from Iran by Esmaeili et al. (2017 a, 2018) and Jouladeh-Roudbar et al. (2020).—Iran material: VMFC.
Conservation. —IUCN: NE.
description: Published as part of Sayyadzadeh, Golnaz & Esmaeili, Hamid Reza, 2024, Freshwater lamprey and fishes of Iran: Reappraisal and updated checklist with a note on Eagderi et al. (2022), pp. 1-99 in Zootaxa 5402 (1) on page 58, DOI: 10.11646/zootaxa.5402.1.1, http://zenodo.org/record/10524097
Heterogeneous behavior of metalloproteins towards metal ion binding and selectivity: insights from molecular dynamics studies
Creators: name: Prerana Gogoi
name: Chandravanshi, Monika
name: Mandal, Suraj Kumar
name: Ambuj Srivastava
name: Kanaujia, Shankar Prasad
Publisher: name: Taylor & Francis
Year: 2015
Subjects: Biological Sciences
Astronomy, Astrophysics, Space Science
Chemistry
Cell Biology
Physics
Biochemistry
Biophysics

description: About one third of the existing proteins require metal ions as cofactors for their catalytic activities and structural complexities. While many of them bind only to a specific metal, others bind to multiple (different) metal ions. However, the exact mechanism of their metal preference has not been deduced to clarity. In this study, we used molecular dynamics (MD) simulations to investigate whether a cognate metal (bound to the structure) can be replaced with other similar metal ions. We have chosen seven different proteins (Phospholipase A2, Sucrose phosphatase, Pyrazinamidase, Cysteine dioxygenase, Plastocyanin, Monoclonal anti-CD4 antibody Q425 and Synaptotagmin 1 C2B domain) bound to seven different divalent metal ions (Ca2+, Mg2+, Zn2+, Fe2+, Cu2+, Ba2+ and Sr2+, respectively). In total, 49 MD simulations each of 50 ns were performed and each trajectory was analyzed independently. Results demonstrate that in some cases, cognate metal ions can be exchanged with similar metal ions. On the contrary, some proteins show binding affinity specifically to their cognate metal ions. Surprisingly, two proteins cysteine dioxygenase and plastocyanin which are known to bind Fe2+ and Cu2+, respectively, do not exhibit binding affinity to any metal ion. Furthermore, the study reveals that in some cases, the active-site topology remains rigid even without cognate metals, whereas, some require them for their active-site stability. Thus, it will be interesting to experimentally verify the accuracy of these observations obtained computationally. Moreover, the study can help in designing novel active sites for proteins to sequester metal ions particularly of toxic nature.
Intuitionistic Propositional Logic in Lean
Creators: name: Trufaş, Dafina
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: In this paper we present a formalization of Intuitionistic Propositional Logic in the Lean proof assistant. Our approach focuses on verifying two completeness proofs for the studied logical system, as well as exploring the relation between the two analyzed semantical paradigms - Kripke and algebraic. In addition, we prove a large number of theorems and derived deduction rules.
description: In Proceedings FROM 2024, arXiv:2410.23020
Descent of splendid Rickard equivalences in ${\rm GL}_n(q)$
Creators: name: Huang, Xin
name: Li, Pengcheng
name: Zhang, Jiping
Publisher: name: arXiv
Year: 2023
Subjects: subject: Representation Theory (math.RT)
subject: Group Theory (math.GR)
subject: FOS: Mathematics
subject: 20C20, 20C11, 20C33, 20G05

description: Let $n$ be a positive integer and $q$ a prime power. We prove that a refined version of Broué's abelian defect group conjecture holds for unipotent $\ell$-blocks of ${\rm GL}_n(q)$, where $\ell\nmid q$. We also give a sufficient condition on general $\ell$-blocks of ${\rm GL}_n(q)$ to satisfy the refined abelian defect group conjecture. We explain by an example that this sufficient condition does not hold in general.
description: the final version
New insights into the dimerization of small GTPase Rac/ROP guanine nucleotide exchange factors in rice
Creators: name: Akamatsu, Akira
name: Uno, Kazumi
name: Kato, Midori
name: Hann Ling Wong
name: Shimamoto, Ko
name: Kawano, Yoji
Publisher: name: Taylor & Francis
Year: 2015
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Cancer
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: Computational Biology

description: Molecular links between receptor-kinases and Rac/ROP family small GTPases mediated by activator guanine nucleotide exchange factors (GEFs) govern diverse biological processes. However, it is unclear how the Rac/ROP GTPases orchestrate such a wide variety of activities. Here, we show that rice OsRacGEF1 forms homodimers, and heterodimers with OsRacGEF2, at the plasma membrane (PM) and the endoplasmic reticulum (ER). OsRacGEF2 does not bind directly to the receptor-like kinase (RLK) OsCERK1, but forms a complex with OsCERK1 through OsRacGEF1 at the ER. This complex is transported from ER to the PM and there associates with OsRac1, resulting in the formation of a stable immune complex. Such RLK-GEF heterodimer complexes may explain the diversity of Rac/ROP family GTPase signalings.
عقود تملیکی بدون عوض
Creators: name: Sarkhosh, Javad
name: پروین آخوندی
Publisher: name: Zenodo
Year: 2019
Subjects: معاملات ، عقود ، تملیک ، معوض ، غیر معوض

description: اشخاص در زندگی روزمره خود نیازهای دارند و برای رفع این نیازها احتیاج است که با دنیا بیرون تعامل داشته باشند؛ این تعامل به صورت داد و ستد و مبادله کالا انجام پدیر است . در این معاملات شخص مانند طرف دیگر معامله در مقابل آنچه کسب می کند مالی را از دست می دهد؛ یعنی ثمن آن را پرداخت می کند، یا متعهد می شود که نسبت به او تعهد مالی داشته باشد تا در اولا فرصت دین خود را ادا کند . مالک عین می شود و ملزوم است که عوض آن بدهد، اگر افراد نیاز خود را به این صورت رفع کند، این گونه معاملات را عقود معوضی می گویند . اما در مقابل آن عقود غیر معوضی هست که انتقال عین هست ولی انتقال ثمن و تعهد وجود ندارد، مالک مثمن (مبیع) را مجانی و تبرعی به دیگری تملیک می کند.در فقه امامیه و حقوق، عقود غیر معاوضی به روشنی تصریح نشده اند، لازم است این عقود تبین شود تا قصد و اهداف از انجام این عقود درک شود. مبنای این پژوهش معیار تشخیص و شناخت ماهیت، آثار و احکام معاملات و عقود بدون عوض است
Leveraging Slither and Interval Analysis to build a Static Analysis Tool
Creators: name: Susan, Stefan-Claudiu
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: D.2.4

description: Even though much progress has been made in identifying and mitigating smart contract vulnerabilities, we often hear about coding or design issues leading to great financial losses. This paper presents our progress toward finding defects that are sometimes not detected or completely detected by state-of-the-art analysis tools. Although it is still in its incipient phase, we developed a working solution built on top of Slither that uses interval analysis to evaluate the contract state during the execution of each instruction. To improve the accuracy of our results, we extend interval analysis by also considering the constraints imposed by specific instructions. We present the current solution architecture in detail and show how it could be extended to other static analysis techniques, including how it can be integrated with other third-party tools. Our current benchmarks contain examples of smart contracts that highlight the potential of this approach to detect certain code defects.
description: In Proceedings FROM 2024, arXiv:2410.23020
Acoustic emission studies for characterization of fatigue crack growth behavior in HSLA steel
Creators: name: Kumar, Vikas
name: Jalaj Kumar
name: S. Ahmad
name: C.K. Mukhopadhyay
name: T. Jayakumar
Publisher: name: Taylor & Francis
Year: 2015
Subjects: subject: 111714 Mental Health
subject: FOS: Health sciences
subject: Developmental Biology
subject: Biological Sciences
subject: Ecology
subject: FOS: Biological sciences
subject: Chemistry
subject: Cell Biology
subject: Physics
subject: Biophysics

description: High strength low alloy (HSLA) steels are a group of low carbon steels and used in oil and gas pipelines, automotive components, offshore structures and shipbuilding. Fatigue crack growth (FCG) characteristics of a HSLA steel have been studied at two different stress ratios (R = 0.3 and 0.5). Acoustic emission (AE) signals generated during the FCG tests have been used to understand the FCG processes. The AE signals were captured by mounting two piezoelectric sensors on compact tension specimens in liner location configuration. The AE generated in stage II of the linear Paris region of FCG has been attributed to the presence of two sub-stages with two different slopes. The AE generated at higher values of stress intensity factor is found to be useful to identify the transition from stage II to stage III of the FCG. AE location analysis has provided support for increased damage at the crack tip for higher stress ratio. The peak stress intensity (Kmax) values at the crack tip have shown good correlation with the transitions from stage IIa to stage IIb and stage II to stage III of the FCG for the two stress ratios.
Comparisons of two-stage models for flood mitigation of electrical substations
Creators: name: Austgen, Brent
name: Kutanoglu, Erhan
name: Hasenbein, John J.
name: Santoso, Surya
Publisher: name: arXiv
Year: 2023
Subjects: subject: Optimization and Control (math.OC)
subject: Systems and Control (eess.SY)
subject: FOS: Mathematics
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: We compare stochastic programming and robust optimization decision models for informing the deployment of ad hoc flood mitigation measures to protect electrical substations prior to an imminent and uncertain hurricane. In our models, the first stage captures the deployment of a fixed quantity of flood mitigation resources, and the second stage captures the operation of a potentially degraded power grid with the primary goal of minimizing load shed. To model grid operation, we introduce adaptations of the DC and LPAC power flow approximation models that feature relatively complete recourse by way of an indicator variable. We apply our models to a pair of geographically realistic flooding case studies, one based on Hurricane Harvey and the other on Tropical Storm Imelda. We investigate the effect of the mitigation budget, the choice of power flow model, and the uncertainty perspective on the optimal mitigation strategy. Our results indicate the mitigation budget and uncertainty perspective are impactful whereas choosing between the DC and LPAC power flow models is of little to no consequence. To validate our models, we assess the performance of the mitigation solutions they prescribe in an AC power flow model.
Prediction of melting temperatures in fluorescence in situ hybridization (FISH) procedures using thermodynamic models
Creators: name: Sílvia Fontenete
name: Guimarães, Nuno
name: Wengel, Jesper
name: Azevedo, Nuno Filipe
Publisher: name: Taylor & Francis
Year: 2016
Subjects: subject: Biophysics
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Molecular Biology
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: FOS: Biological sciences
subject: 69999 Biological Sciences not elsewhere classified

description: The thermodynamics and kinetics of DNA hybridization, i.e. the process of self-assembly of one, two or more complementary nucleic acid strands, has been studied for many years. The appearance of the nearest-neighbor model led to several theoretical and experimental papers on DNA thermodynamics that provide reasonably accurate thermodynamic information on nucleic acid duplexes and allow estimation of the melting temperature. Because there are no thermodynamic models specifically developed to predict the hybridization temperature of a probe used in a fluorescence in situ hybridization (FISH) procedure, the melting temperature is used as a reference, together with corrections for certain compounds that are used during FISH. However, the quantitative relation between melting and experimental FISH temperatures is poorly described. In this review, various models used to predict the melting temperature for rRNA targets, for DNA oligonucleotides and for nucleic acid mimics (chemically modified oligonucleotides), will be addressed in detail, together with a critical assessment of how this information should be used in FISH.
Alburnoides tabarestanensis Mousavi-Sabet, Anvarifar & Azizi 2015
Creators: name: Sayyadzadeh, Golnaz
name: Esmaeili, Hamid Reza
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Cypriniformes
Cyprinidae
Alburnoides
Alburnoides tabarestanensis

description: 179. Alburnoides tabarestanensis Mousavi-Sabet, Anvarifar & Azizi, 2015
Common name. Tajan spirlin
Taxonomy. Original description: Alburnoides tabarestanensis Mousavi-Sabet, Anvarifar & Azizi, 2015: 146, figs. 1-3 [Tajan River, southern Caspian Sea basin, Mazandaran Province, Iran, 36°11'N, 53°19'E; holotype: VMFC AL201 MH].
Revisions. None.
Illustrations. Mousavi-Sabet et al. (2015: 146, fig. 1).
Distribution in Iran. —Distribution in River Basin: Caspian Sea.—Distribution in Ecoregions: 434-Kura-South Caspian Drainages, 450-Turan Plain.
Status in Iran. [Endemic].—Khayateh-e Tabarestani.—Listed in previous checklists from Iran by Esmaeili et al. (2017 a, 2018) and Jouladeh-Roudbar et al. (2020).—Iran material: VMFC.
Conservation. —IUCN: NE.
description: Published as part of Sayyadzadeh, Golnaz & Esmaeili, Hamid Reza, 2024, Freshwater lamprey and fishes of Iran: Reappraisal and updated checklist with a note on Eagderi et al. (2022), pp. 1-99 in Zootaxa 5402 (1) on page 58, DOI: 10.11646/zootaxa.5402.1.1, http://zenodo.org/record/10524097