Search NASA⌕ Search

SEARCH · Search NASA

Results for “science-based models”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 55 records · Page 3

A perspective on Bayesian methods applied to materials discovery and design

For more than two decades, there has been increasing interest in developing frameworks for the accelerated discovery and design of novel materials that could enable promising and transformative technologies. The Integrated Computational Materials Engineering (ICME) program called for integrating computational tools to establish linkages along process-structure-property-performance (PSPP) chains. The Materials Genome Initiative called for integrating experiments and computations within data science frameworks as a strategy to accelerate the materials development cycle. While these frameworks and paradigms have been quite influential, traditional ICME or data science-based approaches tend to have some limitations, mainly when querying the materials space is costly and very little information is available. Bayesian methods are more suitable in this context due to their efficiency gains. To this end, the materials discovery problem is framed as a Bayesian Optimization (BO). Different examples in which BO has been applied to solve materials discovery problems are presented. The methods/examples discussed include BO under model uncertainty, multi-information source BO, multi-objective and multi-constraint BO, and batch BO. Bayesian Materials Discovery is a promising area of research that is likely to become more influential as more attention is put on autonomous materials discovery platforms. Therefore, a discussion is provided on the potential development of such methods to increase the ability of existing platforms in materials discovery. Here, the ultimate goal is to pave the way to autonomous materials discovery.

36 MATERIALS SCIENCE↗

Optimal experimental design using eigenvalue-based criteria with Pyomo.DoE

New developments in automated optimal experimental design within the PSE+ software ecosystem. Advancements in user experience (to reduce the time taken to perform optimal experiment design) and computational capabilities (allowing more diverse experimental design) are shown with an example relevant to critical minerals and materials. Also, a small tutorial on science-based optimal experimental design and novel contributions therein are presented.

97 MATHEMATICS AND COMPUTING↗

Remote Sensing and Modeling for Improving Operational Aquatic Plant Management

The California Sacramento-San Joaquin River Delta is the hub for California’s water supply, conveying water from Northern to Southern California agriculture and communities while supporting important ecosystem services, agriculture, and communities in the Delta. Changes in climate, long-term drought, water quality changes, and expansion of invasive aquatic plants threatens ecosystems, impedes ecosystem restoration, and is economically, environmentally, and sociologically detrimental to the San Francisco Bay/California Delta complex. NASA Ames Research Center and the USDA-ARS partnered with the State of California and local governments to develop science-based, adaptive-management strategies for the Sacramento-San Joaquin Delta. The project combines science, operations, and economics related to integrated management scenarios for aquatic weeds to help land and waterway managers make science-informed decisions regarding management and outcomes. The team provides a comprehensive understanding of agricultural and urban land use in the Delta and the major water sheds (San Joaquin/Sacramento) supplying the Delta and interaction with drought and climate impacts on the environment, water quality, and weed growth. The team recommends conservation and modified land-use practices and aids local Delta stakeholders in developing management strategies. New remote sensing tools have been developed to enhance ability to assess conditions, inform decision support tools, and monitor management practices. Science gaps in understanding how native and invasive plants respond to altered environmental conditions are being filled and provide critical biological response parameters for Delta-SWAT simulation modeling. Operational agencies such as the California Department of Boating and Waterways provide testing and act as initial adopter of decision support tools. Methods developed by the project can become routine land and water management tools in complex river delta systems.

Agriculture↗

NREL Hydrogen Sensor Testing Laboratory

Relevance: Detection is recognized as a critical element for hydrogen facility safety design and supports risk mitigation. Detection methodologies will support validation of H2 behavior research. Hydrogen point sensors play a critical role for safety and process monitoring, but other methodologies can be developed. Approach: NREL Sensor Laboratory tests and verifies sensor performance for manufacturers, developers, end-users, regulatory agencies and SDOs/CDOs NREL deployment activity supports regulatory requirement verification, hydrogen behavior models, and method development for use by stakeholders. Accomplishments and Progress: NREL's R&D accomplishments have supported developers, industry, and SDOs by providing sensor performance and deployment expertise not otherwise available. Development of alternative detection strategies for hydrogen applications have been initiated. HyWAM and advanced detection methodologies deployments at H2@Scale Facilities are being implemented. Collaborations: Collaboration with government laboratories, universities, private organizations and regulatory agencies has leveraged the NREL Sensor Laboratory's success in advancing hydrogen safety sensors and process control. Proposed Future Work: NREL will support hydrogen deployment by the proper implementation of hydrogen sensors and advanced detection strategies. NREL will continue to support science-based codes and standards. This effort will be guided by the needs of the hydrogen community.

