cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
GRAthena++: puncture evolutions on vertex-centered oct-tree AMR
Creators: name: Daszuta, Boris
name: Zappa, Francesco
name: Cook, William
name: Radice, David
name: Bernuzzi, Sebastiano
name: Morozova, Viktoriya
Publisher: name: arXiv
Year: 2021
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Numerical relativity is central to the investigation of astrophysical sources in the dynamical and strong-field gravity regime, such as binary black hole and neutron star coalescences. Current challenges set by gravitational-wave and multi-messenger astronomy call for highly performant and scalable codes on modern massively-parallel architectures. We present GR-Athena++, a general-relativistic, high-order, vertex-centered solver that extends the oct-tree, adaptive mesh refinement capabilities of the astrophysical (radiation) magnetohydrodynamics code Athena++. To simulate dynamical space-times GR-Athena++ uses the Z4c evolution scheme of numerical relativity coupled to the moving puncture gauge. We demonstrate stable and accurate binary black hole merger evolutions via extensive convergence testing, cross-code validation, and verification against state-of-the-art effective-one-body waveforms. GR-Athena++ leverages the task-based parallelism paradigm of Athena++ to achieve excellent scalability. We measure strong scaling efficiencies above $95\%$ for up to $\sim 1.2\times10^4$ CPUs and excellent weak scaling is shown up to $\sim 10^5$ CPUs in a production binary black hole setup with adaptive mesh refinement. GR-Athena++ thus allows for the robust simulation of compact binary coalescences and offers a viable path towards numerical relativity at exascale.
The Research Data Alliance - Celebrating a Decade of Data
Creators: name: Kathryn Barker
Publisher: name: Zenodo
Year: 2023
Subjects: Research Data Anniversary Events Outputs Join

description: The Research Data Alliance (RDA) is celebrating its tenth anniversary in 2023. Founded in 2013, the RDA now has over 13,500 members and over 100 active working groups (WG) and Interest Groups (IG) globally. As a community-driven initiative, the RDA has an inclusive approach covering all data lifecycle stages through the engagement of data producers, users and stewards globally.
Here, we overview of the Research Data Alliance's 10th Anniversary events and provide links for a wide range of events and resources.
MOESM7 of Long noncoding RNA repertoire in chicken liver and adipose tissue
Creators: name: Kévin Muret
name: Klopp, Christophe
name: Wucher, Valentin
name: Esquerré, Diane
name: Legeai, Fabrice
name: Lecerf, Frédéric
name: Désert, Colette
name: Boutin, Morgane
name: Jehl, Frédéric
name: Acloque, Hervé
name: Giuffra, Elisabetta
name: Djebali, Sarah
name: Foissac, Sylvain
name: Derrien, Thomas
name: Lagarrigue, Sandrine
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biochemistry
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Mental Health
subject: Virology

description: Additional file 7: Fig. S3. Boxplot and distribution across the 16 replicates of the “no gene” set representing the noise signal. This figure shows on the left the boxplots of FPKM-UQ for 10 “no gene” sample sets (see “Methods” section) in white compared to those for lncRNAs (red) and mRNAs (blue); and on the right, the distribution across the 16 replicates of the “no gene” set (green) that satisfied the FPKM-UQ threshold of 0.1. This distribution is very different from those observed for lncRNAs (red) or mRNAs (blue).
Structural and Electronic Properties of a Triangular Lattice Magnet NaPrTe$_2$ Compared with NaNdTe$_2$ and NaTbTe$_2$
Creators: name: Eto, Koki
name: Okamoto, Yoshihiko
name: Katayama, Naoyuki
name: Ishikawa, Hajime
name: Kindo, Koichi
name: Takenaka, Koshi
Publisher: name: arXiv
Year: 2023
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: NaPrTe2, NaNdTe2, and NaTbTe2 are found to be triangular lattice magnets with the alpha-NaFeO2 structure, where lanthanoid atoms with 4f electrons form a triangular lattice, based on the structural analysis and physical property measurements of synthesized polycrystalline samples. The alpha-NaFeO2 structure is a new polymorph of NaPrTe2, which has been reported to crystallize in the cubic LiTiO2 structure. Polytypism in NaPrTe2 was discussed based on the structural parameters determined by the Rietveld analysis. NaPrTe2 is suggested to be in the proximity of the phase boundary between the LiTiO2 and alpha-NaFeO2 types, as compared to NaNdTe2 and NaTbTe2, indicating that this compound might be interesting from the perspectives of the dimensional control of geometrically frustrated lattices. The magnetic susceptibility and heat capacity data indicated that NaPrTe2 do not show long-range magnetic order or a spin-glass transition above 2 K.
description: 6 pages, 7 figures
A Categorical Semantics for Bounded Petri Nets
Creators: name: Genovese, Fabrizio Romano
name: Loregian, Fosco
name: Palombi, Daniele
Publisher: name: arXiv
Year: 2021
Subjects: subject: Category Theory (math.CT)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: We provide a categorical semantics for bounded Petri nets, both in the collective- and individual-token philosophy. In both cases, we describe the process of bounding a net internally, by just constructing new categories of executions of a net using comonads, and externally, using lax-monoidal-lax functors. Our external semantics is non-local, meaning that tokens are endowed with properties that say something about the global state of the net. We then prove, in both cases, that the internal and external constructions are equivalent, by using machinery built on top of the Grothendieck construction. The individual-token case is harder, as it requires a more explicit reliance on abstract methods.
description: In Proceedings ACT 2021, arXiv:2211.01102
Modelling Ultraviolet Missile Seekers
Creators: name: Itor James
Publisher: name: Figshare
Year: 2017
Subjects: subject: 90108 Satellite, Space Vehicle and Missile Design and Testing
subject: FOS: Mechanical engineering

