bluuebunny/crossref_metadata_2025_split huggingface dataset:
Improving high‐temperature capacitive energy storage of biaxially oriented polypropylene through titanium dioxide deposition layer by atmospheric pressure plasma jets
Authors: Lv Li , Zhang Chuansheng , Zhang Cheng , Xu Shaojun , Xing Zhaoliang , Shao Tao 
Published: July 2024

AbstractPolymer film capacitors experience a sharp decrease in charge–discharge efficiency and energy density under high‐temperature environments, which remains an urgent issue to address. In this article, atmospheric pressure plasma jet (APPJ) is used to deposit TiO2 to improve the energy storage performance of biaxially oriented polypropylene (BOPP) film in high‐temperature environment. The APPJ uses argon as the working gas and adopts a multielectrode grounding configuration to obtain the stable jet state. The precursor solution is prepared using tetraethyl titanate (TET) mixed with ethanol in a ratio of 5:3. The results show that the charge–discharge efficiency and discharge energy density (from 3.1 to 5.7 J cm–3) of BOPP films deposited by APPJ are improved at 120°C.
Aromaticity of tropylium derivatives: When and why might captodative structures be preferred over the isomeric push‐pull structures?
Authors: Shainyan Bagrat A. 
Published: July 2024

AbstractAn intriguing question in the general problem of aromaticity is whether captodative aromatic systems with the donor and acceptor substituents at the same carbon of the CC bond can be more stable than the π‐conjugated push‐pull counterparts? The analysis of electronic, magnetic, and structural criteria of aromaticity showed that for conventional organic substituents XO, TfN, (NC)2C, (NO2)2C, Tf2C, the push‐pull tropylidene derivatives [tropylium]+CHCHX− are expectedly more stable than their captodative isomers [tropylium]+C(X−)CH2, with the lowest ΔE for the most strong acceptor Tf2C. A different behavior is observed for XMHlg3 (MB, Al; HlgF, Cl). They are not only structurally and magnetically most aromatic in both series but show the inverse stability of the push‐pull and captodative isomers, the latter being more stable by up to 10 kcal/mol (in gas).The difference between the MHlg3 groups and conventional organic groups is that in the latter the electron density is transferred to the π‐system of the substituent, while the former can accept it only to the σ*(CM) orbital. Thus, when the electron donor and acceptor effects are separated between the σ and π systems, captodative isomers can be more stable than their push‐pull isomers with more extended conjugation.
Development of the headspace gas chromatography–tandem mass spectrometry method for ethylene oxide and ethylene chlorohydrin residue in medical devices
Authors: Chiang Yi Chun , Fang Ming Chih , Yang Chuan Kai , Wang Sheng Wei , Tseng Su Hsiang 
Published: July 2024

RationaleEthylene oxide (EO) sterilization is commonly employed for the sterilization of medical devices and has a very high market share. However, EO and its metabolite ethylene chlorohydrin (ECH) are toxic to humans. In compliance with the classification and residue limits of medical devices defined by ISO 10993‐7, our study established two extraction methods for the testing of EO and ECH.MethodsThe first method involves simulated‐use extraction using water as the extraction solvent. While the second, exhaustive extraction, directly extracts sample through headspace sampling analysis. Gas chromatography–tandem mass spectrometry in multiple reaction monitoring mode was utilized, requiring only 16 min. Then, the developed method was applied to assess 10 commercially available medical devices sterilized by EO.ResultsIn simulated‐use extraction, calibration curves were evaluated in the range of 1–100 and 5–500 μg for EO and ECH, respectively (r > 0.999). Inter‐day recoveries ranged from 85.0% to 95.2% and from 94.8% to 102.4%. In exhaustive extraction, calibration curves spanned 0.5–50 and 2–200 μg for EO and ECH, respectively (r > 0.999). Inter‐day recoveries ranged from 101.6% to 102.1% for EO and from 98.1% to 102.2% for ECH. After analysis of the 10 commercially available medical devices, two cotton swabs were found to have ECH of 35.1 and 28.4 μg per device, and four medical devices were found to have EO with concentration below the limit of quantification. Meanwhile, we found that the EO internal standard (propylene oxide) recommended by ISO 10993‐7 had interference problems with other similar substances and was not suitable as an internal standard for EO.ConclusionsThis study offers a sensitive and straightforward analytical approach to EO and ECH residues in a variety of medical devices. In addition, the results show that the EO or ECH content of these types of medical devices in our study falls below the regulatory limits, therefore instilling confidence among consumers regarding their safe use.
Nezha‐SeaDart: A tail‐sitting fixed‐wing vertical takeoff and landing hybrid aerial underwater vehicle
Authors: Jin Yufei , Zeng Zheng , Lian Lian 
Published: July 2024

