Results 61 to 70 of about 393,847 (324)

Perimeter-Minimizing Triple Bubbles in the Plane and the 2-Sphere

Analysis and Geometry in Metric Spaces, 2019
We use continuous and discrete unification to prove that standard triple bubbles in ℝ2 and 𝕊2 are the minimizers of perimeter, among all clusters (Definition 2.3) enclosing the same triple of areas.
Lawlor Gary R.
doaj   +1 more source

Optimality in Goal-Dependent Analysis of Sharing

, 2009
We face the problems of correctness, optimality and precision for the static analysis of logic programs, using the theory of abstract interpretation.
Amato, Amato, Apt, Cortesi, Cousot, FRANCESCA SCOZZARI, Furukawa, GIANLUCA AMATO, Hans, Henkin, King, King, Le Charlier, Lloyd, Muthukumar, Palamidessi, Søndergaard   +16 more
core   +1 more source

Running Gauge Couplings and Thresholds in the Type II Superstring [PDF]

, 1992
A distinctive feature of string unification is the possibility of unification by a non-simply-laced group. This occurs most naturally in four dimensional type~II string models where the gauge symmetry is realized by Kac-Moody algebras at different levels.
Abbott, Amaldi, Antoniadis, Antoniadis, Antoniadis, Antoniadis, Bluhm, Bluhm, Callan, Cases, Dixon, Dixon, Ellis, Ferrara, Font, Ginsparg, Howe, Ibáñez, James T. Liu, Kaplunovsky, Kaplunovsky, Kawai, L. Dolan, Langacker, Minahan, Taylor, Weinberg   +26 more
core   +4 more sources

Rad27/FEN1 prevents accumulation of Okazaki fragments and ribosomal DNA copy number changes

FEBS Letters, EarlyView.
The budding yeast Rad27 is a structure‐specific endonuclease. Here, the authors reveal that Rad27 is crucial for maintaining the stability of the ribosomal RNA gene (rDNA) region. Rad27 deficiency leads to the accumulation of Okazaki fragments and changes in rDNA copy number.
Tsugumi Yamaji, Yuko Katayama, Nanase Arata, Mariko Sasaki   +3 more
wiley   +1 more source

String Phenomenology: Past, Present and Future Perspectives

Galaxies, 2014
The observation of a scalar resonance at the Large Hadron Collider (LHC), compatible with perturbative electroweak symmetry breaking, reinforces the Standard Model (SM) parameterisation of all subatomic data. The logarithmic evolution of the SM gauge and
Alon E. Faraggi
doaj   +1 more source

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, Martens, Moritz, Rehof, Jakob   +2 more
core   +1 more source

Equational unification, word unification, and 2nd-order equational unification

Theoretical Computer Science, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Otto, Friedrich, Narendran, Paliath, Dougherty, Daniel J.   +2 more
openaire   +1 more source

Vacuolar transport and function of Saccharomyces cerevisiae sterol ester hydrolase Tgl1

FEBS Letters, EarlyView.
Tgl1, one of yeast sterol ester hydrolases, had been found on the lipid droplets where sterol esters are mainly stored. This study revealed that Tgl1 is transported into the vacuole depending on the ESCRT‐I–III complex, and that it exhibits intra‐vacuolar sterol ester hydrolase activity.
Takumi Nakatsuji, Kosuke Shiraishi, Chuqian Wang, Hiroya Yurimoto, Yasuyoshi Sakai, Masahide Oku   +5 more
wiley   +1 more source

Unification of Gauge Couplings in Radiative Neutrino Mass Models [PDF]

, 2016
We investigate the possibility of gauge coupling unification in various radiative neutrino mass models, which generate neutrino masses at one- and/or two-loop level.
Hagedorn, Claudia, Ohlsson, Tommy, Riad, Stella, Schmidt, Michael A.   +3 more
core   +2 more sources

Spatiotemporal and quantitative analyses of phosphoinositides – fluorescent probe—and mass spectrometry‐based approaches

FEBS Letters, EarlyView.
Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho, Shin Morioka, Junko Sasaki, Takehiko Sasaki   +3 more
wiley   +1 more source