Automation - PDFSEARCH.IO - Document Search Engine

Automation
Results: 23545

#	Item
1	IEEE ROBOTICS AND AUTOMATION LETTERS. PREPRINT VERSION. ACCEPTED DECEMBER, Accurate Angular Velocity Estimation With an Event Camera Add to Reading List Source URL: rpg.ifi.uzh.ch Language: English - Date: 2017-02-17 06:29:00 Mechanics Physics Mechanical engineering Rotation Physical quantities Angle Angular frequency Rotation around a fixed axis Rigid body dynamics Cosmic distance ladder Omega
2	IEEE ROBOTICS AND AUTOMATION LETTERS. PREPRINT VERSION. ACCEPTED DECEMBER, Ultimate SLAM? Combining Events, Images, and IMU for Robust Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-01-22 21:35:52 Physics Mechanics Theory of relativity Classical mechanics Aircraft instruments Technology Surveying Frames of reference Visual odometry Inertial frame of reference Spacetime Inertial navigation system
3	Sales Automation CRM CMS Robot  RFP Template INVESTGLASS.COM Add to Reading List Source URL: www.investglass.com Language: English - Date: 2018-03-11 17:28:25 Customer-relationship management E-commerce Services marketing Marketing Backup Economy Business
4	Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette1,2,3 , Pascal Fontaine3 , Stephan Schulz4 , and Uwe Waldmann2 1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:52 Theoretical computer science Software engineering Mathematical software Formal methods Proof assistants Logic in computer science Automated theorem proving Isabelle Automated reasoning E theorem prover Formal verification KeY
5	Decentralized Application Development Automation Whitepaper Table of Contents Introduction Summary Add to Reading List Source URL: files.buddy.works Language: English - Date: 2018-10-10 09:36:04 Software development Computing Software Software development process Build automation Continuous integration Agile software development DevOps Information technology management Buddy Blockchain BuildMaster
6	NBITS (N Benchmark IT Solutions Pvt. Ltd.) RPA - Automation Anywhere Course Content Ph No: , #101, B-Block, Balaji Towers, Beside Prime Hospital, Near Mytrivanam, Ameerpet, Hyderabad Add to Reading List Source URL: www.nbits.in Language: English - Date: 2018-03-06 07:15:42 Computing System software Computer architecture Scripting languages Command shells Windows Task Scheduler Environment variable File Transfer Protocol COMMAND.COM IBM i Control Language At Video game bot
7	A Separation Logic with Data: Small Models and Automation? Jens Katelaan1 , Dejan Jovanovi´c2 , and Georg Weissenbacher1 1 TU Wien, Vienna, Austria Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Mathematical logic Logic Predicate logic Mathematics Model theory Semantics Philosophical logic First-order logic FO Quantifier Constructible universe Interpretation
8	Towards Fast Interactive Verification through Strong Higher-Order Automation Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:30 Metalogic Model theory Isabelle Admissible rule Measure theory Logic Mathematical logic Mathematics
9	Sensible Robotics for Industrial Automation Barriers To Overcome Before Adoption Table of Content Robotics for Industrial Add to Reading List Source URL: www.systemantics.com Language: English - Date: 2017-12-22 07:54:40 Industrial robot Robot Robotics Cloud robotics Robot software