Results 81 to 90 of about 648,004 (360)
Journal of Applied Logic, 2010 The paper presents a decision procedure for some fragments of the hybrid logic. The main difference between hybrid logic and modal logic is the presence of nominals, which are propositional symbols true at exactly one world in a model. The decision procedure is based on a prefixed tableau calculus.
openaire +2 more sources
A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science
Advanced Engineering Materials, EarlyView.We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann +8 more
wiley +1 more source
PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science
Advanced Engineering Materials, EarlyView.Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley +1 more source
Discover Applied SciencesThis article presents a structured design process for lightweight carbon fiber rims tailored to an electric Formula Student race car. Unlike prior work that focuses mainly on geometry or material selection, the contribution here is an integrated design ...
Kevin Klemt +3 more
doaj +1 more source
Additive Manufacturing of Rare Earth Permanent Magnetic Materials: Research Status and Prospects
MetalsWith the rapid development of intelligent manufacturing, modern components are accelerating toward being light weight, miniaturized, and complex, which provides a broad space for the application of rare earth permanent magnet materials.
Yun Chen, Chengyue Xiong, Yongbing Li
doaj +1 more source
Numerical investigation of blanking for metal polymer sandwich sheets
MATEC Web of Conferences, 2016 Metal polymer sandwich sheets consist of materials with drastically different mechanical properties. Due to this fact and because of high local gradients in the cutting zone during the blanking process, traditional process strategies and empirical ...
Gutknecht Florian +3 more
doaj +1 more source
, 1964 Lightweight life preserver without fastening ...
Radnofsky, M. I., Shewmake, G. A.
core +1 more source
Cathodic Cage Plasma Deposition of Nanostructured Cu–Fe–Se Coatings on Poly(methyl Methacrylate)
Advanced Engineering Materials, EarlyView.Nanostructured Cu–Fe–Se coatings are deposited on PMMA by a modified cathodic cage plasma process, enabling low‐temperature deposition on polymer substrates. A transition from discontinuous to compact morphology is observed with temperature, with optimal properties at 200°C, where improved CuFeSe2‐type bonding, lowest sheet resistance, and favorable ...
V. S. S. Sobrinho +8 more
wiley +1 more source
VehiclesIn this work, a new plastic-intensive medium-pressure plate (MPP), which is part of a fuel-cell system, has been developed together with a steel plate meeting all mechanical and chemical requirements. This newly developed MPP had to achieve the objective
Sharath Christy Anand +3 more
doaj +1 more source
Dimensional Stability of Lightweight Foamed Concrete Containing Eggshell Powder and Calcium Stearate
, 2022 Universiti TunkuAbdul Rahman,Jalan Sungai Long, Bandar Sungai Long, 43000 Kajang, MALAYSIA +5 more
openalex +2 more sources