Biological robustness, defined as the ability to maintain stable functioning in the face of various perturbations, is an important and fundamental topic in current biology, and has become a focus of numerous studies in recent years. Although structural robustness has been explored in several types of RNA molecules, the origins of robustness are still controversial. Computational analysis result...

This paper presents an ooine partial evaluator for Abstract State Machines. Self-application is possible by means of a simpliied version of the partial evaluator written in ASM itself. Using self-application, we have generated compilers for small languages from their interpreter deenitions. We also present techniques for describing the semantics of programming languages, in a way suitable for p...

This paper presents mOdCL, a Maude based evaluator of OCL expressions and validator of OCL constraints. Given its OCL expression evaluator, the use of execution strategies allows mOdCL, not only validating invariant constraints on concrete system states, but also dynamically validating invariants and preand post-conditions on the successive states obtained during system execution.

Partial evaluation is a technique for specializing programs with respect to parts of their input. We describe an o ine partial evaluator mixASM for Abstract State Machines, written in the ASM language itself. The partial evaluator is self-applicable, so some problems related to self-application are discussed. This work concentrates on the implementation of mixASM , presenting all algorithms in ...

We present a framework of an online partial evaluator for a call-by-value -calculus with destructive updates of data structures. To our knowledge, this is the rst partial evaluator that can deal with full side-e ects as well as pointer equality in higher-order languages. Our partial evaluator uses a side-e ect analysis for handling assignment operations and then performs an online specializatio...

Abstract GREENPORT2050 is a project within Clean Sky 2 Technology Evaluator. Its objective to assess the environmental impact up 2050 at airport level of technologies developed in Programme for fixed-wing aircraft. With these assessments, it complements environmental-impact assessments those other two levels Evaluator: aircraft and air-transport system level. This paper provides an overview sys...

Language effect (Chinese vs. English), and power distance between evaluator and user in usability test were investigated. 12 participants from China, Swede, and Denmark formed 7 evaluator-test user pairs. Test users were asked to use a software. Evaluators were asked to conduct the usability test, and try to find usability problems. Participants’ conversation, behaviour, and screen operation we...

Evidence from both psychology and economics shows that people exaggerate the similarity between the information they have and the information available to others. I present a model of such information projection by assuming that after processing a signal a person overestimates the probability with which this signal is available to others. I apply the model to agency and communication settings. ...