The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for formula with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1958-1960 (18) 1961-1964 (17) 1965-1968 (22) 1969-1972 (19) 1973-1976 (22) 1977-1978 (18) 1979-1980 (16) 1981-1982 (25) 1983 (19) 1984-1985 (32) 1986 (17) 1987 (27) 1988 (38) 1989 (48) 1990 (47) 1991 (39) 1992 (55) 1993 (57) 1994 (62) 1995 (79) 1996 (83) 1997 (90) 1998 (101) 1999 (132) 2000 (156) 2001 (171) 2002 (210) 2003 (264) 2004 (337) 2005 (406) 2006 (410) 2007 (472) 2008 (502) 2009 (375) 2010 (134) 2011 (109) 2012 (113) 2013 (132) 2014 (115) 2015 (102) 2016 (126) 2017 (126) 2018 (138) 2019 (132) 2020 (152) 2021 (172) 2022 (162) 2023 (183) 2024 (44)
Publication types (Num. hits)
article(2935) data(1) incollection(23) inproceedings(3362) phdthesis(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3340 occurrences of 2103 keywords

Results
Found 6326 publication records. Showing 6326 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
60Robert Bartlett Interest Operators: Facilitating Attribute Interest Criteria for Formula-Based Interest Management in Distributed Virtual Environments. Search on Bibsonomy PADS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
58Jan P. Grzymala-Busse, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe Melanoma Prediction Using Data Mining System LERS. Search on Bibsonomy COMPSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Melanoma, skin cancer, ABCD formula, TDS, data mining system LERS, algorithm LEM2
48Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe A Search for the Best Data Mining Method to Predict Melanoma. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF melanoma prediction, ABCD formula, data mining, Rough set theory, discretization
45Marios Mavronicolas, Burkhard Monien, Klaus W. Wagner Weighted Boolean Formula Games. Search on Bibsonomy WINE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Gilles Audemard, Lakhdar Sais Circuit Based Encoding of CNF Formula. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Stefan Porschen A CNF Formula Hierarchy over the Hypercube. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF hypercube formula, variable closure, satisfiability, hypergraph, transversal
45Pradeep Kumar Mishra, Palash Sarkar 0001 Parallelizing Explicit Formula for Arithmetic in the Jacobian of Hyperelliptic Curves. Search on Bibsonomy ASIACRYPT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF hyperelliptic curve cryptography, encapsulated add-and-double, parallel algorithm, Jacobian, explicit formula
43Bingjun Sun, Qingzhao Tan, Prasenjit Mitra, C. Lee Giles Extraction and search of chemical formulae in text documents on the web. Search on Bibsonomy WWW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF chemical formula, feature boosting, support vector machines, feature selection, ranking, similarity search, conditional random fields, query models, entity extraction
43Ben Reichardt, Robert Spalek Span-program-based quantum algorithm for evaluating formulas. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF balanced ternary majority formula, formula evaluation, gadget graphs, quantum adversary bound, quantum phase estimation, span programs, quantum computing, spectral analysis, quantum algorithms, quantum walks
43Stefan Porschen, Ewald Speckenmeyer Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems. Search on Bibsonomy SAT (Selected Papers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF (hidden) Horn formula, quadratic formula, minimal vertex cover, NP-completeness, satisfiability, fixed-parameter tractability
39Alfredo De Santis, Giovanni Di Crescenzo, Giuseppe Persiano, Moti Yung On Monotone Formula Closure of SZK Search on Bibsonomy FOCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF honest-verifier interactive SZK proof systems, monotone formula closure, SZK, statistical zero knowledge, monotone logical formula, protocol techniques, random self reducible languages, Boolean operations, structural properties, closure properties
39Ran Raz Tensor-rank and lower bounds for arithmetic formulas. Search on Bibsonomy STOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF homogenous circuits, multilinear circuits, tensor rank, lower bounds, arithmetic circuits
38Stefan Porschen, Ewald Speckenmeyer, Bert Randerath On Linear CNF Formulas. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF linear CNF formula, edge colouring, linear hypergraph, NP-completeness, satisfiability, latin square
38Hans Kleine Büning, Xishun Zhao On Models for Quantified Boolean Formulas. Search on Bibsonomy Logic versus Approximation The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, complexity, Boolean function, satisfiability, quantified Boolean formula
38Qing Liu 0011, Lan Liu Rough Logic and Its Reasoning. Search on Bibsonomy Trans. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Atomic formula, Well-formed formula, Resolution reasoning, Deductive reasoning
38Tianyan Deng, Daoyun Xu NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k). Search on Bibsonomy FAW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF PCP theorem, linear CNF formula, LSAT, minimal unsatisfiable(MU) formula, NP-completeness, reduction
36Hana Chockler, Arie Gurfinkel, Ofer Strichman Beyond Vacuity: Towards the Strongest Passing Formula. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Shyh-Kwei Chen An Exact Closed-Form Formula for d-Dimensional Quadtree Decomposition of Arbitrary Hyperrectangles. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF regular decomposition, geometric data, combinatorial enumeration, binary coding system, Quadtree
36Koshiro Kitao, Shinichi Ichitsubo Path Loss Prediction Formula for Urban and Suburban Areas for 4G Systems. Search on Bibsonomy VTC Spring The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Dana Simian, Corina Simian Quadrature Formula Based on Interpolating Polynomials: Algorithmic and Computational Aspects. Search on Bibsonomy Numerical Methods and Applications The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Robert Bartlett A Peer-to-Peer Formula Interest Expression Propagation Model for Distributed Virtual Environments. Search on Bibsonomy DS-RT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Grzegorz Rzadkowski, Slawomir Lepkowski A Generalization of the Euler-Maclaurin Summation Formula: An Application to Numerical Computation of the Fermi-Dirac Integrals. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Generalized Euler-Maclaurin summation formula, Bernoulli polynomials, Bernoulli functions, Fermi-Dirac integrals, Numerical integration, Product integration
35Shi-Huang Chen, Yaotsu Chang, Jiun-Ching Ruan An Efficient Computation of LSP Frequencies Using Modified Complex-Free Ferrari Formula. Search on Bibsonomy J. Signal Process. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF line spectrum pair (LSP), line spectral frequency (LSF), linear prediction coefficient (LPC), Ferrari formula, speech processing, Newton method
35Cheng Han, Guojun Wang, Wenyan Xu A 16-classification partition of formula set F(S) in revised Kleene system W. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF R0-algebra, Truth value domain, K-formula, Nilpotent minimums, Partition
35Len Bos, Marco Caliari, Stefano De Marchi, Marco Vianello A Numerical Study of the Xu Polynomial Interpolation Formula in Two Variables. Search on Bibsonomy Computing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Bivariate polynomial interpolation, Xu points, Lagrange interpolation formula, Lebesgue constant
35Oleg A. Prokopyev, Panos M. Pardalos On Approximability of Boolean Formula Minimization. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF minimum formula size problem, minimum circuit size problem, combinatorial optimization, approximation, inapproximability, Boolean formulas, Boolean circuits
35Raul Mihali, Tarek M. Sobh The Formula One Tire Changing Robot (F1-T.C.R.). Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF car racing, tire changing, Formula One, robotics, robotic application
34Isolde Adler, Mark Weyer Tree-Width for First Order Formulae. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Uriel Feige Refuting Smoothed 3CNF Formulas. Search on Bibsonomy FOCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Marco Pistore, Moshe Y. Vardi The Planning Spectrum - One, Two, Three, Infinity. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Youichi Hanatani, Takashi Horiyama, Kazuo Iwama Density Condensation of Boolean Formulas. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Alain Couchot Improving the Refined Triggering Graph Method for Active Rules Termination Analysis. Search on Bibsonomy BNCOD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34 Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
34Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhao-Rong Lai Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
34Dawei Lu, Lixin Song, Congxu Ma Some new asymptotic approximations of the gamma function based on Nemes' formula, Ramanujan's formula and Burnside's formula. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
33Sven Jörges, Tiziana Margaria, Bernhard Steffen FormulaBuilder: a tool for graph-based modelling and generation of formulae. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formula generation, property specification, specification patterns
33Stefan Szeider Generalizations of matched CNF formulas. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF matched formula, deficiency, biclique cover, P 2 -completeness, NP-completeness, bipartite graph, polynomial hierarchy, SAT problem
33Hiroyasu Obata, Kenji Ishida, Junichi Funasaka, Kitsutaro Amano TCP Performance Analysis on Asymmetric Networks Composed of Satellite and Terrestrial Links. Search on Bibsonomy ICNP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF satellite ground stations, TCP performance analysis, asymmetric networks, terrestrial links, asymmetric bandwidth, asymmetric delay, evaluation formula, VSAT, very small aperture terminal, asymmetric digital subscriber line, Internet, Internet, throughput, transport protocols, digital simulation, network simulator, ADSL, TCP Reno, satellite links, satellite links, downlink, uplink, slow start, cable modem
33Masakiyo Miyazawa Palm calculus for a process with a stationary random measure and its applications to fluid queues. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Palm probability distribution, stationary random measure, Levy process, rate conservation law, Mecke's formula, Little's formula, sojourn time, single-server queue, fluid queue
32Kazuki Ashida, Masayuki Okamoto, Hiroki Imai, Tsubasa Nakatsuka Performance Evaluation of a Mathematical Formula Recognition System with a large scale of printed formula images. Search on Bibsonomy DIAL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu Formula-Dependent Abstraction for CTL Model Checking. Search on Bibsonomy ICCSA (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Sophie Laplante, Troy Lee, Mario Szegedy The Quantum Adversary Method and Classical Formula Size Lower Bounds. Search on Bibsonomy Comput. Complex. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 68Q30, Subject classification. 68Q17
31Mingcui Zhou, Wentai Liu, Mohanasankar Sivaprakasam A closed-form delay formula for on-chip RLC interconnects in current-mode signaling. Search on Bibsonomy ISCAS (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Sophie Laplante, Troy Lee, Mario Szegedy The Quantum Adversary Method and Classical Formula Size Lower Bounds. Search on Bibsonomy CCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Frank J. Trueba, Héctor Guerrero A robust formula to credit authors for their publications. Search on Bibsonomy Scientometrics The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Essam Al-Daoud, Ramlan Mahmod, Mohammad Rushdan, Adem Kiliçman A New Addition Formula for Elliptic Curves over GF(2n). Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2002 DBLP  DOI  BibTeX  RDF point addition, projective coordinates, Public-key cryptography, elliptic curves, scalar multiplication
31Ge Wang 0001, Tein-Hsiang Lin, Ping-chin Cheng A derivative-free noncircular fan-beam reconstruction formula. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
30Xuedong Tian, Fei Wang, Xiaoyu Liu An Improved Method of Formula Structural Analysis. Search on Bibsonomy RSKT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Formula recognition, Converse Matching, Structural analysis, Baseline
30Jean-Paul Berrut A formula for the error of finite sinc-interpolation over a finite interval. Search on Bibsonomy Numer. Algorithms The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Sinc-interpolation, Infinitely differentiable approximation scheme, Equidistant interpolation on the interval, Error formula
30Jean-François Dufourd A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Coq system, Euler's formula, computer-aided proofs, computer-aided proofs in computational topology, genus theorem, hypermaps, formal specifications, subdivisions
30Sergei A. Abramov, M. Petkovssek Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula. Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Gosper's algorithm, Newton-Leibniz formula, accurate summation algorithm, symbolic summation
30Stephane Lavirotte Optical Formula Recognition. Search on Bibsonomy ICDAR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Formula Recognition, Optical Character Recognition, Graph Grammar, Graph Rewriting, Document Understanding, Document Recognition
29Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais Computing Horn Strong Backdoor Sets Thanks to Local Search. Search on Bibsonomy ICTAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Gábor Kusper Solving the resolution-free SAT problem by submodel propagation in linear time. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF resolution-free SAT, submodel propagation, Unicorn-SAT, SAT
29Kiminori Iriyama Probability of error for the fixed-length lossy coding of general sources. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Marsha Chechik, Arie Gurfinkel TLQSolver: A Temporal Logic Query Checker. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Tetsuya Izu, Tsuyoshi Takagi Exceptional Procedure Attack on Elliptic Curve Cryptosystems. Search on Bibsonomy Public Key Cryptography The full citation details ... 2003 DBLP  DOI  BibTeX  RDF exceptional procedure attack, exceptional point, side channel attack, Elliptic curve cryptosystem (ECC), scalar multiplication
29Luca Pretto A Theoretical Analysis of Google's PageRank. Search on Bibsonomy SPIRE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF IR and Web, Link-based analysis, Markov chains, Ranking, PageRank, Information retrieval (IR)
29Yoav Rodeh, Ofer Strichman Finite Instantiations in Equivalence Logic with Uninterpreted Functions. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Aijun An, Nick Cercone Rule Quality Measures Improve the Accuracy of Rule Induction: An Experimental Approach. Search on Bibsonomy ISMIS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Kousha Etessami, Moshe Y. Vardi, Thomas Wilke First-Order Logic with Two Variables and Unary Temporal Logic. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
29Bernhard Josko Modelchecking of CTL Formulae under Liveness Assumptions. Search on Bibsonomy ICALP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
29Dale Miller 0001 Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs. Search on Bibsonomy CADE The full citation details ... 1984 DBLP  DOI  BibTeX  RDF Expansion Trees, ET-proofs, Matings, Higher-order Logic, Natural Deduction
29Villy Bæk Iversen, Vilius Benetis, Peter D. Hansen Performance of Hierarchical Cellular Networks with Overlapping Cells. Search on Bibsonomy EuroNGI Workshop The full citation details ... 2004 DBLP  DOI  BibTeX  RDF cell breathing, direct routing, Erlang-B formula, multi-rate services, cellular networks, blocking, hierarchical cellular networks
29Juan Frausto Solís, Marco Antonio Cruz-Chavez A Reduced Codification for the Logical Representation of Job Shop Scheduling Problems. Search on Bibsonomy ICCSA (4) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF the propositional satisfiability problem (SAT), Latest starting time, SAT formula, Job shop scheduling
29Yasubumi Sakakibara DNA-based algorithms for learning Boolean formulae. Search on Bibsonomy Nat. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF population computation, weighted majority, DNA computing, massively parallel, Boolean formula, computational learning
29Olivier Billet, Marc Joye The Jacobi Model of an Elliptic Curve and Side-Channel Analysis. Search on Bibsonomy AAECC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF unified addition formula, SPA-like attacks, smart cards, elliptic curve cryptosystems, side-channel analysis
29Toru Akishita, Tsuyoshi Takagi Zero-Value Point Attacks on Elliptic Curve Cryptosystem. Search on Bibsonomy ISC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF addition formula, zero-value register, side channel attack, differential power analysis, elliptic curve cryptosystem
29Afef Kacem, Abdel Belaïd, Mohamed Ben Ahmed Automatic extraction of printed mathematical formulas using fuzzy logic and propagation of context. Search on Bibsonomy Int. J. Document Anal. Recognit. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematic formula extraction, Symbol labeling, Context propagation, Fuzzy logic, Document segmentation
29Tien-Chen Ho, Shang-Juh Kao A New Performance Analysis Model of the Local Switching System. Search on Bibsonomy COMPSAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF local switching system, Erlang B formula, queueing model, loss probability
29Richard Beigel, Bin Fu Circuits Over PP and PL. Search on Bibsonomy CCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reduction, oracle, circuit, closure, PL, Boolean formula, AC, NC, PP
29Joseph Abate, Ward Whitt The Fourier-series method for inverting transforms of probability distributions. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Computational probability, numerical inversion of transforms, calculating tail probabilities, Poisson summation formula, the Fourier-series method, the Gaver-Stehfest method, Fourier transforms, numerical integration, generating functions, Fourier series, characteristic functions, Laplace transforms, cumulative distribution functions
29Shyh-Kwei Chen, Wei-Tek Tsai, Bhavani M. Thuraisingham Recovery Point Selection on a Reverse Binary Tree Task Model. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF performance computation procedure, computation time minimization, recovery point selection, reverse binary tree task model, arbitrary reverse tree model, optimal placement algorithm, closed form formula, recovery point placement problem, computational complexity, fault tolerant computing, multiprocessing systems, multiprocessor systems, trees (mathematics), communication delays, closed form solution, uniprocessor systems
28Dwijesh Dutta Majumder, Rupak Bhattacharyya, Supratim Mukherjee Methods of Evaluation and Extraction of Membership Functions - Review with a New Approach. Search on Bibsonomy ICCTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Determination of Membership Function, Modified Lagrange's Interpolation Formula, Modified Newton's divided difference Formula, Risk Factor, Fuzzy Membership Function
28Alain Le Méhauté On some aspects of multivariate polynomial interpolation. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Lagrange formula, Newton formula, Aitken-type algorithm, Abel interpolation, Hermite interpolation, multivariate interpolation
28Masakiyo Miyazawa, Yoshitaka Takahashi Rate conservation principle for discrete-time queues. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Stationary point process, Palm distribution, rate conservation principle, ASTA, Little's formula, Brumelle's formula, discrete-time queues
28Ward Whitt A review of L=lambda W and extensions. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF L=W, Little's law, time averages and customer averages, sample-path methods, stationary marked point processes, H=G, the inversion formula, Campbell's formula, central limit, indirect estimation, conservation laws, conservation law, rate, limit theorems, level crossings, theorems
26Yuichiro Goto, Akihiro Yamakita, Fumiaki Maehara Simple Series Form Formula of BER Performance of M-ary QAM/OFDM Signals Over Nonlinear Fading Channels. Search on Bibsonomy MCSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Jianer Chen, Yang Liu 0002 An Improved SAT Algorithm in Terms of Formula Length. Search on Bibsonomy WADS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Y. C. Wei, C. C. Liu, M. C. Lo A Modified Development of CIE Color Difference Formula via Polynomial Regression Approaches. Search on Bibsonomy CSSE (6) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Takayuki Sato, Kazuyuki Amano, Eiji Takimoto, Akira Maruoka Monotone DNF Formula That Has a Minimal or Maximal Number of Satisfying Assignments. Search on Bibsonomy COCOON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Elías Berriochoa, Alicia Cachafeiro, Francisco Marcellán A new numerical quadrature formula on the unit circle. Search on Bibsonomy Numer. Algorithms The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 33C47, 42C05, 65D30
26Andris Ambainis, Andrew M. Childs, Ben Reichardt, Robert Spalek, Shengyu Zhang Any AND-OR Formula of Size N can be Evaluated in time N1/2+o(1) on a Quantum Computer. Search on Bibsonomy FOCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Zhongmin Xiong, Wei Wang 0009, Jian Pei Active Rules Termination Analysis Through Conditional Formula Containing Updatable Variable. Search on Bibsonomy APWeb/WAIM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Troy Lee A New Rank Technique for Formula Size Lower Bounds. Search on Bibsonomy STACS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Min Hu, Weiming Sun MHC Regulation Based Immune Formula Discovering Algorithm (IFDA). Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Seiichi Toyota, Seiichi Uchida, Masakazu Suzuki Structural Analysis of Mathematical Formulae with Verification Based on Formula Description Grammar. Search on Bibsonomy Document Analysis Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Trevor Sweeting, Samer Kharroubi Application of a predictive distribution formula to Bayesian computation for incomplete data models. Search on Bibsonomy Stat. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Laplace approximation, predictive distribution, simulation, importance sampling, missing data, latent variables, asymptotic approximation, Metropolis-Hastings, data augmentation, Bayesian computation
26Cheng-Shang Chang, Duan-Shin Lee, Chao-Lin Yu Generalization of the Pollaczek-Khinchin formula for throughput analysis of input-buffered switches. Search on Bibsonomy INFOCOM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Maxim S. Finkelstein On the exponential formula for reliability. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Morihito Miyagi, Keiko Ohkubo, Mikio Kataoka, Satoshi Yoshizawa Performance prediction method for Web-access response time distribution using formula. Search on Bibsonomy NOMS (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Ron Andrews, Stanislaw Bajcar, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe, Chris Whiteley Optimization of the ABCD Formula for Melanoma Diagnosis Using C4.5, a Data Mining System. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Akira Ushijima The Tilt Formula for Generalized Simplices in Hyperbolic Space. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Pavel Makagonov, Mikhail Alexandrov Empirical Formula for Testing Word Similarity and Its Application for Constructing a Word Frequency List. Search on Bibsonomy CICLing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Danny De Vleeschauwer, Guido H. Petit, Bart Steyaert, Sabine Wittevrongel, Herwig Bruneel An Accurate Closed-Form Formula to Calculate the Dejittering Delay in Packetised Voice Transport. Search on Bibsonomy NETWORKING The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Chen Long, Huang Chen Comparative Study between the Magic Formula and the Neural Network Tire Model Based on Genetic Algorithm. Search on Bibsonomy IITSI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Magic Formula, combined tyre force, genetic algorithm, Neural Networks (ANN), Artificial
25Federsel Stephan, Klaus Miesenberger Chemical Workbench for Blind People - Accessing the Structure of Chemical Formula. Search on Bibsonomy ICCHP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF structure of chemical formula, navigate, chemistry, blind people
25Dipankar Sarkar 0001, S. C. De Sarkar A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF quantified formula handling, array handling, undecidability problem, automated verifier, quantified formulas, bound-extension rule, bound-modification, theorem proving, program verification, program verification, first-order logic, inference mechanisms, decidability, inference rules, integer arithmetic
25Zahari Zlatev Consistency and convergence of general linear multistep variable stepsize variable formula methods. Search on Bibsonomy Computing The full citation details ... 1983 DBLP  DOI  BibTeX  RDF linear multistep formulae, variable stepsize variable formula methods, order of the method, zero-stability, convegence, one-leg methods, predictor-corrector schemes, consistency, Ordinary differential equations, numerical solution, initial value problems
24Patrice Godefroid, Nir Piterman LTL Generalized Model Checking Revisited. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 6326 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license