Authors: Dusan Jakovetic, Dragana Bajovic, Anit Kumar Sahu, Soummya Kar, Nemanja Milosevic, Dusan Stamenkovic
Authors: Dusan Jakovetic, Dragana Bajovic, Anit Kumar Sahu, Soummya Kar, Nemanja Milosevic, Dusan Stamenkovic
Authors: Vajjha, Koundinya, Trager, Barry, Shinnar, Avraham, Pestun, Vasily
Subject Terms: Formal Verification, Stochastic Approximation, Stochastic Processes, Probability Theory, Optimization Algorithms, Mathematics of computing → Stochastic processes, Mathematics of computing → Nonlinear equations, Computing methodologies → Optimization algorithms
File Description: application/pdf
Relation: https://github.com/IBM/FormalML/releases/tag/ITP2022; http://itp2012.cs.princeton.edu/; http://www.jstor.org/stable/3448398; http://proceedings.mlr.press/v70/selsam17a.html; https://dx.doi.org/10.4230/LIPIcs.ITP.2022; https://dx.doi.org/10.11309/jssst.37.3_79; https://dx.doi.org/10.1609/aaai.v33i01.33012662; https://dx.doi.org/10.1007/s10817-018-9481-5; https://dx.doi.org/10.1214/aoms/1177728794; https://dx.doi.org/10.1145/3018610.3018625; https://dx.doi.org/10.1007/s11786-014-0181-1; https://dx.doi.org/10.1016/0196-8858(86)90033-3; https://dx.doi.org/10.1145/3018610.3018628; https://dx.doi.org/10.1214/aoms/1177729392; https://dx.doi.org/10.1016/B978-0-12-604550-5.50015-8; https://dx.doi.org/10.1214/aoms/1177699145
Availability: https://doi.org/10.4230/lipics.itp.2022.3110.4230/LIPIcs.ITP.202210.11309/jssst.37.3_7910.1609/aaai.v33i01.3301266210.1007/s10817-018-9481-510.1214/aoms/117772879410.1145/3018610.301862510.1007/s11786-014-0181-110.1016/0196-8858(86)90033-310.1145/3018610.301862810.1214/aoms/117772939210.1016/B978-0-12-604550-5.50015-810.1214/aoms/1177699145
Authors: Wang, Weina, Gupta, Anupam, Williams, Jalani K.
Subject Terms: approximation algorithms, stochastic probing, minimization, Theory of computation → Stochastic approximation, Mathematics of computing → Combinatorial optimization
File Description: application/pdf
Relation: https://dx.doi.org/10.4230/LIPIcs.ITCS.2022; https://dx.doi.org/10.4230/LIPIcs.STACS.2014.29; https://dx.doi.org/10.4230/LIPIcs.APPROX-RANDOM.2019.49; https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2017.27; https://dx.doi.org/10.1145/1868237.1868250; https://dx.doi.org/10.1145/1250790.1250807; https://dx.doi.org/10.5555/3039686.3039797; https://dx.doi.org/10.1137/1.9781611974782.111; https://dx.doi.org/10.1287/opre.1100.0857; https://dx.doi.org/10.4230/LIPIcs.ITCS.2020.45; https://dx.doi.org/10.1137/1.9781611975031.161
Authors: Yang, Sheng, Khuller, Samir, Mitra, Subrata, Mahadik, Kanak
Subject Terms: Stochastic Knapsack, Submodular Optimization, Stochastic Optimization, Theory of computation → Rounding techniques, Theory of computation → Stochastic approximation, Theory of computation → Stochastic control and optimization, Theory of computation → Submodular optimization and polymatroids
File Description: application/pdf
Relation: https://proceedings.neurips.cc/paper/2016/file/07cdfd23373b17c6b337251c22b7ea57-Paper.pdf; https://proceedings.neurips.cc/paper/2013/file/f4573fc71c731d5c362f0d7860945b88-Paper.pdf; https://dx.doi.org/10.4230/LIPIcs.ESA.2022; https://dx.doi.org/10.1145/2124295.2124337; https://dx.doi.org/10.1287/mnsc.2015.2254; https://dx.doi.org/10.1007/978-3-540-92185-1_53; https://dx.doi.org/10.1007/978-3-540-72792-7_15; https://dx.doi.org/10.1137/080733991; https://dx.doi.org/10.1137/110839655; https://dx.doi.org/10.1109/focs.2011.46; https://dx.doi.org/10.1007/bfb0121195; https://dx.doi.org/10.1609/aaai.v33i01.33011485; https://dx.doi.org/10.1145/1143844.1143897; https://dx.doi.org/10.1287/moor.2017.0884; https://dx.doi.org/10.1007/bf01588971; https://dx.doi.org/10.1109/focs.2009.24
Authors: D'Angelo, Gianlorenzo, Poddar, Debashmita, Vinci, Cosimo
Subject Terms: Adaptive Optimization, Influence Maximization, Submodular Optimization, Stochastic Optimization, Theory of computation → Stochastic approximation, Theory of computation → Online algorithms, Theory of computation → Probabilistic computation, Theory of computation → Graph algorithms analysis
File Description: application/pdf
Relation: http://dl.acm.org/citation.cfm?id=1070432.1070487; https://icml.cc/Conferences/2010/papers/436.pdf; https://dx.doi.org/10.4230/LIPIcs.ICALP.2021; https://dx.doi.org/10.4230/LIPIcs.STACS.2014.29; https://dx.doi.org/10.1287/moor.1080.0364; https://dx.doi.org/10.1287/moor.1080.0330; https://dx.doi.org/10.1007/11682462_50; https://dx.doi.org/10.1007/978-3-319-18173-8_17
Authors: Ben Basat, Ran, Mitzenmacher, Michael, Vargaftik, Shay
Subject Terms: Randomized Algorithms, Approximation Algorithms, Shared Randomness, Distributed Protocols, Estimation, Subtractive Dithering, Theory of computation → Rounding techniques, Theory of computation → Stochastic approximation
File Description: application/pdf
Authors: Berend, Daniel, Twitto, Yochai
Subject Terms: Combinatorial Optimization, Maximum Satisfiability, Local Search, Probabilistic Algorithms, Theory of computation → Theory of randomized search heuristics, Theory of computation → Stochastic approximation
File Description: application/pdf
Authors: Rashtchian, Cyrus, Woodruff, David P., Zhu, Hanlin
Subject Terms: Query complexity, property testing, vector-matrix-vector, linear algebra, statistics, graph parameter estimation, Theory of computation → Stochastic approximation
File Description: application/pdf
Relation: http://dl.acm.org/citation.cfm?id=2095116.2095204; https://dx.doi.org/10.4230/LIPIcs.APPROX/RANDOM.2020; https://dx.doi.org/10.1007/s00453-017-0287-3; https://dx.doi.org/10.1007/s00037-012-0048-2; https://dx.doi.org/10.4230/LIPIcs.ISAAC.2019.19; https://dx.doi.org/10.1137/1.9781611975994.177; https://dx.doi.org/10.1145/3188745.3188920; https://dx.doi.org/10.1137/1.9781611975994.135; https://dx.doi.org/10.1137/15M1054389; https://dx.doi.org/10.1137/s0097539704447304; https://dx.doi.org/10.1002/rsa.v32:4; https://dx.doi.org/10.1137/100783066; https://dx.doi.org/10.1109/TKDE.2012.178
Authors: Zhang, Hanrui
Subject Terms: Prophet Inequalities, Combinatorial Welfare Maximization, Approximate Subadditivity, Theory of computation → Stochastic approximation, Theory of computation → Algorithmic game theory and mechanism design
File Description: application/pdf
Subject Terms: stochastic optimization, graph exploration, approximation algorithms, Theory of computation → Graph algorithms analysis, Theory of computation → Stochastic approximation
File Description: application/pdf
Relation: http://dl.acm.org/citation.cfm?id=2884435.2884555; http://snap.stanford.edu/data; https://dx.doi.org/10.4230/LIPIcs.ICALP.2019; https://dx.doi.org/10.1016/j.ipl.2011.05.007; https://dx.doi.org/10.1007/978-3-319-07557-0_10; https://dx.doi.org/10.1137/1.9781611973082.127; https://dx.doi.org/10.1007/978-3-642-02927-1_23; https://dx.doi.org/10.1287/moor.1080.0330; https://dx.doi.org/10.1145/1250790.1250807; https://dx.doi.org/10.1109/INFCOMW.2017.8116502; https://dx.doi.org/10.1137/1.9781611973402.85; https://dx.doi.org/10.1109/ASONAM.2016.7752227; https://dx.doi.org/10.1145/3091478.3091492
Authors: Nagaraja, Sindhu
Subject Terms: Phase-field fracture model, Anisotropic materials, Brittle fracture, silicon, Experiment, biological tissues, Discretization, STOCHASTIC APPROXIMATION + MONTE CARLO METHODS STOCHASTICS, mesh refinement, Adaptive refinement schemes, finite element method, Finite cell method, infoeu-repo/classification/ddc/620, Engineering & allied operations
File Description: application/pdf
Authors: Schäfer, Till
Subject Terms: Clustering, Data mining, Cheminformatics, Graph algorithms, Stochastic approximation algorithms, Randomized algorithms, Cluster, Data Mining, Computational chemistry, Graph, Stochastische Approximation, Randomisierter Algorithmus
Time: 004
Subject Terms: Adaptive fine-tuning, Adaptive optimization, Non-linear control, simultaneous perturbation stochastic approximation SPSA, Stochastic approximation
File Description: application/pdf
Subject Terms: COMPUTER VISION + SCENE UNDERSTANDING ARTIFICIAL INTELLIGENCE, STOCHASTIC APPROXIMATION + MONTE CARLO METHODS STOCHASTICS, STOCHASTISCHE APPROXIMATION + MONTE-CARLO-METHODEN STOCHASTIK, DIGITALE BILDVERARBEITUNG, DIGITAL IMAGE PROCESSING, COMPUTERVISION KÜNSTLICHE INTELLIGENZ, MOBILE ROBOTS, MOBILE ROBOTER, infoeu-repo/classification/ddc/621.3, infoeu-repo/classification/ddc/004, Electric engineering, Data processing, computer science
File Description: application/pdf
Authors: Hess, Stephane, Fosgerau, Mogens
Subject Terms: STOCHASTIC APPROXIMATION + MONTE CARLO METHODS STOCHASTICS, TRANSPORT STATISTICS + TRAFFIC CENSUS TRANSPORTATION AND TRAFFIC, Mixed logit, STOCHASTISCHE APPROXIMATION + MONTE-CARLO-METHODEN STOCHASTIK, Random taste heterogeneity, Legendre polynomials, VERKEHRSSTATISTIK + VERKEHRSZÄHLUNG VERKEHR UND TRANSPORT, Mixtures of distributions, infoeu-repo/classification/ddc/380, Commerce, communications, transport
File Description: application/pdf
Authors: Kosmatopoulos, Elias B., Kouvelas, Anastasios
Subject Terms: Adaptive fine-tuning, Adaptive optimization, Incremental-extreme learning machine neural networks I-ELM-NNs, Nonlinear control systems, Simultaneous perturbation stochastic approximation SPSA
File Description: application/pdf
Subject Terms: Optimal learning, optimization in the presence of uncertainty, simulation optimization, sequential experimental design, ranking and selection, random search, stochastic approximation, approximate dynamic programming
File Description: application/pdf
Availability: https://doi.org/10.4230/dagsemproc.09181.2