Exact quantum query complexity of EXACTk,ln\rm{EXACT}_{k,l}^n

In the exact quantum query model a successful algorithm must always output the correct function value. We investigate the function that is true if exactly $k$ or $l$ of the $n$ input bits given by an oracle are 1. We find an optimal algorithm (for some cases), and a nontrivial general lower and upper bound on the minimum number of queries to the black box.Comment: 19 pages, fixed some typos and constraint

Rethinking the compositionality of point clouds through regularization in the hyperbolic space

Point clouds of 3D objects exhibit an inherent compositional nature where simple parts can be assembled into progressively more complex shapes to form whole objects. Explicitly capturing such part-whole hierarchy is a long-sought objective in order to build effective models, but its tree-like nature has made the task elusive. In this paper, we propose to embed the features of a point cloud classifier into the hyperbolic space and explicitly regularize the space to account for the part-whole hierarchy. The hyperbolic space is the only space that can successfully embed the tree-like nature of the hierarchy. This leads to substantial improvements in the performance of state-of-art supervised models for point cloud classification

Hardware-Software Co-Design of BIKE with HLS-Generated Accelerators

In order to mitigate the security threat of quantum computers, NIST is undertaking a process to standardize post-quantum cryptosystems, aiming to assess their security and speed up their adoption in production scenarios. Several hardware and software implementations have been proposed for each candidate, while only a few target heterogeneous platforms featuring CPUs and FPGAs. This work presents a HW/SW co-design of BIKE for embedded platforms featuring both CPUs and small FPGAs and employs high-level synthesis (HLS) to timely deliver the hardware accelerators. In contrast to state-of-the-art solutions targeting performance-optimized HLS accelerators, the proposed solution targets the small FPGAs implemented in the heterogeneous platforms for embedded systems. Compared to the software- only execution of BIKE, the experimental results collected on the systems-on-chip of the entire Xilinx Zynq-7000 family highlight a performance speedup ranging from 1.37x, on Z-7010, to 2.78x, on Z-7020

Serratiopeptidase reduces the invasion of osteoblasts by Staphylococcus aureus

Finding new strategies to counteract periprosthetic infection and implant failure is a main target in orthopedics. Staphylococcus aureus, the leading etiologic agent of orthopedic implant infections, is able to enter and kill osteoblasts, to stimulate pro-inflammatory chemokine secretion, to recruit osteoclasts, and to cause inflammatory osteolysis. Moreover, by entering eukaryotic cells, staphylococci hide from the host immune defenses and shelter from the extracellular antibiotics. Thus, infection persists, inflammation thrives, and a highly destructive osteomyelitis occurs around the implant. The ability of serratiopeptidase (SPEP), a metalloprotease by Serratia marcescens, to control S. aureus invasion of osteoblastic MG-63 cells and pro-inflammatory chemokine MCP-1 secretion was evaluated. Human osteoblast cells were infected with staphylococcal strains in the presence and in the absence of SPEP. Cell proliferation and cell viability were also evaluated. The release of pro-inflammatory chemokine MCP-1 was evaluated after the exposure of the osteoblast cells to staphylococcal strains. The significance of the differences in the results of each test and the relative control values was determined with Student’s t-test. SPEP impairs their invasiveness into osteoblasts, without affecting the viability and proliferation of bone cells, and tones down their production of MCP-1. We recognize SPEP as a potential tool against S. aureus bone infection and destruction

Constitutive equations and wave propagation in Green\u2013Naghdi type II and III thermoelectroelasticity

In this article we extend the theory of thermoelasticity devised by Green and Naghdi to the framework of finite thermoelectroelasticity. Both isotropic and transversely isotropic bodies are considered and thermodynamic restrictions on their constitutive relations are obtained by virtue of the reduced energy equality. In the second part, a linearized theory for transversely isotropic ther- mopiezoelectricity is derived from thermodynamic restrictions by construct- ing the free energy as a quadratic function of the 11 second-order invariants of the basic melds. The resulting theory provides a natural extension of the (linear) Green and Naghdi theory for types II and III rigid heat conductors. As a particular case, we derive the linear system which rules the processes depending on the symmetry axis coordinate only