Search results for "integer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Enock Chisonge Mofya, J. Cole Smith	Exact and heuristic algorithms for solving the generalized minimum filter placement problem.	J. Comb. Optim.	2006	DBLP DOI BibTeX RDF	Heuristics, Mixed-integer programming, Facets, Computer network security, Denial of service attacks
18	Hak-Jin Kim, Wooju Kim, Jongmyong Kim	An Intelligent Shopping Agent for Optimal Purchasing Decision on the Semantic Web.	ISCIS	2006	DBLP DOI BibTeX RDF	Internet Shop-ping Agent, Semantic Web, Integer Programming, OWL, SWRL
18	Gabriele Di Stefano, Stefan Krause, Marco E. Lübbecke, Uwe T. Zimmermann	On Minimum k-Modal Partitions of Permutations.	LATIN	2006	DBLP DOI BibTeX RDF	monotone sequence, k-modal sequence, cocoloring, approximation algorithm, online algorithm, Mixed integer program, hardness, LP rounding
18	Laszlo Ladányi, Jon Lee 0001, Robin Lougee-Heimer	Rapid Prototyping of Optimization Algorithms Using COIN-OR: A Case Study Involving the Cutting-Stock Problem.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	branch-and-price methods, integer programming, open-source software, cutting stock problem
18	Duan Li 0002, Xiaoling Sun 0001, Ken McKinnon	An Exact Solution Method for Reliability Optimization in Complex Systems.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	reliability optimization, convexification method, global optimization, branch-and-bound, complex system, mixed-integer nonlinear programming
18	Bernard Boigelot, Sébastien Jodogne, Pierre Wolper	An effective decision procedure for linear arithmetic over the integers and reals.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	finite-state representations, integer and real arithmetic, weak ?-automata, Decision procedure
18	Hervé Kerivin, Dritan Nace, Thi-Tuyet-Loan Pham	Design of capacitated survivable networks with a single facility.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF	rerouting strategies, network topology, dimensioning, mixed-integer linear programming, survivable networks
18	Chunghun Ha, Way Kuo	Multi-Path Approach for Reliability-Redundancy Allocation Using a Scaling Method.	J. Heuristics	2005	DBLP DOI BibTeX RDF	reliability optimization, reliability-redundancy allocation, scaling method, iterative heuristic, nonconvex mixed-integer nonlinear programming
18	Sebastian Böcker, Zsuzsanna Lipták	Efficient mass decomposition.	SAC	2005	DBLP DOI BibTeX RDF	coin change problem, integer decomposition, weighted strings, mass spectrometry
18	Di Yuan 0001	Energy-efficient broadcasting in wireless ad hoc networks: performance benchmarking and distributed algorithms based on network connectivity characterization.	MSWiM	2005	DBLP DOI BibTeX RDF	ad hoc networks, distributed algorithm, broadcasting, integer programming, virtual backbone
18	Yuan Zhou, Zhenfu Cao, Rongxing Lu	Constructing Secure Warrant-Based Proxy Signcryption Schemes.	CANS	2005	DBLP DOI BibTeX RDF	proxy Signcryption, provable security, integer factorization
18	Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan	Efficient computation of the characteristic polynomial.	ISSAC	2005	DBLP DOI BibTeX RDF	Keller-Gehrig, Magma, finite field, probabilistic algorithm, characteristic polynomial, integer, minimal polynomial
18	Margarida Moz, Margarida Vaz Pato	Solving the Problem of Rerostering Nurse Schedules with Hard Constraints: New Multicommodity Flow Models.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	rerostering, integer multicommodity flow problems, binary linear programming, nurse scheduling
18	Robert P. Bosch Jr., Michael A. Trick	Constraint Programming and Hybrid Formulations for Three Life Designs.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	hybrid formulation, cellular automata, integer programming, constraint programming, game of Life
18	Stefan Balev	Solving the Protein Threading Problem by Lagrangian Relaxation.	WABI	2004	DBLP DOI BibTeX RDF	sequence-structure alignment, Lagrangian relaxation and duality, dynamic programming, integer programming, protein structure prediction, protein threading, subgradient optimization
18	Alexander Tartakovski, Martin Schaaf, Rainer Maximini, Ralph Bergmann	MINLP Based Retrieval of Generalized Cases.	ECCBR	2004	DBLP DOI BibTeX RDF	generalized cases, kd-trees, mixed integer nonlinear programming
18	Wei Ding, Xiang-Wei Kong, Xin-Gang You, Zi-Ren Wang	A Secure Steganographic Method on Wavelet Domain of Palette-Based Images.	PCM (3)	2004	DBLP DOI BibTeX RDF	GIF image, matrix encoding, security, Steganography, integer wavelet
18	Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang	An efficient finite-domain constraint solver for circuits.	DAC	2004	DBLP DOI BibTeX RDF	bit-vector arithmetic, constraints, integer linear programming, decision procedures, boolean satisfiability, circuits, design verification
18	Lal George, Matthias Blume	Taming the IXP network processor.	PLDI	2003	DBLP DOI BibTeX RDF	Intel IXA, bank assignment, programming languages, code generation, register allocation, integer linear programming, network processors
18	Ethel Mokotoff, J. L. Jimeno	Heuristics Based on Partial Enumeration for the Unrelated Parallel Processor Scheduling Problem.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	scheduling, optimization, heuristics, mixed integer programming
18	Stephen F. Siegel, George S. Avrunin	Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	INCA, integer programming, cycles, finite-state verification
18	Olaf Stursberg, Sebastian Panek	Control of Switched Hybrid Systems Based on Disjunctive Formulations.	HSCC	2002	DBLP DOI BibTeX RDF	Switched Dynamics, Optimal Control, Mixed Integer Programming, Hybrid Automata, Disjunctive Programming
18	Falk Scholer, Hugh E. Williams, John Yiannis, Justin Zobel	Compression of inverted indexes for fast query evaluation.	SIGIR	2002	DBLP DOI BibTeX RDF	integer coding, inverted indexes, retrieval efficiency, index compression
18	Sid Ahmed Ali Touati	Optimal acyclic fine-grain scheduling with cache effects for embedded and real time systems.	CODES	2001	DBLP DOI BibTeX RDF	cache effects, optimal acyclic schedule, register constraints, integer programming, resources constraints
18	Kumar N. Lalgudi, Marios C. Papaefthymiou, Miodrag Potkonjak	Optimizing computations for effective block-processing.	ACM Trans. Design Autom. Electr. Syst.	2000	DBLP DOI BibTeX RDF	computation dataflow graphs, scheduling, embedded systems, combinatorial optimization, high-level synthesis, vectorization, integer linear programming, retiming
18	Fabiano Silva, Marcos A. Castilho, Luis Allan Künzle	Petriplan: A New Algorithm for Plan Generation (Preliminary Report).	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF	Petri Nets, Integer Programming, Reachability, AI Planning
18	Stephen F. Siegel, George S. Avrunin	Improving the precision of INCA by preventing spurious cycles.	ISSTA	2000	DBLP DOI BibTeX RDF	INCA, integer programming, cycles, finite-state verification
18	Albert Atserias	The Descriptive Comlexity of the Fixed-Points of Bounded Formulas.	CSL	2000	DBLP DOI BibTeX RDF	Circuit uniformity, BIT predicate, logarithmic-time hierarchy, rudimentary languages, integer division
18	Abdel Ejnioui, N. Ranganathan	Design Partitioning on Single-Chip Emulation Systems.	VLSI Design	2000	DBLP DOI BibTeX RDF	FPGA partitioning, integer programming, FPGA architecture, schedule optimization
18	Christian Cachin, Silvio Micali, Markus Stadler	Computationally Private Information Retrieval with Polylogarithmic Communication.	EUROCRYPT	1999	DBLP DOI BibTeX RDF	Euler's function, hiding assumption, Private information retrieval, Integer factorization
18	Gene Cooperman	TOP-C: A Task-Oriented Parallel C Interface.	HPDC	1996	DBLP DOI BibTeX RDF	TOP-C, task-oriented parallel C interface, parallel application development, learning barriers, parallel library, task input, sequential code, NOW architecture, masterslave architecture, shared memory implementation, SUN Solaris, SGI architecture, Todd-Coxeter coset enumeration, parallel programming, MPI, software tools, shared memory systems, application program interfaces, data-parallelism, software libraries, SMP, subroutines, subroutine, C language, mathematics computing, parallelising compilers, parallelising compiler, integer factorization, global variables
17	Jovan Mikic	On Certain Sums Divisible by the Central Binomial Coefficient.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Jiyou Li	Asymptotic Estimate for the Multinomial Coefficients.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Yu Hin (Gary) Au, Fatemeh Bagherzadeh, Murray R. Bremner	Enumeration and Asymptotic Formulas for Rectangular Partitions of the Hypercube.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Jun Fan, Sergey Utev	The Lie Bracket and the Arithmetic Derivative.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Robert Frontczak	Harmonic Sums via Euler's Transform: Complementing the Approach of Boyadzhiev.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Freeman J. Dyson, Norman E. Frankel, Anthony J. Guttmann	SanD Primes and Numbers.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Benjamin Braun, Brian Davis	Antichain Simplices.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Jhon J. Bravo, Jose L. Herrera, José Luis Ramírez	Combinatorial Interpretation of Generalized Pell Numbers.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Simon Rubinstein-Salzedo, Sherry Sarkar	Stability for Take-Away Games.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Marcus Michelen	A Short Note on the Average Maximal Number of Balls in a Bin.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Hùng Viêt Chu	On a Curious Identity of Ramanujan.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Stepan Kochemazov, Oleg Zaikin 0002, Eduard Vatutin, Alexey Belyshev	Enumerating Diagonal Latin Squares of Order Up to 9.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Matvey Borodin, Hannah Han, Kaylee Ji, Alexander Peng, David Sun, Isabel Tu, Jason Yang, William Yang, Kevin Zhang, Kevin Zhao, Tanya Khovanova	Variants of Base 3 Over 2.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Yevgenya Movshovich	Raabe's Identity and Covering Systems.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Tyler Ball, Joanne Beckford, Paul Dalenberg, Tom Edgar, Tina Rajabi	Some Combinatorics of Factorial Base Representations.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Ioannis Tasoulas, Kostas Manes, Aristidis Sapounakis, Panagiotis Tsikouras	Chains with Small Intervals in the Lattice of Binary Paths.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Mengmeng Liu, Andrew Yezhou Wang	The Number of Designated Parts in Compositions with Restricted Parts.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	James D. Currie, Lucas Mol, Narad Rampersad	The Number of Threshold Words on n Letters Grows Exponentially for Every n ≥ 27.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Sumit Kumar Jha 0002	Two New Explicit Formulas for the Even-Indexed Bernoulli Numbers.	J. Integer Seq.	2020	DBLP BibTeX RDF
17	Hacène Belbachir, Abdelghani Mehdaoui, László Szalay	Diagonal Sums in the Pascal Pyramid, II: Applications.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Kota Saito, Yuuya Yoshida	Arithmetic Progressions in the Graphs of Slightly Curved Sequences.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	James D. Currie	Finite Test Sets for Morphisms That Are Squarefree on Some of Thue's Squarefree Ternary Words.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Jarib R. Acosta, Yadira Caicedo, Juan P. Poveda, José Luis Ramírez, Mark Shattuck	Some New Restricted n-Color Composition Functions.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Caleb McKinley Shor	On Free Numerical Semigroups and the Construction of Minimal Telescopic Sequences.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Ji Young Choi	Digit Sums Generalizing Binomial Coefficients.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Robert Frontczak	Relating Fibonacci Numbers to Bernoulli Numbers via Balancing Polynomials.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Tricia Muldoon Brown	On the Unimodality of Convolutions of Sequences of Binomial Coefficients.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Ângela Mestre, José Agapito	Square Matrices Generated by Sequences of Riordan Arrays.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Sam Spiro	Subset Parking Functions.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Pongpol Ruankong, Kantaphon Kuhapatanakul	Approximating Sums of Consecutive Integral Roots.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Nathaniel Benjamin, Grant Fickes, Eugene Fiorini, Edgar Jaramillo Rodriguez, Eric Jovinelly, Tony W. H. Wong	Primes and Perfect Powers in the Catalan Triangle.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Fabián Arias, Jerson Borja, Luis Rubio	Counting Integers Representable as Images of Polynomials Modulo n.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Anne-Maria Ernvall-Hytönen, Tapani Matala-aho, Louna Seppälä	Euler's Divergent Series in Arithmetic Progressions.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Per Alexandersson, Linus Jordan	Enumeration of Border-Strip Decompositions and Weil-Petersson Volumes.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Juan S. Auli, Sergi Elizalde	Consecutive Patterns in Inversion Sequences II: Avoiding Patterns of Relations.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Michael Bukata, Ryan Kulwicki, Nicholas Lewandowski, Lara Pudwell, Jacob Roth, Teresa Wheeland	Distributions of Statistics over Pattern-Avoiding Permutations.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Bakir Farhi	Summation of Certain Infinite Lucas-Related Series.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Palaniappan Vellaisamy, Aklilu Zeleke	Probabilistic Proofs of Some Beta-Function Identities.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Paul Barry	The γ-Vectors of Pascal-like Triangles Defined by Riordan Arrays.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Steve Butler, Jeongyoon Choi, Kimyung Kim, Kyuhyeok Seo	Enumerating Multiplex Juggling Patterns.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Dan Ismailescu, Adrienne Ko, Celine Lee, Jae Yong Park	On Second-Order Linear Sequences of Composite Numbers.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Rigoberto Flórez, Robinson A. Higuita, Alexander Ramírez	The Resultant, the Discriminant, and the Derivative of Generalized Fibonacci Polynomials.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Donovan Young	Generating Functions for Domino Matchings in the 2 × k Game of Memory.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Paul Barry	The Central Coefficients of a Family of Pascal-like Triangles and Colored Lattice Paths.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Karl Dilcher, Larry Ericksen	Polynomial Analogues of Restricted b-ary Partition Functions.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Jovan Mikic	Two New Identities Involving the Catalan Numbers and Sign-Reversing Involutions.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Phakhinkon Phunphayap, Prapanpong Pongsriiam	Reciprocal Sum of Palindromes.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Ho-Hon Leung, Thotsaporn "Aek" Thanatipanonda	A Probabilistic Two-Pile Game.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Richard Ehrenborg, Gábor Hetyei, Margaret A. Readdy	A Bijective Answer to a Question of Simion.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Tal Barnea	The Riemann Zeta Function and the Fractional Part of Rational Powers.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Hùng Viêt Chu	The Fibonacci Sequence and Schreier-Zeckendorf Sets.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Christian Axler	New Estimates for the nth Prime Number.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Eric F. Bravo, Carlos A. Gómez, Florian Luca	Product of Consecutive Tribonacci Numbers With Only One Distinct Digit.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Ana Cecilia García Lomelí, Santos Hernández Hernández	Repdigits as Sums of Two Padovan Numbers.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Yuanping Zheng, Nadia N. Li	Bivariate Extension of Bell Polynomials.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Hùng Viêt Chu	When Sets Are Not Sum-Dominant.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Paul Barry	Generalized Catalan Numbers Associated with a Family of Pascal-like Triangles.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Christian Axler	On a Family of Functions Defined Over Sums of Primes.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Pentti Haukkanen, Jorma K. Merikoski, Timo Tossavainen	Arithmetic Subderivatives: Discontinuity and Continuity.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Paul Barry	Riordan Pseudo-Involutions, Continued Fractions and Somos-4 Sequences.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Cyril Banderier, Florian Luca	On the Period mod m of Polynomially-Recursive Sequences: a Case Study.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Spencer P. Hurd, Judson S. McCranie	Integers That Are Sums of Uniform Powers of All Their Prime Factors: The Sequence A068916.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Breeanne Baker Swart, Susan Crook, Helen G. Grundman, Laura Hall-Seelig, May Mei, Laurie Zack	Fixed Points of Augmented Generalized Happy Functions II: Oases and Mirages.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Janyarak Tongsomporn, Nicola Oswald, Jörn Steuding	Waring's Problem for Hurwitz Quaternion Integers.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Bernhard Heim, Markus Neuhauser	Log-Concavity of Recursively Defined Polynomials.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Ângela Mestre, José Agapito	A Family of Riordan Group Automorphisms.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	A. J. Hildebrand, Xiaomin Li, Junxian Li, Yun Xie	Almost Beatty Partitions.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Tamás Lengyel	A Note on a Permutation Statistic.	J. Integer Seq.	2019	DBLP BibTeX RDF
17	Mahadi Ddamulira	On the Problem of Pillai with Tribonacci Numbers and Powers of 3.	J. Integer Seq.	2019	DBLP BibTeX RDF