codes and standards↗

Buckling Load Calculations of the Isotropic Shell A-8 Using a High-Fidelity Hierarchical Approach

As a step towards developing a new design philosophy, one that moves away from the traditional empirical approach used today in design towards a science-based design technology approach, a test series of 7 isotropic shells carried out by Aristocrat and Babcock at Caltech is used. It is shown how the hierarchical approach to buckling load calculations proposed by Arbocz et al can be used to perform an approach often called 'high fidelity analysis', where the uncertainties involved in a design are simulated by refined and accurate numerical methods. The Delft Interactive Shell DEsign COde (short, DISDECO) is employed for this hierarchical analysis to provide an accurate prediction of the critical buckling load of the given shell structure. This value is used later as a reference to establish the accuracy of the Level-3 buckling load predictions. As a final step in the hierarchical analysis approach, the critical buckling load and the estimated imperfection sensitivity of the shell are verified by conducting an analysis using a sufficiently refined finite element model with one of the current generation two-dimensional shell analysis codes with the advanced capabilities needed to represent both geometric and material nonlinearities.

Arbocz, Johann↗

On a High-Fidelity Hierarchical Approach to Buckling Load Calculations

As a step towards developing a new design philosophy, one that moves away from the traditional empirical approach used today in design towards a science-based design technology approach, a recent test series of 5 composite shells carried out by Waters at NASA Langley Research Center is used. It is shown how the hierarchical approach to buckling load calculations proposed by Arbocz et al can be used to perform an approach often called "high fidelity analysis", where the uncertainties involved in a design are simulated by refined and accurate numerical methods. The Delft Interactive Shell DEsign COde (short, DISDECO) is employed for this hierarchical analysis to provide an accurate prediction of the critical buckling load of the given shell structure. This value is used later as a reference to establish the accuracy of the Level-3 buckling load predictions. As a final step in the hierarchical analysis approach, the critical buckling load and the estimated imperfection sensitivity of the shell are verified by conducting an analysis using a sufficiently refined finite element model with one of the current generation two-dimensional shell analysis codes with the advanced capabilities needed to represent both geometric and material nonlinearities.

Arbocz, Johann↗

Defining the 50-Year Module: Luck, Design, or Both?

Poster presenting a new Duramat project that will develop a science-based definition of a "50-year solar panel" by combining reliability data, climate risks, design choices, and long-term cost analysis. The work aims to clarify what is needed to enable longer-lasting, high-value solar systems.

14 SOLAR ENERGY↗

DOE CESER 6 GHz Interference Study

