cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Changing the Message: Battered Women's Advocates and Their Fight Against Domestic Violence at the Local, State, and Federal Level, 1970s-1990s
Creators: name: Van Eck, Clara Amy
Publisher: name: Old Dominion University Libraries
Year: 2017

description: This thesis analyzes congressional hearings, reports to Congress, government statistics, acts of Congress, Supreme Court rulings, and newspaper articles to examine how, in the 1970s, 1980s, and 1990s, battered women's advocates altered their rhetoric when dealing with local, state, and federal governments in order to change policies, laws, and to obtain funding for domestic abuse shelters. In the 1970s, battered women's advocates used anti-patriarchal language to help survivors of sexual assault and of domestic violence understand the pervasive and systemic nature of violence against women to liberate survivors from the belief that the violence was their fault. In the 1980s, however, battered women's advocates altered their language from an anti-patriarchy message to an equal protection under the law message as a strategy to gain the cooperation of local police departments. When testifying before Congress to obtain funding for shelters, advocates adjusted their language to emphasize the vital and life saving social services that shelters provided as a tactic to gain Congressional support. By reframing their message, advocates mobilized and motivated members of Congress to pass the Family Violence Prevention and Services Act of 1984, the Indian Child Protection And Family Violence Prevention Act of 1990, and the Violence Against Women Act of 1994. All three of these acts provided shelters with much needed funds. The Violence Against Women Act even included the right for women to sue men who attacked them in federal court.

Battered women’s advocates and their supporters in Congress achieved these legislative successes despite repeated attempts by the Ronald Reagan and George H.W. Bush administrations to prevent battered women's advocates from obtaining funds for the shelters as part of a national-wide, systemic campaign against feminists. Battered women's advocates' alteration of their original message made violence against women socially unacceptable and made federal funding for shelters possible.
Additional file 4 of Putative causal relations among gut flora, serums metabolites and arrhythmia: a Mendelian randomization study
Creators: name: Li, Kaiyuan
name: Liu, Peng
name: Liu, Miao
name: Ye, Jun
name: Zhu, Li
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: Plant Biology
subject: Computational Biology

description: Additional file 4: Supplementary Table S4. Causal relationship between gut flora and supraventricular.
PAC-learning of free-fermionic states is NP-hard
Creators: name: Bittel, Lennart
name: Mele, Antonio A.
name: Eisert, Jens
name: Leone, Lorenzo
Publisher: name: arXiv
Year: 2024
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Free-fermionic states, also known as matchgates or Gaussian states, are a fundamental class of quantum states due to their efficient classical simulability and their crucial role across various domains of Physics. With the advent of quantum devices, experiments now yield data from quantum states, including estimates of expectation values. We establish that deciding whether a given dataset, formed by a few Majorana correlation functions estimates, can be consistent with a free-fermionic state is an NP-complete problem. Our result also extends to datasets formed by estimates of Pauli expectation values. This is in stark contrast to the case of stabilizer states, where the analogous problem can be efficiently solved. Moreover, our results directly imply that free-fermionic states are computationally hard to properly PAC-learn, where PAC-learning of quantum states is a learning framework introduced by Aaronson. Remarkably, this is the first class of classically simulable quantum states shown to have this property.
description: 19 pages, 1 figure
ระบบสมองกลฝังตัวเพื่อการควบคุมอุปกรณ์ไฟฟ้า และตรวจสอบการใช้พลังงานไฟฟ้าด้วย X10
Creators: name: สรพงษ์ วชิรรัตนพรกุล
Publisher: name: Rajamngala Univerity of Technology Thanyaburi
Year: 2560
Subjects: ระบบสมองกลฝังตัว,การสื่อสารผ่านสายไฟฟ้า,X10,พลังงานไฟฟ้า

description: วารสารเครือข่ายวิศวกรรมไฟฟ้า, 1, 1
D1.4 - Supercloud Self-Management Of Security Implementation
Creators: name: Yaich, Reda
name: Cuppens, Nora
name: Cuppens, Frédéric
name: Lacoste, Marc
name: Canard, Sébastien
name: Bessani, Alysson
name: Ramos, Fernando
name: Neves, Nuno
name: Oborzynski, Krzysztof
name: Pletea, Daniel
name: Vukolic, Marko
Publisher: name: Zenodo
Year: 2017
Subjects: Self-Management
Security
SSLA
Negotiation
Autonomic

description: This Deliverable describes the implementation of the SUPERCLOUD Security Self-Management Framework. We present the specification and development of security services that are needed by Cloud Service Customers (CSC) to define, control and manage the required level of protection over compute, storage and network planes. An important part of the Deliverable is also dedicated to the presentation of Security Service Level Specification and Negotiation Platform. In addition, we report on the integration of security services together as well as with compute, data and network components. Finally, we showcase the integration of Security Self-Management with SUPERCLOUD project use-cases demonstrators (i.e., Philips Imaging Platform).
gr1c: a tool for interactive and incremental reactive synthesis
Creators: name: Livingston, Scott C.
Publisher: name: Caltech Library
Year: 2024

