cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
A Review of the System-Intrinsic Nonequilibrium Thermodynamics in Extended Space (MNEQT) with Applications
Creators: name: Gujrati, P. D.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: The review deals with a novel approach (MNEQT) to nonequilibrium thermodynamics (NEQT) that is based on the concept of internal equilibrium (IEQ) in an enlarged state space involving internal variables as additional state variables. The IEQ-macrostates are unique in the enlarged state space and have no memory just as EQ macrostates are in the EQ state space. The approach provides a clear strategy to identify the internal variables for any model through several examples. The MNEQT deals directly with system-intrinsic quantities, which are very useful as they fully describe irreversibility. Because of this, MNEQT solves a long-standing problem in NEQT of identifying a unique global temperature T of a system, thus fulfilling Planck's dream of a global temperature for any system, even if it is not uniform such as when it is driven between two heat baths; T has the conventional interpretation of satisfying the Clausius statement that the exchange macroheat flows from hot to cold, and other sensible criteria expected of a temperature. The concept of the generalized macroheat dQ converts the Clausius inequality into the Clausius equality dS=dQ/T, which also covers macrostates with memory, and follows from the extensivity property. The equality also holds for a NEQ isolated system. The novel approach is extremely useful as it also works when no internal state variables are used to study nonunique macrostates in the EQ state space at the expense of explicit time dependence in the entropy that gives rise to memory effects. To show the usefulness of the novel approach, we give several examples such as irreversible Carnot cycle, friction and Brownian motion, the free expansion, etc.
description: A comprehensive review of a newly developed MNEQT with 42 pages and 6 figures. The review is to appear in the Special Issue "Review Papers on Entropy" in Entroipy Reviews, a section of Entropy
Local Authorities and the Cost of Living Emergency
Creators: name: Dr Kitt Colliver
name: Prof John Hudson
name: Prof Neil Lunt
Publisher: name: Zenodo
Year: 2023

description: Local authorities in the United Kingdom have suffered a decade of successive challenges, including austerity policies following the Global Financial Crisis, the COVID-19 pandemic, and now an unprecedented rise in the cost of living. This project focuses on the impact of the cost of living crisis on local authorities in order to understand local variations in support, with a secondary focus on what we can learn about the capacity of local authorities to respond to ongoing crises after a long period of budgetary constraint. We draw on evidence from a survey of over 700 local councillors (December 2022 – January 2023) and a structured documentary review of 45 local authorities’ cost of living policies (November 2022 – January 2023). Findings to date demonstrate areas of policy innovation as some local authorities create new services or adapt existing ones to support people with the rising costs. However, current outlooks are bleak as only one in five councillors believed key public services have enough resources to cope; four in five fear children in low income families are at risk of destitution; and nearly three-quarters said their local authority would not be well equipped to respond to another shock in the future.
Data Management and Sustainability Plan
Creators: name: Tola, Elisabetta
name: Marín-González, Esther
Publisher: name: Zenodo
Year: 2021
Subjects: Data Management Plan
ENJOI
Open data
FAIR

description: ENJOI project participates in the Open Research Data Pilot of the European Commission, which aims at promoting and enabling free and open access, reuse, repurpose and redistribution of research data generated by Horizon 2020 projects. Following the requirements, ENJOI adheres to the Pilot by developing this Data Management and Sustainability Plan, depositing its data in a research data repository (ZENODO), and ensuring that third parties can freely access the research data. The purpose of the current DMSP is to provide a description of the main elements of the data management policy adopted by the Consortium with regard to the personal and research data generated and collected during the project development.
description: ENJOI WP1. Coordination and Project Management
Diagnosis of the editorial quality of Angolan scientific journals for their consolidation and strengthening
Creators: name: United Nations Educational, Scientific and Cultural Organization
name: Ministério Do Ensino Superior, Ciência
name: Redalyc-Universidad Autónoma Del Estado De México
name: AmeliCA
name: Universidade Óscar Ribas
Publisher: name: Zenodo
Year: 2022
Subjects: Open Access
Angola
Africa
editorial quality
scientific journals
editorial strengthening

description: Work derived from the collaborative project among Redalyc UAEM, AmeliCA, MESCTI and U. Óscar Ribas funded by UNESCO for the development of an Open Access strategy in Angola. Vol. 6 of 38
description: {"references": ["Aguado-L\u00f3pez, E. (2021). De la esperanza al fracaso. La privatizaci\u00f3n del Open Access a veinte a\u00f1os de las tres B. En A. Becerril Garc\u00eda, & S. C\u00f3rdoba Gonz\u00e1lez, Conocimiento abierto 40 en Am\u00e9rica Latina. Trayectorias y desaf\u00edos (p\u00e1gs. 37-78). Universidad Aut\u00f3noma del Estado de M\u00e9xico, CLACSO.", "Sistema de Informaci\u00f3n Cient\u00edfica Redalyc. (2021 de Noviembre de 2021). Indexaci\u00f3n de revistas. Criterios de evaluaci\u00f3n del \u00cdndice de Revistas Consolidadas Redalyc. Retrieved from: https://www.redalyc.org/postulacion.oa?q=criterios"]}
Gesangbücher aus der Geschichte der SELK
Creators: name: Junker, Johannes
Publisher: name: Lutherische Beiträge
Year: 2024