description: 3MT presentation at the 2016 Defence and Security Doctoral Symposium.Surface to Air Missile (SAM) seekers are beginning to make use of wavebands other than the traditional Infrared (IR).  One of the wavebands they are beginning to use is the Ultraviolet (UV).  This study aims to prove that modelling of typical missile seekers utilising UV is possible and to investigate the variables which influence the performance.  The study will also investigate methods by which the aircraft targets can protect themselves by controlling their signature.
title: Correlations of Host and Bacterial Characteristics with Clinical Parameters and Survival in Staphylococcus aureus Bacteremia
Creators: name: Wächter, Hannah
name: Yörük, Erdal
name: Becker, Karsten
name: Görlich, Dennis
name: Kahl, Barbara C.
Publisher: name: University of Muenster, Institutional Repository MIAMI
Year: 2022
Subjects: subject: 610 Medicine and health

description: 'Staphylococcus aureus' bacteremia (SAB) is a frequent, severe condition that occurs in patients of all age groups and affects clinical departments of all medical fields. It is associated with a high mortality rate of 20–30%. In this study, we analyzed patient mortality associated with SAB at our tertiary care university hospital, assessed the clinical management in terms of administered antimicrobial therapy, and determined which factors have an impact on the clinical course and outcome of patients with this disease. We collected clinical data and blood culture isolates of 178 patients diagnosed with SAB between May 2013 and July 2015. For this study, bacteria were cultured and analyzed concerning their phenotype, hemolysis activity, biofilm formation, nuclease activity, prevalence of toxin genes, 'spa' and 'agr' type. Overall mortality was 24.2% and 30-day mortality was 14.6%. Inadequate initial therapy was administered to 26.2% of patients and was associated with decreased survival (p = 0.041). Other factors associated with poor survival were patient age (p = 0.003), 'agr' type 4 (p ≤ 0.001) and pathological leukocyte counts (p = 0.029 if elevated and p = 0.003 if lowered). The type of infection focus, 'spa' clonal complex and enterotoxin genes 'seg' and 'sei' had an impact on severity of inflammation. Our results indicate that mortality and burden of disease posed by SAB are high at our university hospital.
description: Finanziert durch den Open-Access-Publikationsfonds der Westfälischen Wilhelms-Universität Münster (WWU Münster).
TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems
Creators: name: Yu, Yinbo
name: Liu, Jiajia
Publisher: name: arXiv
Year: 2021
Subjects: subject: Cryptography and Security (cs.CR)
subject: Human-Computer Interaction (cs.HC)
subject: Networking and Internet Architecture (cs.NI)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: D.2.4; F.3.1; C.2.0

description: Trigger-action programming (TAP) is a popular end-user programming framework that can simplify the Internet of Things (IoT) automation with simple trigger-action rules. However, it also introduces new security and safety threats. A lot of advanced techniques have been proposed to address this problem. Rigorously reasoning about the security of a TAP-based IoT system requires a well-defined model and verification method both against rule semantics and physical-world features, e.g., concurrency, rule latency, extended action, tardy attributes, and connection-based rule interactions, which has been missing until now. By analyzing these features, we find 9 new types of rule interaction vulnerabilities and validate them on two commercial IoT platforms. We then present TAPInspector, a novel system to detect these interaction vulnerabilities in concurrent TAP-based IoT systems. It automatically extracts TAP rules from IoT apps, translates them into a hybrid model by model slicing and state compression, and performs semantic analysis and model checking with various safety and liveness properties. Our experiments corroborate that TAPInspector is practical: it identifies 533 violations related to rule interaction from 1108 real-world market IoT apps and is at least 60000 times faster than the baseline without optimization.
Born-Infeld gravity coupled to Born-Infeld electrodynamics
Creators: name: Jana, Soumya
name: Kar, Sayan
Publisher: name: arXiv
Year: 2015
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We investigate spherically symmetric, static spacetimes in Eddington-inspired Born-Infeld gravity coupled to Born-Infeld electrodynamics. The two constants, $b^2$ and $κ$ which parametrise the Born-Infeld structures in the electrodynamics (matter) and gravity sectors, characterise the features of our analytical solutions. Black holes or naked singularities are found to arise, depending on the values of $b^2$ and $κ$, as well as charge and mass. Several such solutions are classified and understood through the analysis of the associated metric functions for fixed $κ$, varying $b^2$ and vice-versa. Further, we also compare the new metric functions with those for the known $b^2\rightarrow \infty$ (Maxwell) and the $κ\rightarrow 0$ (geonic black hole) cases. Interestingly, for a particular relation between these two parameters, $b^2=1/{4κ},\, κ>0$, we obtain a solution resembling the well-known Reissner-Nordstr\" om line element, albeit some modifications. Using this particular solution as the background spacetime, we study null geodesics for Born-Infeld photons and also, gravitational lensing. Among interesting features we note $(i)$ an increase in the radius of the photon sphere with increasing $κ$ and $(ii)$ a net positive contribution in the leading order correction term involving $κ$, in the weak lensing formula for the deflection angle. We also investigate the effective potential and light propagation for various other solutions through numerics and plots. In summary, our work is the first attempt towards figuring out how Born-Infeld structures in both the matter and gravity sectors can influence the nature and character of resulting gravitational fields.
description: 19 pages, 8 figures. Revised version with changes in the section of Classification of Spacetimes and a new section for the effective potential and photon propagation. Published version
title:  La sicurezza urbana nel c.d. “decreto Minniti”
Creators: name: Morganti, Francesco
Publisher: name: Roma TrE-Press
Year: 2018

