Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
52 | Gradimir V. Milovanovic, Aleksandar S. Cvetkovic, Marija P. Stanic |
Trigonometric Orthogonal Systems and Quadrature Formulae with Maximal Trigonometric Degree of Exactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Methods and Applications ![In: Numerical Methods and Applications, 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers, pp. 402-409, 2006, Springer, 978-3-540-70940-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Maxim V. Dolgopolik |
A Unified Approach to the Global Exactness of Penalty and Augmented Lagrangian Functions I: Parametric Exactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 176(3), pp. 728-744, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
46 | Maxim V. Dolgopolik |
A Unified Approach to the Global Exactness of Penalty and Augmented Lagrangian Functions II: Extended Exactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 176(3), pp. 745-762, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
46 | Yasuaki Oishi |
Asymptotic exactness of parameter-dependent lyapunov functions: An error bound and exactness verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 46th IEEE Conference on Decision and Control, CDC 2007, New Orleans, LA, USA, December 12-14, 2007, pp. 5666-5671, 2007, IEEE, 978-1-4244-1497-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Qizhi Fang, Liang Kong |
Core Stability of Vertex Cover Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings, pp. 482-490, 2007, Springer, 978-3-540-77104-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Vertex cover game, stable core, largeness, exactness, balanced, extendability |
43 | Reinhard Rauscher, Andreas Krause 0007 |
A System for Heuristic Modifications on PLA - Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 267-274, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
heuristic modifications, PLA-specifications, numerical exactness, implicated deviation, optimization tool, HOPE, ESPRESSO, programmable logic arrays, binary coding |
38 | Qizhi Fang, Rudolf Fleischer, Jian Li 0015, Xiaoxun Sun |
Algorithms for Core Stability, Core Largeness, Exactness, and Extendability of Flow Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings, pp. 439-447, 2007, Springer, 978-3-540-73544-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Xuewu Du |
Results on Exactness Properties of the HP-ALF for Inequality Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuits and Systems 2006, APCCAS 2006, Singapore, 4-7 December 2006, pp. 638-641, 2006, IEEE, 1-4244-0387-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Elzbieta Kasperska, Damian Slota |
The Estimation of the Mathematical Exactness of System Dynamics Method on the Base of Some Economic System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II, pp. 634-637, 2004, Springer, 3-540-22115-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
System Dynamics Method, Simulation of the System of Production – Store – Sale, Simulation Language Dynamo |
29 | Katja Hose, Christian Lemke, Kai-Uwe Sattler, Daniel Zinn |
A Relaxed But Not Necessarily Constrained Way from the Top to the Sky. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I, pp. 399-407, 2007, Springer, 978-3-540-76846-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Carsten W. Scherer, Camile W. J. Hol |
Matrix Sum-of-Squares Relaxations for Robust Semi-Definite Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 107(1-2), pp. 189-211, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Christian Böhm 0001, Alexey Pryakhin, Matthias Schubert |
The Gauss-Tree: Efficient Object Identification in Databases of Probabilistic Feature Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 22nd International Conference on Data Engineering, ICDE 2006, 3-8 April 2006, Atlanta, GA, USA, pp. 9, 2006, IEEE Computer Society, 0-7695-2570-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Aleksandar Nanevski, Guy E. Blelloch, Robert Harper 0001 |
Automatic Generation of Staged Geometric Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 16(4), pp. 379-400, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
robust predicates, floating-point filters, exact arithmetic, computational geometry, program transformation |
29 | Aleksandar Nanevski, Guy E. Blelloch, Robert Harper 0001 |
Automatic Generation of Staged Geometric Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 217-228, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Jonathan E. Cook, Cha He, Changjun Ma |
Measuring Behavioral Correspondence to a Timed Concurrent Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001, pp. 332-341, 2001, IEEE Computer Society, 0-7695-1189-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
event-based behavioral analysis, dynamic analysis, approximate matching, Process measurement |
29 | Bernd Becker 0001, Martin Keim, Rolf Krieger |
Hybrid Fault Simulation for Synchronous Sequential Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 15(3), pp. 219-238, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
SOT, fault simulation, BDD, symbolic simulation, MOT |
28 | Elizabeth L. Mansfield |
Digital atlases and difference forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings, pp. 3-4, 2008, ACM, 978-1-59593-904-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
difference chains, difference forms, lattice variety, local difference potentials, local exactness, symbolic numeric methods, cohomology |
28 | Jorge Martinez 0001, Eric Richard Zenk |
Nuclear Typing of Frames vs Spatial Selectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(1), pp. 35-61, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
nuclear typing, spatial selector, algebraic frame and space, exactness of typing, frame, patch |
28 | Peter Hachenberger, Lutz Kettner |
Boolean operations on 3D selective Nef complexes: optimized implementation and experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the Tenth ACM Symposium on Solid and Physical Modeling 2005, Cambridge, Massachusetts, USA, June 13-15, 2005, pp. 163-174, 2005, ACM, 1-59593-015-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
boundary evaluation, exactness, nef polyhedra, unbounded polyhedra, algorithms, data structures, benchmark, robustness, experiments, completeness, CSG, non-manifold, B-rep |
23 | Congpei An, Hao-Ning Wu |
Bypassing the quadrature exactness assumption of hyperinterpolation on the sphere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Complex. ![In: J. Complex. 80, pp. 101789, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Julia Lindberg, Jose Israel Rodriguez |
Invariants of SDP exactness in quadratic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 122, pp. 102258, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Xi Chen 0070, Yizhe Hu, Teerachot Siriburanon, Jianglin Du, Robert Bogdan Staszewski, Anding Zhu |
A 30-GHz Class-F Quadrature DCO Using Phase Shifts Between Drain-Gate-Source for Low Flicker Phase Noise and I/Q Exactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Solid State Circuits ![In: IEEE J. Solid State Circuits 58(7), pp. 1945-1958, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Daniele A. Di Pietro, Jérôme Droniou |
An Arbitrary-Order Discrete de Rham Complex on Polyhedral Meshes: Exactness, Poincaré Inequalities, and Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 23(1), pp. 85-164, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Marco Locatelli 0001 |
KKT-based primal-dual exactness conditions for the Shor relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 86(2), pp. 285-301, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Jean-Luc Lupien, Antoine Lesage-Landry |
An Ex Post Condition for the Exactness of Optimal Power Flow Conic Relaxations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.07781, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Simon Foucart, Chunyang Liao |
S-Procedure Relaxation: a Case of Exactness Involving Chebyshev Centers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.09677, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Hao-Ning Wu, Xiaoming Yuan |
Breaking quadrature exactness: A spectral method for the Allen-Cahn equation on spheres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.04820, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Yoshio Ebihara, Xin Dai, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech |
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.11104, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Monique Laurent, Luis Felipe Vargas |
Exactness of Parrilo's Conic Approximations for Copositive Matrices and Associated Low Order Bounds for the Stability Number of a Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Oper. Res. ![In: Math. Oper. Res. 48(2), pp. 1017-1043, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Rujun Jiang, Duan Li 0002 |
Exactness Conditions for Semidefinite Programming Relaxations of Generalization of the Extended Trust Region Subproblem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Oper. Res. ![In: Math. Oper. Res. 48(3), pp. 1235-1253, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Bienstock, Alberto Del Pia, Robert Hildebrand |
Complexity, exactness, and rationality in polynomial optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 197(2), pp. 661-692, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Thai Doan Chuong, José Vicente-Pérez |
Conic Relaxations with Stable Exactness Conditions for Parametric Robust Convex Polynomial Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 197(2), pp. 387-410, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Zekharya Danin, Ido Amiel, Neda V. Miteva, Moshe Averbukh |
The Actual Exactness of a Fast RMS Correction during Abrupt Voltage Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(4), pp. 2117, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Laure Daviaud, Andrew Ryzhikov |
Universality and Forall-Exactness of Cost Register Automata with Few Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France, pp. 40:1-40:15, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-292-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Hyoju Seo, Seokhyeon Lee, Yongtae Kim |
Computation Exactness Exploration of Exact Quantum Adders in NISQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISOCC ![In: 20th International SoC Design Conference, ISOCC 2023, Jeju, Republic of Korea, October 25-28, 2023, pp. 87-88, 2023, IEEE, 979-8-3503-2703-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Mitchell Khoo, Tony A. Wood, Chris Manzie, Iman Shames |
A greedy and distributable approach to the Lexicographic Bottleneck Assignment Problem with conditions on exactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 140, pp. 110240, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Marianna De Santis, Gabriele Eichfelder, Daniele Patria |
On the exactness of the ε-constraint method for biobjective nonlinear integer programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 50(3), pp. 356-361, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Lloyd N. Trefethen |
Exactness of Quadrature Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM Rev. ![In: SIAM Rev. 64(1), pp. 132-150, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Kendrick Shepherd, Deepesh Toshniwal |
Locally-verifiable sufficient conditions for exactness of the hierarchical B-spline discrete de Rham complex in Rn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.01504, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Andrey Kharitenko, Carsten W. Scherer |
On the exactness of a stability test for Lur'e systems with slope-restricted nonlinearities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.14992, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Congpei An, Hao-Ning Wu |
Bypassing the quadrature exactness assumption of hyperinterpolation on the sphere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.11012, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Congpei An, Hao-Ning Wu |
On the quadrature exactness in hyperinterpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.13691, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Shaofeng Lu, Minling Feng, Kunpeng Wu |
On the Exactness of an Energy-efficient Train Control model based on Convex Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.06303, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Fengyu Zhou, Ahmed S. Zamzam, Steven H. Low, Nicholas D. Sidiropoulos |
Exactness of OPF Relaxation on Three-Phase Radial Networks With Delta Connections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Smart Grid ![In: IEEE Trans. Smart Grid 12(4), pp. 3232-3241, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Lloyd N. Trefethen |
Exactness of quadrature formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.09501, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Avram Sidi |
Exactness and Convergence Properties of Some Recent Numerical Quadrature Formulas for Supersingular Integrals of Periodic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.06469, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Daniele Antonio Di Pietro, Jérôme Droniou |
An arbitrary-order discrete de Rham complex on polyhedral meshes: Exactness, Poincaré inequalities, and consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.04940, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Min Jiang, Zhiqing Meng, Rui Shen 0001 |
Partial Exactness for the Penalty Function of Biconvex Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 23(2), pp. 132, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Bienstock, Alberto Del Pia, Robert Hildebrand |
Complexity, Exactness, and Rationality in Polynomial Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization - 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19-21, 2021, Proceedings, pp. 58-72, 2021, Springer, 978-3-030-73878-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa, Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao 0003, Zixuan Jiang, David Z. Pan, Brunno A. Abreu, Isac de Souza Campos, Augusto Andre Souza Berndt, Cristina Meinhardt, Jônata Tyska Carvalho, Mateus Grellert, Sergio Bampi, Aditya Lohana, Akash Kumar 0001, Wei Zeng 0015, Azadeh Davoodi, Rasit Onur Topaloglu, Yuan Zhou, Jordan Dotzel, Yichi Zhang 0006, Hanyu Wang 0005, Zhiru Zhang, Valerio Tenace, Pierre-Emmanuel Gaillardon, Alan Mishchenko, Satrajit Chatterjee |
Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021, pp. 1026-1031, 2021, IEEE, 978-3-9819263-5-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Toshiaki Wakatsuki, Sekitoshi Kanai, Yasuhiro Fujiwara |
Accelerate Inference of CNNs for Video Analysis While Preserving Exactness Exploiting Activation Sparsity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLSys ![In: Proceedings of Machine Learning and Systems 2021, MLSys 2021, virtual, April 5-9, 2021, 2021, mlsys.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Anthony Francis, Patrick Fritzsch, Martin Lüscher, Antonio Rago 0002 |
Master-field simulations of O(a)-improved lattice QCD: Algorithms, stability and exactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 255, pp. 107355, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa Jr., Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao 0003, Zixuan Jiang, David Z. Pan, Brunno A. Abreu, Isac de Souza Campos, Augusto Andre Souza Berndt, Cristina Meinhardt, Jônata Tyska Carvalho, Mateus Grellert, Sergio Bampi, Aditya Lohana, Akash Kumar 0001, Wei Zeng 0015, Azadeh Davoodi, Rasit Onur Topaloglu, Yuan Zhou, Jordan Dotzel, Yichi Zhang 0006, Hanyu Wang 0005, Zhiru Zhang, Valerio Tenace, Pierre-Emmanuel Gaillardon, Alan Mishchenko, Satrajit Chatterjee |
Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.02530, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Nicholas Mattei, Paolo Turrini, Stanislav Zhydkov |
PeerNomination: Relaxing Exactness for Increased Accuracy in Peer Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.14939, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Diego Cifuentes, Corey Harris, Bernd Sturmfels |
The geometry of SDP-exactness in quadratic optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 182(1), pp. 399-428, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Nicholas Mattei, Paolo Turrini, Stanislav Zhydkov |
PeerNomination: Relaxing Exactness for Increased Accuracy in Peer Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 393-399, 2020, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Tom-Lukas Kriel, Markus Schweighofer |
On the Exactness of Lasserre Relaxations and Pure States Over Real Closed Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 19(6), pp. 1223-1263, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Tadeusz Antczak |
Exactness of the absolute value penalty function method for nonsmooth -invex optimization problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Trans. Oper. Res. ![In: Int. Trans. Oper. Res. 26(4), pp. 1504-1526, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Masato Mimura |
Amenability versus non-exactness of dense subgroups of a compact group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 100(2), pp. 592-622, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Izumi Masubuchi, Takayuki Wada, Yasumasa Fujisaki, Fabrizio Dabbene |
A New Distributed Constrained Multi-Agent Optimization Protocol with Convergence Proof via Exactness of Penalized Objective Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCC ![In: 12th Asian Control Conference, ASCC 2019, Kitakyushu-shi, Japan, June 9-12, 2019, pp. 19-24, 2019, IEEE, 978-4-88898-300-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Krishnamurthy (Dj) Dvijotham, Robert Stanforth, Sven Gowal, Chongli Qin, Soham De, Pushmeet Kohli |
Efficient Neural Network Verification with Exactness Characterization. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, UAI 2019, Tel Aviv, Israel, July 22-25, 2019, pp. 497-507, 2019, AUAI Press. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Tom-Lukas Kriel, Markus Schweighofer |
On the Exactness of Lasserre Relaxations for Compact Convex Basic Closed Semialgebraic Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 28(2), pp. 1796-1816, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Carsten Carstensen, Johannes Storn |
Asymptotic Exactness of the Least-Squares Finite Element Residual. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 56(4), pp. 2008-2028, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Diego Cifuentes, Corey Harris, Bernd Sturmfels |
The Geometry of SDP-Exactness in Quadratic Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.01796, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Tadeusz Antczak |
Exactness Property of the Exact Absolute Value Penalty Function Method for Solving Convex Nondifferentiable Interval-Valued Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 176(1), pp. 205-224, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Madison Flowers, Rosie Aboody, Julian Jara-Ettinger |
Beyond Principles and Outcomes: Children Determine Fairness Based on Attention and Exactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018, 2018, cognitivesciencesociety.org, 978-0-9911967-8-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Alexander Kurz 0001, Jirí Velebil |
Quasivarieties and varieties of ordered algebras: regularity and exactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 27(7), pp. 1153-1194, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Luca Gaetano Amarù, Mathias Soeken, Winston Haaswijk, Eleonora Testa, Patrick Vuillod, Jiong Luo, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
Multi-level logic benchmarks: An exactness study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: 22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017, Chiba, Japan, January 16-19, 2017, pp. 157-162, 2017, IEEE, 978-1-5090-1558-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger |
The Cost of Exactness in Quantitative Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Algorithms, Logics and Tools ![In: Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, pp. 367-381, 2017, Springer, 978-3-319-63120-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Marco Locatelli 0001 |
Exactness conditions for an SDP relaxation of the extended trust region problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 10(6), pp. 1141-1151, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Johan de Villiers, Mpfareleni Rejoyce Gavhi |
Local interpolation with optimal polynomial exactness in refinement spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 85(298), pp. 759-782, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Marco Bernardo 0001 |
On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 563, pp. 99-143, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Nicholas Ruozzi |
Exactness of Approximate MAP Inference in Continuous MRFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, December 7-12, 2015, Montreal, Quebec, Canada, pp. 2332-2340, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Somayeh Sojoudi, Javad Lavaei |
Exactness of Semidefinite Relaxations for Nonlinear Optimization Problems with Underlying Graph Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 24(4), pp. 1746-1778, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Tommaso Moraschini |
An algebraic study of exactness in partial contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 55(1), pp. 457-468, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Steven H. Low |
Convex Relaxation of Optimal Power Flow, Part II: Exactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.0814, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Steven H. Low |
Convex Relaxation of Optimal Power Flow - Part II: Exactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Netw. Syst. ![In: IEEE Trans. Control. Netw. Syst. 1(2), pp. 177-189, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Zhiqing Meng, Chuangyin Dang, Min Jiang, Xinsheng Xu, Rui Shen 0001 |
Exactness and algorithm of an objective penalty function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 56(2), pp. 691-711, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Miguel F. Anjos, Manuel V. C. Vieira |
Semidefinite resolution and exactness of semidefinite relaxations for satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 161(18), pp. 2812-2826, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Ioannis Z. Emiris, Tatjana Kalinka, Christos Konaxis, Thang Luu Ba |
Sparse implicitization by interpolation: Characterizing non-exactness and an application to computing discriminants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 45(2), pp. 252-261, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Somayeh Sojoudi, Javad Lavaei |
On the exactness of semidefinite relaxation for nonlinear optimization over graphs: Part II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, Florence, Italy, December 10-13, 2013, pp. 1051-1057, 2013, IEEE, 978-1-4673-5714-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Somayeh Sojoudi, Javad Lavaei |
On the exactness of semidefinite relaxation for nonlinear optimization over graphs: Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, Florence, Italy, December 10-13, 2013, pp. 1043-1050, 2013, IEEE, 978-1-4673-5714-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Pierre Néron |
A Quest for Exactness: Program Transformation for Reliable Real Numbers. (Transformation de Programmes pour des Nombres Réels Fiables). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
23 | Michael Mendler, Thomas R. Shiple, Gérard Berry |
Constructive Boolean circuits and the exactness of timed ternary simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 40(3), pp. 283-329, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Kerstin Hesse, Robert S. Womersley |
Numerical integration with polynomial exactness over a spherical cap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 36(3), pp. 451-483, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Lingwen Gan, Na Li, Ufuk Topcu, Steven H. Low |
On the exactness of convex relaxation for optimal power flow in tree networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA, pp. 465-471, 2012, IEEE, 978-1-4673-2065-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Marco Tulio Angulo, Jaime A. Moreno, Leonid M. Fridman |
Some remarks about the tradeoffs between exactness and robustness in control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSS ![In: 12th International Workshop on Variable Structure Systems, VSS 2012, Mumbai, Maharashtra, India, January 12-14, 2012, pp. 82-87, 2012, IEEE, 978-1-4577-2066-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Zbigniew S. Kowalski |
Dual Skew Products, Genericity of the Exactness Property and Finance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 21(2), pp. 545-550, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | James W. Boudreau, Vicki Knoblauch |
Dividing profits three ways: Exactness vs. consensuality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 62(2), pp. 79-86, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | |
Exchangeable equilibria contradict exactness of the Papadimitriou-Roughgarden algorithm ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1010.2871, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
23 | Ronald Cools, Frances Y. Kuo, Dirk Nuyens |
Constructing lattice rules based on weighted degree of exactness and worst case error. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 87(1-2), pp. 63-89, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Tanagorn Jennawasin, Michihiro Kawanishi, Tatsuo Narikiyo |
Exactness verification of sum-of-squares approximations to robust semidefinite programs with functional variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2010, Baltimore, Maryland, USA, June 30 - July 2, 2010, pp. 4095-4100, 2010, IEEE, 978-1-4244-7427-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Yoshio Ebihara, Yusuke Matsuda, Tomomichi Hagiwara |
Asymptotic exactness of dual LMI approach for robust performance analysis of uncertain LTI systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA, pp. 1472-1477, 2010, IEEE, 978-1-4244-7745-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Daisuke Maruyama, Izumi Masubuchi |
Exactness verification of upper-bound relaxations derived via parameter-dependent multipliers for rational uncertainty blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CACSD ![In: 2010 IEEE International Symposium on Computer-Aided Control System Design, CACSD 2010, Yokohama, Japan, September 8-10, 2010, pp. 743-748, 2010, IEEE, 978-1-4244-5354-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Yoshio Ebihara, Yusuke Onishi, Tomomichi Hagiwara |
Robust Performance Analysis of Uncertain LTI Systems: Dual LMI Approach and Verifications for Exactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 54(5), pp. 938-951, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Gradimir V. Milovanovic, Aleksandar S. Cvetkovic, Marija P. Stanic |
Quadrature formulae with multiple nodes and a maximal trigonometric degree of exactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerische Mathematik ![In: Numerische Mathematik 112(3), pp. 425-448, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Izumi Masubuchi, Carsten W. Scherer |
A recursive algorithm of exactness verification of relaxations for robust SDPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 58(8), pp. 592-601, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Yoshio Ebihara |
An elementary proof for the exactness of (D, G) scaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2009. St. Louis, Missouri, USA, June 10-12, 2009, pp. 2433-2438, 2009, IEEE, 978-1-4244-4523-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Charles Pelling |
Exactness, inexactness, and the non-transitivity of perceptual indiscriminability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 164(2), pp. 289-312, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Michael Chertkov |
Exactness of Belief Propagation for some Graphical Models with Loops ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0801.0341, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|