Filters








13,012 Hits in 9.9 sec

Organometallic Nanoparticles of Metals or Metal Oxides

B. Chaudret, K. Philippot
2007 Oil & Gas Science and Technology  
Some results obtained in the deposition of metal nanoparticles within the channels of templates such as alumina membranes and mesoporous silica through a classsical impregnation method are also reported  ...  The main advantage of using such metal precursors is their easy decomposition that can be achieved in solution and mild conditions.  ...  This is corroborated by solution NMR studies that, like for ruthenium, evidence the absence of exchange between free and coordinated ligands at the NMR time scale.  ... 
doi:10.2516/ogst:2007062 fatcat:7dbkqczdh5agzckwz4r3n337n4

Self-Similarity Breeds Resilience

Sanjiva Prasad, Lenore D. Zuck
2016 Electronic Proceedings in Theoretical Computer Science  
class of systems for which the problem is decidable.  ...  While the general problem of proving systems to be behaviourally self-similar is undecidable, we show, by casting them in the framework of well-structured transition systems, that there is an interesting  ...  We would like to thank the anonymous referees for their helpful suggestions in improving the paper.  ... 
doi:10.4204/eptcs.222.3 fatcat:2x6fnjadcfbbvbj7nqod5jvizu

Conjoining specifications

Martín Abadi, Leslie Lamport
1995 ACM Transactions on Programming Languages and Systems  
The charter of SRC is to advance both the state of knowledge and the state of the art in computer systems.  ...  Some of it is in established elds of theoretical computer science, such as the analysis of algorithms, computational geometry, and logics of programming.  ...  The hypotheses of the Composition Theorem are similar to those of the Decomposition Theorem, and they are proved in much the same way.  ... 
doi:10.1145/203095.201069 fatcat:c4ipphe7ingp3mfpmrnqoemkfu

Routed quantum circuits

Augustin Vanrietvelde, Hlér Kristjánsson, Jonathan Barrett
2021 Quantum  
in several situations, including the superposition of quantum channels and the causal decompositions of unitaries.  ...  We prove that this new framework allows for a consistent and intuitive diagrammatic representation in terms of circuit diagrams, applicable to both pure and mixed quantum theory, and exemplify its use  ...  Let us now prove, for the isometric case, that the compositions are suitable for isometries.  ... 
doi:10.22331/q-2021-07-13-503 fatcat:xr5asptqovhxhaukiqgyabh62y

Routed quantum circuits [article]

Augustin Vanrietvelde, Hlér Kristjánsson, Jonathan Barrett
2021 arXiv   pre-print
in several situations, including the superposition of quantum channels and the causal decompositions of unitaries.  ...  We prove that this new framework allows for a consistent and intuitive diagrammatic representation in terms of circuit diagrams, applicable to both pure and mixed quantum theory, and exemplify its use  ...  Let us now prove, for the isometric case, that the compositions are suitable for isometries.  ... 
arXiv:2011.08120v2 fatcat:zsntjrlfg5aqzlra5olqejzc7i

Influence of the interaction of calcium carbonate particles with surfactants on the degree of water pollution in small rivers

Petru Spataru, Francisco Fernandez, Joseph W. Sista, Tudor Spataru, Oxana Spinu, Igor Povar
2017 Ecological Processes  
UV-Vis spectra reveal the decomposition of the complex [anionic SAS (SAS-An) * cationic SAS (SAS-Ct)] in solutions when CaCO 3 is added.  ...  Results: Laboratory simulations indicate reduced negative influences on cationic SAS nitrification/self-purification processes in the presence of anionic species.  ...  of the Republic of Moldova in partnership with the International Organization for Migration, Mission to Moldova, in the framework of the "Consolidating Moldova's Migration and Development Institutional  ... 
doi:10.1186/s13717-017-0086-4 fatcat:ypym7nh5vzb7rhwyxxmmvcdvsu

Shared contract-obedient channels

Étienne Lozes, Jules Villard
2015 Science of Computer Programming  
In the absence of endpoint sharing, previous work was able to prove obedience to channel contracts and absence of data races, and from that to deduce the absence of message reception errors and of orphan  ...  Surprisingly, sharing in this way does not contradict linear channel usage: each endpoint is effectively used by at most one thread at a time even though several threads compete for the initial message  ...  Proof of the parallel decomposition lemma (Lemma 45) For simplicity, we restrict our attention to fractional permissions, but any other permission model could be used instead, such as tokens [5]  ... 
doi:10.1016/j.scico.2014.09.008 fatcat:vvx52i4b7fclbnno5jna7rrtd4

The reactive quantum Boltzmann equations: A derivation from an arrangement channel space representation and BBGKY hierarchy

J. W. Evans, D. K. Hoffman, D. J. Kouri
1983 Journal of Chemical Physics  
The use of an arrangement channel space representation allows an exact decomposition of the N particle density matrix into components for different chemical compositions and an exact definition of reduced  ...  The use of an arrangement channel space representation allows an exact decomposition of the N particle density matrix into components for different chemical compositions and an exact definition of reduced  ...  The assumption of "strong orthogonality" of composition (or channel) projection operators is used to justify more general use of this decomposition.  ... 
doi:10.1063/1.445026 fatcat:yyss6pxatvas7nnysffll4c6gu