description: The present paper focuses on the content of the decree law 14/17 (so-called
Minniti Decree) on urban security, as converted into law 48/17 and to provide a complete picture of the changes also occurred through the comparison with the previous discipline and to address the problematic issues of the regulatory choices made. The article analyses some contents of the decree which appear controversial with regards to the protection of the fundamental human rights.
description: Democrazia e Sicurezza – 2017, n. 3
$B_{(s)} \rightarrow D^{**}_{(s)}$ form factors in HQEFT and model independent analysis of relevant semileptonic decays with NP effects
Creators: name: Zuo, Ya-Bing
name: Jin, Hong-Yao
name: Tian, Jing-Ying
name: Yi, Jia
name: Gong, Han-Yu
name: Pan, Ting-Ting
Publisher: name: arXiv
Year: 2023
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The form factors of $B_{(s)}$ decays into P-wave excited charmed mesons (including $D^*_0(2300)$, $D_1(2430)$, $D_1(2420)$, $D^*_2(2460)$ and their strange counterparts, denoted generically as $D^{**}_{(s)}$) are systematically calculated via the QCD sum rules in the framework of heavy quark effective field theory (HQEFT). We consider contributions up to the next leading order of heavy quark expansion and give all the relevant form factors, including the scalar and tensor ones only relevant for possible new physics effects. The expressions for the form factors in terms of several universal wave functions are derived via heavy quark expansion. These universal functions can be evaluated through QCD sum rules. Then, the numerical results of the form factors are presented. With the form factors given here, a model independent analysis of relevant semileptonic decays $B_{(s)} \rightarrow D^{**}_{(s)} l \barν_l$ is performed, including the contributions from possible new physics effects. Our predictions for the differential decay widths, branching fractions and ratios of branching fractions $R(D^{**}_{(s)})$ may be tested in more precise experiments in the future.
description: 38 pages, 8 figures, 12 tables
title:  L’Eastern Partnership Panel on Migration and Asylum: recenti sviluppi
Creators: name: Carta, Mario
Publisher: name: Roma TrE-Press
Year: 2018

description: The article explores the new initiatives that the European Union and the six countries of the Eastern Partnership (Armenia, Azerbaijan, Belarus, Georgia, Moldova, and Ukraine) have undertaken in the field of migration and asylum. In particular the analysis carried out in the essay concerns the activities of the Panel on Migration and Asylum, launched at the Prague Summit on 2011, as the most significant tool created to facilitate, inter alia, the strengthening of the immigration and asylum system of the partnership countries; the progress of the dialogue on the issues of immigration and asylum between the partnership countries and the European Union and, finally, the facilitation of the exchange of best practices to comply with international standards. The research highlights the differences between national regimes and the law of the European Union with regard to irregular immigration, particularly as  regard smuggling, and the reasons behind this fragmentation.
description: Democrazia e Sicurezza – 2017, n. 3
Impact of disorder in the charge-density-wave state of Pd-intercalated ErTe$_3$ revealed by the electrodynamic response
Creators: name: Corasaniti, M.
name: Yang, R.
name: Straquadine, J. A. W.
name: Kapitulnik, A.
name: Fisher, I. R.
name: Degiorgi, L.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: It is a general notion that disorder, introduced by either chemical substitution or intercalation as well as by electron-irradiation, is detrimental to the realisation of long-range charge-density-wave (CDW) order. We study the disorder-induced suppression of the in-plane CDW orders in the two-dimensional Pd-intercalated ErTe$_3$ compositions, by exploring the real part of the optical conductivity with light polarised along the in-plane $a$ and $c$ axes. Our findings reveal an anisotropic charge dynamics with respect to both incommensurate unidirectional CDW phases of ErTe$_3$, occurring within the $ac$-plane. The anisotropic optical response gets substantially washed out with Pd-intercalation, hand-in-hand with the suppression of both CDW orders. The spectral weight analysis though advances the scenario, for which the CDW phases evolve from a (partially) depleted Fermi surface already above their critical onset temperatures. We therefore argue that the long-range CDW orders of ErTe$_3$ tend to be progressively dwarfed by Pd-intercalation, which favours the presence of short-range CDW segments for both crystallographic directions persisting in a broad temperature ($T$) interval up to the normal state, and being suggestive of precursor effects of the CDW orders as well as possibly coexisting with superconductivity at low $T$.
description: 16 pages, 17 figures
Predicting Lexical Complexity in English Texts: The Complex 2.0 Dataset
Creators: name: Shardlow, Matthew
name: Evans, Richard
name: Zampieri, Marcos
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: Identifying words which may cause difficulty for a reader is an essential step in most lexical text simplification systems prior to lexical substitution and can also be used for assessing the readability of a text. This task is commonly referred to as Complex Word Identification (CWI) and is often modelled as a supervised classification problem. For training such systems, annotated datasets in which words and sometimes multi-word expressions are labelled regarding complexity are required. In this paper we analyze previous work carried out in this task and investigate the properties of CWI datasets for English. We develop a protocol for the annotation of lexical complexity and use this to annotate a new dataset, CompLex 2.0. We present experiments using both new and old datasets to investigate the nature of lexical complexity. We found that a Likert-scale annotation protocol provides an objective setting that is superior for identifying the complexity of words compared to a binary annotation protocol. We release a new dataset using our new protocol to promote the task of Lexical Complexity Prediction.
Remittances and Happiness of Migrants and Their Home Households: Evidence Using Matched Samples
Creators: name: Joarder, Mohammad Abdul Munim
name: Harris, Mark
name: Dockery, Alfred M.
Publisher: name: Figshare
Year: 2017
Subjects: subject: Medicine
subject: Cell Biology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: FOS: Biological sciences
subject: Developmental Biology
subject: Cancer
subject: Science Policy