DOE CESER has sponsored Idaho National Laboratory (INL) to conduct an objective and independent study of potential 6 GHz interference from outdoor operation of unlicensed devices in the 6 GHz band on fixed service (FS) microwave communication links operated by electrical sector incumbents in that band. INL is collaborating with University of Notre Dame (UND), Electric Power Research Institute (EPRI), Lockard & White, Southern Company, and AT&T, to gather data with real-world 6 GHz interference experiments and identify (1) the potential for interference from unlicensed devices and (2) the interference necessary to cause harm to the incumbents. In addition to the functional assessment, a security assessment of the FCC mandated Automatic Frequency Coordination (AFC) System to regulate use of unlicensed 6 GHz standard power devices is also being conducted. A major objective is to create a science-based and defensible methodology used to produce the necessary data and to derive objective conclusions. This proven methodology can then be used to produce objective data and conclusions for other spectrum bands with similar incumbent uses including 4.4 – 4.9 GHz and 7.125 – 7.4 GHz, identified in the reconciliation bill that was adopted on July 4, 2025, as well as the National Spectrum Strategy discussions that are ongoing. This report contains 6 GHz field experiments and findings in the following real-world scenarios with commercial unlicensed standard power (SP) 6 GHz devices regulated by Automated Frequency Coordination (AFC): • University of Notre Dame (UND) Stadium with a capacity of 80,000 spectators, where Wi-Fi operating in 6 GHz has been deployed recently • Southern Company 6 GHz FS microwave link between Columbus and Fortson, Georgia Following are the following key findings from this study. 1. The AFC is under-protective of FS when line-of-sight exists along the path centerline. Data collected at Southern’s 6 GHz fixed link site shows significant erosion of as much as 21.4-24.4 dB of under-protection that can lead to potential service degradation under typical operating conditions. This first key finding is most likely the result of erroneous use of the RF propagation model. INL will collaborate with EPRI and the AFC Functional Requirements Working Group to submit a change request to the WinnForum TS-1014 standard towards correct use of the propagation model by the AFC. 2. There is additive interference effect of about 3 dB from nearly equal power interferers measured from simultaneous operation of two SP AP's operating co-channel with the FS receive from different locations along the path. This second key finding should be used to add the impact of additive interference of operation of multiple APs in the same geographical area, to the next generation of AFCs. INL will collaborate with FCC on the need for the AFC to consider additive interference. We also recommend that additional experiments are conducted on 6 GHz spectrum interference to further improve the AFC operation as the number of outdoor Wi-Fi devices continues to increase. These proposed steps and recommendations will make the co-existence of the incumbents and the 6 GHz outdoor Wi-Fi providers possible without any impact on the incumbents with a win-win outcome for all.

6 GHz↗

Pandemic, War, and Global Energy Transitions

The COVID-19 pandemic and Russia’s war on Ukraine have impacted the global economy, including the energy sector. The pandemic caused drastic fluctuations in energy demand, oil price shocks, disruptions in energy supply chains, and hampered energy investments, while the war left the world with energy price hikes and energy security challenges. The long-term impacts of these crises on low-carbon energy transitions and mitigation of climate change are still uncertain but are slowly emerging. This paper analyzes the impacts throughout the energy system, including upstream fuel supply, renewable energy investments, demand for energy services, and implications for energy equity, by reviewing recent studies and consulting experts in the field. We find that both crises initially appeared as opportunities for low-carbon energy transitions: the pandemic by showing the extent of lifestyle and behavioral change in a short period and the role of science-based policy advice, and the war by highlighting the need for greater energy diversification and reliance on local, renewable energy sources. However, the early evidence suggests that policymaking worldwide is focused on short-term, seemingly quicker solutions, such as supporting the incumbent energy industry in the post-pandemic era to save the economy and looking for new fossil fuel supply routes for enhancing energy security following the war. As such, the fossil fuel industry may emerge even stronger after these energy crises creating new lock-ins. This implies that the public sentiment against dependency on fossil fuels may end as a lost opportunity to translate into actions toward climate-friendly energy transitions, without ambitious plans for phasing out such fuels altogether. We propose policy recommendations to overcome these challenges toward achieving resilient and sustainable energy systems, mostly driven by energy services.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Conducting more inclusive solar geoengineering research: A feminist science framework

Solar geoengineering, or deliberate climate modification, has been receiving increased attention in recent years. Given the far-reaching consequences of any potential solar geoengineering deployments, it is prudent to identify inherent biases, blind spots, and other potential issues at all stages of the research process. Here we articulate a feminist science-based framework to concretely describe how solar geoengineering researchers can be more inclusive of different perspectives and potentially contradictory conclusions, in the process illuminating potential implicit bias and enhancing the conclusions that can be gained from their studies. Importantly, this framework is an adoptable method of practice that can be refined, with the aim of conducting better research in solar geoengineering. As an illustration, we retrospectively apply this framework to a well-read solar geoengineering study (also led by the first author of this study), improving transparency by revealing its implicit values, conclusions made from its evidence base, and the methodologies that study pursues. We conclude here with a set of recommendations for the geoengineering research community whereby more inclusive research can become a regular part of practice. Throughout this process, we illustrate how feminist science scholars can use this approach to study climate modeling.

54 ENVIRONMENTAL SCIENCES↗

FY22 Laboratory Directed Research and Development Annual Report

