To deliver a Mars entry vehicle to the prescribed parachute deployment point, active entry guidance is essential. This paper addresses the problem of Mars atmospheric entry guidance through drag tracking method with extended high gain observer. First, an extended high gain observer combined with feedback linearization is applied in drag tracking for Mars entry longitudinal guidance. The observe...

Ecosystem Services Web (ESWS) are new web-based approaches to quantifying the benefits that humans derive from nature. Specifically, ESWS application of open web standards ecosystem service assessment facilitate creation, iteration, and dissemination in a seamless way. This integration streamlines collaboration, automation, curation, while providing an interface through which novel advances can...

Abstract Introduced species can alter the dynamics and structure of a native community. Network analysis provides tool to study host–parasite interactions that help predict possible impact biological invasions or other disturbances. In this study, we used weighted bipartite networks assess differences in interaction patterns between hosts helminth parasites (Sea Japan) invasive (Black Sea Azov)...

Modularity and flexibility can conflict in multi-language systems. For example, the templates commonly used to generate web pages must be manually updated when the database schema changes. Modularity can be improved by generating web pages automatically from the database schema, but it is hard for such a generator to produce the same variety of outputs that are easily achieved by ad hoc edits t...

Since the publication of Fodor's (1983) The Modularity of Mind, there have been quite a few discussions of cognitive modularity among cognitive scientists. Generally, in those discussions, modularity means a property of specialized cognitive processes or a domain-specific body of information. In actuality, scholars understand modularity in many different ways. Different characterizations of mod...

OBJECTIVE To evaluate bodyweight gain during pregabalin therapy for epilepsy and the utility of a short counseling program to prevent this side effect. METHODS Randomized controlled trial on the effects of extended versus standard patient counseling on the risk of bodyweight gain with 3- and 6-month follow-up including a consecutive sample of adult outpatients with epilepsy eligible for prega...

We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools such as Simulink and SCADE. Modularity means code is generated for a given composite block independently from context, that is, without knowing in which diagrams this block is going to be used. This can be achieved by abstractin...

Nodal theorems for generalized modularity matrices ensure that the cluster located by the positive entries of the leading eigenvector of various modularity matrices induces a connected subgraph. In this paper we obtain lower bounds for the modularity of that set of nodes showing that, under certain conditions, the nodal domains induced by eigenvectors corresponding to highly positive eigenvalue...

Recently, Arts and Giesl developed the dependency pair approach which allows automated termination and innermost termination proofs for many term rewriting systems (TRSs) for which such proofs were not possible before. The motivation for this approach was that virtually all previous techniques for automated termination proofs of TRSs were based on simplification orderings. In practice, however,...