Results 21 to 30 of about 2,777,990 (323)
Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions
International Joint Conference on Artificial Intelligence, 2020 Modern subgraph isomorphism solvers carry out sophisticated reasoning using graph invariants such as degree sequences and path counts. We show that all of this reasoning can be justified compactly using the cutting planes proofs studied in complexity ...
Stephan Gocht +2 more
semanticscholar +1 more source
Effects of anisotropy on single-crystal SiO in nano-metric cutting
Advances in Mechanical Engineering, 2020 The nano-metric cutting process of single-crystal SiO 2 was studied using molecular dynamics simulation, where the effects of anisotropy on material removal and surface integrity were analyzed.
Jiaxuan Chen +11 more
doaj +1 more source
, 1980 We give a geometrical description of Chvatal's version of Gomory's cutting plane method. Restricting ourselves to rational spaces, we prove that the derived geometrical objects are polyhedra again, and that the method also works for unbounded polyhedra.
Schrijver, A, Schrijver, A
openaire +3 more sources
Journal of Orthopaedic Surgery and Research, 2018 Background The aim of this in vitro study was to assess the accuracy of three-dimensional patient-specific cutting guides for open wedge high tibial osteotomy (OWHTO) to provide the planned correction in both frontal and sagittal planes.
Mathias Donnez +6 more
doaj +1 more source
IEEE Access, 2020 In this paper, a new method called the Virtual Cutting Method is proposed to evaluate the angularity index (AI) values of 3D point cloud coarse aggregate images with the aim of characterizing the angularity of aggregates on conveyor belts.
Hanye Liu +5 more
doaj +1 more source
Solving the team orienteering problem with cutting planes [PDF]
Computers & Operations Research, 2016 The Team Orienteering Problem (TOP) is an attractive variant of the Vehicle Routing Problem (VRP). The aim is to select customers and at the same time organize the visits for a vehicle fleet so as to maximize the collected profits and subject to a travel
Racha El-Hajj +2 more
semanticscholar +1 more source
Simulation of the deflected cutting tool trajectory in complex surface milling [PDF]
, 2011 Since industry is rapidly developing, either locally or globally, manufacturers witness harder challenges due to the growing competitivity. This urges them to better consider the four factors linked to production and output: quality, quantity, cost and
Baili, Maher +9 more
core +1 more source
Analysis of Sparse Cutting Planes for Sparse MILPs with Applications to Stochastic MILPs [PDF]
Mathematics of Operations Research, 2016 In this paper, we present an analysis of the strength of sparse cutting-planes for mixed integer linear programs (MILP) with sparse formulations. We examine three kinds of problems: packing problems, covering problems, and more general MILPs with the ...
S. Dey, M. Molinaro, Qian-Yi Wang
semanticscholar +1 more source
Improvement of Cutting Forces Modeling Based on Oriented Cutting Tests [PDF]
, 2013 In order to predict the characteristics of the machined part, such as geometry, surface roughness and fatigue or corrosion resistance, the cutting forces values should be known as precisely as possible.
Gérard Poulachon +10 more
core +1 more source
Materials & Design, 2021 Micromachining repair of surface defects on KH2PO4 (KDP) optics is an emerging technique in the construction of Inertial Confinement Fusion facilities for obtaining clean nuclear fusion energy.
Qi Liu +4 more
doaj +1 more source