Filters








6,706 Hits in 4.8 sec

ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations [chapter]

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017 Lecture Notes in Computer Science  
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

Kamel Khanchoul, Sana Boubehziz
2019 Environment & Ecosystem Science  
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

Andrea Vandin
2017 Electronic Proceedings in Theoretical Computer Science  
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]

Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý
2017 Lecture Notes in Computer Science  
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

Simon Scheper, Thomas Weninger, Barbara Kitzler, Lenka Lackóová, Wim Cornelis, Peter Strauss, Kerstin Michel
2021 Land  
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

Lijuan Yan, Tingwu Lei, Jing Zhang, Qingwen Zhang, Liqin Qu
2015 International Soil and Water Conservation Research  
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

Renzo Del Cont, Michela Abrami, Dritan Hasa, Beatrice Perissutti, Dario Voinovich, Anna Barba, Gaetano Lamberti, Gabriele Grassi, Italo Colombo, Davide Manca, Mario Grassi
2014 ADMET and DMPK  
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

Youxiao Wang, Chong Huang, Gaohuan Liu, Zhonghe Zhao, He Li, Qingsheng Liu
2022 Sustainability  
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]

Georgios Argyris, Alberto Lluch Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021 arXiv   pre-print
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

Leonard J. Lane, Mark S. Wigmosta
2006 Journal American Society of Mining and Reclamation  
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  
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'

Luca Cardelli, Radu Grosu, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2019 Zenodo  
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

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2016 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016  
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]

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017 Lecture Notes in Computer Science  
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]

Luca Cardelli and Mirco Tribastone and Max Tschaikowski and Andrea Vandin
2017 arXiv   pre-print
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