Results 101 to 110 of about 15,494 (304)

Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas

, 2011
The article attached is a preprint version of the final published article which can be accessed at the link below. The article title has been changed. For referencing purposes please use the published details. Copyright © 2010 Elsevier B.V.
Laurence, MR, Michael R. Laurence, Robert M. Hierons, Laurence, Michael R., Sebastian Danicic, Hierons, Robert M., Hierons, RM, Danicic, S, Danicic, Sebastian, Laurence, Michael, Hierons, Robert   +10 more
core   +1 more source

Microstructure Reconstruction in Battery Electrodes Using Machine Learning Based on Low‐Voltage Focused Ion Beam–Scanning Electron Microscopy Tomography Images

Advanced Engineering Materials, EarlyView.
Low‐voltage FIB‐SEM tomography combined with a image preprocessing pipeline improves phase contrast and enables reliable machine‐learning segmentation of conductive networks in lithium‐ion battery electrodes. Structural descriptors are extracted from segmented images, done semimanually and automated, and compared.
Lisa Beran, Vincent Nebel, Dominik Perius, Kshitij Kumar, Yannis Heim, Laura Bies, Tobias Kraus   +6 more
wiley   +1 more source

From Shear to Sound: Mechanics–Acoustics Mapping of TPMS Lattices

Advanced Engineering Materials, EarlyView.
Triply periodic minimal surface (TPMS) lattices are mapped across mechanical and acoustic performance, revealing that descriptors validated in compression fail under shear. First‐time comparison with trusses included. A transition from porous to resonance‐driven absorption emerges at 25% density.
Lucía Doyle, María Ángeles Navacerrada, Johan Christensen, Carlos González   +3 more
wiley   +1 more source

Identifying reusable functions in code using specification driven techniques [PDF]

, 1995
The work described in this thesis addresses the field of software reuse. Software reuse is widely considered as a way to increase the productivity and improve the quality and reliability of new software systems.
De Lucia, Andrea
core  

Innovation and capability building of MSME “Las Yayang” and its local economic contribution

Abdimas: Jurnal Pengabdian Masyarakat Universitas Merdeka Malang
One well-known home-based business that produces peyek and chips and plays a strategic role in enhancing both household welfare and regional economic is Las Yayang.
Mardiana R, Yossinomita Yossinomita, Eni Rohaini, Erick Morales, Erna Stelawati   +4 more
doaj   +1 more source

Influence of Geometric Design on Mechanical Performance of Auxetic Metastructure

Advanced Engineering Materials, EarlyView.
Strategic geometric reinforcement transforms auxetic performance. This study evaluates 3D‐printed arrowhead metastructures, revealing that a modified design with local ring reinforcement suppresses premature failure to achieve superior energy absorption and structural efficiency.
Muhammad Gulzari, Supharoek Sornsomrit, Muhammad Ayaz Akbar, Stephan Rudykh   +3 more
wiley   +1 more source

Code extraction algorithms which unify slicing and concept assignment

, 2002
One approach to reverse engineering is to partially automate subcomponent extraction, improvement and subsequent recombination. Two previously proposed automated techniques for supporting this activity are slicing and concept assignment. However, neither
Rob Hierons, R. Hierons, N. Gold, Mark Harman, Nicolas Gold, Dave Binkley, Harman, M, D. Binkley, Binkley, D, Hierons, RM, M. Harman, Gold, N, Dav Ebinkley   +12 more
core   +1 more source

Program slicing with exception handling [PDF]

, 2020
[EN] Program slicing is a technique for program analysis and transformation with many different applications such as program debugging, program specialization, and parallelization.
Pérez-Rubio, Sergio, Galindo, Carlos, Silva, Josep   +2 more
core  

And-Or Dependence Graphs for Slicing Statecharts [PDF]

, 2006
The construction of an And-Or dependence graphs is illustrated, and its use in slicing statecharts is described. The additional structure allows for more precise slices to be constructed in the event of additional information, such as may be ...
Fox, Chris, Luangsodsai, Arthorn
core   +1 more source

Analytical Model of Forge Cutting Process with Asymmetrical Tools

The Annals of “Dunarea de Jos” University of Galati. Fascicle IX, Metallurgy and Materials Science, 2005
In this paper is developed the theory of forge cutting process feasible with asymmetrical tools. The asymmetrical cutting process is different of the symmetrical cutting process.
Nicolae CANĂNAU, Doru HANGANU
doaj