description: This paper explores how remittances influence happiness among migrants and their households of origin. It is based on a novel data set of matched samples of Bangladeshi migrant households (living in the UK and Malaysia) and their origin families in Bangladesh. Empirical findings suggest that remittances play a significant role in stimulating migrants’ happiness. We also find that the households of origin’s life satisfaction not only depends on receiving remittances from the emigrants, but also other factors such as number of migrants from the household living abroad and the migrants’ country of destination.
Group III quinaldates: Synthesis, structure and photoluminescence
Creators: name: Birnara, Christiana
name: Kessler, Vadim G.
name: Papaefstathiou, Giannis S.
Publisher: name: Figshare
Year: 2017
Subjects: subject: Biophysics
subject: Biochemistry
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Hematology
subject: Virology

description: The reactions of Al(III), Ga(III) and In(III) nitrates with 2-quinaldic acid (qaH) afforded [Al2(OH)2(qa)4]·2H2O (1), [Ga(qa)2(H2O)2]NO3 (2) and [In(qa)2(NO3)(H2O)] (3), respectively, in high yields. The crystal structures of 1, 2 and 3 have been determined by single-crystal X-ray crystallography. The structure of 1 features a di-hydroxo bridged [Al2(μ-OH)2]4+ dimer in which each Al(III) is further ligated by two bidentate chelate qa– ligands. Complexes 2 and 3 are mononuclear with the M(III) ions in octahedral environments surrounded by two bidentate chelate qa– and two H2O in 2 or one H2O and a terminal NO3– in 3. Characteristic IR as well as thermal analysis and solid-state fluorescence are discussed.
Magnetization Dynamics driven by Non-equilibrium Spin-Orbit Coupled Electron Gas
Creators: name: Wang, Yong
name: Chen, Wei-qiang
name: Zhang, Fu-Chun
Publisher: name: arXiv
Year: 2014
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: The dynamics of magnetization coupled to an electron gas via s-d exchange interaction is investigated by using density matrix technique. Our theory shows that non-equilibrium spin accumulation induces a spin torque and the electron bath leads to a damping of the magnetization. For the two-dimensional magnetization thin film coupled to the electron gas with Rashba spin-orbit coupling, the result for the spin-orbit torques is consistent with the previous semi-classical theory. Our theory predicts a damping of the magnetization, which is absent in the semi-classical theory. The magnitude of the damping due to the electron bath is comparable to the intrinsic Gilbert damping and may be important in describing the magnetization dynamics of the system.
description: 7 pages, 2 figures
Native Type Theory
Creators: name: Williams, Christian
name: Stay, Michael
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Category Theory (math.CT)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: Native type systems are those in which type constructors are derived from term constructors, as well as the constructors of predicate logic and intuitionistic type theory. We present a method to construct native type systems for a broad class of languages, lambda-theories with equality, by embedding such a theory into the internal language of its topos of presheaves. Native types provide total specification of the structure of terms; and by internalizing transition systems, native type systems serve to reason about structure and behavior simultaneously. The construction is functorial, thereby providing a shared framework of higher-order reasoning for many languages, including programming languages.
description: In Proceedings ACT 2021, arXiv:2211.01102
Product set growth in Burnside groups
Creators: name: Coulon, Rémi
name: Steenbock, Markus
Publisher: name: arXiv
Year: 2021
Subjects: subject: Group Theory (math.GR)
subject: FOS: Mathematics
subject: 20F65, 20F67, 20F50, 20F06, 20F69

