scholarly journals TiML: a functional language for practical complexity analysis with invariants

2017 ◽  
Vol 1 (OOPSLA) ◽  
pp. 1-26 ◽  
Author(s):  
Peng Wang ◽  
Di Wang ◽  
Adam Chlipala
Keyword(s):  
Complexity Analysis ◽  
Functional Language ◽  
Practical Complexity

scholarly journals Higher order interpretation for higher order complexity

10.29007/1tkw ◽  
2018 ◽  
Author(s):  
Emmanuel Hainry ◽  
Romain Péchoux
Keyword(s):  
Complexity Analysis ◽  
Higher Order ◽  
Functional Language ◽  
Higher Order Functions

We design an interpretation-based theory of higher-order functions that is well-suited for the complexity analysis of a standard higher- order functional language a` la ml. We manage to express the interpretation of a given program in terms of a least fixpoint and we show that when restricted to functions bounded by higher-order polynomials, they characterize exactly classes of tractable functions known as Basic Feasible Functions at any order.

Assessing Functional Language in School-Aged Children Using Language Sample Analysis

2020 ◽  
Vol 5 (3) ◽  
pp. 622-636
Author(s):  
John Heilmann ◽  
Alexander Tucci ◽  
Elena Plante ◽  
Jon F. Miller
Keyword(s):  
Computer Hardware ◽  
School Age Children ◽  
Functional Language ◽  
School Age ◽  
Clinical Use ◽  
Sample Analysis ◽  
Validity And Reliability ◽  
Language Sample Analysis ◽  
Accuracy And Repeatability ◽  
Language Sample

Purpose The goal of this clinical focus article is to illustrate how speech-language pathologists can document the functional language of school-age children using language sample analysis (LSA). Advances in computer hardware and software are detailed making LSA more accessible for clinical use. Method This clinical focus article illustrates how documenting school-age student's communicative functioning is central to comprehensive assessment and how using LSA can meet multiple needs within this assessment. LSA can document students' meaningful participation in their daily life through assessment of their language used during everyday tasks. The many advances in computerized LSA are detailed with a primary focus on the Systematic Analysis of Language Transcripts (Miller & Iglesias, 2019). The LSA process is reviewed detailing the steps necessary for computers to calculate word, morpheme, utterance, and discourse features of functional language. Conclusion These advances in computer technology and software development have made LSA clinically feasible through standardized elicitation and transcription methods that improve accuracy and repeatability. In addition to improved accuracy, validity, and reliability of LSA, databases of typical speakers to document status and automated report writing more than justify the time required. Software now provides many innovations that make LSA simpler and more accessible for clinical use. Supplemental Material https://doi.org/10.23641/asha.12456719

Centered error entropy Kalman filter with application to satellite attitude determination

2021 ◽  
pp. 014233122110198
Author(s):  
Baojian Yang ◽  
Lu Cao ◽  
Dechao Ran ◽  
Bing Xiao
Keyword(s):  
Kalman Filter ◽  
Gaussian Noise ◽  
Attitude Determination ◽  
Complexity Analysis ◽  
Iteration Algorithm ◽  
Robust Algorithms ◽  
Convergence Conditions ◽  
Satellite Attitude ◽  
Heavy Tailed ◽  
Non Gaussian

Due to unavoidable factors, heavy-tailed noise appears in satellite attitude estimation. Traditional Kalman filter is prone to performance degradation and even filtering divergence when facing non-Gaussian noise. The existing robust algorithms have limited accuracy. To improve the attitude determination accuracy under non-Gaussian noise, we use the centered error entropy (CEE) criterion to derive a new filter named centered error entropy Kalman filter (CEEKF). CEEKF is formed by maximizing the CEE cost function. In the CEEKF algorithm, the prior state values are transmitted the same as the classical Kalman filter, and the posterior states are calculated by the fixed-point iteration method. The CEE EKF (CEE-EKF) algorithm is also derived to improve filtering accuracy in the case of the nonlinear system. We also give the convergence conditions of the iteration algorithm and the computational complexity analysis of CEEKF. The results of the two simulation examples validate the robustness of the algorithm we presented.

Sign in / Sign up

Export Citation Format

Share Document