TY - THES
AB - In this thesis, we consider several of the most classical and fundamental problems in static analysis and formal verification, including invariant generation, reachability analysis, termination analysis of probabilistic programs, data-flow analysis, quantitative analysis of Markov chains and Markov decision processes, and the problem of data packing in cache management.
We use techniques from parameterized complexity theory, polyhedral geometry, and real algebraic geometry to significantly improve the state-of-the-art, in terms of both scalability and completeness guarantees, for the mentioned problems. In some cases, our results are the first theoretical improvements for the respective problems in two or three decades.
AU - Goharshady, Amir Kafshdar
ID - 8934
SN - 2663-337X
TI - Parameterized and algebro-geometric advances in static program analysis
ER -
TY - JOUR
AB - When short-range attractions are combined with long-range repulsions in colloidal particle systems, complex microphases can emerge. Here, we study a system of isotropic particles, which can form lamellar structures or a disordered fluid phase when temperature is varied. We show that, at equilibrium, the lamellar structure crystallizes, while out of equilibrium, the system forms a variety of structures at different shear rates and temperatures above melting. The shear-induced ordering is analyzed by means of principal component analysis and artificial neural networks, which are applied to data of reduced dimensionality. Our results reveal the possibility of inducing ordering by shear, potentially providing a feasible route to the fabrication of ordered lamellar structures from isotropic particles.
AU - Pȩkalski, J.
AU - Rzadkowski, Wojciech
AU - Panagiotopoulos, A. Z.
ID - 7956
IS - 20
JF - The Journal of chemical physics
TI - Shear-induced ordering in systems with competing interactions: A machine learning study
VL - 152
ER -
TY - JOUR
AB - Neurodevelopmental disorders (NDDs) are a class of disorders affecting brain development and function and are characterized by wide genetic and clinical variability. In this review, we discuss the multiple factors that influence the clinical presentation of NDDs, with particular attention to gene vulnerability, mutational load, and the two-hit model. Despite the complex architecture of
mutational events associated with NDDs, the various proteins involved appear to converge on common pathways, such as synaptic plasticity/function, chromatin remodelers and the mammalian target of rapamycin (mTOR) pathway. A thorough understanding of the mechanisms behind these pathways will hopefully lead to the identification of candidates that could be targeted for treatment approaches.
AU - Parenti, Ilaria
AU - Garcia Rabaneda, Luis E
AU - Schön, Hanna
AU - Novarino, Gaia
ID - 7957
IS - 8
JF - Trends in Neurosciences
SN - 01662236
TI - Neurodevelopmental disorders: From genetics to functional pathways
VL - 43
ER -
TY - JOUR
AB - Let A={A1,…,An} be a family of sets in the plane. For 0≤i2b be integers. We prove that if each k-wise or (k+1)-wise intersection of sets from A has at most b path-connected components, which all are open, then fk+1=0 implies fk≤cfk−1 for some positive constant c depending only on b and k. These results also extend to two-dimensional compact surfaces.
AU - Kalai, Gil
AU - Patakova, Zuzana
ID - 7960
JF - Discrete and Computational Geometry
SN - 01795376
TI - Intersection patterns of planar sets
VL - 64
ER -
TY - JOUR
AB - A string graph is the intersection graph of a family of continuous arcs in the plane. The intersection graph of a family of plane convex sets is a string graph, but not all string graphs can be obtained in this way. We prove the following structure theorem conjectured by Janson and Uzzell: The vertex set of almost all string graphs on n vertices can be partitioned into five cliques such that some pair of them is not connected by any edge (n→∞). We also show that every graph with the above property is an intersection graph of plane convex sets. As a corollary, we obtain that almost all string graphs on n vertices are intersection graphs of plane convex sets.
AU - Pach, János
AU - Reed, Bruce
AU - Yuditsky, Yelena
ID - 7962
IS - 4
JF - Discrete and Computational Geometry
SN - 01795376
TI - Almost all string graphs are intersection graphs of plane convex sets
VL - 63
ER -