description: Given a periodic quotient of a torsion-free hyperbolic group, we provide a fine lower estimate of the growth function of any sub-semi-group. This generalizes results of Razborov and Safin for free groups.
description: 50 pages, modified definition of strongly reduced subsets
title:  Il fenomeno dell’outsourcing militare nell’esperienza statunitense
Creators: name: Gorini, Alessandro
Publisher: name: Roma TrE-Press
Year: 2018

description: On September 20th, 2001, US President George W. Bush declared “war on terror”. Assuming the role of defenders of freedom, the United States undertook a series of military actions against those who were deemed to be part of the new “axis of evil”. The aim of the new US crusade was to eliminate all possible threats to the international security. This mission involved both state and non‐state actors. Indeed, during the military operations launched in the Middle East, the United States could count on Private Military and Security Companies (PMSCs) support. Coming onstage at the end the of Cold War, and confirming their role in international arena over the next few decades, these Companies have increasingly become an alternative to the traditional State’s monopoly on violence. This paper provides a brief introduction on the key factors behind the PMSCs escalation in the US military policy and gives an in‐depth analysis of the role that PMSCs played during the
Iraqi occupation.
description: Democrazia e Sicurezza – 2017, n. 3
Learners' Languages
Creators: name: Spivak, David I.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Category Theory (math.CT)
subject: Machine Learning (cs.LG)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: In "Backprop as functor", the authors show that the fundamental elements of deep learning -- gradient descent and backpropagation -- can be conceptualized as a strong monoidal functor Para(Euc)$\to$Learn from the category of parameterized Euclidean spaces to that of learners, a category developed explicitly to capture parameter update and backpropagation. It was soon realized that there is an isomorphism Learn$\cong$Para(Slens), where Slens is the symmetric monoidal category of simple lenses as used in functional programming. In this note, we observe that Slens is a full subcategory of Poly, the category of polynomial functors in one variable, via the functor $A\mapsto Ay^A$. Using the fact that (Poly,$\otimes$) is monoidal closed, we show that a map $A\to B$ in Para(Slens) has a natural interpretation in terms of dynamical systems (more precisely, generalized Moore machines) whose interface is the internal-hom type $[Ay^A,By^B]$. Finally, we review the fact that the category p-Coalg of dynamical systems on any $p \in$ Poly forms a topos, and consider the logical propositions that can be stated in its internal language. We give gradient descent as an example, and we conclude by discussing some directions for future work.
description: In Proceedings ACT 2021, arXiv:2211.01102
Exponential Modalities and Complementarity (extended abstract)
Creators: name: Cockett, Robin
name: Srinivasan, Priyaa Varshinee
Publisher: name: arXiv
Year: 2021
Subjects: subject: Category Theory (math.CT)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: The exponential modalities of linear logic have been used by various authors to model infinite-dimensional quantum systems. This paper explains how these modalities can also give rise to the complementarity principle of quantum mechanics. The paper uses a formulation of quantum systems based on dagger-linear logic, whose categorical semantics lies in mixed unitary categories, and a formulation of measurement therein. The main result exhibits a complementary system as the result of measurements on free exponential modalities. Recalling that, in linear logic, exponential modalities have two distinct but dual components, ! and ?, this shows how these components under measurement become "compacted" into the usual notion of complementary Frobenius algebras from categorical quantum mechanics.
description: In Proceedings ACT 2021, arXiv:2211.01102. A full version of this paper, containing all proofs, appears at arXiv:2103:05191
title:  Fuggire da sé: David Le Breton e la crisi del legame sociale nella società contemporanea
Creators: name: Rossi, Emanuele
Publisher: name: Roma TrE-Press
Year: 2018

description: Faced with an ever‐changing context and an ever‐lacking sense and meaning, the contemporary individual experiences various forms of escape from himself and from others that David Le Breton, through careful social‐anthropological analysis, investigates in depth, giving us a complex and useful scenario for understanding the deepest sense of some “conducts” of life, especially those concerning the new generations.
description: Democrazia e Sicurezza – 2017, n. 3
The Food Safety Market:an SME-powered industrial data platform to boost the competitiveness of European food certification
Creators: name: WENJUAN MU
name: Yamine Bouzembrak1
name: Frasso, Gianluca
name: Gavai, Anand
name: Hoenderdaal, Wouter
name: Ozen, Neris
name: Van Den Bulk, Leonieke
name: Marvin, Hans
Publisher: name: Zenodo
Year: 2022
Subjects: food safety certification

description: To ensure transparent and safe food production, food certification systems are used in which safety is assessed through audits. The food certification market is a multi-faceted market that shares a common need: all actors in the food chain must share food safety data in a well-defined and automated way. Within the global food industry, food growers, manufacturers/processors, import/exporters, distributors, retailers, and packagers, are all expected to be certified to food safety standards. This highlights the importance of food safety and certification. The EU-funded TheFSM project will develop an industrial data platform to give a digital boost to the way food certification takes place in Europe. Specifically, it will build upon state-of-art blockchain technologies to create an open and collaborative virtual environment that facilitates the exchange and connection of data between different food safety actors interested in sharing information that is critical to certification. The project will conduct extensive piloting with European providers of inspection and certification services.
Experiences of Families from Culturally and Linguistically Diverse Backgrounds along the Hearing Screening and Diagnostic Pathway
Creators: name: Wong, Hayley
Publisher: name: Macquarie University
Year: 2023
Subjects: classificationCode: 399999
subject: Other education not elsewhere classified

