Results 41 to 50 of about 615,424 (263)
SPECIES: A platform for the exploration of ecological data
The modeling of ecological data that include both abiotic and biotic factors is fundamental to our understanding of ecosystems. Repositories of biodiversity data, such as GBIF, iDigBio, Atlas of Living Australia, and SNIB (Mexico's National System of ...
C. Stephens +6 more
semanticscholar +1 more source
Cracking the Code: Genotype–Phenotype Correlation Models in Sarcoglycanopathies
ABSTRACT Objective Sarcoglycanopathies are among the most severe limb‐girdle muscular dystrophies (LGMD), though milder presentations have been described. These diseases are primarily caused by missense variants, but the limited predictability of their effect on protein maturation, complex formation, and transport has hindered reliable genotype ...
Leonela Luce +72 more
wiley +1 more source
What Do Large Language Models Know About Materials?
If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer +2 more
wiley +1 more source
This study employs comprehensive source rock evaluation using seismic inversion, rock-eval pyrolysis, organic petrography and basin modeling techniques. The kerogen type is determined by using the Van Krevelen diagram, confirming Bahu-01, Nandpur-01 and ...
Qadeer Ahmad +2 more
doaj +1 more source
Abstract Data Types in Event-B - An Application of Generic Instantiation [PDF]
Integrating formal methods into industrial practice is a challenging task. Often, different kinds of expertise are required within the same development.
Basin, David +4 more
core
Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows
A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba +5 more
wiley +1 more source
Speculative Staging for Interpreter Optimization [PDF]
Interpreters have a bad reputation for having lower performance than just-in-time compilers. We present a new way of building high performance interpreters that is particularly effective for executing dynamically typed programming languages. The key idea
Brunthaler, Stefan
core
Additive manufacturing provides precise control over the placement of continuous fibres within polymer matrices, enabling customised mechanical performance in composite components. This article explores processing strategies, mechanical testing, and modelling approaches for additive manufactured continuous fibre‐reinforced composites.
Cherian Thomas, Amir Hosein Sakhaei
wiley +1 more source
Characterizing pore types in carbonate rocks is essential for understanding their reservoir properties, such as water saturation, porosity, and permeability, as well as their reservoir quality and dynamic behavior. The aim and objective of this study are
Ahadollah Mirshadi +4 more
doaj +1 more source
A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems [PDF]
We revisit known transformations from Jinja bytecode to rewrite systems from the viewpoint of runtime complexity. Suitably generalising the constructions proposed in the literature, we define an alternative representation of Jinja bytecode (JBC ...
Moser, Georg, Schaper, Michael
core