description: gr1c is an open source tool suite for GR(1) synthesis and related activities. Development is motivated by current research in formal methods for robotics, including motion planning with temporal logic specifications. It has several novel features beyond a fast implementation of basic GR(1) synthesis. Users can interact with binary decision diagrams (BDDs) and make live queries to intermediate values of a μ-calculus fixed-point computation, which in turn provide the basis for strategy automaton construction. Another novel feature is the ability to load an existing strategy and modify parts of it following changes to the original specification. Besides visual formats intended for human review, gr1c can produce output in standard formats, including JSON, that enable integration with other tools. To support verifying results, output can be in Promela, which allows model checking by Spin.
description: In this paper, we provide a brief introduction to gr1c, a tool suite for GR(1) synthesis and related activities. The source code is available at https://github.com/tulip-control/gr1c.
description: This work was partially supported by United Technologies Corporation and IBM, through the industrial cyberphysical systems (iCyPhy) consortium. The author thanks Richard M. Murray and Ioannis Filippidis for feedback and discussion since the early days of gr1c.
Additional file 5 of Putative causal relations among gut flora, serums metabolites and arrhythmia: a Mendelian randomization study
Creators: name: Li, Kaiyuan
name: Liu, Peng
name: Liu, Miao
name: Ye, Jun
name: Zhu, Li
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: Plant Biology
subject: Computational Biology

description: Additional file 5: Supplementary Table S5. Causal relationship between gut flora and tachycardia.
Black Gold: Molly Maguireism, Unionism, and the Anthracite Labor Wars, 1860-1880
Creators: name: Edmiston, Samantha
Publisher: name: Old Dominion University Libraries
Year: 2017

description: The class and ethnic tensions that manifested in the anthracite coal fields of Pennsylvania were a microcosm of the broader, nation-wide labor wars of the late-nineteenth century. These labor wars, violent and sometimes bloody, shaped workingmen’s condition and the larger history of unionism. The Molly Maguires, in both their real and imagined form counted as key protagonists in these wars between big business and unions. More local wars also occurred between workers, those like the Mollies who wanted to use violence to encourage change, and others who instead sought to peacefully organize and bargain collectively with their employers.

This thesis intends to ascertain what effect the Molly Maguires and Molly Maguireism had on the development, success, and failures of unionism in the anthracite region of Pennsylvania during the middle and late-nineteenth century. Through an examination of the development of unions and collective action in this area as well as the Irish tradition of retributive justice, this thesis suggests a complex connection between Molly Maguireism and unionism. Molly Maguireism existed alongside unionism in the anthracite region from the beginning and the concentration of violence attributed to the Molly Maguires ebbed and flowed with union progress. When union development was at its weakest, during the Civil War era and immediately following the Long Strike of 1875, the incidence of Molly violence increased. Where unionism valued organization as a means to improve life and labor in the anthracite region, the Molly Maguires instead used violence as a means to achieve the same end.
Formal Simulation and Visualisation of Hybrid Programs
Creators: name: Mendes, Pedro
name: Correia, Ricardo
name: Neves, Renato
name: Proença, José
Publisher: name: arXiv
Year: 2024
Subjects: subject: Systems and Control (eess.SY)
subject: Programming Languages (cs.PL)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: The design and analysis of systems that combine computational behaviour with physical processes' continuous dynamics - such as movement, velocity, and voltage - is a famous, challenging task. Several theoretical results from programming theory emerged in the last decades to tackle the issue; some of which are the basis of a proof-of-concept tool, called Lince, that aids in the analysis of such systems, by presenting simulations of their respective behaviours.
 However being a proof-of-concept, the tool is quite limited with respect to usability, and when attempting to apply it to a set of common, concrete problems, involving autonomous driving and others, it either simply cannot simulate them or fails to provide a satisfactory user-experience.
 The current work complements the aforementioned theoretical approaches with a more practical perspective, by improving Lince along several dimensions: to name a few, richer syntactic constructs, more operations, more informative plotting systems and errors messages, and a better performance overall. We illustrate our improvements via a variety of examples that involve both autonomous driving and electrical systems.
description: In Proceedings FMAS2024, arXiv:2411.13215
sj-docx-1-spo-10.1177_17479541231210746 - Supplemental material for Multi-sports training in English soccer academies: A survey exploring practices, practitioner perspectives, and barriers to use
Creators: name: Taylor, Jonathan M
name: Quigley, Charlie
name: Madden, Jonathan
name: Wright, Matthew D
Publisher: name: SAGE Journals
Year: 2023
Subjects: subject: Sociology
subject: FOS: Sociology

description: Supplemental material, sj-docx-1-spo-10.1177_17479541231210746 for Multi-sports training in English soccer academies: A survey exploring practices, practitioner perspectives, and barriers to use by Jonathan M Taylor, Charlie Quigley, Jonathan Madden and Matthew D Wright in International Journal of Sports Science & Coaching
Supplemental Material - Rural–Urban Health Care Cost Differences Among Latinx Adults With and Without Dementia in the United States
Creators: name: Gutiérrez, Ángela
name: López-Anuarbe, Mónika
name: Webster, Noah J.
name: Mahmoudi, Elham
Publisher: name: SAGE Journals
Year: 2023
Subjects: Endocrinology
Geriatrics and Gerontology
Public Health and Health Services not elsewhere classified

description: Supplemental material for Rural–Urban Health Care Cost Differences Among Latinx Adults With and Without Dementia in the United States by Ángela Gutiérrez, Mónika López-Anuarbe, Noah Webster, and Elham Mahmoudi in Journal of Aging and Health
title: Österreicher und Österreicherinnen im nationalsozialistischen Konzentrationslager Sachsenhausen
Creators: name: Hosa, Kerstin
Year: 2008