description: Significant disadvantages for families from Culturally and Linguistically Diverse (CALD) backgrounds have been identified when accessing and engaging in health and disability services. However, few studies have investigated the challenges for families from CALD backgrounds in accessing services along the newborn hearing screening and diagnostic pathway. This study explored the experiences of families from CALD backgrounds in their engagement with the Victorian Infant Hearing Screening Program (VIHSP) and Victorian diagnostic audiology services, with data drawn from both families and their service providers. Semi-structured interviews were used to (a) explore factors experienced by families from CALD backgrounds that enabled or impeded their engagement in hearing screening and diagnostic audiology services, and (b) explore service providers’ experiences of supporting families from CALD backgrounds. Thirteen parents and twelve service providers were interviewed, and data was analysed using inductive content analysis. Participants identified numerous strengths and areas for improvement in the services they received. Strengths included the use of interpreters, having family support, and seeking additional resources from the Internet enabled engagement in services. Lack of interpreters, parental emotions and anxiety, lack of family support and logistics (e.g., transportation) were all barriers that families encountered in accessing services. Service providers identified several issues that resulted in differences in service delivery, communication, and support needs for families from CALD backgrounds, compared with families from English-speaking backgrounds. Perceived barriers included vi communication difficulties, cultural factors and external influences, logistical and financial concerns, and the COVID-19 pandemic. Findings from this study informs the provision of support services throughout the infant hearing screening and diagnostic pathway for families from CALD backgrounds.
Feasibility study of online tuning of the luminosity in a circular collider with the robust conjugate direction search method
Creators: name: Ji, Hong-Fei
name: Jiao, Yi
name: Wang, Sheng
name: Ji, Da-Heng
name: Yu, Cheng-Hui
name: Zhang, Yuan
name: Huang, Xiao-Biao
Publisher: name: arXiv
Year: 2015
Subjects: subject: Accelerator Physics (physics.acc-ph)
subject: FOS: Physical sciences

description: The robust conjugate direction search (RCDS) method has high tolerance to noise in beam experiments. It has been demonstrated that this method can be used to optimize the machine performance of a light source online. In our study, taking BEPCII as an example, the feasibility of online tuning of the luminosity in a circular collider is explored, through numerical simulation and preliminary online experiments. It is shown that the luminosity that is artificially decreased by a deviation of beam orbital offset from optimal trajectory can be recovered with this method.
description: 8 pages, 6 figures
Secure Socket Layer in the Network and Web Security
Creators: name: Dastres, Roza
name: Soori, Mohsen
Publisher: name: figshare
Year: 2020
Subjects: Computer Engineering

description: In order to electronically exchange information between network users in the web of data, different software such as outlook is presented. So, the traffic of users on a site or even the floors of a building can be decreased as a result of applying a secure and reliable data sharing software. It is essential to provide a fast, secure and reliable network system in the data sharing webs to create an advanced communication systems in the users of network. In the present research work, different encoding methods and algorithms in data sharing systems is studied in order to increase security of data sharing systems by preventing the access of hackers to the transferred data. To increase security in the networks, the possibility of textual conversation between customers of a local network is studied. Application of the encryption and decryption algorithms is studied in order to increase security in networks by preventing hackers from infiltrating. As a result, a reliable and secure communication system between members of a network can be provided by preventing additional traffic in the website environment in order to increase speed, accuracy and security in the network and web systems of data
sharing.
Spin-group symmetry in magnetic materials with negligible spin-orbit coupling
Creators: name: Liu, Pengfei
name: Li, Jiayu
name: Han, Jingzhi
name: Wan, Xiangang
name: Liu, Qihang
Publisher: name: arXiv
Year: 2021
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: Symmetry formulated by group theory plays an essential role with respect to the laws of nature, from fundamental particles to condensed matter systems. Here, by combining symmetry analysis and tight-binding model calculations, we elucidate that the crystallographic symmetries of a vast number of magnetic materials with light elements, in which the neglect of relativistic spin-orbit coupling (SOC) is an appropriate approximation, are considerably larger than the conventional magnetic groups. Thus, a symmetry description that involves partially-decoupled spin and spatial rotations, dubbed as spin group, is required. Spin group permits more symmetry operations and thus more energy degeneracies that are disallowed by the magnetic groups. One consequence of the spin group is the new anti-unitary symmetries that protect SOC-free Z_2 topological phases with unprecedented surface node structures. Our work not only manifests the physical reality of materials with weak SOC, but also shed light on the understanding of all solids with and without SOC by a unified group theory.
description: To appear in Phys. Rev. X; main text includes 34 pages, 1 table and 5 figures
title:  Luis Jimena Quesada, Devaluación y blindaje del Estado social y democrático de Derecho, Tirant lo Blanch, Valencia, 2017, pp. 190
Creators: name: Meix Cereceda, Pablo
Publisher: name: Roma TrE-Press
Year: 2018

