Results 101 to 110 of about 23,557 (297)

Current Status and Challenges in Data Collection for Aerospace Coatings Deposited by Plasma Spraying

Advanced Engineering Materials, EarlyView.
An innovative approach has been integrated into the GRENAT project to optimize plasma spraying and coating performance. Raw materials are accelerated and melted in the plasma generated by torches, creating coatings. Monitoring sensors collect process data which are combined with ex situ characterization data.
Lila Randriamananjara, Vincent Rat, Quentin Dubreuil, Patrice Valorge, Simon Goutier, Alain Denoirjean, Olivier Messe, Céline Ruelle, Jean‐Philippe Poli   +8 more
wiley   +1 more source

Hexagonal Wilson loop with Lagrangian insertion at two loops in N $$ \mathcal{N} $$ = 4 super Yang-Mills theory

Journal of High Energy Physics
In this work, we compute the two-loop result of the null hexagonal Wilson loop with a Lagrangian insertion in planar, maximally supersymmetric Yang-Mills theory via a bootstrap approach.
Sérgio Carrôlo, Dmitry Chicherin, Johannes Henn, Qinglin Yang, Yang Zhang   +4 more
doaj   +1 more source

Geometric Model Checking An Automatic Verification Technique for Loop and Data Reuse Transformations

, 2002
Optimizing programs by applying source-to-source transformations is a prevalent practice among programmers. Particularly so, in the framework of methodology based embedded systems design, where the initial program is subject to a series of ...
Janssens, Gerda, Shashidhar, K.C., Bruynooghe, Maurice, Catthoor, Francky   +3 more
core   +1 more source

Abstraction Refinement Guided by a Learnt Probabilistic Model [PDF]

, 2015
The core challenge in designing an effective static program analysis is to find a good program abstraction -- one that retains only details relevant to a given query. In this paper, we present a new approach for automatically finding such an abstraction.
Grigore, R, Yang, Hongseok, Grigore, Radu y, Yang, H, Hongseok Yang, Grigore, Radu, Radu Grigore   +6 more
core   +1 more source

An Experimental High‐Throughput Approach for the Screening of Hard Magnet Materials

Advanced Engineering Materials, EarlyView.
An entire workflow for the high‐throughput characterization and analysis of compositionally graded magnetic films is presented. Characterization protocols, data management tools and data analysis approaches are illustrated with test case Sm(Fe, V)12 based films.
William Rigaut, Pierre Le Berre, Hamdi Jaballah, Lukas Fink, Victor Poline, Richard Haettel, Stéphane Grenier, Gilbert Chahine, Ewen Bellec, Guillaume Buatier, Wilfried Hortschitz, Santa Pile, Thomas Schrefl, Nils Blanc, Yuan Hong, Thibaut Devillers, Nora M. Dempsey   +16 more
wiley   +1 more source

Model checking for trustworthy reasoning in autonomous driving [PDF]

This thesis proposes model checking for trustworthy reasoning in autonomous driving. We combine closed-loop input control and model checking to plan sequences of closed loop controllers for obstacle avoidance in real-time—the former for its superior ...
Chandler, Christopher
core   +1 more source

Exploration of Pseudobinary Alloys (Al–Mn)‐(Co–Fe–Ni) to Design High‐Entropy and Compositionally Complex Alloys to Stabilize the τ Phase in Al–Mn‐Based Ferromagnetic Alloys

Advanced Engineering Materials, EarlyView.
This experimental study investigates the thermodynamic limits of the Al–Mn τ ferromagnetic phase within complex‐composition alloys (CCAs). Using nine rare‐earth‐free compositions, it explores a broad region of the pseudobinary AlMnCoFeNi system. The results reveal intricate links between composition, phase stability, and magnetic behavior, highlighting
Sacha Plagnol‐Chauzu, Laurent Peltier, Fodil Meraghni, Stéphane Delalande, Frédéric Mazaleyrat   +4 more
wiley   +1 more source

Analysis of a planetary gear modelled with a contour graph considering the decision making complexity of game-tree structures

ITM Web of Conferences, 2017
Analysis and synthesis of mechanisms is one of the fundamental tasks of engineering. Mechanisms can suffer from errors due to versatile reasons. Graph-based methods of analysis and synthesis of planetary gears constitute an alternative method for ...
Deptuła Adam, Drewniak Józef, Partyka Marian A.   +2 more
doaj   +1 more source

Designing Polymer Nanocomposites for X‐Ray Shielding: Mechanisms, Architectures, and Scalable Processing

Advanced Engineering Materials, EarlyView.
This review highlights advances in lightweight, lead‐free polymer nanocomposites for diagnostic X‐ray shielding. By linking filler chemistry, dispersion, architecture, and photon interaction mechanisms, it establishes structure–performance relationships guiding material design.
Aklilu G. Messele, Hossein Ipakchi, Tizazu H. Mekonnen   +2 more
wiley   +1 more source

Reconfigurable Logic‐in‐Memory Operations Enabled by Triple‐Gated Feedback Field‐Effect Transistors for Area‐Efficient Computing

Advanced Engineering Materials, EarlyView.
A reconfigurable logic‐in‐memory cell composed of triple‐gated feedback field‐effect transistors implements multiple combinational logic functions within a single configuration. By utilizing program gates as dynamic input terminals, the proposed cell performs full adder, full subtractor, 2‐to‐1 multiplexer, and 4‐to‐2 encoder operations without ...
Minhyeok Seol, Yunwoo Shin, Donghyung Lee, Dongki Kim, Kyoungah Cho, Sangsig Kim   +5 more
wiley   +1 more source