AbstractThis paper presents the design, manufacturing and testing of a tail‐sitting vertically takeoff and landing fixed‐wing hybrid aerial underwater vehicle (HAUV) called Nezha‐SeaDart. Nezha‐SeaDart can vertically take off and land from ground and water, cruise in the air with lift generated by the wings, seamlessly cross the water–air interface and operate underwater like an autonomous underwater vehicle. Nezha‐SeaDart underwent a 10‐day field test in China's Thousand Islands Lake of Zhejiang Province, proving its ability to perform full cross‐domain missions. This research has the following contributions to the field of HAUV. (i) A working prototype of vertical takeoff and landing tail‐sitting HAUV with all basic functions verified and full mission cycle capability demonstrated in a field test. (ii) An HAUV that travels fast both in the air and underwater. (iii) An HAUV capable of autonomous and seamless water exit that does not rely on a dedicated propulsion system. (iv) A method of sizing the vehicle's wing and thrust considering aerial cruises, underwater operations, and seamless water exits.
Sustainability assessment of demolition based on quantitative external costs
Authors: Li Wang , Ueda Tamon 
Published: July 2024

AbstractRapid urbanization brings us challenges, but it is meant to bring us well‐being. The short lifetime of buildings and urban renewal policies have led to the demand for demolition. The aim of this study is to demonstrate the benefits of implementing an advanced demolition system and to fill the sustainability assessment gap in the demolition sector. This approach will help reduce obstacles to conducting sustainable demolition. To achieve this goal, an assessment system based on external costs was built, which mainly focused on the costs of damage due to global warming and environmental pollution. A case study employing two advanced demolition systems was used to show how the assessment works and the effects of demolition. According to the assessment results, the total external damage for the two advanced demolition systems is 37.6% and 19.6% of that of the conventional demolition method. Excellent waste management causes damage due to global warming in only 9.4% of conventional demolition projects, but noise impacts are still a crucial issue in the demolition field, as they contribute to 74.4% of the total damage. Based on the case study results, the benefits of sustainable demolition and the future of demolition are revealed. Further development should be sought for future demolition through new design theory or new technology.
Arithmetic Solving in Z3
Authors: Bjørner Nikolaj , Nachmanson Lev 
Published: July 2024

AbstractThe theory of arithmetic is integral to many uses of SMT solvers. Z3 has implemented native solvers for arithmetic reasoning since its first release. We present a full re-implementation of Z3’s original arithmetic solver. It is based on substantial experiences from user feedback, engineering and experimentation. While providing a comprehensive overview of the main components we emphasize selected new insights we arrived at while developing and testing the solver.
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata
Authors: Miltner Anders , Wang Ziteng , Chaudhuri Swarat , Dillig Isil 
Published: July 2024

