Results 91 to 100 of about 1,280,994 (296)

Badger: Complexity Analysis with Fuzzing and Symbolic Execution

, 2018
Hybrid testing approaches that involve fuzz testing and symbolic execution have shown promising results in achieving high code coverage, uncovering subtle errors and vulnerabilities in a variety of software applications. In this paper we describe Badger -
Ammons Glenn, ASM., Cadar Cristian, Galeotti J. P., Stephens Nick, Wilhelm Reinhard, Zalewski Michal   +6 more
core   +1 more source

Functional and Structural Evidence of Neurofluid Circuit Aberrations in Huntington Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Disrupted neurofluid regulation may contribute to neurodegeneration in Huntington disease (HD). Because neurofluid pathways influence waste clearance, inflammation, and the distribution of central nervous system (CNS)–delivered therapeutics, understanding their dysfunction is increasingly important as targeted treatments emerge.
Kilian Hett, Abigail Dubois, Melanie Leguizamon, Alexander Song, Paula Trujillo, Colin D. McKnight, Ciaran M. Considine, Manus J. Donahue, Daniel O. Claassen   +8 more
wiley   +1 more source

On the Jacobi Symbol

Journal of Number Theory, 1994
Die von Zolotarev gefundene Übereinstimmung des Vorzeichens einer gewissen Permutation mit dem Legendre-Symbol [vgl. \textit{H. Pieper}, Variationen über ein zahlentheoretisches Thema von C. F. Gauss, Berlin (1978; Zbl 0373.10001), Variation 9]\ wird auf das Jacobi-Symbol ausgedehnt, und danach das Reziprozitätsgesetz für das Jacobi-Symbol nach ...
openaire   +1 more source

Structure–Function Decoupling of the Sensorimotor and Default Mode Networks in Black Americans With MS

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background and Objectives Multiple sclerosis (MS) exhibits racially disparate rates of disease progression. Black people with MS (B‐PwMS) experience a more severe disease course than non‐Hispanic White people with MS (NHW‐PwMS). Here we investigated structural and functional connectivity as well as structure–function decoupling in the ...
Emilio Cipriano, Giacomo Boffa, Maria Petracca, Marta Ponzano, Nicole Graziano, Claire Wigley, Claire Riley, Jonathan Howard, Pietro Bontempi, Sylvia Klineova, Fred Lublin, Matilde Inglese   +11 more
wiley   +1 more source

Revisiting Stability Criteria in Ball‐Milled High‐Entropy Alloys: Do Hume–Rothery and Thermodynamic Rules Equally Apply?

Advanced Engineering Materials, Volume 27, Issue 6, March 2025.
The stability criteria affecting the formation of high‐entropy alloys, particularly focusing in supersaturated solid solutions produced by mechanical alloying, are analyzed. Criteria based on Hume–Rothery rules are distinguished from those derived from thermodynamic relations. The formers are generally applicable to mechanically alloyed samples.
Javier S. Blázquez, Alejandro F. Manchón‐Gordón, Antonio Vidal‐Crespo, Rafael Caballero‐Flores, Jhon J. Ipus, Clara F. Conde   +5 more
wiley   +1 more source

Enhancing Corrosion Resistance and Mechanical Strength of 3D‐Printed Iron Polylactic Acid for Marine Applications via Laser Surface Texturing

Advanced Engineering Materials, EarlyView.
Laser surface texturing significantly improves the corrosion resistance and mechanical strength of 3D‐printed iron polylactic acid (Ir‐PLA) for marine applications. Optimal laser parameters reduce corrosion by 80% and enhance tensile strength by 25% and ductility by 15%.
Mohammad Rezayat, Mojtaba Karamimoghadam, Mohammadreza Lalegani Dezaki, Ali Zolfagharian, Giuseppe Casalino, Antonio Mateo, Mahdi Bodaghi   +6 more
wiley   +1 more source

Multimodal Mechanical Testing of Additively Manufactured Ti6Al4V Lattice Structures: Compression, Bending, and Fatigue

Advanced Engineering Materials, EarlyView.
In this experimental study, the mechanical properties of additively manufactured Ti‐6Al‐4V lattice structures of different geometries are characterized using compression, four point bending and fatigue testing. While TPMS designs show superior fatigue resistance, SplitP and Honeycomb lattice structures combine high stiffness and strength. The resulting
Klaus Burkart, Jonas Schmidt, Anastasiya Toenjes, Johanna Eisenträger   +3 more
wiley   +1 more source

The Cultural-Symbolic Soul

American Journal of Islam and Society, 1992
This study deals with the nature of human cultural symbols such as language, thought, religious beliefs, knowledge, cultural norms and values, and science.
Mahmoud Dhaouadi
doaj   +1 more source

NFDI MatWerk Ontology (MWO): A BFO‐Compliant Ontology for Research Data Management in Materials Science and Engineering

Advanced Engineering Materials, EarlyView.
This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi, Ebrahim Norouzi, Kostiantyn Hubaiev, Jörg Waitelonis, Harald Sack   +4 more
wiley   +1 more source

Transfer of Energy and Momentum Between Magnetoactive Surface Microstructure and a Solid Object

Advanced Engineering Materials, EarlyView.
We demonstrate that magnetoactive multilamellar arrays subjected to a rotating magnetic field can function as platforms for controlled transport of physical objects. Through systematic experimental investigation, we elucidate the underlying physical mechanisms determining the upper limit of the achievable transportation speed in such magnetic “conveyor‐
Arne Geldof, Jan Kopačin, Izidor Straus, Raphael Kriegl, Gaia Kravanja, Luka Hribar, Matija Jezeršek, Mikhail Shamonin, Gašper Kokot, Irena Drevenšek‐Olenik   +9 more
wiley   +1 more source