Tight List-Sizes for Oblivious AVCs under Constraints [article]

Yihan Zhang, Sidharth Jaggi, Amitalok J. Budkuley
2020 arXiv   pre-print
En route to a tight characterization of the list-decoding capacity, we propose a method for subcode construction towards the resolution of the combinatorial conjecture.  ...  For any oblivious AVCs potentially with constraints on the sender's transmitted sequence and the adversary's noise sequence, we determine the exact value of the minimum list-size that can support a reliable  ...  with (stochastic) encoders and decoders that run in polynomial time for the oblivious bitflip channels.  ... 
arXiv:2009.03788v1 fatcat:vb5jcs77ibcgdefgjwuhgmejpu

A polar decomposition for quantum channels (with applications to bounding error propagation in quantum circuits)

Arnaud Carignan-Dugas, Matthew Alexander, Joseph Emerson
2019 Quantum  
The uncluttered parameterization of LK approximated maps naturally suggests the introduction of a unitary-decoherent polar factorization for quantum channels in any dimension.  ...  However, given the vastitude of possible quantum errors as well as their coherent nature, accurately inferring the quality of composite operations is generally difficult.  ...  Remark that the set {A m:1 i } consist of a valid Kraus decomposition for the composite channel A m:1 , and can be used to calculate Φ(A m:1 , U m:1 ) and Υ(A m:1 ) through eqs.  ... 
doi:10.22331/q-2019-08-12-173 fatcat:ya66yq5h4zhurmc46ki3qhpv4u

A polar decomposition for quantum channels (with applications to bounding error propagation in quantum circuits) [article]

Arnaud Carignan-Dugas, Matthew Alexander, Joseph Emerson
2019 arXiv   pre-print
The uncluttered parameterization of LK approximated maps naturally suggests the introduction of a unitary-decoherent polar factorization for quantum channels in any dimension.  ...  However, given the vastitude of possible quantum errors as well as their coherent nature, accurately inferring the quality of composite operations is generally difficult.  ...  Let's unfold this result one step at a time. First, consider eq. (63) for m = 1. Let A be a channel with target U and polar decomposition V • D. W := U −1 • V is a unitary error.  ... 
arXiv:1904.08897v2 fatcat:epnj7ty47rcuxfpcqfyrbwjlpq

Information-theoretic foundations of thermodynamics in general probabilistic theories [article]

Carlo Maria Scandolo
2019 arXiv   pre-print
two necessary requirements for a well-defined thermodynamics.  ...  In these theories it is possible to introduce well-behaved notions of majorisation, entropy, and Gibbs states, allowing for an information-theoretic derivation of Landauer's principle.  ...  I feel very grateful for the help and support from many (old and new) friends during my time at Oxford.  ... 
arXiv:1901.08054v1 fatcat:rxyg2gpdsjfidgadcgbn5zgc7e

Ruling out Higher-Order Interference from Purity Principles

Howard Barnum, Ciarán Lee, Carlo Scandolo, John Selby
2017 Entropy  
slits instead of two.  ...  We work within the operational framework of generalised probabilistic theories, and prove that any theory satisfying Causality, Purity Preservation, Pure Sharpness, and Purification---four principles that  ...  Acknowledgments: The authors thank J. Barrett  ... 
doi:10.3390/e19060253 fatcat:5pqhf6b4jjcapay3kqfpqruw54

Cooperative structure-directing effect of choline cation and *BEA zeolite in the synthesis of aluminogermanosilicate IWR zeolite

Wenhua Fu, Zhiqing Yuan, Shaoqing Jin, Wei Liu, Zhendong Wang, Chuanming Wang, Yangdong Wang, Weimin Yang, Ming-Yuan He
2019 Chinese Journal of Catalysis  
In this contribution, we report the cooperative structure-directing effect of choline hydroxide and aluminosilicate *BEA zeolite in the synthesis of aluminogermanosilicate IWR zeolites for the first time  ...  The crystallization of the IWR zeolite involves several steps, among which the crucial one is believed to be the reassembly of the building units produced from the decomposition of *BEA zeolite seeds,  ...  instead of hexamethonium.  ... 
doi:10.1016/s1872-2067(19)63324-3 fatcat:wqc7zz2tm5eutp5ymupvxtehh4

From Higgs to pions and Back -- the Unbearable Lightness of a Composite Scalar Boson at 125 GeV in Purely Vectorial Theories [article]

Shmuel Nussinov
2013 arXiv   pre-print
We conjecture that for the pseudo-scalar two point function - and for that case only- self retracing paths and closely related paths make in this limit a positive, coherent and dominant contribution, a  ...  The direct considerations of the various two point functions in the large N_c limit presented below- suggest that massless pseudo-scalars, but not any other anomalously light meson, arise as composites  ...  Casher on all aspects of SXSB in QCD, with N.A. Hamed, Y. Nomura, L. Vecchi and R. Sundrum in particular on the Nontechni-color composite models, with Z.  ... 
arXiv:1308.2239v1 fatcat:zxqy5gfh3fhyzjdht3w2qserta
« Previous Showing results 1 — 15 out of 13,012 results