cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Revisiting toric SU(3) structures
Creators: name: Larfors, Magdalena
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Three-dimensional smooth compact toric varieties (SCTV) admit SU(3) structures, and may thus be relevant for string compactifications, if they have even first Chern class (c1). This condition can be fulfilled by infinitely many SCTVs, including CP3 and CP1 bundles over all two-dimensional SCTVs. We show that as long as c1 is even, toric SU(3) structures can be constructed using a method proposed in arXiv:1005.2194. We perform a systematic study of the parametric freedom of the resulting SU(3) structures, with a particular focus on the metric and the torsion classes. Although metric positivity constrains the SU(3) parameters, we find that every SCTV admits several toric SU(3) structures and that parametric choices can sometimes be made to match requirements of string vacua. We also provide a short review on the constraints that an SU(3) structure must meet to be relevant for four-dimensional, maximally symmetric N=1 or N=0 string vacua.
description: 32 pages, 1 figure; v2: minor modifications, references added
A systematic literature review on the code smells datasets and validation mechanisms
Creators: name: Zakeri-Nasrabadi, Morteza
name: Parsa, Saeed
name: Esmaili, Ehsan
name: Palomba, Fabio
Publisher: name: arXiv
Year: 2023
Subjects: subject: Software Engineering (cs.SE)
subject: Artificial Intelligence (cs.AI)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: The accuracy reported for code smell-detecting tools varies depending on the dataset used to evaluate the tools. Our survey of 45 existing datasets reveals that the adequacy of a dataset for detecting smells highly depends on relevant properties such as the size, severity level, project types, number of each type of smell, number of smells, and the ratio of smelly to non-smelly samples in the dataset. Most existing datasets support God Class, Long Method, and Feature Envy while six smells in Fowler and Beck's catalog are not supported by any datasets. We conclude that existing datasets suffer from imbalanced samples, lack of supporting severity level, and restriction to Java language.
description: 34 pages, 10 figures, 12 tables, Accepted
Assessing and enhancing migration of human myogenic progenitors using directed iPS cell differentiation and advanced tissue modelling
Creators: name: Choi, SungWoo
name: Ferrari, Giulia
name: Moyle, Louise A
name: Mackinlay, Kirsty
name: Naouar, Naira
name: Jalal, Salma
name: Benedetti, Sara
name: Wells, Christine
name: Muntoni, Francesco
name: Tedesco, Francesco Saverio
Publisher: name: The Francis Crick Institute
Year: 2022
Subjects: subject: Neurosciences
subject: FOS: Clinical medicine
subject: Human Biology & Physiology
subject: Microfabrication & Bioengineering
subject: Cell Biology
subject: Stem Cells

description: Muscle satellite stem cells (MuSCs) are responsible for skeletal muscle growth and regeneration. Despite their differentiation potential, human MuSCs have limited in vitro expansion and in vivo migration capacity, limiting their use in cell therapies for diseases affecting multiple skeletal muscles. Several protocols have been developed to derive MuSC-like progenitors from human induced pluripotent stem (iPS) cells (hiPSCs) to establish a source of myogenic cells with controllable proliferation and differentiation. However, current hiPSC myogenic derivatives also suffer from limitations of cell migration, ultimately delaying their clinical translation. Here we use a multi-disciplinary approach including bioinformatics and tissue engineering to show that DLL4 and PDGF-BB improve migration of hiPSC-derived myogenic progenitors. Transcriptomic analyses demonstrate that this property is conserved across species and multiple hiPSC lines, consistent with results from single cell motility profiling. Treated cells showed enhanced trans-endothelial migration in transwell assays. Finally, increased motility was detected in a novel humanised assay to study cell migration using 3D artificial muscles, harnessing advanced tissue modelling to move hiPSCs closer to future muscle gene and cell therapies.
KROME - a package to embed chemistry in astrophysical simulations
Creators: name: Grassi, T.
name: Bovino, S.
name: Schleicher, D. R. G.
name: Prieto, J.
name: Seifried, D.
name: Simoncini, E.
name: Gianturco, F. A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Chemistry plays a key role in many astrophysical situations regulating the cooling and the thermal properties of the gas, which are relevant during gravitational collapse, the evolution of disks and the fragmentation process. In order to simplify the usage of chemical networks in large numerical simulations, we present the chemistry package KROME, consisting of a Python pre-processor which generates a subroutine for the solution of chemical networks which can be embedded in any numerical code. For the solution of the rate equations, we make use of the high-order solver DLSODES, which was shown to be both accurate and efficient for sparse networks, which are typical in astrophysical applications. KROME also provides a large set of physical processes connected to chemistry, including photochemistry, cooling, heating, dust treatment, and reverse kinetics. The package presented here already contains a network for primordial chemistry, a small metal network appropriate for the modelling of low metallicities environments, a detailed network for the modelling of molecular clouds, a network for planetary atmospheres, as well as a framework for the modelling of the dust grain population. In this paper, we present an extended test suite ranging from one-zone and 1D-models to first applications including cosmological simulations with ENZO and RAMSES and 3D collapse simulations with the FLASH code. The package presented here is publicly available at http://kromepackage.org/ and https://bitbucket.org/krome/krome_stable
description: accepted for publication in MNRAS
ANAIS DA I MOSTRA NACIONAL DE PESQUISA & SAÚDE
Creators: name: Elenice De Fatima Souza Capelario
name: Da Silva, Francisco Ronner Andrade
name: Caetano, Bruno Rolim Félix
name: Zanoni, Rodrigo Daniel
name: Da Silveira, Rodrigo Euripedes
name: Ariadne Pereira Pedroza
name: Vieceli, Izabella Regina
name: Koblitz, Daiana Soavinsky
name: Oliviane Assis Ferrari Magro
name: Vieceli, Sandra Izabel
Publisher: name: Zenodo
Year: 2023
Subjects: SAÚDE
CIÊNCIA
SAÚDE PÚBLICA

