Results 161 to 170 of about 34,155 (194)

The 12th IJCAR Automated Theorem Proving System Competition—CASC-J12

The European Journal on Artificial Intelligence
The 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.
Geoff Sutcliffe
openaire   +2 more sources

Japanese encephalitis subunit vaccine composed of virus-like envelope antigen particles purified from serum-free medium of a high-producer J12#26 cell clone

Vaccine, 2004
A stable cell clone, J12#26, which continuously secretes large amounts of the envelope (E) antigen of Japanese encephalitis (JE) virus (J. Virol. 77 (2003) 8745) was adapted to serum-free medium. The J12#26 antigen possessed hemagglutinating activity, as well as the viral E and M proteins.
Eiji, Mutoh, Toyokazu, Ishikawa, Akihisa, Takamizawa, Takeshi, Kurata, Tetsutaro, Sata, Asato, Kojima   +5 more
openaire   +3 more sources

J12 The perspective program: evaluating the effect of SAGE-718 on cognitive function in patients with Huntington’s disease

J: Clinical therapeutics, 2022
Aaron Koenig, Julie Stout, Jason Johannesen, Jennifer Petrillo, Sigui Li, Pranoti Pradhan, Emily Lefler, Katrina Paumier, Jeffrey Wald, Mike Quirk, James Doherty   +10 more
openaire   +2 more sources

J12 Stiffness ellipse of muscular activity levels at the heel contact

The Proceedings of Conference of Kyushu Branch, 2011
Jyun MATSUI, Masanobu MANNO, Toshihide MURAOKA, Tomohiko FUJIKAWA, Tomokazu ABE   +4 more
openaire   +2 more sources

2A1-J12 On-chip Micro-droplet Dispenser with Disposable Structure

The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec), 2009
Takehito MIZUNUMA, Shinya SAKUMA, Yoko YAMANISHI, Hisataka MARUYAMA, Fumihito ARAI   +4 more
openaire   +2 more sources

J12 The Importance Of Nutritional Care For Hd Patient In Long Stay Care

Journal of Neurology, Neurosurgery & Psychiatry, 2014
F. Veldkamp, W. Achterberg
openaire   +2 more sources

2A2-J12 Perception of Force based on Muscle Activities of Fixed Finger

The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec), 2009
Katsunari SATO, Naoki KAWAKAMI, Susumu Tachi   +2 more
openaire   +2 more sources

2P1-J12 Evaluation of an Infrared Guidance System of Mobility Support System(MSS)(Integrating Ambient Intelligence)

The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec), 2011
Masaki SHIRATA, Shuro NAKAJIMA
openaire   +2 more sources

2P2-J12 New key poses input system for the Choreonoid(Humanoid)

The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec), 2011
Kenta YONEKURA, Shin'ichiro NAKAOKA, Kazuhito YOKOI   +2 more
openaire   +2 more sources

2A2-J12 Development of dynamic operation permission system used quantitative influence inference(Mechanism and Control for Actuator)

The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec), 2011
Ryo Sasaki, Akio Gofuku, Tetsushi Kamegawa, Yosuke Wada   +3 more
openaire   +2 more sources