description: Vom Sommer 1936 bis zur Befreiung im April 1945 waren mehrals 200.000 Menschen, Angehörige aus unterschiedlichen Ethnien und Nationalitäten, gezwungen im nationalsozialistischen Konzentrationslager Sachsenhausen zu leben und zu sterben. Waren während der Gründungsphase des Lagers mehrheitlich politische Gegner des NS-Regimes interniert, so wurde ab 1938 das KZ immer mehr zu einem Instrument der rassistischen Gesellschafts- und Bevölkerungspolitik des NS-Regimes. Vor 1938 waren nachweislich bereits ‚Österreicher’– diese wurden als solche in der Lagerstatistik erfasst – im KZ Sachsenhausen interniert. Mit dem ‚Anschluss’ 1938 sollten es noch mehr werden. Fortan wurden diese (bis auf wenige Ausnahmen) allerdings nicht mehr als solche, sondern als ‚Deutsche Reichsbürger’ – sofern man sie nicht anderen 'Häftlingskategorien' zugeteilt hat –ausgewiesen. Gegenstand der vorliegenden Arbeit ist es – zumindest ansatzweise – jene Personen aus Österreich, die zwischen 1938 und 1945 im KZ Sachsenhausen interniert waren, aus der anonymen Masse herauszuholen.
Supplemental Material - Better together than alone? Investigating dyadic compassion meditation in an experimental study
Creators: name: Schültke, Leonie
name: Warth, Marco
name: Alpers, Georg W.
name: Ditzen, Beate
name: Aguilar-Raab, Corina
Publisher: name: SAGE Journals
Year: 2023
Subjects: Communication and Media Studies not elsewhere classified
Psychology not elsewhere classified

description: Supplemental Material for Better together than alone? Investigating dyadic compassion meditation in an experimental study by Leonie Schültke, Marco Warth, Georg W. Alpers, Beate Ditzen, and Corina Aguilar-Raab in Journal of Social and Personal Relationships.
The Application of Tailored Fields for Studying Chirality and Symmetry
Creators: name: Habibović, Dino
name: Hamilton, Kathryn R.
name: Neufeld, Ofer
name: Rego, Laura
Publisher: name: arXiv
Year: 2024
Subjects: subject: Optics (physics.optics)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Ultrashort laser pulses pose unique tools to trigger and probe the fastest charge dynamics in matter, allowing the investigation of fundamental physical phenomena with unprecedented resolution in space, time, and energy. One of the most fascinating opportunities that ultrashort pulses offer is the possibility of modulating and investigating symmetries by tailoring the properties of the laser beam in the spatial and polarization domains, effectively controlling symmetry breaking on multiple levels. In particular, this allows probing chiral matter and ultrafast chiral dynamics. In recent years, the development of highly sensitive approaches for studying chirality has been a hot topic in physics and chemistry that has developed largely separately from the field of tailored light. This perspective discusses the individual and joint evolution of these fields with an emphasis on how the fields have already cross-fertilized, opening new opportunities in science. We outline a future outlook of how the topics are expected to fully merge and mutually evolve, emphasizing outstanding open issues.
Additional file 6 of Putative causal relations among gut flora, serums metabolites and arrhythmia: a Mendelian randomization study
Creators: name: Li, Kaiyuan
name: Liu, Peng
name: Liu, Miao
name: Ye, Jun
name: Zhu, Li
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: Plant Biology
subject: Computational Biology

description: Additional file 6: Supplementary Table S6. Causal relationship between gut flora and bradycardia.
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
Creators: name: Saadat, Maryam Ghaffari
name: Ferrando, Angelo
name: Dennis, Louise A.
name: Fisher, Michael
Publisher: name: arXiv
Year: 2024
Subjects: subject: Software Engineering (cs.SE)
subject: Artificial Intelligence (cs.AI)
subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: Formal verification of robotic applications presents challenges due to their hybrid nature and distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of ROSMonitoring designed to facilitate the monitoring of both topics and services while considering the order in which messages are published and received. The framework has been enhanced to support these novel features for ROS1 -- and partially ROS2 environments -- offering improved real-time support, security, scalability, and interoperability. We discuss the modifications made to accommodate these advancements and present results obtained from a case study involving the runtime monitoring of specific components of a fire-fighting Uncrewed Aerial Vehicle (UAV).
description: In Proceedings FMAS2024, arXiv:2411.13215
Additional file 7 of Putative causal relations among gut flora, serums metabolites and arrhythmia: a Mendelian randomization study
Creators: name: Li, Kaiyuan
name: Liu, Peng
name: Liu, Miao
name: Ye, Jun
name: Zhu, Li
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: Plant Biology
subject: Computational Biology

description: Additional file 7: Supplementary Table S7. Causal relationship between gut flora and atrioventricular block.
Additional file 8 of Putative causal relations among gut flora, serums metabolites and arrhythmia: a Mendelian randomization study
Creators: name: Li, Kaiyuan
name: Liu, Peng
name: Liu, Miao
name: Ye, Jun
name: Zhu, Li
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: Plant Biology
subject: Computational Biology

description: Additional file 8: Supplementary Table S8. Causal relationship between gut flora and left bundle branch block.
Supplemental Material - New Role, New Paycheck: The Impact on Women’s Wages When Becoming a Caregiver for an Aging Parent
Creators: name: Brady, Samantha
Publisher: name: SAGE Journals
Year: 2023
Subjects: Geriatrics and Gerontology
Psychology not elsewhere classified

