Results 31 to 40 of about 435,912 (249)

The subdivision of large simplicial cones in Normaliz

, 2016
Normaliz is an open-source software for the computation of lattice points in rational polyhedra, or, in a different language, the solutions of linear diophantine systems.
T Achterberg, W Bruns, W Bruns, W Bruns
core   +1 more source

Integer polyhedra for program analysis [PDF]

, 2009
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from imprecision when it is necessary to take into account the integrality of the ...
A. Barvinok, A. Barvinok, A. Schrijver, A. Simon, B. Meister, D. Cox, H.L. Ong, J.A. Deloera, M. Köppe, P. Cousot, P. Cousot, P. Huggins, P. Quinton, R. Lougee-Heimer, R. Seghir, S. Bardin, S. Sankaranarayanan, S. Verdoolaege, S. Verdoolaege, W. Cook   +19 more
core   +2 more sources

Sharp Bounds of Local Fractional Metric Dimensions of Connected Networks

IEEE Access, 2020
Metric dimension is a distance based parameter which is used to determine the locations of machines (or robots) with respect to minimum consumption of time, shortest distance among the destinations and lesser number of the utilized nodes as places of the
Muhammad Javaid, Mohsin Raza, Poom Kumam, Jia-Bao Liu   +3 more
doaj   +1 more source

Optimizing Parallel Task Execution for Multi-Agent Mission Planning

IEEE Access, 2023
Multi-agent systems have received a tremendous amount of attention in many areas of research and industry, especially in robotics and computer science.
Branko Miloradovic, Baran Curuklu, Mikael Ekstrom, Alessandro Vittorio Papadopoulos   +3 more
doaj   +1 more source

Encoding Arguments

, 2017
Many proofs in discrete mathematics and theoretical computer science are based on the probabilistic method. To prove the existence of a good object, we pick a random object and show that it is bad with low probability.
Morin, Pat, Mulzer, Wolfgang, Reddad, Tommy   +2 more
core   +1 more source

Discounted-Sum Automata with Multiple Discount Factors [PDF]

Logical Methods in Computer Science
Discounting the influence of future events is a key paradigm in economics and it is widely used in computer-science models, such as games, Markov decision processes (MDPs), reinforcement learning, and automata.
Udi Boker, Guy Hefetz
doaj   +1 more source

A Nekrasov-Okounkov type formula for affine $\widetilde{C}$ [PDF]

Discrete Mathematics & Theoretical Computer Science, 2015
In 2008, Han rediscovered an expansion of powers of Dedekind $\eta$ function due to Nekrasov and Okounkov by using Macdonald's identity in type $\widetilde{A}$.
Mathias Pétréolle
doaj   +1 more source

Quantum resource estimates for computing elliptic curve discrete logarithms [PDF]

, 2017
We give precise quantum resource estimates for Shor's algorithm to compute discrete logarithms on elliptic curves over prime fields. The estimates are derived from a simulation of a Toffoli gate network for controlled elliptic curve point addition ...
A Joux, AG Fowler, BS Kaliski Jr, D Johnson, D Maslov, DJ Bernstein, DM Gordon, J Proos, J Renes, J Stein, JH Silverman, JM Pollard, JM Pollard, JW Bos, M Amy, MA Nielsen, N Koblitz, P Selinger, P Selinger, PC van Oorschot, PL Montgomery, PW Shor, R Griffiths, RL Rivest, S Beauregard, SD Galbraith, T ElGamal, T Haner, V Kliuchnikov, VS Miller, W Bosma, W Diffie, Y Takahashi   +32 more
core   +2 more sources

Improved Outcomes for Older Children, Adolescents, and Young Adults With Neuroblastoma in the Post‐Immunotherapy Era: An Updated Report From the International Neuroblastoma Risk Group

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background We describe clinical and biologic characteristics of neuroblastoma in older children, adolescents, and young adults (OCAYA); describe survival outcomes in the post‐immunotherapy era; and identify if there is an age cut‐off that best discriminates outcomes.
Rebecca J. Deyell, Kavitha Srivatsa, Paola Angelini, Pei‐Chi Kao, Brady Payne, Arlene Naranjo, Sveva Castelli, Miho Kato, Miki Ohira, Ulriche Pöetschger, Yaël Mossé, Lucas Moreno, Meredith S. Irwin, Ramya Ramanujachar, Wendy B. London   +14 more
wiley   +1 more source

TeDDy: Templated decision diagram library

SoftwareX
Discrete functions are an integral part of numerous areas of research in mathematics and computer science. Efficient processing of such functions in a computer requires an appropriate representation.
Michal Mrena, Miroslav Kvassay, Elena Zaitseva   +2 more
doaj   +1 more source