description: Teil 5 der Reihe Gesangbücher aus der Geschichte der Selbständigen Evangelisch-Lutherischen Kirche (SELK) befasst sich mit dem Kirchen-Gesangbuch für Evangelisch-Lutherische Gemeinden ungeänderter Augsburgischer Confession, dem ersten deutschsprachigen Gesangbuch der Missouri-Synode in St.Louis, Nordamerika, 1847. Die Aufnahme des Gesangbuches in  der Evangelisch-lutherischen Freikirche in Sachsen und anderen Staaten Deutschlands und die nachfolgenden Gesangbücher, das Zwickauer Gesangbuch und das Lutherische Kirchengesangbuch (LKG), werden dargestellt.  
description: Lutherische Beiträge, Bd. 27 Nr. 4 (2022): Lutherische Beiträge
Additional file 11 of Circular RNA circHERC4 as a novel oncogenic driver to promote tumor metastasis via the miR-556-5p/CTBP2/E-cadherin axis in colorectal cancer
Creators: name: He, Jiehua
name: Chu, Ziqiang
name: Lai, Wei
name: Lan, Qiusheng
name: Zeng, Yujie
name: Lu, Daning
name: Jin, Shaowen
name: Xu, Heyang
name: Su, Pengwei
name: Yin, Dong
name: Chu, Zhonghua
name: Liu, Lu
Publisher: name: figshare
Year: 2021
Subjects: subject: Biophysics
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer

description: Additional file 11: Figure S10. In our in vivo rescue experiment, immunostaining of CTBP2 expression was upregulated when circHERC4 was overexpressed and this effect could be rescued by CTBP2 siRNA and miR-556-5p mimic.
Phase separation in doped systems with spin-state transitions
Creators: name: Sboychakov, A. O.
name: Kugel, K. I.
name: Rakhmanov, A. L.
name: Khomskii, D. I.
Publisher: name: arXiv
Year: 2009
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Spin-state transitions, observed in many transition metal compounds containing Co$^{3+}$ and Fe$^{2+}$, may occur with the change of temperature, pressure, but also with doping, in which case the competition of single-site effects and kinetic energy of doped carriers can favor a change in the spin state. We consider this situation in a simple model, formally resembling that used for manganites in Phys. Rev. Lett. 95, 267210 (2005). Based on such a model, we predict the possibility of a jump-like change in the number of Co$^{3+}$ ions undergoing spin-state transition caused by hole doping. A tendency to the electronic phase separation within a wide doping range is demonstrated. Phase diagrams with the regions of phase separation are constructed at different values of the characteristic parameters of the model.
description: 9 pages, 5 figures, submitted to Phys. Rev. B
MoRe-Fi: Motion-robust and Fine-grained Respiration Monitoring via Deep-Learning UWB Radar
Creators: name: Zheng, Tianyue
name: Chen, Zhe
name: Zhang, Shujie
name: Cai, Chao
name: Luo, Jun
Publisher: name: arXiv
Year: 2021
Subjects: subject: Machine Learning (cs.LG)
subject: Signal Processing (eess.SP)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Crucial for healthcare and biomedical applications, respiration monitoring often employs wearable sensors in practice, causing inconvenience due to their direct contact with human bodies. Therefore, researchers have been constantly searching for contact-free alternatives. Nonetheless, existing contact-free designs mostly require human subjects to remain static, largely confining their adoptions in everyday environments where body movements are inevitable. Fortunately, radio-frequency (RF) enabled contact-free sensing, though suffering motion interference inseparable by conventional filtering, may offer a potential to distill respiratory waveform with the help of deep learning. To realize this potential, we introduce MoRe-Fi to conduct fine-grained respiration monitoring under body movements. MoRe-Fi leverages an IR-UWB radar to achieve contact-free sensing, and it fully exploits the complex radar signal for data augmentation. The core of MoRe-Fi is a novel variational encoder-decoder network; it aims to single out the respiratory waveforms that are modulated by body movements in a non-linear manner. Our experiments with 12 subjects and 66-hour data demonstrate that MoRe-Fi accurately recovers respiratory waveform despite the interference caused by body movements. We also discuss potential applications of MoRe-Fi for pulmonary disease diagnoses.
description: 14 pages
title: Flight to safety in macroeconomics: role of cyclical risk aversion
Creators: name: Yadav, Jayant
Publisher: name: University of Glasgow
Year: 2021
Subjects: subject: Flight to Safety, Optimal policy, Asymmetry, Non-linear optimisation, Structural VAR, Time-varying risk aversion, Business cycles, Sign restricitons.