The Laboratory Directed Research and Development (LDRD) program yields foundational scientific research and development (R&D) essential to growing SRNL’s core competencies, in alignment with SRNL’s Strategic Plan to provide long-term benefits to the Department of Energy (DOE), the National Nuclear Security Administration (NNSA), and other customers and stakeholders. Five strategic goals are outlined in SRNL’s strategic plan: 1) Provide applied science and engineering for EM’s active clean-up sites and LM’s post closure management sites; 2) Provide science-based solutions for gaps identified in nonproliferation strategic vision and support the government in actives impacting national security; 3) Lead ST&E as the central technical authority for processing tritium loaded reservoirs and support production of plutonium pits; 4) Align science and energy security programs by focusing modern modeling, simulation, and data analytics tools on materials engineering and performance applications; 5) Build a workforce for the future.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Comparison of Side-on Peak Overpressure Predictions and Measurements for Type IV Composite Overwrapped Pressure Vessel Catastrophic Failure

This development of empirical data to support realistic and science-based input to safety regulations and transportation standards is a critical need for the hazardous material (HM) transportation industry. Current regulations and standards are based on the TNT equivalency model. However, real world experience indicates that use of the TNT equivalency model to predict composite overwrapped pressure vessel (COPV) potential energy release is unrealistically conservative. The purpose of this report is to characterize and quantify rupture events involving damaged COPV’s of the type used in HM transportation regulated by the Department of Transportation (DOT). This was accomplished using a series of five tests; 2 COPV tests for compressed natural gas (CNG), 2 COPV tests for hydrogen, and 1 COPV test for nitrogen. Measured overpressures from these tests were compared to predicted overpressures from a TNT equivalence model and blast curves. Comparison between the measurements and predictions shows that the predictions are generally conservative, and that the extent of conservatism is dominated by predictions of the chemical contribution to overpressure from fuel within the COPVs.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Asthma and Air Quality in the Presence of Fires - A Foundation for Public Health Policy in Florida

Outdoor air quality and its associated impacts on respiratory problems in Florida are of public health significance. Air quality in Florida can be poor during the extended wildfire season, threatening persons with compromised respiratory systems each year. Studies have demonstrated that particulate matter, which is generally elevated in the vicinity of wildfires, is associated with increases in hospital admissions and occurrences of acute asthma exacerbations. However, few studies have examined the modifying effect of socio-demographic characteristics of cities or regional areas on the relationship between air quality and health outcomes. In an ongoing university/multi-agency project, asthma hospital/emergency room (patient) data are being used to create a health outcome indicator of human response to environmental air quality. Environmental data are derived from satellite measurements, with special attention being given to the effect of wildfires and prescribed burns on air quality. This presentation will focus on the environmental data sets particulate matter, location of fires, smoke plumes that are being collected and processed for linkage with health data. After this linkage has been performed, space-time models of asthma rates as a function of air quality data and socio-demographic variables will be developed and validated. The Florida Department of Health (FDOH) will work with county health department staff and representatives from the medical community to establish a protocol with triggers for issuing public health advisories/alerts based on the developed and validated health outcome indicators. From this effort, a science-based policy for issuing public health advisories/alerts for asthma relating to air quality will be developed, giving FDOH the ability to (1) predict, with stated levels of uncertainty, case load of hospital admissions based on air quality, (2) reduce asthma exacerbations by forewarning asthmatics to limit outside activities on poor air quality days, (3) apply management practices on the rates of hospital/emergency room visits for asthma, and (4) provide information that would help translate interventions into policy decisions, thereby reducing the economic burden and increasing well being of asthmatics. Further, the results of the study will be incorporated into Florida s Environmental Public Health Tracking (EPHT) program, which is part of the Centers for Disease Control and Prevention's (CDC's) EPHT network.

Crosson, William↗

Adaptive Management Methods to Protect the California Sacramento-San Joaquin Delta Water Resource

