bluuebunny/crossref_metadata_2025_split huggingface dataset:
Protein‐Templated Reactions Using DNA‐Antibody Conjugates
Authors: Baranda Pellejero Lorena , Nijenhuis Minke A. D. , Ricci Francesco , Gothelf Kurt V. 
Published: March 2022

AbstractDNA‐templated chemical reactions have found wide applications in drug discovery, programmed multistep synthesis, nucleic acid detection, and targeted drug delivery. The control of these reactions has, however, been limited to nucleic acid hybridization as a means to direct the proximity between reactants. In this work a system capable of translating protein–protein binding events into a DNA‐templated reaction which leads to the covalent formation of a product is introduced. Protein‐templated reactions by employing two DNA‐antibody conjugates that are both able to recognize the same target protein and to colocalize a pair of reactant DNA strands able to undergo a click reaction are achieved. Two individual systems, each responsive to human serum albumin (HSA) and human IgG, are engineered and it is demonstrated that, while no reaction occurs in the absence of proteins, both protein‐templated reactions can occur simultaneously in the same solution without any inter‐system crosstalk.
Low‐dimensional material supported single‐atom catalysts for electrochemical CO2 reduction
Authors: Wang Bingqing , Chen Shenghua , Zhang Zedong , Wang Dingsheng 
Published: March 2022

AbstractConverting CO2 emissions to valuable carbonaceous chemicals/fuels under mild conditions provides a sustainable way to maintain carbon balance and alleviate the energy shortage. Low‐dimensional material (LDM) supported single‐atom catalysts (SACs) have been attracted significant attention for electrochemical CO2 reduction reaction (ECR) in recent years. This is mainly because integrating the single‐atoms and LDMs can inherit the advantages of themselves and the synergy effects between them are potential to enhance the ECR performance. In this review, we summarized the strategies for synthesizing LDM supported SACs for ECR, and different LDM supported SACs for ECR have been briefly introduced. Moreover, some optimization strategies for LDM supported SACs towards CO2 electroreduction are highlighted. At the end of this review, the perspectives and challenges of LDM supported SACs for ECR are provided.
Evidence of large terrestrial seymouriamorphs in the lowermost Permian of the Czech Republic
Authors: Calábková Gabriela , Březina Jakub , Madzia Daniel 
Published: March 2022

AbstractLower Permian strata of the Boskovice Basin in the Czech Republic have yielded hundreds of largely complete seymouriamorph individuals, some of which are exceptionally preserved and have noticeable soft tissues, such as external gills and eye structures. The vast majority of these finds are referable toDiscosauriscus austriacus, and almost exclusively represent larvae and juveniles tied to aquatic environments. Only one of the specimens discovered to date has been interpreted as an early adult, although late juvenile and early sub‐adult stages have been proposed for it as well. Regardless, no other seymouriamorph adults have been reported from the Boskovice Basin so far. Here we present the first comprehensive assessment of seymouriamorph tracks and a trackway from the Asselian (lowermost Permian) of the Boskovice Basin. The morphology of the tracks is congruent with that of the ichnotaxonAmphisauropusand indicates an attribution to Discosauriscidae or that they belong to as yet unrecognized large seymouriamorphs. All tracks were made by individuals much larger than the largest discosauriscid known from bodily preserved material and are interpreted as those of adults tied to terrestrial environments, thus apparently documenting a habitat shift that occurred relatively late in the ontogenetic development of these seymouriamorphs. Furthermore, the largest track is preserved in extraordinary detail and includes soft part impressions such as digital, palmar and plantar flexion creases, making the specimen one of the best preserved seymouriamorph tracks described to date. Finally, one of the tracks originates from the lowermost Asselian and is therefore among the oldest known records of seymouriamorphs worldwide.
Circular RNA dehydrodolichyl diphosphate synthase facilitated triple‐negative breast cancer progression via miR‐362‐3p/DDX5 axis
Authors: Cui Suping , Zhang Yong , Xing Li , Li Rui , Piao Yingshi , Liu Honggang 
Published: March 2022

