Results 31 to 40 of about 3,015 (123)

Multicomponent multisublattice alloys, nonconfigurational entropy and other additions to the Alloy Theoretic Automated Toolkit

, 2009
A number of new functionalities have been added to the Alloy Theoretic Automated Toolkit (ATAT) since it was last reviewed in this journal in 2002. ATAT can now handle multicomponent multisublattice alloy systems, nonconfigurational sources of entropy (e.
Abrikosov, Arroyave, Asta, Axel van de Walle, Baroni, Benedek, Benedek, Burton, Burton, Ceder, Ceder, deFontaine, deGironcoli, Ducastelle, Gale, Gale, Garbulsky, Ghosh, Ghosh, Giannozzi, Gonze, Gonze, Gonze, Gonze, Gonze, Kresse, Kresse, Liu, Morgan, Ohnuma, Powell, Sanchez, Shin, Shin, Tepesch, van de Walle, van de Walle, van de Walle, van de Walle, van de Walle, van de Walle, van de Walle, van de Walle, Wei, Wolverton, Wu, Zunger, Zunger, Zunger   +48 more
core   +2 more sources

SynthRAD2025 Grand Challenge dataset: Generating synthetic CTs for radiotherapy from head to abdomen

Medical Physics, Volume 52, Issue 7, July 2025.
Abstract Purpose Medical imaging is crucial in modern radiotherapy, aiding diagnosis, treatment planning, and monitoring. The development of synthetic imaging techniques, particularly synthetic computed tomography (sCT), continues to attract interest in radiotherapy.
Adrian Thummerer, Erik van der Bijl, Arthur Jr Galapon, Florian Kamp, Mark Savenije, Christina Muijs, Shafak Aluwini, Roel J. H. M. Steenbakkers, Stephanie Beuel, Martijn PW Intven, Johannes A. Langendijk, Stefan Both, Stefanie Corradini, Viktor Rogowski, Maarten Terpstra, Niklas Wahl, Christopher Kurz, Guillaume Landry, Matteo Maspero   +18 more
wiley   +1 more source

FAIR and Structured Data: A Domain Ontology Aligned with Standard‐Compliant Tensile Testing

Advanced Engineering Materials, Volume 27, Issue 8, April 2025.
The digitalization in materials science and engineering is discussed, emphasizing the importance of digital workflows and ontologies in managing diverse experimental data. Challenges such as quality assurance and data interoperability are tackled with semantic web technologies, focusing and introducing the tensile test ontology (TTO).
Markus Schilling, Bernd Bayerlein, Philipp von Hartrott, Jörg Waitelonis, Henk Birkholz, Pedro Dolabella Portella, Birgit Skrotzki   +6 more
wiley   +1 more source

A Few‐Shot Learning Approach for a Multilingual Agro‐Information Question Answering System

Applied AI Letters, Volume 6, Issue 2, April 2025.
An overview of the workflow used to create and evaluate a prompt‐based, cross‐lingual question answering system for agriculture in low‐resource South African languages. ABSTRACT Across numerous households in Sub‐Saharan Africa, agriculture plays a crucial role.
Fiskani Ella Banda, Vukosi Marivate, Joyce Nakatumba‐Nabende   +2 more
wiley   +1 more source

A Compression Technique Exploiting References for Data Synchronization Services [PDF]

, 2019
Department of Computer Science and EngineeringIn a variety of network applications, there exists significant amount of shared data between two end hosts. Examples include data synchronization services that replicate data from one node to another.
Nam, Wooseung
core  

Evaluation of the distance spectrum of variable-length finite-state codes

, 2010
International audienceThe class of variable-length finite-state joint source-channel codes is defined and a polynomial complexity algorithm for the evaluation of their distance spectrum presented.
Kieffer, Michel, Weidmann, Claudio
core   +2 more sources

One schema to rule them all: How Schema.org models the world of search

Journal of the Association for Information Science and Technology, Volume 76, Issue 2, Page 460-523, February 2025.
Abstract Several industry‐specific metadata initiatives have historically facilitated structured data modeling for the web in domains such as commerce, publishing, social media, and so forth. The metadata vocabularies produced by these initiatives allow developers to “wrap” information on the web to provide machine‐readable signals for search engines ...
Andrew Iliadis, Amelia Acker, Wesley Stevens, Sezgi Başak Kavakli   +3 more
wiley   +1 more source

Fast and Lean Immutable Multi-Maps on the JVM based on Heterogeneous Hash-Array Mapped Tries [PDF]

, 2016
An immutable multi-map is a many-to-many thread-friendly map data structure with expected fast insert and lookup operations. This data structure is used for applications processing graphs or many-to-many relations as applied in static analysis of object ...
Steindorfer, Michael J., Vinju, Jurgen J.   +1 more
core   +1 more source

Tarsis: An effective automata‐based abstract domain for string analysis

Journal of Software: Evolution and Process, Volume 36, Issue 8, August 2024.
Tarsis is a new abstract domain based on abstract interpretation that approximates string values through finite state automata over an alphabet of strings instead of single characters. Tarsis is in position to obtain strictly more precise results than state‐of‐the‐art approaches. The performance gain w.r.t.
Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara   +3 more
wiley   +1 more source

A weak theory of building blocks

Mathematical Logic Quarterly, Volume 70, Issue 2, Page 233-254, May 2024.
Abstract We apply the mereological concept of parthood to the coding of finite sequences. We propose a first‐order theory in which coding finite sequences is intuitive and transparent. We compare this theory with Robinson arithmetic, adjunctive set theory and weak theories of finite strings and finite trees using interpretability.
Juvenal Murwanashyaka
wiley   +1 more source