http://www.pik-potsdam.de PIK Publications   
Display Documents   

   

Home
Help
Collections
People
Search
Fulltext Search
Session History
Load Basket
Login
Name:
Password:
 
Search
People:



Basket: Order by:
   Basket: 
ID: 7746.0, PIK / PIK Publications , full text not public
Botta, N.; Jansson, P.; Ionescu, C.
Contributions to a computational theory of policy advice and avoidability
In: Journal of Functional Programming
2017 (Accepted September).
OA nach Embargo ab vö
Doctype: Article (ISI journal)
   Basket: 
ID: 7311.0, PIK / PIK Publications , full text not public
Botta, N.; Jansson, P.; Ionesu, C.; Christiansen, D. R.; Brady, E.
Sequential decision problems, dependent types and generic solutions
In: Logical Methods in Computer Science
2016 (Accepted October). 1-23 p.
10.2168/LMCS-???
Doctype: Article (ISI journal)
   Basket: 
ID: 5905.0, PIK / PIK Publications , full text not public
Botta, N.; Ionescu, C.; Brady, E.
Sequential decision problems, dependently typed solutions
Conferences on Intelligent Computer Mathematics CICM (Bath 2013) ; Programming Languages for Mechanized Mathematics Systems Workshop (PLMMS)
2013.
http://www.cicm-conference.org/2013/cicm.php?event=plmms
Doctype: Conference paper
   Basket: 
ID: 5904.0, PIK / PIK Publications , full text not public
Botta, N.; Schupp, S.; Mandel, A.; Ionescu, C.; Hofmann, M.
Mathematical Specification of an Agend-Based Model of Exchange
In: Do-Form: Enabling Domain Experts to use Formalised Reasoning
Ed.: Kerber, M.; Lange, C.; Rowat, C.
Hove, UK : Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB)
2013. 38-48 p.
Proceedings of the Annual Convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour (Exeter 2013)
http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/proceedings.php
Doctype: Article in book
   Basket: 
ID: 5198.0, PIK / PIK Publications , full text not public
Botta, N.; Mandel, A.; Ionescu, C.; Hofmann, M.; Lincke, D.; Schupp, S.; Jaeger, C.
A functional framework for agent-based models of exchange
In: Applied Mathematics and Computation, 218 , 8
2011. 4025-4040 p.
10.1016/j.amc.2011.08.051
Doctype: Article (ISI journal)
   Basket: 
ID: 4255.0, PIK / PIK Publications , full text not public
Mandel, A.; Botta, N.
A note on Herbert Gintis' 'Emergence of a price system from decentralized bilateral exchange'
In: The B.E. Journal of Theoretical Economics, 9 , 1
2009.
Article 44
10.2202/1935-1704.1560
Doctype: Article (ISI journal)
   Basket: 
ID: 3910.0, PIK / PIK Publications , full text not public
Ionescu, C.; Botta, N.
Modeling versus formalization
98th Dahlem Workshop: 'Is There a Mathematics of Social Entities?' (Berlin, Germany, December 2008)
2008.
Doctype: Conference paper
   Basket: 
ID: 3818.0, PIK / PIK Publications
Lincke, D.; Ionescu, C.; Botta, N.
A generic library for Earth system modelling based on monadic systems
In: Digital earth summit on geoinformatics 2008: tools for global change research
Ed.: Ehlers, M.; Ehlers, M.; Behncke, K.; Gerstengarbe, F.-W.; Hillen, F.; Koppers, L.; Stroinck, L.; Wächter, J.
Heidelberg : Wichmann
2008. 188-194 p.
Conference: Digital Earth Summit on Geoinformatics: Tools for Global Change Research, (Potsdam, Germany, 12. - 14. November 2008)
ISBN 978-3-87907-486-0
Doctype: Article in book
   Basket: 
ID: 3313.0, PIK / PIK Publications , full text not public
Botta, N.; Ionescu, C.
Relation-based computations in a monadic BSP model
In: Parallel Computing, 33 , 12
2007. 795-821 p.
10.1016/j.parco.2007.08.002
Doctype: Article (ISI journal)
Departments: Data & Computation
   Basket: 
ID: 3061.0, PIK / PIK Publications , full text not public
Botta, N.; Ionescu, C.; Linstead, C.; Klein, R.
Structuring distributed relation-based computations with SCDRC
Potsdam : Potsdam Institute for Climate Impact Research
2006. 56 p.
PIK Report ; 103
Doctype: PIK-Series
Departments: Data & Computation
   Basket: 
ID: 1964.0, PIK / PIK Publications , full text not public
Botta, N.; Klein, R.; Langenberg, S.; Lützenkirchen, S.
Well balanced finite volume methods for nearly hydrostatic flows
In: Journal of Computational Physics, 196 , 2
2004. 539-565 p.
Doctype: Article (ISI journal)
Departments: Data & Computation
   Basket: 
ID: 2695.0, PIK / PIK Publications
Botta, N.; Klein, R.; Langenberg, S.; Lützenkirchen, S.
Well balanced finite volume methods for nearly hydrostatic flows
Potsdam : Potsdam Institute for Climate Impact Research
2003.
PIK Report ; 84
http://www.pik-potsdam.de/pik_web/publications/pik_reports/reports/reports/pr.84/pr84.pdf
Doctype: PIK-Series
Departments: Data & Computation
   Basket: 
ID: 1560.0, PIK / PIK Publications
Klein, R.; Botta, N.; Owinoh, A.
Distinguished limits, multiple scales asymptotics, and numerics for atmospheric flows
13th international conference on atmosphere-ocean fluid dynamics
Breckenridge, USA : 
2001.
Doctype: Conference paper
Departments: Data & Computation
   Basket: 
ID: 1365.0, PIK / PIK Publications
Klein, R.; Botta, N.; Schneider, T.; Munz, C. D.; Roller, S.; Meister, A.; Hoffmann, L.; Sonar, T.
Asymptotic adaptive methods for multi-scale problems in fluid mechanics
In: Journal of Engineering Mathematics, 39 , 1/4
2001. 261-343 p.
Special issue on Practical Asymptotics
Doctype: Article (ISI journal)
Departments: Data & Computation
   Basket: 
ID: 1115.0, PIK / PIK Publications
Botta, N.; Klein, R.; Almgren, A.
Asymptotic analysis of a dry atmosphere
The third European conference on "Numerical mathematics and advanced applications", July 26-30 1999
Potsdam Institute for Climate Impact Research, Potsdam ; Lawrence Livermore National Laborato
2000.
Data and Computation
geophysical flows; multiscale asymptotics
Doctype: Conference paper
Departments: Data & Computation
   Basket: 
ID: 239.0, PIK / PIK Publications
Botta, N.; Klein, R.; Almgren, A.
Dry atmosphere asymptotics
Potsdam : Potsdam Institute for Climate Impact Research, Potsdam Germany; Lawrence Livermore National Laborato
1999.
PIK Reports ; 55
Data and Computation
geophysical flows; multiscale asymptotics
http://www.pik-potsdam.de/pik_web/publications/pik_reports/reports/reports/pr.55/pr55.pdf
Doctype: PIK-Series
Departments: Data & Computation
   Basket: 
ID: 106.0, PIK / PIK Publications
Schneider, T.; Botta, N.; Geratz, K. J.; Klein, R.
Extension of finite volume compressible flow solvers to multi- dimensional, variable density zero mach number flows
In: Journal of Computational Physics, 155 , 2
1999. 248-286 p.
Data and Computation
incompressible variable density flows; conservation laws
Doctype: Article (ISI journal)
Departments: Data & Computation
version 2.00b13/16
PP&B