description: Supplemental Material for New Role, New Paycheck: The Impact on Women’s Wages When Becoming a Caregiver for an Aging Parent by Samantha Brady in Research on Aging
RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?
Creators: name: Gatti, Andrea
name: Mascardi, Viviana
name: Ferrando, Angelo
Publisher: name: arXiv
Year: 2024
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Human-Computer Interaction (cs.HC)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Chatbots have become integral to various application domains, including those with safety-critical considerations. As a result, there is a pressing need for methods that ensure chatbots consistently adhere to expected, safe behaviours. In this paper, we introduce RV4Chatbot, a Runtime Verification framework designed to monitor deviations in chatbot behaviour. We formalise expected behaviours as interaction protocols between the user and the chatbot. We present the RV4Chatbot design and describe two implementations that instantiate it: RV4Rasa, for monitoring chatbots created with the Rasa framework, and RV4Dialogflow, for monitoring Dialogflow chatbots. Additionally, we detail experiments conducted in a factory automation scenario using both RV4Rasa and RV4Dialogflow.
description: In Proceedings FMAS2024, arXiv:2411.13215
Additional file 9 of Putative causal relations among gut flora, serums metabolites and arrhythmia: a Mendelian randomization study
Creators: name: Li, Kaiyuan
name: Liu, Peng
name: Liu, Miao
name: Ye, Jun
name: Zhu, Li
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: Plant Biology
subject: Computational Biology

description: Additional file 9: Supplementary Table S9. Causal relationship between metabolites and atrial fibrillation.
การควบคุมกำลังไฟฟ้ารีแอคทีฟของมอเตอร์ซิงโครนัสด้วยตัวควบคุมแบบพีไอ
Creators: name: สิทธิพงษ์ เพ็งประเดิม
name: เดือนแรม แพ่งเกี่ยว
name: อัครพันธ์ วงศ์กังแห
name: สมพร เรืองสินชัยวานิช
Publisher: name: Rajamngala Univerity of Technology Thanyaburi
Year: 2560
Subjects: ตัวควบคุมแบบพีไอ,มอเตอร์ซิงโครนัส,ตัวประกอบกำลัง

description: วารสารเครือข่ายวิศวกรรมไฟฟ้า, 1, 1
Phase space contraction of degenerately damped random splittings
Creators: name: Herzog, David P.
name: Mattingly, Jonathan C.
Publisher: name: arXiv
Year: 2024
Subjects: subject: Probability (math.PR)
subject: Analysis of PDEs (math.AP)
subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics
subject: 60J05, 35Q35, 37A50

description: When studying out-of-equilibrium systems, one often excites the dynamics in some degrees of freedom while removing the excitation in others through damping. In order for the system to converge to a statistical steady state, the dynamics must transfer the energy from the excited modes to the dissipative directions. The precise mechanisms underlying this transfer are of particular interest and are the topic of this paper. We explore a class of randomly switched models introduced in [2,3] and provide some of the first results showing that minimal damping is sufficient to stabilize the system in a fluids model.
description: 43 pages
Arbeitspapier zur Entscheidung über die Form der Untersuchung kognitiver Kompetenzen im statusdiagnostischen Prozess: Die Entscheidungskaskade.
Creators: name: Hackl, Karin
name: Baysel, Katharina
name: Dworschak, Wolfgang
Publisher: name: Universität Regensburg
Year: 2024
Subjects: subject: Sonderpädagogik, Intelligenzdiagnostik, sonderpädagogischer Förderbedarf im Schwerpunkt Geistige Entwicklung, Förderdiagnostik, vergleichbare Verhaltensindikatoren, Zugangsvoraussetzungen intelligence diagnostics · special educational needs with a focus on intellectual development · support diagnostics · comparable behavioural indicators · access requirements
subject: 370 Erziehung, Schul- und Bildungswesen

description: Beiträge zur Feststellung des sonderpädagogischen Förderbedarfs im Förderschwerpunkt Geistige Entwicklung

Zusammenfassung:
Kinder und Jugendliche mit geistiger Behinderung haben das Recht auf „die notwendige
Unterstützung […], um ihre erfolgreiche Bildung zu erleichtern“ (Vereinte Nationen, 2006,
S. Artikel 24 (2)). Das Konstrukt des sonderpädagogischen Förderbedarfs kann – bei einer
Betrachtung jenseits der schulrechtlichen Verwaltungsfunktion – wichtige Informationen
über die tatsächlichen Unterstützungsbedarfe eines/einer Schüler:in geben. Vor diesem
Hintergrund ist die statusdiagnostische Untersuchung kognitiver Kompetenzen unauflösbar
mit teilhabeorientierter Förderung verbunden.
In der Praxis ist die Überprüfung kognitiver Leistungsfähigkeit mit großen Herausforderungen
verknüpft: die Heterogenität der Ausprägung intellektueller Entwicklungsstörungen
und die damit verbundene enorme Bandbreite der Zugangsvoraussetzungen erfordern ein
differenziertes Vorgehen. Die vorliegende Entscheidungskaskade ist eine Handreichung,
die Diagnostiker:innen durch einen begründbaren Rahmen praktische Sicherheit in der Entscheidung
über die Form der Untersuchung kognitiver Kompetenzen bietet. Die
Einschätzung der Zugangsvoraussetzungen nimmt dabei eine Schlüsselposition ein.

