Search results for "constants"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen	On the verification of Wireless Transaction Protocol using SGM and RED.	RTCSA	2000	DBLP DOI BibTeX RDF	Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques
52	Frank Vahid, Rilesh Patel, Greg Stitt	Propagating constants past software to hardware peripherals in fixed-application embedded systems.	SIGARCH Comput. Archit. News	2001	DBLP DOI BibTeX RDF	embedded systems, low power, synthesis, system-on-a-chip, intellectual property, platforms, cores, tuning, constant propagation
51	Dmitri E. Kvasov, Yaroslav D. Sergeyev	A univariate global search working with a set of Lipschitz constants for the first derivative.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Lipschitz derivatives, A set of Lipschitz constants, Global optimization, Geometric algorithms
51	Roberto Cignoli, Francesc Esteva, Lluís Godo	On Lukasiewicz Logic with Truth Constants.	IFSA (2)	2007	DBLP DOI BibTeX RDF	truth-constants, canonical standard completeness, ?ukasiewicz logic
45	Yoshifusa Ito, Crinivasan Srinivasan, Hiroyuki Izumi	A Neural Network having Fewer Inner Constants to be Trained and Bayesian Decision.	IJCNN	2007	DBLP DOI BibTeX RDF
44	Bernhard Steffen, Jens Knoop	Finite Constants: Characterizations of a New Decidable Set of Constants.	MFCS	1989	DBLP DOI BibTeX RDF
44	András Horváth, Daniele Manini	Parameter Estimation of Kinetic Rates in Stochastic Reaction Networks by the EM Method.	BMEI (1)	2008	DBLP DOI BibTeX RDF	stochastic reaction network, kinetic rate constants, parameter estimation
44	Francesc Esteva, Lluís Godo, Carles Noguera	Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Mathematical fuzzy logic, Left-continuous t-norms, T-norm based logics, Truth-constants, Evaluated formulae, Real and rational completeness
44	Daniel Richardson	Zero Tests for Constants in Simple Scientific Computation.	Math. Comput. Sci.	2007	DBLP DOI BibTeX RDF	Exp-Log constants, zero test, Schanuel conjecture
44	Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Paul Zimmermann, Eugene V. Zima	Time-and space-efficient evaluation of some hypergeometric constants.	ISSAC	2007	DBLP DOI BibTeX RDF	high-precision evaluation, hypergeometric constants
37	Peter Tummeltshammer, James C. Hoe, Markus Püschel	Time-Multiplexed Multiple-Constant Multiplication.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
37	Norbert Pramstaller, Christian Rechberger, Vincent Rijmen	Impact of Rotations in SHA-1 and Related Hash Functions.	Selected Areas in Cryptography	2005	DBLP DOI BibTeX RDF
37	Margaret Reid-Miller	List Ranking and List Scan on the Cray C-90.	SPAA	1994	DBLP DOI BibTeX RDF
37	A. F. R. Brown	Language Translation.	J. ACM	1958	DBLP DOI BibTeX RDF
37	Frithjof Dau	Constants and Functions in Peirce's Existential Graphs.	ICCS	2007	DBLP DOI BibTeX RDF
37	Conor Ryan, Maarten Keijzer	An Analysis of Diversity of Constants of Genetic Programming.	EuroGP	2003	DBLP DOI BibTeX RDF
37	Jochen Lang 0001, Dinesh K. Pai	Estimation of Elastic Constants from 3D Range-Flow.	3DIM	2001	DBLP DOI BibTeX RDF
37	Jens Knoop, Oliver Rüthing	Constant Propagation on the Value Graph: Simple Constants and Beyond.	CC	2000	DBLP DOI BibTeX RDF
37	Christophe Ringeissen	Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras.	LPAR	1992	DBLP DOI BibTeX RDF
36	Teh Su Yean, Koh Hock Lye, Ahmad Izani Md. Ismail, Mashhor Mansor	Determining Photosynthesis Rate Constants in Lake Harapan Penang.	BMEI (1)	2008	DBLP DOI BibTeX RDF	Photosynthesis, Rate Constants, Dissolved Oxygen
30	Shivkumar Sabesan, Niranjan Chakravarthy, Kostas Tsakalis, Panos M. Pardalos, Leonidas D. Iasemidis	Measuring resetting of brain dynamics at epileptic seizures: application of global optimization and spatial synchronization techniques.	J. Comb. Optim.	2009	DBLP DOI BibTeX RDF	Quadratic binary programming, Dynamical Synchronization, Spatiotemporal transitions, Epileptic seizure dynamics
30	David W. Binkley	Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model.	CC	1994	DBLP DOI BibTeX RDF
30	Bjørn Haagensen, Hans Hüttel	Parametrised Constants and Replication for Spatial Mobility.	COORDINATION	2009	DBLP DOI BibTeX RDF
30	Klaus Meer	On Ladner's Result for a Class of Real Machines with Restricted Use of Constants.	CiE	2009	DBLP DOI BibTeX RDF	real number model, diagonal problems, Complexity
30	Christian Houdré, T. Stoyanov	Expansion And Isoperimetric Constants For Product Graphs.	Comb.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05C50, 68E10, 68Q01, 60C05, 60E15, 05C99
30	Balder ten Cate, Massimo Franceschet	Guarded Fragments with Constants.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	complexity, hybrid logic, guarded fragment
30	Daisuke Takahashi, Mitsuhisa Sato, Taisuke Boku	Computation of High-Precision Mathematical Constants in a Combined Cluster and Grid Environment.	LSSC	2005	DBLP DOI BibTeX RDF
30	Ryo Yoshinaka	Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-Complete.	RTA	2005	DBLP DOI BibTeX RDF
30	Gem Stapleton, John Howse, John Taylor 0001, Simon J. Thompson	The Expressiveness of Spider Diagrams Augmented with Constants.	VL/HCC	2004	DBLP DOI BibTeX RDF
30	Gökhan Dalkiliç, Yalçin Çebi	Zipf's Law and Mandelbrot's Constants for Turkish Language Using Turkish Corpus (TurCo).	ADVIS	2004	DBLP DOI BibTeX RDF
30	Nieves R. Brisaboa, Héctor J. Hernández, José R. Paramá, Miguel R. Penabad	Containment of Conjunctive Queries with Built-in Predicates with Variables and Constants over any Ordered Domain.	ADBIS	1998	DBLP DOI BibTeX RDF
30	John M. Gravley, Arun Lakhotia	Identifying Enumeration Types Modeled with Symbolic Constants.	WCRE	1996	DBLP DOI BibTeX RDF
30	Michael J. Miller, Donald Perlis	Typicality Constants and Range Defaults: Some Pros and Cons of a Cognitive Model of Default Reasoning.	ISMIS	1991	DBLP DOI BibTeX RDF
30	Satya D. Dubey	Statistical Determination of Certain Mathematical Constants and Functions Using Computers.	J. ACM	1966	DBLP DOI BibTeX RDF
30	M. Wen, Afrooz Barnoush, K. Yokogawa	Calculation of all cubic single-crystal elastic constants from single atomistic simulation: Hydrogen effect and elastic constants of nickel.	Comput. Phys. Commun.	2011	DBLP DOI BibTeX RDF
30	Zhicheng Gao	A Formula for the Bivariate Map Asymptotics Constants in terms of the Univariate Map Asymptotics Constants.	Electron. J. Comb.	2010	DBLP DOI BibTeX RDF
30	M. Pilar García Armada	A Program for Calculation and Graphic Representation of Conditional Constants - I. Complex Formation Constants.	Comput. Chem.	1995	DBLP DOI BibTeX RDF
30	Prasad L. Polavarapu	Chiral force constants: Recommendations for the presentation of internal coordinate force constants.	J. Comput. Chem.	1993	DBLP DOI BibTeX RDF
30	Bernhard Steffen, Jens Knoop	Finite Constants: Characterizations of a New Decidable Set of Constants.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
29	Robert M. Corless, Nargol Rezvani, Amirhossein Amiraslani	Pseudospectra of Matrix Polynomials that Are Expressed in Alternative Bases.	Math. Comput. Sci.	2007	DBLP DOI BibTeX RDF	Pseudospectra, matrix polynomial, Lebesgue functions, Lebesgue constants, conditioning
29	Qian-Yong Chen	Partitions for Spectral (Finite) Volume Reconstruction in the Tetrahedron.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	Spectral volume methods, Lebesgue constants, finite volume reconstructions
29	Ian Dempsey, Michael O'Neill 0001, Anthony Brabazon	Meta-grammar constant creation with grammatical evolution by grammatical evolution.	GECCO	2005	DBLP DOI BibTeX RDF	constant creation, digit concatenation, ephemeral random constants, meta-grammars, genetic programming, grammatical evolution
29	Lennart Åqvist	Combinations of Tense and Deontic Modality.	DEON	2004	DBLP DOI BibTeX RDF	temporal realization operators, historical necessity, conditional obligation, finite two-dimensional co-ordinate system, frame constants
29	Øyvind Langsrud	ANOVA for unbalanced data: Use Type II instead of Type III sums of squares.	Stat. Comput.	2003	DBLP DOI BibTeX RDF	unbalanced factorial design, fixed effect, nonorthogonal, fitting constants, constraint, linear model
29	Mostafa I. H. Abd-El-Barr, Muhammad Nayyar Hasan	New MVL-PLA Structures Based on Current-Mode CMOS Technology.	ISMVL	1996	DBLP DOI BibTeX RDF	MVL-PLA structures, current-mode CMOS technology, PLA structures, min, tsum, constants, r-valued one-variable functions, type-C PLA, type-A PLA, type-B PLA, cyclic generator blocks, programmable logic arrays, programmable logic arrays, CMOS logic circuits, cycle, multivalued logic circuits, multivalued logic circuits, current-mode logic
29	Noboru Takagi, Hiroaki Kikuchi, Kyoichi Nakashima, Masao Mukaidono	A Characterization of Kleenean Functions.	ISMVL	1995	DBLP DOI BibTeX RDF	Kleenean functions, fuzzy logic functions, constants, indeterminate truth value condition handling, ambiguous states, fuzzy logic, functions, fuzzy set theory, multivalued logic
22	Ronald Fagin, Phokion G. Kolaitis, Lucian Popa 0001, Wang Chiew Tan	Reverse data exchange: coping with nulls.	PODS	2009	DBLP DOI BibTeX RDF	maximum recovery, quasi-inverse, data integration, data exchange, schema mapping, inverse, model management, chase
22	Milan Ruzic	Uniform deterministic dictionaries.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	Deterministic algorithms, perfect hashing
22	Mario R. F. Benevides, Luis Menasché Schechter	A Propositional Dynamic Logic for CCS Programs.	WoLLIC	2008	DBLP DOI BibTeX RDF
22	Brian M. Cerny, Peter C. Nelson, Chi Zhou	Using differential evolution for symbolic regression and numerical constant creation.	GECCO	2008	DBLP DOI BibTeX RDF	combinatorial search, constant creation, neutral mutations, prefix gene expression programming, genetic algorithms, optimization, genetic programming, differential evolution, symbolic regression, gene expression programming, redundant representations
22	Yevgen Voronenko, Markus Püschel	Multiplierless multiple constant multiplication.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	directed graph, FIR filter, Addition chains, fixed-point arithmetic, strength reduction
22	Rupak Majumdar, Ru-Gang Xu	Directed test generation using symbolic grammars.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	concolic execution, grammar based testing, symbolic grammars, random testing, testing C programs
22	Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto	Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach.	AB	2007	DBLP DOI BibTeX RDF
22	Rupak Majumdar, Ru-Gang Xu	Directed test generation using symbolic grammars.	ASE	2007	DBLP DOI BibTeX RDF	concolic execution, grammar based testing, symbolic grammars, random testing, testing C programs
22	Oded Yacobi, Yacov Yacobi	A New Related Message Attack on RSA.	Essays in Memory of Shimon Even	2006	DBLP DOI BibTeX RDF
22	Raymond K. W. Chan, Moon-Chuen Lee	Multiplierless Fast DCT Algorithms with Minimal Approximation Errors.	ICPR (3)	2006	DBLP DOI BibTeX RDF
22	Michael Furr, Jeffrey S. Foster	Polymorphic Type Inference for the JNI.	ESOP	2006	DBLP DOI BibTeX RDF
22	Oded Yacobi, Yacov Yacobi	A New Related Message Attack on RSA.	Public Key Cryptography	2005	DBLP DOI BibTeX RDF
22	Eva Alfaro-Cid, Euan William McGookin, David James Murray-Smith	Evolution of a Strategy for Ship Guidance Using Two Implementations of Genetic Programming.	EuroGP	2005	DBLP DOI BibTeX RDF
22	Markus Püschel, Adam C. Zelinski, James C. Hoe	Custom-optimized multiplierless implementations of DSP algorithms.	ICCAD	2004	DBLP DOI BibTeX RDF
22	Ian Dempsey, Michael O'Neill 0001, Anthony Brabazon	Grammatical Constant Creation.	GECCO (2)	2004	DBLP DOI BibTeX RDF
22	Peter Tummeltshammer, James C. Hoe, Markus Püschel	Multiple constant multiplication by time-multiplexed mapping of addition chains.	DAC	2004	DBLP DOI BibTeX RDF	multiplierless, fusion, directed acyclic graph, addition chains
22	Ramesh Karri, Grigori Kuznetsov, Michael Gössel	Parity-Based Concurrent Error Detection in Symmetric Block Ciphers.	ITC	2003	DBLP DOI BibTeX RDF
22	Michael O'Neill 0001, Ian Dempsey, Anthony Brabazon, Conor Ryan	Analysis of a Digit Concatenation Approach to Constant Creation.	EuroGP	2003	DBLP DOI BibTeX RDF
22	Venkatesan T. Chakaravarthy, Rajasekar Krishnamurthy	The Problem of Context Sensitive String Matching.	CPM	2002	DBLP DOI BibTeX RDF
22	Ravi Montenegro, Jung-Bae Son	Edge isoperimetry and rapid mixing on matroids and geometric Markov chains.	STOC	2001	DBLP DOI BibTeX RDF
22	Peter Kravanja, Ann Haegemans	A Modification of Newton's Method for Analytic Mappings Having Multiple Zeros.	Computing	1999	DBLP DOI BibTeX RDF	AMS Subject Classifications: 65H10
22	William W. Cohen	Integration of Heterogeneous Databases Without Common Domains Using Queries Based on Textual Similarity.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
22	Vincent Padovani	Decidability of All Minimal Models.	TYPES	1995	DBLP DOI BibTeX RDF
22	Sherry Lesiker	Implementation of a local area network (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
22	Raymond Reiter	Equality and Domain Closure in First-Order Databases.	J. ACM	1980	DBLP DOI BibTeX RDF
22	René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp	Adding constants to string rewriting.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF	Termination, Term rewriting, Confluence, String rewriting
22	Marios Mavronicolas, Igal Milchtaich, Burkhard Monien, Karsten Tiemann	Congestion Games with Player-Specific Constants.	MFCS	2007	DBLP DOI BibTeX RDF
22	Tao Feng, Mårten E. Gulliksson, Wenbin Liu	Adaptive Finite Element Methods for the Identification of Elastic Constants.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	Gauss-Newton, Parameter estimation, least squares, finite element approximation, adaptive finite element methods
22	Steven H. Kleinstein, Dean Bottino, Anna Georgieva, Ramesh Sarangapani, G. Scott Lett	Nonuniform sampling for global optimization of kinetic rate constants in biological pathways.	WSC	2006	DBLP DOI BibTeX RDF
22	Rimma I. Podlovchenko, Dmitry M. Rusakov	Program Schemes with Constants.	Program. Comput. Softw.	2005	DBLP DOI BibTeX RDF
22	Andrey S. Siver	Evaluation of the Fundamental Physical Constants in Mathematica.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
22	Paul Gastin, Madhavan Mukund, K. Narayan Kumar	Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces.	MFCS	2003	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
22	Markus Müller-Olm, Helmut Seidl	Polynomial Constants Are Decidable.	SAS	2002	DBLP DOI BibTeX RDF
22	Christian Houdré	Mixed and Isoperimetric Estimates on the Log-Sobolev Constants of Graphs and Markov Chains.	Comb.	2001	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) Classes: 05C99, 60J10, 68R10
22	Andrzej Bielecki, Dariusz Jablonski	Estimation of Numerical Dynamics Constants of a Weakly Nonlinear Neuron.	PPAM	2001	DBLP DOI BibTeX RDF
22	Steffen Michalek, Jens Timmer	Estimating rate constants in hidden Markov models by the EM algorithm.	IEEE Trans. Signal Process.	1999	DBLP DOI BibTeX RDF
22	A. D. Yashin	New Intuitionistic Logical Constants: Undecidability of the Conservativsness Problem.	CSL	1996	DBLP DOI BibTeX RDF
22	Gagan L. Choudhury, Kin K. Leung, Ward Whitt	Calculating Normalization Constants of Closed Queueing Networks by Numerically Inverting Their Generating Functions.	J. ACM	1995	DBLP DOI BibTeX RDF	Euler summation, numerical transform inversion, production-form model, performance analysis, scaling, dimension reduction, generating function, partition function, closed queuing networks, normalization constant
22	Daniel Richardson, John P. Fitch	The Identity Problem for Elementary Functions and Constants.	ISSAC	1994	DBLP DOI BibTeX RDF
22	A. C. Andrews, John Hassler, Frank DeCou	Application of IBM 1620 EDP methods to the calculation of the formulation constants of complex ions.	Commun. ACM	1963	DBLP DOI BibTeX RDF
22	Claudio Pizzi	Necessity and Relative Contingency.	Stud Logica	2007	DBLP DOI BibTeX RDF	relative necessity, propositional constants, semantic tableaux, Contingency
22	Nicolas Boullis, Arnaud Tisserand	Some Optimizations of Hardware Multiplication by Constant Matrices.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	multiplication by constants, common subexpressions sharing, Computer arithmetic, FIR filter
22	Timothy M. Chan, Alexander Golynski, Alejandro López-Ortiz, Claude-Guy Quimper	the asteroid surveying problem and other puzzles.	SCG	2003	DBLP DOI BibTeX RDF	geometric constants, curves
22	Vasant B. Rao, Jeffrey Soreff, Ravichander Ledalla, Fred L. Yang	Aggressive crunching of extracted RC netlists.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	RC reduction, TICER, crunching, node elimination, resistor shorting, time constants, interconnect modeling, elmore delay
22	Pankaj K. Agarwal, Edward F. Grove, T. M. Murali 0001, Jeffrey Scott Vitter	Binary Search Partitions for Fat Rectangles.	FOCS	1996	DBLP DOI BibTeX RDF	fat rectangles, orthogonal nonintersecting two-dimensional rectangles, proportionality constants, intersecting objects, nonorthogonal objects, algorithm, computational complexity, computation time, binary space partitions, aspect ratio, hidden surface removal
22	Clyde F. Martin, Carroll Nunn, Carroll Schovanec	Problems of Optimization with Application to Prosthetic Design and Stress Fracture Prediction.	CBMS	1995	DBLP DOI BibTeX RDF	stress analysis, elastic constants, prosthetic design, stress fracture prediction, optimal form, collageneous tissue, interfacial interactions, augmented Lagrange techniques, nonlinear conjugate gradient methods, optimization, optimisation, deformation, functionals, geometry, geometry, compliance, differential equations, differential equation, conjugate gradient methods, biomechanics, fracture, bone, bone, strain energy, functional equations, prosthetics, extreme values, material properties
22	Jean Vuillemin	On Circuits and Numbers.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	PROM, 2-adic integers, synchronous decision diagrams, BDD constructs, bit-serial circuits, reset signals, 2Z, arithmetic synthesis f, periodic binary constants, deeply binding synchronous enable, combinational circuit semantics, arbitrary precision, programmable active memories, specification languages, sequential circuits, combinational circuits, digital arithmetic, logic CAD, adders, digital circuits, arithmetic, combinatorial circuits, synchronous circuits, continuous functions, rational numbers
15	Jason Thong, Nicola Nicolici	A novel optimal single constant multiplication algorithm.	DAC	2010	DBLP DOI BibTeX RDF	single constant multiplication, directed acyclic graphs, optimal algorithm, common subexpression elimination
15	Christoph Quirin Lauter, Vincent Lefèvre	An Efficient Rounding Boundary Test for {rm pow}(x, y) in Double Precision.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
15	George S. Lueker	Improved bounds on the average length of longest common subsequences.	J. ACM	2009	DBLP DOI BibTeX RDF	Arratia-Steele conjecture, dynamic programming, average-case analysis, Longest common subsequences
15	Qian-Ping Gu, Hisao Tamaki	Constant-Factor Approximations of Branch-Decomposition and Largest Grid Minor of Planar Graphs in O(n1 + ε) Time.	ISAAC	2009	DBLP DOI BibTeX RDF	Graph algorithms, graph minors, branch-decompositions
15	Bin Fu, Ming-Yang Kao, Lusheng Wang 0001	Discovering Almost Any Hidden Motif from Multiple Sequences in Polynomial Time with Low Sample Complexity and High Success Probability.	TAMC	2009	DBLP DOI BibTeX RDF
15	S. Hamid Amiri, Mansour Jamzad	A Robust Image Watermarking Method in Wavelet Domain Using Genetic Algorithm.	ARES	2009	DBLP DOI BibTeX RDF
15	Tomas Toft	Constant-Rounds, Almost-Linear Bit-Decomposition of Secret Shared Values.	CT-RSA	2009	DBLP DOI BibTeX RDF	Constant-rounds Multi-party Computation, Bit-decomposition, Secret Sharing