Filters








229,935 Hits in 6.5 sec

FAST: acceleration from theory to practice

Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci
2008 International Journal on Software Tools for Technology Transfer (STTT)  
Fast has proved to perform very well on case studies. This paper describes the tool, from the underlying theory to the architecture choices.  ...  Even if this reachability set is not necessarily recursive, we use innovative techniques, namely symbolic representation, acceleration and circuit selection, to increase convergence.  ...  , and to Ales Smrcka for adapting the Omega source code to recent compilers.  ... 
doi:10.1007/s10009-008-0064-3 fatcat:3msu4gglojfpbignampzd2fz44

Catalyst Acceleration for First-order Convex Optimization: from Theory to Practice [article]

Hongzhou Lin, Julien Mairal, Zaid Harchaoui
2018 arXiv   pre-print
One of the keys to achieve acceleration in theory and in practice is to solve these sub-problems with appropriate accuracy by using the right stopping criterion and the right warm-start strategy.  ...  We give practical guidelines to use Catalyst and present a comprehensive analysis of its global complexity.  ...  As a consequence, the global complexity of MISO/Finito applied to Catalyst is similar to one obtained by SVRG, yielding an acceleration for ill-conditioned problems.  ... 
arXiv:1712.05654v2 fatcat:7cyo2z7z5zclpcocfu4w47ofca

FAST: Fast Acceleration of Symbolic Transition Systems [chapter]

Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci
2003 Lecture Notes in Computer Science  
fast is a tool for the analysis of infinite systems. This paper describes the underlying theory, the architecture choices that have been made in the tool design.  ...  A range of case studies from the literature has been investigated.  ...  Results fast has been applied to a large number of examples (about 40), ranging from Petri nets to abstract multi-threaded JAVA programs, mainly taken from [Del] .  ... 
doi:10.1007/978-3-540-45069-6_12 fatcat:bdifwbi7dfcp3epruwo7nzkqxy

Fast-Roll Inflation

Andrei Linde
2001 Journal of High Energy Physics  
occurs due to the fast-roll inflation.  ...  This instability leads to the development of singularity with the properties practically independent of V(\phi).  ...  Shmakova for the collaborative effort in our work on the fast-roll inflation in N=8 supergravity [9] .  ... 
doi:10.1088/1126-6708/2001/11/052 fatcat:my6tvhlvwfbbdcmvpi7rechtzq

Not so fast

D. D. ELEY
1974 Nature  
An Introduction to the Theory of Turbulent Plasmas by Tsytovich, bringing together references to many of the papers published by Russian workers in the last few years.  ...  This is essentially a text book rather than a practical guide.  ... 
doi:10.1038/251171c0 fatcat:3fqqiku4hzamllyvaboye5p6pu

Fast multigrid solver

Petr Vaněk
1995 Applications of Mathematics  
The operator norm lM|-f,_^R n can be estimated using Brandt's technique with help of Cea's trick known from the theory of the finite element method.  ...  In practice this requirement seems to be too strong. Usually we will be satisfied with the fulfilment of a weaker condition (1.9) Mpvttpv.  ...  Lemma 6,12 states that the nearer to 1 f is (i.e. x % smoother) the more effective the iteration is. Smoothness of M Ul e(x l ) can be improved by increasing the number of pre-smoothing steps v\.  ... 
doi:10.21136/am.1995.134274 fatcat:v5d5ihzykzgqpgg5b3kri2h7ye

Local analysis of fast magnetic reconnection [article]

Allen H Boozer
2022 arXiv   pre-print
Traditional reconnection theory ignores exponentially large variations and relies on the current density reaching a magnitude that is exponentially larger than is actually required.  ...  These results follow from the variation in the separation of neighboring pairs of magnetic field lines, which in an ideal evolution typically increases exponentially with time, and the existence of a spatial  ...  Understanding fast reconnection as an intrinsic implication of Faraday's law is a sharp shift in paradigm from traditional reconnection theory.  ... 
arXiv:2202.09494v5 fatcat:foixpx5gs5ci5ccyadyofnwx6q

Introduction to Fast Capitalism 15.1

Timothy W. Luke
2018 Fast Capitalism  
Since 2005, Fast Capitalism has worked to serve as an academic journal with a political intent.  ...  Some papers will stick close to the ground of daily life and politics; others will ascend the heights of theory in order to get the big picture.  ...  Introduction to Fast Capitalism 15.1 Timothy W. Luke the right to look and serve as the authoritative voyeur of spectatorship is conferred to the West.  ... 
doi:10.32855/fcapital.201801.001 fatcat:pmsu7iq4zbbt3dpoxfiur4dtma