Abstract:
Children and young people with intellectual disabilities have the right to ‘receive the support
required […], to facilitate their effective education’ (United Nations, 2006, Article 24
(2)). The construct of special educational needs can provide important information about
the actual support needs of a pupil - when viewed beyond the administrative function under
school law. Against this background, the status-diagnostic examination of cognitive competences
is inextricably linked to participation-oriented support.
In practice, the assessment of cognitive performance is associated with major challenges:
the heterogeneity of the manifestation of intellectual development disorders and the associated
enormous range of access requirements require a differentiated approach. This
decision cascade is a guide that provides diagnosticians with a justifiable framework to help
them make practical decisions about the form of testing cognitive skills. The assessment of
access requirements plays a key role here.
sj-docx-1-jtr-10.1177_00472875231209493 – Supplemental material for Development and Verification of the Wellness Tourism Experience Scale
Creators: name: Li, Yaoqi
name: Deng, Qiaoqiao
name: Peng, Fei
name: He, Mang
Publisher: name: SAGE Journals
Year: 2023
Subjects: Organisation and Management Theory
Hospitality Management

description: Supplemental material, sj-docx-1-jtr-10.1177_00472875231209493 for Development and Verification of the Wellness Tourism Experience Scale by Yaoqi Li, Qiaoqiao Deng, Fei Peng and Mang He in Journal of Travel Research
Model Checking and Verification of Synchronisation Properties of Cobot Welding
Creators: name: Murray, Yvonne
name: Nordlie, Henrik
name: Anisi, David A.
name: Ribeiro, Pedro
name: Cavalcanti, Ana
Publisher: name: arXiv
Year: 2024
Subjects: subject: Robotics (cs.RO)
subject: Multiagent Systems (cs.MA)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: This paper describes use of model checking to verify synchronisation properties of an industrial welding system consisting of a cobot arm and an external turntable. The robots must move synchronously, but sometimes get out of synchronisation, giving rise to unsatisfactory weld qualities in problem areas, such as around corners. These mistakes are costly, since time is lost both in the robotic welding and in manual repairs needed to improve the weld. Verification of the synchronisation properties has shown that they are fulfilled as long as assumptions of correctness made about parts outside the scope of the model hold, indicating limitations in the hardware. These results have indicated the source of the problem, and motivated a re-calibration of the real-life system. This has drastically improved the welding results, and is a demonstration of how formal methods can be useful in an industrial setting.
description: In Proceedings FMAS2024, arXiv:2411.13215
การประมาณค่าพารามิเตอร์หม้อแปลงไฟฟ้า 1 เฟสเพื่อปรับปรุงประสิทธิภาพด้วยวิธีเชิงพันธุกรรม
Creators: name: เดือนแรม แพ่งเกี่ยว
name: สิทธิพงษ์ เพ็งประเดิม
name: ปิยดนัย ภาชนะพรรณ์
name: สมพร เรืองสินชัยวานิช
Publisher: name: Rajamngala Univerity of Technology Thanyaburi
Year: 2560
Subjects: หม้อแปลงไฟฟ้า,การประมาณค่า,ประสิทธิภาพหม้อแปลงไฟฟ้า

description: วารสารเครือข่ายวิศวกรรมไฟฟ้า, 1, 1
sj-pdf-4-jhs-10.1177_17531934231208288 - Supplemental material for A critical analysis of cervical spine malpositioning during hand surgery
Creators: name: Wilkinson, Mr Jordan
name: Kennedy, Ms Sharon
name: Dolan (Senior), Ms Roisin
Publisher: name: SAGE Journals
Year: 2023
Subjects: Orthopaedics
Sports Medicine
Surgery

description: Supplemental material, sj-pdf-4-jhs-10.1177_17531934231208288 for A critical analysis of cervical spine malpositioning during hand surgery by Mr Jordan Wilkinson, Ms Sharon Kennedy and Ms Roisin Dolan (Senior) in Journal of Hand Surgery (European Volume)
Additional file 10 of Putative causal relations among gut flora, serums metabolites and arrhythmia: a Mendelian randomization study
Creators: name: Li, Kaiyuan
name: Liu, Peng
name: Liu, Miao
name: Ye, Jun
name: Zhu, Li
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: Plant Biology
subject: Computational Biology

description: Additional file 10: Supplementary Table S10. Causal relationship between metabolites and supraventricular tachycardia.
Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study
Creators: name: Schnittka, Till
name: Gleirscher, Mario
Publisher: name: arXiv
Year: 2024
Subjects: subject: Multiagent Systems (cs.MA)
subject: Artificial Intelligence (cs.AI)
subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: When designing correct-by-construction controllers for autonomous collectives, three key challenges are the task specification, the modelling, and its use at practical scale. In this paper, we focus on a simple yet useful abstraction for high-level controller synthesis for robot collectives with optimisation goals (e.g., maximum cleanliness, minimum energy consumption) and recurrence (e.g., re-establish contamination and charge thresholds) and safety (e.g., avoid full discharge, mutually exclusive room occupation) constraints. Due to technical limitations (related to scalability and using constraints in the synthesis), we simplify our graph-based setting from a stochastic two-player game into a single-player game on a partially observable Markov decision process (POMDP). Robustness against environmental uncertainty is encoded via partial observability. Linear-time correctness properties are verified separately after synthesising the POMDP strategy. We contribute at-scale guidance on POMDP modelling and controller synthesis for tasked robot collectives exemplified by the scenario of battery-driven robots responsible for cleaning public buildings with utilisation constraints.
description: In Proceedings FMAS2024, arXiv:2411.13215
การศึกษาหลักการทำงานของเครื่องกำเนิดไฟฟ้าเหนี่ยวนำแบบกระตุ้นด้วยตัวเองสำหรับระบบสะสมพลังงานแบบฟลายวีล
Creators: name: ไพวรรณ เกิดตรวจ
name: ธวัชชัย สิมมา
name: กัญจนา ชัยอมฤต
name: ศุภกร วิศวภัทรธนธร
Publisher: name: Rajamngala Univerity of Technology Thanyaburi
Year: 2560
Subjects: เครื่องกำเนิดไฟฟ้าเหนี่ยวนำแบบกระตุ้นด้วยตัวเอง,ความเร็วซิงโครนัส,ตัวเก็บประจุกระตุ้น,ระบบสะสมพลังงานแบบฟลายวีล