AbstractBackgroundTriple‐negative breast cancer (TNBC) is a common hypotype of breast cancer. Circular RNAs (circRNAs) are burgeoning serve as vital controllers in numerous tumors. Nevertheless, the expression and regulatory mode of circRNAs in TNBC are still indistinct. This paper aimed to reveal the function and molecular mechanism of circular RNA dehydrodolichyl diphosphate synthase (circDHDDS) in TNBC.MethodsThe contents of circDHDDS, DHDDS mRNA, microRNA‐362‐3p (miR‐362‐3p) and DEAD (Asp‐Glu‐Ala‐Asp) box polypeptide 5 (DDX5) were indicated by quantitative real‐time polymerase chain reaction (qRT‐PCR) and western blot. The colony formation assay and 5‐ethynyl‐2’‐deoxyuridine (EdU) assay were executed to assess cell proliferation. The flow cytometry assay was utilized to detect cell apoptosis. The transwell assay and tube formation assay were applied to measure cell migration, invasion and angiogenesis. The targeted relationships of miR‐362‐3p and circDHDDS or DDX5 were forecasted and detected by dual‐luciferase reporter assay. The in vivo test was implemented to confirm the effect of circDHDDS.ResultsThe contents of circDHDDS and DDX5 were increased, and miR‐362‐3p level was decreased in TNBC. CircDHDDS deficiency reserved cell proliferation, migration, invasion and angiogenesis, while facilitated cell apoptosis in TNBC cells. Furthermore, miR‐362‐3p was validated to exert a tumor repressive effect in TNBC cells by suppressing DDX5. Moreover, DDX5 could regulate the development of TNBC. The experimental data exposed that levels of miR‐362‐3p presented noteworthy negative correlation with circDHDDS and DDX5, while circDHDDS and DDX5 exhibited significant positive correlation. In mechanism, circDHDDS bound to miR‐362‐3p to modulate DDX5 expression. In addition, circDHDDS knock‐down also attenuated tumor growth.ConclusionCircDHDDS expedited TNBC by swelling DDX5 via adapting miR‐362‐3p.
Toppling the Pyramids: Physics Without Physical State Monism
Authors: Simpson William M. R. , Horsley Simon A. R. 
Published: March 2022

AbstractIn this paper, we challenge a wide-spread assumption among philosophers that contemporary physics supportsphysical state monism. This is the claim that the causal powers of a system supervene upon the ‘lower-level’ laws and the lower-level state of the cosmos (as represented by our ‘best physics’). On this view, it makes sense to ignore a macroscopic system’s higher-level properties in determining its causal powers, since any higher-level powers are merely artifacts of our special interests. We argue that this assumption is common both tomicrophysicalism, which carves the cosmos into a set of microscopic constituents, andpriority monism, which posits a single cosmic substance, but is incompatible with any form ofphysical pluralismthat attributes irreducibly higher-level powers to entities of intermediate scales. We consider a number of case studies in contemporary physics which fail to support the thesis of state monism. We argue that the causal powers of many systems are (determined by) higher-level, macroscopic properties that are neither reducible nor weakly emergent, and that contemporary physics is compatible with some kind of pluralism that affirms that these entities are robustly real. A pluralist ontology is likely to have implications for discussions of free will and agency.
A Dynamic B Theory of Time
Authors: Koons Robert C. 
Published: March 2022

AbstractAn adequate account of free will requires a robust powers ontology, but does it also require a “dynamic” A Theory of time? I argue that it is possible to construct a dynamic B Theory of time that is compatible with an Aristotelian ontology of causal powers and with free will. I conclude by considering whether extreme forms of A Theory, including a strict Presentism, are incompatible with a powers ontology.
Symbolic Predictive Cache Analysis for Out-of-Order Execution
Authors: Huang Zunchen , Wang Chao 
Published: March 2022

