Results 81 to 90 of about 71,487 (291)
Choroid Plexus Enlargement and USPIO‐Based Inflammatory Feature in Cerebral Small Vessel Disease
ABSTRACT Objective The choroid plexus (CP) is a key component of the blood–cerebrospinal fluid barrier (BCSFB), but its mechanism of action in cerebral small vessel disease (CSVD) remains unclear. This study investigated CP volume (CPV) alterations and their association with conventional imaging markers in CSVD and explored the underlying role of ...
Yongqiang Qu +11 more
wiley +1 more source
This community service activity aims to enhance the entrepreneurial skills of the Muhammadiyah Sutorejo branch administrators and their ability to utilize digital technology for marketing Bote Chips products.
Irwansyah Irwansyah +2 more
doaj +1 more source
Loop squashing transformations for amorphous slicing [PDF]
Program slicing is a source code extraction technique that can be used to support reverse engineering by automatically extracting executable subprograms that preserve some aspect of the original program's semantics.
Binkley, D +3 more
core +3 more sources
ABSTRACT Background Collaterals are crucial factors that influence the infarct growth rate (IGR). We aimed to determine whether a comprehensive multimodal collateral score (MCS), incorporating collateral assessment at the arterial, tissue, and venous levels, is associated with functional independence and provides incremental prognostic value over ...
Giorgio Busto +12 more
wiley +1 more source
Predicting extreme defects in additive manufacturing remains a key challenge limiting its structural reliability. This study proposes a statistical framework that integrates Extreme Value Theory with advanced process indicators to explore defect–process relationships and improve the estimation of critical defect sizes. The approach provides a basis for
Muhammad Muteeb Butt +8 more
wiley +1 more source
Program simplification as a means of approximating undecidable propositions [PDF]
We describe an approach which mixes testing, slicing, transformation and formal verification to investigate speculative hypotheses concerning a program, formulated during program comprehension activity.
Binkley, D +4 more
core +2 more sources
Stabilization of L‐PBF Ni50.7Ti49.3 under low‐cycle loading was investigated. Recoverable strain after cycling was dependent on the amount of applied load. Recovery ratio was 53.4% and 35.1% at intermediate and high load, respectively. The maximum total strain reached 10.3% at a high load of 1200 MPa.
Ondřej Červinek +5 more
wiley +1 more source
Concurrency Bug Detection via Static Analysis and Large Language Models
Concurrency bugs originate from complex and improper synchronization of shared resources, presenting a significant challenge for detection. Traditional static analysis relies heavily on expert knowledge and frequently fails when code is non-compilable ...
Zuocheng Feng +4 more
doaj +1 more source
Dynamic slicing of aspect oriented programs [PDF]
As software application grows larger and become more complex, program maintenance activities such as adding new functionality, debugging and testing consume increasing amount of available resources for software development.
Das, Deepak Kumar +1 more
core
Low‐Angle Grain Boundaries and Re‐Segregation in Single‐Crystalline Ni‐Base Superalloys
This work demonstrates that Re‐segregation at low‐angle grain boundaries (LAGBs) in Ni‐base superalloys is influenced by misorientation angle. Advanced microscopy and atom probe tomography reveal that higher misorientation angles increases Re‐segregation.
Alireza B. Parsa +9 more
wiley +1 more source