The California Sacramento-San Joaquin River Delta is the hub for California's water supply, conveying water from Northern to Southern California agriculture and communities while supporting important ecosystem services, agriculture, and communities in the Delta. Changes in climate, long-term drought, water quality changes, and expansion of invasive aquatic plants threatens ecosystems, impedes ecosystem restoration, and is economically, environmentally, and sociologically detrimental to the San Francisco Bay/California Delta complex. NASA Ames Research Center and the USDA-ARS partnered with the State of California and local governments to develop science-based, adaptive-management strategies for the Sacramento-San Joaquin Delta. The project combines science, operations, and economics related to integrated management scenarios for aquatic weeds to help land and waterway managers make science-informed decisions regarding management and outcomes. The team provides a comprehensive understanding of agricultural and urban land use in the Delta and the major water sheds (San Joaquin/Sacramento) supplying the Delta and interaction with drought and climate impacts on the environment, water quality, and weed growth. The team recommends conservation and modified land-use practices and aids local Delta stakeholders in developing management strategies. New remote sensing tools have been developed to enhance ability to assess conditions, inform decision support tools, and monitor management practices. Science gaps in understanding how native and invasive plants respond to altered environmental conditions are being filled and provide critical biological response parameters for Delta-SWAT simulation modeling. Operational agencies such as the California Department of Boating and Waterways provide testing and act as initial adopter of decision support tools. Methods developed by the project can become routine land and water management tools in complex river delta systems.

Agriculture↗

Using Science Skills to Understand Ecophysiology and Manage Resources

Presentation will be for a general audience and focus on plant science and ecosystem science in NASA. Examples from the projects involving the presenter will be used to illustrate. Specifically, the California Sacramento-San Joaquin River Delta project. This collaboration supports the goals of the Delta Plan in developing science-based, adaptive-management strategies. The mission is to improve reliability of water supply and restore a healthy Delta ecosystem while enhancing agriculture and recreation. NASA can contribute gap-filling science understanding of overall functions in the Delta ecosystem and assess and help develop management plans for specific issues. Airborne and satellite remote-sensing, ecosystem modeling, and biological studies provide underlying data needed by Delta stakeholders to assess and address water, ecosystem restoration, and environmental and economic impacts of potential actions in the Delta. The California Sacramento-San Joaquin River Delta, the hub for California's water supply, supports important ecosystem services for fisheries, supplies drinking water for millions, and distributes water from Northern California to agriculture and urban communities to the south; millions of people and businesses depend on Delta water. Decades of competing demands for Delta resources and year-to-year variability in precipitation has resulted in diminished overall health of the Delta. Declines in fish populations, threatened ecosystems, endangered species, invasive plants and animals, cuts in agricultural exports, and increased water conservation is the result. NASA and the USDA, building on previous collaborations, aide local Delta stakeholders in assessing and developing an invasive weed management approach. Aquatic, terrestrial, and riparian invasive weeds threaten aquatic and terrestrial ecosystem restoration efforts. Aquatic weeds are currently detrimental economically, environmentally, and sociologically in the Delta. They negatively impact the redistribution of water and disrupt the ecology of the Bay Delta food web. Filling current science gaps in the Delta Plan and improving management practices within the Delta are important to achieving the mission of improved Delta health. Methods developed can become routine land and water management tools. New high-resolution NASA sensor systems could be used to provide data packages specifically designed for water system The presenter will also speak about his personal experience and the role Delaware Valley College played in preparation for a professional career science.

Water↗

Potentially Underestimated Gas Flaring Activities—A New Approach to Detect Combustion Using Machine Learning and NASA’s Black Marble Product Suite

Monitoring changes in greenhouse gas (GHG) emission is critical for assessing climate mitigation efforts towards the Paris Agreement goal. A crucial aspect of science-based GHG monitoring is to provide objective information for quality assurance and uncertainty assessment of the reported emissions. Emission estimates from combustion events (gas flaring and biomass burning) are often calculated based on activity data (AD) from satellite observations, such as those detected from the visible infrared imaging radiometer suite (VIIRS) onboard the Suomi-NPP and NOAA-20 satellites. These estimates are often incorporated into carbon models for calculating emissions and removals. Consequently, errors and uncertainties associated with AD propagate into these models and impact emission estimates. Deriving uncertainty of AD is therefore crucial for transparency of emission estimates but remains a challenge due to the lack of evaluation data or alternate estimates. This work proposes a new approach using machine learning (ML) for combustion detection from NASA's Black Marble product suite and explores the assessment of potential uncertainties through comparison with existing detections. We jointly characterize combustion using thermal and light emission signals, with the latter improving detection of probable weaker combustion with less distinct thermal signatures. Being methodologically independent, the differences in ML-derived estimates with existing approaches can indicate the potential uncertainties in detection. The approach was applied to detect gas flares over the Eagle Ford Shale, Texas. We analyzed the spatio-temporal variations in detections and found that approximately 79.04% and 72.14% of the light emission-based detections are missed by ML-derived detections from VIIRS thermal bands and existing datasets, respectively. This improvement in combustion detection and scope for uncertainty assessment is essential for comprehensive monitoring of resulting emissions and we discuss the steps for extending this globally.