description: A I MOSTRA NACIONAL DE PESQUISA & SAÚDE, realizada pelo
 Instituto Pesquisa & Ciência (CNPJ: 25.255.510/0001-30), procura a promoção
 da pesquisa científica, com base nas diversas áreas do conhecimento e com a
 presença multidisciplinar de pesquisadores, estudantes e profissionais, de modo
 a contribuir com a troca de experiências e aprendizado científico.
 Conteúdo, revisão gramatical, erros de linguagem, correção e
 confiabilidade dos estudos contidos nesse e-book, são de responsabilidade
 exclusiva dos autores, que não representam a posição oficial do Instituto
 Pesquisa & Ciência. O compartilhamento e download da obra é permitido, desde
 que os créditos aos autores sejam atribuídos.
 Feita por pares, a avaliação cega foi realizada pelos membros do Conselho
 Editorial, descritos nessa edição, todos os estudos foram avaliados e aprovados
 para publicação, seguindo critérios de neutralidade e imparcialidade.
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection
Creators: name: Elleuch, Maissa
name: Hasan, Osman
name: Tahar, Sofiène
name: Abid, Mohamed
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences

description: Wireless Sensor Networks (WSNs) have been widely explored for forest fire detection, which is considered a fatal threat throughout the world. Energy conservation of sensor nodes is one of the biggest challenges in this context and random scheduling is frequently applied to overcome that. The performance analysis of these random scheduling approaches is traditionally done by paper-and-pencil proof methods or simulation. These traditional techniques cannot ascertain 100% accuracy, and thus are not suitable for analyzing a safety-critical application like forest fire detection using WSNs. In this paper, we propose to overcome this limitation by applying formal probabilistic analysis using theorem proving to verify scheduling performance of a real-world WSN for forest fire detection using a k-set randomized algorithm as an energy saving mechanism. In particular, we formally verify the expected values of coverage intensity, the upper bound on the total number of disjoint subsets, for a given coverage intensity, and the lower bound on the total number of nodes.
description: In Proceedings SCSS 2012, arXiv:1307.8029
Полупроводници у настави и научном раду на Електротехничком факултету у Београду
Creators: name: Хрибшек, Марија
Publisher: name: Zenodo
Year: 2023

description: Предавање приказује изучавање полупроводника у настави електронике на Електротехничком факултету у Београду од самог почетка средином прошлог века. Наставници са Катедре за електронику су посебно дали значајан допринос нашој, а и светској науци у области импулсне електронике са биполарним транзисторима као и у области сложених силицијумских структура.
title: kritische berichte - Zeitschrift für Kunst- und Kulturwissenschaften, Bd. 50 Nr. 3 (2022): kritische berichte
title: kritische berichte
titleType: AlternativeTitle
Creators: name: Kritische Berichte-Zeitschrift Für Kunst- Und Kulturwissenschaften
Publisher: name: kritische berichte - Zeitschrift für Kunst- und Kulturwissenschaften
Year: 2022

description: Politische Ikonographie heute (vorerst nur Inhaltsverzeichnis)
description: Inhalt
Sequencing and navigation through learning content
Creators: name: Rakic, Gordana
name: Jerinic, Ljubomir
name: Budimac, Zoran
name: Ivanovic, Mirjana
Publisher: name: arXiv
Year: 2013
Subjects: subject: Computers and Society (cs.CY)
subject: FOS: Computer and information sciences

