A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Dissipative systems in metric theories of gravity. Foundations and applications of the energy formalism
[article]
2019
arXiv
pre-print
Preserved Fulltext
Other Versions
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
2020
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2001
Notre Dame Journal of Formal Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2021
Remote Sensing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2004
Soft Computing - A Fusion of Foundations, Methodologies and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
Universal Journal of Physics and Application
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
International Journal of Forecasting
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2008
Social Science Research Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2018
Statistics Survey
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2020
Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
Human Movement Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
Proceedings of the 18th International Software Product Line Conference on - SPLC '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2013
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2013
Simulation (San Diego, Calif.)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2017
bioRxiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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