Results 91 to 100 of about 1,171,405 (263)
Polymorphic type inference for the relational algebra [PDF]
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
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]
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
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
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
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
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
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
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
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