description: The aim of this paper is to describe a basic idea to introduce formal modeling in development and presentation of e-learning systems. By introducing formalism, reasoning on e-learning systems and processes through them can be more easily understood. In particular, we propose to use Harel automata (statecharts) in modeling sequencing and navigation through learning content and learning process.
description: conference paper
Possible violation of the optical theorem in LHC experiments
Creators: name: Kupczynski, Marian
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The optical theorem allowing the determination of the total cross section for a hadron-hadron scattering from the imaginary part of the forward elastic scattering amplitude is believed to be an unavoidable consequence of the conservation of probability and of the unitary S matrix. This is a fundamental theorem which contains not directly measurable imaginary part of the forward elastic scattering amplitude. The impossibility of scattering phenomena without the elastic channel is considered to be a part of the quantum magic. However if one takes seriously the idea that the hadrons are extended particles one may define a unitary S matrix such that one cannot prove the optical theorem. Moreover data violating the optical theorem do exist but they are not conclusive due to the uncertainties related to the extrapolation of the differential elastic cross-section to the forward direction. These results were published several years ago but they were forgotten. In this paper we will recall these results in an understandable way and we will give the additional arguments why the optical theorem can be violated in high energy strong interaction scattering and why it should be tested and not simply used as a tool in LHC experiments.
description: Shortened and improved, 10 pages, several typos corrected, invited talk at QTAP conference 2013 in Vaxjo Sweden to be published in Physica Scripta, not included sections of the first version, will be extended and published as a separate paper
Akodon aerosus Thomas 1913
Creators: name: Musser, Guy G.
name: Carleton, Michael D.
Publisher: name: Zenodo
Year: 1993
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Muridae
Akodon
Akodon aerosus

description: Akodon aerosus Thomas, 1913. Ann. Mag. Nat. Hist., ser. 8, 11:406. TYPE LOCALITY: Ecuador, Tungurahua Prov., upper Rio Pastaza, Mirador, 1500 m. DISTRIBUTION: SE Ecuador, E Peru, and NW Bolivia. SYNONYMS: baliolus. COMMENTS: Type species of Chalcomys, usually placed as a synonym of the subgenus Akodon (Cabrera, 1961; Reig, 1987). Formerly included as a subspecies of A. urichi by Cabrera (1961), but Gardner and Patton (1976), noting the pronounced difference in diploid number, listed the two as separate species. Probably more than one species yet masquerades under the name of A. aerosus (see Patton et al., 1990).
description: Published as part of Guy G. Musser & Michael D. Carleton, 1993, Order Rodentia - Family Muridae, pp. 501-755 in Mammal Species of the World (2 nd Edition), Washington and London :Smithsonian Institution Press on page 688, DOI: 10.5281/zenodo.7353098
description: {"references": ["Gardner, A. L., and J. L. Patton. 1976. Karyotypic variation in oryzomyine rodents (Cricetinae) with comments on chromosomal evolution in the Neotropical cricetine complex. Occasional Papers of the Museum of Zoology, Louisiana State University, 49: 1 - 48."]}
Baryon as dyonic instanton-II. Baryon mass versus chiral condensate
Creators: name: Gorsky, A.
name: Kopnin, P. N.
name: Krikun, A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We discuss the description of baryon as the dyonic instanton in holographic QCD. The solution generalizes the Skyrmion taking into account the infinite tower of vector and axial mesons as well as the chiral condensate. We construct the solution with unit baryon charge and study the dependence of its mass on the chiral condensate. The elegant explanation of the Ioffe's formula has been found and we speculate on the relation between physical scales of the chiral and conformal symmetry breaking.
description: 24 pages, 2 figures, 2 tables. v.2: references added
Role of platelet-derived growth factor-elastin like polypeptide in chronic wound healing
Creators: name: Chawla, Mehma Kaur
Publisher: name: No Publisher Supplied
Year: 2020

