Filters








223,150 Hits in 5.9 sec

Dissipative systems in metric theories of gravity. Foundations and applications of the energy formalism [article]

Vittorio De Falco, Emmanuele Battista
2019 arXiv   pre-print
After, we consider as first extensive application the general relativistic Poynting-Robertson effect. The obtained results and future implications are discussed.  ...  In this paper we introduce a new procedure, termed by us energy formalism, to deal with dissipative systems in metric theories of gravity.  ...  aimed at improving the scientific impact of this formalism.  ... 
arXiv:1911.03197v2 fatcat:khu5pyby2rarnj3tjdjj3erntu

Extending single- to multi-variant model transformations by trace-based propagation of variability annotations

Bernhard Westfechtel, Sandra Greiner
2020 Journal of Software and Systems Modeling  
We also provide a correctness criterion for trace-based propagation, and a proof that this criterion is satisfied under the prerequisites of a formal computational model.  ...  We propose a reuse-based gray-box approach to realizing multi-variant model transformations.  ...  This model may serve as the foundation for developing a new transformation language and tool that is guaranteed to establish commutativity of filters and transformations.  ... 
doi:10.1007/s10270-020-00791-9 fatcat:bza6uc7vbnetjnmmjamcdr7lwe

Propositional Logic of Imperfect Information: Foundations and Applications

Ahti-Veikko Pietarinen
2001 Notre Dame Journal of Formal Logic  
Finally, I will suggest a couple of applications that arise in physics, and most notably in quantum theory and quantum logics.  ...  I will discuss some ensuing properties of these games such as imperfect recall, informational consistency, and team playing.  ...  After presenting the game-theoretic foundations for propositional IF logic I will turn to a couple of applications of this logic which are here shown to be rife in the realm of quantum theory and quantum  ... 
doi:10.1305/ndjfl/1063372242 fatcat:yb7v4f6tbnfihfb2hdw76rvoqa

Cloud Transform Algorithm Based Model for Hydrological Variable Frequency Analysis

Xia Bai, Juliang Jin, Shaowei Ning, Chengguo Wu, Yuliang Zhou, Libing Zhang, Yi Cui
2021 Remote Sensing  
the empirical frequency formula and Pearson type III function-based curve fitting method, the normal cloud transform algorithm-based model for hydrological variable frequency analysis was proposed through  ...  Therefore, the proposed cloud transform algorithm-based model was reliable and effective for hydrological variable frequency analysis, which can be further applied in the related research field of hydrological  ...  ; and, finally, the framework of the normal cloud transform algorithm-based model (CTAM) for hydrological variable frequency analysis was proposed, which was further applied in the frequency-curve-fitting  ... 
doi:10.3390/rs13183586 fatcat:idla5ubkqfg3ljwgs3gkbkqsvu

Toward a formal study of jazz chord sequences generated by Steedman?s grammar

M. Chemillier
2004 Soft Computing - A Fusion of Foundations, Methodologies and Applications  
This paper shows how to generate jazz chord sequences incrementally using Steedman's grammar by taking advantage of some formal properties.  ...  By precompiling them, one could improve the implementation of Steedman's grammar in a real-time system for improvisation, and make it more reactive to the inputs of the user.  ...  Besides the improvisation itself (the musician plays phrases which are recorded by the system, and transformed into new phrases in the same style, according to a model introduced in [1]), the system provides  ... 
doi:10.1007/s00500-004-0386-3 fatcat:mtxrvijzszekril42fkm6wxdgi

Mathematical Foundations of the Classical Maxwell-Lorentz Electrodynamic Models in the Canonical Lagrangian and Hamiltonian Formalisms

Denis Blackmore, Anatolij K. Prykarpatski, Nikolai N. Bogolubov, Jan J. S lawianowski
2013 Universal Journal of Physics and Application  
via canonical Lagrangian and Hamiltonian formalisms.  ...  We present new mathematical foundations of classical Maxwell-Lorentz electrodynamic models and related charged particles interaction-radiation problems, and analyze the fundamental least action principles  ...  Acknowledgements D.B. acknowledges the National Science Foundation (Grant CMMI-1029809), A.P. acknowledges the Scientific and Technological Research Council of Turkey (TUBITAK/NASU-111T558 Project) for  ... 
doi:10.13189/ujpa.2013.010216 fatcat:ubalonhvffd2xlrolaqsmvh6ze

DSGE model-based forecasting of non-modelled variables

Frank Schorfheide, Keith Sill, Maxym Kryshko
2010 International Journal of Forecasting  
DSGE-model based forecasts of the core variables.  ...  The model is based on the work of Smets and Wouters (2003) and Christiano, Eichenbaum, and Evans (2005) . The specific version is taken from DSSW.  ...  Sloan Foundation and the National Science Foundation (Grant SES 0617803).  ... 
doi:10.1016/j.ijforecast.2009.12.010 fatcat:c5vk7iuburhmpcjvkqfto54pri

DSGE Model-Based Forecasting of Non-Modelled Variables