AbstractWe propose a trace-based symbolic method for analyzing cache side channels of a program under a CPU-level optimization called out-of-order execution (OOE). The method is predictive in that it takes the in-order execution trace as input and then analyzes all possible out-of-order executions of the same set of instructions to check if any of them leaks sensitive information of the program. The method has two important properties. The first one is accurately analyzing cache behaviors of the program execution under OOE, which is largely overlooked by existing methods for side-channel verification. The second one is efficiently analyzing the cache behaviors using an SMT solver based symbolic technique, to avoid explicitly enumerating a large number of out-of-order executions. Our experimental evaluation on C programs that implement cryptographic algorithms shows that the symbolic method is effective in detecting OOE-related leaks and, at the same time, is significantly more scalable than explicit enumeration.
A Survey-driven Feature Model for Software Traceability Approaches
Authors: Batot Edouard Romari , Gérard Sebastien , Cabot Jordi 
Published: March 2022

AbstractTraceability is the capability to represent, understand and analyze the relationships between software artefacts. Traceability is at the core of many software engineering activities. This is a blessing in disguise as traceability research is scattered among various research subfields, which impairs a global view and integration of the different innovations around the recording, identification, evaluation and management of traces. This also limits the adoption of traceability solutions in industry.In this sense, the goal of this paper is to present a characterization of the traceability mechanism as a feature model depicting the shared and variable elements in any traceability proposal. The features in the model are derived from a survey of papers related to traceability published in the literature. We believe this feature model is useful to assess and compare different proposals and provide a common terminology and background. Beyond the feature model, the survey we conducted also help us to identify a number of challenges to be solved in order to move traceability forward, especially in a context where, due to the increasing importance of AI techniques in Software Engineering, traces are more important than ever in order to be able to reproduce and explain AI decisions.
SMC4PEP: Stochastic Model Checking of Product Engineering Processes
Authors: Hage Hassan , Seferis Emmanouil , Hashemi Vahid , Mantwill Frank 
Published: March 2022

AbstractProduct Engineering Processes (PEPs) are used for describing complex product developments in big enterprises such as automotive and avionics industries. The Business Process Model Notation (BPMN) is a widely used language to encode interactions among several participants in such PEPs. In this paper, we present SMC4PEPl as a tool to convert graphical representations of a business process using the BPMN standard to an equivalent discrete-time stochastic control process called Markov Decision Process (MDP). To this aim, we first follow the approach described in an earlier investigation to generate a semantically equivalent business process which is more capable of handling the PEP complexity. In particular, the interaction between different levels of abstraction is realized by events rather than direct message flows. Afterwards, SMC4PEPl converts the generated process to an MDP model described by the syntax of the probabilistic model checking tool PRISM. As such, SMC4PEPl provides a framework for automatic verification and validation of business processes in particular with respect to requirements from legal standards such as Automotive SPICE. Moreover, our experimental results confirm a faster verification routine due to smaller MDP models generated from the alternative event-based BPMN models.
OPE of line defects in 5d En SCFT
Authors: Oh Jihwan 
Published: March 2022

Abstract
5d ray index is the 5d superconformal index in the presence of a ray-like defect. An elementary ray defect flows to a fundamental Wilson ray in IR gauge theory. In 5d $$ \mathcal{N} $$
N
= 1 superconformal field theory(SCFT) with En global symmetry, we compute the ray index associated with an adjoint Wilson ray. We show that the operators that appear in the index are non-trivially charged under the center of the global symmetry En. The charge under the center being twice compared with the center charge carried by the elementary ray operator indicates a non-trivial OPE between the ray-like defects in the UV SCFT.
Towards intelligent monitoring system in wire arc additive manufacturing: a surface anomaly detector on a small dataset
Authors: Li Yuxing , Mu Haocheng , Polden Joseph , Li Huijun , Wang Lei , Xia Chunyang , Pan Zengxi 
Published: March 2022