description: Chronic wounds are characterized as non-healing wounds due to poor angiogenesis, impaired vascularization, collagen formation, and dysfunctional fibroblasts and keratinocytes in the hypoxic wound environment. Recent studies have demonstrated the use of growth factors for enhanced wound healing due to their ability to promote proliferation and migration of cells, stimulate collagen synthesis and augment angiogenesis. Platelet-derived growth factor (PDGF) is one of the earliest growth factors to be identified and clinically used for the treatment of chronic wounds. However, their applications are limited because of the increased level of proteases in the hostile wound environment which degrades the growth factors, thus impeding their activity. Here, we have developed and characterized a recombinant fusion protein comprising PDGF and elastin-like polypeptide (ELP). The phase transitioning property of ELP allows rapid purification of the fusion protein using inverse temperature cycling (ITC). The fusion protein retained all characteristics of PDGF-A as evident from fibroblast and endothelial cell proliferation and migration, and endothelial formation of a tube network similar to native PDGF. The self-assembling property of ELP caused the formation of nanoparticles at physiological temperature, which acted as an optimal and stable delivery mechanism for the wound environment. We used 5 nM concentration of PDGF-ELP to show an increase in proliferation by ~2 fold, ~90% wound closure after 48 hours using cell-based scratch assays, and increased angiogenesis demonstrated by enhanced capillary-like tube network formation using a tube assay.
Reducing Large Adaptation Spaces in Self-Adaptive Systems Using Machine Learning
Creators: name: Quin, Federico
name: Weyns, Danny
name: Gheibi, Omid
Publisher: name: arXiv
Year: 2023
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Modern software systems often have to cope with uncertain operation conditions, such as changing workloads or fluctuating interference in a wireless network. To ensure that these systems meet their goals these uncertainties have to be mitigated. One approach to realize this is self-adaptation that equips a system with a feedback loop. The feedback loop implements four core functions -- monitor, analyze, plan, and execute -- that share knowledge in the form of runtime models. For systems with a large number of adaptation options, i.e., large adaptation spaces, deciding which option to select for adaptation may be time consuming or even infeasible within the available time window to make an adaptation decision. This is particularly the case when rigorous analysis techniques are used to select adaptation options, such as formal verification at runtime, which is widely adopted. One technique to deal with the analysis of a large number of adaptation options is reducing the adaptation space using machine learning. State of the art has showed the effectiveness of this technique, yet, a systematic solution that is able to handle different types of goals is lacking. In this paper, we present ML2ASR+, short for Machine Learning to Adaptation Space Reduction Plus. Central to ML2ASR+ is a configurable machine learning pipeline that supports effective analysis of large adaptation spaces for threshold, optimization, and setpoint goals. We evaluate ML2ASR+ for two applications with different sizes of adaptation spaces: an Internet-of-Things application and a service-based system. The results demonstrate that ML2ASR+ can be applied to deal with different types of goals and is able to reduce the adaptation space and hence the time to make adaptation decisions with over 90%, with negligible effect on the realization of the adaptation goals.
A New PVSS Scheme with a Simple Encryption Function
Creators: name: Shil, Assia Ben
name: Blibech, Kaouther
name: Robbana, Riadh
name: Neji, Wafa
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: A Publicly Verifiable Secret Sharing (PVSS) scheme allows anyone to verify the validity of the shares computed and distributed by a dealer. The idea of PVSS was introduced by Stadler in [18] where he presented a PVSS scheme based on Discrete Logarithm. Later, several PVSS schemes were proposed. In [2], Behnad and Eghlidos present an interesting PVSS scheme with explicit membership and disputation processes. In this paper, we present a new PVSS having the advantage of being simpler while offering the same features.
description: In Proceedings SCSS 2012, arXiv:1307.8029. This PVSS scheme was proposed to be used to provide a distributed Timestamping scheme
Accretion in supergiant High Mass X-ray Binaries
Creators: name: Manousakis, A.
name: Walter, R.
name: Blondin, J.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Supergiant High Mass X-ray Binary systems (sgHMXBs) consist of a massive, late type, star and a neutron star. The massive stars exhibits strong, radiatively driven, stellar winds. Wind accretion onto compact object triggers X-ray emission, which alters the stellar wind significantly. Hydrodynamic simulation has been used to study the neutron star - stellar wind interaction it two sgHMXBs: i) A heavily obscured sgHMXB (IGR J17252-3616) discovered by INTEGRAL. To account for observable quantities (i.e., absorbing column density) we have to assume a very slow wind terminal velocity of about 500 km/s and a rather massive neutron star. If confirmed in other obscured systems, this could provide a completely new stellar wind diagnostics. ii) A classical sgHMXB (Vela X-1) has been studied in depth to understand the origin of the off-states observed in this system. Among many models used to account for this observed behavior (clumpy wind, gating mechanism) we propose that self-organized criticality of the accretion stream is the likely reason for the observed behavior. In conclusion, the neutron star, in these two examples, acts very efficiently as a probe to study stellar winds.
description: to appear in the Proceedings of "Physics at the Magnetospheric Boundary", Geneve, 25-28 June 2013
Magnetic conveyor belt transport of ultracold atoms to a superconducting atomchip
Creators: name: Minniberger, Stefan
name: Diorico, Fritz
name: Haslinger, Stefan
name: Hufnagel, Christoph
name: Novotny, Christian
name: Lippok, Nils
name: Majer, Johannes
name: Koller, Christian
name: Schneider, Stephan
name: Schmiedmayer, Jörg
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: We report the realization of a robust magnetic transport scheme to bring 3x10^8 ultracold 87Rb atoms into a cryostat. The sequence starts with standard laser cooling and trapping of 87Rb atoms, transporting first horizontally and then vertically through the radiation shields into a cryostat by a series of normal- and superconducting magnetic coils. Loading the atoms in a superconducting microtrap paves the way for studying the interaction of ultracold atoms with superconducting surfaces and quantum devices requiring cryogenic temperatures.
description: 4 pages, 4 figures
Probing $ttγ$ and $ttZ$ couplings at the LHeC
Creators: name: Bouzas, Antonio O.
name: Larios, F.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We study the deep inelastic scattering and photo-production modes of $t\overline{t}$ pairs at the proposed LHeC and its potential to probe the electromagnetic and weak dipole moments (MDM and EDM for $ttγ$) of the top quark. A framework of eight independent gauge-invariant dimension-six operators involving the top quark and the electroweak gauge bosons is used. Four of these operators modify the charged $tbW$ coupling which can be probed through the single (anti) top production mode as reported in the literature. One generates $ttγ(Z)$ as well as $tbW$ couplings, while the other two do not generate $tbW$ but only $ttγ(Z)$. Our focus is on the MDM and EDM of the top quark for which the photo-production mode of $t\overline{t}$ can be an excellent probe. At the proposed electron energies of $E_e =60$ and $140$ GeV the LHeC could set constraints stronger than the indirect limits from $b\to s γ$ and the potential limits of the LHC through $t\overline{t} γ$ production.
description: A numerical error has been corrected, which affected photo-production cross sections but not ratios thereof. Final results and conclusions essentially unchanged, besides minor numerical changes. Final version published in PRD. RevTex, 28 pp, 8 eps figs
Studio per la dimostrazione di possibile remissione della Tiroidite di Hashimoto mediante modifica del regime alimentare: IPOTESI di EZIOPATOGENESI XENOSIALICA
Creators: name: Carnevali, Fiorella
Publisher: name: Zenodo
Year: 2021
Subjects: xenosializzazione, tiroidite di Hashimoto, acido Acetil-Neuraminico, anticorpi antitireglobulina, anticorpi antiperossidasi

