A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2023; you can also visit the original URL.
The file type is application/pdf.
Filters
A note on the submodel preservation property in fragments of first-order logic
[article]
2023
arXiv
pre-print
Preserved Fulltext
Other Versions
This note contains some material promised in our earlier papers on submodel preservation and the guarded fragment, along with some information on the current status of the problems mentioned in these papers ...
For further background to this example, Section 2 surveys a number of results concerning the submodel preservation property for various fragments of first-order logic. ...
Does equality-free two-variable first-order logic have the submodel preservation property? Next, we consider some other types of fragments of first-order logic. ...
arXiv:2303.13222v2
fatcat:eok2stshenhsdjltszqzgf6hdy
A new submodelling technique for multi-scale finite element computation of electromagnetic fields: Application in bioelectromagnetism
2010
Journal of Physics, Conference Series
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.
This is caused by the fact, that considered effects on smaller scales have greater influences on the whole model and larger scales. ...
New submodelling routine has been developed to sufficiently decrease the time of computation without loss of accuracy for the whole solution. ...
The thickness of the neuronal path is 0.5mm, which is not realistic in order to test the effect of CSR on the solution. ...
doi:10.1088/1742-6596/238/1/012050
fatcat:2hurhnewm5catjhp5i5ymf27dm
Page 47 of The Journal of the Operational Research Society Vol. 60, Issue 1
[page]
2009
The Journal of the Operational Research Society
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Events on an event list are held in ascending time (or timestamp) order and we say that a simu- lation is correct if these events have been processed in the right order. ...
When a submodel deter- mines that an entity representing orders or blood is to be
‘sent’ to another submodel, a timestamped event message is
sent to that submodel. ...
Submodel Decomposition for Solving Limited Memory Influence Diagrams (Student Abstract)
2020
PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE
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.
maximum treewidth of the individual submodels. ...
The relevance in LIMIDs is formalized by the notion of the partial evaluation of the maximum expected utility, and the graph separation criteria for identifying submodels follow. ...
Submodel Decomposition Unlike IDs with the perfect recall, LIMIDs may not have a total order on decision variables. ...
doi:10.1609/aaai.v34i10.7198
fatcat:fyapuzrncnd25mxlb2a3mbe5y4
Detecting Image Splicing Using Merged Features in Chroma Space
2014
The Scientific World Journal
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.
To detect this kind of forgery, the image rich models, a feature set successfully used in the steganalysis is evaluated on the splicing image dataset at first, and the dominant submodel is selected as ...
the first kind of feature. ...
third order submodels. ...
doi:10.1155/2014/262356
pmid:24574877
pmcid:PMC3915627
fatcat:32z5ayf7g5eybnpd6mr5yd7ndy
Rich Models for Steganalysis of Digital Images
2012
IEEE Transactions on Information Forensics and Security
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.
We demonstrate the proposed framework on three steganographic algorithms designed to hide messages in images represented in the spatial domain: HUGO, edgeadaptive algorithm by Luo et al. [32] , and optimallycoded ...
By observing the differences between how different submodels engage in detection, an interesting interplay between the embedding and detection is revealed. ...
Based on sample experiments with different algorithms and submodels, we determined that the best performance of each submodel is always achieved when q ∈ [c, 2c], where c is the residual order. ...
doi:10.1109/tifs.2012.2190402
fatcat:eziajsq2gnb3vgkeamb3kpc5w4
AUTOMATIC GENERATION A NET OF MODELS FOR HIGH AND LOW LEVELS OF PRODUCTION CONTROL
2005
IFAC Proceedings Volumes
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.
connected submodels. ...
The second one is a concept for the identification and reorganisation of manufacturing agents, based on simulation experience. ...
ACKNOWLEDGEMENTS The research was supported partially by the National Research Found, Hungary, Grant No. T043547. ...
doi:10.3182/20050703-6-cz-1902.01510
fatcat:xrxdndcgffeoblubg34nufgnvq
Urban Land Allocation Model of Territorial Expansion by Urban Planners and Housing Developers
2017
Environments
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.
The prototype consists of three submodels (one for each agent) that have been developed independently and present the same structure. ...
However, the first two are based on a land use allocation technique, and the last one, as well as their integration, on an agent-based model approach. ...
One researcher was partially funded by Santander-IELAT 2015/2016. We would also like to thank the anonymous reviewers for their comments and suggestions. ...
doi:10.3390/environments5010005
fatcat:l7463s5i7zfgtn5qkxk6skh7i4
Agent knowledge access framework
2022
Zenodo
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 2023; you can also visit the original URL.
The file type is application/pdf.
models to the standardized AAS metamodel and describe the submodels that have been created for the various agents based on the design in deliverable D3.1. ...
The document concludes with a reflection on the practical application of the ontology in use cases, several considerations on the continued development of the AAS models in alignment with the use cases ...
Information about the exact set Property or of orders that is provided to the Order(s) Submodel Element User/Other Program planning agent. ...
doi:10.5281/zenodo.7540947
fatcat:qu3llpnabvgeliruckki5ykl3e
A generalization of the submodel of nonlinear models
2000
Nuclear Physics B
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2000 pre-print arXiv:hep-th/0002003v1 fatcat:n6qozgh3jrcohluqolok4gx5dy
We generalize the submodel of nonlinear CP^1 models. The generalized models include higher order derivatives. ...
For the systems of higher order equations, we construct a B\"acklund-like transformation of solutions and an infinite number of conserved currents by using the Bell polynomials. ...
Acknowledgements The author is very grateful to Kazuyuki Fujii for helpful comments on an earlier draft on this paper and to Yasushi Homma for helpful suggestion in Theorem 5.1. ...
doi:10.1016/s0550-3213(00)00191-7
fatcat:522y7ehp35a2zp4ha52hzyejaa
An engineering method for constraint based fracture assessment of welded structural components with surface cracks
1999
Engineering Fracture Mechanics
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.
It was found that when ®rst order elements were used, the constraint was higher in 3D than in plane strain. For second order elements, however, the trend was the opposite. ...
For the investigated case, the toughness requirements could be relaxed signi®cantly based on the two parameter analysis compared to conventional fracture mechanics analyses. # ...
Acknowledgements This work is supported by Kvñrner ASA through a PhD grant for éyvind Ranestad, within the research project`Ship for the Future'. ...
doi:10.1016/s0013-7944(99)00054-5
fatcat:rdcctizypravfby7xv6rhbm7si
Page 527 of Annals of Economic and Social Measurement Vol. 3, Issue 3
[page]
1974
Annals of Economic and Social Measurement
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Thus, a simultaneous submodel corresponds uniquely to a set of vertices and their connecting arcs, such that there exists a directed sequence of arcs connecting every ordered pair of vertices (a start ...
(A simultaneous submodel will henceforth be referred to simply as a submodel.) A suvmodel is generated or ““grown”’ by combining an already-generated submodel with one of these primitive submodels. ...
Interpolating model identification for SISO linear parameter-varying systems
2009
Mechanical systems and signal processing
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.
First, the poles and zeros of the local LTI models are interpolated by polynomials and afterwards, the interpolating LPV model is obtained as the series connection of low-order LPV submodels, constructed ...
The method is restricted to systems with one scheduling parameter and is based on the assumption that all states of the system can be measured. ...
in Engineering and the Belgian Programme on Interuniversity Attraction Poles, initiated by the Belgian Federal Science Policy Office. ...
doi:10.1016/j.ymssp.2009.04.007
fatcat:3kjsf7glhnajtjzetrg742ekhm
State estimation for non-linear systems using a decoupled multiple model
2008
International journal of Modeling, identification and control
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.
This latter structure is an interesting alternative to the popular Takagi-Sugeno multiple model because different orders of submodels can be considered. ...
In this modelling framework, a judicious combination of a set of submodels makes it possible to describe the behaviour of a non-linear system. ...
In the first case, the submodels use a common state vector; in the second one, the submodels have a different state vector. ...
doi:10.1504/ijmic.2008.021000
fatcat:dqfl3egpfjdpvjykgdzwvw7oxe
How Useful are Historical Data for Forecasting the Long-Run Equity Return Distribution?
2007
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 2007; you can also visit the original URL.
The file type is application/pdf.
Our focus is on learning about breaks in real time and assessing their impact on out-of-sample density forecasts. ...
The shape of the long-run distribution and the dynamics of the higher-order moments are quite different from those generated by forecasts which cannot capture structural breaks. ...
In order to select informative priors based on features of excess returns, we conduct a prior predictive check on the submodel (Geweke (2005) ). ...
doi:10.2139/ssrn.996696
fatcat:yklmuu34hjhf5bxhfsbxh4b5te
« Previous
Showing results 1 — 15 out of 36,850 results