bluuebunny/crossref_metadata_2025_split huggingface dataset:
Drivers and Barriers Influencing Consumers' Intention to Purchase Cosmetics With Refillable Packaging
Authors: Kazançoğlu İpek , Köse Şirin Gizem , Arslan Aygül 
Published: April 2024

ABSTRACTIn recent years, conscious consumers have become an important segment of the market. In the cosmetics industry, green products are also at the forefront. The refillable packaging is a significant step in this direction. The aim of this study is to identify the drivers and barriers that affect the intention to purchase cosmetics with refillable packaging. In‐depth interviews were conducted with 20 Generation Z women. Content analysis was used to identify themes, categories and subcategories in the transcripts. According to the results, the categories that drive consumers to purchase cosmetic products with refillable packaging include peer influence, marketing communication, social media, perceived benefits, brand reputation, environmental consciousness and knowledge, anticipated positive emotions, product availability and variety. The barriers identified include lack of awareness and knowledge, high prices, influencer effect, low perceived consumer effectiveness, consumers' concerns about greenwashing, product quality and status concerns, health concerns and operational barriers. These results provide a comprehensive understanding of consumers' intentions to purchase refillable packaging.
Acute kidney injury after robot‐assisted laparoscopic prostatectomy: A meta‐analysis
Authors: Chandramohan Deepak , Konda Raghunandan , Pujari Ashwini , Avula Sreekant , Palleti Sujith Kumar , Jena Nihar , Naik Roopa , Bali Atul 
Published: April 2024

AbstractBackgroundWe investigated the rates of acute kidney injury (AKI) post robot‐assisted laparoscopic prostatectomy (RALP).MethodsA comprehensive search was conducted to identify studies that reported the rates of AKI post‐RALP. A random effects model was used, and the pooled rates of AKI were calculated.ResultsWe identified 10 studies with 60,937 patients to be included. The mean age was 65.1 years. The mean anaesthesia time was 234.3 min (95% CI: 177.8–290.9). The mean operation time was 212.2 min (95% CI: 188.7–235.6). The mean estimated blood loss was 314.1 mL (95% CI: 153–475.3). The mean intraoperative IV fluids administered were 1985 mL (95% CI: 1516.3–2453.7). The pooled rate of AKI post RALP was 7.2% (95% CI 19–23.9).ConclusionsThe rates of AKI after RALP are significant. Further studies are needed to detect the risk factors for AKI and to determine the rates of chronic kidney disease post‐RALP.
Mesoporous Nitrogen‐Doped Holey Reduced Graphene Oxide: Preparation, Purification, and Application for Metal‐Free Electrochemical Sensing of Dopamine
Authors: Mikhraliieva Albina , Lima Adriano R. S. , Jost Cristiane L. , Nazarkovsky Michael , Xing Yutao , Zaitsev Volodymyr 
Published: April 2024

AbstractHoley graphenic nanomaterials with porosity within the basal plane attract significant interest. It is observed that the perforation of graphene can enhance the specific surface area of the nanosheet, ensuring effective wetting and penetration of electrolytes to the electrode surface, facilitating rapid charge transfer, and boosting the electrocatalytic efficacy of the transducers. This study reports the first example of nitrogen‐doped holey reduced graphene oxide with a mesoporous morphology of the graphene basal plane (N‐MHG). It is shown that N‐MHG can be synthesized through a one‐step hydrothermal treatment of GO using NH3 and H2O2. A straightforward procedure for the purification of N‐MHG has also been developed. AFM, TEM, and Raman analyses have revealed that N‐MHG possesses a highly mesoporous network structure with a pore size ranging from 10 to 50 nm. X‐ray photoelectron spectroscopy data have indicated a partial reduction of the graphene oxide sheets during the etching process but also show a 3–5 times higher content of C═O and O–C═O fragments compared to rGO. This could account for the remarkable stability of the N‐MHG aqueous suspension. An electrochemical sensor for dopamine analysis is assembled on a glassy carbon electrode with N‐MHG/Nafion membrane and characterized by cyclic voltammetry and electrochemical impedance spectroscopy.
Impact of competence on agile effort estimation in academic setting
Authors: Fürst Luka , Hovelja Tomaž , Poženel Marko , Vavpotič Damjan 
Published: April 2024