A Fast Anderson-Chebyshev Acceleration for Nonlinear Optimization [article]

Zhize Li, Jian Li
2020 arXiv   pre-print
It is known that Anderson acceleration is quite efficient in practice and can be viewed as an extension of Krylov subspace methods for nonlinear problems.  ...  Accelerated GD.  ...  The authors also would like to thank Francis Bach, Claude Brezinski, Rong Ge, Damien Scieur, Le Zhang and anonymous reviewers for useful discussions and suggestions.  ... 
arXiv:1809.02341v4 fatcat:5kghvryk2re2rhiehbllsywt3y

An Overview of the Fast Auroral Snapshot (FAST) Satellite [chapter]

R. Pfaff, C. Carlson, J. Watzin, D. Everett, T. Gruner
2001 The FAST Mission  
The FAST satellite is a highly sophisticated scientific satellite designed to carry out in situ measurements of acceleration physics and related plasma processes associated with the Earth's aurora.  ...  This paper describes the overall FAST mission, including a discussion of the spacecraft design parameters and philosophy, the FAST orbit, instrument and data acquisition systems, and mission operations  ...  to the success of the FAST mission.  ... 
doi:10.1007/978-94-010-0332-2_1 fatcat:aggvh4k5qvgadn7cnmhkvbsnmu

A very fast parallel object store for very fast applications

L. Böszörményi, K.H. Eder, C. Weich
1997 Simulation Practice and Theory  
The architecture is able to take advantage of available main memory in a parallel or distributed environment.  ...  Such an architecture is especially advantageous for applications requiring very fast answers, such as CAD or high-performance simulation.  ...  Measurements How fast would an operation in a PPOST based database actually run? What operation acceleration and size scalability can actually be expected?  ... 
doi:10.1016/s0928-4869(96)00024-9 fatcat:w4cvpu7l3na43mjl5tk7mudxcy

Fast Censored Linear Regression

Yijian Huang
2013 Scandinavian Journal of Statistics  
The proposed estimator is asymptotically equivalent to the consistent root estimator and barely distinguishable in samples of practical size.  ...  We also develop fast interval estimation with a new proposal for sandwich variance estimation.  ...  Partial support by grants from the US National Science Foundation and the US National Institutes of Health is gratefully acknowledged.  ... 
doi:10.1111/sjos.12031 pmid:24347802 pmcid:PMC3857564 fatcat:qwpq6lrvsrbktk4p5xac6fdoai

Fast Fourier Convolution

Lu Chi, Borui Jiang, Yadong Mu
2020 Neural Information Processing Systems  
According to spectral convolution theorem in Fourier theory, point-wise update in the spectral domain globally affects all input features involved in Fourier transform, which sheds light on neural architectural  ...  In this work, we propose a novel convolutional operator dubbed as fast Fourier convolution (FFC), which has the main hallmarks of non-local receptive fields and cross-scale fusion within the convolutional  ...  The shallowest layers are supposed to mainly exploit low-level local patterns, therefore we set α in = 0 in practice.  ... 
dblp:conf/nips/ChiJM20 fatcat:wk7jkrrxuzarxfb3dlzo7rhw6y

Slow science for fast archaeology

Marko Marila
2019 Current Swedish Archaeology  
Drawing from discussions in slow science and the related idea that scientific importance is a matter of concern rather than fact, the contribution proposes that archaeologists start to cultivate methods  ...  In particular, as a measure to mitigate the epistemological effects of archaeology's methodological acceleration, the contribution suggests the publishing of personal hunches, failed hypotheses, and so  ...  The genetics revolution and archaeological theory' in Cambridge in June 2018. An early version of this paper was first presented there.  ... 
doi:10.37718/csa.2019.05 fatcat:2u4s4w7gwzdwpe27se26zdnxwy

Dynamics of fast dislocations

Chung-Ho Woo
2003 Materials Science & Engineering: A  
Upon release from the clusters, this segment of dislocation regains speed and becomes transonic again.  ...  The results indicate that a transonic dislocation will be slowed down to subsonic speed by a subsonic dislocation in front of it, and that approaching dislocations at sufficiently high velocities may not  ...  Acknowledgements The work described in this paper was supported by a grant from the Research Grants Council of the Hong Kong Special Administrative Region (PolyUl/99C).  ... 
doi:10.1016/s0921-5093(02)00701-3 fatcat:yuei4qqrtzhjla4zkdvsg5ppnq
« Previous Showing results 1 — 15 out of 229,935 results