cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Blind-date Conversation Joining
Creators: name: Cesari, Luca
name: Pugliese, Rosario
name: Tiezzi, Francesco
Publisher: name: arXiv
Year: 2013
Subjects: subject: Software Engineering (cs.SE)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: We focus on a form of joining conversations among multiple parties in service-oriented applications where a client may asynchronously join an existing conversation without need to know in advance any information about it. More specifically, we show how the correlation mechanism provided by orchestration languages enables a form of conversation joining that is completely transparent to clients and that we call 'blind-date joining'. We provide an implementation of this strategy by using the standard orchestration language WS-BPEL. We then present its formal semantics by resorting to COWS, a process calculus specifically designed for modelling service-oriented applications. We illustrate our approach by means of a simple, but realistic, case study from the online games domain.
description: In Proceedings WWV 2013, arXiv:1308.0268
The spectrum of low spin mesons at finite temperature in holographic noncommutative QCD
Creators: name: Nakajima, Tadahito
name: Ohtake, Yukiko
name: Suzuki, Kenji
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We have constructed a noncommutative deformation of the holographic QCD (Sakai-Sugimoto) model and evaluated the mass spectrum of low spin vector mesons at finite temperature. The masses of light vector- and pseudovector-meson in the noncommutative holographic QCD model reduces over the whole area in the intermediate-temperature regime compared to the commutative case. However, the space noncommutativity does not change the properties of temperature dependence for the mass spectrum of low spin mesons. The masses of meson also decrease with increasing temperature in noncommutative case.
description: 16 pages, 5 figures. arXiv admin note: substantial text overlap with arXiv:1011.2906
RNA seq data
Creators: name: contreras-riquelme, sebastian
Publisher: name: figshare
Year: 2023
Subjects: Neurosciences not elsewhere classified

description: a compressed file that includes: - RNAseq_HTseq_output_table: counts for each RNA sample - DE_genes_4_weeks: differentially expressed genes at 4 weeks - DE_genes_6_weeks: differentially expressed genes at 6 weeks - DE_2_factors: DESeq output when contrasting two factors
Robust Recursive State Estimation with Random Measurements Droppings
Creators: name: Zhou, Tong
Publisher: name: arXiv
Year: 2014
Subjects: subject: Systems and Control (eess.SY)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: A recursive state estimation procedure is derived for a linear time varying system with both parametric uncertainties and stochastic measurement droppings. This estimator has a similar form as that of the Kalman filter with intermittent observations, but its parameters should be adjusted when a plant output measurement arrives. A new recursive form is derived for the pseudo-covariance matrix of estimation errors, which plays important roles in analyzing its asymptotic properties. Based on a Riemannian metric for positive definite matrices, some necessary and sufficient conditions have been obtained for the strict contractiveness of an iteration of this recursion. It has also been proved that under some controllability and observability conditions, as well as some weak requirements on measurement arrival probability, the gain matrix of this recursive robust state estimator converges in probability one to a stationary distribution. Numerical simulation results show that estimation accuracy of the suggested procedure is more robust against parametric modelling errors than the Kalman filter.
description: 36 pages, 2 figures
Sozialpädagogik an lehrplangebundenen Tagessonderschulen
Creators: name: Albisetti, Renzo
name: Meier, Lena
Publisher: name: Zenodo
Year: 2018