description: lo studio si basa sulla ipotesi medica che mira a dimostrare la correlazione tra specifici comportamenti del paziente (alimentazione, assunzione di farmaci, stile di vita) e l'insorgenza/incidenza di malattie autoimmuni, tra cui la Tiroidite di Hashimoto. L’ipotesi identifica l’assunzione di alcuni alimenti considerati “negativi” (successivamente specificati come xenosialici) come causa scatenante della reazione autoimmune del sistema immunitario: ipotesi di EZIOPATOGENESI XENOSIALICA. A tale scopo si prevede uno studio clinico su pazienti affetti da Tiroidite di Hashimoto, documentata attraverso indagini sierologiche dei livelli anticorpali Antiperossidasi e Antitireoglobulina effettuate prima e dopo la modifica del regime alimentare, emendato degli alimenti considerati “xenosialici”, per un periodo di almeno quattro mesi. L’obiettivo è verificare la diminuzione, fino all’azzeramento, degli anticorpi circolanti per effetto del mutato regime dietetico. L’ipotesi nulla prevede che i titoli sierici degli anticorpi autoimmuni non subiscano variazioni rilevanti con l’eliminazione dalla dieta degli alimenti xenosialici
description: Xenosialitis
An Architecture for Deploying Reinforcement Learning in Industrial Environments
Creators: name: Schäfer, Georg
name: Kozlica, Reuf
name: Wegenkittl, Stefan
name: Huber, Stefan
Publisher: name: arXiv
Year: 2023
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Systems and Control (eess.SY)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Industry 4.0 is driven by demands like shorter time-to-market, mass customization of products, and batch size one production. Reinforcement Learning (RL), a machine learning paradigm shown to possess a great potential in improving and surpassing human level performance in numerous complex tasks, allows coping with the mentioned demands. In this paper, we present an OPC UA based Operational Technology (OT)-aware RL architecture, which extends the standard RL setting, combining it with the setting of digital twins. Moreover, we define an OPC UA information model allowing for a generalized plug-and-play like approach for exchanging the RL agent used. In conclusion, we demonstrate and evaluate the architecture, by creating a proof of concept. By means of solving a toy example, we show that this architecture can be used to determine the optimal policy using a real control system.
description: This preprint has not undergone peer review or any post-submission improvements or corrections. The Version of Record of this contribution is published in Computer Aided Systems Theory - EUROCAST 2022 and is available online at https://doi.org/10.1007/978-3-031-25312-6_67
Compiling symbolic attacks to protocol implementation tests
Creators: name: Ghabri, Hatem
name: Maatoug, Ghazi
name: Rusinowitch, Michael
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cryptography and Security (cs.CR)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Recently efficient model-checking tools have been developed to find flaws in security protocols specifications. These flaws can be interpreted as potential attacks scenarios but the feasability of these scenarios need to be confirmed at the implementation level. However, bridging the gap between an abstract attack scenario derived from a specification and a penetration test on real implementations of a protocol is still an open issue. This work investigates an architecture for automatically generating abstract attacks and converting them to concrete tests on protocol implementations. In particular we aim to improve previously proposed blackbox testing methods in order to discover automatically new attacks and vulnerabilities. As a proof of concept we have experimented our proposed architecture to detect a renegotiation vulnerability on some implementations of SSL/TLS, a protocol widely used for securing electronic transactions.
description: In Proceedings SCSS 2012, arXiv:1307.8029
iGEM Freiburg 2022 raw data experiments
Creators: name: IGEM Freiburg
Publisher: name: Zenodo
Year: 2022

description: igem competition deliverable: These raw data were created within the framework of the igem 2022 competition by the team Freiburg. Here you can find data about our experiments described in our lab book as well as simulations and other results. Wide-field microscopy data we had to omit due to size but will be linked differently on our wiki. They would have exceeded the limit. The same applies to the simulation data, which has been shortened here. igem Freiburg 2022 https://2022.igem.wiki/freiburg/index.html
description: This dataset contains raw data of the 2022 iGEM competition team Freiburg
ΜΟΧΕ: «Πίκο ντέλα Μιράντολα, Τζοβάνι», τόμ. 12, σ. 276.
Creators: name: Vasileiadis, Pavlos D.
Publisher: name: Zenodo
Year: 2014
Subjects: Πίκο ντέλα Μιράντολα, Τζοβάνι
Παύλος Βασιλειάδης
Pavlos Vasileiadis
Ιωάννης Πίκος, Άρχων Μιρανδούλης

