Results 41 to 50 of about 1,592,171 (301)
New Journal of Physics, 2015 The real-time dynamics of a classical spin in an external magnetic field and local exchange coupled to an extended one-dimensional system of non-interacting conduction electrons is studied numerically.
Mohammad Sayad, Michael Potthoff
doaj +1 more source
Named Models in Coalgebraic Hybrid Logic [PDF]
, 2010 Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic semantics, where Kripke frames are replaced with coalgebras for a given ...
Dirk Pattinson +3 more
core +4 more sources
On A nonstandard model of hybrid automaton
2010 IEEE International Conference on Control Applications, 2010 In this paper, we introduce an enlargement of a standard hybrid automaton (HA) called a nonstandard hybrid automaton (NHA) which is another model of HA in the domain of *ℝ rather than ℝ. We define two kinds of almost periodic trajectories called the z-*cycle and p-* cycle on NHA, and we discuss a slightly extended Zeno (*Zeno) and a limit cycle in ...
Katsunori Nakamura, Akira Fusaoka
openaire +2 more sources
Tau acetylation at K331 has limited impact on tau pathology in vivo
FEBS Letters, EarlyView.We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto +3 more
wiley +1 more source
Hybrid Behaviour of Markov Population Models [PDF]
, 2013 We investigate the behaviour of population models written in Stochastic Concurrent Constraint Programming (sCCP), a stochastic extension of Concurrent Constraint Programming.
Bortolussi, Luca
core
A QCD Sum-Rules Analysis of Vector ($1^{--}$) Heavy Quarkonium Meson-Hybrid Mixing
, 2017 We use QCD Laplace sum-rules to study meson-hybrid mixing in vector ($1^{--}$) heavy quarkonium. We compute the QCD cross-correlator between a heavy meson current and a heavy hybrid current within the operator product expansion.
Harnett, D. +3 more
core +1 more source
AAA+ protein unfoldases—the Moirai of the proteome
FEBS Letters, EarlyView.AAA+ unfoldases are essential molecular motors that power protein degradation and disaggregation. This review integrates recent cryo‐electron microscopy (cryo‐EM) structures and single‐molecule biophysical data to reconcile competing models of substrate translocation.
Stavros Azinas, Marta Carroni
wiley +1 more source
Molecular Oncology, EarlyView.Dimethyl fumarate (DMF) reduces growth of HPV‐positive cervical cancer spheroids and induces ferroptosis in cervical cancer cells via blocking SLC7A11/Glutathione (GSH) axis. Combination of subcytotoxic doses of DMF and cisplatin (CDDP) further suppresses spheroid growth and drives cell death in 2D culture models.
Carolina Punziano +6 more
wiley +1 more source
Auxiliary Guided Autoregressive Variational Autoencoders [PDF]
, 2018 Generative modeling of high-dimensional data is a key problem in machine learning. Successful approaches include latent variable models and autoregressive models. The complementary strengths of these approaches, to model global and local image statistics
Lucas, Thomas, Verbeek, Jakob
core +4 more sources
COMP–PMEPA1 axis promotes epithelial‐to‐mesenchymal transition in breast cancer cells
Molecular Oncology, EarlyView.This study reveals that cartilage oligomeric matrix protein (COMP) promotes epithelial‐to‐mesenchymal transition (EMT) in breast cancer. We identify PMEPA1 (protein TMEPAI) as a novel COMP‐binding partner that mediates EMT via binding to the TSP domains of COMP, establishing the COMP–PMEPA1 axis as a key EMT driver in breast cancer.
Konstantinos S. Papadakos +6 more
wiley +1 more source