A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
Filters
Coupling Variable Fixing Algorithms for the Automatic Recording Problem
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
Relying on that specific structure, effective variable fixing algorithms (VFAs) are only suited for the problems they have been designed for. ...
For such combinations, we show how VFAs for linear optimization problems can be coupled via Lagrangian relaxation. ...
We would like to thank Burkhard Monien for helpful comments.
References ...
doi:10.1007/3-540-44676-1_11
fatcat:lxmknspdsrcxtj6avbekwsc4yq
Application of the Front-Fixing Method to Numerical Modeling of Field Diffusion in Nonlinear Systems
2009
IEEE transactions on magnetics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Application of a finite volume front-fixing method to a thermistor problem with strongly nonlinear material properties is discussed. ...
Advantages and implementation problems of the method are highlighted. ...
Efficient algorithms based on decoupling of the problem can be implemented. 4) High accuracy can be achieved on a coarse irregular mesh since the interface is automatically adjusted to crucial regions ...
doi:10.1109/tmag.2009.2012634
fatcat:3isalefipnanrmrvvw2a5v4orm
A Discrete Adjoint Method for Pressure-Based Algorithms
2021
Computers & Fluids
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Automatic differentiation is used extensively for the construction of the adjoint fixed point iteration. The concept of Krylov subspace methods was adopted to stabilize the solution procedure. ...
A common linearization technique in collocated pressure-based algorithms is the introduction of a mass flux variable on the cell faces which is kept constant during the inner iterations. ...
As a proof of concept, the developed adjoint
150
Algorithm 1 Recording the residual computationAlgorithm 3 Compute ∂J ∂u with automatic differentiation 1: activate the tape 2: register state u as ...
doi:10.1016/j.compfluid.2021.105037
fatcat:iblzqxhurnfmxivkfer56njkmi
Improvement of the Diagnostic Accuracy in Computer-Assisted Differential Diagnosis for Wide QRS Premature Complexes
2003
Circulation Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Masaki Kanazawa, NEC Solutions Co Ltd, Tokyo, Japan, for their technical assistance in the making of the computer algorithm. ...
Acknowledgments The authors express deep gratitude to Mr Shigeru Shimizu, GE Marquette Japan Co Ltd, Tokyo, Japan and Mr. ...
Also, premature complexes that had a uniform QRS morphology with variable coupling and multiform QRS morphology with fixed coupling were excluded. ...
doi:10.1253/circj.67.1036
pmid:14639020
fatcat:hwvjq57in5gydfrd26guv42fri
A method for solving systems of non-linear differential equations with moving singularities
2003
Computer Physics Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We show how a first integral of the differential equations, if available, can also be used for checking the accuracy of the numerical solution. ...
We present a method for solving a class of initial valued, coupled, non-linear differential equations with 'moving singularities' subject to some subsidiary conditions. ...
Then at the first instant when |R| becomes smaller than 0.1, henceforth called 'the fixed point', the algorithm records all the relevant values (X, Y, X , Y , R, β) and continues integrating towards the ...
doi:10.1016/s0010-4655(02)00630-6
fatcat:a3sriseq3zgsfeat6lzvehwxwa
Design of ultra-low-power smart wearable systems
2015
2015 16th Latin-American Test Symposium (LATS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This new algorithm has been integrated in the processing pipeline of automated Heart-Rate Variability (HRV) analysis, both for time-domain (RMSSD, SDNN) and frequencydomain (LF/HF) algorithms. ...
Thus, using this algorithm INYU can quickly decide if a beat is occurring at an expected time or if there is a problem in the series (e.g., a skipped, an extra or a misplaced beat). ...
The probabilistic heart-beat detection and correction algorithm was included in the processing pipeline as an additional step to improve automatic processing for HRV analysis, while still providing the ...
doi:10.1109/latw.2015.7102527
dblp:conf/latw/SurrelRMA15
fatcat:tkbuxrqa6fhehfvgy4mrgy65qq
Recorded Step Directional Mutation for Faster Convergence
[article]
2009
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
The strategies, called directional mutation and recorded step in this paper, can operate independently but together they greatly enhance the ability of evolutionary programming algorithms to deal with ...
of the problem is not oriented along the axes. ...
Finally, the graph in 3 illustrates the convergence rates for the narrow Here, all algorithms except for directional mutation with step recording have severe problems with convergence. ...
arXiv:0803.3838v2
fatcat:nnsgicrv6ff3zoqntgg7oyf5qu
Synthesizing coupling proofs of differential privacy
2017
Proceedings of the ACM on Programming Languages
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2017 pre-print arXiv:1709.05361v1 fatcat:pjgd5znqgvgqdfeze7fchglrkiOther Versions
We make several conceptual, algorithmic, and practical contributions: (i) Inspired by the recent advances on approximate couplings and randomness alignment, we present a new proof technique called coupling ...
(iv) Finally, we implement our technique in the FairSquare verifier and provide the first automated privacy proofs for a number of challenging algorithms from the differential privacy literature, including ...
ACKNOWLEDGMENTS We thank Gilles Barthe, Marco Gaboardi, Zachary Kinkaid, Danfeng Zhang, and the anonymous reviewers for stimulating discussions and useful comments on earlier drafts of this work. ...
doi:10.1145/3158146
dblp:journals/pacmpl/AlbarghouthiH18
fatcat:c3od4wpcbvhgfgaotao7crk5jm
Co-Simulation between detailed building energy performance simulation and Modelica HVAC component models
2017
Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, May 15-17, 2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
First, we describe the generation process of the building FMU from our stand-alone building simulation program NANDRAD and sketch out internal algorithms for FMI version 2 capabilities. ...
Then, coupling scenarios are described and physical interface conventions are presented. Usability is addressed by automatic generation of building-model specific adapters and wrappers. ...
Acknowledgements We gratefully acknowledge the support and funding received from the German Federal Ministery for Economic Affairs and Energy in the research project "En-Tool:CoSim" #03ET1215A F-002792 ...
doi:10.3384/ecp1713263
dblp:conf/modelica/NicolaiP17
fatcat:qcpvrol6vzbw3pnzyvvntgf52y
Automatic Electronic Invoice Classification Using Machine Learning Models
2020
Machine Learning and Knowledge Extraction
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
To apply this model to real datasets, a multi-step procedure is proposed: first, a matching algorithm is used for the reconstruction of the training set, then input data are elaborated and prepared for ...
To accomplish this classification task, a multiclass classification algorithm is proposed to predict two different target variables, the account and the VAT codes, which are part of the general ledger ...
Acknowledgments: We thank Datev.it S.p.a. for the data provided and for the PhD scholarship.
Conflicts of Interest: The authors declare no conflict of interest. ...
doi:10.3390/make2040033
fatcat:p6hujwyrvjfwhe4aw5tzg2rvoy
Study on Intelligent Designs of Heavy Metal Online Monitoring System for Water
2015
Chemical Engineering Transactions
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
as system health-checking, variable-error automatic compensation and automatic rang switching function, improved the accuracy and intelligent level of the monitoring systems. ...
Experiments demonstrate that the novel intelligent designs improved the detection precision, reliability and adaptability of the system obviously, for online monitoring and unattended occasions, it will ...
Traditional electrochemical detection system, its sampling range was selected artificially, whose detection circuit channel for current signal detection was fixed, so the adaptability of fixed range detection ...
doi:10.3303/cet1546059
doaj:8215c8ff08a240c389a06e3e5b135dfc
fatcat:zippz25mnngnbmfehrznlkjbta
A Parameter Refinement Method for Ptychography Based on Deep Learning Concepts
2021
Condensed Matter
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Automatic procedures are indeed crucial to reduce the time for a reliable analysis, which has a significant impact on all the fields that use this kind of microscopy. ...
In this work, we formally introduce these actors, solving the whole reconstruction as an optimisation problem. ...
that records the story of the expression, from the input variables to the generated result. ...
doi:10.3390/condmat6040036
fatcat:icuerowofrec3leoutevi45lxa
Large-scale 0–1 linear programming on distributed workstations
1990
Annals of Operations Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
We present a methodology which uses a collection of workstations connected by an Ethernet network as a parallel processor for solving large-scale linear programming problems. ...
The current version of the ABCOPT system uses a modified subset of the XMP software package for linear programming written by Roy Marsten of the University of Arizona (Marsten [34] ). ...
Acknowledgements The authors wish to thank Manfred Padberg for his helpful suggestions on improving this research and careful reviewing of an early version of this paper. ...
doi:10.1007/bf02023053
fatcat:x5rh2q5et5eqlev7hi2xyauuiy
Dynamic Difficulty Adjusting Strategy for a Two-player Video Game
2013
Procedia Technology - Elsevier
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper describes the progress in implementing an adaptive difficulty strategy in a two-player game, which has been programmed in C, using the SDL graphic library. ...
The selected game mechanics are similar to those of a tank game, which ency, so that both players find a challenge suited to their capabilities, regardless of their skills. ...
5 . 5 Example graph for automatically recorded results
Table 1. ...
doi:10.1016/j.protcy.2013.04.039
fatcat:y2ty7knsrvetllps4tk2xyqoim
Shift-Invariance Sparse Coding for Audio Classification
[article]
2012
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
By optimizing over complex-valued variables in the Fourier domain, we reduce the coupling between the different variables, allowing the problem to be solved efficiently. ...
In this paper, we present an efficient algorithm for learning SISC bases. ...
well with problems whose variables are tightly coupled. ...
arXiv:1206.5241v1
fatcat:cfsy7mz65zgc7belm4gblc6qn4
« Previous
Showing results 1 — 15 out of 72,653 results