Skip to content
GCC AI Research

Search

Results for "termination"

New research to boost global date fruit production

KAUST ·

KAUST researchers are undertaking a project to improve global date palm production and protection by studying the date palm genome, collecting samples from ancient palms near Madinah. They aim to develop new breeding strategies for faster, healthier, and more pest-resistant palms. The research involves advanced genome sequencing and the creation of molecular tools to improve date palm agriculture, including rapid sex determination methods and gene editing. Why it matters: This research is critical for enhancing date production in arid regions like Saudi Arabia, which is a major global producer, and for ensuring food security amidst climate challenges.

New single-molecule imaging technique developed at KAUST

KAUST ·

KAUST researchers developed a new single-molecule imaging method called the cumulative-area (CA) method. This method allows for simultaneous characterization of size, shape, and conformational dynamics of individual molecules, along with accurate determination of diffusion kinetics. The researchers demonstrated the CA method's effectiveness on nano- and micro-sized objects, extracting quantitative information about size, diffusion, and relaxation time. Why it matters: This advancement expands the capabilities of molecule imaging techniques in the region and has potential applications in polymer dynamics research and the study of molecular mechanisms within cells.

Curiosity, independence and determination: celebrating trailblazing women

KAUST ·

KAUST is highlighted for its commitment to multidisciplinary research, innovation, and strong leadership, particularly regarding women's education. The university was the first mixed-gender university in Saudi Arabia, with women comprising around 40% of its student population. KAUST actively recruits female faculty members and appoints them to leadership positions, demonstrated through workshops like Women in Science and Engineering (WISE). Why it matters: This underscores the increasing role of women in STEM fields within Saudi Arabia, facilitated by institutions like KAUST.

KAUST team explores short-term genetic memories

KAUST ·

A KAUST team developed piRNAi, a gene-silencing tool in nematode worms using synthetic RNA sequences interacting with the piRNA pathway. They successfully silenced genes involved in sex determination and other functions, demonstrating multiplexed gene silencing. The gene silencing lasted for varying durations across generations, up to six generations. Why it matters: This expands the molecular toolkit for gene manipulation and offers potential therapeutic applications in humans, given the presence of the same gene-silencing pathway.

AI for all: Unlocking an inclusive future with technology

MBZUAI ·

The Special Olympics Global Center Summit in Abu Dhabi convened 300 advocates to discuss social inclusion for individuals with intellectual disabilities. A panel including MBZUAI's Elizabeth Churchill highlighted AI's role in inclusive technology design, especially in education. Churchill noted AI can personalize learning through tailored regimens, emotion detection, and understanding cognitive patterns. Why it matters: AI-driven personalization has potential to transform education and accessibility for children of determination and other underrepresented groups in the region.

Building the neural bridges between humans and AI

MBZUAI ·

Olivier Oullier, Visiting Professor at MBZUAI, is working on brain-computer interfaces, founding Inclusive Brains to develop a Neural Foundation Model using neurophysiological and behavioral signals. This model integrates data from brainwaves, eye-tracking, and other modalities to allow machines to build a representation of the world closer to human cognition. Why it matters: Such advancements can transform human-computer interaction, with particular implications for people of determination in the region.

Martingale-based Verification of Probabilistic Programs

MBZUAI ·

Amir Goharshady from Hong Kong University of Science and Technology presented a talk at MBZUAI on martingale-based verification of probabilistic programs. The talk covered using martingale-based approaches for proving termination and synthesizing cost bounds for probabilistic programs, automating program analysis with template-based methods. He also discussed remaining challenges and open problems in the area. Why it matters: Advances in formal verification and analysis of probabilistic programs are crucial for ensuring the reliability and safety of AI systems that rely on randomization.