Zobrazeno 1 - 10
of 2 468
pro vyhledávání: '"Shillito"'
Autor:
Pawłowska Kamilla, Shillito Lisa-Marie
Publikováno v:
Open Archaeology, Vol 8, Iss 1, Pp 436-459 (2022)
The disposal of cultural material at Çatalhöyük, Turkey (7100–5950 cal BCE) has created substantial midden deposits between buildings and within abandoned houses. These consist of a variety of materials, including environmental remains such as e
Externí odkaz:
https://doaj.org/article/e6a69239322a4929811e14445ca76f3a
The intuitionistic modal logics considered between Constructive K (CK) and Intuitionistic K (IK) differ in their treatment of the possibility (diamond) connective. It was recently rediscovered that some logics between CK and IK also disagree on their
Externí odkaz:
http://arxiv.org/abs/2408.00262
It is well-known that extending the Hilbert axiomatic system for first-order intuitionistic logic with an exclusion operator, that is dual to implication, collapses the domains of models into a constant domain. This makes it an interesting problem to
Externí odkaz:
http://arxiv.org/abs/2404.15855
The uniform interpolation property in a given logic can be understood as the definability of propositional quantifiers. We mechanise the computation of these quantifiers and prove correctness in the Coq proof assistant for three modal logics, namely:
Externí odkaz:
http://arxiv.org/abs/2402.10494
Autor:
Panneels, Inge, Helgason, Ingi, Smyth, Michael, Darzentas, Dimitrios, Hocking, Lynne, Shillito, Ann-Marie
Industrial / commercial art & design
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/85836
Autor:
Lachance-Quirion, Dany, Lemonde, Marc-Antoine, Simoneau, Jean Olivier, St-Jean, Lucas, Lemieux, Pascal, Turcotte, Sara, Wright, Wyatt, Lacroix, Amélie, Fréchette-Viens, Joëlle, Shillito, Ross, Hopfmueller, Florian, Tremblay, Maxime, Frattini, Nicholas E., Lemyre, Julien Camirand, St-Jean, Philippe
The Gottesman-Kitaev-Preskill (GKP) code encodes a logical qubit into a bosonic system with resilience against single-photon loss, the predominant error in most bosonic systems. Here we present experimental results demonstrating quantum error correct
Externí odkaz:
http://arxiv.org/abs/2310.11400
Autor:
Lacroix, Nathan, Hofele, Luca, Remm, Ants, Benhayoune-Khadraoui, Othmane, McDonald, Alexander, Shillito, Ross, Lazar, Stefania, Hellings, Christoph, Swiadek, Francois, Colao-Zanuz, Dante, Flasby, Alexander, Panah, Mohsen Bahrami, Kerschbaum, Michael, Norris, Graham J., Blais, Alexandre, Wallraff, Andreas, Krinner, Sebastian
Quantum computers will require quantum error correction to reach the low error rates necessary for solving problems that surpass the capabilities of conventional computers. One of the dominant errors limiting the performance of quantum error correcti
Externí odkaz:
http://arxiv.org/abs/2309.07060
In the traditional approach to controlling superconducting qubits using microwave pulses, the field of pulse shaping has emerged in order to assist in the removal of leakage and increase gate fidelity. However, the challenge of scaling microwave cont
Externí odkaz:
http://arxiv.org/abs/2309.04606
We provide a new sequent calculus that enjoys syntactic cut-elimination and strongly terminating backward proof search for the intuitionistic Strong L\"ob logic $\sf{iSL}$, an intuitionistic modal logic with a provability interpretation. A novel meas
Externí odkaz:
http://arxiv.org/abs/2309.00486