AbstractRapid developments in artificial intelligence and image processing have presented many new opportunities for defect detection in manufacturing processes. In this work, an intelligent image processing system has been developed to monitor inter-layer deposition quality during a wire arc additive manufacturing (WAAM) process. This system reveals the feasibility and future potential of using computer vision knowledge in WAAM. Information produced from this system is to be used in conjunction with other quality monitoring systems to verify the quality of fabricated components. It is tailored to identify the presence of defects relating to lack of fusion and voids immediately after the deposition of a given layer. The image processing system is built upon the YOLOv3 architecture and through moderate changes on anchor settings and achieves 53% precision on surface anomaly detection and 100% accuracy in identifying the fabricated components’ location, providing a prerequisite for high-precision assessment of welding quality. The work presented in this paper presents an inter-layer vision-based defect monitoring system in WAAM and serves to highlight the feasibility of developing such intelligent computer vision systems for monitoring the WAAM process for defects.
Assessment of personality functioning in psychosomatic medicine
Authors: Wagner-Skacel Jolana , Matzer Franziska , Kohlhammer-Dohr Alexandra , Dalkner Nina , Jauk Emanuel 
Published: March 2022

Summary
Background
Personality functioning, also referred to as structural integration, describes basic emotion-related perception and regulation capacities directed towards the self and others. Patients with impairments of personality functioning experience difficulties in self-regulation and interpersonal relations. Although personality functioning has become increasingly important in psychotherapeutic and psychiatric diagnoses and treatment planning, there is little systematic evidence on the role of personality functioning in patients with chronic and somatic diseases. This article reviews empirical studies using standardized assessments of personality functioning in patients with chronic and somatic diseases and discusses the role of personality structure in psychosomatic medicine.

Results
Currently, there are only a limited number of studies using standardized assessments of personality functioning in patients with chronic or somatic diseases. The available evidence points to correlations of personality functioning with pain perception and the development of chronic pain. In addition, patients with lower levels of personality functioning may have difficulties in managing chronic conditions that require enduring changes in health behavior, such as in diabetes or posttransplantation therapy.

Conclusion
The review suggests a systematic link between personality functioning and health behavior in patients with chronic diseases that relate to self-regulation and coping strategies. These findings underline the importance of assessing personality functioning for diagnostics and treatment planning in psychosomatic medicine. Finally, an assessment of personality functioning could be helpful in choosing specific psychotherapeutic treatment strategies; however, more empirical studies are needed to comprehensively prove these assumptions.
No clear associations between subjective memory concerns and subsequent change in cognitive function: the PATH through life study
Authors: Xu Ying , Warwick Jane , Eramudugolla Ranmalee , Huque Hamidul , Anstey Kaarin J. , Peters Ruth 
Published: March 2022

AbstractThe literature on subjective memory concerns (SMC) as a predictor for future cognitive decline is varied. Furthermore, recent research has pointed to additional complexity arising from variability in the experience of SMC themselves (i.e. whether they are remitting or sustained over time). We investigated the associations between SMC and objectively measured cognition in an Australian population-based cohort. Four waves (4-year intervals between waves) of data from 1236 participants (aged 62.4 ± 1.5 years, 53% male) were used. We categorized participants as experiencing SMC, when they indicated that their memory problems might interfere with their day-to-day life and/or they had seen a doctor about their memory. SMC was categorized as “no” reported SMC, “remitting”, “new-onset” or “sustained” SMC. Cognitive assessment of immediate and delayed recall, working memory, psychomotor speed, attention and processing speed were assessed using a neuropsychological battery. Eighteen percent of participants were characterised as having SMC: 6% (77) “remitting”, 6% (77) “new-onset” and 6% (69) “sustained” SMC. There was no consistent evidence for an association between SMC and subsequent decline in cognition. However, SMC was associated with poorer performance on contemporaneous tasks of attention and processing speed compared to “no” SMC. Asking about SMC may indicate a current decline in cognitive function but, in this sample at least, did not indicate an increased risk of future decline.
Analysis of energy consumption bounds in CMOS current-steering digital-to-analog converters
Authors: Morales Chacón Oscar , Wikner J. Jacob , Svensson Christer , Siek Liter , Alvandpour Atila 
Published: March 2022

