Results 31 to 40 of about 401,393 (281)
The Algebraic Intersection Type Unification Problem
, 2017 The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems.
Dudenhefner, Andrej +2 more
core +1 more source
SU(7) Unification of SU(3)_C*SU(4)_W* U(1)_{B-L} [PDF]
, 2011 We propose the SUSY SU(7) unification of the SU(3)_C* SU(4)_W* U(1)_{B-L} model. Such unification scenario has rich symmetry breaking chains in a five-dimensional orbifold.
A Font +65 more
core +3 more sources
Nominal Unification from a Higher-Order Perspective
, 2010 Nominal Logic is a version of first-order logic with equality, name-binding, renaming via name-swapping and freshness of names. Contrarily to higher-order logic, bindable names, called atoms, and instantiable variables are considered as distinct entities.
Levy, Jordi, Villaret, Mateu
core +1 more source
Pathogenic Germline PALB2 and RAD50 Variants in Patients With Relapsed Ewing Sarcoma
Pediatric Blood &Cancer, EarlyView.ABSTRACT Approximately 10% of patients with Ewing sarcoma (EwS) have pathogenic germline variants. Here, we report two cases: first, a novel germline pathogenic variant in partner and localizer of BRCA2 (PALB2) in a patient with a late EwS relapse. Its impact on homologous recombination is demonstrated, and breast cancer risk is discussed.
Molly Mack +12 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Despite their increased risk for functional impairment resulting from cancer and its treatments, few adolescents and young adults (AYAs) with a hematological malignancy receive the recommended or therapeutic dose of exercise per week during inpatient hospitalizations.
Jennifer A. Kelleher +8 more
wiley +1 more source
Theorema 2.0: Computer-Assisted Natural-Style Mathematics
Journal of Formalized Reasoning, 2016 The Theorema project aims at the development of a computer assistant for the working mathematician. Support should be given throughout all phases of mathematical activity, from introducing new mathematical concepts by definitions or axioms, through first
Bruno Buchberger +4 more
doaj +1 more source
Optimal design of the cable metro with unified intermediate supports [PDF]
Научно-технический вестник Брянского государственного университета, 2017 In article was formulated and solved the problem of conditional nonlinear technical and economic optimization of the distance between intermediate supports, uniform in height, during the design of the cable metro lines in highly urban-ized city ...
Lagerev A.V., Lagerev I.A.
doaj +1 more source
User-Oriented Approach to Content Improvement in Official Library Websites
Библиосфера, 2022 The creation of official websites of modern libraries has opened up for them fundamentally new opportunities to present a wide range of information resources and services for remote users.
N. I. Gendina +2 more
doaj +1 more source
Gauge Coupling Unification in Superstring Derived Standard--like Models
, 1993 I discuss gauge coupling unification in a class of superstring standard--like models, which are derived in the free fermionic formulation. Recent calculations indicate that the superstring unification scale is at $O(10^{18}GeV)$ while the minimal ...
Alon E. Faragg +24 more
core +1 more source
Revealing the structure of land plant photosystem II: the journey from negative‐stain EM to cryo‐EM
FEBS Letters, EarlyView.Advances in cryo‐EM have revealed the detailed structure of Photosystem II, a key protein complex driving photosynthesis. This review traces the journey from early low‐resolution images to high‐resolution models, highlighting how these discoveries deepen our understanding of light harvesting and energy conversion in plants.
Roman Kouřil
wiley +1 more source