Iain Phillips
- Reverse Bisimulations on Stable Configuration Structures
2010/02/15 by Iain Phillips, Irek Ulidowski · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Petri Nets in System Modeling #cs.LO
- Androgen Deprivation Therapy and the Re-emergence of Parenteral Estrogen in Prostate Cancer
2014/01/01 by Iain Phillips, Syed Imran Ali Shah, Trinh Duong +3 · 3 citations
Medicine · Biochemistry, Genetics and Molecular Biology · #Prostate Cancer Treatment and Research #Estrogen and related hormone effects #Hormonal and reproductive studies
- Know Your Neighborhood: General and Zero-Shot Capable Binary Function Search Powered by Call Graphlets
2024/06/02 by Joshua Collyer, Collyer, Joshua, Tim Watson +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #Data Management and Algorithms #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Information Retrieval and Search Behavior #Machine Learning (cs.LG) #Natural Language Processing Techniques
- Dependence and Independence for Reversible Process Calculi
2024/10/04 by Clément Aubert, Aubert, Clément, Iain Phillips +3 · 1 citation
Computer Science · Mathematics · #68Q85 #Computability, Logic, AI Algorithms #Computer science #F.4.2 #FOS: Computer and information sciences #Independence (probability theory) #Logic in Computer Science (cs.LO) #Mathematics #Process (computing) #Statistics