Results 51 to 60 of about 420,700 (347)

Advances in Hybrid Icing and Frosting Protection Strategies for Optics, Lens, and Photonics in Cold Environments Using Thin‐Film Acoustic Waves

Advanced Engineering Materials, EarlyView.
This article provides a comprehensive overview of fundamentals and recent advances of transparent thin‐film surface acoustic wave technologies on glass substrates for monitoring and prevention/elimination of fog, ice, and frost. Fogging, icing, or frosting on optical lenses, optics/photonics, windshields, vehicle/airplane windows, and solar panel ...
Hui Ling Ong, Zhangbin Ji, Luke Haworth, Yihao Guo, Jaime del Moral, Stefan Jacob, Ana Borras, Agustin R. Gonzalez‐Elipe, Jikai Zhang, Jian Zhou, Glen McHale, Yong‐Qing Fu   +11 more
wiley   +1 more source

Graph Neural Networks For Mapping Variables Between Programs -- Extended Version [PDF]

arXiv, 2023
Automated program analysis is a pivotal research domain in many areas of Computer Science -- Formal Methods and Artificial Intelligence, in particular. Due to the undecidability of the problem of program equivalence, comparing two programs is highly challenging.
arxiv  

Static and Dynamic Behavior of Novel Y‐Shaped Sandwich Beams Subjected to Compressive Loadings: Integration of Supervised Learning and Experimentation

Advanced Engineering Materials, EarlyView.
In this study, the mechanical response of Y‐shaped core sandwich beams under compressive loading is investigated, using deep feed‐forward neural networks (DFNNs) for predictive modeling. The DFNN model accurately captures stress–strain behavior, influenced by design parameters and loading rates.
Ali Khalvandi, Saeed Kamarian, Mahdi Bodaghi, Saeed Saber‐Samandari, Jung‐il Song   +4 more
wiley   +1 more source

Dimensionless Investigations on Energy Conversion and Analysis of Interlayer Time in Laser‐Based Powder Bed Fusion of Polymers for Polyamide 12 with Nanoadditives and Polypropylene

Advanced Engineering Materials, EarlyView.
This study explores the energy conversion in powder bed fusion of polymers using laser beam for polyamide 12 and polypropylene powders. It combines material and process data, using dimensionless parameters and numerical models, to enable the prediction of suitable printing parameters.
Christian Schlör, Moritz Grünewald, Kevin Popp, Ihsan Murat Kusoglu, Stephan Barcikowski, Stan Gann, Thomas Schuffenhauer, Martin Bastian, Claas Bierwisch, Johannes Rudloff   +9 more
wiley   +1 more source

A Refinement Methodology for Object-Oriented Programs [PDF]

, 2011
Refinement is a well-known approach for developing correct-byconstruction software. It has been very successful for producing high quality code e.g., as implemented in the B tool. Yet, such refinement techniques are restricted in the sense that they forbid aliasing (and more generally sharing of data-structures), which often happens in usual ...
Tafat, Asma, Boulmé, Sylvain, Marché, Claude   +2 more
openaire   +4 more sources

Powder Metallurgy and Additive Manufacturing of High‐Nitrogen Alloyed FeCr(Si)N Stainless Steel

Advanced Engineering Materials, EarlyView.
The alloying element Nitrogen enhances stainless steel strength, corrosion resistance, and stabilizes austenite. This study develops austenitic FeCr(Si)N steel production via powder metallurgy. Fe20Cr and Si3N4 are hot isostatically pressed, creating an austenitic microstructure.
Louis Becker, Felix Radtke, Jonathan Lentz, Santiago Benito, Christoph Broeckmann, Sebastian Weber   +5 more
wiley   +1 more source

Static typing for object-oriented programming

Science of Computer Programming, 1991
We develop a theory of statically typed object-oriented languages. It represents classes as labeled, regular trees, types as finite sets of classes, and subclassing as a partial order on trees. We show that our subclassing order strictly generalizes inheritance, and that a novel genericity mechanism arises as an order-theoretic complement.
Schwartzbach, Michael Ignatieff, Palsberg, Jens   +1 more
openaire   +3 more sources

Influence of a Hydrogen Addition to the Inert Gas and Subsequent Heat Treatments on the Microstructure and Mechanical Properties of Magnesium WE43 Fabricated by PBF‐LB/M

Advanced Engineering Materials, EarlyView.
This article investigates optimal processing conditions for the laser‐based powder bed fusion of WE43. To limit the interaction with remaining oxygen, a 3 vol% hydrogen admixture to the inert gas is investigated. Furthermore, heat treatments are investigated in the range of 250–350 °C for 48 h.
Arvid Abel, Elmar Jonas Breitbach, Hannes Holländer, Michael Müller, Tjorben Griemsmann, Christian Klose, Jörg Hermsdorf, Hans Jürgen Maier, Stefan Kaierle, Ludger Overmeyer   +9 more
wiley   +1 more source

The meaning of a program change is a change to the program's meaning [PDF]

arXiv, 2019
Programming is the activity of modifying a program in order to bring about specific changes in its behaviour. Yet programming language theory almost exclusively focuses on the meaning of programs. We motivate a "change-oriented" viewpoint from which the meaning of a program change is a change to the program's meaning.
arxiv  

From object-oriented design towards object-oriented programming [PDF]

, 1993
The emergence of the object philosophy in the new software development techniques gave birth to many object models. The object-oriented approach enables the improvement of software quality, the reduction of future maintenance requirements, the reuse and the adaptation of specification and developments.
Kraeim, Naoufel, Gargouri, F, Boufares, F   +2 more
openaire   +3 more sources