Results 61 to 70 of about 15,626,578 (183)

Synthesizing Program Input Grammars

, 2017
We present an algorithm for synthesizing a context-free grammar encoding the language of valid program inputs from a set of input examples and blackbox access to the program.
Albarghouthi A., Cadar C., Cho C. Y., Forrester J. E., Godefroid P., Holler C., Huang L., Lee L., Oncina J., Solomonoff R. J., Sutton M., Sutton M., Vardhan A., Viide J., Wondracek G.   +14 more
core   +1 more source

Hydrodynamic reductions of multi-dimensional dispersionless PDEs: the test for integrability [PDF]

, 2003
A (d+1)-dimensional dispersionless PDE is said to be integrable if its n-component hydrodynamic reductions are locally parametrized by (d-1)n arbitrary functions of one variable.
Ferapontov, E. V., Khusnutdinova, K. R.
core   +4 more sources

Frequency, intensity, and field fluctuations in laser oscillators [PDF]

, 1974
The basic differential equation governing laser noise is derived from classical and quantum mechanical considerations.
Caton, William M., Yariv, Amnon
core   +1 more source

Comparison of Test Equating Methods Based on Item Response Theory According to the Sample Size and Ability Distribution

, 2012
In this study, it was aimed that equating methods of “mean-mean”, “mean-sigma”, “Heabera” and “Stocking-Lord” were compared in terms of the ability distribution and sample size variables based on Item Response Theory (IRT).
Sevilay Kilmen, Nükhet Demi̇rtaşli
semanticscholar   +1 more source

Exact soliton solutions of the one-dimensional complex Swift-Hohenberg equation

, 2003
Using Painlev\'e analysis, the Hirota multi-linear method and a direct ansatz technique, we study analytic solutions of the (1+1)-dimensional complex cubic and quintic Swift-Hohenberg equations. We consider both standard and generalized versions of these
Adrian Ankiewicz, Akhmediev, Ankiewicz, Aranson, Aranson, Aranson, Bekki, Berloff, Buceta, Cariello, Chow, Conte, Cross, Garcia-Ojalvo, Hohenberg, Karlsson, Ken-ichi Maruno, Lega, Lega, Marcq, Moores, Nail Akhmediev, Nozaki, Pereira, Sakaguchi, Sakaguchi, Sanchez-Morcillo, Sanchez-Morcillo, Staliunas, Staliunas, Swift, Tribelskii, van Saarloos, Weiss   +33 more
core   +1 more source

Can useful toroidal current be driven by classical viscoresistive Alfvén waves? [PDF]

, 1991
Simple, yet exact, analytic solutions for the shear and compressional Alfvén wave are obtained for helical magnetohydrodynamic (MHD) waves in cylindrical geometry with both resistivity and viscosity included.
Bellan, P. M., Schalit, M. A.
core   +1 more source

Placing Multiple Tests on a Common Scale Using a Post-test Anchor Design: Effects of Item Position and Order on the Stability of Parameter Estimates

Frontiers in Applied Mathematics and Statistics, 2018
When there is an interest in tracking longitudinal trends of student educational achievement using standardized tests, the most common linking approach generally involves the inclusion of a common set of items across adjacent test administrations ...
Davide Marengo, Renato Miceli, Rosalba Rosato, Michele Settanni   +3 more
doaj   +1 more source

Symbolic Software for the Painleve Test of Nonlinear Ordinary and Partial Differential Equations

, 2006
The automation of the traditional Painleve test in Mathematica is discussed. The package PainleveTest.m allows for the testing of polynomial systems of ordinary and partial differential equations which may be parameterized by arbitrary functions (or ...
Ablowitz M J, Clarkson P A, Conte R, Conte R, Fordy A P, Goriely A, Hereman W, Hirota R, Ince E L, Jimbo M, Johnson R S, Kruskal M D, Lamb G L, McLeod J B, Newell A C, Osgood W F, Painlevé P, Pickering A, Ramani A, Rand D W, Renner F, Scheen C, Tan Y, Ward R S, Weiss J, Weiss J, Xu G Q, Xu G Q, Xu G Q, Yoshida H, Ziglin S L, Ziglin S L, Ziglin S L   +32 more
core   +1 more source

On black hole thermodynamics from super Yang-Mills

, 2013
We consider maximally supersymmetric U(N) Yang-Mills in (1+p)-dimensions for p < 3. In the 't Hooft large N limit this is conjectured to be dual to N Dp-branes in the decoupling limit. At low temperatures T
Wiseman, Toby
core   +1 more source

The Equating of Battery Test Packages of Mathematics National Examination 2013-2016

SHS Web of Conferences, 2018
When a test implements several test instruments, there is an assurance that the test instruments that will be implemented are equal and this equality is an urgent matter. Therefore, this study aimed at confirming the equality of the test instruments that
Kartowagiran Badrun, Munadi Sudji, Retnawati Heri, Apino Ezi   +3 more
doaj   +1 more source