Search results for "ADAMS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
143	Moses Charikar, Konstantin Makarychev, Yury Makarychev	Integrality gaps for Sherali-Adams relaxations.	STOC	2009	DBLP DOI BibTeX RDF	Sherali-Adams hierarchy, lift-and-project methods, local-global metric spaces
103	Ramón Alonso	A Starting Method for the Three-Point Adams Predictor-Corrector Method.	J. ACM	1960	DBLP DOI BibTeX RDF
73	Richard Bradley	Adams Conditionals and Non-Monotonic Probabilities.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	axiomatic probability theory, Adams' Thesis, Conditionals, non-monotonic logic
59	Adrian Sandu, Emil M. Constantinescu	Multirate Explicit Adams Methods for Time Integration of Conservation Laws.	J. Sci. Comput.	2009	DBLP DOI BibTeX RDF	Multirate time integration, Adams methods, Conservation laws
59	Mark Nicholas Charles Rhodes	Rank Lower Bounds for the Sherali-Adams Operator.	CiE	2007	DBLP DOI BibTeX RDF	Lift and Project Proof Systems, Rank Lower Bounds, Sherali-Adams Relaxation, Propositional Proof Complexity
59	William I. Gasarch	Riot at the calc exam and other mathematically bent stories by Colin Adams, published by the AMS, 2009 271 pages, softcover and The great debate which is the best number? by Colin Adams VS Thomas Garrity, moderated by Edward Burger, published by the MAA, 2006 and The United States of mathematics presidential debate by Colin Adams VS Thomas Garrity, moderated by Edward Burger, published by the MAA, 2009.	SIGACT News	2010	DBLP DOI BibTeX RDF
53	Shangbin Run, Baoling Han, Qingsheng Luo, Xiaochuan Zhao	The Research and Simulation on the Walking Trajectory of the Hexapod Walking Bio-robot.	ICFIE	2007	DBLP DOI BibTeX RDF	hexapod walking Bio-robot, gait planning, kinematics simulation, virtual prototype, ADAMS
53	Catherine K. Craven, Martha Adams	Samantha Adams Festschrift: How to be a Student and How to Mentor Students - A Remembrance of Dr. Samantha Adams, Who Did These and Everything Else So Well.	Appl. Clin. Inform.	2018	DBLP DOI BibTeX RDF
48	Claire Mathieu, Alistair Sinclair	Sherali-adams relaxations of the matching polytope.	STOC	2009	DBLP DOI BibTeX RDF	0-1 programming, matching polytope, maximum matching, linear programming relaxation, integrality gap, lift-and-project
48	Konstantinos Georgiou, Avner Magen, Madhur Tulsiani	Optimal Sherali-Adams Gaps from Pairwise Independence.	APPROX-RANDOM	2009	DBLP DOI BibTeX RDF
48	Zhang Qiang, Jin Xiaoxiong	The Study of Fuel Cell Car Powertrain Mounting System Design Using MATLAB and ADAMS.	CSSE (5)	2008	DBLP DOI BibTeX RDF
48	Andrea De Lucia, Rocco Oliveto, Genoveffa Tortora	Adams re-trace: traceability link recovery via latent semantic indexing.	ICSE	2008	DBLP DOI BibTeX RDF	ir-based traceability recovery, latent semantic indexing
48	Stefan S. Dantchev	Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems.	STOC	2007	DBLP DOI BibTeX RDF	Lovász-Schrijver proof system, complexity gap theorems, lift and project methods, lower bounds, propositional proof complexity
48	Thomas Rauber, Gudula Rünger	Execution Schemes for Parallel Adams Methods.	Euro-Par	2004	DBLP DOI BibTeX RDF
48	H. B. Yin, Peng-Li Shao	Dynamic Performance Simulation of a Tracked Vehicle with ADAMS Tracked Vehicle Toolkit Software.	AsiaSim	2004	DBLP DOI BibTeX RDF
45	Lawrence F. Shampine	Stability Properties of Adams Codes.	ACM Trans. Math. Softw.	1978	DBLP DOI BibTeX RDF	Adams methods, implicit methods, stiff problems, stability, Gear
42	Tapan K. Sengupta, Anurag Dipankar	A Comparative Study of Time Advancement Methods for Solving Navier-Stokes Equations.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	time integration methods, dispersion relation preservation, flow instabilities, DNS, Navier-Stokes equation
42	Fred T. Krogh	Predictor-Corrector Methods of High Order With Improved Stability Characteristics.	J. ACM	1966	DBLP DOI BibTeX RDF
39	Jon Lee 0001, Maxim Sviridenko, Jan Vondrák	Matroid matching: the power of local search.	STOC	2010	DBLP DOI BibTeX RDF	Sherali-Adams hierarchy, local search, matching, matroid
39	David Alan Grier	From the Editor's Desk.	IEEE Ann. Hist. Comput.	2006	DBLP DOI BibTeX RDF	Henry Adams, history of computing, ENIAC
39	Cang-su Xu, Hong-hui Yi, Cheng-xiu Huang	Experimental Study of Vehicle Modelling and Ride Comfort Simulation based on the Topology Structure Analysing.	ISDA (3)	2006	DBLP DOI BibTeX RDF	ride comfort, simulation, topology, ADAMS
39	Robin Pierce, Anna Berti Suman, Bert-Jaap Koops, Ronald Leenes	Samantha Adams Festschrift: The Dot at the End of the Funnel - TILT Remembers Samantha Adams.	Appl. Clin. Inform.	2018	DBLP DOI BibTeX RDF
39	Jos Aarts	Samantha Adams Festschrift: Coming of Age - Samantha Adams's Career at Erasmus University Rotterdam.	Appl. Clin. Inform.	2018	DBLP DOI BibTeX RDF
39	Anthony Solomonides	Samantha Adams Festschrift: Keeping Close Tabs - In Memoriam Samantha Adams.	Appl. Clin. Inform.	2018	DBLP DOI BibTeX RDF
39	Laurie L. Novak, Craig E. Kuziemsky, Bonnie Kaplan	Samantha Adams Festschrift: Sam Adams and the Social Construction of Technology and Health - Implications for Biomedical Informatics.	Appl. Clin. Inform.	2018	DBLP DOI BibTeX RDF
39	Jesús Peinado-Pinilla, Jacinto Javier Ibáñez, Enrique Arias, Vicente Hernández	Adams-Bashforth and Adams-Moulton methods for solving differential Riccati equations.	Comput. Math. Appl.	2010	DBLP DOI BibTeX RDF
39	Wladimir Olszewski	ADAMS und ADAMS/Modal als Zustandsmatrizen [A, B, C, D]-Generator.	ASIM	1990	DBLP BibTeX RDF
34	Avner Magen, Mohammad Moharrami	Robust Algorithms for on Minor-Free Graphs Based on the Sherali-Adams Hierarchy.	APPROX-RANDOM	2009	DBLP DOI BibTeX RDF
34	James J. Nutaro	A Second Order Accurate Adams-Bashforth Type Discrete Event Integration Scheme.	PADS	2007	DBLP DOI BibTeX RDF
34	Andrea De Lucia, Fausto Fasano, Rocco Oliveto, Genoveffa Tortora	ADAMS: ADvanced Artefact Management System.	CSMR	2006	DBLP DOI BibTeX RDF
34	Andrea De Lucia, Fausto Fasano, Rocco Oliveto, Genoveffa Tortora	ADAMS Re-Trace: A Traceability Recovery Tool.	CSMR	2005	DBLP DOI BibTeX RDF
34	David R. Willé	Experiments in stepsize control for Adams linear multistep methods.	Adv. Comput. Math.	1998	DBLP DOI BibTeX RDF
28	Jack Snoeyink, Vishal Verma	Fitting spheres to electron density.	SCG	2011	DBLP DOI BibTeX RDF
28	MohammadHossein Bateni, Moses Charikar, Venkatesan Guruswami	MaxMin allocation via degree lower-bounded arborescences.	STOC	2009	DBLP DOI BibTeX RDF	approximation algorithms, linear programming, graphs, lift-and-project
28	Jia Xu, Qingsheng Luo, Ningjun Fan, Jiwei Yang	Optimizing Mechanism for a Polymorphic Tracked Robot.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	polymorphic tracked robot, shape-shifting mechanism, design variable, changing rate of the track perimeter
28	Xiaodiao Huang, Chunjian Yu	Electro-Mechanical Heterogeneous Simulation of the Complex NC Machine Tool from Gear Milling and Hobbing.	RAM	2008	DBLP DOI BibTeX RDF
28	Karol Gajda, Malgorzata A. Jankowska, Andrzej Marciniak, Barbara Szyszka	A Survey of Interval Runge-Kutta and Multistep Methods for Solving the Initial Value Problem.	PPAM	2007	DBLP DOI BibTeX RDF	the initial value problem, one-step interval methods, symplectic interval methods, multistep interval methods, floating-point interval arithmetic
28	Fausto Fasano	Fine-Grained Management of Software Artefacts.	ICSM	2007	DBLP DOI BibTeX RDF
28	Mechelle Gittens, Hanan Lutfiyya, Michael A. Bauer 0001	Continuous evolutionary one-step-ahead testing.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF
28	Newton Lee	A word from the editor.	Comput. Entertain.	2004	DBLP DOI BibTeX RDF
28	Chenggong Charles Fan, Jehoshua Bruck	Tolerating Multiple Faults in Multistage Interconnection Networks with Minimal Extra Stages.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	extra-stage, switch faults, stage masks, fault tolerance, Multistage Interconnection Networks (MIN)
28	John L. Pfaltz, Ratko Orlandic	A Scalable DBMS for Large Scientific Simulations.	DANTE	1999	DBLP DOI BibTeX RDF
28	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
28	Pauline Ngimwa, Anne Adams, Joshua Underwood	Collaborative Ownership in Cross-Cultural Educational Digital Library Design.	ECDL	2009	DBLP DOI BibTeX RDF	Digital library design, African Context of Use, Educational digital libraries, Cross-cultural usability
28	Michael P. Adams, Marvin L. Adams, W. Daryl Hawkins, Timmie G. Smith, Lawrence Rauchwerger, Nancy M. Amato, Teresa S. Bailey, Robert D. Falgout, Adam Kunen, Peter Brown	Provably optimal parallel transport sweeps on semi-structured grids.	J. Comput. Phys.	2020	DBLP DOI BibTeX RDF
28	Milan Hanus, Logan H. Harbour, Jean C. Ragusa, Michael P. Adams, Marvin L. Adams	Uncollided flux techniques for arbitrary finite element meshes.	J. Comput. Phys.	2019	DBLP DOI BibTeX RDF
28	Alexander Travis Adams, Elizabeth L. Murnane, Phil Adams, Michael Elfenbein, Pamara F. Chang, Shruti Sannon, Geri Gay, Tanzeem Choudhury	Keppi: A Tangible User Interface for Self-Reporting Pain.	CHI	2018	DBLP DOI BibTeX RDF
28	Kourosh Ravvaz, Craig E. Kuziemsky, Ross Koppel, Bonnie Kaplan, Samantha A. Adams, Martha B. Adams	AMIA members' "vital signs": what the HIT implementation listserv says about goals for AMIA and for medical informatics.	AMIA	2015	DBLP BibTeX RDF
28	Jay L. Adams, Tom T. Hartley, Lynn I. Adams	A solution to the fundamental linear complex-order differential equation.	Adv. Eng. Softw.	2010	DBLP DOI BibTeX RDF
28	Jonathan Adams, Constantine Katsinis, Warren Rosen, Diana Hecht, Vaughn Adams, Harsha Narravula, Satyen Sukhtankar	Simulation Experiments of a High-Performance RapidIO-based Processing Architecture.	NCA	2001	DBLP DOI BibTeX RDF
25	Prasad Raghavendra, David Steurer	Integrality Gaps for Strong SDP Relaxations of UNIQUE GAMES.	FOCS	2009	DBLP DOI BibTeX RDF	SDP hierarchies, Sherali-Adams hierarchy, integrality gap construction, approximation algorithms, semidefinite programming, hardness of approximation, unique games conjecture
20	Libor Barto, Silvia Butti, Víctor Dalmau	The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems.	CoRR	2024	DBLP DOI BibTeX RDF
20	Gao Jianmin, Zhipeng Jin, Anjun Ai	The Optimized Design of Soil-Touching Parts of a Greenhouse Humanoid Weeding Shovel Based on Strain Sensing and DEM-ADAMS Coupling Simulation.	Sensors	2024	DBLP DOI BibTeX RDF
20	Dmitrii Avdiukhin, Vaggos Chatziafratis, Konstantin Makarychev, Grigory Yaroslavtsev	Approximation Scheme for Weighted Metric Clustering via Sherali-Adams.	AAAI	2024	DBLP DOI BibTeX RDF
20	Yuan-Ming Wang, Bo Xie	A fourth-order fractional Adams-type implicit-explicit method for nonlinear fractional ordinary differential equations with weakly singular solutions.	Math. Comput. Simul.	2023	DBLP DOI BibTeX RDF
20	Baojian Yang, Yongning Deng, Xia Yue, Kenneth Tze Kin Teo	3D solid robot animation design based on ADAMS.	Int. J. Syst. Assur. Eng. Manag.	2023	DBLP DOI BibTeX RDF
20	Chenlei Tian, Jing Cao, Yifu Song, Ting Jin	A novel class of fractional adams method for solving uncertain fractional differential equation.	CoRR	2023	DBLP DOI BibTeX RDF
20	Shengmeng Li, Luping Liu, Zenghao Chai, Runnan Li, Xu Tan 0003	ERA-Solver: Error-Robust Adams Solver for Fast Sampling of Diffusion Probabilistic Models.	CoRR	2023	DBLP DOI BibTeX RDF
20	Kholmat Mahkambaevich Shadimetov, R. S. Karimov	Optimization of Adams-type difference formulas in Hilbert space W2(2, 1)(0, 1).	CoRR	2023	DBLP DOI BibTeX RDF
20	Ling Liu, Junjie Ma	Convolution quadratures based on block generalized Adams methods.	CoRR	2023	DBLP DOI BibTeX RDF
20	Shuchen Xue, Mingyang Yi, Weijian Luo, Shifeng Zhang, Jiacheng Sun, Zhenguo Li, Zhi-Ming Ma	SA-Solver: Stochastic Adams Solver for Fast Sampling of Diffusion Models.	CoRR	2023	DBLP DOI BibTeX RDF
20	Shibai Yin, Shuhao Hu, Yibin Wang 0001, Yee-Hong Yang	High-order Adams Network (HIAN) for image dehazing.	Appl. Soft Comput.	2023	DBLP DOI BibTeX RDF
20	Manuel Aprile, Matthew Drescher, Samuel Fiorini, Tony Huynh	A 7/3-approximation algorithm for feedback vertex set in tournaments via Sherali-Adams.	Discret. Appl. Math.	2023	DBLP DOI BibTeX RDF
20	Shibai Yin, Shuhao Hu, Yibin Wang 0001, Weixing Wang, Yee-Hong Yang	Adams-based hierarchical features fusion network for image dehazing.	Neural Networks	2023	DBLP DOI BibTeX RDF
20	Donglin Tang, Long Li	Simulation evaluation of underwater robot structure and control system based on ADAMS.	Open Comput. Sci.	2023	DBLP DOI BibTeX RDF
20	Ronghao Pan, José Antonio García-Díaz, Francisco García-Sánchez 0001, Rafael Valencia-García	Chick Adams at SemEval-2023 Task 5: Using RoBERTa and DeBERTa to Extract Post and Document-based Features for Clickbait Spoiling.	SemEval@ACL	2023	DBLP DOI BibTeX RDF
20	Yu-Wen Peng, Chia-Yu Hu, Yen-Ju Chin, He-Sheng Chou, Yuan-Jin Lin, Yu-Lin Liu, Shih-Lun Chen, Tsung-Yi Chen, Kuo-Chen Li, Chiung-An Chen	The color demosaicing and image scaling based on improve Hamilton-Adams.	APSIPA ASC	2023	DBLP DOI BibTeX RDF
20	Susanna F. de Rezende, Aaron Potechin, Kilian Risse	Clique Is Hard on Average for Unary Sherali-Adams.	FOCS	2023	DBLP DOI BibTeX RDF
20	Tianxiang Chen, Qi Chu 0001, Zhentao Tan, Bin Liu 0016, Nenghai Yu	ABMNet: Coupling Transformer with CNN Based on Adams-Bashforth-Moulton Method for Infrared Small Target Detection.	ICME	2023	DBLP DOI BibTeX RDF
20	Shuchen Xue, Mingyang Yi, Weijian Luo, Shifeng Zhang, Jiacheng Sun, Zhenguo Li, Zhi-Ming Ma	SA-Solver: Stochastic Adams Solver for Fast Sampling of Diffusion Models.	NeurIPS	2023	DBLP BibTeX RDF
20	Nabeela Anwar, Shafaq Naz, Muhammad Shoaib	Reliable numerical treatment with Adams and BDF methods for plant virus propagation model by vector with impact of time lag and density.	Frontiers Appl. Math. Stat.	2022	DBLP DOI BibTeX RDF
20	Peicheng Shi, Qi Zhao, Kefei Wang, Zhang Rongyun, Ping Xiao	Simulation and verification analysis of the ride comfort of an in-wheel motor-driven electric vehicle based on a combination of ADAMS and MATLAB.	Int. J. Model. Simul. Sci. Comput.	2022	DBLP DOI BibTeX RDF
20	Zhen Deng, Shuhao Hu, Shibai Yin, Yibin Wang 0001, Anup Basu, Irene Cheng 0001	Multi-step implicit Adams predictor-corrector network for fire detection.	IET Image Process.	2022	DBLP DOI BibTeX RDF
20	Zeshan Hu, Kenli Li 0001, Lin Xiao 0002, Yaonan Wang 0001, Mingxing Duan, Keqin Li 0001	Adams-Bashforth-Type Discrete-Time Zeroing Neural Networks Solving Time-Varying Complex Sylvester Equation With Enhanced Robustness.	IEEE Trans. Syst. Man Cybern. Syst.	2022	DBLP DOI BibTeX RDF
20	Vincent Cohen-Addad, Euiwoong Lee, Alantha Newman	Correlation Clustering with Sherali-Adams.	CoRR	2022	DBLP DOI BibTeX RDF
20	Lorenzo Ciardo, Stanislav Zivný	The Sherali-Adams Hierarchy for Promise CSPs through Tensors.	CoRR	2022	DBLP DOI BibTeX RDF
20	Candice R. Price	Encyclopedia of Knot Theory: Edited by Colin Adams, Erica Flapan, Allison Henrich, Louis H. Kauffman, Lewis D. Ludwig, & Sam Nelson. Chapman and Hall/CRC Press, Boca Raton, FL, 2020. ISBN 978-1138297845	Am. Math. Mon.	2022	DBLP DOI BibTeX RDF
20	Tânia Ribeiro, Gonçalo Ribeiro, Ana Isabel Veloso	Playable Characters Attributes: An Empirical Analysis Based on the Theoretical Proposal from Katherine Isbister and Ernest Adams.	HCI (33)	2022	DBLP DOI BibTeX RDF
20	Ilario Bonacina, Maria Luisa Bonet	On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems.	LICS	2022	DBLP DOI BibTeX RDF
20	Vincent Cohen-Addad, Euiwoong Lee, Alantha Newman	Correlation Clustering with Sherali-Adams.	FOCS	2022	DBLP DOI BibTeX RDF
20	Pingchuan Huang, Chunjuan Shi, Kefeng Yang, Peiyan Zhou	Dynamic simulation of a new transmitter based on ADAMS.	RICAI	2022	DBLP DOI BibTeX RDF
20	Sasan Tavakkol, Sangyoung Son, Patrick J. Lynett	Adaptive third order Adams-Bashforth time integration for extended Boussinesq equations.	Comput. Phys. Commun.	2021	DBLP DOI BibTeX RDF
20	Jinjin Guo, Binbin Qiu, Yunong Zhang	Future Different-Layer Linear Equation and Bounded Inequality Solved by Combining Adams-Bashforth Methods With CZNN Model.	IEEE Trans. Ind. Electron.	2021	DBLP DOI BibTeX RDF
20	Jingjun Zhao, Xingzhou Jiang, Yang Xu 0014	Generalized Adams method for solving fractional delay differential equations.	Math. Comput. Simul.	2021	DBLP DOI BibTeX RDF
20	Ryan O'Donnell, Tselil Schramm	Sherali-Adams Strikes Back.	Theory Comput.	2021	DBLP BibTeX RDF
20	Ilario Bonacina, Maria Luisa Bonet	On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems.	Electron. Colloquium Comput. Complex.	2021	DBLP BibTeX RDF
20	Parovik Roman	Application of the Adams-Bashfort-Mowlton Method to the Numerical Study of Linear Fractional Oscillators Models.	CoRR	2021	DBLP BibTeX RDF
20	Silvia Butti, Victor Dalmau	Fractional homomorphism, Weisfeiler-Leman invariance, and the Sherali-Adams hierarchy for the Constraint Satisfaction Problem.	CoRR	2021	DBLP BibTeX RDF
20	Kolade M. Owolabi, Abdon Atangana	On the formulation of fractional Adams-Bashforth method with Atangana-Baleanu-Caputo derivative to model chaotic problems.	CoRR	2021	DBLP BibTeX RDF
20	Yudong Hou, Lijun Wu, Yuhong Sheng	Solving high-order uncertain differential equations via Adams-Simpson method.	Comput. Appl. Math.	2021	DBLP DOI BibTeX RDF
20	Yajing Gu, Yuanguo Zhu	Adams predictor-corrector method for solving uncertain differential equation.	Comput. Appl. Math.	2021	DBLP DOI BibTeX RDF
20	Silvia Butti, Víctor Dalmau	Fractional Homomorphism, Weisfeiler-Leman Invariance, and the Sherali-Adams Hierarchy for the Constraint Satisfaction Problem.	MFCS	2021	DBLP DOI BibTeX RDF
20	Sudipta Saha, Syed Muhammad Amrr	Design of slip-based traction control system for EV and validation using co-simulation between Adams and Matlab/Simulink.	Simul.	2020	DBLP DOI BibTeX RDF
20	Min Yang 0010, Yunong Zhang, Haifeng Hu 0001	Discrete ZNN models of Adams-Bashforth (AB) type solving various future problems with motion control of mobile manipulator.	Neurocomputing	2020	DBLP DOI BibTeX RDF
20	Vasily Repnikov, Boris Faleichik, Andrey Moysa	Stabilized explicit Adams-type methods.	CoRR	2020	DBLP BibTeX RDF
20	Tianliang Hou, Haitao Leng	Numerical analysis of a stabilized Crank-Nicolson/Adams-Bashforth finite difference scheme for Allen-Cahn equations.	Appl. Math. Lett.	2020	DBLP DOI BibTeX RDF
20	Dan Aksim, Dmitry Pavlov	On the Extension of Adams-Bashforth-Moulton Methods for Numerical Integration of Delay Differential Equations and Application to the Moon's Orbit.	Math. Comput. Sci.	2020	DBLP DOI BibTeX RDF
20	Andrzej Marciniak, Malgorzata A. Jankowska	Interval methods of Adams-Bashforth type with variable step sizes.	Numer. Algorithms	2020	DBLP DOI BibTeX RDF
20	Jilan Yan	Improved Algorithm for Solving Trust Region Sub-problem Based on Adams Two-Step Algorithm.	IWCMC	2020	DBLP DOI BibTeX RDF
20	Mikko Kokkoniemi, Ville Isomöttönen	Project Education and Adams' Theory of Equity.	FIE	2020	DBLP DOI BibTeX RDF