cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
PERCEPTIONS OF DESIGN STUDENTS ON CREATIVITY AND SOCIAL NETWORKING SITES
Creators: name: Souleles, Nicos
name: Savva, Stefania
name: Parmaxi, Antigoni
Publisher: name: figshare
Year: 2019
Subjects: subject: Education
subject: 130103 Higher Education
subject: FOS: Educational sciences

description: This paper investigates the perceptions about creativity and Social Networking Sites (SNS) among undergraduate design students. This is an under-researched area, and the use of phenomenography to examine this topic was deemed appropriate due to the objective of the study, which is to unpack the spectrum of views (referential aspects) and the respective causes (structural aspects) of the latter. The literature on creativity provides different perspectives on what can foster it. There is a lack of a commonly agreed definition of what creativity is. However, there is no dispute about the potential
instructional benefits of SNS. The outcomes of this study suggest that there is a relationship between on the one hand the limited perceptions of SNS vis-a-vis creativity and on the other hand the lack of exposure to instructional strategies that embed in a systemic and effective manner the use of SNS in
teaching and learning. If design education is to benefit from the synergies between creativity and SNS, it is suggested that instructional design needs to embed and explore in design curricula the use of SNS in a manner that promotes higher order thinking competencies and skills.
Exact form of Maxwell's equations and Dirac's magnetic monopole in Fock's nonlinear relativity
Creators: name: Takka, Naimi
name: Bouda, Ahmed
Publisher: name: arXiv
Year: 2019
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: After having obtained previously an extended first approximation of Maxwell's equations in Fock's nonlinear relativity, we propose here the corresponding exact form. In order to achieve this goal, we were inspired mainly by the special relativistic version of Feynman's proof from which we constructed a formal approach more adapted to the noncommutative algebra. This reasoning lets us establish the exact form of the generalized first group of Maxwell's equations. To deduce the second one, we have imposed the electric-magnetic duality. As in the k-Minkowski space-time, the generalized Lorentz force depends on the mass of the particle. After having restored the R-Lorentz algebra symmetry, we have used the perturbative treatment to find the exact form of the generalized Dirac's magnetic monopole in our context. As consequence, the Universe could locally contain the magnetic charge but in its totality it is still neutral.
description: 18 pages, 0 figures
Rhaconotus (Rhaconotus) oriens Belokobylskij et Chen 2004
Creators: name: Belokobylskij, Sergey A.
name: Ku, Deok-Seo
name: Broad, Gavin R.
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Braconidae
Rhaconotus
Rhaconotus oriens

description: Rhaconotus (Rhaconotus) oriens Belokobylskij et Chen, 2004
Belokobylskij and Chen, 2004: 344; Belokobylskij and Maeto, 2009: 433.
 Distribution. China, Korea, Japan.
description: Published as part of Belokobylskij, Sergey A., Ku, Deok-Seo & Broad, Gavin R., 2021, The tribe Rhaconotini (Hymenoptera: Braconidae: Doryctinae) of South Korea with description of a new Rhaconotus Ruthe species, pp. 404-413 in Zootaxa 5040 (3) on page 410, DOI: 10.11646/zootaxa.5040.3.5, http://zenodo.org/record/5531462
A Precision Neutrino Laboratory at the Spallation Neutron Source
Creators: name: Newby, Jason
Publisher: name: Zenodo
Year: 2018
Subjects: neutrinos
CEvNS
spallation neutron source

