Results 21 to 30 of about 13,591,386 (218)

How to prove similarity a precongruence in non-deterministic call-by-need lambda calculi [PDF]

, 2006
Extending the method of Howe, we establish a large class of untyped higher-order calculi, in particular such with call-by-need evaluation, where similarity, also called applicative simulation, can be used as a proof tool for showing contextual preorder ...
Mann, Matthias, Schmidt-Schauß, Manfred
core  

Ontology‐Aligned Structuring and Reuse of Multimodal Materials Data and Workflows Toward Automatic Reproduction

Advanced Engineering Materials, EarlyView.
Reproduction of stacking fault energy calculations from literature with a semi‐automated large language model‐assisted extraction procedure: extraction of simulation protocol, atomistic structures, computational parameters, and reported results, ontology alignment, knowledge graph construction and, finally, recomputation forvalidation.
Sepideh Baghaee Ravari, Abril Azocar Guzman, Sarath Menon, Stefan Sandfeld, Tilmann Hickel, Markus Stricker   +5 more
wiley   +1 more source

DigiChrom: A Domain Ontology for Semantic Representation of Trivalent Chromium Platings and Its Large Language Model‐Based Alignment With Multiple Mid‐Level Ontologies

Advanced Engineering Materials, EarlyView.
Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter, Elena Garcia Trelles, Christoph Schweizer, Thomas Seifert, Christoph Baumer, Mahmoud Elkady, Katja Feige, Daniel Grimme, Edgar Hoffmann, Andreas Waibel, Anke Walter   +10 more
wiley   +1 more source

OntOMat: Toward Ontology‐Based Product and Process Design Engineering and Optimization Solutions Fueling Circular Value Chains

Advanced Engineering Materials, EarlyView.
The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ, Jörg Hohe, Martin Kördel, Michael Giese, Niklas Toffert, Christian Seidel, Olaf Rehme, Patrik Schneider, Oliver Focke, Elie Abi Aoun, Claas Falldorf, Beñat Gutierrez, Alexandra Kühn, Sven Torstrick-von der Lieth, Christoph Herden, Erik Johannsen, Jan‐Uwe R. Schmidt, Felix Winkelmann, Andreas Schott, Daniel Schott   +19 more
wiley   +1 more source

Domain Engineering and Anisotropic Domain‐Wall Photovoltaic Effects in Ferroelectric SnS

Advanced Functional Materials, EarlyView.
The bulk photovoltaic effect at domain walls in the in‐plane ferroelectric 2D semiconductor SnS is investigated using periodic domain structures. Unlike conventional oxide ferroelectrics, domain walls of SnS do not contribute to photocurrent generation perpendicular to the domain walls.
Ryo Nanae, Satsuki Kitamura, Tomonori Nishimura, Kaito Kanahashi, Tomoaki Kameda, Katsunori Wakabayashi, Redhwan A Moqbel, Ting‐Hsuan Wu, Kung‐Hsuan Lin, Yosuke Ogawa, Eiji Nishibori, Keisuke Shinokita, Kazunari Matsuda, Jui‐Han Fu, Vincent Tung, Takashi Taniguchi, Kenji Watanabe, Kosuke Nagashio   +17 more
wiley   +1 more source

Continuous-Time Scheduling of Berths and Onshore Power Supply in Cold-Chain Logistics: A Chance-Constrained Stochastic Programming Model and RL-ALNS Algorithm

Mathematics
Amid tightening emission rules and growing cold-chain demand, ports face complex multi-objective scheduling under dual uncertainties in vessel arrivals and operations.
Zheyin Zhao, Jin Zhu
doaj   +1 more source

Vector‐Field Control and Emergent Basal‐Plane Anisotropy of Magnetic Textures in Noncentrosymmetric (Fe0.63Ni0.3Pd0.07)3P

Advanced Functional Materials, EarlyView.
A field‐driven transition from chiral stripes to an achiral fan state is observed in a tetragonal magnet and linked to a temperature‐dependent rotation of the effective Dzyaloshinskii–Moriya interaction axis. This interplay generates pronounced in‐plane anisotropy and provides a new route for controlling chiral spin textures in noncentrosymmetric ...
Victor Ukleev, Oleg I. Utesov, Lorenzo Ubilla, Chen Luo, Radu‐Marius Abrudan, Peter Wild, Holger Kropf, Moritz Winter, Sebastian Schneider, Alexander Tahn, Bernd Rellinghaus, Tim A. Butcher, Simone Finizio, Sebastian Wintz, Markus Weigand, Max T. Birch, Yoshinori Tokura, Yasujiro Taguchi, Kosuke Karube, Florin Radu   +19 more
wiley   +1 more source

Image-Only Automated Garment Sorting for Textile Reuse and Recycling Using a Multi-Model AI Framework

Applied Sciences
The textile and clothing value chain faces increasing pressure to improve reuse and recycling rates, particularly in post-consumer scenarios, where garments must be rapidly assessed, classified, and routed toward appropriate end-of-life pathways.
Eduarda F. S. Gomes, Adriana F. Meira, Estrela Ferreira Cruz, António Miguel Rosado da Cruz   +3 more
doaj   +1 more source

Rules of Thumb in Life-Cycle Saving Decisions [PDF]

, 2011
We analyse life-cycle saving decisions when households use simple heuristics, or rules of thumb, rather than solve the underlying intertemporal optimization problem.
Winter, Joachim K., Winter, Joachim, Schlafmann, Kathrin, Rodepeter, Ralf   +3 more
core   +1 more source

Emerging Post‐CMOS Hardware Neurons for Brain‐Inspired Computing: Devices, Circuits, and System Integration

Advanced Functional Materials, EarlyView.
The physical realization of artificial neurons is a critical challenge for energy‐efficient neuromorphic computing. This review presents a comprehensive analysis of the evolution of artificial neuron implementations from conventional CMOS to emerging post‐CMOS technologies.
Kannan Udaya Mohanan, Hocheon Yoo, Benoît H. Lessard, Ioannis Kymissis, Chang‐Hyun Kim   +4 more
wiley   +1 more source