Survey of evolutionary kernel fuzzing by Yan SHI, Weizhong QIANG, Deqing ZOU, Hai JIN

“…Fuzzing is a technique that was used to detect potential vulnerabilities and errors in software or systems by generating random, abnormal, or invalid test cases.When applying fuzzing to the kernel, more complex and challenging obstacles were encountered compared to user-space applications.The kernel, being a highly intricate software system, consists of numerous interconnected modules, subsystems, and device drivers, which presented challenges such as a massive codebase, complex interfaces, and runtime uncertainty.Traditional fuzzing methods could only generate inputs that simply satisfied interface specifications and explicit call dependencies, making it difficult to thoroughly explore the kernel.In contrast, evolutionary kernel fuzzing employed heuristic evolutionary strategies to dynamically adjust the generation and selection of test cases, guided by feedback mechanisms.This iterative process aimed to generate higher-quality test cases.Existing work on evolutionary kernel fuzzing was examined.The concept of evolutionary kernel fuzzing was explained, and its general framework was summarized.The existing work on evolutionary kernel fuzzing was classified and compared based on the type of feedback mechanism utilized.The principles of how feedback mechanisms guided evolution were analyzed from the perspectives of collecting, analyzing, and utilizing runtime information.Additionally, the development direction of evolutionary kernel fuzzing was discussed.…”
Get full text

Boundary-Value Problems for Weakly Nonlinear Delay Differential Systems by A. Boichuk, J. Diblík, D. Khusainov, M. Růžičková

“…The use of a delayed matrix exponential and a method of pseudoinverse by Moore-Penrose matrices led to an explicit and analytical form of sufficient conditions for the existence of solutions in a given space and, moreover, to the construction of an iterative process for finding the solutions of such problems in a general case when the number of boundary conditions (defined by a linear vector functional l) does not coincide with the number of unknowns in the differential system with a single delay.…”
Get full text

ReproPhylo: An Environment for Reproducible Phylogenomics. by Amir Szitenberg, Max John, Mark L Blaxter, David H Lunt

“…Reproducibility, and instantaneous repeatability, is built in to the ReproPhylo system and does not require user intervention or configuration because it stores the experimental workflow as a single, serialized Python object containing explicit provenance and environment information. This 'single file' approach ensures the persistence of provenance across iterations of the analysis, with changes automatically managed by the version control program Git. …”
Get full text

‘Maybe we’re not past the traditional gender roles then!’ Exploring less than full-time training among men in Scotland: a qualitative study by Peter Johnston, Stephanie Stone, Joy Miller

“…Participants described the persistence of implicit and explicit gender norms and felt, at best, unusual and, at worst, stigmatised by their decision to train LTFT. …”
Get full text

Mathematical modeling of two-phase compressible fluid filtration based on modified adaptive method of minimum amendments by Alexander I. Sukhinov, Lusine A. Grigoryan, Andrey A. Sukhinov

“…An approximation method - an explicit one for defining the function of water saturation, and an implicit one for the pressure function computation - is selected as the research basis. …”
Get full text

Designing a cultivation model for top-notch students in basic medicine: a Delphi method by Geng Ni, Yutong Qin, Fangfang Wang, Jianjun Huang

“…The process concluded with a finalized cultivation model, incorporating 5 primary indicators, 17 secondary indicators, and 63 tertiary indicators. …”
Get full text

Exploratory Scoping of Place‐Based Opportunities for Convergence Research by Casey Helgeson, Lisa Auermuller, DeeDee Bennett Gayle, Sönke Dangendorf, Elisabeth A. Gilmore, Klaus Keller, Robert E. Kopp, Jorge Lorenzo‐Trueba, Michael Oppenheimer, Kathleen Parrish, Victoria Ramenzoni, Nancy Tuana, Thomas Wahl

“…The framework asks project personnel to negotiate explicit project goals, identify corresponding evaluation criteria, and assess opportunities against criteria within an iterative cycle of listening to needs, assessing options, prioritizing actions, and refining goals. …”
Get full text

Refining ℌ_∞ Controller Performance With Extremum Seeking Control for Improved Disturbance Attenuation by Bilal Erol

“…Subsequently, ESC is uniquely employed to iteratively fine-tune controller parameters, exploiting known disturbance characteristics without requiring explicit system modeling. …”
Get full text

