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.
Filters
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
We present ERODE , a multi-platform tool for the solution and exact reduction of systems of ordinary differential equations (ODEs). ...
in the style of Paige and Tarjan. ...
This work was partially supported by the EU project QUANTICOL, 600708. L. Cardelli is partially funded by a Royal Society Research Professorship. ...
doi:10.1007/978-3-662-54580-5_19
fatcat:cqsdi6x2zrbg3gamfkmj65cpuy
SPATIAL VARIABILITY OF SOIL ERODIBILITY AT EL HAMMAM CATCHMENT, NORTHEAST OF ALGERIA
2019
Environment & Ecosystem 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 2020; you can also visit the original URL.
The file type is application/pdf.
The concept of erodibility has gained a great importance in the field of soil erosion modelling and applications of soil conservation. ...
The range of the spatial dependency was equal to 460 m. The study basin has been classified as highly erodible and ecologically vulnerable. ...
Thus, the proposed Ordinary Kriging model has provided a framework for the digital soil mapping of the soil erodibility at El Hammam catchment. ...
doi:10.26480/ees.01.2019.17.25
fatcat:apnjnrffjzhavdjalg6zxornje
Language-based Abstractions for Dynamical Systems
2017
Electronic Proceedings in Theoretical Computer 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.
Other Versions
Ordinary differential equations (ODEs) are the primary means to modelling dynamical systems in many natural and engineering sciences. ...
The number of equations required to describe a system with high heterogeneity limits our capability of effectively performing analyses. ...
The author is indebted to Luca Cardelli, Mirco Tribastone, and Max Tschaikowski for the collaboration on the development of the presented framework, and for many fruitful discussions. ...
doi:10.4204/eptcs.250.2
fatcat:vwujzl2gendq3dsfe5s5ohduly
KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models
[chapter]
2017
Lecture Notes in Computer 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.
KaDE is interpreting this definition to compile Kappa models into reaction networks (or equivalently into sets of ordinary differential equations). ...
KaDE uses a static analysis that identifies pairs of sites that are indistinguishable from the rules point of view, to infer backward and forward bisimulations, hence reducing the size of the underlying ...
DOTNET is the internal format of BioNetGen, we use it for compatibility with Erode [14] , a tool to evaluate and reduce systems of ODEs. ...
doi:10.1007/978-3-319-67471-1_18
fatcat:txjdy5fs5facribpb7nc2e2j2y
Comparison of the Spatial Wind Erosion Patterns of Erosion Risk Mapping and Quantitative Modeling in Eastern Austria
2021
Land
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.
For this, we applied a qualitative soil erosion assessment (DIN 19706) with lower data requirements and a more data-demanding revised wind erosion equation (RWEQ) within a GIS application to evaluate the ...
However, comprehensive assessments of the severity and the extent of wind erosion risk are still lacking for this region. ...
demands for good agricultural practices and serving as a tool for soil protection. ...
doi:10.3390/land10090974
fatcat:ibtf3mee65egxckjs47rpzrvwm
Finite element method for one-dimensional rill erosion simulation on a curved slope
2015
International Soil and Water Conservation Research
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.
Therefore, this study supplies a tool for further development of a dynamic soil erosion prediction model. ...
In this study, the hydrodynamic and sediment continuity model equations for a rill erosion system were solved by the Galerkin finite element method and Visual Cþ þ procedures. ...
Acknowledgments This research was financially supported by the National Natural Science Foundation of China under Project no. 40635027, and No. 51321001. ...
doi:10.1016/j.iswcr.2015.03.001
fatcat:bxukvnkosfcylpvfbnahloa7ti
A physiologically oriented mathematical model for the description of in vivo drug release and absorption
2014
ADMET and DMPK
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 this purpose, the model accounts for drug delivery from an ensemble of non-eroding poly-disperse polymeric particles and the subsequent ADME processes. ...
One of the most important results of this study is the quantitative evaluation of the interplay between the release kinetics and the subsequent ADME processes. ...
(21) Due to the simultaneous presence of ordinary and partial differential equations, the solution of the model calls for a numerical algorithm. ...
doi:10.5599/admet.2.2.34
fatcat:jtbiaqbqgzd7ppfo6qulbm2pei
Mapping the Spatial Heterogeneity of Anthropogenic Soil Nitrogen Net Replenishment Based on Soil Loss: A Coastal Case in the Yellow River Delta, China
2022
Sustainability
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 2022; you can also visit the original URL.
The file type is application/pdf.
We applied the Revised Universal Soil Loss Equation (RUSLE) model for soil loss risk calculation and geostatistical analysis for process simulation. ...
To explore the spatial heterogeneity of nitrogen supply from human activities to soil in coastal areas, we established a soil nitrogen net replenishment index (A-SNNRI). ...
In addition, the factor detector tool in Geodetector [75] (see Equation ( 14 )) played a better role in the evaluation of spatial stratified heterogeneity and the correlation analysis of qualitative ...
doi:10.3390/su14106078
fatcat:tppotxibrvczfk2vc4wey45744
Reducing Boolean Networks with Backward Boolean Equivalence
[article]
2021
arXiv
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 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Our method complements, and can be combined with, other reduction methods found in the literature. ...
The analysis of BNs might be infeasible for medium to large BNs due to the state-space explosion problem. ...
The BBE-reduction is consistent with [11] , where the authors transformed the BN to a system of ordinary differential equations, and reduced with backward differential equivalence. ...
arXiv:2106.15476v2
fatcat:7ts2ff2lp5dgzomatolkfp3pta
THE ROLE OF PROCESS-BASED MODELS AND SCALING IN GEOMORPHIC DESIGNS
English
2006
Journal American Society of Mining and Reclamation
English
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.
A model of soil erosion and sediment transport on hillslopes is used to illustrate the role of process understanding in determining dominant processes as a function of spatial scale. ...
Spatially distributed estimates of sediment transport and yield along hillslopes from the HEM are used with an understanding of dominant processes as a function of spatial scale as the scientific basis ...
We thank Jerry Tagestad, Andre Coleman, and Berhon Dibrani of the Pacific Northwest National Laboratory for their field support. ...
doi:10.21000/jasmr06010409
fatcat:qz43yzfuzjhrbekggwqus6nlzy
Book reports
2005
Computers and Mathematics with 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 2017; you can also visit the original URL.
The file type is application/pdf.
Computers and Mathematics with Applications 49 (2005) 1585-1622 www.elsevier.com/locate/camwa BOOK REPORTS The Book Reports section is a regular feature of Computers ~ Mathematics with Applications. ...
Ordinary Differential Equations and Bifurcation Theory. 14.8.2 Elementary Example of a Stable Equilibrium for a Partial Differential Equation. 14.8.3 Typical Unstable Equilibrium for a Partial Differential ...
of Derivatives. 13.2.4 Convolution Theorem. 13.3 Green's Functions for Initial Value Problems for Ordinary Differential Equations. 13.4 A Signal Problem for the Wave Equation. 13.5 A Signal Problem for ...
doi:10.1016/j.camwa.2005.04.001
fatcat:melc2iqigrh6tn37ldct5k73jm
Accompanying material for 'Lumpability for Uncertain Continuous-Time Markov Chains'
2019
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 2020; you can also visit the original URL.
The file type is application/pdf.
The pdf is an extended version of the draft containing the proofs, while the archive contains information on how to replicate the experiments presented in the draft and all the used models. ...
This is the accompanying material for the draft Luca Cardelli, Radu Grosu, Mirco Tribastone, Max Tschaikowski, and Andrea Vandin, Lumpability for Uncertain Continuous-time Markov Chains. ...
This work has been partially supported by the PRIN project "SEDUCE" no. 2017TWRCNB and by the FWF project "COCO" no. M 2393-N32. ...
doi:10.5281/zenodo.3478161
fatcat:4sd327alprgxnattgvykf6gf7a
Symbolic computation of differential equivalences
2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016
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.
Ordinary differential equations (ODEs) are widespread in many natural sciences including chemistry, ecology, and systems biology, and in disciplines such as control theory and electrical engineering. ...
Using ERODE, the tool that implements our techniques, we are able to detect equivalences in biochemical models from the literature that cannot be reduced using competing automatic techniques. and f i is ...
/ tools/erode/comparison-syntactic-symbolic. ...
doi:10.1145/2837614.2837649
dblp:conf/popl/CardelliTTV16
fatcat:r53ffzkzyzaf3njsmgmgrfnr24
Syntactic Markovian Bisimulation for Chemical Reaction Networks
[chapter]
2017
Lecture Notes in Computer 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.
Finally, we study SMB with respect to the deterministic semantics of CRNs based on ordinary differential equations (ODEs), where each equation gives the time-course evolution of the concentration of a ...
In practice, we show that SMB allows significant reductions in a number of models from the literature. ...
This work was partially supported by the EU project QUANTICOL, 600708. L. Cardelli is partially funded by a Royal Society Research Professorship. ...
doi:10.1007/978-3-319-63121-9_23
fatcat:ilh4lb4kyfdjzg2autisyxchg4
Syntactic Markovian Bisimulation for Chemical Reaction Networks
[article]
2017
arXiv
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.
Finally, we study SMB with respect to the deterministic semantics of CRNs based on ordinary differential equations (ODEs), where each equation gives the time-course evolution of the concentration of a ...
In practice, we show that SMB allows significant reductions in a number of models from the literature. ...
This work was partially supported by the EU project QUANTICOL, 600708. L. Cardelli is partially funded by a Royal Society Research Professorship. ...
arXiv:1707.02132v1
fatcat:6qd4qrc3wrehtgpb2but6svc7e
« Previous
Showing results 1 — 15 out of 6,706 results