Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Research

Abstraction-Based Model Checking for Real-Time Software-Intensive System Models
Avatar for Critical Systems Research Group ftsrg
0
44
Efficient Manipulation of Logical Formulas as Decision Diagrams
Avatar for Critical Systems Research Group ftsrg
0
47
End-to-End Validation of Input Model Transformations in Model Checking Tools
Avatar for Critical Systems Research Group ftsrg
0
43
EmergenTheta: Verification Beyond Abstraction Refinement (SV-COMP Competition Contribution)
Avatar for Critical Systems Research Group ftsrg
0
36
Plenary Session IV: Dr. Augustin Wambo Yamdjeu & Dr. Katrin Glatzel: The Converging Climate Change and Bioeconomy Agendas in the Context of the Post-Malabo Agenda
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
34
Plenary Session III: Dr. Getaw Tadesse: Climate Adaptation Options in Africa: Adoption, Effectiveness, and Challenges
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
35
Plenary Session III: Mr. Sambane Yade: Climate Risks and Vulnerabilities in African Agrifood Systems
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
32
Plenary Session III: Ms. Cecilia d’Alessandro: Innovative Financing Mechanisms for Climate Adaptation in African Agrifood Systems
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
35
Plenary Session II: Dr. Mahamadou Tankari: Impact of Climate Change on African Economies and Opportunities for Agrifood System Transformation
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
35
Plenary Session II: Dr. Jean Paul Faye: Tracking and Measuring Greenhouse Gas Emissions (methane and soil carbon)
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
41
Plenary Session I: Dr. Augustin Wambo Yamdjeu: Overview of the 2024 Annual Trends and Outlook Report (ATOR)
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
46
Side Event IV: Dr. Mbaye Yade: Revamping the Regional e-Atlas: Current Status and Challenges
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
28
Side Event IV: Dr. Greenwell Matchaya: Introducing on Local Analysis Network Model: Country Updates and Possible Improvements
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
36
Side Event IV: Prof. Christian Henning: Opening Remarks
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
34
Side Event III: Dr. Aisha Musaazi S. Nakitto: Policy Innovations to Unlock Financing for Africa’s Climate and Bioeconomy Initiatives
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
47
Side Event II: Dr. Augustin Wambo Yamdjeu: Mobilizing and Deploying Technical Expertise to Support Key Thematic Areas
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
41
Side Event II: Dr. Hamady Diop: CAADP from Maputo to Malabo and Beyond: A Status Update on the Process and Selected Lesson Learned
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
42
Side Event I: Dr. Mahamadou Tankari: CAADP BR DST, Conceptual frameworks and data sources
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
37