Cultural Humility: A Collaborative Approach to Recruiting Patients with Deliberate Self-Harm into a Multi-Hospital Randomized Controlled Trial by Suzanne H. Brownhill, Garry J. Stevens, Trent E. Hammond, Richard Baldacchino, Rose Maposa, Bonyface Makoni, Aviva Sheb'a, Jagadeesh Andepalli, Anita Kotak, Olav D'Souza, Azadeh Atashnama, Anish Thayil, Alison Jones

“…Qualitative data were elicited from a ‘know and tell’ matrix. Through an iterative process, themes were generated that encapsulated what team members needed to know from and tell to their colleagues concerning the study. …”
Get full text

Application of bioinspired global optimization algorithms to the improvement of the prediction accuracy of compact extreme learning machines by L. A. Demidova, A. V. Gorchakov

“…The replacement of the iterative learning process currently used in many neural network architectures with the random initialization of input weights and the explicit computation of output weights significantly increases the performance of this novel machine learning algorithm while preserving good generalization performance. …”
Get full text

SEM-PLS Analysis of Inhibiting Factors of Cost Performance for Large Construction Projects in Malaysia: Perspective of Clients and Consultants by Aftab Hameed Memon, Ismail Abdul Rahman

“…The analysis involved three iteration processes where several of the factors were deleted in order to make the model acceptable. …”
Get full text

Corporate Real Estate alignment by Monique Arkesteijn

“…The use of such a learning process in the context of work practice and problem solving is described by Schön (1987) as reflection in action. …”
Get full text

Normative convergence between global health security and universal health coverage: a qualitative analysis of international health negotiations in the wake of COVID-19 by Arush Lal, Clare Wenham, Justin Parkhurst

“…It also deepens scholarly understanding on how ‘hybrid norms’ develop through the dynamic process of normative convergence via diplomacy.…”
Get full text

Identification and Categorization of the Distinct Purposes Underpinning the Use of Digital Health Care Self-Monitoring: Qualitative Study of Stakeholders in the Health Care Ecosyst... by Mattias Elg, Daan Kabel, Ida Gremyr, Jesper Olsson, Jason Martin, Frida Smith

“…Ultimately, this study underscores the importance of clear, purpose-driven approaches to promote better health outcomes, knowledge generation, and care process improvements.…”
Get full text

Workshop on professionalism and professional identity formation for newly recruited faculty at a healthcare university: lessons learnt by Himanshu Pandya, Jagdish Varma, Sarmistha Ghosh, Dinesh Kumar, Anusha Prabhakaran, R. Harihara Prakash

“…This report details the workshop process and key lessons learned.MethodsA six-member core faculty team with expertise in health professions education conducted a daylong workshop. …”
Get full text

Beyond the IFTA – Phase mask generation for 3D laser beam shaping, tailored temperature distributions and optical amplifiers by Hofmann Oskar, Buske Paul, Kurth Robin, Bonhoff Annika, Holly Carlo

“…The iterative Fourier transform algorithm (IFTA) is the most widely used algorithm for the generation of phase masks for laser beam shaping in the field of laser material processing. …”
Get full text

Distributed Sparse Manifold-Constrained Optimization Algorithm in Linear Discriminant Analysis by Yuhao Zhang, Xiaoxiang Chen, Manlong Feng, Jingjing Liu

“…In the field of video image processing, high definition is one of the main directions for future development. …”
Get full text

A hyperspectral approach for retrieving inherent optical properties, phytoplankton pigments, and associated uncertainties from non-water absorption by Brice Grunert, Audrey Ciochetto, Audrey Ciochetto, Colleen Mouw

“…The original Derivative Analysis and Iterative Spectral Evaluation of Absorption (DAISEA) algorithm was produced as a means to identify spectral features in hyperspectral absorption spectra free of explicit spectral assumptions in an effort to bypass these limitations. …”
Get full text

Artificial intelligence of things for sustainable smart city brain and digital twin systems: Pioneering Environmental synergies between real-time management and predictive planning by Simon Elias Bibri, Jeffrey Huang

“…To the best of our knowledge, research on the explicit fusion of UB's real-time analytics—enabled through stream processing—with UDT's predictive analytics—driven by simulation modeling—is scant, if not absent. …”
Get full text

Value Propositions for Digital Shared Medication Plans to Boost Patient–Health Care Professional Partnerships: Co-Design Study by Benjamin Bugnon, Francesca Bosisio, Alain Kaufmann, Pascal Bonnabry, Antoine Geissbuhler, Christian von Plessen

“…Besides fragmented health care processes, the inconsistent incorporation of patient-driven changes contributes to these problems. …”
Get full text