Frank Schorfheide, Keith Sill, Maxym Kryshko
2008 Social Science Research Network  
DSGE-model based forecasts of the core variables.  ...  The model is based on the work of Smets and Wouters (2003) and Christiano, Eichenbaum, and Evans (2005) . The specific version is taken from DSSW.  ...  Sloan Foundation and the National Science Foundation (Grant SES 0617803).  ... 
doi:10.2139/ssrn.1268319 fatcat:dpjhr7xhsjen5kmdpsrnfvjbci

Variable selection methods for model-based clustering

Michael Fop, Thomas Brendan Murphy
2018 Statistics Survey  
Model-based clustering is a popular approach for clustering multivariate data which has seen applications in numerous fields.  ...  This review provides a summary of the methods developed for variable selection in model-based clustering.  ...  We would like to thank the Editor, Associate Editor and Referees whose suggestions and comments helped to improve the quality of the work.  ... 
doi:10.1214/18-ss119 fatcat:lozihfml3razfjz7lgvp7oo2bi

Model-Based Test Case Prioritization Using an Alternating Variable Method for Regression Testing of a UML-Based Model

Ki-Wook Shin, Dong-Jin Lim
2020 Applied Sciences  
Here, we suggest mutation testing employing the model-based development approach and a new TCP method based on an alternating variable method (AVM).  ...  Finally, in empirical studies, the model-based TCP results for a power window switch module, a body control module, and a passive entry and start system are derived; these are real industrial challenges  ...  Introduction Model-based development approaches are required because software is becoming increasingly complex. Such approaches design, implement, and verify models using formal techniques.  ... 
doi:10.3390/app10217537 fatcat:i32wze34p5gqhc63zlx7othesa

Movement variability near goal equivalent manifolds: Fluctuations, control, and model-based analysis

Joseph P. Cusumano, Jonathan B. Dingwell
2013 Human Movement Science  
We review recent experimental applications of this general approach, and show how it can be used to precisely characterize the error-correcting control used by human subjects.  ...  Here, we describe a conceptual framework for the experimental study of motor variability that helps to unify geometrical methods, which focus on the role of motor redundancy, with dynamical methods that  ...  Acknowledgments Partial funding for this project was provided by National Institutes of Health grant 1-R03-HD058942-01 (to JBD) and by National Science Foundation grant 0625764 (to JPC).  ... 
doi:10.1016/j.humov.2013.07.019 pmid:24210574 pmcid:PMC3858478 fatcat:opefzgzxbfb5bhfvnruhbk7ewy

Automating variability model inference for component-based language implementations

Edoardo Vacchi, Walter Cazzola, Benoit Combemale, Mathieu Acher
2014 Proceedings of the 18th International Software Product Line Conference on - SPLC '14  
However, designing variability models for this purpose requires not only a good understanding of these frameworks and the way components interact, but also an adequate familiarity with the problem domain  ...  Componentized language frameworks, coupled with variability modeling, have the potential to bring language development to the masses, by simplifying the configuration of a new language from an existing  ...  Many formalisms were proposed in the past decade for variability modeling.  ... 
doi:10.1145/2648511.2648529 dblp:conf/splc/VacchiCCA14 fatcat:ao6ziu4sdbco7c5eqt3g7le6nm

Extraction and evolution of architectural variability models in plugin-based systems

Mathieu Acher, Anthony Cleve, Philippe Collet, Philippe Merle, Laurence Duchien, Philippe Lahire
2013 Journal of Software and Systems Modeling  
In this article, we propose a reverse engineering process for producing a variability model (i.e., a feature model) of a plugin-based architecture.  ...  We develop automated techniques to extract and combine different variability descriptions, including a hierarchical software architecture model, a plugin dependency model and the software architect knowledge  ...  Foundations of Feature Modeling Variability modeling is a central activity in SPL engineering.  ... 
doi:10.1007/s10270-013-0364-2 fatcat:wpoot3x2dvazpelgyu3vpdafrm

A new framework for the simulation of equation-based models with variable structure

Dirk Zimmer
2013 Simulation (San Diego, Calif.)  
Given this methodology, truly object-oriented modeling and simulation of variable-structure systems is made possible.  ...  It is called Sol and it caters to the special demands of variable-structure systems while still representing a general modeling language.  ...  Funding This research project was generously sponsored by the Swiss National Science Foundation (SNF Project No. 200021-117619/ 1) and co-funded by the Department of Computer Science at ETH Zurich.  ... 
doi:10.1177/0037549713484077 fatcat:eg45o6yxp5adpnuzo3vvwxqama

Dethroning the Fano Factor: a flexible, model-based approach to partitioning neural variability [article]

Adam S Charles, Mijung Park, J. Patrick Weller, Gregory D. Horwitz, Jonathan W. Pillow
2017 bioRxiv   pre-print
Our model contains additive Gaussian noise that is transformed nonlinearly to produce a Poisson spike rate.  ...  ., 2014) has proposed to explain this variability in terms of a multiplicative interaction between a stochastic gain variable and a stimulus-dependent Poisson firing rate, which produces quadratic relationships  ...  Acknowledgments We are grateful to Arnulf Graf and J. Anthony Movshon for V1 spike count data used for fitting and validating the flexible over-dispersion model.  ... 
doi:10.1101/165670 fatcat:cnyfg2eusfgydoejq6rijjkem4
« Previous Showing results 1 — 15 out of 223,150 results