AbstractIn this paper, we present a new synthesis method based on the novel concept of a constraint annotated tree automaton (CATA). A CATA is a variant of a finite tree automaton (FTA) where the acceptance of a term by the automaton is conditioned upon the logical satisfiability of a formula. In the context of program synthesis, CATAs allow the construction of a more precise version space than FTAs by ruling out programs that make inconsistent assumptions about the unknown semantics of functions under synthesis. We apply our proposed algorithm to synthesizing recursive (or mutually recursive) procedures from relational specifications and demonstrate that our method allows solving synthesis problems that are beyond the scope of existing approaches.
Trauma-related preventable death; data analysis and panel review at a level 1 trauma centre in Amsterdam, the Netherlands
Authors: Mikdad S. , Hakkenbrak N. A.G. , Zuidema W. P. , Reijnders U. J.L. , de Wit R. J. , Jansen E. H. , Schwarte L. A. , Schouten J. W. , Bloemers F. W. , Giannakopoulos G. F. , Halm J. A. 
Published: July 2024

Abstract
Purpose
Trauma-related death is used as a parameter to evaluate the quality of trauma care and identify cases in which mortality could have been prevented under optimal trauma care conditions. The aim of this study was to identify trauma-related preventable death (TRPD) within our institute by an external expert panel and to evaluate inter-panel reliability.

Methods
Trauma-related deaths between the 1st of January 2020 and the 1st of February 2022 at the Amsterdam University Medical Centre were identified. The severely injured patients (injury severity score ≥ 16) were enrolled for preventability analysis by an external multidisciplinary panel, consisting of a trauma surgeon, anaesthesiologist, emergency physician, neurosurgeon, and forensic physician. Case descriptions were provided, and panellists were asked to classify deaths as non-preventable, potentially preventable, and preventable. Agreements between the five observers were assessed by Fleiss kappa statistics.

Results
In total 95 trauma-related deaths were identified. Of which 36 fatalities were included for analysis, the mean age was 55.3 years (± 24.5), 69.4% were male and 88.9% suffered blunt trauma. The mean injury severity score was 35.3 (± 15.3). Interobserver agreement within the external panel was moderate for survivability (Fleiss kappa 0.474) but low for categorical preventable death classification (Fleiss kappa 0.298). Most of the disagreements were between non-preventable or potentially preventable with care that could have been improved.

Conclusion
Multidisciplinary panel review has a moderate inter-observer agreement regarding survivability and low agreement regarding categorical preventable death classification. A valid definition and classification of TRPD is required to improve inter-observer agreement and quality of trauma care.
Music reward sensitivity is associated with greater information transfer capacity within dorsal and motor white matter networks in musicians
Authors: Matthews Tomas E. , Lumaca Massimo , Witek Maria A. G. , Penhune Virginia B. , Vuust Peter 
Published: July 2024

AbstractThere are pronounced differences in the degree to which individuals experience music-induced pleasure which are linked to variations in structural connectivity between auditory and reward areas. However, previous studies exploring the link between white matter structure and music reward sensitivity (MRS) have relied on standard diffusion tensor imaging methods, which present challenges in terms of anatomical accuracy and interpretability. Further, the link between MRS and connectivity in regions outside of auditory-reward networks, as well as the role of musical training, have yet to be investigated. Therefore, we investigated the relation between MRS and structural connectivity in a large number of directly segmented and anatomically verified white matter tracts in musicians (n = 24) and non-musicians (n = 23) using state-of-the-art tract reconstruction and fixel-based analysis. Using a manual tract-of-interest approach, we additionally tested MRS-white matter associations in auditory-reward networks seen in previous studies. Within the musician group, there was a significant positive relation between MRS and fiber density and cross section in the right middle longitudinal fascicle connecting auditory and inferior parietal cortices. There were also positive relations between MRS and fiber-bundle cross-section in tracts connecting the left thalamus to the ventral precentral gyrus and connecting the right thalamus to the right supplementary motor area, however, these did not survive FDR correction. These results suggest that, within musicians, dorsal auditory and motor networks are crucial to MRS, possibly via their roles in top-down predictive processing and auditory-motor transformations.
A strategic options game approach to support PPP investment decisions under risk-sharing mechanisms
Authors: Biancardi Marta , Bufalo Michele , Di Bari Antonio , Villani Giovanni 
Published: July 2024

