255,644 research outputs found
The regional model for Mediterranean agriculture
AgriPoliS is a multi-agent mixed integer linear programming (MIP) model, spatially explicit, developed in C++ language and suitable for long-term sim- ulations of agricultural policies. Beyond the mixed integer programming core, the model main feature is the interaction among a set of heterogeneous farm- ers and between them and the environment in which they operate. In this paper we describe an extension of the model allowing AgriPoliS to deal with typical characters of the Mediterranean agriculture. In particular AgriPoliS was extended to allow a generic number of products and soil types, included perennial crops and products with quality differentiation. Furthermore, it can explicitly take into account irrigation.Mediterranean Agriculture; Common Agricultural Policy; Agent-based Models
Open Programming Language Interpreters
Context: This paper presents the concept of open programming language
interpreters and the implementation of a framework-level metaobject protocol
(MOP) to support them. Inquiry: We address the problem of dynamic interpreter
adaptation to tailor the interpreter's behavior on the task to be solved and to
introduce new features to fulfill unforeseen requirements. Many languages
provide a MOP that to some degree supports reflection. However, MOPs are
typically language-specific, their reflective functionality is often
restricted, and the adaptation and application logic are often mixed which
hardens the understanding and maintenance of the source code. Our system
overcomes these limitations. Approach: We designed and implemented a system to
support open programming language interpreters. The prototype implementation is
integrated in the Neverlang framework. The system exposes the structure,
behavior and the runtime state of any Neverlang-based interpreter with the
ability to modify it. Knowledge: Our system provides a complete control over
interpreter's structure, behavior and its runtime state. The approach is
applicable to every Neverlang-based interpreter. Adaptation code can
potentially be reused across different language implementations. Grounding:
Having a prototype implementation we focused on feasibility evaluation. The
paper shows that our approach well addresses problems commonly found in the
research literature. We have a demonstrative video and examples that illustrate
our approach on dynamic software adaptation, aspect-oriented programming,
debugging and context-aware interpreters. Importance: To our knowledge, our
paper presents the first reflective approach targeting a general framework for
language development. Our system provides full reflective support for free to
any Neverlang-based interpreter. We are not aware of any prior application of
open implementations to programming language interpreters in the sense defined
in this paper. Rather than substituting other approaches, we believe our system
can be used as a complementary technique in situations where other approaches
present serious limitations
Numerical Experiments for Darcy Flow on a Surface Using Mixed Exterior Calculus Methods
There are very few results on mixed finite element methods on surfaces. A
theory for the study of such methods was given recently by Holst and Stern,
using a variational crimes framework in the context of finite element exterior
calculus. However, we are not aware of any numerical experiments where mixed
finite elements derived from discretizations of exterior calculus are used for
a surface domain. This short note shows results of our preliminary experiments
using mixed methods for Darcy flow (hence scalar Poisson's equation in mixed
form) on surfaces. We demonstrate two numerical methods. One is derived from
the primal-dual Discrete Exterior Calculus and the other from lowest order
finite element exterior calculus. The programming was done in the language
Python, using the PyDEC package which makes the code very short and easy to
read. The qualitative convergence studies seem to be promising.Comment: 14 pages, 11 figure
FunTAL: Reasonably Mixing a Functional Language with Assembly
We present FunTAL, the first multi-language system to formalize safe
interoperability between a high-level functional language and low-level
assembly code while supporting compositional reasoning about the mix. A central
challenge in developing such a multi-language is bridging the gap between
assembly, which is staged into jumps to continuations, and high-level code,
where subterms return a result. We present a compositional stack-based typed
assembly language that supports components, comprised of one or more basic
blocks, that may be embedded in high-level contexts. We also present a logical
relation for FunTAL that supports reasoning about equivalence of high-level
components and their assembly replacements, mixed-language programs with
callbacks between languages, and assembly components comprised of different
numbers of basic blocks.Comment: 15 pages; implementation at https://dbp.io/artifacts/funtal/;
published in PLDI '17, Proceedings of the 38th ACM SIGPLAN Conference on
Programming Language Design and Implementation, June 18 - 23, 2017,
Barcelona, Spai
Bootstrapping Mixed Correlators in the 3D Ising Model
We study the conformal bootstrap for systems of correlators involving
non-identical operators. The constraints of crossing symmetry and unitarity for
such mixed correlators can be phrased in the language of semidefinite
programming. We apply this formalism to the simplest system of mixed
correlators in 3D CFTs with a global symmetry. For the leading
-odd operator and -even operator
, we obtain numerical constraints on the allowed dimensions
assuming that and are
the only relevant scalars in the theory. These constraints yield a small closed
region in space compatible with the known
values in the 3D Ising CFT.Comment: 39 pages, 6 figure
EBG: a lazy functional programming language implemented on the Java virtual machine.
The Java programming language offers a number of features including: portability; graphics; networking. Java implements the object-oriented execution model in terms of classes, objects with state, message passing and inclusion polymorphism. This work aims to provide a mixed paradigm environment which offers the advantages of both object-oriented and functional programming. The functional paradigm is supported by a new language called EBG which compiles to the Java VM. The resulting environment can support applications which use both object-oriented and functional programming as appropriate
Connectors meet Choreographies
We present Cho-Reo-graphies (CR), a new language model that unites two
powerful programming paradigms for concurrent software based on communicating
processes: Choreographic Programming and Exogenous Coordination. In CR,
programmers specify the desired communications among processes using a
choreography, and define how communications should be concretely animated by
connectors given as constraint automata (e.g., synchronous barriers and
asynchronous multi-casts). CR is the first choreography calculus where
different communication semantics (determined by connectors) can be freely
mixed; since connectors are user-defined, CR also supports many communication
semantics that were previously unavailable for choreographies. We develop a
static analysis that guarantees that a choreography in CR and its user-defined
connectors are compatible, define a compiler from choreographies to a process
calculus based on connectors, and prove that compatibility guarantees
deadlock-freedom of the compiled process implementations
- …