Results 51 to 60 of about 140,074 (315)

Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization

open access: yesAdvanced Engineering Materials, EarlyView.
Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier   +17 more
wiley   +1 more source

A new relational method for smoothing and projecting age-specific fertility rates: TOPALS

open access: yesDemographic Research, 2011
Age-specific fertility rates can be smoothed using parametric models or splines. Alternatively a relational model can be used which relates the age profile to be fitted or projected to a standard age schedule.
Joop de Beer
doaj  

Analysis of Some Algorithm of the Join Operation

open access: yesСовременные информационные технологии и IT-образование
The relational approach to database organization has faced enough collisions during its existence and has often been subjected to serious and, at times, unjustified criticism.
Victor Munerman, Daniel Munerman
doaj   +1 more source

PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science

open access: yesAdvanced 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

Relational parametricity for higher kinds [PDF]

open access: yes, 2012
Reynolds’ notion of relational parametricity has been extremely influential and well studied for polymorphic programming languages and type theories based on System F.
Atkey, Robert
core   +1 more source

Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback

open access: yesAdvanced Robotics Research, EarlyView.
BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat   +4 more
wiley   +1 more source

Orthogonal Ionic Liquid‐Based Extraction Strategy Enables Amyloid‐Specific Profiling of Aggregate Proteome

open access: yesAdvanced Science, EarlyView.
An orthogonal ionic‐liquid extraction (Orth‐iEA) enables selective isolation of amyloid fibrils. TMGBF4 disrupts hydrogen‐bonded β‐sheet networks to solubilize amyloid aggregates, whereas C12ImCl interacts with hydrophobic regions of non‐amyloid proteins.
Shiying Zheng   +10 more
wiley   +1 more source

Identifying and addressing common undergraduate database design misconceptions

open access: yesFrontiers in Education
Data are a crucial asset for organizations, making it essential for database designers to effectively organize and manage data using DataBase Management Systems (DBMS).
Noha Abdelaziz   +3 more
doaj   +1 more source

Unifying Composition and Process Design: A Heterogeneous Graph Neural Network for Discovering High‐Performance Cu Alloys

open access: yesAdvanced Science, EarlyView.
By overcoming the fixed‐path limitations of conventional machine learning, a heterogeneous graph neural network fundamentally reconstructs material data representation. Integrating variable processing sequences with intrinsic elemental features, this framework enables exploratory optimization across high‐dimensional spaces.
Jie Yin   +12 more
wiley   +1 more source

Incompleteness of relational simulations in the blocking paradigm [PDF]

open access: yes, 2010
Refinement is the notion of development between formal specifications For specifications given in a relational formalism downward and upward simulations are the standard method to verify that a refinement holds their usefulness based upon their soundness
Derrick, John   +6 more
core   +1 more source

Home - About - Disclaimer - Privacy