Search results for "constants"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Anthony C. Klug	On conjunctive queries containing inequalities.	J. ACM	1988	DBLP DOI BibTeX RDF
15	Serge Abiteboul, Paris C. Kanellakis, Gösta Grahne	On the Representation and Querying of Sets of Possible Worlds.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
15	Donald Sannella, Rod M. Burstall	Structured Theories in LCF.	CAAP	1983	DBLP DOI BibTeX RDF
15	Peter J. L. Wallis	External Representations of Objects of User-Defined Type.	ACM Trans. Program. Lang. Syst.	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.	J. ACM	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.	Comput. Manag. Sci.	2024	DBLP DOI BibTeX RDF
15	Peter Richtárik, Elnur Gasanov, Konstantin Burlachenko	Error Feedback Reloaded: From Quadratic to Arithmetic Mean of Smoothness Constants.	CoRR	2024	DBLP DOI BibTeX RDF
15	Michael F. Zimmer	Constants of Motion for Conserved and Non-conserved Dynamics.	CoRR	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.	CoRR	2024	DBLP DOI BibTeX RDF
15	Kelong Zhao, Shuhuang Xiang	Polynomial and rational interpolation: potential, barycentric weights, and Lebesgue constants.	CoRR	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.	J. Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
15	Jiali Shi, Chao Li, Guoqiang Liu	Differential Attack With Constants On μ2 Block Cipher.	Comput. J.	2024	DBLP DOI BibTeX RDF
15	Tung Dong Cao Nguyen, Deokjung Lee	Group constants generation by Monte Carlo code MCS for LWR analysis.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
15	Abhiyan Pandit, Angelo Bongiorno	A first-principles method to calculate fourth-order elastic constants of solid materials.	Comput. Phys. Commun.	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.	Comput. Phys. Commun.	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.	Comput. Electron. Agric.	2023	DBLP DOI BibTeX RDF
15	Thierry Fahmy	Algorithm 1034: An Accelerated Algorithm to Compute the Qn Robust Statistic, with Corrections to Constants.	ACM Trans. Math. Softw.	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.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
15	David R. Stoutemyer	How to hunt wild constants.	Maple Trans.	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).	Dagstuhl Artifacts Ser.	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.	IEEE Trans. Instrum. Meas.	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.	Symmetry	2023	DBLP DOI BibTeX RDF
15	Grigory E. Volovik	Planck Constants in the Symmetry Breaking Quantum Gravity.	Symmetry	2023	DBLP DOI BibTeX RDF
15	Rajendra P. Gupta	Constraining Coupling Constants' Variation with Supernovae, Quasars, and GRBs.	Symmetry	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}}$.	SIAM J. Discret. Math.	2023	DBLP DOI BibTeX RDF
15	Krzysztof Bisewski, Grigori Jasnovidov	On the speed of convergence of Piterbarg constants.	Queueing Syst. Theory Appl.	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.	J. Chem. Inf. Model.	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.	J. Chem. Inf. Model.	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.	J. Chem. Inf. Model.	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.	Autom.	2023	DBLP DOI BibTeX RDF
15	Camillo Fiore, Federico Matias Pailos, Mariela Rubin	Inferential Constants.	J. Philos. Log.	2023	DBLP DOI BibTeX RDF
15	Kai Zhang 0026, Xuejia Lai, Jie Guan, Bin Hu 0011	Selecting Rotation Constants on SIMON-Type Ciphers.	J. Database Manag.	2023	DBLP DOI BibTeX RDF
15	Alexander F. Sidorenko	Modified Erdős-Ginzburg-Ziv Constants for $\mathbb {Z}_2^{d}$.	Graphs Comb.	2023	DBLP DOI BibTeX RDF
15	Markus Holzer 0001, Christian Rauch 0001	On Minimal Pumping Constants for Regular Languages.	AFL	2023	DBLP DOI BibTeX RDF
15	M. Prévost	Expansion of generalized Stieltjes constants in terms of derivatives of Hurwitz zeta-functions.	CoRR	2023	DBLP DOI BibTeX RDF
15	Felix L. Schwenninger, Jens de Vries	On Abstract Spectral Constants.	CoRR	2023	DBLP DOI BibTeX RDF
15	Sebastian Pauli, Filip Saidak	A Bound for Stieltjes Constants.	CoRR	2023	DBLP DOI BibTeX RDF
15	Vitoriano Ruas	Fine stability constants and error bounds for asymmetric approximate saddle point problems.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
15	Len Bos	On the Growth of Lebesgue Constants for Degree One Fekete Points in terms of the Dimension.	CoRR	2023	DBLP DOI BibTeX RDF
15	Greta Panova	Complexity and asymptotics of structure constants.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
15	Dieter Teichrib, Moritz Schulze Darup	Efficient computation of Lipschitz constants for MPC with symmetries.	CoRR	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.	CoRR	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.	CoRR	2023	DBLP DOI BibTeX RDF
15	Elfarouk Harb	Fishing For Better Constants: The Prophet Secretary Via Poissonization.	CoRR	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.	CoRR	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.	J. Approx. Theory	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.	J. Approx. Theory	2023	DBLP DOI BibTeX RDF
15	Vilmos Totik	The Lebesgue constants for Leja points are subexponential.	J. Approx. Theory	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.	J. Approx. Theory	2023	DBLP DOI BibTeX RDF
15	Stepan L. Kuznetsov	Relational Models for the Lambek Calculus with Intersection and Constants.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
15	Vladimir Mityushev	High-order Contrast Bounds for Piezoelectric Constants of Two-phase Fibrous Composites.	Multiscale Model. Simul.	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.	Knowl. Based Syst.	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.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	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.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
15	Estibalitz Durand-Cartagena, Javier Soria, Pedro Tradacete	Doubling constants and spectral theory on graphs.	Discret. Math.	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.	Sensors	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.	J. Autom. Reason.	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.		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.	SSS	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.	IRPS	2023	DBLP DOI BibTeX RDF
15	Dieter Teichrib, Moritz Schulze Darup	Efficient Computation of Lipschitz Constants for MPC with Symmetries.	CDC	2023	DBLP DOI BibTeX RDF
15	Rémi Garcia 0002, Anastasia Volkova	Multiple Constant Multiplication: From Target Constants to Optimized Pipelined Adder Graphs.	FPL	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.	ECOOP	2023	DBLP DOI BibTeX RDF
15	Minal Suresh Patil, Kary Främling	Investigating Lipschitz Constants in Neural Ensemble Models to Improve Adversarial Robustness.	ICSRS	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.	DAGM	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.	ASICON	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.	NeurIPS	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.	ICML	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.	GCCE	2023	DBLP DOI BibTeX RDF
15	Mohsen Derakhshan, Damoon Soudbakhsh	Temperature-Dependent Time Constants of Li-ion Batteries.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
15	Zahra Aminzare	Stochastic Logarithmic Lipschitz Constants: A Tool to Analyze Contractivity of Stochastic Differential Equations.	IEEE Control. Syst. Lett.	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.	Comput. Phys. Commun.	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.	Comput. Phys. Commun.	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.	SIAM J. Optim.	2022	DBLP DOI BibTeX RDF
15	Hamza M. Ruzayqat, Neil K. Chada, Ajay Jasra	Multilevel estimation of normalization constants using ensemble Kalman-Bucy filters.	Stat. Comput.	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.	J. Comput. Chem.	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.	Symmetry	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.	Symmetry	2022	DBLP DOI BibTeX RDF
15	Bingren Chen, Zhijian Yang, Qi Liu 0028, Yongjin Li	Some New James Type Geometric Constants in Banach Spaces.	Symmetry	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".	IEEE Robotics Autom. Lett.	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.	J. Chem. Inf. Model.	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.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
15	Gill Barequet, Mira Shalah	Improved Upper Bounds on the Growth Constants of Polyominoes and Polycubes.	Algorithmica	2022	DBLP DOI BibTeX RDF
15	Jinming Wen, Xiao-Wen Chang	Sharper bounds on four lattice constants.	Des. Codes Cryptogr.	2022	DBLP DOI BibTeX RDF
15	Matthias Claus, Kai Spürkel	Improving constants of strong convexity in linear stochastic programming.	Oper. Res. Lett.	2022	DBLP DOI BibTeX RDF
15	Krzysztof Debicki, Enkelejd Hashorva, Zbigniew Michna	On the continuity of Pickands constants.	J. Appl. Probab.	2022	DBLP DOI BibTeX RDF
15	Zhenzhen Lou, Nobuaki Obata, Qiongxiang Huang	Quadratic Embedding Constants of Graph Joins.	Graphs Comb.	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.	CoRR	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.	CoRR	2022	DBLP DOI BibTeX RDF
15	Stepan L. Kuznetsov	Relational Models for the Lambek Calculus with Intersection and Constants.	CoRR	2022	DBLP DOI BibTeX RDF
15	Daniel Pook-Kolb, Bruce Allen, Erik Agrell	Exact calculation of quantizer constants for arbitrary lattices.	CoRR	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.	CoRR	2022	DBLP DOI BibTeX RDF
15	Jinming Wen, Xiao-Wen Chang	Sharper Bounds on Four Lattice Constants.	CoRR	2022	DBLP DOI BibTeX RDF
15	Sandeep Tyagi	High precision computation and a new asymptotic formula for the generalized Stieltjes constants.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	2022	DBLP DOI BibTeX RDF
15	Melanie Weber 0001, Suvrit Sra	Computing Brascamp-Lieb Constants through the lens of Thompson Geometry.	CoRR	2022	DBLP DOI BibTeX RDF