Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver by Maxim Petrov, Kirill Gagarski, Mikhail Belyaev, Vladimir Itsykson

“…This paper describes a prototype unit test generator for C based on a working bounded model checker called Borealis and shows that these two techniques are very similar and can be easily implemented by using the same basic components. The prototype test generator was sampled on a number of examples and showed good results in terms of test coverage and test excessiveness.…”
Get full text

Realization of Sustainable Organizational Performance Using New Technologies and Green Human Resource Management Practices by Shady Shayegan, Ardeshir Bazrkar, Reza Yadegari

“…The application of green methods in personnel management stimulates the implementation of a corporate strategy of sustainable development and opens new career opportunities for employees. …”
Get full text

Application of Natural Antioxidants as Feed Additives in Aquaculture: A Review by Xiaodan Hu, Wenjing Ma, Disen Zhang, Zikun Tian, Yuanqiang Yang, Yi Huang, Yuhang Hong

“…Oxidative stress, a critical factor affecting the health and productivity of aquatic organisms, arises from the imbalance between reactive oxygen species (ROS) production and antioxidant defenses. …”
Get full text

Modeling and Simulation of Cyber Battlefield by AliJabar Rashidi, Mohammad Shakibazad

“…In order to protect cyberspace against cyber-attacks we need cyber situation awareness framework for the implementation of our cyber maneuvers. This article allows execution cyber maneuvers with dynamic cyber battlefield simulator. …”
Get full text

IMPACTS OF ORGANIZATI ONAL EARNI NG CAPABILITY AND ISO 9001 EFFECTIVENESS ON FI NANCIAL PERFORMANCE OF EXPORTING COMPANIES IN THE FEDERATION OF BOSNIA AND HERZEGOVINA by Ensar Mekić, M. Sait Dinç

“…Before conducting a regression analysis in Software Package for Social Sciences, the exploratory factor analysis was conducted and five items were extracted. …”
Get full text

Radiation Mitigation for Power Line Communications Using Time Reversal by Amilcar Mescco, Pascal Pagani, Michel Ney, Ahmed Zeddam

“…Power Line Communication (PLC) is the response for nowadays high demand of multimedia services in domestic environment, not only for its fast and reliable transfer characteristics but also for its flexible low cost implementation, since the PLC technology uses the existing electrical network infrastructure and the omnipresent outlets throughout the home. …”
Get full text

Fractal Enterprise Model in Intangible Resource Analysis: Double-Hierarchy Method by Victoria Klyukina

“… In global competition, tangible resources as a differentiating factor of competitive advantage are losing their power. …”
Get full text

High Precision Range Extracting Method for FMCW LiDAR Using Semiconductor Laser Based on EO-PLL and NUDFT by Tao Xue, Jingyang Liu, Cheng Lu, Guodong Liu

“…Frequency tuning nonlinearities in semiconductor lasers constitute a critical factor that degrades measurement precision and spectral resolution in frequency-modulated continuous-wave (FMCW) LiDAR systems. …”
Get full text

Improving Similarity-Based Retrieval Efficiency by Using Graphic Processing Units in Case-Based Reasoning by Lukas Malburg, Maximilian Hoffmann, Simon Trumm, Ralph Bergmann

“…Our approach supports several syntactic and semantic similarity measures and is implemented in the open-source case-based reasoning framework ProCAKE. …”
Get full text

Assessment of customer satisfaction with logistics service in the light of the results of the research by Kułyk Piotr, Michałowska Mariola, Kotylak Sławomir

“…In an era of rapidly growing competition logistic customer service is growing increasingly important and is becoming a substantial factor in the success of companies operating in the market. …”
Get full text

A Unique Technique of Stable Midfoot and Hindfoot Fusion with Nonvascularized Fibula Graft in Charcot Arthropathy: A Case Report by Chandan Narang, Girish Motwani, Rehan Ahmed

“…Charcot neuropathy (CN) is a gradual, degenerative condition of the ankle and foot that is a factor in the disability of diabetic individuals. …”
Get full text

Articulation of Islam: President Joko Widodo’s Foreign Policy 2014-2019 by Achmad Ubaedillah, Muhammad Ali, Bimo Arfino

“…Through Constructivism approach and the concept of identity operated eclectically, the study finds that the factor of Islamic identity, to some extent, has contributed to the formation and implementation of foreign policy during this period. …”
Get full text