description: English title: “Giovanni Pico della Mirandola,” Encyclopedia ΜΟΧΕ vol. 12, p. 276.
Complementarity + Back-reaction is enough
Creators: name: Hui, Lam
name: Yang, I-Sheng
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We investigate a recent development of the black hole information problem, in which a practical paradox has been formulated to show that complementarity is insufficient. A crucial ingredient in this practical paradox is to distill information from the early Hawking radiation within the past lightcone of the black hole. By causality this action can back-react on the black hole. Taking this back-reaction into account, the paradox could be resolved without invoking any new physics beyond complementarity. This resolution requires a certain constraint on the S-matrix to be satisfied. Further insights into the S-matrix could potentially be obtained by effective-field-theory computations of the back-reaction on the nice slice.
description: v2, 21 pages, 4 figures
Factorization of Constants Involved in Conjectural Moments of Zeta-functions
Creators: name: Jam, Germain
Publisher: name: Zenodo
Year: 2008

description: We give the factorization of certain constants that appear in (conjectural) formulas for moments of zeta-functions, making it obvious that these constants are integers (which was already proved by Conrey and Farmer). We extend this analysis to other constants emerging from the randommatrix theory calculations of Keating and Snaith.
Differently Shaped Hard Body Colloids in Confinement: From passive to active particles
Creators: name: Wensink, Henricus H.
name: Löwen, Hartmut
name: Marechal, Matthieu
name: Härtel, Andreas
name: Wittkowski, Raphael
name: Zimmermann, Urs
name: Kaiser, Andreas
name: Menzel, Andreas M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We review recent progress in the theoretical description of anisotropic hard colloidal particles. The shapes considered range from rods and dumbbells to rounded cubes, polyhedra and to biaxial particles with arbitrary shape. Our focus is on both static and dynamical density functional theory and on computer simulations. We describe recent results for the structure, dynamics and phase behaviour in the bulk and in various confining geometries, e.g. established by two parallel walls which reduce the dimensionality of the system to two dimensions. We also include recent theoretical modelling for active particles, which are autonomously driven by some intrinsic motor, and highlight their fascinating nonequilibrium dynamics and collective behaviour.
description: 15 pages, 6 figures, EPJ ST (accepted)
Akodon affinis
Creators: name: Musser, Guy G.
name: Carleton, Michael D.
Publisher: name: Zenodo
Year: 1993
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Muridae
Akodon
Akodon affinis

description: Akodon affinis (J. A. Allen, 1912). Bull. Am. Mus. Nat. Hist., 31:89. TYPE LOCALITY: Colombia, Valle del Cauca Dept., San Antonio, near Cali, 8000 ft. DISTRIBUTION: Cordillera Occidental of W Colombia. SYNONYMS: tolimae. COMMENTS: Subgenus Akodon. Tentatively affiliated with Microxus by Gyldenstolpe (1932) but Cabrera (1961) placed it with Akodon proper.
description: Published as part of Guy G. Musser & Michael D. Carleton, 1993, Order Rodentia - Family Muridae, pp. 501-755 in Mammal Species of the World (2 nd Edition), Washington and London :Smithsonian Institution Press on page 688, DOI: 10.5281/zenodo.7353098
description: {"references": ["Gyldenstolpe, N. 1932. A manual of Neotropical sigmodont rodents. Kungliga Svenska Vetenskapsakademiens Handlingar, Tredje Serien, 11: 1 - 164."]}
Cluster decorated functional DNA origami based biosensor: Towards Safe Nano-innovations
Creators: name: Argarate, Nerea
name: Wolf, Clemens
name: Resch, Susanne
name: Scheper, Johanna
name: Falk, Andreas
Publisher: name: Zenodo
Year: 2022
Subjects: SSbD
biosensors
DNA origami
Safe-by-Design
Sustainable-by-Design

description: The poster, presented at BMT2022 in Innsbruck, Austria, gives an overview of the Safe-by-Design and Sustainability-by-Design actions taken within the EU H2020-funded project DeDNAed. The project aims to develop a sensitive, versatile and ultrafast cutting-edge bioanalytical platform by assembling and integrating sensing elements using DNA origami. DeDNAed will foster a safer nano-enabled biosensor considering the Safe-by-Design approach and sustainability aspects. Several nanocomponents are in the development stage such as atomic nanocluster-decorated aptamers and antibodies as well as DNA origami and gold NPs. Unique and novel properties and materials attributes need to be checked for unanticipated hazard or exposure behaviours. DeDNAed will define a preliminary hazard/risk assessment and control plans for the DNA origami biosensor nanocomponents.
Corporate Transparency, Sustainable Development and SDG 2 and 12 in Agriculture: The Case of Ukraine
Creators: name: Makarenko, Inna
name: Plastun, Alex
name: Kozmenko, Serhiy
name: Kozmenko, Olga
name: Rudychenko, Artem
name: Makarenko, Inna
name: Plastun, Alex
name: Kozmenko, Serhiy
name: Kozmenko, Olga
name: Rudychenko, Artem
Publisher: name: Unknown
Year: 2022
Subjects: subject: Agricultural and Food Policy
subject: International Development
subject: sustainable development goals
subject: transparency
subject: sustainability reporting
subject: Sustainability Transparency Index
subject: agricultural management
subject: resilient agricultural practices

