AI-Based Automated Methodologies for Supply Chains: High Precision Tabular Detection and Semantic Modeling of Electronic Components from Datasheets

This project will develop a hybrid framework by integrating AI and machine learning methods with tabular information extraction and semantic modeling to improve the state-of-the-art precision and recall in tabular detection while maximizing the value of extracted information for industrial applications. Following a properly designed pre-processing stage to improve the outcomes of AI techniques, the […]

Read More
A mechanistic study of the association between poverty and executive functions in early childhood: Contributions of early brain development and the early caregiving environment

Poor cognitive and academic outcomes are common consequences for children growing up in economically poor families. Poverty is associated with alterations in brain development, communication and cognitive skills. Children living in poverty are exposed to poverty-related risk factors and stressors, including less language exposure. Little is known about the early development of language and cognitive […]

Read More
Quantum Optical Experiment to Understand Black Holes

Black holes are very intriguing astronomical objects. They do not emit light, so we can only get indirect evidence about their existence. When it comes down to understanding how they change in time, things get more complicated. Stephen Hawking argued that black holes have a finite lifetime. The question that arises then is, what happens […]

Read More
Dietary regulation of tissue circadian clock function in mice

The 24-hour light-dark cycle dictates the organization of life in most species on this planet. Internal timekeepers, so called circadian clocks, help to anticipate recurring daily changes and orchestrate the body’s physiological functions accordingly. In mammals, the core clock resides in the suprachiasmatic nucleus (SCN) and is synchronized by light. The SCN projects to several […]

Read More
High Throughput Vacuum Chamber

Building a high throughput vacuum chamber for our group’s transient grading spectroscopy (TGS) project, which uses picosecond, ultrasonic laster acoustics to probe the sub-surface, thermo-elastic properties of materials. We are particularly interested to study the thermal diffusivity of material under irradiation, which requires probe depths of single microns conducted in vacuum. Our current chamber is […]

Read More
Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq

Formal verification involves with proving properties about a system to make sure that the system is not free of bugs. There are two main methods for verification which are called model checking and theorem proving. Most current approaches to systems biology rely on model checking. Model checking is more automatic but not as general and […]

Read More