Unconstrained Direct Optimization of Spacecraft Trajectories Using Many Embedded Lambert Problems

Journal of Optimization Theory and Applications - Direct optimization of many-revolution spacecraft trajectories is performed using an unconstrained formulation with many short-arc, embedded...     

A methodology to select suppliers to increase sustainability within supply chains

Central European Journal of Operations Research - Sustainability practice within supply chains remains in an early development phase. Enterprises still need tools that support the integration of...     

Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Persistent Monitoring by Multiple Unmanned Aerial Vehicles Using Bernstein Polynomials

Journal of Optimization Theory and Applications - A framework for monitoring a target modeled as Dubins car using multiple UAVs is proposed. The UAVs are subject to minimum and maximum speed,...     

Discovery of Novel Symmetrical 1,4-Dihydropyridines as Inhibitors of Multidrug-Resistant Protein (MRP4) Efflux Pump for Anticancer Therapy

Despite the development of targeted therapies in cancer, the problem of multidrug resistance (MDR) is still unsolved. Most patients with metastatic cancer die from MDR. Transmembrane efflux pumps as the main cause of MDR have been addressed by developed inhibitors, but early inhibitors of the most prominent and longest known efflux pump P-glycoprotein (P-gp) were disappointing. Those inhibitors have been used without knowledge about the expression of P-gp by the treated tumor. Therefore the use of inhibitors of transmembrane efflux pumps in clinical settings is reconsidered as a promising strategy in the case of the respective efflux pump expression. We discovered novel symmetric inhibitors of the symmetric efflux pump MRP4 encoded by the ABCC4 gene. MRP4 is involved in many kinds of cancer with resistance to anticancer drugs. All compounds showed better activities than the best known MRP4 inhibitor MK571 in an MRP4-overexpressing cell line assay, and the activities could be related to the various substitution patterns of aromatic residues within the symmetric molecular framework. One of the best compounds was demonstrated to overcome the MRP4-mediated resistance in the cell line model to restore the anticancer drug sensitivity as a proof of concept.     

A Photoluminescent Ag10Cu6 Cluster Stablized by a PNNP Ligand and Phenylacetylides Selectively and Reversibly Senses Ammonia in Air and Water

A photoluminescent bimetallic cluster [Ag₁₀Cu₆(bdppthi)₂(C≡CPh)₁₂(MeOH)₂(H₂O)](ClO₄)₄ ( 1 , bdppthi=N,N’-bis(diphenylphosphanylmethyl)-tetrahydroimidazole} was synthesized from the PNNP type ligand bdppthi generated in-situ. Upon excitation at 365 nm, 1 exhibited strong phosphorescent emission at 630 nm, which was selectively quenched by NH₃ in air or water. The sensing of NH₃ was rapid and recoverable, with detection limits of 53 ppm (v/v) in N₂ and 21 μmol/L (0.36 ppm, w/w) for NH₃ ⋅ H₂O in water. Cluster 1 could potentially serve as a bifunctional chemical sensor for the efficient detection of ammonia in waste-gas and waste-water.