gas flaring↗

An Analytic Collaborative Framework for the Earth System Observatory

NASA's Earth System Observatory groundbreaking observations will provide critical measurements to address societal relevant problems in climate change, natural hazard mitigation, fighting forest fires, and improving real-time agricultural processes. Central to the ESO vision is the notion of Open-Source Science (OSS), a collaborative culture enabled by technology that promotes the open sharing of data, information, and knowledge aiming to facilitate and accelerate scientific understanding, and the agile development of applications for the benefit of society. The larger vision of an Earth System Digital Twin (ESDT) calls for integrated Earth science frameworks that mirror the Earth by a proxy digital construct that includes km-scale resolution Earth system models and data assimilation systems along with an integrated set of analytic tools to enable the next generation of science discoveries and evidence-based decision making. The goal of this project is to develop an Analytic Collaborative Framework for ESO missions, based on realistic, science-based observing system simulations and the Program of Record (PoR). Tying it all together is a cloud-based cyberinfrastructure that will enable each uniquely designed satellite in the Earth System Observatory to work in tandem to create a 3D, holistic view of Earth. In this presentation, we lay the technological groundwork for enabling such a vision. Our approach consists of the 3 main interconnected building blocks: 1. Cloud-optimized representative datasets for ESO missions and the PoR to serve as basis for developing and prototyping an Analytic Collaborative Framework. 2. An Algorithm Workbench for enabling experimentation and exploration of synergistic algorithms not only for instruments within a mission, but also including the PoR and other ESO missions. 3. A series of concrete Open-Source Science demonstrations including use cases that span science discovery and end-user applications with direct societal impact. While our ultimate goal is to include all of the main missions comprising the Earth System Observatory, in our initial 2 years we will focus on AOS and SBG, two missions for which specific synergisms have been identified in a recent workshop. In this presentation we will describe our approach and discuss some illustrative examples of our framework.

Arlindo da SIlva↗

An Analytic Collaborative Framework for the Earth System Observatory

NASA's Earth System Observatory groundbreaking observations will provide critical measurements to address societal relevant problems in climate change, natural hazard mitigation, fighting forest fires, and improving real-time agricultural processes. Central to the ESO vision is the notion of Open-Source Science (OSS), a collaborative culture enabled by technology that promotes the open sharing of data, information, and knowledge aiming to facilitate and accelerate scientific understanding, and the agile development of applications for the benefit of society. The larger vision of an Earth System Digital Twin (ESDT) calls for integrated Earth science frameworks that mirror the Earth by a proxy digital construct that includes km-scale resolution Earth system models and data assimilation systems along with an integrated set of analytic tools to enable the next generation of science discoveries and evidence-based decision making. The goal of this project is to develop an Analytic Collaborative Framework for ESO missions, based on realistic, science-based observing system simulations and the Program of Record (PoR). Tying it all together is a cloud-based cyberinfrastructure that will enable each uniquely designed satellite in the Earth System Observatory to work in tandem to create a 3D, holistic view of Earth. In this presentation, we lay the technological groundwork for enabling such a vision. Our approach consists of the 3 main interconnected building blocks: 1. Cloud-optimized representative datasets for ESO missions and the PoR to serve as basis for developing and prototyping an Analytic Collaborative Framework. 2. An Algorithm Workbench for enabling experimentation and exploration of synergistic algorithms not only for instruments within a mission, but also including the PoR and other ESO missions. 3. A series of concrete Open-Source Science demonstrations including use cases that span science discovery and end-user applications with direct societal impact. While our ultimate goal is to include all of the main missions comprising the Earth System Observatory, in our initial 2 years we will focus on AOS and SBG, two missions for which specific synergisms have been identified in a recent workshop. In this presentation we will describe our approach and discuss some illustrative examples of our framework.

Arlindo da SIlva↗