Towards Parameterized Regular Type Inference Using Set Constraints

We propose a method for inferring \emph{parameterized regular types} for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint systems). Such parameterized regular types generalize \emph{parametric} regular types by extending the scope of the parameters in the type definitions so that such parameters can relate the types of different predicates. We propose a number of enhancements to the procedure for solving the constraint systems that improve the precision of the type descriptions inferred. The resulting algorithm, together with a procedure to establish a set constraint system from a logic program, yields a program analysis that infers tighter safe approximations of the success types of the program than previous comparable work, offering a new and useful efficiency vs. precision trade-off. This is supported by experimental results, which show the feasibility of our analysis

A multiplexing architecture for mixed-signal CMOS fuzzy controllers

Limits to precision impose limits to the complexity of analog circuits, hence fuzzy analog controllers are usually oriented to fast low-power systems with low-medium complexity. This paper presents a strategy to preserve most of the advantages of an analog implementation, while allowing a marked increment in system complexity.The works in this papaer has been partially funded by the spanish C.I.C.Y.T. under contract TIC96-1392-C02-02 (SIVA

Australian Asian options

We study European options on the ratio of the stock price to its average and viceversa. Some of these options are traded in the Australian Stock Exchange since 1992, thus we call them Australian Asian options. For geometric averages, we obtain closed-form expressions for option prices. For arithmetic means, we use dierent approximations that produce very similar results.Asian options, arithmetic average, geometric average, edgeworth expansion, lognormal distribution, gamma distribution

Volterra Model Based Predictive Control, application to a Pem Fue Cell

14th Nordic Process Control Workshop - Espoo, Finland Duration: 23 Aug 2007 → 25 Aug 2007This paper presents a non linear model predictive controller for a PEM fuel cell for which the starvation control is the main objective. A second order Volterra model for control is obtained using input/output data for which the power supplied by the fuel cell is considered as a measurable disturbance. The controller developed allows to solve the nonlinear objective function in a way that it can be actually implemented in fast systems like Fuel cells. The use of a nonlinear controller is justified while comparing the outcome obtained with a linear controller of the same class

Danzas Espanolas

https://digitalcommons.library.umaine.edu/mmb-ps/3531/thumbnail.jp

Aplicabilidad de las TIG en la generación de escenarios de futuro para una gestión integrada de las zonas costeras

Para una planificación y gestión coherente de las zonas costeras es fundamental que exista una profunda comprensión de las interacciones entre el hombre y el medio físico, siendo preciso integrar la información sobre el conocimiento del medio natural aportada por las diferentes disciplinas científicas, junto con la información del contexto socio-económico, normativo y cultural. Por tanto, la toma de decisiones en los espacios litorales debe apoyarse en instrumentos interdisciplinares, capaces de operar con distintos tipos de datos y abordar situaciones complejas e impredecibles. La simulación de escenarios es una importante herramienta para evaluar desarrollos futuros en sistemas complejos y dinámicos que poseen un número alto de incertidumbres, y por ello es una técnica muy adecuada para la gestión de las zonas costeras. Los escenarios permiten integrar modelos socioeconómicos con modelos físicos, químicos o biológicos, reflejar una amplia gama de tendencias y dinámicas, y trabajar con distintas escalas temporales y espaciales. En el presente artículo se examina el uso actual y el potencial de las TIG en la generación de escenarios de futuro para la gestión integrada de las zonas costeras. Para ello se ha realizado un análisis de su aplicabilidad de las TIG, identificando en qué fases de la elaboración de escenarios se pueden utilizar. Los resultados indican que estas tecnologías tienen un alto potencial y son aplicables en todas las fases de la generación de los escenarios. Una de las fortalezas identificadas es que las TIG incrementan la transparencia y fiabilidad de la generación de escenarios de futuro facilitando los procesos equitativos y participativos de negociación, toma de decisiones y planificación en las zonas costeras.To achieve a coherent planning and management of coastal areas it is necessary having a deep understanding of the interactions existing between human-being and the physical environment, integrating information from different scientific disciplines (hydrology, morphodynamics, soil science, ecology, etc.) and socio-economic, normative and cultural context information. Therefore decision-making in coastal areas must be based on interdisciplinaryinstruments capable of working with different type of data and dealing with complex and unpredictable situations. Scenario-making is one of the most important tools for assessing future developments in complex and dynamic systems which have a high number of uncertainties; thus it is a very suitable approach for coastal zone management. Scenarios can integrate socio-economic models with physical, chemical or biological models, reflect a broad range of trends and dynamics, and work with different temporal and spatial scales. In this paper the current and potential use of Geographical Information Technologies (GIT) is examined in the generation of future scenarios for an integrated management of coastal areas. An analysis of the applicability of the GIT has been done, identifying at which stage of scenario development GIT can be used. The results indicate that GIT have great potential and are applicable at all stages of the scenarios generation. One of the strengths identified is that GIT increase the transparency and reliability of the generation of future scenarios and facilitate equitable and participatory processes of negotiation, decision making and planning in coastal areas

Spreading the use of economic methods in coastal risk management: a simple but insightful “calculator”

Navas, F.; Malvárez, G.; Penning-Rowsell, E., and Parker, D.J., 2020. Spreading the use of economic methods in coastal risk management: A simple but insightful "calculator". In: Malvárez, G. and Navas, F. (eds.), Global Coastal Issues of 2020. Journal of Coastal Research, Special Issue No. 95, pp. 1217–1222. Coconut Creek (Florida), ISSN 0749-0208. European Directives, such as the EU Floods Directive (2007/60/EC) require that decision makers include objective methodologies, such as benefit-cost analysis, in their assessments of flood risk reduction measures. Methodologies to establish a sustainable knowledge framework addressing the costs and benefits of prevention and response to coastal hazards resulting from hydro-meteorological, hydrographic and other natural events and processes (e.g. flooding, beach erosion, cliff erosion, sea level rise) are not homogeneously implemented in the European Union. Until now, investment decisions in this field have been made more on local political imperatives than logical economic risk assessments. This paper aims to overcome some these limitations by demonstrating the usefulness of a simplified benefit-cost methodology and its application to a coastal case where a number of alternative flood risk reduction schemes are considered. The method allows the economically optimal scheme to be identified. The method is discussed within the context of generally poorly comprehended aspects; issues presented in coupling benefit-cost methods with vulnerability and related assessments; and key data uncertainties

BioSStore: A Client Interface for a Repository of Semantically Annotated Bioinformatics Web Services

Bioinformatics has shown itself to be a domain in which Web services are being used extensively. In this domain, simple but real services are being developed. Thus, there are huge repositories of real services available (for example BioMOBY main repository includes more than 1500 services). Besides, bioinformatics repositories usually have active communities using and working on improvements. However, these kinds of repositories do not exploit the full potential of Web services (and SOA, Service Oriented Applications, in general). On the other hand, sophisticated technologies have been proposed to improve SOA, including the annotation on Web services to explicitly describe them. However, these approaches are lacking in repositories with real services. In the work presented here, we address the drawbacks present in bioinformatics services and try to improve the current semantic model by introducing the use of the W3C standard Semantic Annotations for WSDL and XML Schema (SAWSDL) and related proposals (WSMO Lite). This paper focuses on a user interface that takes advantage of a repository of semantically annotated bioinformatics Web services. In this way, we exploit semantics for the discovery of Web services, showing how the use of semantics will improve the user searches. The BioSStore is available at http://biosstore.khaos.uma.es. This portal will contain also future developments of this proposal