description: This paper explored sustainability transparency and SDGs 2 and 12 disclosure and its influence on their overall efficiency, using data from Ukrainian agricultural companies. To do this Sustainability Transparency Index (STI) methodology is developed and used. The following hypothesis is tested: the higher the STI score is, the better position of the company is among its peers. For these purposes, STI index is calculated for the top100 Ukrainian agriculture companies. Correlation analysis, Granger causality tests and regression analysis provide evidences in favour of high dependence of position in top100 from the STI score: the more efforts companies invest into Sustainability Transparency, the higher the position in ranking is. This is direct evidence that companies’ sustainability transparency is an important element of its activity nowadays. Recommendations to improve sustainability transparency based on suitable reporting practices are provided in this paper.
Enhancing HEVC Compression: A Novel Algorithm for Swift and Efficient Intra Prediction
Creators: name: Hiremath, Mrutyunjaya
name: M N, Praphul
name: H S, Dr. Aravinda
Publisher: name: figshare
Year: 2023
Subjects: classificationCode: 400999
subject: Electronics, sensors and digital hardware not elsewhere classified

description: High-Efficiency Video Coding (HEVC) represents the cutting-edge in video compression standards for high-resolution visual data. The prowess of HEVC lies in its utilization of prediction, capitalizing on signal redundancies to attain optimal compression efficiency. A key feature, the Intra-Picture prediction block, anticipates a block within the present frame by referencing information from adjacent blocks within that same frame. Nonetheless, this innovation introduces a significant surge in encoding complexity. Addressing this surge and reducing the computational demands of the coder becomes imperative. The present research introduces an innovative algorithm targeting mode decisions grounded on intra prediction. This algorithm assesses the texture intricacy of the coding unit and establishes an optimal threshold, enabling swift coding unit size selection. Subsequently, an enhanced search procedure minimizes the candidate modes of prediction. Culminating this approach, early termination gets implemented for rate-distortion optimized quantization (RDOQ) within Intra prediction. Findings indicate that the novel algorithm facilitates a reduction of approximately 40.9% in encoding duration.
Formal verification of a proof procedure for the description logic ALC
Creators: name: Chaabani, Mohamed
name: Mezghiche, Mohamed
name: Strecker, Martin
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.4; F.3.1

description: Description Logics (DLs) are a family of languages used for the representation and reasoning on the knowledge of an application domain, in a structured and formal manner. In order to achieve this objective, several provers, such as RACER and FaCT++, have been implemented, but these provers themselves have not been yet certified. In order to ensure the soundness of derivations in these DLs, it is necessary to formally verify the deductions applied by these reasoners. Formal methods offer powerful tools for the specification and verification of proof procedures, among them there are methods for proving properties such as soundness, completeness and termination of a proof procedure. In this paper, we present the definition of a proof procedure for the Description Logic ALC, based on a semantic tableau method. We ensure validity of our prover by proving its soundness, completeness and termination properties using Isabelle proof assistant. The proof proceeds in two phases, first by establishing these properties on an abstract level, and then by instantiating them for an implementation based on lists.
description: In Proceedings SCSS 2012, arXiv:1307.8029
How can Educational Psychologists improve their practice of working systemically in Early Years settings? Evidence from Action Research in one Local Authority Nursery in the Southeast of England
Creators: name: Simmonds, Samantha
Publisher: name: University of East London
Year: 2022
Subjects: Educational Psychology
Systemic working
Early Years
Action Research
Toolbox
Contracting
Guiding principles