description: Democrazia e Sicurezza – 2017, n. 3
Algorithmic Obfuscation for LDPC Decoders
Creators: name: Zhou, Jingbo
name: Zhang, Xinmiao
Publisher: name: arXiv
Year: 2021
Subjects: subject: Hardware Architecture (cs.AR)
subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: In order to protect intellectual property against untrusted foundry, many logic-locking schemes have been developed. The main idea of logic locking is to insert a key-controlled block into a circuit to make the circuit function incorrectly without right keys. However, in the case that the algorithm implemented by the circuit is naturally fault-tolerant or self-correcting, existing logic-locking schemes do not affect the system performance much even if wrong keys are used. One example is low-density parity-check (LDPC) error-correcting decoder, which has broad applications in digital communications and storage. This paper proposes two algorithmic-level obfuscation methods for LDPC decoders. By modifying the decoding process and locking the stopping criterion, our new designs substantially degrade the decoder throughput and/or error-correcting performance when the wrong key is used. Besides, our designs are also resistant to the SAT, AppSAT and removal attacks. For an example LDPC decoder, our proposed methods reduce the throughput to less than 1/3 and/or increase the decoder error rate by at least two orders of magnitude with only 0.33% area overhead.
Juvenile Travellers: Priscilla Wakefield’s Excursions in Empire
Creators: name: Graham, Ruth
Publisher: name: figshare
Year: 2020
Subjects: subject: 200508 Other Literatures in English
subject: FOS: Languages and literature
subject: History

description: While most discussions of juvenile imperial literature relate to the mid-nineteenth century onwards, this article draws attention to an earlier period by examining the children’s books of Priscilla Wakefield. Between 1794 and 1817 Priscilla Wakefield wrote sixteen children’s books that included moral tales, natural history books and a popular travel series.
This is an Accepted Manuscript of an article published by Taylor & Francis in Journal of imperial and Commonwealth history on 01 September 2010, available online: http://www.tandfonline.com/10.1080/03086534.2010.503394
High resolution observations of HCN and HCO+ J=3-2 in the disk and outflow of Mrk231 -Detection of vibrationally excited HCN in the warped nucleus
Creators: name: Aalto, S.
name: Garcia-Burillo, S.
name: Muller, S.
name: Winters, J. M.
name: Gonzalez-Alfonso, E.
name: van der Werf, P.
name: Henkel, C.
name: Costagliola, F.
name: Neri, R.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We obtained high resolution (0."25 to 0."90) observations of HCN and HCO+ J=3-2 of the ultraluminous QSO galaxy Mrk231 with the IRAM Plateau de Bure Interferometer. We find luminous HCN and HCO+ 3-2 emission in the main disk and we detect compact (r<90 pc) vibrationally excited HCN 3-2, v2=1f emission centred on the nucleus. The velocity field of the vibrationally excited HCN is strongly inclined (PA=155 deg.) compared to the east-west rotation of the main disk. The nuclear molecular mass is estimated to 8e8 Msun with an average N(H2)of 1.2e24 cm-2. Prominent, spatially extended (>350 pc) line wings are found for HCN 3-2 with velocities +-750 km/s. Line ratios indicate that the emission is emerging in dense gas n=1e4 - 5e5 cm-3 of elevated HCN abundance X(HCN)=1e-8 to 1e-6. High X(HCN) also allows for the emission to originate in gas of more moderate density. We tentatively detect nuclear emission from the reactive ion HOC+ with HCO+/HOC+=10-20. The HCN v2=1f line emission is consistent with the notion of a hot, dusty, warped inner disk of Mrk231 where the v2=1f line is excited by bright mid-IR 14 micron continuum. We estimate the vibrational temperature T_vib to 200-400 K. We propose that 50% of the main HCN emission may have its excitation affected by the radiation field through IR pumping of the vibrational ground state. The HCN emission in the line wings, however, is more extended and thus likely not strongly affected by IR pumping. Our results reveal that dense clouds survive (and/or are formed) in the AGN outflow on scales of at least several hundred pc before evaporating or collapsing. The elevated HCN abundance in the outflow is consistent with warm chemistry possibly related to shocks and/or X-ray irradiated gas. An upper limit to the mass and momentum flux is 4e8 Msun and 12L_AGN/c, respectively, and we discuss possible driving mechanisms for the dense outflow.
description: Accepted for publication in Astronomy and Astrophysics, 12 pages, 3 tables 8 figures
Subgroup regular sets in Cayley graphs
Creators: name: Wang, Yanpeng
name: Xia, Binzhou
name: Zhou, Sanming
Publisher: name: arXiv
Year: 2021
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05C25, 05E18, 94B25

