Search results for "ADAMS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Jing Zhang, Qiang Gao	The virtual prototype combination simulation in design for the Shaper Mechanism based on ADAMS and SolidWorks.	EMEIT	2011	DBLP DOI BibTeX RDF
20	Yangtao Yu, Ye Dai, FaMing Pan, Long Ma	Virtual prototyping simulation of minitype universal docking mechanism based on ADAMS.	EMEIT	2011	DBLP DOI BibTeX RDF
20	Xiangyu Dong, Yuan Xie 0001	AdaMS: Adaptive MLC/SLC phase-change memory design for file storage.	ASP-DAC	2011	DBLP DOI BibTeX RDF
20	Milan Straka	Adams' Trees Revisited.	Trends in Functional Programming	2011	DBLP DOI BibTeX RDF
20	O. A. Akinfenwa, N. M. Yao, Samuel N. Jator	A Self Starting Block Adams Methods for Solving Stiff Ordinary Differential Equation.	CSE	2011	DBLP DOI BibTeX RDF
20	Siavosh Benabbas, Siu On Chan, Konstantinos Georgiou, Avner Magen	Tight Gaps for Vertex Cover in the Sherali-Adams SDP Hierarchy.	FSTTCS	2011	DBLP DOI BibTeX RDF
20	Yuan Liu, Haitao Wu, Hongbin Liu	The Kinematic Analysis and Parametric Design of Beam Pumping Unit Based on ADAMS.	ICDMA	2011	DBLP DOI BibTeX RDF
20	Kai Zhu, Gui Zhi Jiang	On Modeling and the Interface Technology of the Reduction Device Based on Pro / E and ADAMS.	ICDMA	2011	DBLP DOI BibTeX RDF
20	Siavosh Benabbas, Konstantinos Georgiou, Avner Magen	The Sherali-Adams System Applied to Vertex Cover: Why Borsuk Graphs Fool Strong LPs and some Tight Integrality Gaps for SDPs.	Electron. Colloquium Comput. Complex.	2010	DBLP BibTeX RDF
20	Richard Dietz, Igor Douven	Ramsey's Test, Adams' Thesis, and Left-Nested Conditionals.	Rev. Symb. Log.	2010	DBLP DOI BibTeX RDF
20	Zhi-cheng Wu, Quanmin Zhu, Alan F. T. Winfield, Si-zhong Chen	Study of fuzzy control for controllable suspension based on ADAMS and MATLAB co-simulation.	Int. J. Model. Identif. Control.	2010	DBLP DOI BibTeX RDF
20	Andrea De Lucia, Fausto Fasano, Rocco Oliveto, Genoveffa Tortora	Fine-grained management of software artefacts: the ADAMS system.	Softw. Pract. Exp.	2010	DBLP DOI BibTeX RDF
20	Siavosh Benabbas, Avner Magen	Extending SDP Integrality Gaps to Sherali-Adams with Applications to Quadratic Programming and MaxCutGain.	IPCO	2010	DBLP DOI BibTeX RDF
20	Yingsa Huang, Jianping Hu, Deyong Yang, Xiuping Shao, Fa Liu	Simulation Analyze the Dice and Shape of the Dicer Based on ADAMS.	CCTA (2)	2010	DBLP DOI BibTeX RDF
20	Jianping Hu, Jing Wang, Yingsa Huang, Enzhu Wei	Virtual Prototype Modeling and Simulating Analysis of Lotus Root Slicing Machine Based on ADAMS.	CCTA (3)	2010	DBLP DOI BibTeX RDF
20	Jodi Throckmorton	Ansel Adams: early works.	Human Vision and Electronic Imaging	2010	DBLP DOI BibTeX RDF
20	John J. McCann	The Ansel Adams zone system: HDR capture and range compression by chemical processing.	Human Vision and Electronic Imaging	2010	DBLP DOI BibTeX RDF
20	Miquel Grau-Sánchez, Miquel Noguera, José Luis Díaz-Barrero	Adams-like techniques for zero-finder methods.	Appl. Math. Comput.	2009	DBLP DOI BibTeX RDF
20	Changpin Li, Chunxing Tao	On the fractional Adams method.	Comput. Math. Appl.	2009	DBLP DOI BibTeX RDF
20	Stefan S. Dantchev, Barnaby Martin, Mark Nicholas Charles Rhodes	Tight rank lower bounds for the Sherali-Adams proof system.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
20	Konstantinos Georgiou, Avner Magen, Madhur Tulsiani	Optimal Sherali-Adams Gaps from Pairwise Independence.	Electron. Colloquium Comput. Complex.	2009	DBLP BibTeX RDF
20	James W. Vick	Review: Topology Now! by Robert Messer; Philip Straffin; Introduction to Topology: Pure and Applied by Colin Adams; Robert Franzosa.	Am. Math. Mon.	2009	DBLP BibTeX RDF
20	Moritz Schulz	A Note on two theorems by Adams and McGee.	Rev. Symb. Log.	2009	DBLP DOI BibTeX RDF
20	Abdullah Al Mamun 0002, Zhu Zhen, Myint Phone Naing	A 3-D Simulator using ADAMS for Design of an Autonomous Gyroscopically Stabilized Single Wheel Robot.	SMC	2009	DBLP DOI BibTeX RDF
20	Feng Xiao, Ming Yuchi, Mingyue Ding, Jun Jo, Jong-Hwan Kim 0001	A multi-step heart rate prediction method based on physical activity using Adams-Bashforth technique.	CIRA	2009	DBLP DOI BibTeX RDF
20	Dalei Song, Lidan Zheng, Li Wang, Weiwei Qi, Yanli Li	The Co-simulation of Humanoid Robot Based on Solidworks, ADAMS and Simulink.	FIRA	2009	DBLP DOI BibTeX RDF
20	Susan L. Kendall	Privacy in the 21st Century: Issues for Public, School, and Academic Libraries, Helen R. Adams, Robert F. Bocher, Carol A. Gordon, Elizabeth Barry-Kessler. Libraries Unlimited, Westport, CT (2005).	Gov. Inf. Q.	2008	DBLP DOI BibTeX RDF
20	Luciano Galeone, Roberto Garrappa	Fractional Adams-Moulton methods.	Math. Comput. Simul.	2008	DBLP DOI BibTeX RDF
20	Gregory Benson	J.B. Adams, A.R. Gillespie, , Remote Sensing of Landscapes with Spectral Images (2006) Cambridge University Press, Cambridge, UK 0-521-66221-4 362pp., US$85, Hardback.	Comput. Geosci.	2008	DBLP DOI BibTeX RDF
20	Muhammet Demirbilek	Teaching secondary English with ICT - By Anthony Adams & Sue Brindley.	Br. J. Educ. Technol.	2008	DBLP DOI BibTeX RDF
20	Hangxin Wei, Wei Wu, Mingzhi Liu	Simulation of the Humanoid Running Robot Based on ADAMS.	UKSim	2008	DBLP DOI BibTeX RDF
20	Fayçal M'hamed Bouyakoub, Abdelkader Belkhir	AdaMS: An Adaptation Multimedia System for Heterogeneous Environments.	NTMS	2008	DBLP DOI BibTeX RDF
20	Yinnian He, Weiwei Sun 0002	Stability and Convergence of the Crank-Nicolson/Adams-Bashforth scheme for the Time-Dependent Navier-Stokes Equations.	SIAM J. Numer. Anal.	2007	DBLP DOI BibTeX RDF
20	Khairil Iskandar Othman, Zarina Bibi Ibrahim, Mohamed Suleiman, Zanariah Abdul Majid	Automatic intervalwise block partitioning using Adams type method and backward differentiation formula for solving ODEs.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
20	Roger Lindsay	Towards inclusive learning in higher education - Edited by Mike Adams & Sally Brown.	Br. J. Educ. Technol.	2007	DBLP DOI BibTeX RDF
20	Nils Betzler, Martin Hofmann 0013, Gongbing Shan, Kerstin Witte	Biomechanical Modelling of a Golf Swing by Means of the Multibody-Kinetics Software "ADAMS".	Int. J. Comput. Sci. Sport	2006	DBLP BibTeX RDF
20	Anastasia Dunca, Yekaterina Epshteyn	On the Stolz-Adams Deconvolution Model for the Large-Eddy Simulation of Turbulent Flows.	SIAM J. Math. Anal.	2006	DBLP DOI BibTeX RDF
20	Luc Lauwers, Tom Van Puyenbroeck	The Hamilton Apportionment Method Is Between the Adams Method and the Jefferson Method.	Math. Oper. Res.	2006	DBLP DOI BibTeX RDF
20	Gerald B. Folland, Jeffrey L. Stuart	Linear Algebra by John B. Fraleigh; Raymond A. Beauregard; Linear Algebra and its Applications by David Lay; Linear Algebra: A Geometric Approach by Theodore Shifrin; Malcolm R. Adams; Introduction to Linear Algebra by Gilbert Strang.	Am. Math. Mon.	2005	DBLP BibTeX RDF
20	Kai Diethelm, Neville J. Ford, Alan D. Freed	Detailed Error Analysis for a Fractional Adams Method.	Numer. Algorithms	2004	DBLP DOI BibTeX RDF
20	Daniel Bienstock, Nuri Özbay	Tree-width and the Sherali-Adams operator.	Discret. Optim.	2004	DBLP DOI BibTeX RDF
20	Andrea De Lucia, Fausto Fasano, Rita Francese, Genoveffa Tortora	ADAMS: an Artefact-based Process Support System.	SEKE	2004	DBLP BibTeX RDF
20	J. O. Omolehin, M. A. Ibiejugba, M. O. Alabi, David J. Evans 0001	A New Class of Adams-Bashforth Schemes for ODEs.	Int. J. Comput. Math.	2003	DBLP DOI BibTeX RDF
20	Monique Laurent	A Comparison of the Sherali-Adams, Lovász-Schrijver, and Lasserre Relaxations for 0-1 Programming.	Math. Oper. Res.	2003	DBLP DOI BibTeX RDF
20	Geoff B. Irvine, Lei Wang 0029, Peter Dickman, David R. S. Cumming	Variable-rate data sampling for low-power microsystems using modified Adams methods.	IEEE Trans. Signal Process.	2003	DBLP DOI BibTeX RDF
20	Mile K. Stojcev	High Performance Memory Testing: Design Principles, Fault Modeling and Self-Test; R. Dean Adams, Kluwer Academic Publishers, Boston, 2003, Hardcover, pp 247, plus XIII, ISBN 1-4020-7255-4.	Microelectron. Reliab.	2003	DBLP DOI BibTeX RDF
20	Nguyen Huu Cong, Nguyen Thi Hong Minh	Fast convergence pirkn-type pc methods with adams-type predictors.	Int. J. Comput. Math.	2001	DBLP DOI BibTeX RDF
20	Piotr Chrzastowski-Wachtel, Jerzy Tyszkiewicz, Achim G. Hoffmann, Arthur Ramer	Definability of connectives in conditional event algebras of Schay-Adams-Calabrese and Goodman-Nguyen-Walker.	Inf. Process. Lett.	2001	DBLP DOI BibTeX RDF
20	Zhe Li, Sridhar Kota	Virtual Prototyping and Motion Simulation with ADAMS.	J. Comput. Inf. Sci. Eng.	2001	DBLP DOI BibTeX RDF
20	Manuel Calvo, Jesús Vigo-Aguiar	A Note on the Step Size Selection in Adams Multistep Methods.	Numer. Algorithms	2001	DBLP DOI BibTeX RDF
20	William G. McCallum	Calculus Mysteries and Thrillers by R. Grant Woods; How to Ace Calculus: The Streetwise Guide by Colin Adams; Joel Hass; Abigail Thompson.	Am. Math. Mon.	2001	DBLP BibTeX RDF
20	Nguyen Huu Cong, Nguyen Thi Hong Minh	Parallel block pc methods with rkn-type correctors and adams-type predictors.	Int. J. Comput. Math.	2000	DBLP DOI BibTeX RDF
20	Georg Denk, Stefan Schäffler	Adams Methods for the Efficient Solution of Stochastic Differential Equations with Additive Noise.	Computing	1997	DBLP BibTeX RDF
20	Russell F. Haddleton, John L. Pfaltz	Client/Server Architecture in the ADAMS Parallel Object-Oriented Database System.	ISCOPE	1997	DBLP DOI BibTeX RDF
20	Masato Terada, Yuko Murayama	User Access Domain Management Systems - ADAMS.	ACISP	1997	DBLP DOI BibTeX RDF
20	Ilkka Niiniluoto	Truthlikeness misapplied: A reply to Ernest W. Adams.	Synth.	1994	DBLP DOI BibTeX RDF
20	Ted A. Warfield	Fodorian semantics: A reply to Adams and Aizawa.	Minds Mach.	1994	DBLP DOI BibTeX RDF
20	John L. Pfaltz, James C. French	Scientific Database Management with ADAMS.	IEEE Data Eng. Bull.	1993	DBLP BibTeX RDF
20	Jeff R. Cash, S. Semnani	A modified Adams method for nonstiff and mildly stiff initial value problems.	ACM Trans. Math. Softw.	1993	DBLP DOI BibTeX RDF
20	Leonardo Meo-Evoli, Enrico Nardelli, Domenico M. Pisanelli, Fabrizio L. Ricci	ADAMS: An Object-Oriented System for Epidemiological Data Manipulation.	SAC	1993	DBLP DOI BibTeX RDF	epidemiological data manipulation, human-machine interface, statistical database, object oriented approach
20	Bruce N. Lundberg, Aubrey B. Poore	Variable Order Adams-Bashforth Predictors with an Error-Stepsize Control for Continuation Methods.	SIAM J. Sci. Comput.	1991	DBLP DOI BibTeX RDF
20	Fernando Ferri, Patrizia Grifoni, Leonardo Meo-Evoli, Fabrizio L. Ricci	ADAMS: an Aggregate Data Management System with Multip Interaction Techniques.	DEXA	1991	DBLP BibTeX RDF
20	Fernando Ferri, Patrizia Grifoni, Leonardo Meo-Evoli, Fabrizio L. Ricci	ADAMS: Data-base management as a decision support system for epidemiologists.	MIE	1991	DBLP DOI BibTeX RDF
20	Blaise Cronin	Communication and delivery systems for Librarians: R Adams.	Comput. Commun.	1990	DBLP DOI BibTeX RDF
20	Sang H. Son 0001, John L. Pfaltz	Reliability mechanisms for ADAMS.	C³P	1988	DBLP DOI BibTeX RDF
20	John L. Pfaltz, Sang H. Son 0001, James C. French	ADAMS interface language.	C³P	1988	DBLP DOI BibTeX RDF
20	Rosa Michaelson	Learning logo on the Apple II: A McDougall, T Adams and P AdamsPrentice-Hall, Englewood Clifs, NJ, USA (May 1983) £11.65.	Microprocess. Microsystems	1984	DBLP DOI BibTeX RDF
20	Ifor Morris, Christopher D. Wensley	Adams operations and lambda-operations in beta-rings.	Discret. Math.	1984	DBLP DOI BibTeX RDF
20	P. M. Hanson, Wayne H. Enright	Controlling the defect in existing variable-order Adams codes for initial-value problems.	ACM Trans. Math. Softw.	1983	DBLP DOI BibTeX RDF
20	Hans J. Stetter	Global Error Estimation in Adams PC-Codes.	ACM Trans. Math. Softw.	1979	DBLP DOI BibTeX RDF
20	Jonathan Stanfield	Management of information technology case studies. Elizabeth B. Adams, New York, NY, Petrocelli/Charter (1975).	J. Am. Soc. Inf. Sci.	1975	DBLP DOI BibTeX RDF
14	Xiaolin Wang 0001, Jiarui Zang, Zhenlin Wang, Yingwei Luo, Xiaoming Li 0001	Selective hardware/software memory virtualization.	VEE	2011	DBLP DOI BibTeX RDF
14	John R. Lange, Kevin T. Pedretti, Peter A. Dinda, Patrick G. Bridges, Chang Bae, Philip Soltero, Alexander Merritt	Minimal-overhead virtualization of a large scale supercomputer.	VEE	2011	DBLP DOI BibTeX RDF
14	Andreas Haeberlen	A case for the accountable cloud.	ACM SIGOPS Oper. Syst. Rev.	2010	DBLP DOI BibTeX RDF
14	Shlomi Dolev, Reuven Yagel	Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of byzantine guests.	ACM SIGOPS Oper. Syst. Rev.	2010	DBLP DOI BibTeX RDF
14	Martin Grund, Jan Schaffner, Jens Krüger 0003, Jan Brunnert, Alexander Zeier	The effects of virtualization on main memory systems.	DaMoN	2010	DBLP DOI BibTeX RDF
14	Lei Xia, Jack Lange, Peter A. Dinda, Chang Bae	Investigating virtual passthrough I/O on commodity devices.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
14	Micah Dowty, Jeremy Sugerman	GPU virtualization on VMware's hosted I/O architecture.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
14	Viswanath Nagarajan, Maxim Sviridenko	On the maximum quadratic assignment problem.	SODA	2009	DBLP DOI BibTeX RDF
14	Toniann Pitassi, Nathan Segerlind	Exponential lower bounds and integrality gaps for tree-like Lovász-Schrijver procedures.	SODA	2009	DBLP DOI BibTeX RDF
14	Samer Alfayad, Fathi Ben Ouezdou, Faycal Namoun, Olivier Bruneau, Patrick Henaff	Three DOF hybrid mechanism for humanoid robotic application: Modeling, design and realization.	IROS	2009	DBLP DOI BibTeX RDF
14	Samer Alfayad, Fathi Ben Ouezdou, Faycal Namoun	New three DOF ankle mechanism for humanoid robotic application: Modeling, design and realization.	IROS	2009	DBLP DOI BibTeX RDF
14	Luciano Floridi	Philosophical Conceptions of Information.	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
14	Sébastien Briot, Vigen Arakelian	On the dynamic properties and optimum control of parallel manipulators in the presence of singularity.	ICRA	2008	DBLP DOI BibTeX RDF
14	Pinhas Ben-Tzvi, Andrew A. Goldenberg, Jean W. Zu	Design, simulations and optimization of a tracked mobile robot manipulator with hybrid locomotion and manipulation capabilities.	ICRA	2008	DBLP DOI BibTeX RDF
14	Steven C. Peters, Karl Iagnemma	Mobile robot path tracking of aggressive maneuvers on sloped terrain.	IROS	2008	DBLP DOI BibTeX RDF
14	Bachar Almasri, Fathi Ben Ouezdou	Human-like motion based on a geometrical inverse kinematics and energetic optimization.	IROS	2008	DBLP DOI BibTeX RDF
14	Michele Faragalli, Inna Sharf, Michael Trentini	Velocity control of a hybrid quadruped bounding robot.	IROS	2008	DBLP DOI BibTeX RDF
14	Adel Akbarimajd, Majid Nili Ahmadabadi	Is there any analogy between foot stability and dynamic grasp?	IROS	2008	DBLP DOI BibTeX RDF
14	Zhonghua Liu, E. Zhang, Zhihong Ji	Simulation and Experimental Study of Human Riding Comfort in Dynamic Man-Automobile System.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	man-automobile system, riding comfort, simulation, experiment, dynamic environment
14	Qunming Li, Dan Gao, Hua Deng	Influence of Contact Forces on Stable Gripping for Large-Scale Heavy Manipulator.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	Large-scale heavy manipulator, gripper, contact force, stabile gripping
14	Jingfei He, Yan Chen, Hua Deng, Rongguang Nie	Dynamic Modeling of Large Scale Heavy Duty Grippers Based on the Response Dead Zone of Counteracting Force.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	Response Dead Zone of Counteracting Force, Gripper, Modeling, Dynamic
14	Chuanyin Tang, Lijie Yue, Lixin Guo, Shuwen Zhou, Wei Zhou, Zhaowen Wang	Fuzzy Logic Control for Vehicle Suspension Systems.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	suspension system, simulation, animation, fuzzy control, Matlab/simulink
14	Jingjin Shen, Chenggang Li, Hongtao Wu	A Research on Dynamics of a Hexapod with Closed-Loop Legs.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	hexapod, AB algorithm, Newton-Euler MBDA, dynamic analysis, closed-loop
14	Pei Shi, Yi Zhang, Xiuxia Yang	Lower Extremity Exoskeleton Control and Stability Analysis Based on Virtual Prototyping Technique.	CSSE (1)	2008	DBLP DOI BibTeX RDF
14	Dan Xia, Weishan Chen, Junkao Liu, Luhui Han	Simulation Study on the Body Side-Sway Characteristic for Rigid Robot Fish.	RAM	2008	DBLP DOI BibTeX RDF
14	Chun Kyu Woo, Hyun Do Choi, Sukjune Yoon, Soo-Hyun Kim, Yoon Keun Kwak	Optimal Design of a New Wheeled Mobile Robot Based on a Kinetic Analysis of the Stair Climbing States.	J. Intell. Robotic Syst.	2007	DBLP DOI BibTeX RDF	Kinetic analysis, Linkage-type locomotive mechanism, Stair climbing, Wheeled mobile robot (WMR), Adaptability, Passivity
14	Meinolf Sellmann, Luc Mercier, Daniel H. Leventhal	The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width.	CPAIOR	2007	DBLP DOI BibTeX RDF	integer programming, constraint programming, cutting planes, polyhedral combinatorics
14	Nicolas Bouton, Roland Lenain, Benoît Thuilot, Jean-Christophe Fauroux	A rollover indicator based on the prediction of the load transfer in presence of sliding: application to an All Terrain Vehicle.	ICRA	2007	DBLP DOI BibTeX RDF
14	Wenceslas Fernandez de la Vega, Claire Kenyon-Mathieu	Linear programming relaxations of maxcut.	SODA	2007	DBLP BibTeX RDF