Results 11 to 20 of about 702,666 (251)
Parametric and Quantitative Extensions of Modal Transition Systems [PDF]
, 2014 International audienceModal transition systems provide a behavioral and compositional specification formalism for reactive systems. We survey two extensions of modal transition systems: parametric modal transition systems for specifications with ...
Larsen, Kim Guldstrand; id_orcid +12 more
core +1 more source
M[pi]log, Macromodeling via parametric identification of logic gates [PDF]
, 2003 This paper addresses the development of computational models of digital integrated circuit input and output buffers via the identification of nonlinear parametric models. The obtained models run in standard circuit simulation environments, offer improved
Stievano, Igor Simone +2 more
core +1 more source
Parametric transfer in a synchronously pumped optical parametric oscillator [PDF]
, 2006 The conditions for high fidelity parametric transfer of the pulse shape of a near-infrared pump pulse to a mid-infrared idler pulse of a synchronously pumped optical parametric oscillator are investigated theoretically and ...
Shepherd, D.P. +4 more
core +2 more sources
GridFTP: Protocol Extensions to FTP for the Grid [PDF]
, 2013 GridFTP: Protocol Extensions to FTP for the ...
Ould-Saada, Farid
core +1 more source
Computing preferred extensions in abstract argumentation : a SAT based approach [PDF]
, 2013 This paper presents a novel SAT-based approach for the computation of extensions in abstract argumentation, with focus on preferred semantics, and an empirical evaluation of its performances.
Vallati, Mauro +8 more
core +2 more sources
Bootstrap Model-Based Constrained Optimization Tests of Indirect Effects
Frontiers in Psychology, 2020 In mediation analysis, conditions necessary for commonly recommended tests, including the confidence interval (CI)-based tests, to produce an accurate Type I error, do not generally hold for finite sample sizes and non-normally distributed model ...
Davood Tofighi
doaj +1 more source
Rate-dependent extensions of the parametric magneto-dynamic model with magnetic hysteresis
AIP Advances, 2017 This paper extends the parametric magneto-dynamic model of soft magnetic steel sheets to account for the phase shift between local magnetic flux density and magnetic field strength.
S. Steentjes +4 more
doaj +1 more source
Approximation of Densities on Riemannian Manifolds
Entropy, 2019 Finding an approximate probability distribution best representing a sample on a measure space is one of the most basic operations in statistics. Many procedures were designed for that purpose when the underlying space is a finite dimensional Euclidean ...
Alice le Brigant, Stéphane Puechmorel
doaj +1 more source
Qiskit-Extensions/circuit-knitting-toolbox: Circuit Knitting Toolbox 0.5.0
, 2023 <h2>What's Changed</h2> <ul> <li>Configure mergify to perform stable backports by @garrison in https://github.com/Qiskit-Extensions/circuit-knitting-toolbox/pull/420</li> <li>Use parameterless gates where possible by ...
Hitomi Takahashi +11 more
core +1 more source
Journal of Inequalities and Applications, 2007 We give the L2 estimates for the Marcinkiewicz integral with rough variable kernels associated to surfaces. More precisely, we give some other sufficient conditions which are different from the conditions known before to warrant that the L2-boundedness ...
Kôzô Yabuta, Qingying Xue
doaj +1 more source