Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "ve formulation"
download as .bib file
@article{DBLP:journals/cma/DassiMRV24,
author = {Franco Dassi and
David Mora and
Carlos Reales and
Iv{\'{a}}n Vel{\'{a}}squez},
title = {Mixed variational formulations of virtual elements for the polyharmonic
operator (-{\(\Delta\)})},
journal = {Comput. Math. Appl.},
volume = {158},
pages = {150--166},
year = {2024},
url = {https://doi.org/10.1016/j.camwa.2024.01.013},
doi = {10.1016/J.CAMWA.2024.01.013},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cma/DassiMRV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/00010LMV24,
author = {Yang Cai and
Zhe Feng and
Christopher Liaw and
Aranyak Mehta and
Grigoris Velegkas},
editor = {Tat{-}Seng Chua and
Chong{-}Wah Ngo and
Ravi Kumar and
Hady W. Lauw and
Roy Ka{-}Wei Lee},
title = {User Response in Ad Auctions: An {MDP} Formulation of Long-term Revenue
Optimization},
booktitle = {Proceedings of the {ACM} on Web Conference 2024, {WWW} 2024, Singapore,
May 13-17, 2024},
pages = {111--122},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3589334.3645495},
doi = {10.1145/3589334.3645495},
timestamp = {Fri, 17 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/00010LMV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-04578,
author = {Edgar Mauricio Salazar Duque and
Juan S. Giraldo and
Pedro P. Vergara and
Phuong H. Nguyen and
Han Slootweg},
title = {Tensor Power Flow Formulations for Multidimensional Analyses in Distribution
Systems},
journal = {CoRR},
volume = {abs/2403.04578},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.04578},
doi = {10.48550/ARXIV.2403.04578},
eprinttype = {arXiv},
eprint = {2403.04578},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-04578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-11731,
author = {Thomas Vecchiato and
Claudio Lucchese and
Franco Maria Nardini and
Sebastian Bruch},
title = {A Learning-to-Rank Formulation of Clustering-Based Approximate Nearest
Neighbor Search},
journal = {CoRR},
volume = {abs/2404.11731},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.11731},
doi = {10.48550/ARXIV.2404.11731},
eprinttype = {arXiv},
eprint = {2404.11731},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-11731.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/axioms/GamaGSM23,
author = {Rog{\'{e}}rio Martins Saldanha da Gama and
Rog{\'{e}}rio Pazetto Saldanha da Gama and
Vinicius Vendas Sarmento and
Maria Laura Martins{-}Costa},
title = {A Variational Formulation for Fins with Nonzero Contact Thermal Resistance
at the Base},
journal = {Axioms},
volume = {12},
number = {1},
pages = {54},
year = {2023},
url = {https://doi.org/10.3390/axioms12010054},
doi = {10.3390/AXIOMS12010054},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/axioms/GamaGSM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/AlbellaRV23,
author = {Jorge Albella and
Rodolfo Rodr{\'{\i}}guez and
Pablo Venegas},
title = {Numerical approximation of a potentials formulation for the elasticity
vibration problem},
journal = {Comput. Math. Appl.},
volume = {137},
pages = {61--72},
year = {2023},
url = {https://doi.org/10.1016/j.camwa.2023.02.005},
doi = {10.1016/J.CAMWA.2023.02.005},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cma/AlbellaRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/AnayaCRT23,
author = {Ver{\'{o}}nica Anaya and
Ruben Caraballo and
Ricardo Ruiz{-}Baier and
H{\'{e}}ctor Torres},
title = {On augmented finite element formulations for the Navier-Stokes equations
with vorticity and variable viscosity},
journal = {Comput. Math. Appl.},
volume = {143},
pages = {397--416},
year = {2023},
url = {https://doi.org/10.1016/j.camwa.2023.05.015},
doi = {10.1016/J.CAMWA.2023.05.015},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cma/AnayaCRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcam/LepeRV23,
author = {Felipe Lepe and
Gonzalo Rivera and
Jesus Vellojin},
title = {Error estimates for a vorticity-based velocity-stress formulation
of the Stokes eigenvalue problem},
journal = {J. Comput. Appl. Math.},
volume = {420},
pages = {114798},
year = {2023},
url = {https://doi.org/10.1016/j.cam.2022.114798},
doi = {10.1016/J.CAM.2022.114798},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcam/LepeRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcphy/ReddyWAG23,
author = {Sohail R. Reddy and
Maciej Waruszewski and
Felipe A. V. de Braganca Alves and
Francis X. Giraldo},
title = {Schur complement IMplicit-EXplicit formulations for discontinuous
Galerkin non-hydrostatic atmospheric models},
journal = {J. Comput. Phys.},
volume = {491},
pages = {112361},
year = {2023},
url = {https://doi.org/10.1016/j.jcp.2023.112361},
doi = {10.1016/J.JCP.2023.112361},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcphy/ReddyWAG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/XuMW23,
author = {Tianle Xu and
Venkatesh Merwade and
Zhiquan Wang},
title = {Interpolating Hydrologic Data Using Laplace Formulation},
journal = {Remote. Sens.},
volume = {15},
number = {15},
pages = {3844},
year = {2023},
url = {https://doi.org/10.3390/rs15153844},
doi = {10.3390/RS15153844},
timestamp = {Sun, 14 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/XuMW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamnum/GomezVargasMRV23,
author = {Bryan Gomez{-}Vargas and
Kent{-}Andr{\'{e}} Mardal and
Ricardo Ruiz{-}Baier and
Vegard Vinje},
title = {Twofold Saddle-Point Formulation of Biot Poroelasticity with Stress-Dependent
Diffusion},
journal = {{SIAM} J. Numer. Anal.},
volume = {61},
number = {3},
pages = {1449--1481},
year = {2023},
url = {https://doi.org/10.1137/21m1449695},
doi = {10.1137/21M1449695},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamnum/GomezVargasMRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/StewartBBV23,
author = {Lawrence Stewart and
Francis R. Bach and
Quentin Berthet and
Jean{-}Philippe Vert},
editor = {Francisco J. R. Ruiz and
Jennifer G. Dy and
Jan{-}Willem van de Meent},
title = {Regression as Classification: Influence of Task Formulation on Neural
Network Features},
booktitle = {International Conference on Artificial Intelligence and Statistics,
25-27 April 2023, Palau de Congressos, Valencia, Spain},
series = {Proceedings of Machine Learning Research},
volume = {206},
pages = {11563--11582},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v206/stewart23a.html},
timestamp = {Mon, 19 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aistats/StewartBBV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/BestaRGLZCGSSCI23,
author = {Maciej Besta and
Pawel Renc and
Robert Gerstenberger and
Paolo Sylos Labini and
Alexandros Nikolaos Ziogas and
Tiancheng Chen and
Lukas Gianinazzi and
Florian Scheidl and
Kalman Szenes and
Armon Carigiet and
Patrick Iff and
Grzegorz Kwasniewski and
Raghavendra Kanakagiri and
Chio Ge and
Sammy Jaeger and
Jaroslaw Was and
Flavio Vella and
Torsten Hoefler},
editor = {Dorian Arnold and
Rosa M. Badia and
Kathryn M. Mohror},
title = {High-Performance and Programmable Attentional Graph Neural Networks
with Global Tensor Formulations},
booktitle = {Proceedings of the International Conference for High Performance Computing,
Networking, Storage and Analysis, {SC} 2023, Denver, CO, USA, November
12-17, 2023},
pages = {66:1--66:16},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3581784.3607067},
doi = {10.1145/3581784.3607067},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/BestaRGLZCGSSCI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-00730,
author = {Sanath Kumar Vengaldas and
Adarsh Reddy Muthyala and
Bharath Chaitanya Konkati and
P. Venkata Subba Reddy},
title = {Integer Linear Programming Formulations for Triple and Quadruple Roman
Domination Problems},
journal = {CoRR},
volume = {abs/2305.00730},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.00730},
doi = {10.48550/ARXIV.2305.00730},
eprinttype = {arXiv},
eprint = {2305.00730},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-00730.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-13169,
author = {Felipe Lepe and
Jesus Vellojin},
title = {A posteriori analysis for a mixed formulation of the Stokes spectral
problem},
journal = {CoRR},
volume = {abs/2310.13169},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.13169},
doi = {10.48550/ARXIV.2310.13169},
eprinttype = {arXiv},
eprint = {2310.13169},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-13169.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-15870,
author = {Carlos A. Pereira and
Brian C. Vermeire},
title = {Hybridized Formulations of Flux Reconstruction Schemes for Advection-Diffusion
Problems},
journal = {CoRR},
volume = {abs/2310.15870},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.15870},
doi = {10.48550/ARXIV.2310.15870},
eprinttype = {arXiv},
eprint = {2310.15870},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-15870.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/CawleyMPT22,
author = {Alejandro Mac Cawley and
Sergio Maturana and
Rodrigo Pascual and
Guilherme Luz Tortorella},
title = {Scheduling wine bottling operations with multiple lines and sequence-dependent
set-up times: Robust formulation and a decomposition solution approach},
journal = {Eur. J. Oper. Res.},
volume = {303},
number = {2},
pages = {819--839},
year = {2022},
url = {https://doi.org/10.1016/j.ejor.2022.02.054},
doi = {10.1016/J.EJOR.2022.02.054},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eor/CawleyMPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmiv/StipeticL22,
author = {Vedran Stipetic and
Sven Loncaric},
title = {Variational Formulation of Dark Channel Prior for Single Image Dehazing},
journal = {J. Math. Imaging Vis.},
volume = {64},
number = {8},
pages = {845--854},
year = {2022},
url = {https://doi.org/10.1007/s10851-022-01096-w},
doi = {10.1007/S10851-022-01096-W},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmiv/StipeticL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnma/AnayaMPR22,
author = {Ver{\'{o}}nica Anaya and
David Mora and
Amiya Kumar Pani and
Ricardo Ruiz{-}Baier},
title = {Error analysis for a vorticity/Bernoulli pressure formulation for
the Oseen equations},
journal = {J. Num. Math.},
volume = {30},
number = {3},
pages = {209--230},
year = {2022},
url = {https://doi.org/10.1515/jnma-2021-0053},
doi = {10.1515/JNMA-2021-0053},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jnma/AnayaMPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joeuc/JonesV22,
author = {Coquessa Jones and
John R. Venable},
title = {Theory-Based Problem Formulation and Ideation in mHealth: Analysis
and Recommendations},
journal = {J. Organ. End User Comput.},
volume = {34},
number = {4},
pages = {1--21},
year = {2022},
url = {https://doi.org/10.4018/joeuc.289434},
doi = {10.4018/JOEUC.289434},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/joeuc/JonesV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/AnayaKMR22,
author = {Ver{\'{o}}nica Anaya and
Arbaz Khan and
David Mora and
Ricardo Ruiz{-}Baier},
title = {Robust {A} Posteriori Error Analysis for Rotation-Based Formulations
of the Elasticity/Poroelasticity Coupling},
journal = {{SIAM} J. Sci. Comput.},
volume = {44},
number = {4},
pages = {964},
year = {2022},
url = {https://doi.org/10.1137/21m1427516},
doi = {10.1137/21M1427516},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamsc/AnayaKMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/LepeRV22,
author = {Felipe Lepe and
Gonzalo Rivera and
Jesus Vellojin},
title = {Mixed Methods for the Velocity-Pressure-Pseudostress Formulation of
the Stokes Eigenvalue Problem},
journal = {{SIAM} J. Sci. Comput.},
volume = {44},
number = {3},
pages = {1358},
year = {2022},
url = {https://doi.org/10.1137/21m1402959},
doi = {10.1137/21M1402959},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamsc/LepeRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/ViswadevP22,
author = {Roopa Viswadev and
B. Venkatesa Perumal},
title = {A Precise Switching Frequency Formulation of Hysteresis-Controlled
Grid-Connected Inverters Considering Nonlinear Ripple Current},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {69},
number = {6},
pages = {5835--5843},
year = {2022},
url = {https://doi.org/10.1109/TIE.2021.3086732},
doi = {10.1109/TIE.2021.3086732},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tie/ViswadevP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/SinghJMV22,
author = {Abhishek Kumar Singh and
Kyle Jamieson and
Peter L. McMahon and
Davide Venturelli},
title = {Regularized Ising Formulation for Near-Optimal {MIMO} Detection using
Quantum Inspired Solvers},
booktitle = {{IEEE} Global Communications Conference, {GLOBECOM} 2022, Rio de Janeiro,
Brazil, December 4-8, 2022},
pages = {2517--2522},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/GLOBECOM48099.2022.10001657},
doi = {10.1109/GLOBECOM48099.2022.10001657},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/globecom/SinghJMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/SinghVJ22,
author = {Abhishek Kumar Singh and
Davide Venturelli and
Kyle Jamieson},
title = {Perturbation-based Formulation of Maximum Likelihood {MIMO} Detection
for Coherent Ising Machines},
booktitle = {{IEEE} Global Communications Conference, {GLOBECOM} 2022, Rio de Janeiro,
Brazil, December 4-8, 2022},
pages = {2523--2528},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/GLOBECOM48099.2022.10000840},
doi = {10.1109/GLOBECOM48099.2022.10000840},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/globecom/SinghVJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-00788,
author = {Felipe Lepe and
Gonzalo Rivera and
Jesus Vellojin},
title = {Error estimates for a vorticity-based velocity-stress formulation
of the Stokes eigenvalue problem},
journal = {CoRR},
volume = {abs/2203.00788},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.00788},
doi = {10.48550/ARXIV.2203.00788},
eprinttype = {arXiv},
eprint = {2203.00788},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-00788.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-05020,
author = {Abhishek Kumar Singh and
Davide Venturelli and
Kyle Jamieson},
title = {A Finite-Range Search Formulation of Maximum Likelihood {MIMO} Detection
for Coherent Ising Machines},
journal = {CoRR},
volume = {abs/2205.05020},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.05020},
doi = {10.48550/ARXIV.2205.05020},
eprinttype = {arXiv},
eprint = {2205.05020},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-05020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-12410,
author = {Oriol Colom{\'{e}}s and
Francesc Verdugo and
Ido Akkerman},
title = {A monolithic Finite Element formulation for the hydroelastic analysis
of Very Large Floating Structures},
journal = {CoRR},
volume = {abs/2206.12410},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.12410},
doi = {10.48550/ARXIV.2206.12410},
eprinttype = {arXiv},
eprint = {2206.12410},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-12410.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-05544,
author = {Daniele Venturi and
Xiantao Li},
title = {The Mori-Zwanzig formulation of deep learning},
journal = {CoRR},
volume = {abs/2209.05544},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.05544},
doi = {10.48550/ARXIV.2209.05544},
eprinttype = {arXiv},
eprint = {2209.05544},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-05544.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-00044,
author = {Mavina Nikandrou and
Lu Yu and
Alessandro Suglia and
Ioannis Konstas and
Verena Rieser},
title = {Task Formulation Matters When Learning Continually: {A} Case Study
in Visual Question Answering},
journal = {CoRR},
volume = {abs/2210.00044},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.00044},
doi = {10.48550/ARXIV.2210.00044},
eprinttype = {arXiv},
eprint = {2210.00044},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-00044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-05641,
author = {Lawrence Stewart and
Francis R. Bach and
Quentin Berthet and
Jean{-}Philippe Vert},
title = {Regression as Classification: Influence of Task Formulation on Neural
Network Features},
journal = {CoRR},
volume = {abs/2211.05641},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.05641},
doi = {10.48550/ARXIV.2211.05641},
eprinttype = {arXiv},
eprint = {2211.05641},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-05641.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-06247,
author = {Sohail R. Reddy and
Maciej Waruszewski and
Felipe A. V. de Braganca Alves and
Francis X. Giraldo},
title = {IMplicit-EXplicit Formulations for Discontinuous Galerkin Non-Hydrostatic
Atmospheric Models},
journal = {CoRR},
volume = {abs/2212.06247},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.06247},
doi = {10.48550/ARXIV.2212.06247},
eprinttype = {arXiv},
eprint = {2212.06247},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-06247.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adcm/BurgerKMRV21,
author = {Raimund B{\"{u}}rger and
Sarvesh Kumar and
David Mora and
Ricardo Ruiz{-}Baier and
Nitesh Verma},
title = {Virtual element methods for the three-field formulation of time-dependent
linear poroelasticity},
journal = {Adv. Comput. Math.},
volume = {47},
number = {1},
pages = {2},
year = {2021},
url = {https://doi.org/10.1007/s10444-020-09826-7},
doi = {10.1007/S10444-020-09826-7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adcm/BurgerKMRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cad/VerhelstMBMK21,
author = {Hugo M. Verhelst and
Matthias M{\"{o}}ller and
J. Henk Den Besten and
Angelos Mantzaflaris and
Mirek Kaminski},
title = {Stretch-Based Hyperelastic Material Formulations for Isogeometric
Kirchhoff-Love Shells with Application to Wrinkling},
journal = {Comput. Aided Des.},
volume = {139},
pages = {103075},
year = {2021},
url = {https://doi.org/10.1016/j.cad.2021.103075},
doi = {10.1016/J.CAD.2021.103075},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cad/VerhelstMBMK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/HernandezV21,
author = {Erwin Hern{\'{a}}ndez and
Jesus Vellojin},
title = {A locking-free finite element formulation for a non-uniform linear
viscoelastic Timoshenko beam},
journal = {Comput. Math. Appl.},
volume = {99},
pages = {305--322},
year = {2021},
url = {https://doi.org/10.1016/j.camwa.2021.08.014},
doi = {10.1016/J.CAMWA.2021.08.014},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cma/HernandezV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrtpm/SassoLMOV21,
author = {Veronica Dal Sasso and
Leonardo Lamorgese and
Carlo Mannino and
Andrea Onofri and
Paolo Ventura},
title = {The Tick Formulation for deadlock detection and avoidance in railways
traffic control},
journal = {J. Rail Transp. Plan. Manag.},
volume = {17},
pages = {100239},
year = {2021},
url = {https://doi.org/10.1016/j.jrtpm.2021.100239},
doi = {10.1016/J.JRTPM.2021.100239},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrtpm/SassoLMOV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/quantum/BaumannSSGCB21,
author = {Veronika Baumann and
Flavio Del Santo and
Alexander R. H. Smith and
Flaminia Giacomini and
Esteban Castro{-}Ruiz and
Caslav Brukner},
title = {Generalized probability rules from a timeless formulation of Wigner's
friend scenarios},
journal = {Quantum},
volume = {5},
pages = {524},
year = {2021},
url = {https://doi.org/10.22331/q-2021-08-16-524},
doi = {10.22331/Q-2021-08-16-524},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/quantum/BaumannSSGCB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/QueralesRV21,
author = {Jos{\'{e}} Querales and
Rodolfo Rodr{\'{\i}}guez and
Pablo Venegas},
title = {Numerical Approximation of the Displacement Formulation of the Axisymmetric
Acoustic Vibration Problem},
journal = {{SIAM} J. Sci. Comput.},
volume = {43},
number = {3},
pages = {A1583--A1606},
year = {2021},
url = {https://doi.org/10.1137/20M1346225},
doi = {10.1137/20M1346225},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamsc/QueralesRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/GarridoMDV21,
author = {Luis A. Garrido and
Prodromos{-}Vasileios Mekikis and
Anestis Dalgkitsis and
Christos V. Verikoukis},
title = {Context-Aware Traffic Prediction: Loss Function Formulation for Predicting
Traffic in 5G Networks},
booktitle = {{ICC} 2021 - {IEEE} International Conference on Communications, Montreal,
QC, Canada, June 14-23, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICC42927.2021.9500735},
doi = {10.1109/ICC42927.2021.9500735},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icc/GarridoMDV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/GuatibonzaSVP21a,
author = {Andr{\'{e}}s Guatibonza and
Leonardo Solaque and
Alexandra Velasco and
Lina Pe{\~{n}}uela},
editor = {Oleg Gusikhin and
Henk Nijmeijer and
Kurosh Madani},
title = {Hybrid Impedance and Nonlinear Adaptive Control for a 7-DoF Upper
Limb Rehabilitation Robot: Formulation and Stability Analysis},
booktitle = {Proceedings of the 18th International Conference on Informatics in
Control, Automation and Robotics, {ICINCO} 2021, Online Streaming,
July 6-8, 2021},
pages = {685--692},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010579206850692},
doi = {10.5220/0010579206850692},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icinco/GuatibonzaSVP21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lion/RiosCAV21,
author = {Brenner Humberto Ojeda Rios and
Junior Cupe Casquina and
Hossmell Hernan Velasco A{\~{n}}asco and
Alfredo Paz Valderrama},
editor = {Dimitris E. Simos and
Panos M. Pardalos and
Ilias S. Kotsireas},
title = {Corrected Formulations for the Traveling Car Renter Problem},
booktitle = {Learning and Intelligent Optimization - 15th International Conference,
{LION} 15, Athens, Greece, June 20-25, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12931},
pages = {351--363},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92121-7\_27},
doi = {10.1007/978-3-030-92121-7\_27},
timestamp = {Mon, 13 Dec 2021 16:43:05 +0100},
biburl = {https://dblp.org/rec/conf/lion/RiosCAV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-03417,
author = {Erwin Hern{\'{a}}ndez and
Felipe Lepe and
Jesus Vellojin},
title = {Analysis of an abstract mixed formulation for viscoelastic problems},
journal = {CoRR},
volume = {abs/2101.03417},
year = {2021},
url = {https://arxiv.org/abs/2101.03417},
eprinttype = {arXiv},
eprint = {2101.03417},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-03417.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-05254,
author = {Ver{\'{o}}nica Anaya and
Ruben Caraballo and
Bryan Gomez{-}Vargas and
David Mora and
Ricardo Ruiz{-}Baier},
title = {Velocity-vorticity-pressure formulation for the Oseen problem with
variable viscosity},
journal = {CoRR},
volume = {abs/2102.05254},
year = {2021},
url = {https://arxiv.org/abs/2102.05254},
eprinttype = {arXiv},
eprint = {2102.05254},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-05254.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-05816,
author = {Ver{\'{o}}nica Anaya and
David Mora and
Amiya Kumar Pani and
Ricardo Ruiz{-}Baier},
title = {Numerical analysis of a new formulation for the Oseen equations in
terms of vorticity and Bernoulli pressure},
journal = {CoRR},
volume = {abs/2102.05816},
year = {2021},
url = {https://arxiv.org/abs/2102.05816},
eprinttype = {arXiv},
eprint = {2102.05816},
timestamp = {Sun, 19 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-05816.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-03463,
author = {Felipe Lepe and
Gonzalo Rivera and
Jesus Vellojin},
title = {Mixed methods for the velocity-pressure-pseudostress formulation of
the Stokes eigenvalue problem},
journal = {CoRR},
volume = {abs/2103.03463},
year = {2021},
url = {https://arxiv.org/abs/2103.03463},
eprinttype = {arXiv},
eprint = {2103.03463},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-03463.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-09074,
author = {Ver{\'{o}}nica Anaya and
Arbaz Khan and
David Mora and
Ricardo Ruiz{-}Baier},
title = {Robust a posteriori error analysis for rotation-based formulations
of the elasticity/poroelasticity coupling},
journal = {CoRR},
volume = {abs/2106.09074},
year = {2021},
url = {https://arxiv.org/abs/2106.09074},
eprinttype = {arXiv},
eprint = {2106.09074},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-09074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-15006,
author = {Bryan Gomez{-}Vargas and
Kent{-}Andr{\'{e}} Mardal and
Ricardo Ruiz{-}Baier and
Vegard Vinje},
title = {Twofold saddle-point formulation of Biot poroelasticity with stress-dependent
diffusion},
journal = {CoRR},
volume = {abs/2109.15006},
year = {2021},
url = {https://arxiv.org/abs/2109.15006},
eprinttype = {arXiv},
eprint = {2109.15006},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-15006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-14273,
author = {Ver{\'{o}}nica Anaya and
Ruben Caraballo and
Ricardo Ruiz{-}Baier and
H{\'{e}}ctor Torres},
title = {Augmented finite element formulation for the Navier-Stokes equations
with vorticity and variable viscosity},
journal = {CoRR},
volume = {abs/2111.14273},
year = {2021},
url = {https://arxiv.org/abs/2111.14273},
eprinttype = {arXiv},
eprint = {2111.14273},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-14273.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcphy/GuillotLTVC20,
author = {Louis Guillot and
Arnaud Lazarus and
Olivier Thomas and
Christophe Vergez and
Bruno Cochelin},
title = {A purely frequency based Floquet-Hill formulation for the efficient
stability computation of periodic solutions of ordinary differential
systems},
journal = {J. Comput. Phys.},
volume = {416},
pages = {109477},
year = {2020},
url = {https://doi.org/10.1016/j.jcp.2020.109477},
doi = {10.1016/J.JCP.2020.109477},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcphy/GuillotLTVC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgo/ArtachoCE20,
author = {Francisco J. Arag{\'{o}}n Artacho and
Rub{\'{e}}n Campoy and
Veit Elser},
title = {An enhanced formulation for solving graph coloring problems with the
Douglas-Rachford algorithm},
journal = {J. Glob. Optim.},
volume = {77},
number = {2},
pages = {383--403},
year = {2020},
url = {https://doi.org/10.1007/s10898-019-00867-x},
doi = {10.1007/S10898-019-00867-X},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jgo/ArtachoCE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/AnayaWGMR20,
author = {Ver{\'{o}}nica Anaya and
Zoa de Wijn and
Bryan Gomez{-}Vargas and
David Mora and
Ricardo Ruiz{-}Baier},
title = {Rotation-Based Mixed Formulations for an Elasticity-Poroelasticity
Interface Problem},
journal = {{SIAM} J. Sci. Comput.},
volume = {42},
number = {1},
pages = {B225--B249},
year = {2020},
url = {https://doi.org/10.1137/19M1268343},
doi = {10.1137/19M1268343},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamsc/AnayaWGMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tetc/Rangel-PatinoVR20,
author = {Francisco E. Rangel{-}Patino and
Andres Viveros{-}Wacher and
Jos{\'{e}} Ernesto Rayas{-}S{\'{a}}nchez and
Ismael Duron{-}Rosales and
Edgar{-}Andrei Vega{-}Ochoa and
Nagib Hakim and
Enrique Lopez{-}Miralrio},
title = {A Holistic Formulation for System Margining and Jitter Tolerance Optimization
in Industrial Post-Silicon Validation},
journal = {{IEEE} Trans. Emerg. Top. Comput.},
volume = {8},
number = {2},
pages = {453--463},
year = {2020},
url = {https://doi.org/10.1109/TETC.2017.2757937},
doi = {10.1109/TETC.2017.2757937},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tetc/Rangel-PatinoVR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/desrist/JonesV20,
author = {Coquessa Jones and
John R. Venable},
editor = {Sara Hofmann and
Oliver M{\"{u}}ller and
Matti Rossi},
title = {Integrating {CCM4DSR} into {ADR} to Improve Problem Formulation},
booktitle = {Designing for Digital Transformation. Co-Creating Services with Citizens
and Industry - 15th International Conference on Design Science Research
in Information Systems and Technology, {DESRIST} 2020, Kristiansand,
Norway, December 2-4, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12388},
pages = {247--258},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64823-7\_23},
doi = {10.1007/978-3-030-64823-7\_23},
timestamp = {Wed, 02 Dec 2020 17:27:18 +0100},
biburl = {https://dblp.org/rec/conf/desrist/JonesV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netcoop/VeetaseveeraVM20,
author = {Jomphop Veetaseveera and
Vineeth S. Varma and
Irinel{-}Constantin Morarescu},
editor = {Samson Lasaulce and
Panayotis Mertikopoulos and
Ariel Orda},
title = {A Dynamic Game Formulation for Control of Opinion Dynamics over Social
Networks},
booktitle = {Network Games, Control and Optimization - 10th International Conference,
NetGCooP 2020, Carg{\`{e}}se, France, September 22-24, 2021, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1354},
pages = {252--260},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-87473-5\_22},
doi = {10.1007/978-3-030-87473-5\_22},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netcoop/VeetaseveeraVM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-10322,
author = {Tillmann M{\"{u}}hlpfordt and
Xinliang Dai and
Alexander Engelmann and
Veit Hagenmeyer},
title = {Distributed Power Flow and Distributed Optimization - Formulation,
Solution, and Open Source Implementation},
journal = {CoRR},
volume = {abs/2011.10322},
year = {2020},
url = {https://arxiv.org/abs/2011.10322},
eprinttype = {arXiv},
eprint = {2011.10322},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-10322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-10636,
author = {Erwin Hern{\'{a}}ndez and
Felipe Lepe and
Jesus Vellojin},
title = {A mixed parameter formulation with applications to linear viscoelasticity},
journal = {CoRR},
volume = {abs/2011.10636},
year = {2020},
url = {https://arxiv.org/abs/2011.10636},
eprinttype = {arXiv},
eprint = {2011.10636},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-10636.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/RenukaEJK19,
author = {Simi Venuji Renuka and
Damodar Reddy Edla and
Justin Joseph and
Venkatanareshbabu Kuppili},
title = {Analysis of controversies in the formulation and evaluation of restoration
algorithms for {MR} Images},
journal = {Expert Syst. Appl.},
volume = {135},
pages = {39--59},
year = {2019},
url = {https://doi.org/10.1016/j.eswa.2019.06.003},
doi = {10.1016/J.ESWA.2019.06.003},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eswa/RenukaEJK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcphy/ConchardMR19,
author = {Antoine Vermeil de Conchard and
Huina Mao and
Romain Rumpler},
title = {A perfectly matched layer formulation adapted for fast frequency sweeps
of exterior acoustics finite element models},
journal = {J. Comput. Phys.},
volume = {398},
year = {2019},
url = {https://doi.org/10.1016/j.jcp.2019.108878},
doi = {10.1016/J.JCP.2019.108878},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcphy/ConchardMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jscic/AnayaBMRRST19,
author = {Ver{\'{o}}nica Anaya and
Afaf Bouharguane and
David Mora and
Carlos Reales and
Ricardo Ruiz{-}Baier and
Nour Seloula and
H{\'{e}}ctor Torres},
title = {Analysis and Approximation of a Vorticity-Velocity-Pressure Formulation
for the Oseen Equations},
journal = {J. Sci. Comput.},
volume = {80},
number = {3},
pages = {1577--1606},
year = {2019},
url = {https://doi.org/10.1007/s10915-019-00990-7},
doi = {10.1007/S10915-019-00990-7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jscic/AnayaBMRRST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/moc/VeigaMR19,
author = {L. Beir{\~{a}}o da Veiga and
David Mora and
Gonzalo Rivera},
title = {Virtual elements for a shear-deflection formulation of Reissner-Mindlin
plates},
journal = {Math. Comput.},
volume = {88},
number = {315},
pages = {149--178},
year = {2019},
url = {https://doi.org/10.1090/mcom/3331},
doi = {10.1090/MCOM/3331},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/moc/VeigaMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/RioV19,
author = {Veronica Santalla del Rio and
Maria Vera{-}Isasa},
title = {A Unified Formulation of Polarimetric Weather Radar With Application
to {IQ} Data Simulation},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {57},
number = {7},
pages = {5098--5107},
year = {2019},
url = {https://doi.org/10.1109/TGRS.2019.2896698},
doi = {10.1109/TGRS.2019.2896698},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tgrs/RioV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/KeerthisingheCV19,
author = {Chanaka Keerthisinghe and
Archie C. Chapman and
Gregor Verbic},
title = {{PV} and Demand Models for a Markov Decision Process Formulation of
the Home Energy Management Problem},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {66},
number = {2},
pages = {1424--1433},
year = {2019},
url = {https://doi.org/10.1109/TIE.2018.2850023},
doi = {10.1109/TIE.2018.2850023},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/KeerthisingheCV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/transci/MunariMVAGM19,
author = {Pedro Augusto Munari and
Alfredo Moreno and
Jonathan De La Vega and
Douglas Jos{\'{e}} Alem and
Jacek Gondzio and
Reinaldo Morabito},
title = {The Robust Vehicle Routing Problem with Time Windows: Compact Formulation
and Branch-Price-and-Cut Method},
journal = {Transp. Sci.},
volume = {53},
number = {4},
pages = {1043--1066},
year = {2019},
url = {https://doi.org/10.1287/trsc.2018.0886},
doi = {10.1287/TRSC.2018.0886},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/transci/MunariMVAGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/transci/SassoGL19,
author = {Veronica Dal Sasso and
Luigi De Giovanni and
Martine Labb{\'{e}}},
title = {Strengthened Formulations and Valid Inequalities for Single Delay
Management in Public Transportation},
journal = {Transp. Sci.},
volume = {53},
number = {5},
pages = {1271--1286},
year = {2019},
url = {https://doi.org/10.1287/trsc.2018.0874},
doi = {10.1287/TRSC.2018.0874},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/transci/SassoGL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/VerwerZ19,
author = {Sicco Verwer and
Yingqian Zhang},
title = {Learning Optimal Classification Trees Using a Binary Linear Program
Formulation},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {1625--1632},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33011624},
doi = {10.1609/AAAI.V33I01.33011624},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/VerwerZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bnaic/VerwerZ19,
author = {Sicco Verwer and
Yingqian Zhang},
editor = {Katrien Beuls and
Bart Bogaerts and
Gianluca Bontempi and
Pierre Geurts and
Nick Harley and
Bertrand Lebichot and
Tom Lenaerts and
Gilles Louppe and
Paul Van Eecke},
title = {Learning Optimal Classification Trees Using a Binary Linear Program
Formulation},
booktitle = {Proceedings of the 31st Benelux Conference on Artificial Intelligence
{(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning
(Benelearn 2019), Brussels, Belgium, November 6-8, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2491},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2491/abstract111.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:44 +0100},
biburl = {https://dblp.org/rec/conf/bnaic/VerwerZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/FalcinelliRVP19,
author = {Stefano Falcinelli and
Marzio Rosi and
Franco Vecchiocattivi and
Fernando Pirani},
editor = {Sanjay Misra and
Osvaldo Gervasi and
Beniamino Murgante and
Elena N. Stankova and
Vladimir Korkhov and
Carmelo Maria Torre and
Ana Maria A. C. Rocha and
David Taniar and
Bernady O. Apduhan and
Eufemia Tarantino},
title = {Analytical Potential Energy Formulation for a New Theoretical Approach
in Penning Ionization},
booktitle = {Computational Science and Its Applications - {ICCSA} 2019 - 19th International
Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11621},
pages = {291--305},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24302-9\_21},
doi = {10.1007/978-3-030-24302-9\_21},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccsa/FalcinelliRVP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgteurope/GiuntoliBS19,
author = {Marco Giuntoli and
Veronica Biagini and
Kevin Sch{\"{o}}nleber},
title = {Novel Formulation of {PTDF} and {LODF} Matrices for Security Constrained
Optimal Power Flow for Hybrid {AC} and {DC} Grids},
booktitle = {2019 {IEEE} {PES} Innovative Smart Grid Technologies Europe, ISGT-Europe
2019, Bucharest, Romania, September 29 - October 2, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISGTEurope.2019.8905672},
doi = {10.1109/ISGTEUROPE.2019.8905672},
timestamp = {Wed, 27 Nov 2019 12:55:17 +0100},
biburl = {https://dblp.org/rec/conf/isgteurope/GiuntoliBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgteurope/ZwickelEGHSF19,
author = {Philipp Zwickel and
Alexander Engelmann and
Lutz Gr{\"{o}}ll and
Veit Hagenmeyer and
Dominique Sauer and
Timm Faulwasser},
title = {A Comparison of Economic {MPC} Formulations for Thermal Building Control},
booktitle = {2019 {IEEE} {PES} Innovative Smart Grid Technologies Europe, ISGT-Europe
2019, Bucharest, Romania, September 29 - October 2, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISGTEurope.2019.8905593},
doi = {10.1109/ISGTEUROPE.2019.8905593},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isgteurope/ZwickelEGHSF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-06029,
author = {Raimund B{\"{u}}rger and
Sarvesh Kumar and
David Mora and
Ricardo Ruiz{-}Baier and
Nitesh Verma},
title = {Virtual element methods for the three-field formulation of time-dependent
linear poroelasticity},
journal = {CoRR},
volume = {abs/1912.06029},
year = {2019},
url = {http://arxiv.org/abs/1912.06029},
eprinttype = {arXiv},
eprint = {1912.06029},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-06029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/CancelaPV18,
author = {H{\'{e}}ctor Cancela and
Pedro Pi{\~{n}}eyro and
Joaqu{\'{\i}}n Vel{\'{a}}zquez},
title = {A {MILP} formulation for a tire curing scheduling problem},
journal = {Electron. Notes Discret. Math.},
volume = {69},
pages = {61--68},
year = {2018},
url = {https://doi.org/10.1016/j.endm.2018.07.009},
doi = {10.1016/J.ENDM.2018.07.009},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/endm/CancelaPV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/Cruz-SantosVL18,
author = {William Cruz{-}Santos and
Salvador E. Venegas{-}Andraca and
Marco Lanzagorta},
title = {A {QUBO} Formulation of the Stereo Matching Problem for D-Wave Quantum
Annealers},
journal = {Entropy},
volume = {20},
number = {10},
pages = {786},
year = {2018},
url = {https://doi.org/10.3390/e20100786},
doi = {10.3390/E20100786},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entropy/Cruz-SantosVL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwa/DuvvuriLK18,
author = {Veeresh Duvvuri and
Srinivas Laggoni and
Shankar Karinga},
title = {Mathematical Formulation for Programmers to Select Background and
Foreground Colors in Designing Websites},
journal = {Int. J. Web Appl.},
volume = {10},
number = {2},
pages = {47--50},
year = {2018},
url = {http://dline.info/ijwa/fulltext/v10n2/ijwav10n2\_1.pdf},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijwa/DuvvuriLK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jors/PavlikovVP18,
author = {Konstantin Pavlikov and
Alexander Veremyev and
Eduardo L. Pasiliao},
title = {Optimization of Value-at-Risk: computational aspects of {MIP} formulations},
journal = {J. Oper. Res. Soc.},
volume = {69},
number = {5},
pages = {676--690},
year = {2018},
url = {https://doi.org/10.1057/s41274-017-0197-4},
doi = {10.1057/S41274-017-0197-4},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jors/PavlikovVP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nhm/AnayaBMR18,
author = {Ver{\'{o}}nica Anaya and
Mostafa Bendahmane and
David Mora and
Ricardo Ruiz{-}Baier},
title = {On a vorticity-based formulation for reaction-diffusion-Brinkman systems},
journal = {Networks Heterog. Media},
volume = {13},
number = {1},
pages = {69--94},
year = {2018},
url = {https://doi.org/10.3934/nhm.2018004},
doi = {10.3934/NHM.2018004},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nhm/AnayaBMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/ZoncaVF18,
author = {Stefano Zonca and
Christian Vergara and
Luca Formaggia},
title = {An Unfitted Formulation for the Interaction of an Incompressible Fluid
with a Thick Structure via an {XFEM/DG} Approach},
journal = {{SIAM} J. Sci. Comput.},
volume = {40},
number = {1},
year = {2018},
url = {https://doi.org/10.1137/16M1097602},
doi = {10.1137/16M1097602},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamsc/ZoncaVF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Ventosa-Cutillas18,
author = {Antonio Ventosa{-}Cutillas and
Carolina Albea and
Alexandre Seuret and
Francisco Gordillo},
title = {Relaxed periodic switching controllers of high-frequency {DC-DC} converters
using the {\(\delta\)}-operator formulation},
booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
FL, USA, December 17-19, 2018},
pages = {3433--3438},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CDC.2018.8619385},
doi = {10.1109/CDC.2018.8619385},
timestamp = {Fri, 04 Mar 2022 13:30:11 +0100},
biburl = {https://dblp.org/rec/conf/cdc/Ventosa-Cutillas18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BastonC18,
author = {Colm Baston and
Venanzio Capretta},
editor = {Jeremy Avigad and
Assia Mahboubi},
title = {The Coinductive Formulation of Common Knowledge},
booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10895},
pages = {126--141},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94821-8\_8},
doi = {10.1007/978-3-319-94821-8\_8},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/BastonC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/ArbibSV17,
author = {Claudio Arbib and
Mara Servilio and
Paolo Ventura},
title = {An improved integer linear programming formulation for the closest
0-1 string problem},
journal = {Comput. Oper. Res.},
volume = {80},
pages = {94--100},
year = {2017},
url = {https://doi.org/10.1016/j.cor.2016.11.019},
doi = {10.1016/J.COR.2016.11.019},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/ArbibSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/CossGLCV17,
author = {Stefano Coss and
Elisa Guelpa and
Etienne Letournel and
Olivier Le Corre and
Vittorio Verda},
title = {Formulation of Exergy Cost Analysis to Graph-Based Thermal Network
Models},
journal = {Entropy},
volume = {19},
number = {3},
pages = {109},
year = {2017},
url = {https://doi.org/10.3390/e19030109},
doi = {10.3390/E19030109},
timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entropy/CossGLCV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/VelezDM17,
author = {Sara Velez and
Yachao Dong and
Christos T. Maravelias},
title = {Changeover formulations for discrete-time mixed-integer programming
scheduling models},
journal = {Eur. J. Oper. Res.},
volume = {260},
number = {3},
pages = {949--963},
year = {2017},
url = {https://doi.org/10.1016/j.ejor.2017.01.004},
doi = {10.1016/J.EJOR.2017.01.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/VelezDM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcphy/CoronaGRV17,
author = {Eduardo Corona and
Leslie Greengard and
Manas Rachh and
Shravan K. Veerapaneni},
title = {An integral equation formulation for rigid bodies in Stokes flow in
three dimensions},
journal = {J. Comput. Phys.},
volume = {332},
pages = {504--519},
year = {2017},
url = {https://doi.org/10.1016/j.jcp.2016.12.018},
doi = {10.1016/J.JCP.2016.12.018},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcphy/CoronaGRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcphy/VerverisS17,
author = {Antonios Ververis and
Markus Schmuck},
title = {Computational investigation of porous media phase field formulations:
Microscopic, effective macroscopic, and Langevin equations},
journal = {J. Comput. Phys.},
volume = {344},
pages = {485--498},
year = {2017},
url = {https://doi.org/10.1016/j.jcp.2017.04.065},
doi = {10.1016/J.JCP.2017.04.065},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcphy/VerverisS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jscic/AnayaMRR17,
author = {Ver{\'{o}}nica Anaya and
David Mora and
Carlos Reales and
Ricardo Ruiz{-}Baier},
title = {Mixed Methods for a Stream-Function - Vorticity Formulation of the
Axisymmetric Brinkman Equations},
journal = {J. Sci. Comput.},
volume = {71},
number = {1},
pages = {348--364},
year = {2017},
url = {https://doi.org/10.1007/s10915-016-0302-x},
doi = {10.1007/S10915-016-0302-X},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jscic/AnayaMRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/us/SundarVR17,
author = {Kaarthik Sundar and
Saravanan Venkatachalam and
Sivakumar Rathinam},
title = {Analysis of Mixed-Integer Linear Programming Formulations for a Fuel-Constrained
Multiple Vehicle Routing Problem},
journal = {Unmanned Syst.},
volume = {5},
number = {4},
pages = {197--207},
year = {2017},
url = {https://doi.org/10.1142/S2301385017500091},
doi = {10.1142/S2301385017500091},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/us/SundarVR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wpc/FloresRV17,
author = {Jessica Acevedo Flores and
Daniel Robalo and
Fernando J. Velez},
title = {Transmitted Power Formulation for the Optimization of Spectrum Aggregation
in {LTE-A} over 800 MHz and 2 GHz Frequency Bands},
journal = {Wirel. Pers. Commun.},
volume = {93},
number = {3},
pages = {833--852},
year = {2017},
url = {https://doi.org/10.1007/s11277-014-2231-z},
doi = {10.1007/S11277-014-2231-Z},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wpc/FloresRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccece/BakrED17,
author = {Mohamed H. Bakr and
Atef Z. Elsherbeni and
Veysel Demir},
title = {A maxwellian formulation of adjoint sensitivity analysis using the
{FDTD} method},
booktitle = {30th {IEEE} Canadian Conference on Electrical and Computer Engineering,
{CCECE} 2017, Windsor, ON, Canada, April 30 - May 3, 2017},
pages = {1--2},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CCECE.2017.7946610},
doi = {10.1109/CCECE.2017.7946610},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccece/BakrED17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccece/BakrED17a,
author = {Mohamed H. Bakr and
Atef Z. Elsherbeni and
Veysel Demir},
title = {Second-order adjoint sensitivities: An alternative formulation},
booktitle = {30th {IEEE} Canadian Conference on Electrical and Computer Engineering,
{CCECE} 2017, Windsor, ON, Canada, April 30 - May 3, 2017},
pages = {1--2},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CCECE.2017.7946611},
doi = {10.1109/CCECE.2017.7946611},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccece/BakrED17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocon/KoteskaMDCRJSP17,
author = {Bojana Koteska and
Anastas Mishev and
Marija Glavas Dodov and
Maja Simonoska Crcarevska and
Jasmina Tonic Ribarska and
Vesna Petrovska Jovanovska and
Monika Stojanovska and
Ljupco Pejov},
editor = {Ljupco Karadzinov and
Goga Cvetkovski and
Pero Latkoski},
title = {Modeling the solid-state vibrational spectroscopic properties of morphine-based
formulations with hybrid meta density functional theory},
booktitle = {{IEEE} {EUROCON} 2017 -17th International Conference on Smart Technologies,
Ohrid, Macedonia, July 6-8, 2017},
pages = {938--943},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/EUROCON.2017.8011249},
doi = {10.1109/EUROCON.2017.8011249},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocon/KoteskaMDCRJSP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/ChattiGHVL16,
author = {Nizar Chatti and
R{\'{e}}my Guyonneau and
Laurent Hardouin and
Sylvain Verron and
Sebastien Lagrange},
title = {Model-based approach for fault diagnosis using set-membership formulation},
journal = {Eng. Appl. Artif. Intell.},
volume = {55},
pages = {307--319},
year = {2016},
url = {https://doi.org/10.1016/j.engappai.2016.08.001},
doi = {10.1016/J.ENGAPPAI.2016.08.001},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eaai/ChattiGHVL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/SundarVR16,
author = {Kaarthik Sundar and
Saravanan Venkatachalam and
Sivakumar Rathinam},
title = {Formulations and algorithms for the multiple depot, fuel-constrained,
multiple vehicle routing problem},
booktitle = {2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July
6-8, 2016},
pages = {6489--6494},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ACC.2016.7526691},
doi = {10.1109/ACC.2016.7526691},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/SundarVR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/AntunesJSBV16,
author = {Alexandre Antunes and
Lorenzo Jamone and
Giovanni Saponaro and
Alexandre Bernardino and
Rodrigo Ventura},
editor = {Danica Kragic and
Antonio Bicchi and
Alessandro De Luca},
title = {From human instructions to robot actions: Formulation of goals, affordances
and probabilistic planning},
booktitle = {2016 {IEEE} International Conference on Robotics and Automation, {ICRA}
2016, Stockholm, Sweden, May 16-21, 2016},
pages = {5449--5454},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICRA.2016.7487757},
doi = {10.1109/ICRA.2016.7487757},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icra/AntunesJSBV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BernardJMVV15,
author = {Elsa Bernard and
Laurent Jacob and
Julien Mairal and
Eric Viara and
Jean{-}Philippe Vert},
title = {A convex formulation for joint {RNA} isoform detection and quantification
from multiple RNA-seq samples},
journal = {{BMC} Bioinform.},
volume = {16},
pages = {262:1--262:10},
year = {2015},
url = {https://doi.org/10.1186/s12859-015-0695-9},
doi = {10.1186/S12859-015-0695-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/BernardJMVV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmiv/CasasV15a,
author = {Gonzalo Galiano Casas and
Juli{\'{a}}n Velasco Vald{\'{e}}s},
title = {On a Fast Bilateral Filtering Formulation Using Functional Rearrangements},
journal = {J. Math. Imaging Vis.},
volume = {53},
number = {3},
pages = {346--363},
year = {2015},
url = {https://doi.org/10.1007/s10851-015-0583-y},
doi = {10.1007/S10851-015-0583-Y},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmiv/CasasV15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mp/CorreaMMSSVV15,
author = {Jos{\'{e}} Correa and
Alberto Marchetti{-}Spaccamela and
Jannik Matuschke and
Leen Stougie and
Ola Svensson and
V{\'{\i}}ctor Verdugo and
Jos{\'{e}} Verschae},
title = {Strong {LP} formulations for scheduling splittable jobs on unrelated
machines},
journal = {Math. Program.},
volume = {154},
number = {1-2},
pages = {305--328},
year = {2015},
url = {https://doi.org/10.1007/s10107-014-0831-8},
doi = {10.1007/S10107-014-0831-8},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mp/CorreaMMSSVV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/TejaVC15,
author = {A. V. Ravi Teja and
Vimlesh Verma and
Chandan Chakraborty},
title = {A New Formulation of Reactive-Power-Based Model Reference Adaptive
System for Sensorless Induction Motor Drive},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {62},
number = {11},
pages = {6797--6808},
year = {2015},
url = {https://doi.org/10.1109/TIE.2015.2432105},
doi = {10.1109/TIE.2015.2432105},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tie/TejaVC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/VenugopalanS15,
author = {Sarad Venugopalan and
Oliver Sinnen},
title = {{ILP} Formulations for Optimal Task Scheduling with Communication
Delays on Parallel Systems},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {26},
number = {1},
pages = {142--151},
year = {2015},
url = {https://doi.org/10.1109/TPDS.2014.2308175},
doi = {10.1109/TPDS.2014.2308175},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tpds/VenugopalanS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isbi/VeniEW15,
author = {Gopalkrishna Veni and
Shireen Y. Elhabian and
Ross T. Whitaker},
title = {A Bayesian formulation of graph-cut surface estimation with global
shape priors},
booktitle = {12th {IEEE} International Symposium on Biomedical Imaging, {ISBI}
2015, Brooklyn, NY, USA, April 16-19, 2015},
pages = {368--371},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ISBI.2015.7163889},
doi = {10.1109/ISBI.2015.7163889},
timestamp = {Wed, 04 Oct 2023 17:01:25 +0200},
biburl = {https://dblp.org/rec/conf/isbi/VeniEW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwinac/Berenguer-Vidal15,
author = {Rafael Berenguer{-}Vidal and
Rafael Verd{\'{u}} Monedero and
{\'{A}}lvar{-}Gines Legaz{-}Aparicio},
editor = {Jos{\'{e}} Manuel Ferr{\'{a}}ndez de Vicente and
Jos{\'{e}} Ram{\'{o}}n {\'{A}}lvarez S{\'{a}}nchez and
F{\'{e}}lix de la Paz L{\'{o}}pez and
F. Javier Toledo{-}Moreo and
Hojjat Adeli},
title = {Dynamic Modelling of the Whole Heart Based on a Frequency Formulation
and Implementation of Parametric Deformable Models},
booktitle = {Artificial Computation in Biology and Medicine - International Work-Conference
on the Interplay Between Natural and Artificial Computation, {IWINAC}
2015, Elche, Spain, June 1-5, 2015, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9107},
pages = {330--339},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18914-7\_35},
doi = {10.1007/978-3-319-18914-7\_35},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwinac/Berenguer-Vidal15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scalespace/CasasV15,
author = {Gonzalo Galiano Casas and
Juli{\'{a}}n Velasco Vald{\'{e}}s},
editor = {Jean{-}Fran{\c{c}}ois Aujol and
Mila Nikolova and
Nicolas Papadakis},
title = {Some Nonlocal Filters Formulation Using Functional Rearrangements},
booktitle = {Scale Space and Variational Methods in Computer Vision - 5th International
Conference, {SSVM} 2015, L{\`{e}}ge-Cap Ferret, France, May 31 - June
4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9087},
pages = {166--177},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18461-6\_14},
doi = {10.1007/978-3-319-18461-6\_14},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scalespace/CasasV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdm/GuptaRPV15,
author = {Sunil Gupta and
Santu Rana and
Dinh Q. Phung and
Svetha Venkatesh},
editor = {Suresh Venkatasubramanian and
Jieping Ye},
title = {What shall {I} share and with Whom? - {A} Multi-Task Learning Formulation
using Multi-Faceted Task Relationships},
booktitle = {Proceedings of the 2015 {SIAM} International Conference on Data Mining,
Vancouver, BC, Canada, April 30 - May 2, 2015},
pages = {703--711},
publisher = {{SIAM}},
year = {2015},
url = {https://doi.org/10.1137/1.9781611974010.79},
doi = {10.1137/1.9781611974010.79},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdm/GuptaRPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BougleuxBCFGV15,
author = {S{\'{e}}bastien Bougleux and
Luc Brun and
Vincenzo Carletti and
Pasquale Foggia and
Benoit Ga{\"{u}}z{\`{e}}re and
Mario Vento},
title = {A Quadratic Assignment Formulation of the Graph Edit Distance},
journal = {CoRR},
volume = {abs/1512.07494},
year = {2015},
url = {http://arxiv.org/abs/1512.07494},
eprinttype = {arXiv},
eprint = {1512.07494},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BougleuxBCFGV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CasasV15,
author = {Gonzalo Galiano Casas and
Juli{\'{a}}n Velasco Vald{\'{e}}s},
title = {On a fast bilateral filtering formulation using functional rearrangements},
journal = {CoRR},
volume = {abs/1505.00412},
year = {2015},
url = {http://arxiv.org/abs/1505.00412},
eprinttype = {arXiv},
eprint = {1505.00412},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CasasV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SundarVR15,
author = {Kaarthik Sundar and
Saravanan Venkatachalam and
Sivakumar Rathinam},
title = {Formulations and algorithms for the multiple depot, fuel-constrained,
multiple vehicle routing problem},
journal = {CoRR},
volume = {abs/1508.05968},
year = {2015},
url = {http://arxiv.org/abs/1508.05968},
eprinttype = {arXiv},
eprint = {1508.05968},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SundarVR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aes/VelivelliB14,
author = {Aditya Velivelli and
Kenneth Mark Bryden},
title = {Domain decomposition based coupling between the lattice Boltzmann
method and traditional {CFD} methods - Part {I:} Formulation and application
to the 2-D Burgers' equation},
journal = {Adv. Eng. Softw.},
volume = {70},
pages = {104--112},
year = {2014},
url = {https://doi.org/10.1016/j.advengsoft.2014.01.012},
doi = {10.1016/J.ADVENGSOFT.2014.01.012},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aes/VelivelliB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ol/VeremyevBP14,
author = {Alexander Veremyev and
Vladimir Boginski and
Eduardo L. Pasiliao},
title = {Exact identification of critical nodes in sparse networks via new
compact formulations},
journal = {Optim. Lett.},
volume = {8},
number = {4},
pages = {1245--1259},
year = {2014},
url = {https://doi.org/10.1007/s11590-013-0666-x},
doi = {10.1007/S11590-013-0666-X},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ol/VeremyevBP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamnum/AntoniettiVMV14,
author = {Paola F. Antonietti and
Louren{\c{c}}o Beir{\~{a}}o da Veiga and
David Mora and
Marco Verani},
title = {A Stream Virtual Element Formulation of the Stokes Problem on Polygonal
Meshes},
journal = {{SIAM} J. Numer. Anal.},
volume = {52},
number = {1},
pages = {386--404},
year = {2014},
url = {https://doi.org/10.1137/13091141X},
doi = {10.1137/13091141X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamnum/AntoniettiVMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hais/Berrocal-PlazaVS14,
author = {V{\'{\i}}ctor Berrocal{-}Plaza and
Miguel A. Vega{-}Rodr{\'{\i}}guez and
Juan Manuel S{\'{a}}nchez{-}P{\'{e}}rez},
editor = {Marios M. Polycarpou and
Andr{\'{e}} Carlos Ponce de Leon Ferreira de Carvalho and
Jeng{-}Shyang Pan and
Michal Wozniak and
H{\'{e}}ctor Quinti{\'{a}}n and
Emilio Corchado},
title = {Non-dominated Sorting and a Novel Formulation in the Reporting Cells
Planning},
booktitle = {Hybrid Artificial Intelligence Systems - 9th International Conference,
{HAIS} 2014, Salamanca, Spain, June 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8480},
pages = {285--295},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07617-1\_26},
doi = {10.1007/978-3-319-07617-1\_26},
timestamp = {Thu, 02 Apr 2020 11:52:52 +0200},
biburl = {https://dblp.org/rec/conf/hais/Berrocal-PlazaVS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipco/CorreaMMSSVV14,
author = {Jos{\'{e}} R. Correa and
Alberto Marchetti{-}Spaccamela and
Jannik Matuschke and
Leen Stougie and
Ola Svensson and
Victor Verdugo and
Jos{\'{e}} Verschae},
editor = {Jon Lee and
Jens Vygen},
title = {Strong {LP} Formulations for Scheduling Splittable Jobs on Unrelated
Machines},
booktitle = {Integer Programming and Combinatorial Optimization - 17th International
Conference, {IPCO} 2014, Bonn, Germany, June 23-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8494},
pages = {249--260},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07557-0\_21},
doi = {10.1007/978-3-319-07557-0\_21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipco/CorreaMMSSVV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/HeggestoylVG14,
author = {Simen Heggest{\o}yl and
Guillermo Vega{-}Gorgojo and
Martin Giese},
title = {Visual Query Formulation for Linked Open Data: The Norwegian Entity
Registry Case},
booktitle = {27th Norsk Informatikkonferanse, {NIK} 2014, H{\o}gskolen i {\O}stfold,
Fredrikstad, Norway, November 17-19, 2014},
publisher = {Bibsys Open Journal Systems, Norway},
year = {2014},
url = {http://ojs.bibsys.no/index.php/NIK/article/view/10},
timestamp = {Fri, 05 Feb 2021 11:08:03 +0100},
biburl = {https://dblp.org/rec/conf/nik/HeggestoylVG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softcomp/Berrocal-PlazaR14,
author = {V{\'{\i}}ctor Berrocal{-}Plaza and
Miguel {\'{A}}ngel Vega Rodr{\'{\i}}guez and
Juan Manuel S{\'{a}}nchez{-}P{\'{e}}rez},
editor = {Jos{\'{e}} Gaviria de la Puerta and
Iv{\'{a}}n Garc{\'{\i}}a{-}Ferreira and
Pablo Garc{\'{\i}}a Bringas and
Fanny Klett and
Ajith Abraham and
Andr{\'{e}} C. P. L. F. de Carvalho and
{\'{A}}lvaro Herrero and
Bruno Baruque and
H{\'{e}}ctor Quinti{\'{a}}n and
Emilio Corchado},
title = {A Strength Pareto Approach and a Novel Formulation in the Reporting
Cells Planning},
booktitle = {International Joint Conference SOCO'14-CISIS'14-ICEUTE'14 - Bilbao,
Spain, June 25th-27th, 2014, Proceedings},
series = {Advances in Intelligent Systems and Computing},
volume = {299},
pages = {1--10},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07995-0\_1},
doi = {10.1007/978-3-319-07995-0\_1},
timestamp = {Fri, 12 Aug 2022 13:44:55 +0200},
biburl = {https://dblp.org/rec/conf/softcomp/Berrocal-PlazaR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CasasV14,
author = {Gonzalo Galiano Casas and
Juli{\'{a}}n Velasco Vald{\'{e}}s},
title = {On a new formulation of nonlocal image filters involving the relative
rearrangement},
journal = {CoRR},
volume = {abs/1406.7128},
year = {2014},
url = {http://arxiv.org/abs/1406.7128},
eprinttype = {arXiv},
eprint = {1406.7128},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CasasV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gandc/TillierVD13,
author = {Elodie Tillier and
S{\'{e}}bastien Da Veiga and
Ratiba Derfoul},
title = {Appropriate formulation of the objective function for the history
matching of seismic attributes},
journal = {Comput. Geosci.},
volume = {51},
pages = {64--73},
year = {2013},
url = {https://doi.org/10.1016/j.cageo.2012.07.031},
doi = {10.1016/J.CAGEO.2012.07.031},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/gandc/TillierVD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmtie/CammarotoCV13,
author = {Biagio Cammaroto and
Matteo Cacciola and
Mario Versaci},
title = {A Fuzzy Approach Using Euclidean Geometrical Formulation for Classifying
{SAR} Images},
journal = {Int. J. Meas. Technol. Instrum. Eng.},
volume = {3},
number = {4},
pages = {27--35},
year = {2013},
url = {https://doi.org/10.4018/ijmtie.2013100103},
doi = {10.4018/IJMTIE.2013100103},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmtie/CammarotoCV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcphy/CagnoneVN13,
author = {Jean S{\'{e}}bastien Cagnone and
Brian C. Vermeire and
Siva K. Nadarajah},
title = {A p-adaptive {LCP} formulation for the compressible Navier-Stokes
equations},
journal = {J. Comput. Phys.},
volume = {233},
pages = {324--338},
year = {2013},
url = {https://doi.org/10.1016/j.jcp.2012.08.053},
doi = {10.1016/J.JCP.2012.08.053},
timestamp = {Tue, 13 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcphy/CagnoneVN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mcm/AndersonBBV13,
author = {Bradley E. Anderson and
James D. Blocher and
Kurt M. Bretthauer and
Munirpallam A. Venkataramanan},
title = {An efficient network-based formulation for sequence dependent setup
scheduling on parallel identical machines},
journal = {Math. Comput. Model.},
volume = {57},
number = {3-4},
pages = {483--493},
year = {2013},
url = {https://doi.org/10.1016/j.mcm.2012.06.029},
doi = {10.1016/J.MCM.2012.06.029},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mcm/AndersonBBV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdar/SankaranNJ13,
author = {Naveen Sankaran and
Aman Neelappa and
C. V. Jawahar},
title = {Devanagari Text Recognition: {A} Transcription Based Formulation},
booktitle = {12th International Conference on Document Analysis and Recognition,
{ICDAR} 2013, Washington, DC, USA, August 25-28, 2013},
pages = {678--682},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICDAR.2013.139},
doi = {10.1109/ICDAR.2013.139},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdar/SankaranNJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-7/SehicVM13,
author = {Emdzad Sehic and
Alexander Verbraeck and
Sebastiaan A. Meijer},
editor = {Sebastiaan A. Meijer and
Riitta Smeds},
title = {A Game for Requirements Formulation for a Distributed Gaming and Simulation
Environment},
booktitle = {Frontiers in Gaming Simulation - 44th International Simulation and
Gaming Association Conference, {ISAGA} 2013 and 17th {IFIP} {WG} 5.7
Workshop on Experimental Interactive Learning in Industrial Management,
Stockholm, Sweden, June 24-28, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8264},
pages = {129--139},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04954-0\_16},
doi = {10.1007/978-3-319-04954-0\_16},
timestamp = {Fri, 09 Apr 2021 18:53:22 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-7/SehicVM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/DelibaltovGRVSM13,
author = {Diana L. Delibaltov and
Pratim Ghosh and
Volkan Rodoplu and
Michael Veeman and
William Smith and
B. S. Manjunath},
editor = {Kensaku Mori and
Ichiro Sakuma and
Yoshinobu Sato and
Christian Barillot and
Nassir Navab},
title = {A Linear Program Formulation for the Segmentation of Ciona Membrane
Volumes},
booktitle = {Medical Image Computing and Computer-Assisted Intervention - {MICCAI}
2013 - 16th International Conference, Nagoya, Japan, September 22-26,
2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8149},
pages = {444--451},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40811-3\_56},
doi = {10.1007/978-3-642-40811-3\_56},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/miccai/DelibaltovGRVSM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wpmc/FloresRV13,
author = {Jessica Acevedo Flores and
Daniel Robalo and
Fernando J. Velez},
title = {Transmitted power formulation for the implementation of spectrum aggregation
in {LTE-A} over 800 MHz and 2 GHz frequency bands},
booktitle = {The 16th International Symposium on Wireless Personal Multimedia Communications,
{WPMC} 2013, Atlantic City, NJ, USA, June 24-27, 2013},
pages = {1--5},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6618538/},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wpmc/FloresRV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/SzmerekovskyV12,
author = {Joseph G. Szmerekovsky and
Prahalad Venkateshan},
title = {An integer programming formulation for the project scheduling problem
with irregular time-cost tradeoffs},
journal = {Comput. Oper. Res.},
volume = {39},
number = {7},
pages = {1402--1410},
year = {2012},
url = {https://doi.org/10.1016/j.cor.2011.08.011},
doi = {10.1016/J.COR.2011.08.011},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/SzmerekovskyV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/VeremyevB12,
author = {Alexander Veremyev and
Vladimir Boginski},
title = {Identifying large robust network clusters via new compact formulations
of maximum k-club problems},
journal = {Eur. J. Oper. Res.},
volume = {218},
number = {2},
pages = {316--326},
year = {2012},
url = {https://doi.org/10.1016/j.ejor.2011.10.027},
doi = {10.1016/J.EJOR.2011.10.027},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/VeremyevB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmiv/CiesielskiUFM12,
author = {Krzysztof Chris Ciesielski and
Jayaram K. Udupa and
Alexandre X. Falc{\~{a}}o and
Paulo A. V. Miranda},
title = {Fuzzy Connectedness Image Segmentation in Graph Cut Formulation: {A}
Linear-Time Algorithm and a Comparative Analysis},
journal = {J. Math. Imaging Vis.},
volume = {44},
number = {3},
pages = {375--398},
year = {2012},
url = {https://doi.org/10.1007/s10851-012-0333-3},
doi = {10.1007/S10851-012-0333-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmiv/CiesielskiUFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/VelaFSSC12,
author = {Adan Vela and
Karen M. Feigh and
Senay Solak and
William E. Singhose and
John{-}Paul Clarke},
title = {Formulation of Reduced-Taskload Optimization Models for Conflict Resolution},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {42},
number = {6},
pages = {1552--1561},
year = {2012},
url = {https://doi.org/10.1109/TSMCA.2012.2202106},
doi = {10.1109/TSMCA.2012.2202106},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/VelaFSSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/LeeKV12,
author = {Kyong{-}Ho Lee and
Sun{-}Yuan Kung and
Naveen Verma},
title = {Low-energy Formulations of Support Vector Machine Kernel Functions
for Biomedical Sensor Applications},
journal = {J. Signal Process. Syst.},
volume = {69},
number = {3},
pages = {339--349},
year = {2012},
url = {https://doi.org/10.1007/s11265-012-0672-8},
doi = {10.1007/S11265-012-0672-8},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlsisp/LeeKV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/YoshikawaCUK12a,
author = {Eiichi Yoshikawa and
V. Chandrasekar and
Tomoo Ushio and
Zen Kawasaki},
title = {Bayesian formulation of {DSD} retrieval algorithm for dual-polarized
X-band weather radar network},
booktitle = {2012 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2012, Munich, Germany, July 22-27, 2012},
pages = {6055--6058},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IGARSS.2012.6352226},
doi = {10.1109/IGARSS.2012.6352226},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/igarss/YoshikawaCUK12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijats/VelivelliB11,
author = {Aditya Velivelli and
Kenneth Mark Bryden},
title = {Initial Formulation of an Optimization Method Based on Stigmergic
Construction},
journal = {Int. J. Agent Technol. Syst.},
volume = {3},
number = {4},
pages = {19--36},
year = {2011},
url = {https://doi.org/10.4018/jats.2011100102},
doi = {10.4018/JATS.2011100102},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijats/VelivelliB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pr/AnLVY11,
author = {Senjian An and
Wanquan Liu and
Svetha Venkatesh and
Hong Yan},
title = {Unified formulation of linear discriminant analysis methods and optimal
parameter selection},
journal = {Pattern Recognit.},
volume = {44},
number = {2},
pages = {307--319},
year = {2011},
url = {https://doi.org/10.1016/j.patcog.2010.08.026},
doi = {10.1016/J.PATCOG.2010.08.026},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pr/AnLVY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avss/GuhaMS11,
author = {Prithwijit Guha and
Amitabha Mukerjee and
Venkatesh K. Subramanian},
title = {Formulation, detection and application of occlusion states (Oc-7)
in the context of multiple object tracking},
booktitle = {8th {IEEE} International Conference on Advanced Video and Signal-Based
Surveillance, {AVSS} 2011, Klagenfurt, Austria, August 30 - September
2, 2011},
pages = {191--196},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/AVSS.2011.6027318},
doi = {10.1109/AVSS.2011.6027318},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/avss/GuhaMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pimrc/FekiC11,
author = {Afef Feki and
V{\'{e}}ronique Capdevielle},
editor = {Kaveh Pahlavan and
Shahrokh Valaee and
Elvino Silveira Sousa},
title = {Autonomous resource allocation for dense {LTE} networks: {A} Multi
Armed Bandit formulation},
booktitle = {{IEEE} 22nd International Symposium on Personal, Indoor and Mobile
Radio Communications, {PIMRC} 2011, Toronto, ON, Canada, September
11-14, 2011},
pages = {66--70},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/PIMRC.2011.6140047},
doi = {10.1109/PIMRC.2011.6140047},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/pimrc/FekiC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/IveyV10,
author = {James W. Ivey and
Reinhard Vehring},
title = {The use of modeling in spray drying of emulsions and suspensions accelerates
formulation and process development},
journal = {Comput. Chem. Eng.},
volume = {34},
number = {7},
pages = {1036--1040},
year = {2010},
url = {https://doi.org/10.1016/j.compchemeng.2010.02.031},
doi = {10.1016/J.COMPCHEMENG.2010.02.031},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/IveyV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamjo/BienstockV10,
author = {Daniel Bienstock and
Abhinav Verma},
title = {The N-k Problem in Power Grids: New Models, Formulations, and Numerical
Experiments},
journal = {{SIAM} J. Optim.},
volume = {20},
number = {5},
pages = {2352--2380},
year = {2010},
url = {https://doi.org/10.1137/08073562X},
doi = {10.1137/08073562X},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamjo/BienstockV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/baip/VermaS10,
author = {Priyanka Verma and
R. R. K. Sharma},
editor = {Vinu V. Das and
R. Vijayakumar and
Narayan C. Debnath and
Janahanlal Stephen and
Natarajan Meghanathan and
Suresh Sankaranarayanan and
P. M. Thankachan and
Ford Lumban Gaol and
Nessy Thankachan},
title = {Strong and Weak Formulations of Single Stage Uncapacitated Warehouse
Location Problem},
booktitle = {Information Processing and Management - International Conference on
Recent Trends in Business Administration and Information Processing,
{BAIP} 2010, Trivandrum, Kerala, India, March 26-27, 2010. Proceedings},
series = {Communications in Computer and Information Science},
volume = {70},
pages = {656--659},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12214-9\_120},
doi = {10.1007/978-3-642-12214-9\_120},
timestamp = {Thu, 01 Jun 2017 18:59:02 +0200},
biburl = {https://dblp.org/rec/conf/baip/VermaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soli/VermaS10,
author = {Mayank Verma and
R. R. K. Sharma},
title = {Multi item multi period capacitated lot sizing problem with backorders
and setup considerations: strong and weak formulations},
booktitle = {Proceedings of 2010 {IEEE} International Conference on Service Operations
and Logistics, and Informatics, {SOLI} 2010, Qingdao, China, 15-17
July 2010},
pages = {195--199},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/SOLI.2010.5551581},
doi = {10.1109/SOLI.2010.5551581},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soli/VermaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/BruggiV09,
author = {Matteo Bruggi and
Paolo Venini},
title = {Mixed Variational Formulations for Micro-cracked Continua in the Multifield
Framework},
journal = {Algorithms},
volume = {2},
number = {1},
pages = {606--622},
year = {2009},
url = {https://doi.org/10.3390/a2010606},
doi = {10.3390/A2010606},
timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/BruggiV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcim/VelandiaWH09,
author = {Diana M. Segura Velandia and
Andrew A. West and
Chris J. Hinde},
title = {Case-based adaptation for product formulation},
journal = {Int. J. Comput. Integr. Manuf.},
volume = {22},
number = {6},
pages = {524--537},
year = {2009},
url = {https://doi.org/10.1080/09511920802552952},
doi = {10.1080/09511920802552952},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcim/VelandiaWH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijns/AnandPV09,
author = {P. Anand and
B. V. N. Siva Prasad and
Ch. Venkateswarlu},
title = {Modeling and Optimization of a Pharmaceutical Formulation System Using
Radial Basis Function Network},
journal = {Int. J. Neural Syst.},
volume = {19},
number = {2},
pages = {127--136},
year = {2009},
url = {https://doi.org/10.1142/S0129065709001896},
doi = {10.1142/S0129065709001896},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijns/AnandPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/HoulisS09,
author = {Pantazis Houlis and
Victor Sreeram},
title = {A Parametrized Controller Reduction Technique via a New Frequency
Weighted Model Reduction Formulation},
journal = {{IEEE} Trans. Autom. Control.},
volume = {54},
number = {5},
pages = {1087--1093},
year = {2009},
url = {https://doi.org/10.1109/TAC.2008.2010993},
doi = {10.1109/TAC.2008.2010993},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/HoulisS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/talg/CarrKLNP09,
author = {Robert D. Carr and
Goran Konjevod and
Greg Little and
Venkatesh Natarajan and
Ojas Parekh},
title = {Compacting cuts: {A} new linear formulation for minimum cut},
journal = {{ACM} Trans. Algorithms},
volume = {5},
number = {3},
pages = {27:1--27:16},
year = {2009},
url = {https://doi.org/10.1145/1541885.1541888},
doi = {10.1145/1541885.1541888},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/talg/CarrKLNP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciarp/CassisaSP09,
author = {Cyril Cassisa and
Serge Simoens and
V{\'{e}}ronique Prinet},
editor = {Eduardo Bayro{-}Corrochano and
Jan{-}Olof Eklundh},
title = {Two-Frame Optical Flow Formulation in an Unwarping Multiresolution
Scheme},
booktitle = {Progress in Pattern Recognition, Image Analysis, Computer Vision,
and Applications, 14th Iberoamerican Conference on Pattern Recognition,
{CIARP} 2009, Guadalajara, Jalisco, Mexico, November 15-18, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5856},
pages = {790--797},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10268-4\_93},
doi = {10.1007/978-3-642-10268-4\_93},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ciarp/CassisaSP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/HoulisS09,
author = {Pantazis Houlis and
Victor Sreeram},
title = {A new double sided frequency weighted problem formulation},
booktitle = {10th European Control Conference, {ECC} 2009, Budapest, Hungary, 23-26
August 2009},
pages = {1041--1046},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.23919/ECC.2009.7074542},
doi = {10.23919/ECC.2009.7074542},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/eucc/HoulisS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isit/VenkatesanP09,
author = {Ravi C. Venkatesan and
Angelo Plastino},
title = {Deformed statistics formulation of the information bottleneck method},
booktitle = {{IEEE} International Symposium on Information Theory, {ISIT} 2009,
June 28 - July 3, 2009, Seoul, Korea, Proceedings},
pages = {1323--1327},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ISIT.2009.5205932},
doi = {10.1109/ISIT.2009.5205932},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/isit/VenkatesanP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/RangoVM09,
author = {Floriano De Rango and
Fiore Veltri and
Salvatore Marano},
title = {{UWB} Channel Modeling: {A} Markovian Formulation Based on Degradation
Level Concept},
booktitle = {Proceedings of the 69th {IEEE} Vehicular Technology Conference, {VTC}
Spring 2009, 26-29 April 2009, Hilton Diagonal Mar, Barcelona, Spain},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/VETECS.2009.5073903},
doi = {10.1109/VETECS.2009.5073903},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vtc/RangoVM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/NobileV08,
author = {Fabio Nobile and
Christian Vergara},
title = {An Effective Fluid-Structure Interaction Formulation for Vascular
Dynamics by Generalized Robin Conditions},
journal = {{SIAM} J. Sci. Comput.},
volume = {30},
number = {2},
pages = {731--763},
year = {2008},
url = {https://doi.org/10.1137/060678439},
doi = {10.1137/060678439},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamsc/NobileV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamsc/VeigaM08,
author = {Louren{\c{c}}o Beir{\~{a}}o da Veiga and
Gianmarco Manzini},
title = {A Higher-Order Formulation of the Mimetic Finite Difference Method},
journal = {{SIAM} J. Sci. Comput.},
volume = {31},
number = {1},
pages = {732--760},
year = {2008},
url = {https://doi.org/10.1137/080717894},
doi = {10.1137/080717894},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamsc/VeigaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/KoopmanJV08,
author = {Johan Koopman and
Dimitri Jeltsema and
Michel Verhaegen},
title = {Port-Hamiltonian formulation and analysis of the LuGre friction model},
booktitle = {Proceedings of the 47th {IEEE} Conference on Decision and Control,
{CDC} 2008, December 9-11, 2008, Canc{\'{u}}n, Mexico},
pages = {3181--3186},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/CDC.2008.4739351},
doi = {10.1109/CDC.2008.4739351},
timestamp = {Fri, 04 Mar 2022 13:27:23 +0100},
biburl = {https://dblp.org/rec/conf/cdc/KoopmanJV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/Venable08,
author = {John R. Venable},
editor = {Jos{\'{e}} Cordeiro and
Joaquim Filipe},
title = {Improving Requirements Analysis - Rigourous Problem Analysis and Formulation
with Coloured Cognitive Maps},
booktitle = {{ICEIS} 2008 - Proceedings of the Tenth International Conference on
Enterprise Information Systems, Volume ISAS-2, Barcelona, Spain, June
12-16, 2008},
pages = {466--470},
year = {2008},
timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
biburl = {https://dblp.org/rec/conf/iceis/Venable08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/OlierV08,
author = {Iv{\'{a}}n Olier and
Alfredo Vellido},
title = {A variational formulation for {GTM} through time},
booktitle = {Proceedings of the International Joint Conference on Neural Networks,
{IJCNN} 2008, part of the {IEEE} World Congress on Computational Intelligence,
{WCCI} 2008, Hong Kong, China, June 1-6, 2008},
pages = {516--521},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/IJCNN.2008.4633841},
doi = {10.1109/IJCNN.2008.4633841},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/OlierV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/OlierV08a,
author = {Iv{\'{a}}n Olier and
Alfredo Vellido},
title = {On the benefits for model regularization of a variational formulation
of {GTM}},
booktitle = {Proceedings of the International Joint Conference on Neural Networks,
{IJCNN} 2008, part of the {IEEE} World Congress on Computational Intelligence,
{WCCI} 2008, Hong Kong, China, June 1-6, 2008},
pages = {1568--1575},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/IJCNN.2008.4634005},
doi = {10.1109/IJCNN.2008.4634005},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/OlierV08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/JacobBV08,
author = {Laurent Jacob and
Francis R. Bach and
Jean{-}Philippe Vert},
editor = {Daphne Koller and
Dale Schuurmans and
Yoshua Bengio and
L{\'{e}}on Bottou},
title = {Clustered Multi-Task Learning: {A} Convex Formulation},
booktitle = {Advances in Neural Information Processing Systems 21, Proceedings
of the Twenty-Second Annual Conference on Neural Information Processing
Systems, Vancouver, British Columbia, Canada, December 8-11, 2008},
pages = {745--752},
publisher = {Curran Associates, Inc.},
year = {2008},
url = {https://proceedings.neurips.cc/paper/2008/hash/fccb3cdc9acc14a6e70a12f74560c026-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/JacobBV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-2085,
author = {Laurent Jacob and
Francis R. Bach and
Jean{-}Philippe Vert},
title = {Clustered Multi-Task Learning: {A} Convex Formulation},
journal = {CoRR},
volume = {abs/0809.2085},
year = {2008},
url = {http://arxiv.org/abs/0809.2085},
eprinttype = {arXiv},
eprint = {0809.2085},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-2085.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcphy/VeeramaniMN07,
author = {C. Veeramani and
Peter Dimitrov Minev and
Krishnaswamy Nandakumar},
title = {A fictitious domain formulation for flows with rigid particles: {A}
non-Lagrange multiplier version},
journal = {J. Comput. Phys.},
volume = {224},
number = {2},
pages = {867--879},
year = {2007},
url = {https://doi.org/10.1016/j.jcp.2006.10.028},
doi = {10.1016/J.JCP.2006.10.028},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcphy/VeeramaniMN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/ParkerSG07,
author = {Austin Parker and
V. S. Subrahmanian and
John Grant},
title = {A Logical Formulation of Probabilistic Spatial Databases},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {19},
number = {11},
pages = {1541--1556},
year = {2007},
url = {https://doi.org/10.1109/TKDE.2007.190631},
doi = {10.1109/TKDE.2007.190631},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/ParkerSG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/CarrKLNP07,
author = {Robert D. Carr and
Goran Konjevod and
Greg Little and
Venkatesh Natarajan and
Ojas Parekh},
editor = {Nikhil Bansal and
Kirk Pruhs and
Clifford Stein},
title = {Compacting cuts: a new linear formulation for minimum cut},
booktitle = {Proceedings of the Eighteenth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2007, New Orleans, Louisiana, USA, January 7-9,
2007},
pages = {43--52},
publisher = {{SIAM}},
year = {2007},
url = {http://dl.acm.org/citation.cfm?id=1283383.1283389},
timestamp = {Tue, 15 Feb 2022 07:54:27 +0100},
biburl = {https://dblp.org/rec/conf/soda/CarrKLNP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pr/GonzalezAVC06,
author = {Luis Gonz{\'{a}}lez Abril and
Cecilio Angulo and
Francisco Velasco Morente and
Andreu Catal{\`{a}}},
title = {Dual unification of bi-class support vector machine formulations},
journal = {Pattern Recognit.},
volume = {39},
number = {7},
pages = {1325--1332},
year = {2006},
url = {https://doi.org/10.1016/j.patcog.2006.01.007},
doi = {10.1016/J.PATCOG.2006.01.007},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pr/GonzalezAVC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/MakrogiannisVKD06,
author = {Sokratis Makrogiannis and
Ragini Verma and
Bilge Kara{\c{c}}ali and
Christos Davatzikos},
title = {A Joint Transformation and Residual Image Descriptor for Morphometric
Image Analysis using an Equivalence Class Formulation},
booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition, {CVPR}
Workshops 2006, New York, NY, USA, 17-22 June, 2006},
pages = {74},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CVPRW.2006.17},
doi = {10.1109/CVPRW.2006.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cvpr/MakrogiannisVKD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/Govindu06,
author = {Venu Madhav Govindu},
editor = {Ales Leonardis and
Horst Bischof and
Axel Pinz},
title = {Revisiting the Brightness Constraint: Probabilistic Formulation and
Algorithms},
booktitle = {Computer Vision - {ECCV} 2006, 9th European Conference on Computer
Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {3953},
pages = {177--188},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11744078\_14},
doi = {10.1007/11744078\_14},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eccv/Govindu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/AnLV06,
author = {Senjian An and
Wanquan Liu and
Svetha Venkatesh},
title = {Efficient Cross-validation of the Complete Two Stages in {KFD} Classifier
Formulation},
booktitle = {18th International Conference on Pattern Recognition {(ICPR} 2006),
20-24 August 2006, Hong Kong, China},
pages = {240--244},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICPR.2006.473},
doi = {10.1109/ICPR.2006.473},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpr/AnLV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/SanchezRMV06,
author = {Omar S{\'{a}}nchez and
Sixto Romero and
Francisco J. Moreno and
Miguel {\'{A}}ngel V{\'{e}}lez},
editor = {Bogdan Gabrys and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Mathematical Formulation of a Type of Hierarchical Neurofuzzy System},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 10th
International Conference, {KES} 2006, Bournemouth, UK, October 9-11,
2006, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {4253},
pages = {406--414},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11893011\_52},
doi = {10.1007/11893011\_52},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/kes/SanchezRMV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/ChardaireMVR05,
author = {Pierre Chardaire and
Geoff P. McKeown and
S. A. Verity{-}Harrison and
S. B. Richardson},
title = {Solving a Time-Space Network Formulation for the Convoy Movement Problem},
journal = {Oper. Res.},
volume = {53},
number = {2},
pages = {219--230},
year = {2005},
url = {https://doi.org/10.1287/opre.1040.0183},
doi = {10.1287/OPRE.1040.0183},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ior/ChardaireMVR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEisic/HoulisS05,
author = {Pantazis Houlis and
Victor Sreeram},
title = {Controller Reduction Via a New Double-Sided Frequency Weighted Model
Reduction Formulation},
booktitle = {Intelligent Control, 2005. Proceedings of the 2005 {IEEE} International
Symposium on, Mediterrean Conference on Control and Automation, Limassol,
Cyprus, 27-29 June, 2005},
pages = {537--542},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/.2005.1467072},
doi = {10.1109/.2005.1467072},
timestamp = {Fri, 07 Jul 2023 20:49:14 +0200},
biburl = {https://dblp.org/rec/conf/IEEEisic/HoulisS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wscg/ArquesBD05,
author = {Didier Arqu{\`{e}}s and
Venceslas Biri and
O. Derpierre},
title = {A new formulation of differential radiosity and a rendering application},
booktitle = {The 13-th International Conference in Central Europe on Computer Graphics,
Visualization and Computer Vision'2005, {WSCG} 2005, University of
West Bohemia, Campus Bory, Plzen-Bory, Czech Republic, January 31
- February 4, 2005},
pages = {177--180},
year = {2005},
timestamp = {Wed, 24 Jul 2013 17:32:33 +0200},
biburl = {https://dblp.org/rec/conf/wscg/ArquesBD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jamia/DuclosCGV04,
author = {Catherine Duclos and
Gian Luigi Cartolano and
Michael Ghez and
Alain Venot},
title = {Model Formulation: Structured Representation of the Pharmacodynamics
Section of the Summary of Product Characteristics for Antibiotics:
Application for Automated Extraction and Visualization of Their Antimicrobial
Activity Spectra},
journal = {J. Am. Medical Informatics Assoc.},
volume = {11},
number = {4},
pages = {285--293},
year = {2004},
url = {https://doi.org/10.1197/jamia.M1425},
doi = {10.1197/JAMIA.M1425},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jamia/DuclosCGV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/moc/AmaraVT04,
author = {Mohamed Amara and
Eliseo Chac{\'{o}}n Vera and
David Trujillo},
title = {Vorticity-velocity-pressure formulation for Stokes problem},
journal = {Math. Comput.},
volume = {73},
number = {248},
pages = {1673--1697},
year = {2004},
url = {https://doi.org/10.1090/S0025-5718-03-01615-6},
doi = {10.1090/S0025-5718-03-01615-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/moc/AmaraVT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/WeruagaVM04,
author = {Luis Weruaga and
Rafael Verd{\'{u}} and
Juan Morales{-}S{\'{a}}nchez},
title = {Frequency Domain Formulation of Active Parametric Deformable Models},
journal = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
volume = {26},
number = {12},
pages = {1568--1578},
year = {2004},
url = {https://doi.org/10.1109/TPAMI.2004.124},
doi = {10.1109/TPAMI.2004.124},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pami/WeruagaVM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/VechtL04,
author = {Bob van der Vecht and
Pedro U. Lima},
editor = {Daniele Nardi and
Martin A. Riedmiller and
Claude Sammut and
Jos{\'{e}} Santos{-}Victor},
title = {Formulation and Implementation of Relational Behaviours for Multi-robot
Cooperative Systems},
booktitle = {RoboCup 2004: Robot Soccer World Cup {VIII}},
series = {Lecture Notes in Computer Science},
volume = {3276},
pages = {516--523},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32256-6\_47},
doi = {10.1007/978-3-540-32256-6\_47},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robocup/VechtL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/VecchiettiLG03,
author = {Aldo R. Vecchietti and
Sangbum Lee and
Ignacio E. Grossmann},
title = {Modeling of discrete/continuous optimization problems: characterization
and formulation of disjunctions and their relaxations},
journal = {Comput. Chem. Eng.},
volume = {27},
number = {3},
pages = {433--448},
year = {2003},
url = {https://doi.org/10.1016/S0098-1354(02)00220-X},
doi = {10.1016/S0098-1354(02)00220-X},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/VecchiettiLG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/Lopez-OsteneroGPV02,
author = {Fernando L{\'{o}}pez{-}Ostenero and
Julio Gonzalo and
Anselmo Pe{\~{n}}as and
Felisa Verdejo},
editor = {Carol Peters and
Martin Braschler and
Julio Gonzalo and
Michael Kluck},
title = {Interactive Cross-Language Searching: Phrases Are Better than Terms
of Query Formulation and Refinement},
booktitle = {Advances in Cross-Language Information Retrieval, Third Workshop of
the Cross-Language Evaluation Forum, {CLEF} 2002. Rome, Italy, September
19-20, 2002. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2785},
pages = {416--429},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-45237-9\_37},
doi = {10.1007/978-3-540-45237-9\_37},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/clef/Lopez-OsteneroGPV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clef/Lopez-OsteneroGPV02a,
author = {Fernando L{\'{o}}pez{-}Ostenero and
Julio Gonzalo and
Anselmo Pe{\~{n}}as and
Felisa Verdejo},
editor = {Carol Peters and
Nicola Ferro},
title = {Interactive Cross-Language Searching: Phrases are Better than Terms
for Query Formulation and Refinement},
booktitle = {Working Notes for {CLEF} 2002 Workshop co-located with the 6th European
Conference on Digital Libraries {(ECDL} 2002), Rome, Italy, September
19-20, 2002},
series = {{CEUR} Workshop Proceedings},
volume = {1168},
publisher = {CEUR-WS.org},
year = {2002},
url = {https://ceur-ws.org/Vol-1168/CLEF2002wn-iCLEF-LopezOsteneroEt2002.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:42 +0100},
biburl = {https://dblp.org/rec/conf/clef/Lopez-OsteneroGPV02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/OweiN01,
author = {Vesper Owei and
Shamkant B. Navathe},
title = {Enriching the conceptual basis for query formulation through relationship
semantics in databases},
journal = {Inf. Syst.},
volume = {26},
number = {6},
pages = {445--475},
year = {2001},
url = {https://doi.org/10.1016/S0306-4379(01)00029-1},
doi = {10.1016/S0306-4379(01)00029-1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/OweiN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/RoyG00,
author = {S{\'{e}}bastien Roy and
Venu Govindu},
title = {{MRF} Solutions for Probabilistic Optical Flow Formulations},
booktitle = {15th International Conference on Pattern Recognition, ICPR'00, Barcelona,
Spain, September 3-8, 2000},
pages = {7053--7059},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICPR.2000.903724},
doi = {10.1109/ICPR.2000.903724},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpr/RoyG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/MurphyP97,
author = {Frederic H. Murphy and
Venkat Panchanadam},
title = {Understanding Linear Programming Modeling Through an Examination of
the Early Papers on Model Formulation},
journal = {Oper. Res.},
volume = {45},
number = {3},
pages = {341--356},
year = {1997},
url = {https://doi.org/10.1287/opre.45.3.341},
doi = {10.1287/OPRE.45.3.341},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ior/MurphyP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecis/TorvinenK97,
author = {Vesa Torvinen and
Berit Kortteinen},
editor = {Robert D. Galliers and
Ciaran Murphy and
Sven A. Carlsson and
Claudia Loebbecke and
Hans Robert Hansen and
Ramon O'Callaghan},
title = {Problem Formulation in is Development Methodologies: Towards {A} Constructive
View Through {A} Deconstructive Approach},
booktitle = {Proceedings of the Fifth European Conference on Information Systems,
{ECIS} 1997, Cork, UK, 1997},
pages = {647--658},
publisher = {Cork Publishing Ltd},
year = {1997},
timestamp = {Mon, 05 Dec 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecis/TorvinenK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/VenkatasubramanianSZ94,
author = {Vaithianathan Venkatasubramanian and
Heinz Sch{\"{a}}ttler and
John Zaborszky},
title = {A Time-Delay Differential-Algebraic Phasor Formulation of the Large
Power System Dynamics},
booktitle = {1994 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
1994, London, England, UK, May 30 - June 2, 1994},
pages = {49--52},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/ISCAS.1994.409523},
doi = {10.1109/ISCAS.1994.409523},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/VenkatasubramanianSZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Subrahmanian88,
author = {V. S. Subrahmanian},
editor = {Harvey Abramson and
M. H. Rogers},
title = {A Simple Formulation of the Theory of Metalogic Programming},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {65--101},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 17:09:12 +0200},
biburl = {https://dblp.org/rec/conf/meta/Subrahmanian88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/VetterP87,
author = {William J. Vetter and
Milton J. Porsani},
title = {Extended matrix formulation for the Marple algorithm},
booktitle = {{IEEE} International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '87, Dallas, Texas, USA, April 6-9, 1987},
pages = {340--343},
publisher = {{IEEE}},
year = {1987},
url = {https://doi.org/10.1109/ICASSP.1987.1169737},
doi = {10.1109/ICASSP.1987.1169737},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icassp/VetterP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afips/Vemuri70,
author = {Venkateswararao Vemuri},
editor = {Harry L. Cooke},
title = {An initial value formulation of the {CSDT} method of solving partial
differential equations},
booktitle = {American Federation of Information Processing Societies: {AFIPS} Conference
Proceedings: 1970 Spring Joint Computer Conference, Atlantic City,
NJ, USA, May 5-7, 1970},
series = {{AFIPS} Conference Proceedings},
volume = {36},
pages = {403--407},
publisher = {{AFIPS} Press},
year = {1970},
url = {https://doi.org/10.1145/1476936.1476998},
doi = {10.1145/1476936.1476998},
timestamp = {Wed, 14 Apr 2021 16:50:07 +0200},
biburl = {https://dblp.org/rec/conf/afips/Vemuri70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-27 01:15 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