description: Let $Γ$ be a graph with vertex set $V$, and let $a$ and $b$ be nonnegative integers. A subset $C$ of $V$ is called an $(a,b)$-regular set in $Γ$ if every vertex in $C$ has exactly $a$ neighbors in $C$ and every vertex in $V\setminus C$ has exactly $b$ neighbors in $C$. In particular, $(0, 1)$-regular sets and $(1, 1)$-regular sets in $\Ga$ are called perfect codes and total perfect codes in $\Ga$, respectively. A subset $C$ of a group $G$ is said to be an $(a,b)$-regular set of $G$ if there exists a Cayley graph of $G$ which admits $C$ as an $(a,b)$-regular set. In this paper we prove that, for any generalized dihedral group $G$ or any group $G$ of order $4p$ or $pq$ for some primes $p$ and $q$, if a nontrivial subgroup $H$ of $G$ is a $(0, 1)$-regular set of $G$, then it must also be an $(a,b)$-regular set of $G$ for any $0\leqslant a\leqslant|H|-1$ and $0\leqslant b\leqslant |H|$ such that $a$ is even when $|H|$ is odd. A similar result involving $(1, 1)$-regular sets of such groups is also obtained in the paper.
description: 9 pages
The Word Problem for Braided Monoidal Categories is Unknot-Hard
Creators: name: Delpeuch, Antonin
name: Vicary, Jamie
Publisher: name: arXiv
Year: 2021
Subjects: subject: Category Theory (math.CT)
subject: FOS: Mathematics

description: We show that the word problem for braided monoidal categories is at least as hard as the unknotting problem. As a corollary, so is the word problem for Gray categories. We conjecture that the word problem for Gray categories is decidable.
description: In Proceedings ACT 2021, arXiv:2211.01102
title:  L’oblio come strumento di sopravvivenza politica. Il caso di Lucca in Età moderna
Creators: name: Giuli, Matteo
Publisher: name: Roma TrE-Press
Year: 2017

description: L’obiettivo della libertà attraverso la quiete e il nascondimento: in questi termini potrebbe essere compendiata l’intera storia della Repubblica di Lucca in Età moderna. Analizzando alcune sue forme interne di controllo sociale e i principali aspetti della sua attività diplomatica, il saggio si propone di evidenziare lo strettissimo legame esistente tra la sopravvivenza di questo piccolo Stato e la meticolosa costruzione del suo oblio politico. L’esigenza di conservare la quiete interna come base della propria indipendenza repubblicana si legò sempre, per Lucca, alla necessità di mantenere una posizione di neutralità in politica estera, sostanziandosi della dimenticanza altrui. La ricostruzione storica di tale atteggiamento può permettere di comprendere come e perché questo Stato cittadino, a dispetto della sua fragilità, non abbia mai rinunciato a difendere la propria autonomia politica.
description: KRYPTON – VOL.8 – 2017 – OBLIO
title:  Condannata all’oblio. L’inedita Historia ecclesiastica di Carlo Sigonio e i suoi censori
Creators: name: Zen, Stefano
Publisher: name: Roma TrE-Press
Year: 2017

description: Il contributo prende in esame le vicende della Historia ecclesiastica di Sigonio, bloccata con successo dal cardinale Guglielmo Sirleto e rimasta inedita fino al 1734, anno in cui fu pubblicata da Filippo Argelati nella raccolta settecentesca delle sue opere. D’accordo con Gabriele Paleotti, papa Gregorio XIII aveva chiesto nel 1578 a Sigonio di elaborare una storia della Chiesa come risposta ufficiale alle protestanti Centurie di Magdeburgo. Tuttavia, già Cesare Baronio stava lavorando a questo stesso progetto storiografico, poi edito a partire dal 1588 con il titolo di Annales Ecclesiastici, e per di più su incarico del cardinale Sirleto. In generale, fu il metodo adottato da Sigonio a provocare la dura reazione di Sirleto e dei censori romani, poiché esso metteva in discussione la sacralità del potere papale, che era a fondamento della Controriforma.
description: KRYPTON – VOL.8 – 2017 – OBLIO
Situated Transition Systems
Creators: name: Nester, Chad
Publisher: name: arXiv
Year: 2021
Subjects: subject: Category Theory (math.CT)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: We construct a monoidal category of open transition systems that generate material history as transitions unfold, which we call situated transition systems. The material history generated by a composite system is composed of the material history generated by each component. The construction is parameterized by a symmetric strict monoidal category, understood as a resource theory, from which material histories are drawn. We pay special attention to the case in which this category is compact closed. In particular, if we begin with a compact closed category of integers then the resulting situated transition systems can be understood as systems of double-entry bookkeeping accounts.
description: In Proceedings ACT 2021, arXiv:2211.01102
Parental time restrictions and the cost of children : insights from a survey among mothers
Creators: name: Borah, Melanie
name: Knabe, Andreas
name: Pahlke, Kevin
Publisher: name: Universitäts- und Landesbibliothek Sachsen-Anhalt
Year: 2021
Subjects: subject: Child cost
subject: Equivalence scales
subject: Full-time employment
subject: Subjective income
subject: 330

description: An important aspect when analyzing economic inequality between households with children is time. At given monetary incomes, the material well-being of families may be very different depending on how much time parents have at their disposal. In this paper, we provide estimates of the subjectively perceived cost of children depending on the extent of parental time restrictions. Building on a study by Koulovatianos, Schröder and Schmidt (J. Bus. Econ. Stat. 27:42–51, 2009) that introduces a novel way of using subjective income evaluation data for such estimations, we conduct a refined version of the underlying survey, focusing on young women with children in Germany. Our study confirms that the perceived monetary cost of children is substantial and increases with parental nonmarket time restrictions. The experienced loss in material living standards associated with supplying time to the labor market is sizeable for families with children.