1. HACKSTEINER M., DUER F., AYATOLLAHI I., BLEICHER 2017, Automatic Assessment of Machine Tool Energy Efficiency and Productivity, Procedia CIRP, 62, 317–22. Google Scholar

This paper presents an algorithm for inducing recursive rst order Horn clause programs from examples without background knowledge. This algorithm invents new predicates and their de nitions exhaustively until the instances of a new predicate become the same as examples except for the name of the predicate. Our system CIRP switches into constructive induction mode using a new heuristic taking ad...

1. LAUWERS B., KLOCKE F., KLINK A., TEKKAYA A.E., NEUGEBAUER R., MCINTOSH D., 2014, Hybrid Processes in Manufacturing, CIRP Annals – Manufacturing Technology, 63, 561–583. Google Scholar

256 Ann Dermatol Received March 7, 2013, Revised April 1, 2013, Accepted for publication April 15, 2013 Corresponding author: Seong Jin Kim, Department of Dermatology, Chonnam National University Medical School, 160 Baekseo-ro, Donggu, Gwangju 501-746, Korea. Tel: 82-62-220-6683, Fax: 82-62-2224058, E-mail: [email protected] This is an Open Access article distributed under the terms of the Cre...

CIRP may be a New Potential Target in Prostate Cancer Minxiao Chen1 and Peng Zhong2* 1Department of Pharmacology, Jinhua Zhongxin Hospital, Jinhua, Zhejiang Province, PR China 2Department of Medicine, Johns Hopkins School of Medicine, Baltimore, Maryland, USA *Address for Correspondence: Peng Zhong, Department of Cardiology Research Institute, Renmin Hospital of Wuhan University, 238 Jiefang Ro...

Background Acute ischemic stroke (AIS) is the leading cause of morbidity and mortality among cerebrovascular diseases. While animal studies have suggested a correlation between cold-inducible RNA-binding protein (CIRP) serum levels severity prognosis cerebral infarction, there has been lack research exploring this association in humans with infarction. Materials methods A total 148 patients dia...

The single-vehicle cyclic inventory routing problem (SV-CIRP) is concerned with a repeated distribution of a product from a single depot to a selected subset of retailers having stable demands. The objective is to determine the subset of retailers to cyclically replenish, the quantities to be delivered to each, and to design the vehicle routes so that the expected total distribution and invento...