description: วารสารเครือข่ายวิศวกรรมไฟฟ้า, 1, 1
title: Jakob Matthias Schmutzer (1733 - 1811)
Creators: name: Zmölnig, Brigitte
Year: 2008

description: ABBILDUNGEN: nur in PRINTAUSGABE! -- Die vorliegende Diplomarbeit beschäftigt sich mit dem Leben des Kupferstechers und Zeichners Jakob Matthias Schmutzer (1733 - 1811).Er wurde 1762 vom Staatskanzler Wenzel Anton Fürst Kaunitz Rietberg zur künstlerischen Ausbildung nach Paris unter Johann Georg Wille gesandt.Wille erzog seine Schüler im Licht der Aufklärung, was bedeutet, dass sein Erziehungssystem sich nicht an dem der staatlichen Akademien orientierte, sondern individuell auf jeden einzelnen Schüler eingegangen wurde: nach Wille, waren die Künste grundsätzlich von jedermann erlernbar, jedoch beeinflusste das Talent die Dauer der Ausbildung. Auch Schmutzer übernahm diesen Grundgedanken in seinem Konzept zur Gründung einer Kupferstecherakademie. Nach seiner Rückkehr 1766 nach Wien beantragte Schmutzer bei der Kaiserin, eine separate Kupferstecherschule errichten zu dürfen, welche er schon drei Monate später feierlich eröffnen konnte. Schmutzer sah vor, seine Zeichenschule nicht nur für Künstler, sondern auch für künstlerisch tätige Handwerker zu öffnen. Noch im selben Jahr wurde die schmutzersche Zeichenschule der Titel der k. k. Kupferstecherakademie übertragen. Der Unterricht an der Kupferstecherakademie sah vor, neben dem Zeichnen nach Modellen vor allem das Landschaftszeichnen stark zu fördern und zusätzlich Exkursionen in die Natur zu veranstalten. Mit der Vereinigung aller separat bestehender Akademien 1772 mußte Schmutzer viele seiner organisatorischen Verpflichtungen abgeben. Jedoch ist zu erkennen, dass mit der Enthebung aus seinen organisatorischen Verpflichtungen vermehrt Landschaftsblätter entstanden, was bedeuten könnte, dass diese mehr dem privatem als finanziellem Interesse zuzuführen wären.In Schmutzers späten Landschaftsblättern lässt sich deutlich noch der Einfluss seines Lehrers Wille erkennen. Die Landschaftsdarstellungen an der Wiener Akademie nahmen stilistisch keinen Einfluss auf Schmutzers Blätter. Eher finden sich Zusammenhänge mit der Landschaftsklasse der Dresdener Akademie unter Adrian Zingg, der ebenfalls unter Wille ausgebildet wurde. Das Kupferstichkabinett in Wien bewahrt 27 zum Großteil signierte und datierte Landschaftsblätter Schmutzers auf. Der Landschaftsstil Schmutzers kann im Großen und Ganzen dem Typus der Paysage Intime im holländischen Stil zugeordnet werden, der Hagedorns Weisungen einer gesperrten Landschaft folgt.
Additional file 11 of Putative causal relations among gut flora, serums metabolites and arrhythmia: a Mendelian randomization study
Creators: name: Li, Kaiyuan
name: Liu, Peng
name: Liu, Miao
name: Ye, Jun
name: Zhu, Li
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: Plant Biology
subject: Computational Biology

description: Additional file 11: Supplementary Table S11. Causal relationship between metabolites and tachycardia.
Additional file 12 of Putative causal relations among gut flora, serums metabolites and arrhythmia: a Mendelian randomization study
Creators: name: Li, Kaiyuan
name: Liu, Peng
name: Liu, Miao
name: Ye, Jun
name: Zhu, Li
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: Plant Biology
subject: Computational Biology

description: Additional file 12: Supplementary Table S12. Causal relationship between metabolites and bradycardia.
Additional file 13 of Putative causal relations among gut flora, serums metabolites and arrhythmia: a Mendelian randomization study
Creators: name: Li, Kaiyuan
name: Liu, Peng
name: Liu, Miao
name: Ye, Jun
name: Zhu, Li
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: Plant Biology
subject: Computational Biology

description: Additional file 13: Supplementary Table S13. Causal relationship between metabolites and atrioventricular block.
title: Regionalität als Wettbewerbsfaktor im österreichischen Lebensmittelbereich
Creators: name: Waidmann, Verena
Year: 2008