description: Die vorliegende Forschungsarbeit von Renzo Albisetti und Lena Meier zeigt auf, wie die Aufgaben und Methoden der Sozialpädagogik an lehrplangebundenen Tagessonderschulen am Beispiel der Schule momo im Kanton Zürich von den Professionellen der Sozialpädagogik selbst sowie ihrem pädagogischen Arbeitsumfeld interpretiert werden. Als theoretische Grundlage wird die Sozialpädagogik über die Disziplinen Soziale Arbeit und Erziehungswissenschaft hergeleitet und von den Berufsfeldern Sozialarbeit, Soziokulturelle Animation sowie Heilpädagogik und Pädagogik abgegrenzt. Zu Vergleichsmöglichkeiten werden die verwandten Arbeitsfelder Schulsozialarbeit und schul- und familienergänzende Begleitung kurz umrissen und definiert. Auf der Grundlage theoretischer Erkenntnisse werden in einer qualitativen Forschung sowohl die Professionellen der Sozialpädagogik sowie das pädagogische Arbeitsumfeld mit Hilfe eines Interviewleitfadens in vier Fokusgruppen befragt. Die aus den Gruppendiskussionen gewonnenen Inhalte werden anhand einer qualitativen Inhaltsanalyse ausgewertet. Die Diskussion der Ergebnisse zeigt, dass durch die noch ungenaue Definition von Sozialpädagogik an Tagessonderschulen die Interpretationen von Aufgaben und Methoden vielfältig sind und sich Erwartungshaltungen entsprechend unterscheiden. Die Auswertung der Forschungsergebnisse ergibt jedoch eine erste mögliche Definition der Sozialpädagogik. In der Schlussfolgerung wird zum einen ausgeführt, dass zu Beginn einer Beschulung an einer Tagessonderschule, der Schwerpunkt bei sozialpädagogischen Inhalten liegen sollte und zum anderen wird auf die Notwendigkeit der Transparenz und Begründbarkeit der Sozialpädagogik eingegangen.
description: + Code Diss LU: hslusa basp 2018 + Fussnote: Bachelorarbeit, Hochschule Luzern - Soziale Arbeit, Ausbildungsgang Soziokultur, 2018
A Survey on Trust Metrics for Autonomous Robotic Systems
Creators: name: DiLuoffo, Vincenzo
name: Michalson, William R.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Robotics (cs.RO)
subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: This paper surveys the area of Trust Metrics related to security for autonomous robotic systems. As the robotics industry undergoes a transformation from programmed, task oriented, systems to Artificial Intelligence-enabled learning, these autonomous systems become vulnerable to several security risks, making a security assessment of these systems of critical importance. Therefore, our focus is on a holistic approach for assessing system trust which requires incorporating system, hardware, software, cognitive robustness, and supplier level trust metrics into a unified model of trust. We set out to determine if there were already trust metrics that defined such a holistic system approach. While there are extensive writings related to various aspects of robotic systems such as, risk management, safety, security assurance and so on, each source only covered subsets of an overall system and did not consistently incorporate the relevant costs in their metrics. This paper attempts to put this prior work into perspective, and to show how it might be extended to develop useful system-level trust metrics for evaluating complex robotic (and other) systems.
Deterministic CNOT gate and entanglement swapping for photonic qubits using a quantum-dot spin in a double-sided optical microcavity
Creators: name: Wang, Hong-Fu
name: Zhu, Ai-Dong
name: Zhang, Shou
name: Yeon, Kyu-Hwang
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We propose a deterministic and scalable scheme to construct a two-qubit controlled-NOT (CNOT) gate and realize entanglement swapping between photonic qubits using a quantum-dot (QD) spin in a double-sided optical microcavity. The scheme is based on spin selective photon reflection from the cavity and can be achieved in a nondestructive and heralded way. We assess the feasibility of the scheme and show that the scheme can work in both the weak coupling and the strong coupling regimes. The scheme opens promising perspectives for long-distance photonic quantum communication and distributed quantum information processing.
description: 18 pages, 5 figures; to appear in Physics Letters A
Local Type Checking for Linked Data Consumers
Creators: name: Ciobanu, Gabriel
name: Horne, Ross
name: Sassone, Vladimiro
Publisher: name: arXiv
Year: 2013
Subjects: subject: Programming Languages (cs.PL)
subject: Databases (cs.DB)
subject: FOS: Computer and information sciences
subject: D.3.3

description: The Web of Linked Data is the cumulation of over a decade of work by the Web standards community in their effort to make data more Web-like. We provide an introduction to the Web of Linked Data from the perspective of a Web developer that would like to build an application using Linked Data. We identify a weakness in the development stack as being a lack of domain specific scripting languages for designing background processes that consume Linked Data. To address this weakness, we design a scripting language with a simple but appropriate type system. In our proposed architecture some data is consumed from sources outside of the control of the system and some data is held locally. Stronger type assumptions can be made about the local data than external data, hence our type system mixes static and dynamic typing. Throughout, we relate our work to the W3C recommendations that drive Linked Data, so our syntax is accessible to Web developers.
description: In Proceedings WWV 2013, arXiv:1308.0268
10 Ways To make fieldwork more inclusive and accessible: a guide for educators
Creators: name: Yorke, Lynda
name: Hutchinson, Simon M.
name: Hurrell, Elizabeth
Publisher: name: National Teaching Repository
Year: 2024
Subjects: classificationCode: 370999
subject: Physical geography and environmental geoscience not elsewhere classified