description: The thesis contains three main chapters that investigate the Flight to Safety phenomenon and its impact on the macroeconomy from an empirical and theoretical perspective. In doing so, it advocates for a more significant role of investors’ time-varying, state-varying and cyclical risk aversion in macroeconomic models and policy analysis. The first chapter establishes that Flight to Safety, a sudden and short term asset market phenomenon is worth the attention, as the identified Flight to Safety shocks have long-run adverse impact on US business cycles. The investigation then takes the direction to theoretically formalize the role of Flight to Safety in micro-founded DSGE models. The second chapter establishes that similar to the asymmetric impact of flight of capital (to safety or risk) on asset markets, the optimal policy for investors with cyclical risk-aversion should also be asymmetric in costly recessions. The third chapter brings the analysis back to Flight to Safety by demonstrating it as an optimal response in costly recessions when risk-averse investors have a low risk-bearing capacity. The thesis makes multiple contributions of which the three major ones are as follows. Firstly, its central conviction is to identify the role of Flight to Safety as the critical driver of business cycle fluctuations. By means of structural VAR model, it shows that Flight to Safety shocks predate any regress in total factor productivity by several years, and account for more than 50% of fluctuations in macroeconomic variables at business cycle frequency. The finding that FTS can generate a long and sustained decline in investment-related macroeconomic variables asks several questions from the established tenets of business cycle dynamics. It proposes an alternative view that shocks to investors’ risk aversion lead to booms and busts in business cycles. Secondly, the thesis shows that precautionary savings behaviour matters, and it changes non-linearly in the amount of information and control agents have over their future consumption. Therefore, optimal discretionary policy needs to actively and asymmetrically manage this precautionary behaviour. A policymaker without an ability to observe the output gap can also replicate the optimal strategy by restoring the equity premium to its steady-state level. Lastly, the thesis demonstrates that households near the upper or lower ends of their risk-bearing capacity demonstrate sudden changes in their risk allocation that echo with the ‘risk on’ and ‘risk off’ phenomena. It also challenges the standing approach in literature to consider Flight to Safety phenomenon only as an aberrant reaction to some form of market externalities, constraints or uncertainty and thereby overlooking it for monetary policy.
Polyominoes with nearly convex columns: A model with semidirected blocks
Creators: name: Feretic, Svjetlan
Publisher: name: arXiv
Year: 2009
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05B50, 05A15

description: In most of today's exactly solved classes of polyominoes, either all members are convex (in some way), or all members are directed, or both. If the class is neither convex nor directed, the exact solution uses to be elusive. This paper is focused on polyominoes with hexagonal cells. Concretely, we deal with polyominoes whose columns can have either one or two connected components. Those polyominoes (unlike the well-explored column-convex polyominoes) cannot be exactly enumerated by any of the now existing methods. It is therefore appropriate to introduce additional restrictions, thus obtaining solvable subclasses. In our recent paper, published in this same journal, the restrictions just mentioned were semidirectedness and an upper bound on the size of the gap within a column. In this paper, the semidirectedness requirement is made looser. The result is that now the exactly solved subclasses are larger and have greater growth constants. These new polyomino families also have the advantage of being invariant under the reflection about the vertical axis.
description: 25 pages, 14 figures, 2 tables
Wer war Friedrich Wilhelm Hopf?
Creators: name: Keller, Rudolf
Publisher: name: Lutherische Beiträge
Year: 2024

description: Leben und Wirken des lutherischen Theologen Friedrich Wilhelm Hopf, 31.05.1910 - 19.07.1982
description: Lutherische Beiträge, Bd. 27 Nr. 4 (2022): Lutherische Beiträge
Additional file 12 of Circular RNA circHERC4 as a novel oncogenic driver to promote tumor metastasis via the miR-556-5p/CTBP2/E-cadherin axis in colorectal cancer
Creators: name: He, Jiehua
name: Chu, Ziqiang
name: Lai, Wei
name: Lan, Qiusheng
name: Zeng, Yujie
name: Lu, Daning
name: Jin, Shaowen
name: Xu, Heyang
name: Su, Pengwei
name: Yin, Dong
name: Chu, Zhonghua
name: Liu, Lu
Publisher: name: figshare
Year: 2021
Subjects: subject: Biophysics
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer

description: Additional file 12: Figure S11. Immunostaining of E-ca expression in xenografts tumor tissues in our rescue experiment. E-ca expression level was upregulated in “circHERC4 OE” group and was rescued by CTBP2 siRNA and miR-556-5p mimic.
Adiaphora
Creators: name: Hillermann, Johann
Publisher: name: Lutherische Beiträge
Year: 2024