AbstractThe need to obtain financial funds to pursue public utility investments implies the generation of Public-Private Partnership (PPP) projects. The PPP framework can involve risk-sharing mechanisms between public administration and private sector to encourage private investors to fund these projects. However, these risk-sharing mechanisms, such as Minimum Revenue Guarantee or Revenue Cap (RC), could generate opportunistic behaviors. For this reason, we can set this problem as a game in which government and private investors would act as players. This paper proposes a mathematical model to evaluate the PPP projects through a combination of Game Theory (GT) and Real Options Approach (ROA). The ROA is needed to price the uncertainty that affects PPP investments, and the GT captures the strategic interactions between public and private sectors. A case study on a wastewater treatment project is developed to apply the model we proposed.
Diverse carbon sources impact the biofloc system in brackish groundwater altering water quality, fish performance, immune status, antioxidants, plasma biochemistry, pathogenic bacterial load and organ histomorphology in Florida red tilapia
Authors: El-Dahhar Alaa A. , Elhetawy Ashraf. I. G. , Shawky Wael A. , El-Zaeem Samy Y. , Abdel-Rahim Mohamed M. 
Published: July 2024

AbstractA 75-day rearing trial was completed to investigate the effectiveness of different biofloc systems (BFT) on the water quality, growth performance and health status of Florida red tilapia (FRT) grown in brackish groundwater (BGW). The trial consisted of the control and three types of BFT using different carbon sources (CS), starch (ST), rice bran (RB), and wheat bran (WB) in triplicate, expressed as BF-0, BF-ST, BF-RB, and BF-WB, respectively. Fish weighing 4.98 ± 0.01 g/fish were stocked in 250-L tanks at an initial stocking density of 25 fish. The findings demonstrated significant reductions in inorganic nitrogen by-product (NH3 and NO2) levels in all BFT groups compared to the control, with an increase in floc volume and floc nutritional value, in the BF-ST and BF-RB groups. Furthermore, fish in the BF-ST and BF-RB groups showed significant improvements in fish growth indices (final weight, weight gain, and FCR). Fish in the BFT groups showed significant improvement in kidney function indices and plasma lipids with no significant changes in liver enzyme activity compared to the control. Lower stress markers (glucose and cortisol) and higher digestive enzyme activity (lipase and protease), innate immune parameters and antioxidants were reported in fish of the BF-ST and BF-RB groups compared to the control fish. Histopathological inspection revealed that the BF-ST fish exhibited healthier livers and shared healthier intestines with BF-RB fish compared to the control group. In conclusion, RB is an appropriate CS with BGW for desert aquaculture due to its availability, inexpensiveness, and comparable outcomes with ST.
Predicting Intraindividual Change in Satisfaction with Life During COVID-19: A Prospective Study of Swiss Older Adults with Differing Levels of Childhood Adversity
Authors: Thoma Myriam V. , Bernays Florence , Fuhrer Joffrey , Höltge Jan , Salas Castillo Aileen N. , Rohner Shauna L. 
Published: July 2024

AbstractObjectives This study examined intraindividual change in satisfaction with life (SWL) in Swiss older adults before, during, and after COVID-19. It assessed whether predictors of adaptation influenced SWL stability, and whether this differed depending on adverse childhood experiences (ACE). Methods SWL was assessed eight times over a 21-month period. ACE, emotion regulation, meaning in life, and subjective socio-economic status (SES) were assessed as predictors. Data were analyzed using growth curve modeling. Results The sample consisted of two groups: A risk group (RG: n = 111, Mage = 69.4 years) comprised of individuals with a high risk of having been exposed to ACE, and a (low-risk) control group (CG: n = 120, Mage = 70.3 years). Intraindividual change in SWL was predicted by (presence of) meaning in life only in the RG, and by subjective SES only in the CG. Conclusion Results identified predictors of stable SWL trajectories and the potential for positive psychological functioning into later life, despite past and current prolonged adversity.
The 234U/238U activity ratio as an indicator of redox surface in the Allouga Quarry face, Southwestern Sinai, Egypt
Authors: Ibrahim Eman M. 
Published: July 2024

