472 research outputs found
Towards a Lagrange-Newton approach for PDE constrained shape optimization
The novel Riemannian view on shape optimization developed in [Schulz, FoCM,
2014] is extended to a Lagrange-Newton approach for PDE constrained shape
optimization problems. The extension is based on optimization on Riemannian
vector space bundles and exemplified for a simple numerical example.Comment: 16 pages, 4 figures, 1 tabl
On optimal control problems with controls appearing nonlinearly in an elliptic state equation
An optimal control problem for a semilinear elliptic equation is discussed, where the control appears nonlinearly in the state equation but is not included in the objective functional. The existence of optimal controls is proved by a measurable selection technique. First-order necessary optimality conditions are derived and two types of second-order sufficient optimality conditions are established. A first theorem invokes a well-known assumption on the set of zeros of the switching function. A second relies on coercivity of the second derivative of the reduced objective functional. The results are applied to the convergence of optimal state functions for a finite element discretizion of the control problem.The first author was partially supported by the Spanish Ministerio de EconomĂa y Competitividad under project MTM2017-83185-P
Recommended from our members
The role of GPS-enabled information in transforming operational decision making: an exploratory study
Although the impact of ICT-enabled information on firm performance has been well documented in the business value of IT literature, our understanding of how Global Positioning System (GPS) adoption can transform operational decision making and foster differential firm performance is limited. In response, we conduct an exploratory comparative case study of three transport firms that have implemented the same GPS during the same year in their operations. Our results highlight that increased use of GPS-enabled information can enhance information quality and make operational decision making more fact-based and collaborative. We also find that such transformations in operational decision making, driven by increased use of GPS-enabled information, can foster differential performance impacts. However, we warn scholars and practitioners that a firmâs information management capability (in terms of availability of quality information in decision making, software tools for connectivity and access to information, IT systems integration post-GPS adoption and adaptability of the infrastructure to emerging business needs) and organizational factors (such as top management support, project management of GPS implementation, financial support, end-user involvement, rewarding, training and employee resistance) can facilitate (or inhibit) effective use of GPS-enabled information in operational decision making, and thus moderate differential performance benefits of GPS adoption
Assumptions behind grammatical approaches to code-switching: when the blueprint is a red herring
Many of the so-called âgrammarsâ of code-switching are based on various underlying assumptions, e.g. that informal speech can be adequately or appropriately described in terms of ââgrammarââ; that deep, rather than surface, structures are involved in code-switching; that one âlanguageâ is the âbaseâ or âmatrixâ; and that constraints derived from existing data are universal and predictive. We question these assumptions on several grounds. First, âgrammarâ is arguably distinct from the processes driving speech production. Second, the role of grammar is mediated by the variable, poly-idiolectal repertoires of bilingual speakers. Third, in many instances of CS the notion of a âbaseâ system is either irrelevant, or fails to explain the facts. Fourth, sociolinguistic factors frequently override âgrammaticalâ factors, as evidence from the same language pairs in different settings has shown. No principles proposed to date account for all the facts, and it seems unlikely that âgrammarâ, as conventionally conceived, can provide definitive answers. We conclude that rather than seeking universal, predictive grammatical rules, research on CS should focus on the variability of bilingual grammars
A Comprehensive Workflow for General-Purpose Neural Modeling with Highly Configurable Neuromorphic Hardware Systems
In this paper we present a methodological framework that meets novel
requirements emerging from upcoming types of accelerated and highly
configurable neuromorphic hardware systems. We describe in detail a device with
45 million programmable and dynamic synapses that is currently under
development, and we sketch the conceptual challenges that arise from taking
this platform into operation. More specifically, we aim at the establishment of
this neuromorphic system as a flexible and neuroscientifically valuable
modeling tool that can be used by non-hardware-experts. We consider various
functional aspects to be crucial for this purpose, and we introduce a
consistent workflow with detailed descriptions of all involved modules that
implement the suggested steps: The integration of the hardware interface into
the simulator-independent model description language PyNN; a fully automated
translation between the PyNN domain and appropriate hardware configurations; an
executable specification of the future neuromorphic system that can be
seamlessly integrated into this biology-to-hardware mapping process as a test
bench for all software layers and possible hardware design modifications; an
evaluation scheme that deploys models from a dedicated benchmark library,
compares the results generated by virtual or prototype hardware devices with
reference software simulations and analyzes the differences. The integration of
these components into one hardware-software workflow provides an ecosystem for
ongoing preparative studies that support the hardware design process and
represents the basis for the maturity of the model-to-hardware mapping
software. The functionality and flexibility of the latter is proven with a
variety of experimental results
SpineCreator: a Graphical User Interface for the Creation of Layered Neural Models.
There is a growing requirement in computational neuroscience for tools that permit collaborative model building, model sharing, combining existing models into a larger system (multi-scale model integration), and are able to simulate models using a variety of simulation engines and hardware platforms. Layered XML model specification formats solve many of these problems, however they are difficult to write and visualise without tools. Here we describe a new graphical software tool, SpineCreator, which facilitates the creation and visualisation of layered models of point spiking neurons or rate coded neurons without requiring the need for programming. We demonstrate the tool through the reproduction and visualisation of published models and show simulation results using code generation interfaced directly into SpineCreator. As a unique application for the graphical creation of neural networks, SpineCreator represents an important step forward for neuronal modelling
Unlocking community capability through promotion of self-help for health: experience from Chakaria, Bangladesh
Background
Peopleâs participation in health, enshrined in the 1978 Alma Ata declaration, seeks to tap into community capability for better health and empowerment. One mechanism to promote participation in health is through participatory action research (PAR) methods. Beginning in 1994, the Bangladeshi research organization ICDDR,B implemented a project âself-help for health,â to work with existing rural self-help organizations (SHOs). SHOs are organizations formed by villagers for their well-being through their own initiatives without external material help. This paper describes the projectâs implementation, impact, and reflective learnings.
Methods
Following a self-help conceptual framework and PAR, the project focused on building the capacity of SHOs and their members through training on organizational issues, imparting health literacy, and supporting participatory planning and monitoring. Quarterly activity reports and process documentation were the main sources of qualitative data used for this paper, enabling documentation of changes in organizational issues, as well as the number and nature of initiatives taken by the SHOs in the intervention area. Health and demographic surveillance system (HDSS) data from intervention and comparison areas since 1999 allowed assessment of changes in health indicators over time.
Results
Villagers and members of the SHOs actively participated in the self-help activities. SHO functionality increased in the intervention area, in terms of improved organizational processes and planned health activities. These included most notably in convening more regular meetings, identifying community needs, developing and implementing action plans, and monitoring progress and impact. Between 1999 and 2015, while decreases in infant mortality and increases in utilization of at least one antenatal care visit occurred similarly in intervention and comparison areas, increases in immunization, skilled birth attendance, facility deliveries and sanitary latrines were substantially more in intervention than comparison areas.
Conclusion
Building community capability by working with pre-existing SHOs, encouraging them to place health on their agendas, strengthening their functioning and implementation of health activities led to sustained improvements in utilization of services for over 20 years. Key elements underpinning success include efforts to build and maintain trust, ensuring social inclusion in project activities, and balancing demands for material resources with flexibility to be responsive to community needs
Scientific Goals and Objectives for the Human Exploration of Mars: 1. Biology and Atmosphere/Climate
To prepare for the exploration of Mars by humans, as outlined in the new national vision for Space Exploration (VSE), the Mars Exploration Program Analysis Group (MEPAG), chartered by NASA's Mars Exploration Program (MEP), formed a Human Exploration of Mars Science Analysis Group (HEM-SAG), in March 2007. HEM-SAG was chartered to develop the scientific goals and objectives for the human exploration of Mars based on the Mars Scientific Goals, Objectives, Investigations, and Priorities.1 The HEM-SAG is one of several humans to Mars scientific, engineering and mission architecture studies chartered in 2007 to support NASA s plans for the human exploration of Mars. The HEM-SAG is composed of about 30 Mars scientists representing the disciplines of Mars biology, climate/atmosphere, geology and geophysics from the U.S., Canada, England, France, Italy and Spain. MEPAG selected Drs. James B. Garvin (NASA Goddard Space Flight Center) and Joel S. Levine (NASA Langley Research Center) to serve as HEMSAG co-chairs. The HEM-SAG team conducted 20 telecons and convened three face-to-face meetings from March through October 2007. The management of MEP and MEPAG were briefed on the HEM-SAG interim findings in May. The HEM-SAG final report was presented on-line to the full MEPAG membership and was presented at the MEPAG meeting on February 20-21, 2008. This presentation will outline the HEM-SAG biology and climate/atmosphere goals and objectives. A companion paper will outline the HEM-SAG geology and geophysics goals and objectives
Driving vascular endothelial cell fate of human multipotent Isl1+ heart progenitors with VEGF modified mRNA
Distinct families of multipotent heart progenitors play a central role in the generation of diverse cardiac, smooth muscle and endothelial cell lineages during mammalian cardiogenesis. The identification of precise paracrine signals that drive the cell-fate decision of these multipotent progenitors, and the development of novel approaches to deliver these signals in vivo, are critical steps towards unlocking their regenerative therapeutic potential. Herein, we have identified a family of human cardiac endothelial intermediates located in outflow tract of the early human fetal hearts (OFT-ECs), characterized by coexpression of Isl1 and CD144/vWF. By comparing angiocrine factors expressed by the human OFT-ECs and non-cardiac ECs, vascular endothelial growth factor (VEGF)-A was identified as the most abundantly expressed factor, and clonal assays documented its ability to drive endothelial specification of human embryonic stem cell (ESC)-derived Isl1+ progenitors in a VEGF receptor-dependent manner. Human Isl1-ECs (endothelial cells differentiated from hESC-derived ISL1+ progenitors) resemble OFT-ECs in terms of expression of the cardiac endothelial progenitor- and endocardial cell-specific genes, confirming their organ specificity. To determine whether VEGF-A might serve as an in vivo cell-fate switch for human ESC-derived Isl1-ECs, we established a novel approach using chemically modified mRNA as a platform for transient, yet highly efficient expression of paracrine factors in cardiovascular progenitors. Overexpression of VEGF-A promotes not only the endothelial specification but also engraftment, proliferation and survival (reduced apoptosis) of the human Isl1+ progenitors in vivo. The large-scale derivation of cardiac-specific human Isl1-ECs from human pluripotent stem cells, coupled with the ability to drive endothelial specification, engraftment, and survival following transplantation, suggest a novel strategy for vascular regeneration in the heart
- âŠ