description: Die Frage nach den Mitteldingen (= Adiaphora) ist in den Bekenntnisschriften der evangelisch-lutherischen Kirche aufgegeben. Auf der Grundlage der Entscheidungen der Reformationszeit wird der Frage nachgegangen: Wie halten wir es - besonders in der Zeit der Corona-Krise mit ihren staatlichen Einschränkungen - mit Praxis und Gestaltung des Altarsakramentes?
description: Lutherische Beiträge, Bd. 27 Nr. 4 (2022): Lutherische Beiträge
Charge-odd correlation of lepton and pion pair production in electron-proton scattering
Creators: name: Ahmadov, A. I.
name: Bystritskiy, Yu. M.
name: Kuraev, E. A.
name: Ilyichev, A. N.
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Charge-odd correlation of the charged pair components produced at electron-proton scattering can measure three current correlation averaged by proton state. In general these type correlation can be described by 14 structure functions. We restrict here by consideration of inclusive distributions of a pair components, which is the light-cone projection of the relevant hadronic tensor. Besides we consider the point-like approximation for proton and pion. Numerical estimations show that charge-odd effects can be measured in exclusive ep -> 2 pi X experiments.
description: 10 pages, 4 figures
An Exploratory Study on Perceptual Spaces of the Singing Voice
Creators: name: O'Connor, Brendan
name: Dixon, Simon
name: Fazekas, George
Publisher: name: arXiv
Year: 2021
Subjects: subject: Sound (cs.SD)
subject: Audio and Speech Processing (eess.AS)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Sixty participants provided dissimilarity ratings between various singing techniques. Multidimensional scaling, class averaging and clustering techniques were used to analyse timbral spaces and how they change between different singers, genders and registers. Clustering analysis showed that ground-truth similarity and silhouette scores that were not significantly different between gender or register conditions, while similarity scores were positively correlated with participants' instrumental abilities and task comprehension. Participant feedback showed how a revised study design might mitigate noise in our data, leading to more detailed statistical results. Timbre maps and class distance analysis showed us which singing techniques remained similar to one another across gender and register conditions. This research provides insight into how the timbre space of singing changes under different conditions, highlights the subjectivity of perception between participants, and provides generalised timbre maps for regularisation in machine learning.
description: In Proceedings of the 2020 Joint Conference on AI Music Creativity (CSMC-MuMe 2020), Stockholm, Sweden, October 15-19, 2020
"Segnung für alle?"
Creators: name: Deines, Roland
Publisher: name: Lutherische Beiträge
Year: 2024

description: Mit der Einführung der sogenannten "Ehe für alle" stellt sich für die Kirche die Frage, welche Konsequenzen ein verändertes Eheverständnis mit sich bringt. Verschieden Standpunkte werden diskutiert und ein Votum ausgesprochen dafür, bei gleichgeschlechtlichen Paaren keine kirchliche Trauung zu vollziehen.
description: Lutherische Beiträge, Bd. 27 Nr. 4 (2022): Lutherische Beiträge
Remote sensing could enable more evidence-based policy to monitor and manage tropical dryland forests
Creators: name: Ruusa-Magano David
Publisher: name: Zenodo
Year: 2021

description: This Policy Brief is an output from the N8 AgriFood Food Systems Policy Hub. It is one of a collection produced by participants on the Rapid Evidence Synthesis Training (REST) programme. REST was delivered through a collaboration between the University of Leeds, Newcastle University and the N8 AgriFood Programme, supported by Research England QR-SPF funds from the University of Leeds and the University of York.
Inadequate data hampers attempts to understand and tackle food insecurity in the UK
Creators: name: Boyle, Neil
name: Power, Maddy
Publisher: name: Zenodo
Year: 2021

description: This Policy Brief is an output from the N8 AgriFood Food Systems Policy Hub. It is one of a collection produced by participants on the Rapid Evidence Synthesis Training (REST) programme. REST was delivered through a collaboration between the University of Leeds, Newcastle University and the N8 AgriFood Programme, supported by Research England QR-SPF funds from the University of Leeds and the University of York.
The regulation of the market for information in rental housing : a simulation study
Creators: name: Mason, Gregory C.
Publisher: name: University of British Columbia
Year: 2010

description: Much of the direction to recent proposals for consumer protection lies in improving the quality of pre-purchase information. As with much public policy the legislation frequently proceeds the theoretical justification. In the case of pre-purchase information the theoretical basis stems from the economics of information. The main purpose of this thesis is to examine the demand and supply of information. In particular, a demand model for information is constructed, which unlike the existing theory, assumes that the searcher is ignorant of the distribution of offers and has limited ability to store market data. The use of an error-learning simulation model permits the study of problems such as decay in the storage vector of market offers and problems due to oversearching and undersearching. It appears that the marginal rules of search are of little use in modelling the truly ignorant consumer. In addition to analyzing the demand for information, this essay investigates the supply of information. The rental housing market is used as the institutional setting. Empirical analysis of this market, along with a theory of the information broker is integrated into the demand model to create a market model for rental housing information. Finally, this model is subjected to some explorative policy tests. In dealing with consumer ignorance the government can choose to do nothing, regulate, or nationalize. The benefits, in terms of reduced search costs, are simulated and compared. A full scale cost-benefit simulation is not possible because of limited information of the costs of information production.
Local Authorities and the Cost of Living Emergency
Creators: name: Dr Kit Colliver
name: Prof John Hudson
name: Prof Neil Lunt
Publisher: name: Zenodo
Year: 2023