AbstractIn this paper, an attempt to estimate energy consumption bounds versus signal-to-noise ratio (SNR) and spurious-free dynamic range (SFDR) in CMOS current-steering digital-to-analog converters is presented. A theoretical analysis is derived, including the design corners for noise, speed and linearity for the mixed-signal domain. The study is validated by comparing the theoretical results with published measured data. As result it serves as a design reference to aim for minimum energy consumption. It is found that for an equivalent number of bits (ENOBs), the noise-bound grows at a rate of 22ENOB, whereas the speed-bound increases by 2ENOB−2 and is dependent on device dimensions. Therefore, as the technology scales down, the noise bound will dominate, which is observed for an estimated SNR of about 40 dB in 65 nm CMOS process. The linearity bound is derived from an analysis based on the assumption of limited output impedance, where it is found to be dependent on the device dimensions and increase at a rate of 2ENOB−1. The observations show that it is possible to achieve less energy consumption in all the design corners for different SNR and SFDR specifications within the Nyquist frequency, fs/2.
Argumentation in Suboptimal Settings
Authors: Castro Diego 
Published: March 2022

AbstractWhen parties attempt to persuade their opponents of the tenability of a certain standpoint using reasons, they will often find that the circumstances of the dialogue hinder their chances of resolution. Power imbalances, cognitive biases, lack of time or hidden interests are some of the circumstances they need to face. I will label these circumstances as suboptimal settings for argumentation. According to the pragma-dialectical tradition, higher-order conditions for critical discussion are unfulfilled in these cases (van Eemeren, Grootendorst, Jacobs, & Jackson, 1993). The main question of this paper is the following: what is the normative standard that parties in a discussion need to follow to arrive at a resolution within such circumstances? I will defend a middle-ground solution between two extreme ones.The first extreme position, the anything-goes policy, claims that, given that the conditions for a reasonable exchange of reasons are not satisfied, the dialogue stands outside the domain of reason, so anything goes for the parties. The second extreme position, the business as usual policy, claims that, since critical discussion is a normative model, the same rules should apply in suboptimal settings. Finally, the supernormal policy that I defend claims that we need a more general and comprehensive norm that I refer to as a supernorm to evaluate these cases.The supernormal policy divides argumentation into two stages: preparation and resolution. In the preparation stage, the parties attempt to restore or compensate for the suboptimality of the setting, while in the resolution stage, they attempt to resolve their disagreement. I contend that the moves of the preparation stage should be evaluated by using the supernorm instead of by the rules for critical discussion (van Eemeren and Grootendorst 2004). At this point, the paper considers theoretical insights from Gilbert (1995, 1997, 2002) and Jacobs (2000, 2006) to understand what this entails.
DICE simulation: a tool for software performance assessment at the design stage
Authors: Bernardi Simona , Gómez Abel , Merseguer José , Perez-Palacin Diego , Requeno José I. 
Published: March 2022

AbstractIn recent years, we have seen many performance fiascos in the deployment of new systems, such as the US health insurance web. This paper describes the functionality and architecture, as well as success stories, of a tool that helps address these types of issues. The tool allows assessing software designs regarding quality, in particular performance and reliability. Starting from a UML design with quality annotations, the tool applies model-transformation techniques to yield analyzable models. Such models are then leveraged by the tool to compute quality metrics. Finally, quality results, over the design, are presented to the engineer, in terms of the problem domain. Hence, the tool is an asset for the software engineer to evaluate system quality through software designs. While leveraging the Eclipse platform, the tool uses UML and the MARTE, DAM and DICE profiles for the system design and the quality modeling.