Results 81 to 90 of about 1,529,381 (347)

Analysis of the Possibility of Using 3D Printing for Emergency Replacement of Damaged Elements in the Marine Industry

Applied Sciences
This study aims to evaluate the feasibility of using Fused Deposition Modeling (FDM)/Fused Filament Fabrication (FFF) 3D printing for the emergency replacement of damaged components in the marine industry, focusing on mechanical properties, dynamic ...
Krzysztof Jasiński, Lech Murawski, Marcin Kluczyk, Jarosław Wierzchowski, Marek Chodnicki, Krzysztof Lipiński, Adam Szeleziński   +6 more
doaj   +1 more source

Modelling and analysing user views of telecommunications services [PDF]

, 1997
User views of calls are modelled by behaviour trees, which are synchronised to form a network of users. High level presentations of the models are given using process algebra and an explicit theory of features, including precedences.
Thomas, M.
core   +1 more source

Popular conjectures imply strong lower bounds for dynamic problems

, 2014
We consider several well-studied problems in dynamic algorithms and prove that sufficient progress on any of them would imply a breakthrough on one of five major open problems in the theory of algorithms: 1.
Abboud, Amir, Williams, Virginia Vassilevska   +1 more
core   +1 more source

Enhancing CoFe Catalysts with V2CTX MXene‐Derived Materials for Anion Exchange Membrane Electrolyzers

Advanced Functional Materials, EarlyView.
MXene dervied CoFe composites show increased initial Oxygen Evolution Reaction (OER) activity compared to the pure CoFe and MXene in an Anion Exchange Membrane device. Vanadium vacancies in the MXene plays a role in increased OER activity and hinders Fe leaching in the AEM device over using the pure V2C MXene as a support material for the CoFe ...
Can Kaplan, Karuppasamy Dharmaraj, Thorsten Schultz, Leiqiang Qin, Ningjun Chen, Danielle A. Douglas‐Henry, Bastian Schmiedecke, Merve Buldu‐Akturk, Axel Zuber, Iris Dorbandt, Maximilian Reinhardt, Yael Rodriguez‐Ayllon, Yan Lu, Valeria Nicolosi, Norbert Koch, Johanna Rosen, Michelle P. Browne   +16 more
wiley   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

Seismic Assessment of Non-conforming Infilled RC Buildings Using IDA Procedures

Frontiers in Built Environment, 2019
The seismic performance of existing non-conforming reinforced concrete (RC) buildings is numerically investigated, taking into account the presence of clay brick masonry infill walls.
Constantinos Repapis, Christos A. Zeris
doaj   +1 more source

Synthesizing Short-Circuiting Validation of Data Structure Invariants

, 2015
This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verification-validation combines static verification of separation properties with
Chang, Bor-Yuh Evan, Coughlin, Devin, Rival, Xavier, Tsai, Yi-Fan   +3 more
core   +1 more source

Incremental and Decremental Maintenance of Planar Width

, 2000
We present an algorithm for maintaining the width of a planar point set dynamically, as points are inserted or deleted. Our algorithm takes time O(kn^epsilon) per update, where k is the amount of change the update causes in the convex hull, n is the ...
Agarwal, Agarwal, Agarwal, Agarwal, Chan, Chazelle, David Eppstein, Eppstein, Eppstein, Houle, Janardan, Nievergelt, Overmars, Preparata, Rote, Schwarz, Toussaint   +16 more
core   +1 more source

Kinetic Insights into Precursor‐Assisted Soft Sphere Close Packing Revealed by In Situ GISAXS with Implications for Gas Sensing

Advanced Functional Materials, EarlyView.
The versatile precursor‐assisted soft sphere close packing during slot‐die coating is investigated with in situ X‐ray scattering. The soft crystallization pathways towards a close packing involve multistep structural transitions such as surface nucleation, in‐plane, and out‐of‐plane crystallization.
Guangjiu Pan, Wenhe Xie, Suzhe Liang, Ting Tian, Shanshan Yin, Lixing Li, Altantulga Buyan‐Arivjikh, Jinsheng Zhang, Thomas Baier, Zhuijun Xu, Matthias Schwartzkopf, Sarathlal Koyiloth Vayalil, Stephan V. Roth, Yonghui Deng, Peter Müller‐Buschbaum   +14 more
wiley   +1 more source

Composition and Resulting Band Alignment at the TiO2/InP Heterointerface: A Fundamental Study Combining Photoemission Spectroscopy and Theory

Advanced Functional Materials, EarlyView.
The chemical composition and band alignment are systematically investigated at the TiO2/InP heterointerface. Thin TiO2 films are deposited by ALD on atomically ordered, P‐terminated p‐InP(100). By combining UPS, XPS, and ab initio molecular dynamics, the atomistic structure and electronic alignment are revealed.
Mohammad Amin Zare Pour, Muhammad Nawaz Qaisrani, Christian Höhn, Johannes Laurenz Wolf, Negin Mogharehabed, Jennifer Velazquez Rojas, Wolfram Jaegermann, Erich Runge, Roel van de Krol, Thomas Hannappel, Christian Dreßler, Agnieszka Paszuk   +11 more
wiley   +1 more source