The page lists 62 projects related to the topic "bounds".
| # | |||
|---|---|---|---|
| 1 | Moments | Moment inequalities in matrix algebras | 2015 |
| 2 | LDMRD | Large Deviations and Measure Rigidity in Dynamics | 2015 |
| 3 | TCN TimeAnalyzer | TimeAnalyzer in real-time networks | 2015 |
| 4 | MPCPRO | Better MPC Protocols in Theory and in Practice | 2015 |
| 5 | DuaLL | Duality in Formal Languages and Logic - a unifying approach to complexity and semantics | 2015 |
| 6 | HomeoBalanceExcInh | Homeostatic balancing of excitation and inhibition in vivo | 2015 |
| 7 | GRANT | Groups, Representations and Analysis in Number Theory | 2015 |
| 8 | StronGrHEP | Strong Gravity and High-Energy Physics | 2016 |
| 9 | HERCULES | High-Performance Real-time Architectures for Low-Power Embedded Systems | 2016 |
| 10 | FLIRT | Fluid Flows and Irregular Transport | 2016 |
| 11 | OXTOP | Low-dimensional topology in Oxford | 2016 |
| 12 | FADAMS | Foundations of Factorized Data Management Systems | 2016 |
| 13 | TOTAL | Technology transfer between modern algorithmic paradigms | 2016 |
| 14 | TOCNeT | Teaching Old Crypto New Tricks | 2016 |
| 15 | MAIT | Evolutionary conserved T cells specific for a microbial metabolite: deciphering their development in the thymus and mapping their interactions with the gut microbiota in vivo. | 2016 |
| 16 | RanDM | Randomness and pseudorandomness in discrete mathematics | 2016 |
| 17 | ESTIA | Exponential sums, translation invariance, and applications | 2016 |
| 18 | SALTED | Salt Tectonics and Dynamics | 2016 |
| 19 | RicciBounds | Metric measure spaces and Ricci curvature — analytic, geometric, and probabilistic challenges | 2016 |
| 20 | Dark-OsT | Experimental Searches for Oscillating and Transient effects from the Dark Sector | 2016 |
| 21 | OPRECOMP | Open transPREcision COMPuting | 2017 |
| 22 | DisDyn | Distributed and Dynamic Graph Algorithms and Complexity | 2017 |
| 23 | RandMat | Spectral Statistics of Structured Random Matrices | 2017 |
| 24 | MPM | Modern Pattern Matching | 2017 |
| 25 | ACCENT | Algebraic Covering Codes Enabling Network Transmissions | 2018 |
| 26 | MiLC | Monotonicity in Logic and Complexity | 2017 |
| 27 | ExtSpGraphLim | Extremal Sparse Graphs and Graph Limits | 2017 |
| 28 | STORM | The first cybersecurity management system providing evidence based metrics for cyber risk at the business asset level in real-time | 2017 |
| 29 | CGinsideNP | Complexity Inside NP - A Computational Geometry Perspective | 2018 |
| 30 | ANADEL | Analysis of Geometrical Effects on Dispersive Equations | 2018 |
| 31 | SVIS | Supervised Verification of Infinite-State Systems | 2018 |
| 32 | BANDWIDTH | The cost of limited communication bandwidth in distributed computing | 2018 |
| 33 | SpeedDMN | Quantum speed limits in thermodynamic processes and coherent control | 2018 |
| 34 | TrueBrainConnect | Advancing the non-invasive assessment of brain communication in neurological disease | 2019 |
| 35 | EUVSBSMP | Early Universe Vacuum Stability and Beyond the Standard Model Physics | 2019 |
| 36 | QuantCom | Ubiquitous Quantum Communications | 2018 |
| 37 | HiggsSelfCoupling | Uncovering the Origins of Mass: Discovery of the di-Higgs Process and Constraints on the Higgs Self-Coupling | 2019 |
| 38 | EFMA | Equidistribution, fractal measures and arithmetic | 2018 |
| 39 | SPECGEO | Spectral geometric methods in practice | 2018 |
| 40 | PEQEM | Photonics for engineered quantum enhanced measurement | 2019 |
| 41 | CURVATURE | Optimal transport techniques in the geometric analysis of spaces with curvature bounds | 2019 |
| 42 | SPEC | Secure, Private, Efficient Multiparty Computation | 2019 |
| 43 | PATHWISE | Pathwise methods and stochastic calculus in the path towards understanding high-dimensional phenomena | 2019 |
| 44 | CoSP | Combinatorial Structures and Processes | 2019 |
| 45 | HQMAT | New Horizons in Quantum Matter: From Critical Fluids to High Temperature Superconductivity | 2019 |
| 46 | ENGAGES | Next generation algorithms for grabbing and exploiting symmetry | 2019 |
| 47 | WallCrossAG | Wall-Crossing and Algebraic Geometry | 2019 |
| 48 | LieLowerBounds | Lower bounds for partial differential operators on compact Lie groups | 2019 |
| 49 | ExTaSea | EXtreme upper TAil of SEA level rise: constraints from geological records | 2020 |
| 50 | AXIONRUSH | Rethinking Ultraviolet Scenarios for Hunting the AXION | 2019 |
| 51 | ScalableControl | Scalable Control of Interconnected Systems | 2019 |
| 52 | QUAMAP | Quasiconformal Methods in Analysis and Applications | 2019 |
| 53 | CATCH-22 | High temperature superconductivity and the Catch-22 conundrum | 2019 |
| 54 | DistMaP | Distributed and Massively Parallel Graph Algorithms | 2019 |
| 55 | ARiAT | Advanced Reasoning in Arithmetic Theories | 2020 |
| 56 | AlgoQIP | Beyond Shannon: Algorithms for optimal information processing | 2020 |
| 57 | QGBoot | Scattering Strings and Other Things: A Modern Approach to Quantum Gravity and the Conformal Bootstrap | 2020 |
| 58 | LocalGlobal | Local vs Global Properties of Large Discrete Structures | 2021 |
| 59 | ForM-SMArt | Formal Methods for Stochastic Models: Algorithms and Applications | 2020 |
| 60 | MCT | Metacomputational Complexity Theory | 2020 |
| 61 | PropRT | Property-Based Modulable Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems | 2020 |
| 62 | RanMatRanGraCircEl | Random Matrices, Random Graphs and Circular Elements | 2020 |