Results 91 to 100 of about 1,171,405 (263)

Polymorphic type inference for the relational algebra [PDF]

open access: yesarXiv, 2001
We give a polymorphic account of the relational algebra. We introduce a formalism of ``type formulas'' specifically tuned for relational algebra expressions, and present an algorithm that computes the ``principal'' type for a given expression.
arxiv  

Whole‐Blood RNA Sequencing Profiling of Patients With Rheumatoid Arthritis Treated With Tofacitinib

open access: yesACR Open Rheumatology, EarlyView.
Objective Patients with rheumatoid arthritis (RA) often fail to respond to therapies, including JAK inhibitors (JAKi), and treatment allocation is made via a trial‐and‐error strategy. A comprehensive analysis of responses to JAKi, including tofacitinib, by RNA sequencing (RNAseq) would allow the discovery of transcriptomic markers with a two‐fold ...
Chiara Bellocchi   +11 more
wiley   +1 more source

The C++0x "Concepts" Effort [PDF]

open access: yes, 2011
C++0x is the working title for the revision of the ISO standard of the C++ programming language that was originally planned for release in 2009 but that was delayed to 2011. The largest language extension in C++0x was "concepts", that is, a collection of
Siek, Jeremy G.
core   +1 more source

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

open access: yes, 2012
The universal-algebraic approach has proved a powerful tool in the study of the complexity of CSPs. This approach has previously been applied to the study of CSPs with finite or (infinite) omega-categorical templates, and relies on two facts.
Bodirsky, Manuel   +2 more
core   +2 more sources

Revisiting Stability Criteria in Ball‐Milled High‐Entropy Alloys: Do Hume–Rothery and Thermodynamic Rules Equally Apply?

open access: yesAdvanced Engineering Materials, Volume 27, Issue 6, March 2025.
The stability criteria affecting the formation of high‐entropy alloys, particularly focusing in supersaturated solid solutions produced by mechanical alloying, are analyzed. Criteria based on Hume–Rothery rules are distinguished from those derived from thermodynamic relations. The formers are generally applicable to mechanically alloyed samples.
Javier S. Blázquez   +5 more
wiley   +1 more source

Homotopies for Free! [PDF]

open access: yesarXiv, 2017
We show "free theorems" in the style of Wadler for polymorphic functions in homotopy type theory as consequences of the abstraction theorem. As an application, it follows that every space defined as a higher inductive type has the same homotopy groups as some type of polymorphic functions defined without univalence or higher inductive types.
arxiv  

Assessing the Powder Bed Fusion–Laser Beam Potential of Glass‐Forming Alloys Using Single and Multitrack Laser Glazing Experiments

open access: yesAdvanced Engineering Materials, Volume 27, Issue 9, May 2025.
Characterizations of the expanse of processes parameter combinations that can be used to minimize cracking and porosity while optimizing crystallization and hardness are used to assess laser processing of four glass‐forming alloys. The set of viable alloys for laser additive manufacturing is not the same as for suction casting; some alloys are common ...
Soumya Mohan   +3 more
wiley   +1 more source

Consolidate Overview of Ribonucleic Acid Molecular Dynamics: From Molecular Movements to Material Innovations

open access: yesAdvanced Engineering Materials, EarlyView.
Molecular dynamics simulations are advancing the study of ribonucleic acid (RNA) and RNA‐conjugated molecules. These developments include improvements in force fields, long‐timescale dynamics, and coarse‐grained models, addressing limitations and refining methods.
Kanchan Yadav, Iksoo Jang, Jong Bum Lee
wiley   +1 more source

The number of clones determined by disjunctions of unary relations

open access: yes, 2018
We consider finitary relations (also known as crosses) that are definable via finite disjunctions of unary relations, i.e. subsets, taken from a fixed finite parameter set $\Gamma$. We prove that whenever $\Gamma$ contains at least one non-empty relation
Behrisch, Mike   +2 more
core   +1 more source

Hybrid Framework Materials: Next‐Generation Engineering Materials

open access: yesAdvanced Engineering Materials, Volume 27, Issue 9, May 2025.
Hybrid organic–inorganic materials merge the unique properties of organic and inorganic compounds, enabling applications in optoelectronics, gas storage, and catalysis. This review explores metal‐organic frameworks, hybrid organic–inorganic perovskites, and the emerging field of hybrid glasses, emphasizing their structures, functionalities, and ...
Jay McCarron   +2 more
wiley   +1 more source

Home - About - Disclaimer - Privacy