Filters








128 Hits in 11.9 sec

Digital Version of Green`s Theorem and its Application to The Coverage Problem in Formal Verification [article]

Eli Appleboim, Emil Saucan
2003 arXiv   pre-print
We present a novel scheme to the coverage problem, introducing a quantitative way to estimate the interaction between a block and its enviroment.This is achieved by setting a discrete version of Green's  ...  theorem, specially adapted for Model Checking based verification of integrated circuits.This method is best suited for the coverage problem since it enables one to quantify the incompleteness or, on the  ...  This is achieved by setting a discrete version of Green's Theorem, specially adapted for Model Checking based verification.  ... 
arXiv:cs/0309008v1 fatcat:f2ljodqljvda5hkmstil5gfdhq

Curvature Based Clustering for DNA Microarray Data Analysis [chapter]

Emil Saucan, Eli Appleboim
2005 Lecture Notes in Computer Science  
Zeevi, Lecture Notes in Computer Science, CVAMIA 2006, 4241, pp. 155-165, Springer-Verlag, 2006. (6) Digital Version Of Green's Theorem and its Application to the Coverage Problem in Formal Verification  ...  of the Department of Mathematics Bacau, Bacau, Romania, September 18-20, 2006. (6) A metric curvature and some of its applications, with Eli Appleboim and Yehoshua Y.  ... 
doi:10.1007/11492542_50 fatcat:lney3vpjbzggza4cgcnqfbqheu

Pinna-related transfer functions and lossless wave equation using finite-difference methods: Verification and asymptotic solution

Sebastian T. PrepeliȚă, Javier Gómez Bolaños, Michele Geronazzo, Ravish Mehra, Lauri Savioja
2019 Journal of the Acoustical Society of America  
A common approach when employing discrete mathematical models is to assess the reliability and credibility of the computation of interest through a process known as solution verification.  ...  In this paper, known and manufactured formal solutions are used and tailored for the wave equation and frequency-independent boundary conditions inside a rectangular room of uniform acoustic wall-impedance  ...  Verification does not address the efficiency, applicability, nor the representation of any real world process by the formal model [172] .  ... 
doi:10.1121/1.5131245 pmid:31795719 fatcat:c2dyqwi3izexvn6g7a4xlakh4q

Calculational semantics

Raymond T. Boute
2006 ACM Transactions on Programming Languages and Systems  
Application to a semantic theory proceeds by describing program behavior in the simplest possible way, namely by program equations, and discovering the axioms of the theory as theorems by calculation.  ...  The objects of programming semantics, namely, programs and languages, are inherently formal, but the derivation of semantic theories is all too often informal, deprived of the benefits of formal calculation  ...  The consequences are more severe than in calculus, since the application of language semantics to practical problems is formal logic, as well.  ... 
doi:10.1145/1146809.1146814 fatcat:lkx5lbxo5nbanfcwhyxdmuadxi

Fundamentals of Data Assimilation applied to biogeochemistry

Peter J. Rayner, Anna M. Michalak, Frédéric Chevallier
2018 Atmospheric Chemistry and Physics Discussions  
It demonstrates that all of the methods in widespread use within the field are special cases of the underlying Bayesian formalism.  ...  It thus provides a basis for comparison and choice among these methods. It also provides a standardised notation for the various quantities used in the field.</p>  ...  has proceeded from informality to formal methods and from small to larger problems.  ... 
doi:10.5194/acp-2018-1081 fatcat:sjdmocvgufcmvi5fo3aotq6gwi

BME VIK Annual Research Report on Electrical Engineering and Computer Science 2016

Hassan Charaf, Gábor Harsányi, András Poppe, Sándor Imre, Bálint Kiss, Tamás Dabóczi, Gyula Katona, Lajos Nagy, Gábor Magyar, István Kiss
2017 Periodica Polytechnica Electrical Engineering and Computer Science  
PrefaceSince being established in 1949, the Faculty of Electrical Engineering and Informatics (VIK) BME has played a flagship role in the development of electronics, IT and computer science in Hungary.  ...  We are proud of combining engineering applications with sound scientific results, which is the assurance of high-level industrial collaboration leading to novel results and innovation.  ...  We note that the exponential reduction in this theorem is the first of its kind for problems of this sort.  ... 
doi:10.3311/ppee.11067 fatcat:danqnppunnhq3mc2ns3qfhdwy4

Linear Algebra with Disordered Sparse Matrices that have Spatial Structure: Theory and Computation [article]

Vincent E. Sacksteder IV
2004 arXiv   pre-print
problems which computing can cause for the physics community, and of the physics community's current efforts to handle those problems.  ...  model which generalizes Berry's model of wavefunctions in chaotic systems to include both localization and multifractality. (4) A proposal of a new sigma model for disordered systems which does not involve  ...  that these problems are due to my sloppiness and mistakes, not to deficiencies in the formalism.  ... 
arXiv:cond-mat/0411386v1 fatcat:lo2qkh5yazeubjdn6nwmmztq7e

Fundamentals of data assimilation applied to biogeochemistry

Peter J. Rayner, Anna M. Michalak, Frédéric Chevallier
2019 Atmospheric Chemistry and Physics  
It demonstrates that all of the methods in widespread use within the field are special cases of the underlying Bayesian formalism.  ...  It thus provides a basis for comparison and choice among these methods. It also provides a standardised notation for the various quantities used in the field.  ...  This publication is an outcome of the ISSI's Working Group on "Carbon Cycle Data Assimilation: How to consistently assimilate multiple data streams". Financial support.  ... 
doi:10.5194/acp-19-13911-2019 fatcat:uh4lcunth5hm3g5x2ius2gcf4u

Poincare and the Three Body Problem

Daniel Henry Gottlieb, June Barrow-Green
1999 The American mathematical monthly  
[1916a] The scientific work of Sir George Darwin G. H. Darwin, Scientific Papers V Cambridge University Press 1916, xxxiv-lv.  ...  It will be seen that in both versions Poincare divided the memoir into two parts: theory and application, and in each case he applied the theory to a simplified form of the three body problem now known  ...  By a clever application of Green's theorem and, for the first time, using the idea of an invariant integral, Poincare showed that the secular term which appeared in each approximation was necessarily unique  ... 
doi:10.2307/2589771 fatcat:y2pjmrxvh5dvjllqvbdaobeir4

Noisy intermediate-scale quantum (NISQ) algorithms [article]

Kishor Bharti, Alba Cervera-Lierta, Thi Ha Kyaw, Tobias Haug, Sumner Alperin-Lea, Abhinav Anand, Matthias Degroote, Hermanni Heimonen, Jakob S. Kottmann, Tim Menke, Wai-Keong Mok, Sukin Sim (+2 others)
2021 arXiv   pre-print
The goal of such algorithms is to leverage the limited available resources to perform classically challenging tasks.  ...  In the search for quantum advantage with these devices, algorithms have been proposed for applications in various disciplines spanning physics, machine learning, quantum chemistry and combinatorial optimization  ...  In its original form, the UCC ansatz faces several drawbacks in its application to larger chemistry problems as well as to other applications.  ... 
arXiv:2101.08448v2 fatcat:eawbcaxikjeb7d3wqbjhutjdxy

The U.S. National committee Reports for Commission 6 of URSI Sobcommission 6.3. Electromagnetics (Introduction and 4 Parts)

K.M. Siegel, V.H. Rumsey, R.C. Hansen, A. Ksienski, W.S. Ament, W.C. Hoffman, F.J. Zucker, J.R. Wait, C.T. Tai, R.E. Collin, A.A. Oliner, L.B. Felsen (+6 others)
1964 Journal of Research of the National Bureau of Standards Section D Radio Science  
The application of the ergodic theorem to problems of wave propagation through a random time-varying medium has been considered by T. J. Skinner [1961] .  ...  The theory of partial coherence should find further application in optical analog computing devices, soon to be instrumented to supplement, and, in some cases, replace digital computer techniques when  ...  condi tions explicitly and need n ot r ework p ar ts of the problem correspondin g to isolat ed scatterer problem s .  ... 
doi:10.6028/jres.068d.059 fatcat:nw4g46ulhjfb7pumps5s4xmbk4

A fast algorithm with error bounds for Quadrature by Expansion

Matt Wala, Andreas Klöckner
2018 Journal of Computational Physics  
It exploits the smoothness of the layer potential by forming locally-valid expansion which are then evaluated to compute the near or on-surface value of the integral.  ...  In this paper, we improve upon this approach with a modified algorithm for which we give a comprehensive analysis of error and cost in the case of the Laplace equation in two dimensions.  ...  Any opinions, findings, and conclusions, or recommendations expressed in this article are those of the authors and do not necessarily reflect the views of the National Science Foundation; NSF has not approved  ... 
doi:10.1016/j.jcp.2018.05.006 fatcat:lsc546tswre33g3fwiiufbfqfm

Symmetry, Almost

Amanda Folsom
2019 Notices of the American Mathematical Society  
The AMS is not responsible for rate changes or for the quality of the accommodations. Hotels have varying cancellation and early checkout penalties; be sure to ask for details.  ...  Invited Addresses Special Sessions If you are volunteering to speak in a Special Session, you should send your abstract as early as possible via the abstract submission form found at http://www.ams.org  ...  Renaming theorems just to set the record Simon has a mission to present the best quality versions of theorems (e.g., the broadest version of the Cauchy integral formula)-often at the cost of some extra  ... 
doi:10.1090/noti1775 fatcat:xwrijzvqazg7bdym7un5qq2jjq

A Primer of Mathematical Writing, Second Edition [article]

Steven G. Krantz
2016 arXiv   pre-print
Not only does the book cover basic principles of grammar, syntax, and usage, but it takes into account developments of the last twenty years that have been inspired by the Internet.  ...  This is a tract on the art and practice of mathematical writing.  ...  It allows you to say to the reader "This is the crux of the proof, but its verification involves some nasty details.  ... 
arXiv:1612.04888v1 fatcat:lkxvvroozfdqfkivb7kmh62qte

Relevance of time‐varying properties of the first formant frequency in vowel representation

Maria‐Gabriella Di Benedetto
1985 Journal of the Acoustical Society of America  
This paper will describe the algorithm and will give some results of using it against a phonemically tagged version of the Lancaster-Oslo/ Bergen Corpus. CS.  ...  Task • 1 is mainly a problem in applied linguistics; task #2 can best be seen as applied AI; task #3 is an application of phonetics and signal processing expertise.  ...  The average recognition rate in terms of digits, four-digit sequences, and the number of digits was improved by 1.9% {from 93.6% to 95.5%}, by 6.7% {from 76.2% to 82.9%} and by 9.5% (from 88.6% to 98.1%  ... 
doi:10.1121/1.2023018 fatcat:3lbckbce2rglzj7zx3fp4nhiui
« Previous Showing results 1 — 15 out of 128 results