Results 131 to 140 of about 44,777 (299)
FATCOP 2.0: Advanced Features in an Opportunistic Mixed Integer Programming Solver
We describe FATCOP 2.0, a new parallel mixed integer program solver that works in an opportunistic computing environment provided by the Condor resource management system.
Linderoth, Jeff +2 more
core
Quantitative phase maps of single cells recorded in flow cytometry modality feed a hierarchical architecture of machine learning models for the label‐free identification of subtypes of ovarian cancer. The employment of a priori clinical information improves the classification performance, thus emulating the clinical application of liquid biopsy during ...
Daniele Pirone +11 more
wiley +1 more source
Surrogate "Level-Based" Lagrangian Relaxation for mixed-integer linear programming. [PDF]
Bragin MA, Tucker EL.
europepmc +1 more source
The use of image quality metrics in combination with machine learning enables automatic image quality assessment for fluorescence microscopy images. The method can be integrated into the experimental pipeline for optical microscopy and utilized to classify artifacts in experimental images and to build quality rankings with a reference‐free approach ...
Elena Corbetta, Thomas Bocklitz
wiley +1 more source
Hardware acceleration of number theoretic transform for zk‐SNARK
An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao +6 more
wiley +1 more source
Author Correction: Surrogate "Level-Based" Lagrangian Relaxation for mixed-integer linear programming. [PDF]
Bragin MA, Tucker EL.
europepmc +1 more source
Application of mixed integer programming to a large scale logistics problem
Integer Programming;Logistics ...
Westerhof, A.J. +2 more
core
Computer assisted mathematical programming
A Computer Assisted Mathematical Programming (Modelling) System (CAMPS) is described in this paper. The system uses program generator techniques for model creation and contrasts with earlier approaches which use a special purpose language to construct ...
Mitra, G, Lucas, CA
core
This article introduces a computer vision‐assisted control strategy for light‐driven liquid crystal elastomer actuators. Through negative feedback regulation, the liquid crystal elastomer actuator exhibits accurate and stable bending deformation in complex environments.
Wei Zhang +6 more
wiley +1 more source
Efficient Minimum Flow Decomposition via Integer Linear Programming. [PDF]
Dias FHC +3 more
europepmc +1 more source

