-
581
Asymptotic Chow Semistability Implies Ding Polystability for Gorenstein Toric Fano Varieties
Published 2023-09-01“…</i><b>71</b> (2019), 495–524.) and specifying the symmetry of the associated polytopes as well.…”
Get full text
Article -
582
Mixed volumes of hypersimplices, root systems and shifted young tableaux
Published 2011Get full text
Thesis -
583
Structure-function analysis of the presumptive Arabidopsis auxin permease AUX1.
Published 2004“…We were able to demonstrate in conjunction with helix prediction programs that AUX1 represents a polytopic membrane protein composed of 11 transmembrane spanning domains. …”
Journal article -
584
The ER membrane protein complex promotes biogenesis of sterol-related enzymes maintaining cholesterol homeostasis
Published 2018“…Insertion of the weakly hydrophobic tail-anchor (TA) of SQS into the ER membrane by the EMC ensures sufficient flux through the sterol biosynthetic pathway while biogenesis of polytopic SOAT1 promoted by the EMC provides cells with the ability to store free cholesterol as inert cholesteryl esters. …”
Journal article -
585
Automatic verification of concurrent stochastic systems
Published 2021“…For zerosum properties it requires solving matrix games via linear programming, and for equilibria-based properties we find social welfare or social cost Nash equilibria of bimatrix games via the method of labelled polytopes through an SMT encoding. We implement this approach in PRISM-games, which required extending the tool’s modelling language for CSGs, and apply it to case studies from domains including robotics, computer security and computer networks, explicitly demonstrating the benefits of both CSGs and equilibria-based properties.…”
Journal article -
586
Hierarchical Lateral Control Scheme for Autonomous Vehicle with Uneven Time Delays Induced by Vision Sensors
Published 2018-08-01“…Secondly, the state space of the system is augmented to describe such uncertainties with polytopic inclusions, which is controlled by an H∞-based LQR controller with a low cost of online computation. …”
Get full text
Article -
587
Phylogenetic analysis of promoter regions of human Dolichol kinase (DOLK) and orthologous genes using bioinformatics tools
Published 2023-05-01“…The Dolichol kinase (DOLK) gene encodes the polytopic DOLK protein associated with the endoplasmic reticulum (ER) N-glycosylation pathway catalyzing the final step in the biosynthesis of dolichol phosphate. …”
Get full text
Article -
588
Substrate recognition mechanism of the endoplasmic reticulum-associated ubiquitin ligase Doa10
Published 2024-03-01“…Abstract Doa10 (MARCHF6 in metazoans) is a large polytopic membrane-embedded E3 ubiquitin ligase in the endoplasmic reticulum (ER) that plays an important role in quality control of cytosolic and ER proteins. …”
Get full text
Article -
589
Arrangements of equal minors in the positive Grassmannian
Published 2018“…We show that arrangements of equal minors of largest value are in bijection with sorted sets, which earlier appeared in the context of alcoved polytopes and Gröbner bases. Maximal arrangements of this form correspond to simplices of the alcoved triangulation of the hypersimplex; and the number of such arrangements equals the Eulerian number. …”
Get full text
Get full text
Get full text
Article -
590
Shapes and recession cones in mixed-integer convex representability
Published 2024“…Second, we provide an example of an MICP-R set which is the countably infinite union of polytopes all of which have different shapes (no pair is combinatorially equivalent, which implies they are not affine transformations of each other). …”
Get full text
Article -
591
-
592
Causal structures from entropic information: geometry and novel scenarios
Published 2014-01-01“…Many of our results are based on a geometric observation: Bell polytopes for two-outcome measurements can be naturally imbedded into the convex cone of attainable marginal entropies. …”
Get full text
Article -
593
Landau discriminants
Published 2022-08-01“…In order to study degenerate limits of Landau equations and bounds on the degree of the Landau discriminant, we introduce Landau polytopes and study their facet structure. Finally, we provide an efficient numerical algorithm for the computation of the number of master integrals based on the connection to algebraic statistics. …”
Get full text
Article -
594
Pareto task inference analysis reveals cellular trade-offs in diffuse large B-Cell lymphoma transcriptomic data
Published 2024-03-01“…The Pareto optimality theory has been proposed as a framework allowing to identify such trade-offs in biological data from its prediction that it would lead to the presence of specific geometrical patterns (polytopes) in, e.g., gene expression space, with vertices representing specialized phenotypes. …”
Get full text
Article -
595
Glycoconjugate pathway connections revealed by sequence similarity network analysis of the monotopic phosphoglycosyl transferases
Published 2021“…Additionally, unexpected fusions of the monoPGT with members of the polytopic PGT superfamily were discovered, implying a possible evolutionary link through the shared polyprenol phosphate substrate. …”
Get full text
Article -
596
Analysis and design of networked control systems
Published 2009“…Uncertainties of the networked control system will be characterized by polytopic uncertain parameters using Jordan canonical form. …”
Get full text
Thesis -
597
Multiplicative robust and stochastic MPC with application to wind turbine control
Published 2014“…The uncertainty in the predicted future states and inputs is bounded by polytopes. The computational cost of running the controller is reduced by calculating matrices offline that provide a means to construct outer approximations to robust constraints to be applied online. …”
Thesis -
598
Novel epididymis-specific mRNAs downregulated by HE6/Gpr64 receptor gene disruption.
Published 2007“…The cloned cDNA sequences predicted hydrophobic polytopic membrane proteins containing the DUF716 motif. …”
Journal article -
599
Causal inference with instruments and other supplementary variables.
Published 2008“…Using an approach based on convex polytopes, bounds are computed here in terms of the pairwise (A,B) and (A,C) distributions, in direct analogy to the classic use but without the linearity assumption. …”
Thesis -
600
Central limit model checking
Published 2019“…We then develop efficient and scalable approximate model checking algorithms on the resulting Gaussian process, where we restrict the target regions for probabilistic reachability to convex polytopes. This allows us to derive an abstraction in terms of a time-inhomogeneous discrete-time Markov chain (DTMC), whose dimension is independent of the number of species, on which model checking is performed. …”
Journal article