Results 91 to 100 of about 44,777 (299)
Impedance‐Matched High‐Overtone Thickness‐Shear Bulk Acoustic Resonators With Scalable Mode Volume
A bottom‐electrode‐free high‐overtone bulk acoustic resonator is achieved by lateral excitation of antisymmetric thickness‐shear modes on a lithium‐niobate‐on‐silicon platform. Planar electrode geometry eliminates conventional loading along the resonance path and confines acoustic energy within the electrode gap.
Zi‐Dong Zhang +7 more
wiley +1 more source
A systematic procedure for transforming a set of logical statements or logical conditions imposed on a model into an Integer Linear Progamming (ILP) formulation Mixed Integer Programming (MIP) formulation is presented. An ILP stated as a system of linear
Hadjiconstantinou, E
core
Reformulating mixed-integer quadratically constrained quadratic programs [PDF]
It is well known that semidefinite programming (SDP) can be used to derive useful relaxations for a variety of optimisation problems. Moreover, in the particular case of mixed-integer quadratic programs, SDP has been used to reformulate problems, rather ...
Galli, L, Letchford, A. N.
core
STAID is a unified deep learning framework that couples iterative pseudo‐spot refinement with neural network training through a feedback loop and exploits gene co‐expression information to model higher‐order interactions, achieving accurate and robust cell‐type deconvolution in spatial transcriptomics.
Jixin Liu +5 more
wiley +1 more source
Linear and Integer Linear Programming
Abstract This first chapter recalls the main notions of linear programming, that is, the primal and dual formulations as well as necessary and sufficient optimality conditions. We also describe the primal simplex algorithm and discuss some aspects of integer linear programs.
Jacques Desrosiers +3 more
openaire +1 more source
Generating Texts with Integer Linear Programming
Concept-to-text generation typically employs a pipeline architecture, which often leads to suboptimal texts. Content selection, for example, may greedily select the most important facts, which may require, however, too many words to express, and this may be undesirable when space is limited or expensive.
Gerasimos Lampouras, Ion Androutsopoulos
openaire +2 more sources
To overcome two‐dimensional modulation bottlenecks, Hadamard Matrix Slicing Single‐Pixel Imaging (HMS‐SPI) establishes an efficient one‐dimensional imaging paradigm. By slicing the traditional Hadamard matrix into one‐dimensional encoding vectors and spatially expanding them, the required measurement patterns decrease by a factor of N.
Xiaoxue Li +8 more
wiley +1 more source
Locally Ideal Formulations for Piecewise Linear Functions with Indicator Variables
In this paper, we consider mixed integer linear programming (MIP) formulations for piecewise linear functions (PLFs) that are evaluated when an indicator variable is turned on.
Linderoth, Jeff +6 more
core
Imaging Electric Polarization Switching in Multilayer Graphene
Domain wall sliding‐induced electric polarization switching is directly observed for the first time in multilayer graphene, enabled by a novel optical readout method. The polarization switching is realized upon application of global and local electric fields, and mechanical forces between neighboring polar domains of opposite out‐of‐plane polarizations
Zhou Zhou +10 more
wiley +1 more source
FATCOP: A Fault Tolerant Condor-PVM Mixed Integer Programming Solver
We describe FATCOP, a new parallel mixed integer program solver written in PVM. The implementation uses the Condor resource management system to provide a virtual machine composed of otherwise idle computers.
Chen, Qun, Ferris, Michael
core

