Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Anthony C. Klug |
On conjunctive queries containing inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 35(1), pp. 146-160, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Serge Abiteboul, Paris C. Kanellakis, Gösta Grahne |
On the Representation and Querying of Sets of Possible Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, San Francisco, CA, USA, May 27-29, 1987, pp. 34-48, 1987, ACM Press, 978-0-89791-236-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Donald Sannella, Rod M. Burstall |
Structured Theories in LCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 377-391, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Peter J. L. Wallis |
External Representations of Objects of User-Defined Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 2(2), pp. 137-152, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
15 | Pentti Laasonen |
On the Truncation Error of Discrete Approximations to the Solutions of Dirichlet Problems in a Domain with Corners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 5(1), pp. 32-38, 1958. The full citation details ...](Pics/full.jpeg) |
1958 |
DBLP DOI BibTeX RDF |
|
15 | Dmitry Metelev, Alexander Rogozin, Alexander V. Gasnikov, Dmitry Kovalev |
Decentralized saddle-point problems with different constants of strong convexity and strong concavity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Manag. Sci. ![In: Comput. Manag. Sci. 21(1), pp. 5, June 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Peter Richtárik, Elnur Gasanov, Konstantin Burlachenko |
Error Feedback Reloaded: From Quadratic to Arithmetic Mean of Smoothness Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.10774, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Michael F. Zimmer |
Constants of Motion for Conserved and Non-conserved Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.19418, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Reza Dastbasteh, Farzad Padashnick, Pedro M. Crespo, Markus Grassl, Javad Sharafi |
Equivalence of constacyclic codes with shift constants of different orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.04600, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Kelong Zhao, Shuhuang Xiang |
Polynomial and rational interpolation: potential, barycentric weights, and Lebesgue constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.12664, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Leokadia Bialas-Ciez, Dimitri Jordan Kenne, Alvise Sommariva, Marco Vianello |
Chebyshev admissible meshes and Lebesgue constants of complex polynomial projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 443, pp. 115766, June 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Jiali Shi, Chao Li, Guoqiang Liu |
Differential Attack With Constants On μ2 Block Cipher. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 67(1), pp. 195-209, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Tung Dong Cao Nguyen, Deokjung Lee |
Group constants generation by Monte Carlo code MCS for LWR analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 285, pp. 108642, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Abhiyan Pandit, Angelo Bongiorno |
A first-principles method to calculate fourth-order elastic constants of solid materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 288, pp. 108751, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Germain Clavier, Aidan P. Thompson |
Computation of the thermal elastic constants for arbitrary manybody potentials in LAMMPS using the stress-fluctuation formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 286, pp. 108674, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tülay Tunçay, Pelin Alaboz, Orhan Dengiz, Oguz Baskan |
Application of regression kriging and machine learning methods to estimate soil moisture constants in a semi-arid terrestrial area. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 212, pp. 108118, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Thierry Fahmy |
Algorithm 1034: An Accelerated Algorithm to Compute the Qn Robust Statistic, with Corrections to Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 49(1), pp. 9:1-9:12, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yunfei Zhang, Qixiang Wang, Yibo Zhang, Minjie Xu, Yonggang Wang, Xianqing Lv |
Equidistant Nodes Orthogonal Polynomial Fitting for Harmonic Constants of Long-Period Tides Based on Satellite Altimeter Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(13), pp. 3246, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | David R. Stoutemyer |
How to hunt wild constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Maple Trans. ![In: Maple Trans. 3(1), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Henrique Botelho Guerra, João F. Ferreira 0001, João Costa Seco |
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 9(2), pp. 20:1-20:3, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ailing Xiao, Liguo Tang, Shanshan Sun, Songji Wu, Xinye Wu, Wenyu Luo |
Comparison of Characterization Methods for Assessing the Temperature Dependencies of Elastic and Piezoelectric Constants of Piezoelectric Materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 72, pp. 1-15, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Rodrigo R. Cuzinatto, Rajendra P. Gupta, Pedro J. Pompeia |
Dynamical Analysis of the Covarying Coupling Constants in Scalar-Tensor Gravity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(3), pp. 709, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Grigory E. Volovik |
Planck Constants in the Symmetry Breaking Quantum Gravity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(5), pp. 991, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Rajendra P. Gupta |
Constraining Coupling Constants' Variation with Supernovae, Quasars, and GRBs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(2), pp. 259, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Fabio Enrique Brochero Martínez, Abílio Lemos, Bhavinkumar Kishor Sinh Moriya, Sávio Ribas |
The Main Zero-Sum Constants over \({\boldsymbol{D}}\) 2n \({\boldsymbol{\times C_2}}\). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 37(3), pp. 1496-1508, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Krzysztof Bisewski, Grigori Jasnovidov |
On the speed of convergence of Piterbarg constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 105(1-2), pp. 129-137, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yu Zhang, Jinhui Yu, Hongwei Song, Minghui Yang |
Structure-Based Reaction Descriptors for Predicting Rate Constants by Machine Learning: Application to Hydrogen Abstraction from Alkanes by CH3/H/O Radicals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 63(16), pp. 5097-5106, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Kevin M. Lefrancois-Gagnon, Robert C. Mawhinney |
Toward Universal Substituent Constants: Relating QTAIM Functional Group Descriptors to Substituent Effect Proxies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 63(19), pp. 6068-6080, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Evrim Arslan, Zeynep Pinar Haslak, Gerald Monard, Ilknur Dogan, Viktorya Aviyente |
Quantum Mechanical Prediction of Dissociation Constants for Thiazol-2-imine Derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 63(10), pp. 2992-3004, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Trevor Avant, Kristi A. Morgansen |
On the sensitivity of pose estimation neural networks: Rotation parameterizations, Lipschitz constants, and provable bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 155, pp. 111112, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Camillo Fiore, Federico Matias Pailos, Mariela Rubin |
Inferential Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 52(3), pp. 767-796, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Kai Zhang 0026, Xuejia Lai, Jie Guan, Bin Hu 0011 |
Selecting Rotation Constants on SIMON-Type Ciphers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Database Manag. ![In: J. Database Manag. 34(1), pp. 1-23, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alexander F. Sidorenko |
Modified Erdős-Ginzburg-Ziv Constants for $\mathbb {Z}_2^{d}$. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 39(5), pp. 112, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Markus Holzer 0001, Christian Rauch 0001 |
On Minimal Pumping Constants for Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 127-141, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | M. Prévost |
Expansion of generalized Stieltjes constants in terms of derivatives of Hurwitz zeta-functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.15806, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Felix L. Schwenninger, Jens de Vries |
On Abstract Spectral Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.05389, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian Pauli, Filip Saidak |
A Bound for Stieltjes Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.11209, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Vitoriano Ruas |
Fine stability constants and error bounds for asymmetric approximate saddle point problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.03742, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Rotem Elimelech, Ofir David, Carlos De la Cruz Mengual, Rotem Kalisch, Wolfgang Berndt, Michael Shalyt, Mark Silberstein, Yaron Hadad, Ido Kaminer |
Algorithm-assisted discovery of an intrinsic order among mathematical constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.11829, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Len Bos |
On the Growth of Lebesgue Constants for Degree One Fekete Points in terms of the Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.01699, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Greta Panova |
Complexity and asymptotics of structure constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.02553, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Max Maria Losch, David Stutz, Bernt Schiele, Mario Fritz |
Certified Robust Models with Slack Control and Large Lipschitz Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.06166, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Dieter Teichrib, Moritz Schulze Darup |
Efficient computation of Lipschitz constants for MPC with symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.04580, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Omar Chehab, Aapo Hyvärinen, Andrej Risteski |
Provable benefits of annealing for estimating normalizing constants: Importance Sampling, Noise-Contrastive Estimation, and beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.03902, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Leokadia Bialas-Ciez, Dimitri Jordan Kenne, Alvise Sommariva, Marco Vianello |
Chebyshev admissible meshes and Lebesgue constants of complex polynomial projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.06511, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Elfarouk Harb |
Fishing For Better Constants: The Prophet Secretary Via Poissonization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.00971, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Leokadia Bialas-Ciez, Dimitri Jordan Kenne, Alvise Sommariva, Marco Vianello |
Evaluating Lebesgue constants by Chebyshev polynomial meshes on cube, simplex and ball. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.18656, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Wenjie Liu 0005, Li-Lian Wang, Boying Wu |
Bernstein-type constants for approximation of |x|α by partial Fourier-Legendre and Fourier-Chebyshev sums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 291, pp. 105897, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sergei Kalmykov, Alexey Lukashov |
Estimates of Lebesgue constants for Lagrange interpolation processes by rational functions under mild restrictions to their fixed poles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 291, pp. 105909, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Vilmos Totik |
The Lebesgue constants for Leja points are subexponential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 287, pp. 105863, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hùng Viêt Chu |
Variations of property (A) constants and Lebesgue-type inequalities for the weak thresholding greedy algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Approx. Theory ![In: J. Approx. Theory 285, pp. 105831, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Stepan L. Kuznetsov |
Relational Models for the Lambek Calculus with Intersection and Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(4), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Vladimir Mityushev |
High-order Contrast Bounds for Piezoelectric Constants of Two-phase Fibrous Composites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multiscale Model. Simul. ![In: Multiscale Model. Simul. 21(4), pp. 1644-1666, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zezhong Xu, Peng Ye, Juan Li, Huajun Chen, Wen Zhang 0015 |
Differentiable learning of rules with constants in knowledge graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 275, pp. 110686, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Prasanna Ravi, Bolin Yang, Shivam Bhasin, Fan Zhang 0010, Anupam Chattopadhyay |
Fiddling the Twiddle Constants - Fault Injection Analysis of the Number Theoretic Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Trans. Cryptogr. Hardw. Embed. Syst. ![In: IACR Trans. Cryptogr. Hardw. Embed. Syst. 2023(2), pp. 447-481, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sahiba Suryawanshi, Dhiman Saha |
Where are the constants? New Insights On The Role of Round Constant Addition in The SymSum Distinguisher. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 789, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Estibalitz Durand-Cartagena, Javier Soria, Pedro Tradacete |
Doubling constants and spectral theory on graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 346(6), pp. 113354, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Olgirdas Tumsys, Liudas Mazeika |
Determining the Elastic Constants of Isotropic Materials by Measuring the Phase Velocities of the A0 and S0 Modes of Lamb Waves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(15), pp. 6678, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Abate, Haniel Barbosa, Clark W. Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds 0001, Cesare Tinelli |
Synthesising Programs with Non-trivial Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 67(2), pp. 19, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yuto Miyatake, Kotaro Makino, Junji Tominaga, Noriyuki Miyata, Takashi Nakano, Makoto Okano, Kasidit Toprasertpong, Shinichi Takagi, Mitsuru Takenaka |
Optical constants of Ge2Sb2Te3S2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
DOI RDF |
|
15 | Sahiba Suryawanshi, Dhiman Saha |
Where Are the Constants? New Insights on the Role of Round Constant Addition in the SymSum Distinguisher. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings, pp. 223-239, 2023, Springer, 978-3-031-44273-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Harumi Seki, Reika Ichihara, Yusuke Higashi, Yasushi Nakasaki, Masumi Saitoh, Masamichi Suzuki |
Comprehensive Analysis of Hole-Trapping in SiN Films with a Wide Range of Time Constants Based on Dynamic C-V. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRPS ![In: IEEE International Reliability Physics Symposium, IRPS 2023, Monterey, CA, USA, March 26-30, 2023, pp. 1-7, 2023, IEEE, 978-1-6654-5672-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Dieter Teichrib, Moritz Schulze Darup |
Efficient Computation of Lipschitz Constants for MPC with Symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 6685-6691, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Rémi Garcia 0002, Anastasia Volkova |
Multiple Constant Multiplication: From Target Constants to Optimized Pipelined Adder Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: 33rd International Conference on Field-Programmable Logic and Applications, FPL 2023, Gothenburg, Sweden, September 4-8, 2023, pp. 137-143, 2023, IEEE, 979-8-3503-4151-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Henrique Botelho Guerra, João F. Ferreira 0001, João Costa Seco |
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 4:1-4:28, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Minal Suresh Patil, Kary Främling |
Investigating Lipschitz Constants in Neural Ensemble Models to Improve Adversarial Robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSRS ![In: 7th International Conference on System Reliability and Safety, ICSRS 2023, Bologna, Italy, November 22-24, 2023, pp. 434-438, 2023, IEEE, 979-8-3503-0605-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Max Maria Losch, David Stutz, Bernt Schiele, Mario Fritz |
Certified Robust Models with Slack Control and Large Lipschitz Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAGM ![In: Pattern Recognition - 45th DAGM German Conference, DAGM GCPR 2023, Heidelberg, Germany, September 19-22, 2023, Proceedings, pp. 574-588, 2023, Springer, 978-3-031-54604-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yajie Zhao, Yizhou Jiang, Weiming Hu, Yajie Qin |
A High Linearity Large Time Constants Switched-Resistor Filter for Biomedical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASICON ![In: 15th IEEE International Conference on ASIC, ASICON 2023, Nanjing, China, October 24-27, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-1298-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Omar Chehab, Aapo Hyvärinen, Andrej Risteski |
Provable benefits of annealing for estimating normalizing constants: Importance Sampling, Noise-Contrastive Estimation, and beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Ofir Razon, Yoav Harris, Shahar Gottlieb, Dan Carmon, Ofir David, Ido Kaminer |
Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 28809-28842, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Mizuho Kato, Katsuyuki Fujii, Yasuyuki Okumura, Masahiro Umehira |
Quantitative Analysis of Bubble Cross-Sectional Area and Electrical Constants in a Phantom Using Ultrasonic Vibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCCE ![In: 12th IEEE Global Conference on Consumer Electronics, GCCE 2023, Nara, Japan, October 10-13, 2023, pp. 229-230, 2023, IEEE, 979-8-3503-4018-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mohsen Derakhshan, Damoon Soudbakhsh |
Temperature-Dependent Time Constants of Li-ion Batteries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 6, pp. 2012-2017, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Zahra Aminzare |
Stochastic Logarithmic Lipschitz Constants: A Tool to Analyze Contractivity of Stochastic Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 6, pp. 2311-2316, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mingqing Liao, Yong Liu, Fei Zhou, Tianyi Han, Danni Yang, Nan Qu, Zhonghong Lai, Zi-Kui Liu, Jingchuan Zhu |
A high-efficient strain-stress method for calculating higher-order elastic constants from first-principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 280, pp. 108478, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Zhong-Li Liu, Chinedu Ekuma, Wei-Qi Li, Jian-Qun Yang, Xingji Li |
ElasTool: An automated toolkit for elastic constants calculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 270, pp. 108180, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jesús Camacho Moro, María J. Cánovas, Juan Parra |
From Calmness to Hoffman Constants for Linear Semi-infinite Inequality Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 32(4), pp. 2859-2878, December 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Hamza M. Ruzayqat, Neil K. Chada, Ajay Jasra |
Multilevel estimation of normalization constants using ensemble Kalman-Bucy filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 32(3), pp. 38, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Kevin M. Lefrancois-Gagnon, Robert C. Mawhinney |
Toward universal substituent constants: Transferability of group descriptors from the quantum theory of atoms in molecules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 43(4), pp. 265-278, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Bingren Chen, Zhijian Yang, Qi Liu 0028, Yongjin Li |
Some Geometric Constants Related to the Midline of Equilateral Triangles in Banach Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 14(2), pp. 348, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Bingren Chen, Qi Liu 0028, Yongjin Li |
Inscribed Triangles in the Unit Sphere and a New Class of Geometric Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 14(1), pp. 72, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Bingren Chen, Zhijian Yang, Qi Liu 0028, Yongjin Li |
Some New James Type Geometric Constants in Banach Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 14(2), pp. 405, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Craig Knuth, Glen Chou, Necmiye Ozay, Dmitry Berenson |
Correction to "Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability Via Lipschitz Constants". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 7(1), pp. 381, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Reagan J. Meredith, Luke Sernau, Anthony S. Serianni |
MA'AT: A Web-Based Application to Determine Rotamer Population Distributions in Solution from Nuclear Magnetic Resonance Spin-Coupling Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 62(13), pp. 3135-3141, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian A. Nugroho, Ahmad F. Taha, Vu Hoang |
Nonlinear Dynamic Systems Parameterization Using Interval-Based Global Optimization: Computing Lipschitz Constants and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 67(8), pp. 3836-3850, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Gill Barequet, Mira Shalah |
Improved Upper Bounds on the Growth Constants of Polyominoes and Polycubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 84(12), pp. 3559-3586, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jinming Wen, Xiao-Wen Chang |
Sharper bounds on four lattice constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 90(6), pp. 1463-1484, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Matthias Claus, Kai Spürkel |
Improving constants of strong convexity in linear stochastic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 50(1), pp. 76-83, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Krzysztof Debicki, Enkelejd Hashorva, Zbigniew Michna |
On the continuity of Pickands constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Probab. ![In: J. Appl. Probab. 59(1), pp. 187-201, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Zhenzhen Lou, Nobuaki Obata, Qiongxiang Huang |
Quadratic Embedding Constants of Graph Joins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 38(5), pp. 161, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Peter Sentz, Jehanzeb Hameed Chaudhry, Luke N. Olson |
On Computing Coercivity Constants in Linear Variational Problems Through Eigenvalue Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.11580, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Trevor Avant, Kristi A. Morgansen |
On the sensitivity of pose estimation neural networks: rotation parameterizations, Lipschitz constants, and provable bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.09937, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Stepan L. Kuznetsov |
Relational Models for the Lambek Calculus with Intersection and Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.00654, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Pook-Kolb, Bruce Allen, Erik Agrell |
Exact calculation of quantizer constants for arbitrary lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.01987, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | L. Mars Gao, J. Nathan Kutz |
Bayesian autoencoders for data-driven discovery of coordinates, governing equations and fundamental constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.10575, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jinming Wen, Xiao-Wen Chang |
Sharper Bounds on Four Lattice Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.08021, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sandeep Tyagi |
High precision computation and a new asymptotic formula for the generalized Stieltjes constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.07956, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Andrew M. Childs, Tongyang Li, Jin-Peng Liu, Chunhao Wang, Ruizhe Zhang 0001 |
Quantum Algorithms for Sampling Log-Concave Distributions and Estimating Normalizing Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.06539, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Zhouxing Shi, Yihan Wang, Huan Zhang 0001, J. Zico Kolter, Cho-Jui Hsieh |
Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.07394, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ofir Razon, Yoav Harris, Shahar Gottlieb, Dan Carmon, Ofir David, Ido Kaminer |
Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.09470, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Melanie Weber 0001, Suvrit Sra |
Computing Brascamp-Lieb Constants through the lens of Thompson Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.05013, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|