description: A 10 point guide to help educators think about and design better, inclusive and accessible fieldwork in geography, geosciences, environmental sciences, and beyond.
Life after eruption - III. Orbital periods of the old novae V365 Car, AR Cir, V972 Oph, HS Pup, V909 Sgr, V373 Sct and CN Vel
Creators: name: Tappert, C.
name: Schmidtobreick, L.
name: Vogt, N.
name: Ederoclite, A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We present time-series photometric and spectroscopic data for seven old novae. They are used to derive the orbital period for the systems V365 Car (5.35 h), AR Cir (5.14 h), V972 Oph (6.75 h), HS Pup (6.41 h), V373 Sct (3.69 h), V909 Sgr (3.43 h) and CN Vel (5.29 h). Their addition increases the number of orbital periods for novae by ~10 per cent. The eclipsing nature of V909 Sgr is confirmed, and in three other cases (V365 Car, Ar Cir and V373 Sct) we detect significant photometric orbital variability with amplitudes >=0.2 mag in R. The resulting period distribution is briefly discussed. We furthermore provide new measurements for the previously ambiguous coordinates for AR Cir and CN Vel and the identification of a new probable W UMa variable in the field of V909 Sgr. The spectrum of V972 Oph presents an emission feature redward of Halpha which we tentatively identify with the CII 6578/6583 doublet. It is shown that this line originates in the binary and not in a shell, and to our knowledge this is the first time that it has been detected in such quality in a cataclysmic variable (CV). We argue that this line could be more common in CVs, but that it can be easily masked by the broad Halpha emission that is typical for these systems. A closer inspection of the line profiles of the other novae indeed reveals an extended red wing in V365 Car, CN Vel and AR Cir. In the latter system additionally an absorption counterpart blueward of Halpha is detected and thus in this case a bipolar outflow appears as a more likely scenario rather than CII emission.
description: 14 pages, 15 figures, MNRAS, accepted
D4.1 User feedback report on the functional design of the federation
Creators: name: Backeberg, Björn
name: Donchyts, Gennadii
name: Mészáros, Lőrinc
name: Langemeijer, Jaap
name: Sperna Weiland, Frederiek
name: Buitink, Joost
name: Milenković, Milutin
name: Schramm, Matthias
name: Raml, Bernhard
Publisher: name: Zenodo
Year: 2022
Subjects: EOSC
Copernicus
Earth Observation
Federation
Co-design
Use cases

description: At the C-SCALE project’s inception, six use cases were identified. Their objective was to deploy applications on the C-SCALE federated infrastructure and provide feedback on their experiences working with the providers in co-designing the C-SCALE federation. This report provides information about the use case dependencies and who implemented these. Additionally, the use cases provide feedback about speed of access to resources and data, the ease of use of the resources, the appropriateness of the technology used to implement the use case, the resultant usability of the application running on the federated infrastructure, the missing functionality/resources, the effectiveness of support from the providers and the overall satisfaction of the service/resource. Additionally, all use cases make improvement suggestions which in summary are centred around simplifying and harmonising resources provisioning and access, improving documentation and providing examples and training and finding mechanisms to ensure that data and tooling are readily available for users so that users can focus on science. In general, the feedback from the use cases is positive. Users recognise the value of developing customised solutions in collaboration with the federation providers and appreciate the flexibility of the resources being provided.
Additional file 1 of The role of cortisol in ischemic heart disease, ischemic stroke, type 2 diabetes, and cardiovascular disease risk factors: a bi-directional Mendelian randomization study
Creators: name: Kwok, Man Ki
name: Kawachi, Ichiro
name: Rehkopf, David
name: Schooling, Catherine Mary
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics

description: Additional file 1: Table S1. Single nucleotide polymorphisms (SNPs) considerably (P-value
Game theory on the blockchain: a model for games with smart contracts
Creators: name: Hall-Andersen, Mathias
name: Schwartzbach, Nikolaj I.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Computer and information sciences

description: We propose a model for games in which the players have shared access to a blockchain that allows them to deploy smart contracts to act on their behalf. This changes fundamental game-theoretic assumptions about rationality since a contract can commit a player to act irrationally in specific subgames, making credible otherwise non-credible threats. This is further complicated by considering the interaction between multiple contracts which can reason about each other. This changes the nature of the game in a nontrivial way as choosing which contract to play can itself be considered a move in the game. Our model generalizes known notions of equilibria, with a single contract being equivalent to a Stackelberg equilibrium, and two contracts being equivalent to a reverse Stackelberg equilibrium. We prove a number of bounds on the complexity of computing SPE in such games with smart contracts. We show that computing an SPE is $\textsf{PSPACE}$-hard in the general case. Specifically, in games with $k$ contracts, we show that computing an SPE is $Σ_k^\textsf{P}$-hard for games of imperfect information. We show that computing an SPE remains $\textsf{PSPACE}$-hard in games of perfect information if we allow for an unbounded number of contracts. We give an algorithm for computing an SPE in two-contract games of perfect information that runs in time $O(m\ell)$ where $m$ is the size of the game tree and $\ell$ is the number of terminal nodes. Finally, we conjecture the problem to be $\textsf{NP}$-complete for three contracts.
D4.1 User feedback report on the functional design of the federation (Under EC Review)
Creators: name: Backeberg, Björn
name: Donchyts, Gennadii
name: Mészáros, Lőrinc
name: Langemeijer, Jaap
name: Sperna Weiland, Frederiek
name: Buitink, Joost
name: Milenković, Milutin
name: Schramm, Matthias
name: Raml, Bernhard
Publisher: name: Zenodo
Year: 2022
Subjects: EOSC
Copernicus
Earth Observation
Federation
Co-design
Use cases

description: At the C-SCALE project’s inception, six use cases were identified. Their objective was to deploy applications on the C-SCALE federated infrastructure and provide feedback on their experiences working with the providers in co-designing the C-SCALE federation. This report provides information about the use case dependencies and who implemented these. Additionally, the use cases provide feedback about speed of access to resources and data, the ease of use of the resources, the appropriateness of the technology used to implement the use case, the resultant usability of the application running on the federated infrastructure, the missing functionality/resources, the effectiveness of support from the providers and the overall satisfaction of the service/resource. Additionally, all use cases make improvement suggestions which in summary are centred around simplifying and harmonising resources provisioning and access, improving documentation and providing examples and training and finding mechanisms to ensure that data and tooling are readily available for users so that users can focus on science. In general, the feedback from the use cases is positive. Users recognise the value of developing customised solutions in collaboration with the federation providers and appreciate the flexibility of the resources being provided.
Elements of $μ$-calculus and thermodynamics of $μ$-Bose gas model
Creators: name: Rebesh, A. P.
name: Kachurik, I. I.
name: Gavrilik, A. M.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Quantum Physics (quant-ph)
subject: Quantum Gases (cond-mat.quant-gas)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: We review on and give some further details about the thermodynamical properties of the μ-Bose gas model (arXiv:1309.1363) introduced by us recently. This model was elaborated in connection with μ-deformed oscillators. Here, we present the necessary concepts and tools from the so-called μ-calculus. For the high temperatures, we obtain the virial expansion of the equation of state, as well as five virial coefficients. In the regime of low temperatures, the critical temperature of condensation is inferred. We also obtain the specific heat, internal energy, and entropy for a μ-Bose gas for both low and high temperatures. All thermodynamical functions depend on the deformation parameter μ. The dependences of the entropy and the specific heat on the deformation parameter are visualized.
description: 10 pages, 2-column UJP style, contrib. to Proc. of Internat. Conf. "Quantum Groups and Guantum Integrable systems" (June 18-21, 2013, Kiev, Ukraine)
Data Departure Checklist
Creators: name: Goben, Abigail
name: Briney, Kristin A.
Publisher: name: California Institute of Technology
Year: 2023

description: The Data Departure Checklist (DDC) helps research teams and individuals plan for when a team member is leaving a project, lab, team, or institution. By providing a series of prompts for the departing personnel (DP) and a project administrator (PA) to review and check off, use of the DDC encourages successful planning for transition and will, ideally, prevent data loss or misunderstandings about data ownership and use or future reuse. The DDC can also be used in the event of an unexpected departure of a team member in order to transfer documents prior to the DP’s ID expiration and machines being wiped, and to prompt others to confirm that access to data storage and all relevant physical or digital locations has been removed. This document is intended to facilitate conversations between the DP and the primary investigator and/or the institution in order to provide customizable standardized guidance to facilitate transitions. It should serve only as a supplement to any legal or contractual obligations between the individual and the institution.
Conducting boron sheets formed by the reconstruction of the α-boron (111) surface
Creators: name: Amsler, Maximilian
name: Botti, Silvana
name: Marques, Miguel A. L.
name: Goedecker, Stefan
Publisher: name: arXiv
Year: 2013
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Systematic ab initio structure prediction was applied for the first time to predict low energy surface reconstructions by employing the minima hopping method on the α-boron (111) surface. Novel reconstruction geometries were identified and carefully characterized in terms of structural and electronic properties. Our calculations predict the formation of a planar, mono-layer sheet at the surface, which is responsible for conductive surface states. Furthermore, the isolated boron sheet is shown to be the ground state 2D-structure in vacuum at a hole density of η=1/5 and is therefore a potential candidate as a precursor for boron nano-structures.
Payment Schemes from Limited Information with Applications in Distributed Computing
Creators: name: Schwartzbach, Nikolaj I.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Computer and information sciences

description: We propose a generic mechanism for incentivizing behavior in an arbitrary finite game using payments. Doing so is trivial if the mechanism is allowed to observe all actions taken in the game, as this allows it to simply punish those agents who deviate from the intended strategy. Instead, we consider an abstraction where the mechanism probabilistically infers information about what happened in the game. We show that payment schemes can be used to implement any set of utilities if and only if the mechanism can essentially infer completely what happened. We show that finding an optimal payment scheme for games of perfect information is \textsf{P}-complete, and conjecture it to be \textsf{PPAD}-hard for games of imperfect information. We prove a lower bound on the size of the payments, showing that the payments must be linear in the intended level of security. We demonstrate the applicability of our model to concrete problems in distributed computing, namely decentralized commerce and secure multiparty computation, for which the payments match the lower bound asymptotically.
Additional file 1 of Application of Bacillus thuringiensis strains with conjugal and mobilizing capability drives gene transmissibility within Bacillus cereus group populations in confined habitats
Creators: name: Hu, Xiaomin
name: Doudou Huang
name: Ogalo, Joseph
name: Peiling Geng
name: Zhiming Yuan
name: Hairong Xiong
name: Xiaofu Wan
name: Jiahui Sun
Publisher: name: figshare
Year: 2020
Subjects: subject: Space Science
subject: Microbiology
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Evolutionary Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: 60506 Virology

description: Additional file 1: Table S1. Detailed characteristics of 291 B. cereus group isolates sequenced for MLST analysis.
D3.3 End user documentation for batch processing system
Creators: name: Erdem, Hande
name: Dries, Jeroen
Publisher: name: Zenodo
Year: 2022
Subjects: C-SCALE
EOSC
Copernicus
Earth Observation
Compute
Federation
Batch
Processing
openEO

description: This document aims to provide information to the end users on the C-SCALE Batch Processing system, which is deployed and running on the C-SCALE Compute Federation.
Policy brief: How Living Labs and Research Infrastructures can support the Agroecology Transition in Europe – Key messages of the final conference
Creators: name: Fehér, Judit
name: McKhann, Heather
name: Schwarz, Gerald
name: Moeskops, Bram
name: Haller, Lisa
Publisher: name: Zenodo
Year: 2023

description: We urgently need resilient and sustainable agri-food systems. The ALL-Ready and AE4EU (Agroecology for Europe, the sister CSA project of ALL-Ready) projects have taken the initial steps towards facilitating this essential transition. The increasing prominence of Agroecology on the political agenda is an important step in achieving the Green Deal and in particular the Farm to Fork and Biodiversity strategies. The adoption of open innovation methodologies, such as living labs, which encourage co-creation in real-life settings with the active participation of all relevant stakeholders, is key to achieving long term impact.
D3.3 End user documentation for batch processing system (Under EC Review)
Creators: name: Erdem, Hande
name: Dries, Jeroen
Publisher: name: Zenodo
Year: 2022
Subjects: C-SCALE
EOSC
Copernicus
Earth Observation
Compute
Federation
Batch
Processing
openEO

description: This document aims to provide information to the end users on the C-SCALE Batch Processing system, which is deployed and running on the C-SCALE Compute Federation.
Amending Choreographies
Creators: name: Lanese, Ivan
name: Montesi, Fabrizio
name: Zavattaro, Gianluigi
Publisher: name: arXiv
Year: 2013
Subjects: subject: Programming Languages (cs.PL)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.1.3; D.3.3; F.3.2

description: Choreographies are global descriptions of system behaviors, from which the local behavior of each endpoint entity can be obtained automatically through projection. To guarantee that its projection is correct, i.e. it has the same behaviors of the original choreography, a choreography usually has to respect some coherency conditions. This restricts the set of choreographies that can be projected. In this paper, we present a transformation for amending choreographies that do not respect common syntactic conditions for projection correctness. Specifically, our transformation automatically reduces the amount of concurrency, and it infers and adds hidden communications that make the resulting choreography respect the desired conditions, while preserving its behavior.
description: In Proceedings WWV 2013, arXiv:1308.0268
3D gravity with propagating torsion: Hamiltonian structure of the scalar sector
Creators: name: Blagojevic, M.
name: Cvetkovic, B.
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We study the Hamiltonian structure of the general parity-invariant model of three-dimensional gravity with propagating torsion, with eight parameters in the Lagrangian. In the scalar sector, containing scalar or pseudoscalar modes with respect to maximally symmetric background, the phenomenon of constraint bifurcation is observed and analyzed. The stability of the Hamiltonian structure under linearization is used to identify dynamically acceptable values of parameters.
description: LaTeX, 26 pages
D1.2 Data Management Plan V1
Creators: name: Chatzikyriakou, Charis
name: Šustr, Zdeněk
name: Fernández, Enol
name: Backeberg, Björn
name: Testa, Eleonora
Publisher: name: Zenodo
Year: 2022
Subjects: C-SCALE
EOSC
Copernicus
Earth Observation
Data
Management
Plan

description: This document provides a report on the data types that are collected and generated per Work Package (WP), whether they will be shared with the public and how, whether they can be reused and how, and how they will be preserved during and after the end of the project. In this first version, the Data Management Plan is created based on the knowledge that the project members have so far, while a second – full – version will follow in the second half of the project.
Asymptotic Behavior of the Pseudo-Covariance Matrix of a Robust State Estimator with Intermittent Measurements
Creators: name: Zhou, Tong
Publisher: name: arXiv
Year: 2014
Subjects: subject: Systems and Control (eess.SY)
subject: Information Theory (cs.IT)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: Ergodic properties and asymptotic stationarity are investigated in this paper for the pseudo-covariance matrix (PCM) of a recursive state estimator which is robust against parametric uncertainties and is based on plant output measurements that may be randomly dropped. When the measurement dropping process is described by a Markov chain and the modified plant is both controllable and observable, it is proved that if the dropping probability is less than 1, this PCM converges to a stationary distribution that is independent of its initial values. A convergence rate is also provided. In addition, it has also been made clear that when the initial value of the PCM is set to the stabilizing solution of the algebraic Riccati equation related to the robust state estimator without measurement dropping, this PCM converges to an ergodic process. Based on these results, two approximations are derived for the probability distribution function of the stationary PCM, as well as a bound of approximation errors. A numerical example is provided to illustrate the obtained theoretical results.
description: 33 pages, 3 figures, 3 tables
Additional file 3 of The role of cortisol in ischemic heart disease, ischemic stroke, type 2 diabetes, and cardiovascular disease risk factors: a bi-directional Mendelian randomization study
Creators: name: Kwok, Man Ki
name: Kawachi, Ichiro
name: Rehkopf, David
name: Schooling, Catherine Mary
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics

description: Additional file 3: Table S1. Single nucleotide polymorphisms (SNPs) considerably (P-value
D1.2 Data Management Plan V1 (Under EC Review)
Creators: name: Chatzikyriakou, Charis
name: Šustr, Zdeněk
name: Fernández, Enol
name: Backeberg, Björn
name: Testa, Eleonora
Publisher: name: Zenodo
Year: 2022
Subjects: C-SCALE
EOSC
Copernicus
Earth Observation
Data
Management
Plan

description: This document provides a report on the data types that are collected and generated per Work Package (WP), whether they will be shared with the public and how, whether they can be reused and how, and how they will be preserved during and after the end of the project. In this first version, the Data Management Plan is created based on the knowledge that the project members have so far, while a second – full – version will follow in the second half of the project.
D5.3 Initial collection of training material
Creators: name: Chatzikyriakou, Charis
name: Testa, Eleonora
name: Luna-Valero, Sebastian
name: Backeberg, Björn
Publisher: name: Zenodo
Year: 2021
Subjects: C-SCALE
EOSC
Copernicus
Earth Observation
Training
Plan

description: The document outlines the initial training plan that will be delivered during the project and will provide a first set of training contents about the C-SCALE services. It discusses the target audiences, creates the structure of the training plan with an initial outline of training material and gives information on how the access to the material will be organised.
D5.3 Initial collection of training material (under EC Review)
Creators: name: Chatzikyriakou, Charis
name: Testa, Eleonora
name: Luna-Valero, Sebastian
name: Backeberg, Björn
Publisher: name: Zenodo
Year: 2021
Subjects: C-SCALE
EOSC
Copernicus
Earth Observation
Training
Plan

description: The document outlines the initial training plan that will be delivered during the project and will provide a first set of training contents about the C-SCALE services. It discusses the target audiences, creates the structure of the training plan with an initial outline of training material and gives information on how the access to the material will be organised.
The effects of the aging of X-rayed male germ cells upon the frequency of sex-linked lethals in Drosophila melanogaster
Creators: name: Harris, Benjamin Bee
Publisher: name: The University of Texas at Austin
Year: 1929
Subjects: subject: X-rays
subject: Gene mutations
subject: Chromosome abnormalities
subject: X-ray effects
subject: X-ray physiological effects
subject: Aging germ cells
subject: Sex-linked lethal changes
subject: Drosophila melanogaster
subject: X-ray mutagenesis
subject: X-rays--Physiological effect
subject: X-ray mutagenesis
subject: Germ cells--Aging
subject: Mutation (Biology)
subject: Chromosome abnormalities
subject: Drosophila melanogaster

description: Among the problems brought forth by Muller's discovery (1926-'27) of the production of gene-mutations and chromosome abnormalities by X-rays, was the question of the relative genetic effectiveness of the rays when applied at different stages of the germ cell history, and the related question of the possible influence of aging the mature germ cells, upon the production or detection of these variations. Conclusive data regarding both these questions in so far as they concern sex-linked lethal changes in the germ cells of the adult male Drosophila, have been secured by the present author, in a series of experiments conducted during the past sixteen months in the genetics laboratory of the University of Texas
Quantum fluctuations, the Boson peak, and the glassy state of biomolecules
Creators: name: Lima, T. A.
name: Ishikawa, M. S.
name: Martinho, H. S.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: It has been recognized in the literature that some physical properties of hydrated biomolecules, e.g., the occurrence of Boson peak, resembles of those of glassy state. In the present work is shown that quantum fluctuations play a fundamental role on describing the glassy state of biomolecules, specially at lower hydration levels. It is reported a remarkable linear dependence on the quantumness and the slope of the Boson peak frequency temperature dependence which would be used to classify de degree of quantum contributions to the glassy state by glasses in general. Finally, it is shown that the Boson peak two-bands spectral structure observed in some cases could be direct linked to the anisotropy of the material elastic properties.
description: Will be submitted to Phys. Rev. Lett
Proving Properties of Rich Internet Applications
Creators: name: Smith, James
Publisher: name: arXiv
Year: 2013
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We introduce application layer specifications, which allow us to reason about the state and transactions of rich Internet applications. We define variants of the state/event based logic UCTL* along with two example applications to demonstrate this approach, and then look at a distributed, rich Internet application, proving properties about the information it stores and disseminates. Our approach enables us to justify proofs about abstract properties that are preserved in the face of concurrent, networked inputs by proofs about concrete properties in an Internet setting. We conclude that our approach makes it possible to reason about the programs and protocols that comprise the Internet's application layer with reliability and generality.
description: In Proceedings WWV 2013, arXiv:1308.0268
Freiwilligenarbeit im Regionalfussball: Stärkung nachhaltiger Freiwilligenarbeit im Kontext gesellschaftlichen Wandels
Creators: name: Achermann, Fabian
name: Müller, Kilian
Publisher: name: Zenodo
Year: 2018

description: Die Bachelorarbeit schafft einen Überblick über die geleistete formelle Freiwilligenarbeit in Innerschweizer Fussballvereinen. In Anbetracht der zunehmenden Abnahme von freiwilligem Engagement in der Schweiz ist die personelle Zusammensetzung der vereinsstützenden Funktionen in Innerschweizer Fussballvereinen von zentralem Interesse. Dies wird anhand einer umfassenden quantitativen Forschung nach den Fokusthemen Geschlecht, Alter und Herkunft erhoben. Im qualitativen Forschungsteil werden ausgewählte Vereinspräsidenten zu Herausforderungen der Vereine in der Freiwilligenarbeit im Kontext des gesellschaftlichen Wandels befragt. Auf Grundlage einer differenzierten Literaturrecherche zur Freiwilligenarbeit in der Schweiz werden aus den Erkenntnissen der Forschung Schlussfolgerungen aus Sicht der Soziokulturellen Animation zur nachhaltigen Freiwilligenarbeit im Fussballverein erarbeitet. Diese Handlungsansätze betreffen einerseits vereinsinterne Strukturen und Haltungen, andererseits die Positionierung der Vereine als Akteure in einem lokalen sowie regionalen Kontext. Die vorliegende Arbeit dient primär den Vorständen von Innerschweizer Fussballclubs als praktische Handlungsorientierung ihrer vereinsinternen Freiwilligenmanagements. Für Professionelle der Soziokulturellen Animation erweist sich die Bachelorarbeit als hilfreich, um Herausforderungen und Potenziale hinsichtlich Freiwilligenarbeit unter Berücksichtigung bereits bestehender Zusammenarbeit mit Akteuren aus dem Sportbereich in gemeinsamen Prozessen anzugehen.
description: + Code Diss LU: hslusa bask 2018 + Fussnote: Bachelorarbeit, Hochschule Luzern - Soziale Arbeit, Ausbildungsgang Soziokultur, 2018
The G-Wishart Weighted Proposal Algorithm: Efficient Posterior Computation for Gaussian Graphical Models
Creators: name: Boom, Willem van den
name: Beskos, Alexandros
name: De Iorio, Maria
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computation (stat.CO)
subject: FOS: Computer and information sciences

description: Gaussian graphical models can capture complex dependency structures among variables. For such models, Bayesian inference is attractive as it provides principled ways to incorporate prior information and to quantify uncertainty through the posterior distribution. However, posterior computation under the conjugate G-Wishart prior distribution on the precision matrix is expensive for general non-decomposable graphs. We therefore propose a new Markov chain Monte Carlo (MCMC) method named the G-Wishart weighted proposal algorithm (WWA). WWA's distinctive features include delayed acceptance MCMC, Gibbs updates for the precision matrix and an informed proposal distribution on the graph space that enables embarrassingly parallel computations. Compared to existing approaches, WWA reduces the frequency of the relatively expensive sampling from the G-Wishart distribution. This results in faster MCMC convergence, improved MCMC mixing and reduced computing time. Numerical studies on simulated and real data show that WWA provides a more efficient tool for posterior inference than competing state-of-the-art MCMC algorithms.
description: 44 pages, 6 figures
Additional file 4 of The role of cortisol in ischemic heart disease, ischemic stroke, type 2 diabetes, and cardiovascular disease risk factors: a bi-directional Mendelian randomization study
Creators: name: Kwok, Man Ki
name: Kawachi, Ichiro
name: Rehkopf, David
name: Schooling, Catherine Mary
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics

description: Additional file 4: Table S1. Single nucleotide polymorphisms (SNPs) considerably (P-value
Additional file 2 of The role of cortisol in ischemic heart disease, ischemic stroke, type 2 diabetes, and cardiovascular disease risk factors: a bi-directional Mendelian randomization study
Creators: name: Kwok, Man Ki
name: Kawachi, Ichiro
name: Rehkopf, David
name: Schooling, Catherine Mary
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics

description: Additional file 2: Table S1. Single nucleotide polymorphisms (SNPs) considerably (P-value
Tychonoff-like Product Theorems for Local Topological Properties
Creators: name: Brandhorst, Simon
name: Erné, Marcel
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Topology (math.GN)
subject: FOS: Mathematics
subject: Primary: 54B10. Secondary: 06B35, 54D05, 54D30, 54D45

description: We consider classes T of topological spaces (referred to as T-spaces) that are stable under continuous images and frequently under arbitrary products. A local T-space has for each point a neighborhood base consisting of subsets that are T-spaces in the induced topology. A general necessary and sufficient criterion for a product of topological spaces to be a local T-space in terms of conditions on the factors enables one to establish a broad variety of theorems saying that a product of spaces has a certain local property (like local compactness, local sequential compactness, local σ-compactness, local connectedness etc.) if and only if each factor has that local property, almost all have the corresponding global property, and not too many factors fail a suitable additional condition. Many of the results admit a point-free formulation; a look at sum decompositions into components of spaces with local properties yields product decompositions into indecomposable factors for certain classes of frames like completely distributive lattices or hypercontinuous frames.
title: Dagstuhl Reports, Table of Contents, Volume 14, Issue 3, 2024
Creators: name: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Publisher: name: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Year: 2024
Subjects: subject: Table of Contents
subject: Frontmatter

description: Dagstuhl Reports, Table of Contents, Volume 14, Issue 3, 2024
description: DagRep, Volume 14, Issue 3, pages i-ii
Data-Driven Combined State and Parameter Reduction for Extreme-Scale Inverse Problems
Creators: name: Himpe, Christian
name: Ohlberger, Mario
Publisher: name: arXiv
Year: 2014
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics
subject: 62F15, 93A15

description: In this contribution we present an accelerated optimization-based approach for combined state and parameter reduction of a parametrized linear control system which is then used as a surrogate model in a Bayesian inverse setting. Following the basic ideas presented in [Lieberman, Willcox, Ghattas. Parameter and state model reduction for large-scale statistical inverse settings, SIAM J. Sci. Comput., 32(5):2523-2542, 2010], our approach is based on a generalized data-driven optimization functional in the construction process of the surrogate model and the usage of a trust-region-type solution strategy that results in an additional speed-up of the overall method. In principal, the model reduction procedure is based on the offline construction of appropriate low-dimensional state and parameter spaces and an online inversion step based on the resulting surrogate model that is obtained through projection of the underlying control system onto the reduced spaces. The generalization and enhancements presented in this work are shown to decrease overall computational time and increase accuracy of the reduced order model and thus allow an application to extreme-scale problems. Numerical experiments for a generic model and a fMRI connectivity model are presented in order to compare the computational efficiency of our improved method with the original approach.
description: Preprint
On tracial $\mathcal Z$-stability of simple non-unital C*-algebras
Creators: name: Castillejos, Jorge
name: Li, Kang
name: Szabo, Gabor
Publisher: name: arXiv
Year: 2021
Subjects: subject: Operator Algebras (math.OA)
subject: FOS: Mathematics
subject: 46L05, 46L35

description: We investigate the notion of tracial $\mathcal Z$-stability beyond unital C*-algebras, and we prove that this notion is equivalent to $\mathcal Z$-stability in the class of separable simple nuclear C*-algebras.
description: Canad. J. Math., to appear. Accepted version
DevOps Services and Solutions
Creators: name: DataArt
Publisher: name: Zenodo
Year: 2023
Subjects: DevOps

description: DevOps services and solutions https://www.dataart.com/services/devops refer to the practices, tools, and technologies that help organizations streamline their software development and delivery processes. DevOps (short for Development and Operations) is a set of collaborative practices that aim to bring together software development and IT operations teams to achieve faster, more reliable software releases. Here are some of the common DevOps services and solutions: Continuous Integration and Continuous Delivery (CI/CD) - CI/CD is a practice that involves continuously integrating code changes into a shared repository and then testing and deploying the changes automatically. Infrastructure as Code (IaC) - IaC is a practice of managing and provisioning infrastructure using code. This approach ensures that infrastructure is treated as code and can be versioned, tested, and deployed just like software. Configuration Management - Configuration management tools help automate the process of managing and deploying software configurations across different environments. Containerization - Containerization is a practice of packaging software in containers to ensure consistency and portability across different environments. Cloud Computing - Cloud computing services such as Amazon Web Services (AWS), Microsoft Azure, and Google Cloud Platform (GCP) provide on-demand computing resources to enable organizations to build and deploy applications more quickly. Monitoring and Logging - DevOps teams use monitoring and logging tools to track application performance and identify issues before they become critical. Collaboration and Communication Tools - DevOps teams rely on collaboration and communication tools such as Slack, Microsoft Teams, and Jira to work together efficiently and keep everyone informed about project progress. Overall, DevOps services and solutions aim to help organizations achieve faster, more reliable software delivery by automating processes, improving collaboration, and promoting continuous improvement.
MA'NAVIY TAHDIDLARGA QARSHI KURASH ASOSIDA TALABALAR IJTIMOIY FAOLLIGINI OSHIRISH METODIKASINI TAKOMILLASHTIRISH
Creators: name: Rahimova, Saida
Publisher: name: Zenodo
Year: 2024

description: Bugungi kunda axborot olamida ma’naviy tahdidlar xavfi tobora kuchaymoqda. Ushbu maqolada ma’naviy tahdid va unga qarshi kurash asosida talabalar ijtimoiy faolligini oshirish metodikasini takomillashtirish masalasi yoritib berilgan.