description: In Österreich ist wie in anderen europäischen Ländern ein Trend dazu erkennbar, dass Verbraucher beim Kauf von Lebensmitteln zunehmend auf die Herkunft ach-ten und insbesondere die regionale Herkunft von Lebensmitteln an Bedeutung gewinnt. Vor dem Hintergrund des verstärkten Interesses an der Produktherkunft der insbesondere durch Lebensmittelskandale erschütterten Konsumenten be-schäftigt sich die vorliegende Arbeit mit der Regionalität von Lebensmitteln als Differenzierungsmöglichkeit von Produkten der Konkurrenz und ergründet, in-wieweit es sich dabei um einen Wettbewerbsvorteil handelt. Basierend auf den Erkenntnissen über den Country-of-Origin- bzw. Product-of-Origin-Effekt wird darauf eingegangen, wie sich der Region-of-Origin-Effekt auf den Kaufentscheidungsprozess auswirkt, wobei speziell auf den Absatz regionaler Produkte auf dem regionalen Markt eingegangen wird.
description: In Austria like in many other European countries there is a trend towards a grow-ing interest in domestic or regional food. Consumers pay more and more attention to the country or region a product is coming from and domestic products are often preferred to products with unknown origin. Regarding this growing interest and consumers’ preference of domestic products this paper deals with regional food as a way of differentiation and a chance in times of globalization to achieve a competitive advantage. Regions, regional products and regional food are defined and based on insights about the Country-of-Origin- and the Product-of-Origin-Effect respectively, the Region-of-Origin-Effect is examined and its relevance concerning consumer behaviour.
A Case Study on Numerical Analysis of a Path Computation Algorithm
Creators: name: Boussu, Grégoire
name: Kosmatov, Nikolai
name: Védrine, Franck
Publisher: name: arXiv
Year: 2024
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: G.1.0; F.3.2

description: Lack of numerical precision in control software -- in particular, related to trajectory computation -- can lead to incorrect results with costly or even catastrophic consequences. Various tools have been proposed to analyze the precision of program computations. This paper presents a case study on numerical analysis of an industrial implementation of the fast marching algorithm, a popular path computation algorithm frequently used for trajectory computation. We briefly describe the selected tools, present the applied methodology, highlight some attention points, summarize the results and outline future work directions.
description: In Proceedings FMAS2024, arXiv:2411.13215
Additional file 1 of Antigen surface display in two novel whole genome sequenced food grade strains, Lactiplantibacillus pentosus KW1 and KW2
Creators: name: Wiull, Kamilla
name: Hagen, Live Heldal
name: Rončević, Jelena
name: Westereng, Bjørge
name: Boysen, Preben
name: Eijsink, Vincent G. H.
name: Mathiesen, Geir
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Space Science
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Biotechnology
subject: Evolutionary Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Marine Biology
subject: Inorganic Chemistry
subject: FOS: Chemical sciences
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1: Contains Table S1 listing all primers used in the present study
Cross--layer Formal Verification of Robotic Systems
Creators: name: Raïs, Sylvain
name: Brunel, Julien
name: Doose, David
name: Herbreteau, Frédéric
Publisher: name: arXiv
Year: 2024
Subjects: subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: Robotic systems are widely used to interact with humans or to perform critical tasks. As a result, it is imperative to provide guarantees about their behavior. Due to the modularity and complexity of robotic systems, their design and verification are often divided into several layers. However, some system properties can only be investigated by considering multiple layers simultaneously. We propose a cross-layer verification method to verify the expected properties of concrete robotic systems. Our method verifies one layer using abstractions of other layers. We propose two approaches: refining the models of the abstract layers and refining the property under verification. A combination of these two approaches seems to be the most promising to ensure model genericity and to avoid the state-space explosion problem.
description: In Proceedings FMAS2024, arXiv:2411.13215
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
Creators: name: Gruteser, Jan
name: Roßbach, Jan
name: Vu, Fabian
name: Leuschel, Michael
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: The certification of autonomous systems is an important concern in science and industry. The KI-LOK project explores new methods for certifying and safely integrating AI components into autonomous trains. We pursued a two-layered approach: (1) ensuring the safety of the steering system by formal analysis using the B method, and (2) improving the reliability of the perception system with a runtime certificate checker. This work links both strategies within a demonstrator that runs simulations on the formal model, controlled by the real AI output and the real certificate checker. The demonstrator is integrated into the validation tool ProB. This enables runtime monitoring, runtime verification, and statistical validation of formal safety properties using a formal B model. Consequently, one can detect and analyse potential vulnerabilities and weaknesses of the AI and the certificate checker. We apply these techniques to a signal detection case study and present our findings.
description: In Proceedings FMAS2024, arXiv:2411.13215
Additional file 2 of Antigen surface display in two novel whole genome sequenced food grade strains, Lactiplantibacillus pentosus KW1 and KW2
Creators: name: Wiull, Kamilla
name: Hagen, Live Heldal
name: Rončević, Jelena
name: Westereng, Bjørge
name: Boysen, Preben
name: Eijsink, Vincent G. H.
name: Mathiesen, Geir
Publisher: name: figshare
Year: 2024
Subjects: subject: Biochemistry
subject: Space Science
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Biotechnology
subject: Evolutionary Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Marine Biology
subject: Inorganic Chemistry
subject: FOS: Chemical sciences
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 2: Contains Figure S1 illustrating the BUSCO results
Additional file 1 of Identification of potential crucial genes and therapeutic targets for epilepsy
Creators: name: Wang, Shitao
name: Xie, Zhenrong
name: Jun, Tian
name: Ma, Xuelu
name: Zhang, Mengen
name: Rao, Feng
name: Xu, Hui
name: Lu, Jinghong
name: Ding, Xiangqian
name: Li, Zongyou
Publisher: name: figshare
Year: 2024
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 1: Table S1. 91 DEGs were identified in GSE44031 series.
title: Zahlenlotto und Klassenlotterie in der Habsburgermonarchie 1751 - 1918
Creators: name: Schmid, Gabriele
Year: 2008