description: Local authorities in the United Kingdom have suffered a decade of successive challenges, including austerity policies following the Global Financial Crisis, the COVID-19 pandemic, and now an unprecedented rise in the cost of living. This project focuses on the impact of the cost of living crisis on local authorities in order to understand local variations in support, with a secondary focus on what we can learn about the capacity of local authorities to respond to ongoing crises after a long period of budgetary constraint. We draw on evidence from a survey of over 700 local councillors (December 2022 – January 2023) and a structured documentary review of 45 local authorities’ cost of living policies (November 2022 – January 2023). Findings to date demonstrate areas of policy innovation as some local authorities create new services or adapt existing ones to support people with the rising costs. However, current outlooks are bleak as only one in five councillors believed key public services have enough resources to cope; four in five fear children in low income families are at risk of destitution; and nearly three-quarters said their local authority would not be well equipped to respond to another shock in the future.
Qualitative analysis of selected science communication pieces in four languages
Creators: name: Marín-González, Esther
name: Navalhas, Inês
name: Luís, Cristina
Publisher: name: Zenodo
Year: 2022
Subjects: ENJOI
Narratives
Storytelling
Climate change
Journalism
Instagram
YouTube
Social media
Traditional media
Science Communication

description: * New version available *

This deliverable reports on the work carried out in the EU research project ENJOI (Engagement and Journalism Innovation for Outstanding Open Science Communication). Specifically, it presents the results of WP2, task 2.4 “Development of a methodology for qualitative analysis of science communication pieces” and task 2.5 “Qualitative analysis of a selection of science communication pieces” both led by FCiências.ID (FC.ID). The main objective of these two tasks was to develop and implement an analytical framework for the qualitative analysis of pieces of science journalism and communication produced and disseminated in traditional and social media (TV, digital media and/or newspapers, Instagram and Youtube). The scope of analysis was on Southern European countries (Italy, Portugal, and Spain), adding another EU perspective (French-speaking Belgium) to cover the four Mediterranean languages present in ENJOI (French, Italian, Portuguese, and Spanish). Framed as a small-scale exploratory study, it examines storytelling, narratives, and engagement in science journalism and communication. Additionally, this work contributes to the preliminary Standards, Principles, and Indicators (SPIs) defined by the ENJOI Consortium, through practical examples in use.
description: ENJOI WP2. Identification of Standards, Principles and Indicators (SPIs) and methodological approach for qualitative analysis of Outstanding Open Science Communication (OOSC)
Is CADP an Applicable Formal Method?
Creators: name: Garavel, Hubert
name: Lang, Frédéric
name: Mateescu, Radu
name: Serwe, Wendelin
Publisher: name: arXiv
Year: 2021
Subjects: subject: Software Engineering (cs.SE)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: CADP is a comprehensive toolbox implementing results of concurrency theory. This paper addresses the question, whether CADP qualifies as an applicable formal method, based on the experience of the authors and feedback reported by users.
description: In Proceedings AppFM 2021, arXiv:2111.07538
Qualitative analysis of selected science communication pieces in four languages
Creators: name: Marín-González, Esther
name: Navalhas, Inês
name: Luís, Cristina
Publisher: name: Zenodo
Year: 2022
Subjects: ENJOI
Narratives
Storytelling
Climate change
Journalism
Instagram
YouTube
Social media
Traditional media
Science Communication

description: This deliverable reports on the work carried out in the EU research project ENJOI (Engagement and Journalism Innovation for Outstanding Open Science Communication). Specifically, it presents the results of WP2, task 2.4 “Development of a methodology for qualitative analysis of science communication pieces” and task 2.5 “Qualitative analysis of a selection of science communication pieces” both led by FCiências.ID (FC.ID). The main objective of these two tasks was to develop and implement an analytical framework for the qualitative analysis of pieces of science journalism and communication produced and disseminated in traditional and social media (TV, digital media and/or newspapers, Instagram and Youtube). The scope of analysis was on Southern European countries (Italy, Portugal, and Spain), adding another EU perspective (French-speaking Belgium) to cover the four Mediterranean languages present in ENJOI (French, Italian, Portuguese, and Spanish). Framed as a small-scale exploratory study, it examines storytelling, narratives, and engagement in science journalism and communication. Additionally, this work contributes to the preliminary Standards, Principles, and Indicators (SPIs) defined by the ENJOI Consortium, through practical examples in use.
description: ENJOI WP2. Identification of Standards, Principles and Indicators (SPIs) and methodological approach for qualitative analysis of Outstanding Open Science Communication (OOSC)
Additional file 13 of Circular RNA circHERC4 as a novel oncogenic driver to promote tumor metastasis via the miR-556-5p/CTBP2/E-cadherin axis in colorectal cancer
Creators: name: He, Jiehua
name: Chu, Ziqiang
name: Lai, Wei
name: Lan, Qiusheng
name: Zeng, Yujie
name: Lu, Daning
name: Jin, Shaowen
name: Xu, Heyang
name: Su, Pengwei
name: Yin, Dong
name: Chu, Zhonghua
name: Liu, Lu
Publisher: name: figshare
Year: 2021
Subjects: subject: Biophysics
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer

description: Additional file 13: Figure S12. Immunostaining of Ki67 expression in xenografts tumor tissues in our rescue experiment. The promotional effect of circHERC4 on Ki67 could be rescued by CTBP2 siRNA and miR-556-5p mimic.
The rheology of hard sphere suspensions at arbitrary volume fractions: An improved differential viscosity model
Creators: name: Mendoza, Carlos I.
name: Santamaria-Holek, Ivan
Publisher: name: arXiv
Year: 2008
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We propose a simple and general model accounting for the dependence of the viscosity of a hard sphere suspension at arbitrary volume fractions. The model constitutes a continuum-medium description based on a recursive-differential method that assumes a hierarchy of relaxation times. Geometrical information of the system is introduced through an effective volume fraction that approaches the usual filling fraction at low concentrations and becomes one at maximum packing. The agreement of our expression for the viscosity with experiments at low- and high-shear rates and in the high-frequency limit is remarkable for all volume fractions.
description: 16 pages, 6 figures, submitted
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA
Creators: name: Bombarda, Andrea
name: Bonfanti, Silvia
name: Gargantini, Angelo
name: Riccobene, Elvinia
Publisher: name: arXiv
Year: 2021
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Rigorous development processes aim to be effective in developing critical systems, especially if failures can have catastrophic consequences for humans and the environment. Such processes generally rely on formal methods, which can guarantee, thanks to their mathematical foundation, model preciseness, and properties assurance. However, they are rarely adopted in practice. In this paper, we report our experience in using the Abstract State Machine formal method and the ASMETA framework in developing a prototype of the control software of the MVM (Mechanical Ventilator Milano), a mechanical lung ventilator that has been designed, successfully certified, and deployed during the COVID-19 pandemic. Due to time constraints and lack of skills, no formal method was applied for the MVM project. However, we here want to assess the feasibility of developing (part of) the ventilator by using a formal method-based approach. Our development process starts from a high-level formal specification of the system to describe the MVM main operation modes. Then, through a sequence of refined models, all the other requirements are captured, up to a level in which a C++ implementation of a prototype of the MVM controller is automatically generated from the model, and tested. Along the process, at each refinement level, different model validation and verification activities are performed, and each refined model is proved to be a correct refinement of the previous level. By means of the MVM case study, we evaluate the effectiveness and usability of our formal approach.
description: In Proceedings AppFM 2021, arXiv:2111.07538
Discrete solitons in electromechanical resonators
Creators: name: Syafwan, M.
name: Susanto, H.
name: Cox, S. M.
Publisher: name: arXiv
Year: 2009
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Pattern Formation and Solitons (nlin.PS)
subject: Classical Physics (physics.class-ph)
subject: FOS: Physical sciences

description: We consider a parametrically driven Klein--Gordon system describing micro- and nano-devices, with integrated electrical and mechanical functionality. Using a multiscale expansion method we reduce the system to a discrete nonlinear Schrodinger equation. Analytical and numerical calculations are performed to determine the existence and stability of fundamental bright and dark discrete solitons admitted by the Klein--Gordon system through the discrete Schrodinger equation. We show that a parametric driving can not only destabilize onsite bright solitons, but also stabilize intersite bright discrete solitons and onsite and intersite dark solitons. Most importantly, we show that there is a range of values of the driving coefficient for which dark solitons are stable, for any value of the coupling constant, i.e. oscillatory instabilities are totally suppressed. Stability windows of all the fundamental solitons are presented and approximations to the onset of instability are derived using perturbation theory, with accompanying numerical results. Numerical integrations of the Klein--Gordon equation are performed, confirming the relevance of our analysis.
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems
Creators: name: Capra, Lorenzo
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Symbolic Computation (cs.SC)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Petri Nets (PN) are a central, theoretically sound model for concurrent or distributed systems but, at least in their classical definition, not expressive enough to represent dynamic reconfiguration capabilities. On the other side, Rewriting Logic has proved to be a natural semantic framework for several formal models of concurrent/distributed systems. We propose a compact, efficient Maude formalization of dynamically reconfigurable PT nets (with inhibitor arcs), using as a running example the specification of a simple, fault-tolerant manufacturing system. We discuss the advantages of such a combined approach, as well as some concerns that it raises.
description: In Proceedings AppFM 2021, arXiv:2111.07538
F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails
Creators: name: Sun, Yu-Shan
name: Welch, Daniel
name: Sitaraman, Murali
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: This paper summarizes our efforts to aid human reasoning when verification fails through the use of two distinct Formalization Integrated Development Environments (F-IDEs) that we have developed. Both environments are modular and facilitate reasoning about the full behavior of object-based code. The first environment, referred to as the web-IDE, has been used for several years to teach aspects of formal specification and verification, including why and where verification conditions (VCs) arise and how to use them when verification fails. The second F-IDE, RESOLVE Studio, remains experimental, but is a more fully-fledged environment backed by a sequent-based VC generator that produces VCs with fewer extraneous givens. While the environments and VC generation techniques are necessarily language specific, the principles of alternative VC generation methods, F-IDE features, and observations about their impact on novices and experienced users are more generally applicable.
description: In Proceedings AppFM 2021, arXiv:2111.07538
Mechanical Design and Material Budget of the CMS Barrel Pixel Detector
Creators: name: Amsler, C.
name: Bösiger, K.
name: Chiochia, V.
name: Erdmann, W.
name: Gabathuler, K.
name: Horisberger, R.
name: König, S.
name: Kotlinski, D.
name: Maier, R.
name: Meier, B.
name: Meyer, Hp.
name: Rizzi, A.
name: Robmann, P.
name: Scherr, S.
name: Schmidt, A.
name: Steiner, S.
name: Streuli, S.
Publisher: name: arXiv
Year: 2009
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The Compact Muon Solenoid experiment at the Large Hadron Collider at CERN includes a silicon pixel detector as its innermost component. Its main task is the precise reconstruction of charged particles close to the primary interaction vertex. This paper gives an overview of the mechanical requirements and design choices for the barrel pixel detector. The distribution of material in the detector as well as its description in the Monte Carlo simulation are discussed in detail.
Additional file 14 of Circular RNA circHERC4 as a novel oncogenic driver to promote tumor metastasis via the miR-556-5p/CTBP2/E-cadherin axis in colorectal cancer
Creators: name: He, Jiehua
name: Chu, Ziqiang
name: Lai, Wei
name: Lan, Qiusheng
name: Zeng, Yujie
name: Lu, Daning
name: Jin, Shaowen
name: Xu, Heyang
name: Su, Pengwei
name: Yin, Dong
name: Chu, Zhonghua
name: Liu, Lu
Publisher: name: figshare
Year: 2021
Subjects: subject: Biophysics
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer

description: Additional file 14: Figure S13. Representative images of HE staining of lung sections displayed metastatic nodules from in vivo rescue experiment.
BO'LAJAK BOSHLANG'ICH SINF O'QITUVCHILARIDA IJTIMOIY-PEDAGOGIK KOMPETENTLIKNI RIVOJLANTIRISHNING DIDAKTIK MODELI
Creators: name: Orziqulov, Xusniddin
Publisher: name: Zenodo
Year: 2023

description: Ushbu maqolada bo‘lajak boshlang‘ich sinf o‘qituvchilarida ijtimoiy-pedagogik kompetentlikni rivojlantirishning didaktik modeli, o‘quvchilarning ijtimoiy-pedagogik bilimlarini o‘rganish va ularni amaliyotga tatbiq qilish jarayonida o‘quvchilarning o‘zlashtirish va o‘zlashtirishning o‘zlashtirishini ta’minlashga qaratilgan didaktik usullar va vositalari yoritib berilgan.
Further study of neutrino oscillation with two detectors in Kamioka and Korea
Creators: name: Dufour, F.
name: Kajita, T.
name: Kearns, E.
name: Okumura, K.
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: This paper updates and improves the study of electron neutrino appearance in the framework of two far detectors at different oscillation maxima, specifically, Tokai-To-Kamioka-to-Korea. We used a likelihood based on reconstructed quantities to distinguish charged current $ν_e$ interactions from neutral current background. We studied the efficiency of the likelihood for a 20% photo-coverage in comparison of a 40% photo-coverage. We used a detailed neutrino event simulation to estimate the neutral current background. With these analysis tools we studied the sensitivity of the proposed experiment to CP violation and mass hierarchy as a function of the off-axis angle.
description: 7 pages, 6 figures
Additional file 1 of Biomechanical behaviour of tension-band-reconstruction titanium plate in open-door laminoplasty: a study based on finite element analysis
Creators: name: Xu, Hanpeng
name: Wu, Jincheng
name: Xie, Hongru
name: Wen, Wangqiang
name: Xu, Haoxiang
name: Du, Juan
name: Miao, Jun
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Cell Biology
subject: Molecular Biology
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: FOS: Biological sciences
subject: Cancer

description: Additional file 1: Appendix1. The maximum von stress (MPa) of the titanium plate on each segment. Appendix2. The intradiscal pressure (MPa) of three groups.
Assessment of CRB1-associated retinopathies using the S-MAIA fast protocol and spectral-domain optical coherence tomography.
Creators: name: Higgins, Bethany E
name: Rodriguez-Martinez, Ana Catalina
name: Montesano, Giovanni
name: Tailor-Hamblin, Vijay K
name: Malka, Samantha
name: Henderson, Robert H
name: Moosajee, Mariya
Publisher: name: The Francis Crick Institute
Year: 2025
Subjects: classificationCode: Stem Cells
subject: Stem Cells
classificationCode: Gene Expression
subject: Gene Expression
classificationCode: Genetics & Genomics
subject: Genetics & Genomics
classificationCode: Developmental Biology
subject: Developmental Biology
classificationCode: Neurosciences
subject: Neurosciences
subject: FOS: Clinical medicine
classificationCode: Human Biology & Physiology
subject: Human Biology & Physiology
classificationCode: Model organisms
subject: Model organisms