Pramipexole in addition to mood stabilisers for treatment-resistant bipolar depression: the PAX-BD randomised double-blind placebo-controlled trial by Hamish McAllister-Williams, Nicola Goudie, Lumbini Azim, Victoria Bartle, Michael Berger, Chrissie Butcher, Thomas Chadwick, Emily Clare, Paul Courtney, Lyndsey Dixon, Nichola Duffelen, Tony Fouweather, William Gann, John Geddes, Sumeet Gupta, Beth Hall, Timea Helter, Paul Hindmarch, Eva-Maria Holstein, Ward Lawrence, Phil Mawson, Iain McKinnon, Adam Milne, Aisling Molloy, Abigail Moore, Richard Morriss, Anisha Nakulan, Judit Simon, Daniel Smith, Bryony Stokes-Crossley, Paul Stokes, Andrew Swain, Zoë Walmsley, Christopher Weetman, Allan H Young, Stuart Watson

“…Confirmed diagnosis with potential confounding factors such as Parkinson’s disease or restless leg syndrome. …”
Get full text

Mini-GRID therapy delivers optimised spatially fractionated radiation therapy using a flattening free filter accelerator by M. Isabel Acuña, Charlotte Lamirault, Thibaut Larcher, Elise Brisebard, Tim Schneider, Marjorie Juchaux, Ramon Iglesias-Rey, Sabela Fernández-Rodicio, Pablo Aguiar, Noemi Gómez-Lado, Immaculada Martínez-Rovira, Roberto González-Vegas, Ibraheem Yousef, Antonio Gomez-Caamano, Miguel Pombar, Victor Luna, Manuel Sanchez, Yolanda Prezado

“…However, current clinical SFRT implementations do not allow the full potential to be exploited. …”
Get full text

Effectiveness of Bundled Interventions for the Prevention of Neonatal Hypothermia in Low-Income Settings: A Quality Improvement Project in a Referral Hospital in Ethiopia by Margherita Baracetti, Eleni Hagos, Jiksa Tolera, Francesco Cavallin, Enzo Facci, Giovanni Putoto, Fabio Manenti, Daniele Trevisanuto, Andrea Pietravalle

“…Background: Hypothermia at admission and in the following days is a major risk factor for neonatal mortality in both high- and low-resource settings. …”
Get full text

Expanding on Methodologies for Analyzing Truck Speeds in States with Differential Speed Limits by Gregory L. Brinster, Jairaj Desai, Rahul Suryakant Sakhare, Jijo K. Mathew, Darcy M. Bullock

“…The Federal Motor Carrier Safety Administration (FMCSA) and National Highway Traffic Safety Administration (NHTSA) reported that in 2020, 7.3% of large truck driver fatalities had speed as a contributing factor. Several states have implemented truck differential speed limits (DSLs) with the objective of improving safety. …”
Get full text

Capacity enhancement on biosecurity for line supervisors working in commercial broiler farming Gujarat by Binal Prajapati, Akash Golaviya, Khushbu Rana, Prakash Koringa, Fiona Tomley, Ayona Silva-Fletcher, Haidaruliman Paleja

“…The findings investigated the need for structured training and advisory support, along with government-led financial incentives, to strengthen biosecurity implementation in poultry systems.…”
Get full text

A novel Alteromonas phage with tail fiber containing six potential iron-binding domains by Chen Yu, Meishun Yu, Ruijie Ma, Shuzhen Wei, Min Jin, Nianzhi Jiao, Qiang Zheng, Rui Zhang, Xuejin Feng

“…Our isolation and characterization of R22Y complements the Trojan Horse hypothesis, proposes the possible role of alterophages for marine iron biogeochemical cycling, and provides new insights into phage-host interactions in the iron-limited ocean.IMPORTANCEIron (Fe), as an essential micronutrient, is often a limiting factor for microbial growth in marine ecosystems. …”
Get full text

Readiness of the European trading countries toward carbon border adjustment mechanism: Evidence from Indonesia by Carunia Mulya Firdausy, Fadhlan Zuhdi, Khoiru Rizqy Rambe, Reninta Dewi Nugraheni, Erwidodo, Delima Hasri Azhahari

“…This regulation will be fully implemented by the EU in 2026 for its trading partner countries for six products, namely fertilizers, cement, iron and steel, aluminium, electricity, and hydrogen. …”
Get full text

Comparison and review of updated guidelines for advanced gastric cancer diagnosis and treatment in 2024: CSCO, NCCN and ESMO by LAN Yu, WANG Fenghua

“…This article compared the latest versions of three authoritative global gastric cancer guidelines [National Comprehensive Cancer Network (NCCN) clinical practice guidelines for gastric cancer 2024 version 5, European Society for Medical Oncology (ESMO) online guidelines for gastric cancer 2024, and Chinese Society of Clinical Oncology (CSCO) guidelines for gastric cancer diagnosis and treatment 2024], focusing on clinical treatment strategies for unresectable locally advanced or metastatic esophagogastric junction/gastric adenocarcinoma, and on the whole-process management and precise implementation guided by targets such as human epidermal growth factor receptor 2 (HER2) expression, programmed cell death ligand 1 (PD-L1) expression, mismatch repair (MMR) status,, and novel targets such as Claudin 18.2. …”
Get full text