Filters








72,653 Hits in 7.3 sec

Coupling Variable Fixing Algorithms for the Automatic Recording Problem [chapter]

Meinolf Sellmann, Torsten Fahle
2001 Lecture Notes in Computer Science  
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

I.O. Golosnoy, J.K. Sykulski
2009 IEEE transactions on magnetics  
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

Benno Fleischli, Luca Mangani, Armando Del Rio, Ernesto Casartelli
2021 Computers & Fluids  
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

Takao Katoh, Kenji Yodogawa, Tadaaki Ohno, Hirokazu Hayakawa
2003 Circulation Journal  
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

S.S. Gousheh, H.R. Sepangi, K. Ghafoori-Tabrizi
2003 Computer Physics Communications  
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

Gregoire Surrel, Francisco Rincon, Srinivasan Murali, David Atienza
2015 2015 16th Latin-American Test Symposium (LATS)  
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]

Ted Dunning
2009 arXiv   pre-print
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

Aws Albarghouthi, Justin Hsu
2017 Proceedings of the ACM on Programming Languages  
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

Andreas Nicolai, Anne Paepcke
2017 Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, May 15-17, 2017  
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

Chiara Bardelli, Alessandro Rondinelli, Ruggero Vecchio, Silvia Figini
2020 Machine Learning and Knowledge Extraction  
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

F.S. Wang, J. Zhang, X.H. Sun, Z.Y. Zhang, X.Y. He, Y. Zhao
2015 Chemical Engineering Transactions  
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

Francesco Guzzi, George Kourousias, Alessandra Gianoncelli, Fulvio Billè, Sergio Carrato
2021 Condensed Matter  
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

Timothy L. Cannon, Karla L. Hoffman
1990 Annals of Operations Research  
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

Víctor M. Álvarez Pato, Carlos Delgado-Mata
2013 Procedia Technology - Elsevier  
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]

Roger Grosse, Rajat Raina, Helen Kwong, Andrew Y. Ng
2012 arXiv   pre-print
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