Sort by
Refine Your Search
-
large-scale social media analysis, smartphone-based sensing, and agent-based modeling. Combining macro-level patterns with micro-level behavioral data, it will examine how polarized content influences
-
by integrating computational mental health and computational social science, using large-scale social media analysis, smartphone-based sensing, and agent-based modeling. Combining macro-level patterns
-
forces—such as those predicted by physics beyond the Standard Model. Distant, coupled microwave optomechanical systems can also be utilized for quantum information transmission. In this project, two
Searches related to model checking
Enter an email to receive alerts for model-checking positions