description: Presentation given at the Magnificent CEvNS workshop (2018) on the subject of efforts towards enabling precision neutrino physics measurements at the Spallation Neutron Source of Oak Ridge National Laboratory.
Propagation of Coulomb-correlated electron-hole pairs in semiconductors with correlated and anticorrelated disorder
Creators: name: Thomas, P.
name: Varga, I.
name: Lemm, T.
name: Golub, J. E.
name: Maschke, K.
name: Meier, T.
name: Koch, S. W.
Publisher: name: arXiv
Year: 2000
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Materials Science (cond-mat.mtrl-sci)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Local ultrafast optical excitation of electron-hole pairs in disordered semiconductors provides the possibility to observe experimentally interaction-assisted propagation of correlated quantum particles in a disordered environment. In addition to the interaction driven delocalization known for the conventional single-band TIP-(two-interacting-particles)-problem the semiconductor model has a richer variety of physical parameters that give rise to new features in the temporal dynamics. These include different masses, correlated vs. anticorrelated disorder for the two particles, and dependence on spectral position of excitation pulse.
description: 4 pages and 5 ps figures
Classical and quantum aspects of electric-magnetic duality rotations in curved spacetimes
Creators: name: Agullo, Ivan
name: del Rio, Adrian
name: Navarro-Salas, Jose
Publisher: name: arXiv
Year: 2018
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: It is well known that the source-free Maxwell equations are invariant under electric-magnetic duality rotations, F --> F cos θ + *F sin θ. These transformations are indeed a symmetry of the theory in Noether sense. The associated constant of motion is the difference in the intensity between self- and anti-self dual components of the electromagnetic field or, equivalently, the difference between the right and left circularly polarized components. This conservation law holds even if the electromagnetic field interacts with an arbitrary classical gravitational background. After re-examining these results, we discuss whether this symmetry is maintained when the electromagnetic field is quantized. The answer is in the affirmative in the absence of gravity, but not necessarily otherwise. As a consequence, the net polarization of the quantum electromagnetic field fails to be conserved in curved spacetimes. This is a quantum effect, and it can be understood as the generalization of the fermion chiral anomaly to fields of spin one.
Glassy timescale divergence and anomalous coarsening in a kinetically constrained spin chain
Creators: name: Sollich, Peter
name: Evans, Martin R
Publisher: name: arXiv
Year: 1999
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We analyse the out of equilibrium behavior of an Ising spin chain with an asymmetric kinetic constraint after a quench to a low temperature T. In the limit T\to 0, we provide an exact solution of the resulting coarsening process. The equilibration time exhibits a `glassy' divergence \teq=\exp(const/T^2) (popular as an alternative to the Vogel-Fulcher law), while the average domain length grows with a temperature dependent exponent, \dbar ~ t^{T\ln 2}. We show that the equilibration time \teq also sets the timescale for the linear response of the system at low temperatures.
description: 4 pages, revtex, includes two eps figures. Proof of energy barrier hierarchy added. Version to be published in Phys Rev Lett
Measurement of Dijet Angular Distributions and Search for Quark Compositeness
Creators: name: Abbott, Brad
Publisher: name: arXiv
Year: 1997
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: We have measured the dijet angular distribution in $\sqrt{s}$=1.8 TeV $p\bar{p}$ collisions using the D0 detector. Order $α^{3}_{s}$ QCD predictions are in good agreement with the data. At 95% confidence the data exclude models of quark compositeness in which the contact interaction scale is below 2 TeV.
description: 11 pages, Latex, 3 postscript figures
The globular cluster system of the isolated elliptical NGC 6411: An old system in an intermediate-age galaxy?
Creators: name: Caso, Juan Pablo
name: Bassino, Lilia P.
name: Richtler, Tom
name: Salinas, Ricardo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We present a photometric study of the isolated elliptical NGC 6411 and its globular cluster (GC) system, based on Gemini/GMOS g', r', i' photometry. This galaxy has been the host of a SNIa. Spectral studies indicate an intermediate-age and very metal-rich stellar population in its inner region. The extent of the globular cluster system is about 65 kpc. Its population contains $700\pm45$ members, implying a rather poor system, as normally found for isolated ellipticals. The colour bimodality and luminosity distribution are typical of old GC systems. An excess of bright GCs with intermediate colours might evidence an intermediate-age merger, but their colours indicate an older event than ages derived from spectroscopic studies of the diffuse light of the galaxy.
description: Accepted in MNRAS
title: Front Matter, Table of Contents, Preface, Conference Organization
Creators: name: Bernardo, Bruno
name: Marmsoler, Diego
Publisher: name: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Year: 2024
Subjects: subject: Front Matter
subject: Table of Contents
subject: Preface
subject: Conference Organization
subject: Security and privacy → Formal methods and theory of security
subject: Security and privacy → Logic and verification
subject: Theory of computation → Program verification
subject: Software and its engineering → Formal software verification
subject: Security and privacy → Distributed systems security
subject: Computer systems organization → Peer-to-peer architectures

description: Front Matter, Table of Contents, Preface, Conference Organization
description: OASIcs, Vol. 118, 5th International Workshop on Formal Methods for Blockchains (FMBC 2024), pages 0:i-0:xii
BOSHLANG'ICH SINF O'QITUVCHILARINING PEDAGOGIK MAHORATINI SHAKLLANTIRISHNING NAZARIY ASOSLARI
Creators: name: Toʻraqulova, Husnora
Publisher: name: Zenodo
Year: 2025

description: O’zbekiston, ta’lim, tarbiya, mamlakat, yosh avlod, o’quv tarbiya, to’garaklar, mustshkamlash, yutug’lar, yoshlar tarbiyasi, pedagogik mahorat, uzluksiz ta’lim.
Chemo-Nutritional Analysis and Organoleptic Quality Characteristics of Smoked African Catfish (Clarias gariepinus) Treated with Scent Leaf (Ocimum gratissimum) Juice
Creators: name: Adeosun Olubunmi
name: Adegbola, Sunday Abiola
name: Bankole, Adebukola Folake
name: Olateju, Gbolahan Basit
Publisher: name: Zenodo
Year: 2021
Subjects: Scent leaf
Clarias gariepinus
nutrient content
taste
aroma

description: This study evaluated nutrient composition, biochemical and organoleptic quality characteristics of smoked Clarias gariepinus treated with scent leaf (Ocimum gratissimum) juice during five (5) weeks of storage at ambient temperature. Table-sized catfish were subjected to solution of O. gratissimum juice at 0.2%. 0.4%, 0.6%, 0.8% and 1.0%v/v for 5 minutes prior to smoking. 1.0%v/v brine was used as the treatment control. Proximate composition of fresh and smoked fish was done at week 0 and week 5. Biochemical analysis and organoleptic quality assessment were done weekly. Result of proximate composition showed that crude protein values obtained ranged between 64.42% and 66.80%. Biochemical analysis result revealed that the values of free fatty acids, peroxide value and total volatile nitrogen increased with storage time, the values remained within the limits (0.09% - 0.65%, 1.22 meq/kg – 1.77 meq/kg and 1.495 mg/100 g – 11.750 mg/100 g respectively). The organoleptic assessment revealed that sample treated with 0.2% juice recorded higher values for taste (7.43), aroma (7.46), texture (7.33), appearance (7.77) and general acceptability (7.57) by the taste panel compared to the other samples and control. This could be due to the effect of spicy property of scent leaf. At low concentration, the organoleptic characteristics of the smoked fish were best. The study also revealed that Ocimum gratissimum juice can be used to improve biochemical and organoleptic quality of stored smoked Clarias gariepinus.
Electronic Supplementary Material from Background mortality drivers of European tree species: climate change matters
Creators: name: Taccoen, Adrien
name: Piedallu, Christian
name: Seynave, Ingrid
name: Perez, Vincent
name: Gégout-Petit, Anne
name: Louis-Michel Nageleisen
name: Jean-Daniel Bontemps
name: Gégout, Jean-Claude
Publisher: name: The Royal Society
Year: 2019
Subjects: subject: Environmental Science
subject: Ecology
subject: FOS: Biological sciences
subject: Plant Biology

description: File containing four additional text panels, one additional figure and two additional tables.
Numerical Investigations of Strain-Gradient Plasticity with Reference to Non-Homogeneous Deformations
Creators: name: Mhlongo, Nothando
name: Reddy, B Daya
Publisher: name: arXiv
Year: 2019
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: In this work, a higher-order irrotational strain gradient plasticity theory is studied in the small strain regime. A detailed numerical study is based on the problem of simple shear of a non-homogeneous block comprising an elastic-plastic material with a stiff? elastic inclusion. Combinations of micro-hard and micro-free boundary conditions are used. The strengthening and hardening behavior is explored in relation to the dissipative and energetic length scales. There is a strong dependence on length scale with the imposition of micro-hard boundary conditions. For micro-free conditions there is marked dependence on dissipative length scale of initial yield, though the differences are small in the post-yield regime. In the case of hardening behavior, the variation with respect to energetic length scale is negligible. A further phenomenon studied numerically relates to the global nature of the yield function for the dissipative problem; this function is given as the least upper bound of a function of plastic strain increment, and cannot be determined analytically. The accuracy of an upper-bound approximation to the yield function is explored, and found to be reasonably sharp in its prediction of initial yield.
description: 21 Pages, Presented at the IUTAM Symposium on Size-effects in Microstructure and Damage Evolution at DTU
Black hole entropy calculations based on symmetries
Creators: name: Dreyer, Olaf
name: Ghosh, Amit
name: Wisniewski, Jacek
Publisher: name: arXiv
Year: 2001
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Symmetry based approaches to the black hole entropy problem have a number of attractive features; in particular they are very general and do not depend on the details of the quantization method. However we point out that, of the two available approaches, one faces conceptual problems (also emphasized by others), while the second contains certain technical flaws. We correct these errors and, within the new, improved scheme, calculate the entropy of 3-dimensional black holes. We find that, while the new symmetry vector fields are well-defined on the ``stretched horizon,'' and lead to well-defined Hamiltonians satisfying the expected Lie algebra, they fail to admit a well-defined limit to the horizon. This suggests that, although the formal calculation can be carried out at the classical level, its real, conceptual origin probably lies in the quantum theory.
description: 14 pages, Latex, CGPG-01/1-1
Expanding Click and Buy rates: Exploration of evaluation metrics that measure the impact of personalized recommendation engines on e-commerce platforms
Creators: name: Chaudhary, Namrata
name: Chowdhury, Drimik Roy
Publisher: name: arXiv
Year: 2019
Subjects: subject: Information Retrieval (cs.IR)
subject: FOS: Computer and information sciences

description: To identify the most appropriate recommendation model for an e-commerce business, a live evaluation should be performed on the shopping website to measure the influence of personalization in real-time. The aim of this paper is to introduce and justify two new metrics -- CTR NoRepeat and Click & Buy rate -- which stem from the standard metrics, Click-through(CTR) and Buy-through rate(BTR), respectively. The former variation tackles the issue of overestimation of clicks in the original CTR while the latter accounts for noting purchases of products that have been previously clicked, in order to validate that the buy included in the metric is a result of customer interactions. A significance test for independence of two means is conducted for multiple datasets, between each of the new metrics and its respective parent to determine the novelty and necessity of the variants. The Pearson-correlation coefficient is calculated to assess the strength of the linear relationships and conclude on the predictability factor amongst the aforementioned factors to investigate unknown connections between customer clicks and buys. Additionally, other metrics such as hits per customer, buyers per customer, clicks per customer etc. are introduced that help explain indicators of customer behavior on the e-commerce website in reference.
The CryoCube detector array for Ricochet
Creators: name: Misiak, Dimitri
Publisher: name: Zenodo
Year: 2018
Subjects: CEvNS
neutrinos

description: Neutrinos continue to be a source of scientific wonder in nuclear physics, particle physics, and cosmology. Although much has been learned about the properties of neutrinos, much still pleads for more experimental investigation. The measurement of Coherent Elastic Neutrino-Nucleus Scattering (CENNS) has been a holy grail in neutrino physics since its prediction almost 40 years ago, and has now become a burgeoning field of research following its recent discovery by the COHERENT collaboration in July 2017. Following this first detection, the future Ricochet experiment aims at searching for new physics in the electroweak sector by providing the first low-energy and high-precision measurement of CENNS down to the O(10) eV energy-scale, where new physics signatures may arise. These include for instance the existence of sterile neutrinos and of new mediators, that could be related to the DM problem, and the possibility of Non Standard Interactions that would have tremendous implications on the global neutrino physics program. To this end, we are aiming at building a kg-scale cryogenic detector with outstanding sensitivity to low-energy nuclear recoils, that will be deployed at an optimal nuclear reactor site within the forthcoming Ricochet neutrino experiment. The key feature of this proposed detector technology is to combine two target materials: Ge-semiconductor and Zn-superconducting metal, both achieving O(10) eV energy thresholds with unparalleled background rejection capabilities. As this proposed detector, called CryoCube, is expected to reach a few sigma level CENNS detection significance in a single day, it will be uniquely positioned to probe various new physics scenarios after only one year of data taking. Presentation given at the Magnificent CEvNS workshop (2018).
High-frequency stochastic switching of graphene resonators near room temperature
Creators: name: Dolleman, Robin J.
name: Belardinelli, Pierpaolo
name: Houri, Samer
name: van der Zant, Herre S. J.
name: Alijani, Farbod
name: Steeneken, Peter G.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Stochastic switching between the two bistable states of a strongly driven mechanical resonator enables detection of weak signals based on probability distributions, in a manner that mimics biological systems. However, conventional silicon resonators at the microscale require a large amount of fluctuation power to achieve a switching rate in the order of a few Hertz. Here, we employ graphene membrane resonators of atomic thickness to achieve a stochastic switching rate of 7.8 kHz, which is 200 times faster than current state-of-the-art. The (effective) temperature of the fluctuations is approximately 400 K, which is 3000 times lower than the state-of-the-art. This shows that these membranes are potentially useful to transduce weak signals in the audible frequency domain. Furthermore, we perform numerical simulations to understand the transition dynamics of the resonator and derive simple analytical expressions to investigate the relevant scaling parameters that allow high-frequency, low-temperature stochastic switching to be achieved in mechanical resonators.
Additional file 2 of Adenovirus infection promotes the formation of glioma stem cells from glioblastoma cells through the TLR9/NEAT1/STAT3 pathway
Creators: name: Zang, Jian
name: Zheng, Min-Hua
name: Cao, Xiu-Li
name: Zhang, Yi-Zhe
name: Zhang, Yu-Fei
name: Gao, Xiang-Yu
name: Cao, Yuan
name: Shi, Mei
name: Han, Hua
name: Liang, Liang
Publisher: name: figshare
Year: 2020
Subjects: subject: Space Science
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Cell Biology
subject: Genetics
subject: Molecular Biology
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1: Supplementary Table S1. Primer sequences used for RT-qPCR analysis.
CEvNS as a Probe of Nuclear Neutron Form Factors
Creators: name: Patton, Kelly
Publisher: name: Zenodo
Year: 2018
Subjects: neutrinos
CEvNS
nuclear form factor

description: Coherent elastic neutrino-nucleus scattering is a potential probe of nuclear neutron form factors. We show that the neutron root-mean-square (RMS) radius can be measured with tonne-scale detectors of argon, germanium, or xenon. In addition, the fourth moment of the neutron distribution can be studied experimentally using this method. The impacts of both detector size and detector shape uncertainty on such a measurement were considered. The important limiting factor was found to be the detector shape uncertainty. In order to measure the neutron RMS radius to 5%, comparable to current experimental uncertainties, the detector shape uncertainty needs to be known to 1% or better. Presentation given at the Magnificent CEvNS workshop (2018).
Extension of Haff's cooling law in granular flows
Creators: name: Brito, R.
name: Ernst, M. H.
Publisher: name: arXiv
Year: 1998
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: The total energy E(t) in a fluid of inelastic particles is dissipated through inelastic collisions. When such systems are prepared in a homogeneous initial state and evolve undriven, E(t) decays initially as t^{-2} \aprox exp[ - 2ετ] (known as Haff's law), where τis the average number of collisions suffered by a particle within time t, and ε=1-α^2 measures the degree of inelasticity, with αthe coefficient of normal restitution. This decay law is extended for large times to E(t) \aprox τ^{-d/2} in d-dimensions, far into the nonlinear clustering regime. The theoretical predictions are quantitatively confirmed by computer simulations, and holds for small to moderate inelasticities with 0.6< α< 1.
description: 7 pages, 4 PostScript figures. To be published in Europhysics Letters
Uso da Telerreabilitação para indivíduos pós Acidente Vascular Cerebral
Creators: name: Miranda, Mariane Regina De Carvalho
name: Borges, Karollyne Vitória Clementino
name: Dantas, Domenique Cerqueira
name: Dornelas, Lílian De Fátima
name: Alves, Juliana Silveira
name: Silva, Victor Rodholfo De Oliveira
Publisher: name: Zenodo
Year: 2019
Subjects: stroke
telerehabilitation
health education
motor kills

description: Post stroke rehabilitation faces additional barriers such as the high cost of caregiver dependency, lack of rehabilitation programs, transportation challenges and high costs. Telereaction emerges as a promising modality for supervising, managing and remotely motivating various forms of physical, occupational and other therapeutic discourse. The aim of this study was to conduct a systematic review to determine the use of telehabilitation to improve motor skills in post stroke patients. The systematic review was performed according to PRISMA guidelines. The databases used were: Pubmed, Embase, Lilacs, Cochrane. The terms used were stroke, telerehabilitation, motor skills and randomized controlled trials. This review was limited to randomized clinical trials in Portuguese, English and Spanish, from 2014 to 2019. Four studies were selected to participate in the review and all presented satisfactory results from the use of telehabilitation, regarding the reacquisition of motor skills associated with balance and day-to-day activities, being considered a cost-effective intervention tool with good acceptance and user satisfaction.
Phonon-assisted Auger enables ultrafast charge transfer in CdSe Quantum Dot/Organic Molecule
Creators: name: Wang, Zhi
name: Rafipoor, Mona
name: Risueño, Pablo García
name: Merkl, Jan-Philip
name: Han, Peng
name: Lange, Holger
name: Bester, Gabriel
Publisher: name: arXiv
Year: 2018
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Charge transfer between photoexcited quantum dots and molecular acceptors is one of the key limiting processes in most applications of colloidal nanostructures, most prominently in photovoltaics. An atomistic detailed description of this process would open new ways to optimize existing and create new structures with targeted properties. We achieve a one-to-one comparison between ab-initio non-adiabatic molecular dynamics calculations and transient absorption spectroscopy experiments, which allows us to draw a comprehensive atomistic picture of the charge transfer process, following the time evolution of the charge carrier across the electronic landscape and identifying the thereby induced vibrations. For two quantum dot sizes we find two qualitatively different processes. For the larger structure we find a relatively slow (τ= 516 fs) transfer process that we explain by the existence of a large energy detuning and weak vibronic coupling. For the smaller structure the process is ultrafast (τ= 20 fs) due to an efficient, phonon-assisted Auger process triggered by a strong electron-hole coupling.
Verifying liquidity of recursive Bitcoin contracts
Creators: name: Bartoletti, Massimo
name: Lande, Stefano
name: Murgia, Maurizio
name: Zunino, Roberto
Publisher: name: arXiv
Year: 2020
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: Smart contracts - computer protocols that regulate the exchange of crypto-assets in trustless environments - have become popular with the spread of blockchain technologies. A landmark security property of smart contracts is liquidity: in a non-liquid contract, it may happen that some assets remain frozen, i.e. not redeemable by anyone. The relevance of this issue is witnessed by recent liquidity attacks to Ethereum, which have frozen hundreds of USD millions. We address the problem of verifying liquidity on BitML, a DSL for smart contracts with a secure compiler to Bitcoin, featuring primitives for currency transfers, contract renegotiation and consensual recursion. Our main result is a verification technique for liquidity. We first transform the infinite-state semantics of BitML into a finite-state one, which focusses on the behaviour of a chosen set of contracts, abstracting from the moves of the context. With respect to the chosen contracts, this abstraction is sound, i.e. if the abstracted contract is liquid, then also the concrete one is such. We then verify liquidity by model-checking the finite-state abstraction. We implement a toolchain that automatically verifies liquidity of BitML contracts and compiles them to Bitcoin, and we assess it through a benchmark of representative contracts.
description: arXiv admin note: text overlap with arXiv:2003.00296
Stavrou et al._JCI_2018.pdf
Creators: name: E.X. Stavrou
Publisher: name: Health Research Alliance
Year: 2019
Subjects: subject: 110704 Cellular Immunology
subject: FOS: Clinical medicine
subject: 110202 Haematology
subject: 110707 Innate Immunity

description: Novel signaling pathway in neutrophils that results in cell priming and trafficking at sites of sterile inflammation.
Preparation of high-yield and ultra-pure Au25 nanoclusters: towards their implementation in real-world applications
Creators: name: Galchenko, Michael
name: Schuster, Raphael
name: Black, Andres
name: Riedner, Maria
name: Klinke, Christian
Publisher: name: arXiv
Year: 2019
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Colloidal approaches allow for the synthesis of Au nanoclusters (NCs) with atomic precision and sizes ranging from a few to hundreds of atoms. In most of the cases, these processes involve a common strategy of thiol etching of initially polydisperse Au nanoparticles into atomically precise NCs, resulting in the release of Au-thiolate complexes as byproducts. To the best of our knowledge, neither the removal of these byproducts nor the mass spectra in the relevant mass region were shown in previous studies. A thorough analysis of inorganic byproducts in the synthesis of Au25 NCs reveals that published protocols lead to Au25 NCs in vanishingly small quantities compared to their byproducts. Three purification methods are presented to separate byproducts from the desired Au25 NCs which are proposed to be applicable to other promising Au NC systems. Additionally, critical factors for a successful synthesis of Au25 NCs are identified and discussed including the role of residual water. An important finding is that the etching duration is very critical and must be monitored by UV-Vis spectroscopy resulting in synthetic yields as high as 40%.
description: 19 pages, 4 figures
Unusual features in the nonlinear microwave surface impedance of Y-Ba-Cu-O thin films
Creators: name: Kharel, A. P.
name: Velichko, Anton V.
name: Powell, J. R.
name: Porch, A.
name: Lancaster, M. J.
name: Humphreys, R. G.
Publisher: name: arXiv
Year: 1999
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Striking features have been found in the nonlinear microwave (8 GHz) surface impedance $Z_s=R_s + jX_s$ of high-quality YBaCuO thin films with comparable low power characteristics [$R_{res}\sim 35--60 μΩ$ and $λ_L(15 K)\sim 130--260 nm$]. The surface resistance $R_s$ is found to increase, decrease, or remain independent of the microwave field $H_{rf}$ (up to 60 mT) at different temperatures and for different samples. However, the surface reactance $X_s$ always follows the same functional form. Mechanisms which may be responsible for the observed variations in $R_s$ and $X_s$ are briefly discussed.
description: 4 pages, 4 figures
Intangible income shifting: the impact of digitalisation on falling corporate tax rates
Creators: name: Mc Mahon, Michael
name: Doyle, Eleanor
name: Kinsella, Stephen
Publisher: name: University of Limerick
Year: 2025
Subjects: classificationCode: 38
subject: Economics

description: Concerns over the amount of corporation tax paid by firms in digitally intensive industries have led to efforts to reform corporate tax codes at national and international levels. Despite this, there is little evidence to suggest firms in digitally intensive industries pay less corporate tax. The paper examines the interplay of digitalisation, firm size and MNE status to investigate if large, digitally intensive and multinational firms do indeed pay less tax, as measured by the cash effective tax rate (Cash ETR). It finds no significant relationship between industry digitalisation and Cash ETRs using a primary measure of industry digitalisation. However, the inter-actions of digitalisation, firm size and MNE status exhibit statistically significant impacts on Cash ETRs, though the magnitudes are modest. Larger firms in digital intensive industries tend to have Cash ETRs that are 1% lower than their less digital intensive equivalents. MNEs in more digital intensive industries tend to have Cash ETRs that are approximately 0.5% lower than firms in less digital intensive industries. Notably, the very largest tech firms display considerably lower Cash ETRs, thus, it would appear they provide much of the impetus for corporate tax reform.
On the Effective Antiviral Treatment of Enterovirus Infections
Creators: name: Galabov, Angel S.
name: Stoyanova, Adelina
Publisher: name: Zenodo
Year: 2021
Subjects: Enterovirus infections
antiviral treatment
human pathology

description: Enteroviruses (EVs) as causative agents of diseases with varying clinical pictures occupy a significant place in human pathology. The great variability of these approximately 200 viruses is the basis of their comparatively quick development of drug resistance and thus the absence of effective antivirals for clinical use. Monotherapeutic applications of antivirals have been ineffective as anti-enteroviral chemotherapy. Therefore, to overcome the drug resistance barrier, we investigated EV replication inhibitors by looking at the effect of combinations of viral inhibitors in cell culture experiments. The next step was to test anti-EV combinations in vivo, in laboratory animals. The most successful achievement in this study was the development of the consecutive alternating administration (CAA) treatment course of triple combinations of antivirals with different modes of action. The CAA treatment scheme was applied in Coxsackievirus B1 and B3 infections by massive virus inocula (20 MLD50) in suckling albino mice. The CAA treatment scheme was used with three triple combinations, including five specific inhibitors of EV replication: disoxaril, pleconaril, guanidine.HCl, MDL-860 and oxoglaucine. Those experiments demonstrated a pronounced effectivity of the CAA approach expressed with a marked protective effect: decreased mortality and lengthening of the mean survival time. IC50 values (a phenotypic marker) of the virus progeny in virus samples isolated from target organs (brain, heart) of Coxsackievirus B infected mice treated with a triple combination of antivirals via the CAA scheme showed (a) a marked suppression in the development of drug resistance, and (b) in parallel, an unusual phenomenon of an increase in susceptibility to the partner compounds in the combinations. Sequence analysis of the genome (RNA) in samples of target isolates manifested the changes determining the increased susceptibility of the virus to the respective EV inhibitors. The data from these systematic studies show that the CAA treatment scheme with triple combinations of antivirals is an effective chemotherapy for EV infections.
Cordielytrum silvae Whorrall & Philips 2021, sp. n.
Creators: name: Whorrall, Kyle
name: Philips, Keith
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Ptinidae
Cordielytrum
Cordielytrum silvae

description: Cordielytrum silvae, sp. n.
(Fig. 3)
 Holotype: Peru: Ica Region, Lomas de San Fernando. 11–12.VI.2019, S15.13°, W75.31° dung pitfall traps, 1425 m K.A.Whorrall & T. K.Philips. Holotype has been deposited in MUSM. Paratypes (16): Same data as holotype (11); PE: ICA, Prov. de Nazca Lomas de San Fernando 15°08’51.7” S 75°15’27.8” W 489m, 03.iv.2010, D. Silva y M. Vilchez (1); Prov. de Nazca Lomas de San Fernando 15°07’29.0” S 75°20’19.8” W 430m, 03.iv.2010, D. Silva y M. Vilchez (4). Paratypes have been deposited in MUSM, KAWC, TKPC, and JBHC.
 Diagnosis. This species is distinguished from its congeners by its relatively large size, the smooth appearance of its setation, its small bead-like scales, and its pale, brassy coloration. It can be distinguished from C. peruvianum by the larger depressions in elytral scales, more transverse pronotum, and less pronounced elytral carinae.
 Description. Body small, compact, subovate, convex; brass colored with a slight sheen. Length (anterior of pronotum to apex of elytra) 2.93–3.25 mm.
 Head completely covered with depressed, light tan, ovoid scales; pronounced superantennal carinae; antennae slender, antennomeres densely covered in scales, setae increasingly fine toward apex, antennomeres 1–4 and 11 slightly longer than wide, others subequal; clypeus distinct; labrum with short erect orange setae apically; frons with short ligulate scales pointing toward middle.
 Pronotum covered with densely matted setae, short, erect setae protruding from deep cavities within matted setation; medial cavity deep, broad, when viewed from above, extending nearly ½ total length, border well-defined laterally but indistinct medially, extending as a shallow groove anteriorly; two posterolateral cavities very shallow with indistinct borders.
 Elytra: Setation pale brassy tan, darker tan pattern medially, background color dark brown; densely covered in small, broad, ovate scales; basal ¼ of anterolateral margin with row of long bristly setae; four low longitudinal carinae extending length of each elytron, including one at suture; 4–5 rows of deep depressions between carinae.
 Ventral Surface: Prosternum and mesoventrite with matted scales somewhat similar to pronotum; remainder of ventral mesothorax, metathorax, legs, and abdominal ventrites with scales similar to elytra.
 Etymology: The name “silvae” is for Diana Silva, who collected the first specimens of this species.
description: Published as part of Whorrall, Kyle & Philips, Keith, 2021, Six new species of spider beetles (Coleoptera: Ptinidae) in the genus Cordielytrum Philips, pp. 414-427 in Zootaxa 5040 (3) on pages 417-418, DOI: 10.11646/zootaxa.5040.3.6, http://zenodo.org/record/5531508
NW-FVA Waldschutzinfo 2025-03
Creators: name: Langer, Gitta Jutta
name: Bußkamp, Johanna
name: Niemöller, Jonas
Publisher: name: Zenodo
Year: 2025

description: Waldschutzinfo Nr. 2025-03 der Nordwestdeutschen Forstlichen Versuchsanstalt (NW-FVA) Göttingen zum Thema Witterung 2024.
Additional file 3 of Xylan alleviates dietary fiber deprivation-induced dysbiosis by selectively promoting Bifidobacterium pseudocatenulatum in pigs
Creators: name: Wang, Zhenyu
name: Bai, Yu
name: Pi, Yu
name: Gerrits, Walter J. J.
name: de Vries, Sonja
name: Shang, Lijun
name: Tao, Shiyu
name: Zhang, Shiyi
name: Han, Dandan
name: Zhu, Zhengpeng
name: Wang, Junjun
Publisher: name: figshare
Year: 2021
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: Physiology
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Ecology

description: Additional file 2. Supplemental Table 2 Sample information of experiment 1.
An Interaction Region for Gamma-Gamma and Gamma-Electron Collisions at TESLA/SBLC
Creators: name: Brinkmann, R.
name: Ginzburg, I.
name: Holtkamp, N.
name: Jikia, G.
name: Napoly, O.
name: Saldin, E.
name: Schneidmiller, E.
name: Serbo, V.
name: Silvestrov, G.
name: Telnov, V.
name: Undrus, A.
name: Yurkov, M.
Publisher: name: arXiv
Year: 1997
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: Accelerator Physics (physics.acc-ph)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: Linear colliders offer unique opportunities to study gamma-gamma (gg), gamma-electron (ge) interactions. Using the laser backscattering method one can obtain gg, ge colliding beams with an energy and luminosity comparable to that in e+e- collisions. This work is a part of the Conceptual Design of TESLA/SBLC linear colliders describing a second interaction region for gg, ge collisions. We consider here possible physics in high energy gg, ge collisions, e -> g conversion, requirements to lasers, collision schemes, attainable luminosities, backgrounds, possible lasers, optics at the interaction region and other associated problems.
description: 62 pages, Latex, 26 figures(eps,ps), Appendix to the Conceptual Design of a 500 GeV Electron Positron Linear Collider with Integrated X-Ray Laser Facility, to be published in NIM A
solc-verify: A Modular Verifier for Solidity Smart Contracts
Creators: name: Hajdu, Ákos
name: Jovanović, Dejan
Publisher: name: arXiv
Year: 2019
Subjects: subject: Programming Languages (cs.PL)
subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: We present solc-verify, a source-level verification tool for Ethereum smart contracts. Solc-verify takes smart contracts written in Solidity and discharges verification conditions using modular program analysis and SMT solvers. Built on top of the Solidity compiler, solc-verify reasons at the level of the contract source code, as opposed to the more common approaches that operate at the level of Ethereum bytecode. This enables solc-verify to effectively reason about high-level contract properties while modeling low-level language semantics precisely. The contract properties, such as contract invariants, loop invariants, and function pre- and post-conditions, can be provided as annotations in the code by the developer. This enables automated, yet user-friendly formal verification for smart contracts. We demonstrate solc-verify by examining real-world examples where our tool can effectively find bugs and prove correctness of non-trivial properties with minimal user effort.
description: Authors' manuscript. Published in S. Chakraborty and J. A. Navas (Eds.): VSTTE 2019, LNCS 12031, 2020. The final publication is available at Springer via https://doi.org/10.1007/978-3-030-41600-3_11
Oviposited embryo of normally viviparous Saiphos equalis from Facultative oviparity in a viviparous skink (Saiphos equalis)
Creators: name: Laird, Melanie K.
name: Thompson, Michael B.
name: Whittington, Camilla M.
Publisher: name: The Royal Society
Year: 2019
Subjects: subject: Evolutionary Biology
subject: FOS: Biological sciences

description: A) Oviposited embryo (stage 33) of normally viviparous Saiphos equalis covered by thin transparent membranes; scale bar= 5 mm (B) Hatching of same embryo post-incubation (Stage 40); scale bar= 5 mm (C) Facultatively oviposited embryo of S. equalis, fixed at oviposition (Stage 33). Embryo removed from yolk mass and broken mid-body; scale bar= 1 mm.
On some metric topologies on Privalov spaces on the unit disk
Creators: name: Meštrović, Romeo
name: Pavićević, Žarko
Publisher: name: arXiv
Year: 2018
Subjects: subject: Functional Analysis (math.FA)
subject: FOS: Mathematics
subject: 30H50, 46E10, 46E30, 46J15, 30H15

description: Let $N^p$ $(11$, we consider the class $N^p$ as the space $M^p$ equipped with the topology induced by the metric $ρ_p$ defined as $$ ρ_p(f,g) = \Bigg(\int_0^{2π}\log^p(1+M(f-g)(θ))\, \frac{dθ}{2π}\Bigg)^{1/p},\quad f,g\in M^p,\,\, {\mathrm where}\,\, Mf(θ) = \sup_{0\leqslant r<1} \big\vert f \big(re^{iθ})\big\vert.$$ On the other hand, we consider the class $N^p$ with the metric topology introduced by Meštrović, Pavićević and Labudović (1999) which generalizes the Gamelin-Lumer's metric which is generally defined on a measure space $(Ω, Σ, μ)$ with a positive finite measure $μ$. The space $N^p$ with the associated modular in the sense of Musielak and Orlicz becomes the Hardy-Orlicz class. It is noticed that the all considered metrics induce the same topology on the space $N^p$.
description: 11 pages, no figures
Cordielytrum fimbriatum Whorrall & Philips 2021, sp. n.
Creators: name: Whorrall, Kyle
name: Philips, Keith
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Ptinidae
Cordielytrum
Cordielytrum fimbriatum

description: Cordielytrum fimbriatum, sp. n.
(Fig. 5)
 Holotype: Peru: Arequipa Reg, 22 km NW Matarani, 18–21.VI.2019 S16.8548° W72.2306°, 304 m ravine veg, dung pitfalls K.A.Whorrall & T. K. Philips. Holotype has been deposited in MUSM. Paratypes (36): Same data as holotype. Paratypes have been deposited in MUSM, KAWC, TKPC, and JBHC.
 Diagnosis: This species is distinguished from most congeners by its relatively slender shape, the more rounded shape of its pronotum, the rough, disheveled appearance of its vestiture, and the tassel-like shape of its setae. It can be distinguished from C. obscurum (Fig. 6) by the shorter and more truncate setae of the elytral humeral angles, broader and more densely spaced scoop-like setae on the elytra, and paler coloration.
 Description. Body small, ovate, convex; mottled tan and brown. Length (anterior of pronotum to apex of elytra) 1.90–2.81 mm.
 Head completely covered with depressed, light tan, ovoid scales; pronounced superantennal carinae; antennae stout, antennomeres densely covered in scales, setae increasingly fine toward apex, antennomeres 1–4 and 11 longer than wide, others subequal; clypeus distinct; labrum with short erect orange setae apically; frons with elongate ligulate scales pointing toward middle, especially prominent toward apex.
 Pronotum covered with densely matted setae, relatively few short, erect setae protruding from deep cavities within matted setation; anteriorly depressed, especially laterally, with distinct frontal ridge; medial cavity very deep, extending over half total length of pronotum, border well-defined except at middle anterior and posterior; two posterolateral cavities on each side deep and distinct.
 Elytra: Setation mottled tan with darker brown patches, background color dark brown; surface covered in triangular scoop-shaped setae; basal 1/3 of anterolateral margin with row of relatively short tassel-like setae; five low longitudinal carinae extending length of each elytron, including one at suture, each carina with one row of short tassel-like setae with highly branched apices.
 Ventral Surface: Ventral part of pro-, meso, and, metathorax, legs, and abdominal ventrites with scales similar to elytra.
 Etymology: The name “fimbriatum” is from the Latin word meaning fringed, referring to the rows of tassel-like setae on the elytral carinae.
description: Published as part of Whorrall, Kyle & Philips, Keith, 2021, Six new species of spider beetles (Coleoptera: Ptinidae) in the genus Cordielytrum Philips, pp. 414-427 in Zootaxa 5040 (3) on pages 419-420, DOI: 10.11646/zootaxa.5040.3.6, http://zenodo.org/record/5531508
A Status Review of Inflationary Cosmology
Creators: name: Brandenberger, Robert H.
Publisher: name: arXiv
Year: 2001
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Astrophysics (astro-ph)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The first aim of this lecture is to highlight two areas of recent progress in inflationary cosmology, namely reheating and the quantum theory of cosmological perturbations. The second aim is to discuss important conceptual problems for the current realizations of inflation based on fundamental scalar matter fields, and to present some new approaches at solving these problems.
description: 20 pages invited lecture at JGRG10, Osaka, Japan, Sept. 11 - 14, 2000, to appear in the proceedings
Additional file 7 of Xylan alleviates dietary fiber deprivation-induced dysbiosis by selectively promoting Bifidobacterium pseudocatenulatum in pigs
Creators: name: Wang, Zhenyu
name: Bai, Yu
name: Pi, Yu
name: Gerrits, Walter J. J.
name: de Vries, Sonja
name: Shang, Lijun
name: Tao, Shiyu
name: Zhang, Shiyi
name: Han, Dandan
name: Zhu, Zhengpeng
name: Wang, Junjun
Publisher: name: figshare
Year: 2021
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: Physiology
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Ecology

description: Additional file 6. Figure S2 α-diversity difference between small intestine and large intestine following xylan, β-glucan and resistant starch intervention. D, duodenum; J, jejunum; I, ileum; C, cecum; PC, proximal colon; MC, middle colon; DC, distal colon; F, feces.