5 citations · 5 across the 1 of their papers we have counts for
5 papers
Transcriptional Response of SK-N-AS Cells to Methamidophos
Akos Vertes, Albert-Baskar Arul, Peter Avar +13
Transcriptomics response of SK-N-AS cells to methamidophos (an acetylcholine esterase inhibitor) exposure was measured at 10 time points between 0.5 and 48 h. The data was analyzed…
Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine
Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott +2
In spite of the rapidly increasing number of applications of machine learning in various domains, a principled and systematic approach to the incorporation of domain knowledge in t…
Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data
Mark-Oliver Stehr, Peter Avar, Andrew R. Korte +12
There is an abundance of complex dynamic systems that are critical to our daily lives and our society but that are hardly understood, and even with today's possibilities to sense a…
Compliance in Real Time Multiset Rewriting Models
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
The notion of compliance in Multiset Rewriting Models (MSR) has been introduced for untimed models and for models with discrete time. In this paper we revisit the notion of complia…
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders
Vivek Nigam, Carolyn Talcott, Abraão Aires Urquiza
Timed Intruder Models have been proposed for the verification of Cyber-Physical Security Protocols (CPSP) amending the traditional Dolev-Yao intruder to obey the physical restricti…