description: ABBILDUNGEN: nur in PRINTAUSGABE! -- Am Beginn der Arbeit stelle ich einige wissenschaftliche Erkenntnisse über das Spiel und im speziellen über das Glücksspiel gegenüber. Dabei stütze ich mich hauptsächlich auf die Aussagen von Johan Huizinga und Roger Caillois. Daran anschließend, im ersten Schwerpunkt, folgt eine chronologische Darstellung über die Einführung und Entwicklung des Zahlenlottos und der Klassenlotterie. Hier liegt mein Augenmerk zunächst auf den ersten finanziell missglückten Versuchen einer Klassenlotterie in den Jahren 1721 und 1729 unter Karl VI., welche die Mittelbeschaffung zur Weiterentwicklung der 1719 gegründeten „Privilegierten Orientalischen Kompanie“ bringen sollte. Erst unter Maria Theresia erfolgte 1751 ein neuerlicher Beginn mit dem Pächter Cataldi und dem, an ihn vergebenen Privileg für die Errichtung eines „Lotto di Genua“ in den Österreichischen Erblanden. Dieses Zahlenlotto verlief für beide Seiten finanziell erfolgreich. Auf Grund dieser Entwicklung entschloss sich Josef II. im Jahr 1787 zur Verstaatlichung des Lottos. Kurz davor, im Jahr 1770, wurde nochmals ein neuerlich erfolgloser Versuch zur Einführung einer Klassenlotterie von Abraham Wetzlar gestartet. In der Folge kam es zu einer Neufassung des Lottopatents im Jahr 1813 unter Kaiser Franz I., welches nach Novellierungen und Änderungen in den 1850er Jahren bis 1962 in Kraft blieb. Wesentlich dabei war die Definition der eindeutigen Monopolstellung des Staates auf alle Arten des Glücksspiels und das gleichzeitig ausgesprochene Verbot jeglicher anderer einschlägiger Spiele. Der zweite Schwerpunkt und Hauptteil der Arbeit umfasst den Widerstand gegen das Zahlenlotto und die Klassenlotterie sowie die zugehörigen Reformvorschläge, weiters die Bedeutung der Traumbücher und magischen Praktiken. Die jeweiligen Aktivitäten, sowohl für, als auch gegen das Lottospiel, setzten fast zeitgleich mit dessen Einführung ein. Intensiviert hat sich die Gegnerschaft im 19. Jahrhundert, wobei 1840 erstmals Abgeordnete von Staaten des Deutschen Bundes für die Aufhebung eintraten. Ab den 1860er Jahren wurde das Thema von Abgeordneten im Reichsrat durch Anträge und Diskussionen behandelt. Am Ende der Arbeit wird die Einführung der Klassenlotterie im Jahr 1913, welche als Ersatz für das Zahlenlotto gedacht war, behandelt, die ebenso Kritik und Widerstand hervorrief. Alle Vorschläge der Gegner wurden nur in unwesentlichen Details realisiert. Letztlich sind sie alle an den Widerständen der jeweiligen Finanzminister gescheiterten.
Additional file 2 of Identification of potential crucial genes and therapeutic targets for epilepsy
Creators: name: Wang, Shitao
name: Xie, Zhenrong
name: Jun, Tian
name: Ma, Xuelu
name: Zhang, Mengen
name: Rao, Feng
name: Xu, Hui
name: Lu, Jinghong
name: Ding, Xiangqian
name: Li, Zongyou
Publisher: name: figshare
Year: 2024
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 2: Table S2. 425 DEGs were identified in GSE1834 series.
title: Hooking Up vs. Pornography
title: A Vignette Approach About Acceptability
titleType: Subtitle
Creators: name: Coffman, Kendall
Publisher: name: University of Kentucky Libraries
Year: 2017
Subjects: subject: Gender and Sexuality

description: The purpose of this study was to examine how the intersection of gender scripts, gender identity, and sexual orientation impact perceived narratives and power hierarchies in sexual relationships. To drive participants to verbalize their underlying views about sexual scripts, two highly sexualized and controversial sexual cultures will be examined: casual sex and pornography. Feminist academics and advocates have long argued for a restructuring of sexual politics by implementing feminist principles into personal relations and public life (Connell, 1997). Therefore, competing feminist ideologies will also be assessed to gauge the campus’s feminist climate regarding self-identified feminists’ views on the exploitation and/or the empowerment of women within pornography. Findings from this study indicated that respondents view women’s participation in hookups or pornographic situations similar to how they viewed men’s participation. However, internalized homophobic messages were discovered, particularly from male respondents. The findings also suggest that feminists in this sample were generally accepting of pornography, but that feminism did not play a key role in shaping respondents beliefs.
Additional file 3 of Identification of potential crucial genes and therapeutic targets for epilepsy
Creators: name: Wang, Shitao
name: Xie, Zhenrong
name: Jun, Tian
name: Ma, Xuelu
name: Zhang, Mengen
name: Rao, Feng
name: Xu, Hui
name: Lu, Jinghong
name: Ding, Xiangqian
name: Li, Zongyou
Publisher: name: figshare
Year: 2024
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 3: Table S3. 5 overlapping DEGs were identified in GSE1834 and GSE44031.
Hyperbolic L-space knots not concordant to algebraic knots
Creators: name: Borodzik, Maciej
name: Teragaito, Masakazu
Publisher: name: arXiv
Year: 2024
Subjects: subject: Geometric Topology (math.GT)
subject: FOS: Mathematics

description: We construct hyperbolic L-space knots that are not concordant to any linear combination of algebraic knots.
description: 16 pages 10 figures