description: Background: A cross-sectional study was conducted at Moorfields Eye Hospital, UK, involving patients with CRB1-associated retinopathies: macular dystrophy (MD), cone-rod dystrophy (CORD), and early-onset severe retinal dystrophy/Leber congenital amaurosis (EOSRD/LCA). The study aimed to evaluate CRB1-associated retinopathies using microperimetry (macular integrity assessment (S-MAIA) fast protocol) and spectral domain optical coherence tomography (SD-OCT). Methods: Data quality and participant attrition were assessed in 18 patients (10 MD, 5 EOSRD/LCA, 3 CORD), aged 10-52 years, with a median best corrected visual acuity (BCVA) of 0.41 logMAR. Results: Microperimetry and SD-OCT data were obtained from 14 and 18 patients, respectively, but eccentric fixation hindered structure-function analysis. All participants showed overall abnormal sensitivity on the S-MAIA fast protocol. Parafoveal volume was significantly increased, while foveal thickness and volume were reduced compared to normative data (p < 0.01). Conclusions: This study highlights the challenges of participant attrition and the need for alternative functional metrics to complement traditional evaluations. It also reinforces previous findings of abnormal retinal architecture in CRB1-associated retinopathies, providing further insights into S-MAIA and SD-OCT assessments for this patient population.
ปัจจัยที่มีความสัมพันธ์กับการเป็นมะเร็งปากมดลูกของผู้ป่วยในโรงพยาบาลนครปฐม FACTORS RELATED TO THE OCCURRENCE OF CERVICAL CANCER   IN PATIENTS AT NAKHON PATHOM HOSPITAL
Creators: name: ศรีสมบัติ นวนพรัตน์สกุล
name: นลินา เกิดฤทธิ์
name: ณัฐิกานต์ วีระนาคินทร์
name: นนทินี มีทรัพย์ทวีกูล
name: พัชนีวรรณ วรสุวัฒน์ และ วรรษมน ทองศรี
Publisher: name: คณะเภสัชศาสตร์/โรงพิมพ์ ม.ศิลปากร
Year: 2013
Subjects: มะเร็งปากมดลูก, โรงพยาบาลนครปฐม, ปัจจัย, การตรวจมะเร็งปากมดลูก, cervical cancer, Nakhon Pathom Hospital, factor, Pap smear

description: 2 (July-Dec 2013 ), 8, ไทยไภษัชยนิพนธ์ Thai Bulletin of Pharmaceutical Science (TBPS)
Experience Report: Teaching Code Analysis and Verification Using Frama-C
Creators: name: Souaf, Salwa
name: Loulergue, Frédéric
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Formal methods provide systematic and rigorous techniques for software development. We strongly believe that they must be taught in computer science curricula. In this paper we present the pedagogic rationale and the concrete implementation of two courses on the use of formal methods, sharing some material. These courses promote the usage of formal verification to ensure safety and security of software, exemplified in the domain of the Internet of Things.
description: In Proceedings AppFM 2021, arXiv:2111.07538
Additional file 15 of Circular RNA circHERC4 as a novel oncogenic driver to promote tumor metastasis via the miR-556-5p/CTBP2/E-cadherin axis in colorectal cancer
Creators: name: He, Jiehua
name: Chu, Ziqiang
name: Lai, Wei
name: Lan, Qiusheng
name: Zeng, Yujie
name: Lu, Daning
name: Jin, Shaowen
name: Xu, Heyang
name: Su, Pengwei
name: Yin, Dong
name: Chu, Zhonghua
name: Liu, Lu
Publisher: name: figshare
Year: 2021
Subjects: subject: Biophysics
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Cancer

description: Additional file 15: Figure S14. Representative images of HE staining of liver sections displayed metastatic nodules from in vivo rescue experiment.
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
Creators: name: Carreira, Carolina
name: Ferreira, João F.
name: Mendes, Alexandra
name: Christin, Nicolas
Publisher: name: arXiv
Year: 2021
Subjects: subject: Human-Computer Interaction (cs.HC)
subject: Cryptography and Security (cs.CR)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: As software becomes more complex and assumes an even greater role in our lives, formal verification is set to become the gold standard in securing software systems into the future, since it can guarantee the absence of errors and entire classes of attack. Recent advances in formal verification are being used to secure everything from unmanned drones to the internet. At the same time, the usable security research community has made huge progress in improving the usability of security products and end-users comprehension of security issues. However, there have been no human-centered studies focused on the impact of formal verification on the use and adoption of formally verified software products. We propose a research agenda to fill this gap and to contribute with the first collection of studies on people's mental models on formal verification and associated security and privacy guarantees and threats. The proposed research has the potential to increase the adoption of more secure products and it can be directly used by the security and formal methods communities to create more effective and secure software tools.
description: In Proceedings AppFM 2021, arXiv:2111.07538
Kollaboration als Notwendigkeit
Creators: name: Horstmann, Jan
name: Neuefeind, Claes
Publisher: name: Zenodo
Year: 2023
Subjects: Digital Humanities
Universität Münster
Universität Köln
SCDH Münster
CCeH Köln

description: Institutionelle Unterstützung für die Forschung in den Digital Humanities