AbstractThe234U/238U activity ratio can be used to delineate the last redox surface between the lower and middle members of Um Bogma Formation in Allouga Quarry, southwestern Sinai, Egypt. The activity concentrations of radionuclides were measured for nine samples collected from the base to top of the geologic section. The234U/238U activity ratio was used to express the oxidation or reduction prevailing. The lower (base) samples showed oxidation state, while the upper (top) samples showed reduction state. From uranium age results, the uranium leaching process in lower member is more recent than the uranium accumulation process in middle member.
Influence of extruder geometry and bio-ink type in extrusion-based bioprinting via an in silico design tool
Authors: Chirianni Francesco , Vairo Giuseppe , Marino Michele 
Published: July 2024

AbstractPlanning a smooth-running and effective extrusion-based bioprinting process is a challenging endeavor due to the intricate interplay among process variables (e.g., printing pressure, nozzle diameter, extrusion velocity, and mass flow rate). A priori predicting how process variables relate each other is complex due to both the non-Newtonian response of bio-inks and the extruder geometries. In addition, ensuring high cell viability is of paramount importance, as bioprinting procedures expose cells to stresses that can potentially induce mechanobiological damage. Currently, in laboratory settings, bioprinting planning is often conducted through expensive and time-consuming trial-and-error procedures. In this context, an in silico strategy has been recently proposed by the authors for a clear and streamlined pathway towards bioprinting process planning (Chirianni et al. in Comput Methods Appl Mech Eng 419:116685, 2024. https://doi.org/10.1016/j.cma.2023.116685). The aim of this work is to investigate on the influence of bio-ink polymer type and of cartridge-nozzle connection shape on the setting of key process variables by adopting such in silico strategy. In detail, combinations of two different bio-inks and three different extruder geometries are considered. Nomograms are built as graphical fast design tools, thus informing how the printing pressure, the mass flow rate and the cell viability vary with extrusion velocity and nozzle diameter.
Journalism and public trust in science
Authors: Schipani Vanessa 
Published: July 2024

AbstractJournalists are often the adult public’s central source of scientific information, which means that their reporting shapes the relationship the public has with science. Yet philosophers of science largely ignore journalistic communication in their inquiries about trust in science. This paper aims to help fill this gap in research by comparing journalistic norm conflicts that arose when reporting on COVID-19 and tobacco, among other policy-relevant scientific topics. I argue that the public’s image of scientists– as depositories of indisputable, value-free facts, trustworthy only when in consensus– makes it particularly difficult for journalists to ethically communicate policy-relevant science rife with disagreement. In doing so, I show how journalists, like scientists, face the problem of inductive risk in such cases. To overcome this problem, I sketch a model of trust in science that is grounded in an alternative image of scientists– what I call the responsiveness model of trust in science. By highlighting the process of science over its product, the responsiveness model requires scientists to respond to empirical evidence and the public’s values to warrant the public’s trust. I then show why this model requires journalists to be the public’s watchdogs by verifying and communicating whether scientists are being properly responsive both epistemically and non-epistemically.
Endogenous beliefs and social influence in a simple macroeconomic framework
Authors: Terranova Roberta 
Published: July 2024

AbstractThis paper incorporates endogenously emerging beliefs and social influence into a stylized Islands model characterized by uncertainty, strategic complementarity, and frictional coordination. Individuals in the model hold pessimistic, neutral, or optimistic beliefs, which can change over time due to economic outcomes and social influence. The study aims to assess how social influence affects agents’ coordination, economic stability, and welfare. We show that rational expectations are unstable in the absence of social influence. Agents coordinate over time on a pessimistic and highly inefficient stationary state in which output and welfare are below the rational expectations equilibrium. As the importance of social influence grows, the steady state becomes even more pessimistic. As it crosses a certain threshold, additional equilibria emerge. As a result, the economy may converge to the rational expectations steady state, in which welfare is highest, or to a much more optimistic equilibrium, which is not necessarily more efficient. Finally, we show that by reducing higher-order uncertainty, social influence can act as a coordination device with positive effects on welfare.