description: Aims and Background: This action research study aimed to improve my practice of working systemically with an Early Years setting. Two integrative literature reviews highlighted a lack of research in this area, alongside a desire for Educational Psychologists to work at a systemic level in the Early Years, giving a rational for this research. Method and Data analysis: The study took an exploratory design and an action research framework to investigate How can I improve my practice of working systemically with an EY setting over an academic term. In this research, the data collected was qualitative, as I received feedback from participants, I analysed it and modified my practice. Consequently, data collection and analysis were discussed simultaneously. The essence of my data set is made up of my research diary, observations, audio recordings of a meeting and focus group with the EY staff and questionnaires to evaluate each systemic piece of work. Much of the data was analysed using a broadly ethnographic approach and some of the data from cycle three was also analysed using qualitative content analysis. Results and Discussion: By working systemically with an EY setting I improved my practice in this area and created a toolbox of approaches that a Trainee Educational Psychologist or an EP new to systemic working could use when working systemically with an EY setting. This toolbox included: consultation skills, attuned interactions, participation, contracting and guiding principles. One limitation of this research was that I did not have sufficient contact time with the Early Years staff to explore with them ‘how’ I worked systemically and as such I had to determine this from my own interpretations of the data. Thus, I would recommend this, as an area for further research.
WIMP Dark Matter and Neutrino Mass from Peccei-Quinn Symmetry
Creators: name: Dasgupta, Basudeb
name: Ma, Ernest
name: Tsumura, Koji
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The Peccei-Quinn anomalous global U(1)_{PQ} symmetry is important not only for solving the strong CP problem with a cosmologically relevant axion, but it may also be the origin of a residual Z_2 symmetry. This new symmetry may be responsible for a second component of dark matter composed of an absolutely stable Weakly Interacting Massive Particle, as well as for generating radiative neutrino mass. Two specific realizations of this idea are proposed. In these scenarios, dark matter detection is guaranteed at existing direct detection experiments or axion searches. Observable signals at the Large Hadron Collider are discussed.
description: 5 pages, with 3 figures and 2 tables, v2: Comments on U(1) breaking to Z_2, references added
NNLOPS simulation of Higgs boson production
Creators: name: Hamilton, Keith
name: Nason, Paolo
name: Re, Emanuele
name: Zanderighi, Giulia
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: We detail a simulation of Higgs boson production via gluon fusion, accurate at next-to-next-to-leading order in the strong coupling, including matching to a parton shower, yielding a fully exclusive, hadron-level description of the final-state. The approach relies on the POWHEG method for merging the NLO Higgs plus jet cross-section with the parton shower, and on the MINLO method to simultaneously achieve NLO accuracy for inclusive Higgs boson production. The NNLO accuracy is reached by a reweighting procedure making use of the HNNLO program.
description: 25 pages, 10 figures. Very minor clarifications in the text for v2
Insensitivity of Ion Motional Heating Rate to Trap Material over a Large Temperature Range
Creators: name: Chiaverini, J.
name: Sage, J. M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: We present measurements of trapped-ion motional-state heating rates in niobium and gold surface-electrode ion traps over a range of trap-electrode temperatures from approximately 4 K to room temperature (295 K) in a single apparatus. Using the sideband-ratio technique after resolved-sideband cooling of single ions to the motional ground state, we find low-temperature heating rates more than two orders of magnitude below the room-temperature values and approximately equal to the lowest measured heating rates in similarly-sized cryogenic traps. We find similar behavior in the two very different electrode materials, suggesting that the anomalous heating process is dominated by non-material-specific surface contaminants. Through precise control of the temperature of cryopumping surfaces, we also identify conditions under which elastic collisions with the background gas can lead to an apparent steady heating rate, despite rare collisions.
description: v1: 6 pages, 3 figures; v2: 7 pages, 3 figures, analysis of temperature dependence and calculation of effects of collisions expanded and improved, minor errors corrected in discussions of Johnson noise and collisions and in appendix B
Balancing Patient Care and Paperwork
Creators: name: Stertz, Florian
name: Mangler, Juergen
name: Rinderle-Ma, Stefanie
Publisher: name: Enterprise Modelling and Information Systems Architectures (EMISAJ)
Year: 2020

description: Effort and quality of care documentation are among the most pressing challenges in the nursing domain due to demographic development and compliance demands. Hence approaches for decreasing the effort of documentation while increasing its quality are required. This work introduces the idea of automatic task completion and documentation which is achieved through a process-aware solution where physical objects utilized during care tasks are equipped with NFC tags. Nine use cases from the care domain are identified with domain experts and implemented through a proof-of-concept prototype. The time reduction of employing this technology is assessed by domain experts within the typical routines in a nursing home. The interviews indicate an average decrease in documentation time per shift of more than 60%. Inherently also documentation quality is increased as automatic documentation prevents forgetting to document certain steps or other errors. On top, this work fosters two ways for comprehensive documentation, i.e., log-based documentation for analysis and monitoring tasks and paper-based documentation as typically expected by nurses. The logs are automatically created and stored by the underlying process engine. It is shown how paper-based documentation can be automatically created based on process logs. Overall, this work provides the basis for automatic, comprehensive, and continuous documentation of care tasks based on NFC technology.
description: Enterprise Modelling and Information Systems Architectures (EMISAJ), Vol. 15 (2020)
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation
Creators: name: Lounas, Razika
name: Mezghiche, Mohamed
name: Lanet, Jean-Louis
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Program transformation has gained a wide interest since it is used for several purposes: altering semantics of a program, adding features to a program or performing optimizations. In this paper we focus on program transformations at the bytecode level. Because these transformations may introduce errors, our goal is to provide a formal way to verify the update and establish its correctness. The formal framework presented includes a definition of a formal semantics of updates which is the base of a static verification and a scheme based on Hoare triples and weakest precondition calculus to reason about behavioral aspects in bytecode transformation
description: In Proceedings SCSS 2012, arXiv:1307.8029