![Automatic abstraction of real-time software and re-implementation in Ada | Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations Automatic abstraction of real-time software and re-implementation in Ada | Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations](https://dl.acm.org/cms/asset/5a8d70d5-5d10-4a47-91de-ccfc536a61a3/126551.126576.fp.png)
Automatic abstraction of real-time software and re-implementation in Ada | Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
![An abstract interpretation framework for refactoring with application to extract methods with contracts | ACM SIGPLAN Notices An abstract interpretation framework for refactoring with application to extract methods with contracts | ACM SIGPLAN Notices](https://dl.acm.org/cms/asset/8c4c56c1-fb3b-4142-8de8-1227cbecbe59/2398857.2384633.key.jpg)
An abstract interpretation framework for refactoring with application to extract methods with contracts | ACM SIGPLAN Notices
![Detailed microkinetics for the oxidation of exhaust gas emissions through automated mechanism generation | Catalysis | ChemRxiv | Cambridge Open Engage Detailed microkinetics for the oxidation of exhaust gas emissions through automated mechanism generation | Catalysis | ChemRxiv | Cambridge Open Engage](https://chemrxiv.org/engage/api-gateway/chemrxiv/assets/orp/resource/item/62cfd7444e76bfbd7a8d6092/largeThumb/detailed-microkinetics-for-the-oxidation-of-exhaust-gas-emissions-through-automated-mechanism-generation.jpg)
Detailed microkinetics for the oxidation of exhaust gas emissions through automated mechanism generation | Catalysis | ChemRxiv | Cambridge Open Engage
![A neural network solves, explains, and generates university math problems by program synthesis and few-shot learning at human level | PNAS A neural network solves, explains, and generates university math problems by program synthesis and few-shot learning at human level | PNAS](https://www.pnas.org/cms/asset/58c8fffb-0af5-4560-8ccd-a290455e5f02/keyimage.jpg)
A neural network solves, explains, and generates university math problems by program synthesis and few-shot learning at human level | PNAS
![Fully Automated Creation of Virtual Chemical Fragment Spaces Using the Open-Source Library OpenChemLib | Journal of Chemical Information and Modeling Fully Automated Creation of Virtual Chemical Fragment Spaces Using the Open-Source Library OpenChemLib | Journal of Chemical Information and Modeling](https://pubs.acs.org/cms/10.1021/acs.jcim.1c01041/asset/images/medium/ci1c01041_0013.gif)