Results 161 to 170 of about 33,328 (206)
Some of the next articles are maybe not open access.
The 12th IJCAR Automated Theorem Proving System Competition—CASC-J12
The European Journal on Artificial IntelligenceThe CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic, automated theorem proving (ATP) systems—the world championship for such systems. CASC-J12 was the 29th competition in the CASC series. Nineteen ATP systems competed in the various divisions.
openaire +1 more source
MPEC 2025-J12 : DAILY ORBIT UPDATE (2025 May 2)
The Minor Planet Electronic Circulars contain information on unusual minor planets, routine data on comets and natural satellites, and occasional editorial announcements. They are published on behalf of Division F of the International Astronomical Union by the Minor Planet Center, Smithsonian Astrophysical Observatory, Cambridge, MA 02138, U.S.A.openaire +1 more source
J12 Surface Effect of Nanostructures on the Microchannel Heat Transfer
The Proceedings of Conference of Kyushu Branch, 2007Seishi SHIBUYA +2 more
openaire +1 more source
J12 Propagation of Turbulent Hydrogen-Air Flame at Elevated Pressures
The Proceedings of Conference of Kyushu Branch, 2008Takashi NAKAHARA +3 more
openaire +1 more source
2A1-J12 On-chip Micro-droplet Dispenser with Disposable Structure
The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec), 2009Takehito MIZUNUMA +4 more
openaire +1 more source
2P1-J12 Evaluation of Tactile Sensing through Language for Vibration Stimulation
The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec), 2009Hirohisa ONEDA +3 more
openaire +1 more source
2P2-J12 New key poses input system for the Choreonoid(Humanoid)
The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec), 2011Kenta YONEKURA +2 more
openaire +1 more source