AbstractEffort estimation is an important activity in agile software development. The goal of the presented study was to determine the influence of individual competence on software development effort estimation. In particular, we measured both the accuracy of effort estimation and the duration of the estimation process itself, both for three different estimation methods. The subjects of our study were teams of students of a graduate‐level software engineering course at the University of Ljubljana, Faculty of Computer and Information Science. Based on the grades that individual students attained in their undergraduate study, we classified each team as “high‐competence” or “low‐competence” and additionally as “heterogeneous” or “homogeneous” (the criterion here being the variance of the members' average grades). We found out that there was no significant difference in effort estimation accuracy neither between high‐competence and low‐competence teams nor between heterogeneous and homogeneous teams, regardless of which estimation method was used. However, high‐competence teams spent significantly less time on effort estimation than low‐competence ones. Likewise, for two of the employed estimation methods, heterogeneous teams completed effort estimation in a significantly shorter time than homogeneous teams. These results might benefit both academic and professional community.
Stakeholders self‐organization and adaptive governance in social enterprises: Membership representation, worker control and client orientation
Authors: Tortia Ermanno C. 
Published: April 2024

AbstractThe article uses elements of complexity theory, social systems theory, and new institutionalism to analyse stakeholder self‐organization in Italian non‐profit social enterprises. Organizational development goes through an evolutionary process of trial and error, in which stakeholder self‐organization produces governance rules and routines to achieve adaptation and resilience in a changing socioeconomic environment. Survey data regarding social cooperatives, which are prevalent in Italy as a form of social enterprise, display how diverse stakeholders engage in self‐organization and self‐positioning within key governance bodies of membership and board of directors. The results demonstrate that in the absence of investor ownership, producers, especially paid staff but also volunteer workers, assume the main responsibility for decision‐making and control. Client orientation, the production of economic and social value in favour of customers and users, is achieved in a context of high relational intensity through participation in the co‐production and co‐creation of services, as well as the pooling of non‐commercial resources and favourable price discrimination, less through participation in decision‐making and control. This emerging evolutionary pattern can support the development of new organizational and business models for social enterprises.
Variability of coal mine overburden incorporated concrete and its effect on the seismic safety of reinforced concrete building
Authors: Jena Biswajit , Zade Nikhil P. , Sarkar Pradip 
Published: April 2024

AbstractImproved utilization of coal mine overburden material (CMOB)‐incorporated concrete in the construction sector can contribute to developing a more sustainable built environment if the results of proven research on the behavior of structures constructed of CMOB‐incorporated concrete are applied. Even though there have only been a few studies on CMOB‐incorporated concrete, no research has been done on how this type of concrete can be used in structures. In particular, researchers have not paid much attention to the fact that the strength properties of CMOB‐incorporated concrete tend to be very variable, even though this variability is needed for a wide range of structural applications (such as limit state design formulation, reliability‐based structural analysis, etc.). For the first time, this research provides quantitative estimates of the variability in compressive‐, flexural‐, and splitting tensile strengths of cured concrete using varying amounts of a CMOB sample as fine aggregate. Taking into account the suggested distribution model, the research also provides a reliability‐based seismic risk assessment of a standard CMOB‐incorporated framed building. The failure probability and dispersion in the drift demand were found to be the same for the frames modeled with CMOB and standard concrete (natural sand); the results demonstrate that CMOB samples can be safely used for earthquake‐resistant constructions.
Study on shear behavior and acoustic emission characteristics of precast concrete segmental cover beams with large key teeth
Authors: Tian Ye , Liu Duo , Chen Xudong , Luan Jinjin , Zhang Jiandong 
Published: April 2024

AbstractThe mechanical characteristics of segmental joints are pivotal in defining the comprehensive stress behavior of prefabricated assembled cover beams. In this research, direct shear tests were conducted on dry key‐tooth joints, and acoustic emission technology was employed for monitoring purposes. The shear failure mechanism was explored under a range of influential parameters. Building upon these observations, the study delved into the mechanical response of joints within segmental cover girders subjected to concurrent bending and shear forces. Specimen K‐3‐3 exhibited a higher shear carrying capacity compared to other specimens, indicating that the shear resistance of dry joints proportionally increases with the height of the specimen and the strength of the concrete. The carrying capacity of Specimen K‐4 was marginally lower than that of Specimens K‐3‐1 and K‐3‐2, suggesting that increasing the number of keys does not significantly impact the shear resistance of dry joints. Notably, Specimen K‐3 demonstrated exceptional shear carrying capacity, exhibiting minimal relative slip during failure, and streamlined the casting process. Consequently, these dry joints featuring large key teeth are deemed more appropriate for use as shear connectors in precast concrete segmental cover beams. Crack patterns in large key tooth precast concrete segmental cover beams propagate along the joints. A damage evolution model for the specimens, based on spatial b‐values and T‐values, visually depicts the damage extent in large key tooth precast concrete segmental cover beams. This model demonstrates excellent agreement with experimental results and provides a solid foundation for theoretical research and practical applications of large key tooth precast concrete segmental cover beams.
Effect of olive waste ash on the properties of high‐strength geopolymer concrete
Authors: Zeyad Abdullah M. , Bayagoob Khaled H. , Amin Mohamed , Tayeh Bassam A. , Mostafa Sahar A. , Agwa Ibrahim Saad 
Published: April 2024

AbstractThis study examines the effect of incorporating olive waste ash (OWA) into high‐strength geopolymer concrete (HSGC) by partially replacing fly ash (FA) and/or granulated blast furnace slag (GBFS) in the presence of rice husk ash (RHA). A total of 18 different mixtures were prepared and divided into three groups: (1) Utilizing OWA as a partial replacement for FA at a weight ratio of 10%–50%. (2) Incorporating OWA as a partial substitute for GBFS, with a weight ratio of 10%–50%. (3) Incorporate OWA as a partial substitute for FA and GBFS, with a recommended weight ratio of 10%–50%. The slump flow test was used to analyze the fresh properties of the HSGC. The hardening properties were examined by measuring the compressive strength, tensile strength, flexural strength, and modulus of elasticity. Furthermore, an analysis was conducted on the water absorbency, sulfate attack, and chloride penetration depth. A scanning electron microscope was used for the microstructural analysis. The inclusion of OWA in HSGC mixtures resulted in a significant enhancement of the compressive strength. Specifically, adding 20% OWA to FA increased the compressive strength by 8.9% at 28 days. Similarly, 30% OWA for GGBS and 30% OWA for GGBS + FA led to compressive strength improvements of 20% and 17.8%, respectively. OWA application resulted in an enhanced microstructure density of the HSGC samples. The ideal substitution ratio varied between 20% and 30% based on weight.
Ketamine induces insomnia‐like symptom of zebrafish at environmentally relevant concentrations by mediating GABAergic synapse
Authors: Guo Tingting , He Yuhang , Mao Shengqiang , Yang Ying , Xie Hongguan , Zhang Sifan , Dai Shuiping 
Published: April 2024

AbstractAlthough the stimulative effects on the normal behaviors of fish posed by ketamine (KET) were well‐studied, the adverse effects on the behavioral functions induced by KET at nighttime were unknown. Here, we used zebrafish larvae as a model exposed to KET (10, 50, 100, and 250 ng/L) at environmental levels for 21 days. The behavioral functions at nighttime, morphological changes during exposure stage, and alterations on the associated genes transcriptional levels of fish were determined. The difficultly initiating sleep was found in the fish exposed to KET, while the sleep duration of the animals was at the normal levels in exposure groups. The significant suppressions of the developmentally relevant genes, including bmp2, bmp4, and pth2ra were consistent with the developmental abnormalities of fish found in exposure groups. Moreover, the expression of γ‐aminobutyric acid (GABA) receptor increased and melatonin (MTN) receptor decreased while the levels of GABA and MTN remained unchanged after exposure, by gene expression analysis and molecular docking. In addition, the transcriptional expression of apoptotic genes, including tp53, aifm1, and casp6, was significantly upregulated by KET. After a 7‐day recovery, the insomnia‐like behaviors (shorter sleep duration) were observed in zebrafish from the 250 ng/L‐KET group. Accordingly, the adverse outcome pathway framework of KET was constructed by prognostic assessment of zebrafish larvae. This study suggested that the adverse outcomes of KET on the sleep health of organisms at environmentally relevant concentrations should be concerned.
Building Mental Models of Writers: Writing Aloud in Writing Instruction
Authors: Pratt Sharon M. , Hodges Tracey S. 
Published: April 2024

AbstractThe act of writing involves decision‐making that can be challenging for elementary students as they choose ideas, organization structures, and audiences for whom to share their messages. Teachers can support students in their decision‐making through providing explicit explanation of the metacognitive decision‐making that occurs at each stage of the writing process, using various strategies and skills that writers employ in their craft. To help teachers facilitate these processes, we present the DECIDE Framework to support teachers in demystifying writers' decision‐making through strategically planning write‐aloud lessons that include metacognitive elements and gradual release of responsibility. This framework supports teachers in making decision‐making concrete for students through the use of scripting, scaffolding, and reflecting tools.
Evaluation of haematological parameters in haemolytic anaemia caused by tick‐borne pathogens in grazing cattle
Authors: Kim Youngjun , Ku Ji‐Young , Jung Youngwoo , Lim Young‐Hwan , Ji Min‐Jeong , Park Yu‐Jin , Cho Hyung‐Chul , Choi Kyoung‐Seong , Park Jinho 
Published: April 2024

AbstractBackgroundNo tick‐borne pathogens (TBPs) causing haemolytic anaemia in cattle have been reported, except Theileria orientalis and complete blood count (CBC) profile is the only haematological parameter to determine the severity of regenerative haemolytic anaemia.ObjectivesTo identify the causative agents of TBP‐induced haemolytic anaemia and determine haematological parameters that indicate haemolytic anaemia in grazing cattle.MethodsEighty‐two Korean indigenous cattle (Hanwoo) were divided into two groups: grazing (n = 67) and indoor (n = 15) groups. CBC and serum biochemistry were performed. PCR was conducted using whole blood‐extracted DNA to investigate the prevalence of TBPs.ResultsTBP‐induced haemolytic anaemia was observed in the grazing group. In grazing cattle, co‐infection (43.3%, 29/67) was most frequently detected, followed by T. orientalis (37.6%, 25/67) and Anaplasma phagocytophilum infections (1.5%, 1/67). In indoor cattle, only co‐infection (20%, 3/15) was identified. Grazing cattle exhibited regenerative haemolytic anaemia with marked monocytosis, mild neutropenia, and thrombocytopenia. According to grazing frequency, the 1st‐time grazing group had more severe anaemia than the 2nd‐time grazing group. Elevations in indirect bilirubin and L‐lactate due to haemolytic anaemia were identified, and correlations with the respective markers were determined in co‐infected grazing cattle.ConclusionsQuantitative evaluation of haematocrit, mean corpuscular volume, and reticulocytes (markers of regenerative haemolytic anaemia in cattle) was performed for the first time. Our results show that, in addition to T. orientalis, A. phagocytophilum is strongly associated with anaemia. The correlation between haemolytic anaemia severity and haematological parameters (indirect bilirubin, reticulocytes, and L‐lactate) was confirmed.
Synthesis and Characterization of Novel Transition Metal Pnictogenide Compounds.
Authors: Dollberg Kevin , Moritz Jan , Mészáros Katalin , Jakobi Celina , Richter Roman‐Malte , Weigend Florian , von Hänisch Carsten 
Published: April 2024

AbstractA series of transition metal‐pnictogenide compounds were prepared starting from [(Dipp2NacNac)MCl] (M=Cr, Mn, Fe, Zn) (Dipp2NacNac=HC{C(Me)N(Dipp)}2) and [M'E(SiMe3)2] (M'=Li, K; E=P, As, Sb) as well as [Li(Et2O)nPH2] and [Li(tmeda)AsH2]. In the course of these investigations we were able to characterize all permutations for compounds of the composition [(Dipp2NacNac)ZnE(SiMe3)2] (E=P, As, Sb) and [(Dipp2NacNac)ZnEH2] (E=P, As). Moreover, the synthesis of selected compounds of type [(Dipp2NacNac)ME(SiMe3)2] for M=Cr, Mn, Fe and E=P−Sb are described. As part of our efforts, we established a number of bonding motifs that are underexplored in the literature to date. All isolated compounds, were examined by NMR spectroscopy, IR spectroscopy, Elemental analysis and X‐Ray structure analysis. DFT calculations on the chromium compounds were performed to investigate the binding situation between chromium and the group 15 element in more detail.
Venous blood gas and lactate values in adult giraffe trained for voluntary jugular phlebotomy
Authors: Cole Jordan Elias , Dadone Liza , Rao Sangeeta , Bapodra‐Villaverde Priya , Schilz Amy , Johnston Matthew 
Published: April 2024

AbstractBlood gas analyses have previously been performed for giraffe under anesthesia and with physical restraint in a chute; however, reference values for giraffe that are trained to participate in venipuncture without chemical or physical restraint have not previously been described. Using a point‐of‐care blood gas and lactate analyzer and 20 giraffe trained for voluntary phlebotomy, values were determined for venous blood gasses and plasma lactate concentration. Ninety‐five percent confidence in the mean values for venous pH (7.34–7.46), partial pressure of carbon dioxide (PCO2; 28.5–37.8 mmHg), partial pressure of oxygen (PO2; 56–102 mmHg), bicarbonate (HCO3−; 18.9–21.0 mmol/L), base excess (BE; −6.0 to −3.6 mmol/L), total carbon dioxide (TCO2; 19.9–22.0 mmol/L), and lactate (0.32–0.56 mmol/L) were calculated. This is the first report on venous blood gas analysis values for giraffe without chemical or physical restraint. These data will provide a reference for clinical interpretation of venous blood gas and lactate values in giraffe and demonstrate some of the potential diagnostic benefits to training giraffe and other zoo species for voluntary medical procedures.
Formally Verifying an Efficient Sorter
Authors: Beckert Bernhard , Sanders Peter , Ulbrich Mattias , Wiesler Julian , Witt Sascha 
Published: April 2024

AbstractIn this experience report, we present the complete formal verification of a Java implementation of inplace superscalar sample sort (
"Image missing") using the KeY program verification system. As
"Image missing" is one of the fastest general purpose sorting algorithms, this is an important step towards a collection of basic toolbox components that are both provably correct and highly efficient. At the same time, it is an important case study of how careful, highly efficient implementations of complicated algorithms can be formally verified directly. We provide an analysis of which features of the KeY system and its verification calculus are instrumental in enabling algorithm verification without any compromise on algorithm efficiency.
A State-of-the-Art Karp-Miller Algorithm Certified in Coq
Authors: Hilaire Thibault , Ilcinkas David , Leroux Jérôme 
Published: April 2024

AbstractPetri nets constitute a well-studied model to verify and study concurrent systems, among others, and computing the coverability set is one of the most fundamental problems about Petri nets. Using the proof assistant Coq, we certified the correctness and termination of the MinCov algorithm by Finkel, Haddad, and Khmelnitsky (FOSSACS 2020). This algorithm is the most recent algorithm in the literature that computes the minimal basis of the coverability set, a problem known to be prone to subtle bugs. Apart from the intrinsic interest of a computer-checked proof, our certification provides new insights on the MinCov algorithm. In particular, we introduce as an intermediate algorithm a small-step variant of MinCov of independent interest.
Speculative SAT Modulo SAT
Authors: Hari Govind V. K. , Garcia-Contreras Isabel , Shoham Sharon , Gurfinkel Arie 
Published: April 2024

AbstractState-of-the-art model-checking algorithms like IC3/PDR are based on uni-directional modular SAT solving for finding and/or blocking counterexamples. Modular SAT-solvers divide a SAT-query into multiple sub-queries, each solved by a separate SAT-solver (called a module), and propagate information (lemmas, proof obligations, blocked clauses, etc.) between modules. While modular solving is key to IC3/PDR, it is obviously not as effective as monolithic solving, especially when individual sub-queries are harder to solve than the combined query. This is partially addressed in SAT modulo SAT (SMS) by propagating unit literals back and forth between the modules and using information from one module to simplify the sub-query in another module as soon as possible (i.e., before the satisfiability of any sub-query is established). However, bi-directionality of SMS is limited because of the strict order between decisions and propagation – only one module is allowed to make decisions, until its sub-query is SAT. In this paper, we propose a generalization of SMS, called specSMS, that speculates decisions between modules. This makes it bi-directional – decisions are made in multiple modules, and learned clauses are exchanged in both directions. We further extend DRUP proofs and interpolation, these are useful in model checking, to specSMS. We have implemented specSMS in Z3 and empirically validate it on a series of benchmarks that are provably hard for SMS.