Search results for "reach"
showing 10 items of 152 documents
Thoughts on What Chemists Can Contribute to Fighting SARS-CoV-2 - A Short Note on Hand Sanitizers, Drug Candidates and Outreach.
2020
Abstract The SARS‐CoV‐2 outbreak causing the respiratory disease COVID‐19 has left many chemists in academia without an obvious option to contribute to fighting the pandemic. Some of our recent experiences indicate that there are ways to overcome this dilemma. A three‐pronged approach is proposed.
Energy-related optimal control accounts for gravitational load: comparing shoulder, elbow, and wrist rotations.
2013
International audience; Gaveau J, Berret B, Demougeot L, Fadiga L, Pozzo T, Papaxanthis C. Energy-related optimal control accounts for gravitational load: comparing shoulder, elbow, and wrist rotations. J Neurophysiol 111: 4-16, 2014. First published October 16, 2013; doi: 10.1152/jn.01029.2012.-We permanently deal with gravity force. Experimental evidences revealed that moving against gravity strongly differs from moving along the gravity vector. This directional asymmetry has been attributed to an optimal planning process that optimizes gravity force effects to minimize energy. Yet, only few studies have considered the case of vertical movements in the context of optimal control. What kin…
Decidability of bisimulation equivalences for parallel timer processes
1993
In this paper an abstract model of parallel timer processes (PTPs), allowing specification of temporal quantitative constraints on the behaviour of real time systems, is introduced. The parallel timer processes are defined in a dense time domain and are able to model both concurrent (with delay intervals overlapping on the time axis) and infinite behaviour. Both the strong and weak (abstracted from internal actions) bisimulation equivalence problems for PTPs are proved decidable. It is proved also that, if one provides the PTP model additionally with memory cells for moving timer value information along the time axis, the bisimulation equivalence (and even the vertex reachability) problems …
Varieties and Covarieties of Languages (Extended Abstract)
2013
AbstractBecause of the isomorphism (X×A)→X≅X→(A→X), the transition structure of a deterministic automaton with state set X and with inputs from an alphabet A can be viewed both as an algebra and as a coalgebra. This algebra-coalgebra duality goes back to Arbib and Manes, who formulated it as a duality between reachability and observability, and is ultimately based on Kalmanʼs duality in systems theory between controllability and observability. Recently, it was used to give a new proof of Brzozowskiʼs minimization algorithm for deterministic automata. Here we will use the algebra-coalgebra duality of automata as a common perspective for the study of both varieties and covarieties, which are …
Optimal paths in weighted timed automata
2004
AbstractWe consider the optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this optimization problem consists of reducing it to computing (parametric) shortest paths in a finite weighted directed graph. We call this graph a parametric sub-region graph. It refines the region graph, a standard tool for the analysis of timed automata, by adding the information which is relevant to solving the optimal-reachability problem. We present an algorithm to solve the optimal-reachability problem for weighted timed automata that takes time exponential in O(n(|δ(A)|+|wmax|)), where n is the number of clock…
Deciding reachability for planar multi-polynomial systems
1996
In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state space corresponds to the standard Euclidean plane, which is partitioned into a finite number of (polyhedral) regions. To each of these regions is assigned some vector field which governs the dynamical behaviour of the system within this region. We prove the decidability of point to point and region to region reachability problems for planar hybrid systems for the case when trajectories within the regions can be described by polynomials of arbitrary degree.
General decidability theorems for infinite-state systems
2002
Over the last few years there has been an increasing research effort directed towards the automatic verification of infinite state systems. This paper is concerned with identifying general mathematical structures which can serve as sufficient conditions for achieving decidability. We present decidability results for a class of systems (called well-structured systems), which consist of a finite control part operating on an infinite data domain. The results assume that the data domain is equipped with a well-ordered and well-founded preorder such that the transition relation is "monotonic" (is a simulation) with respect to the preorder. We show that the following properties are decidable for …
Exploring Postgraduate Socioeconomics Programs in Spanish-Speaking Countries
2019
Resumen En los últimos años las actividades sin fines de lucro han sido promovidas como un mecanismo alternativo para el desarrollo en el contexto de la situación económica mundial. Sin embargo, a pesar de sus potencialidades, esas actividades continúan siendo relativamente poco expandidas y requieren de ampliar los conocimientos sobre ellas. En este sentido la universidad puede convertirse en un generador y transmisor de saberes sobre el tema de economía social. Por esta razón, se plantea desarrollar un análisis de la oferta de programas de posgrado en Economía Social en las instituciones de educación superior latinoamericanas y españolas. El artículo presenta el proceso y los resultados d…
The Social Nature of Chronic Noncommunicable Diseases and How to Tackle Them Through Communication Technology, Training, and Outreach
2011
As world leaders prepare for the United Nations High Level Meeting on Noncommunicable Diseases, to take place in September 2011, international organizations, nongovernmental organizations, and economic and business fora have created new alliances and initiatives to accelerate research, advocacy, and political commitment. This article argues that the time is propitious to reflect on the social nature of the most common behavioral noncommunicable disease determinants, including tobacco and alcohol use, physical inactivity, and unhealthy diet. Evidence is presented related to the fact that these diseases are profoundly rooted in social and community ties and points to the need for a modern com…
Do microfinance institutions benefit from integrating financial and nonfinancial services?
2017
This article examines the impact of microfinance ‘plus’ (i.e. coordinated combination of financial and nonfinancial services) on the performance of microfinance institutions (MFIs). Using a global data set of MFIs in 77 countries, we find that the provision of nonfinancial services does not harm nor improve MFIs’ financial sustainability and efficiency. The results however suggest that the provision of social services is associated with improved loan quality and greater depth of outreach.