@unpublished{11366,
  abstract     = {Adversarial training (i.e., training on adversarially perturbed input data) is a well-studied method for making neural networks robust to potential adversarial attacks during inference. However, the improved robustness does not
come for free but rather is accompanied by a decrease in overall model accuracy and performance. Recent work has shown that, in practical robot learning applications, the effects of adversarial training do not pose a fair trade-off
but inflict a net loss when measured in holistic robot performance. This work revisits the robustness-accuracy trade-off in robot learning by systematically analyzing if recent advances in robust training methods and theory in
conjunction with adversarial robot learning can make adversarial training suitable for real-world robot applications. We evaluate a wide variety of robot learning tasks ranging from autonomous driving in a high-fidelity environment
amenable to sim-to-real deployment, to mobile robot gesture recognition. Our results demonstrate that, while these techniques make incremental improvements on the trade-off on a relative scale, the negative side-effects caused by
adversarial training still outweigh the improvements by an order of magnitude. We conclude that more substantial advances in robust learning methods are necessary before they can benefit robot learning tasks in practice.},
  author       = {Lechner, Mathias and Amini, Alexander and Rus, Daniela and Henzinger, Thomas A},
  booktitle    = {arXiv},
  title        = {{Revisiting the adversarial robustness-accuracy tradeoff in robot learning}},
  doi          = {10.48550/arXiv.2204.07373},
  year         = {2022},
}

@inproceedings{12300,
  abstract     = {Distributed Key Generation (DKG) is a technique to bootstrap threshold cryptosystems without a trusted third party and is a building block to decentralized protocols such as randomness beacons, threshold signatures, and general multiparty computation. Until recently, DKG protocols have assumed the synchronous model and thus are vulnerable when their underlying network assumptions do not hold. The recent advancements in asynchronous DKG protocols are insufficient as they either have poor efficiency or limited functionality, resulting in a lack of concrete implementations. In this paper, we present a simple and concretely efficient asynchronous DKG (ADKG) protocol. In a network of n nodes, our ADKG protocol can tolerate up to t<n/3 malicious nodes and have an expected O(κn3) communication cost, where κ is the security parameter. Our ADKG protocol produces a field element as the secret and is thus compatible with off-the-shelf threshold cryptosystems. We implement our ADKG protocol and evaluate it using a network of up to 128 nodes in geographically distributed AWS instances. Our evaluation shows that our protocol takes as low as 3 and 9.5 seconds to terminate for 32 and 64 nodes, respectively. Also, each node sends only 0.7 Megabytes and 2.9 Megabytes of data during the two experiments, respectively.},
  author       = {Das, Sourav and Yurek, Thomas and Xiang, Zhuolun and Miller, Andrew and Kokoris Kogias, Eleftherios and Ren, Ling},
  booktitle    = {2022 IEEE Symposium on Security and Privacy},
  issn         = {2375-1207},
  location     = {San Francisco, CA, United States},
  pages        = {2518--2534},
  publisher    = {IEEE},
  title        = {{Practical asynchronous distributed key generation}},
  doi          = {10.1109/sp46214.2022.9833584},
  year         = {2022},
}

@article{12273,
  abstract     = {We study communication in the presence of a jamming adversary where quadratic power constraints are imposed on the transmitter and the jammer. The jamming signal is allowed to be a function of the codebook, and a noncausal but noisy observation of the transmitted codeword. For a certain range of the noise-to-signal ratios (NSRs) of the transmitter and the jammer, we are able to characterize the capacity of this channel under deterministic encoding or stochastic encoding, i.e., with no common randomness between the encoder/decoder pair. For the remaining NSR regimes, we determine the capacity under the assumption of a small amount of common randomness (at most 2log(n) bits in one sub-regime, and at most Ω(n) bits in the other sub-regime) available to the encoder-decoder pair. Our proof techniques involve a novel myopic list-decoding result for achievability, and a Plotkin-type push attack for the converse in a subregion of the NSRs, both of which may be of independent interest. We also give bounds on the strong secrecy capacity of this channel assuming that the jammer is simultaneously eavesdropping.},
  author       = {Zhang, Yihan and Vatedka, Shashank and Jaggi, Sidharth and Sarwate, Anand D.},
  issn         = {1557-9654},
  journal      = {IEEE Transactions on Information Theory},
  number       = {8},
  pages        = {4901--4948},
  publisher    = {IEEE},
  title        = {{Quadratically constrained myopic adversarial channels}},
  doi          = {10.1109/tit.2022.3167554},
  volume       = {68},
  year         = {2022},
}

@article{12233,
  abstract     = {A novel recursive list decoding (RLD) algorithm for Reed-Muller (RM) codes based on successive permutations (SP) of the codeword is presented. A low-complexity SP scheme applied to a subset of the symmetry group of RM codes is first proposed to carefully select a good codeword permutation on the fly. Then, the proposed SP technique is integrated into an improved RLD algorithm that initializes different decoding paths with random codeword permutations, which are sampled from the full symmetry group of RM codes. Finally, efficient latency and complexity reduction schemes are introduced that virtually preserve the error-correction performance of the proposed decoder. Simulation results demonstrate that at the target frame error rate of 10−3 for the RM code of length 256 with 163 information bits, the proposed decoder reduces 6% of the computational complexity and 22% of the decoding latency of the state-of-the-art semi-parallel simplified successive-cancellation decoder with fast Hadamard transform (SSC-FHT) that uses 96 permutations from the full symmetry group of RM codes, while relatively maintaining the error-correction performance and memory consumption of the semi-parallel permuted SSC-FHT decoder.},
  author       = {Doan, Nghia and Hashemi, Seyyed Ali and Mondelli, Marco and Gross, Warren J.},
  issn         = {1558-0857},
  journal      = {IEEE Transactions on Communications},
  number       = {11},
  pages        = {7134--7145},
  publisher    = {IEEE},
  title        = {{Decoding Reed-Muller codes with successive codeword permutations}},
  doi          = {10.1109/tcomm.2022.3211101},
  volume       = {70},
  year         = {2022},
}

@article{10364,
  abstract     = {This paper characterizes the latency of the simplified successive-cancellation (SSC) decoding scheme for polar codes under hardware resource constraints. In particular, when the number of processing elements P that can perform SSC decoding operations in parallel is limited, as is the case in practice, the latency of SSC decoding is O(N1-1/μ + N/P log2 log2 N/P), where N is the block length of the code and μ is the scaling exponent of the channel. Three direct consequences of this bound are presented. First, in a fully-parallel implementation where P = N/2, the latency of SSC decoding is O(N1-1/μ), which is sublinear in the block length. This recovers a result from our earlier work. Second, in a fully-serial implementation where P = 1, the latency of SSC decoding scales as O(N log2 log2 N). The multiplicative constant is also calculated: we show that the latency of SSC decoding when P = 1 is given by (2 + o(1))N log2 log2 N. Third, in a semi-parallel implementation, the smallest P that gives the same latency as that of the fully-parallel implementation is P = N1/μ. The tightness of our bound on SSC decoding latency and the applicability of the foregoing results is validated through extensive simulations.},
  author       = {Hashemi, Seyyed Ali and Mondelli, Marco and Fazeli, Arman and Vardy, Alexander and Cioffi, John and Goldsmith, Andrea},
  issn         = {1558-2248},
  journal      = {IEEE Transactions on Wireless Communications},
  number       = {6},
  pages        = {3909--3920},
  publisher    = {IEEE},
  title        = {{Parallelism versus latency in simplified successive-cancellation decoding of polar codes}},
  doi          = {10.1109/TWC.2021.3125626},
  volume       = {21},
  year         = {2022},
}

@article{11478,
  abstract     = {Cerebral organoids differentiated from human-induced pluripotent stem cells (hiPSC) provide a unique opportunity to investigate brain development. However, organoids usually lack microglia, brain-resident immune cells, which are present in the early embryonic brain and participate in neuronal circuit development. Here, we find IBA1+ microglia-like cells alongside retinal cups between week 3 and 4 in 2.5D culture with an unguided retinal organoid differentiation protocol. Microglia do not infiltrate the neuroectoderm and instead enrich within non-pigmented, 3D-cystic compartments that develop in parallel to the 3D-retinal organoids. When we guide the retinal organoid differentiation with low-dosed BMP4, we prevent cup development and enhance microglia and 3D-cysts formation. Mass spectrometry identifies these 3D-cysts to express mesenchymal and epithelial markers. We confirmed this microglia-preferred environment also within the unguided protocol, providing insight into microglial behavior and migration and offer a model to study how they enter and distribute within the human brain.},
  author       = {Bartalska, Katarina and Hübschmann, Verena and Korkut, Medina and Cubero, Ryan J and Venturino, Alessandro and Rössler, Karl and Czech, Thomas and Siegert, Sandra},
  issn         = {2589-0042},
  journal      = {iScience},
  number       = {7},
  publisher    = {Elsevier},
  title        = {{A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation}},
  doi          = {10.1016/j.isci.2022.104580},
  volume       = {25},
  year         = {2022},
}

@article{12793,
  abstract     = {Let F be a global function field with constant field Fq. Let G be a reductive group over Fq. We establish a variant of Arthur's truncated kernel for G and for its Lie algebra which generalizes Arthur's original construction. We establish a coarse geometric expansion for our variant truncation.
As applications, we consider some existence and uniqueness problems of some cuspidal automorphic representations for the functions field of the projective line P1Fq with two points of ramifications.},
  author       = {Yu, Hongjie},
  issn         = {1945-5844},
  journal      = {Pacific Journal of Mathematics},
  keywords     = {Arthur–Selberg trace formula, cuspidal automorphic representations, global function fields},
  number       = {1},
  pages        = {193--237},
  publisher    = {Mathematical Sciences Publishers},
  title        = {{A coarse geometric expansion of a variant of Arthur's truncated traces and some applications}},
  doi          = {10.2140/pjm.2022.321.193},
  volume       = {321},
  year         = {2022},
}

@article{10548,
  abstract     = {Consider a linear elliptic partial differential equation in divergence form with a random coefficient field. The solution operator displays fluctuations around its expectation. The recently developed pathwise theory of fluctuations in stochastic homogenization reduces the characterization of these fluctuations to those of the so-called standard homogenization commutator. In this contribution, we investigate the scaling limit of this key quantity: starting
from a Gaussian-like coefficient field with possibly strong correlations, we establish the convergence of the rescaled commutator to a fractional Gaussian field, depending on the decay of correlations of the coefficient field, and we
investigate the (non)degeneracy of the limit. This extends to general dimension $d\ge1$ previous results so far limited to dimension $d=1$, and to the continuum setting with strong correlations recent results in the discrete iid case.},
  author       = {Duerinckx, Mitia and Fischer, Julian L and Gloria, Antoine},
  issn         = {1050-5164},
  journal      = {Annals of Applied Probability},
  number       = {2},
  pages        = {1179--1209},
  publisher    = {Institute of Mathematical Statistics},
  title        = {{Scaling limit of the homogenization commutator for Gaussian coefficient  fields}},
  doi          = {10.1214/21-AAP1705},
  volume       = {32},
  year         = {2022},
}

@unpublished{14597,
  abstract     = {Phase-field models such as the Allen-Cahn equation may give rise to the formation and evolution of geometric shapes, a phenomenon that may be analyzed rigorously in suitable scaling regimes. In its sharp-interface limit, the vectorial Allen-Cahn equation with a potential with N≥3 distinct minima has been conjectured to describe the evolution of branched interfaces by multiphase mean curvature flow.
In the present work, we give a rigorous proof for this statement in two and three ambient dimensions and for a suitable class of potentials: As long as a strong solution to multiphase mean curvature flow exists, solutions to the vectorial Allen-Cahn equation with well-prepared initial data converge towards multiphase mean curvature flow in the limit of vanishing interface width parameter ε↘0. We even establish the rate of convergence O(ε1/2).
Our approach is based on the gradient flow structure of the Allen-Cahn equation and its limiting motion: Building on the recent concept of "gradient flow calibrations" for multiphase mean curvature flow, we introduce a notion of relative entropy for the vectorial Allen-Cahn equation with multi-well potential. This enables us to overcome the limitations of other approaches, e.g. avoiding the need for a stability analysis of the Allen-Cahn operator or additional convergence hypotheses for the energy at positive times.},
  author       = {Fischer, Julian L and Marveggio, Alice},
  booktitle    = {arXiv},
  title        = {{Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow}},
  doi          = {10.48550/ARXIV.2203.17143},
  year         = {2022},
}

@article{12231,
  abstract     = {Ventral tail bending, which is transient but pronounced, is found in many chordate embryos and constitutes an interesting model of how tissue interactions control embryo shape. Here, we identify one key upstream regulator of ventral tail bending in embryos of the ascidian Ciona. We show that during the early tailbud stages, ventral epidermal cells exhibit a boat-shaped morphology (boat cell) with a narrow apical surface where phosphorylated myosin light chain (pMLC) accumulates. We further show that interfering with the function of the BMP ligand Admp led to pMLC localizing to the basal instead of the apical side of ventral epidermal cells and a reduced number of boat cells. Finally, we show that cutting ventral epidermal midline cells at their apex using an ultraviolet laser relaxed ventral tail bending. Based on these results, we propose a previously unreported function for Admp in localizing pMLC to the apical side of ventral epidermal cells, which causes the tail to bend ventrally by resisting antero-posterior notochord extension at the ventral side of the tail.},
  author       = {Kogure, Yuki S. and Muraoka, Hiromochi and Koizumi, Wataru C. and Gelin-alessi, Raphaël and Godard, Benoit G and Oka, Kotaro and Heisenberg, Carl-Philipp J and Hotta, Kohji},
  issn         = {1477-9129},
  journal      = {Development},
  keywords     = {Developmental Biology, Molecular Biology},
  number       = {21},
  publisher    = {Company of Biologists},
  title        = {{Admp regulates tail bending by controlling ventral epidermal cell polarity via phosphorylated myosin localization in Ciona}},
  doi          = {10.1242/dev.200215},
  volume       = {149},
  year         = {2022},
}

@article{12245,
  abstract     = {MicroRNAs (miRs) have an important role in tuning dynamic gene expression. However, the mechanism by which they are quantitatively controlled is unknown. We show that the amount of mature miR-9, a key regulator of neuronal development, increases during zebrafish neurogenesis in a sharp stepwise manner. We characterize the spatiotemporal profile of seven distinct microRNA primary transcripts (pri-mir)-9s that produce the same mature miR-9 and show that they are sequentially expressed during hindbrain neurogenesis. Expression of late-onset pri-mir-9-1 is added on to, rather than replacing, the expression of early onset pri-mir-9-4 and -9-5 in single cells. CRISPR/Cas9 mutation of the late-onset pri-mir-9-1 prevents the developmental increase of mature miR-9, reduces late neuronal differentiation and fails to downregulate Her6 at late stages. Mathematical modelling shows that an adaptive network containing Her6 is insensitive to linear increases in miR-9 but responds to stepwise increases of miR-9. We suggest that a sharp stepwise increase of mature miR-9 is created by sequential and additive temporal activation of distinct loci. This may be a strategy to overcome adaptation and facilitate a transition of Her6 to a new dynamic regime or steady state.},
  author       = {Soto, Ximena and Burton, Joshua and Manning, Cerys S. and Minchington, Thomas and Lea, Robert and Lee, Jessica and Kursawe, Jochen and Rattray, Magnus and Papalopulu, Nancy},
  issn         = {1477-9129},
  journal      = {Development},
  keywords     = {Developmental Biology, Molecular Biology},
  number       = {19},
  publisher    = {Company of Biologists},
  title        = {{Sequential and additive expression of miR-9 precursors control timing of neurogenesis}},
  doi          = {10.1242/dev.200474},
  volume       = {149},
  year         = {2022},
}

@article{10735,
  abstract     = {Magnetic anisotropy in strontium iridate (Sr2IrO4) is essential because of its strong spin–orbit coupling and crystal field effect. In this paper, we present a detailed mapping of the out-of-plane (OOP) magnetic anisotropy in Sr2IrO4 for different sample orientations using torque magnetometry measurements in the low-magnetic-field region before the isospins are completely ordered. Dominant in-plane anisotropy was identified at low fields, confirming the b axis as an easy magnetization axis. Based on the fitting analysis of the strong uniaxial magnetic anisotropy, we observed that the main anisotropic effect arises from a spin–orbit-coupled magnetic exchange interaction affecting the OOP interaction. The effect of interlayer exchange interaction results in additional anisotropic terms owing to the tilting of the isospins. The results are relevant for understanding OOP magnetic anisotropy and provide a new way to analyze the effects of spin–orbit-coupling and interlayer magnetic exchange interactions. This study provides insight into the understanding of bulk magnetic, magnetotransport, and spintronic behavior on Sr2IrO4 for future studies.},
  author       = {Nauman, Muhammad and Hussain, Tayyaba and Choi, Joonyoung and Lee, Nara and Choi, Young Jai and Kang, Woun and Jo, Younjung},
  issn         = {1361-648X},
  journal      = {Journal of Physics: Condensed Matter},
  number       = {13},
  publisher    = {IOP Publishing},
  title        = {{Low-field magnetic anisotropy of Sr2IrO4}},
  doi          = {10.1088/1361-648X/ac484d},
  volume       = {34},
  year         = {2022},
}

@article{11660,
  abstract     = {We characterize critical points of 1-dimensional maps paired in persistent homology geometrically and this way get elementary proofs of theorems about the symmetry of persistence diagrams and the variation of such maps. In particular, we identify branching points and endpoints of networks as the sole source of asymmetry and relate the cycle basis in persistent homology with a version of the stable marriage problem. Our analysis provides the foundations of fast algorithms for maintaining collections of interrelated sorted lists together with their persistence diagrams. },
  author       = {Biswas, Ranita and Cultrera di Montesano, Sebastiano and Edelsbrunner, Herbert and Saghafian, Morteza},
  journal      = {LIPIcs},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs}},
  year         = {2022},
}

@article{12291,
  abstract     = {The phytohormone auxin triggers transcriptional reprogramming through a well-characterized perception machinery in the nucleus. By contrast, mechanisms that underlie fast effects of auxin, such as the regulation of ion fluxes, rapid phosphorylation of proteins or auxin feedback on its transport, remain unclear1,2,3. Whether auxin-binding protein 1 (ABP1) is an auxin receptor has been a source of debate for decades1,4. Here we show that a fraction of Arabidopsis thaliana ABP1 is secreted and binds auxin specifically at an acidic pH that is typical of the apoplast. ABP1 and its plasma-membrane-localized partner, transmembrane kinase 1 (TMK1), are required for the auxin-induced ultrafast global phospho-response and for downstream processes that include the activation of H+-ATPase and accelerated cytoplasmic streaming. abp1 and tmk mutants cannot establish auxin-transporting channels and show defective auxin-induced vasculature formation and regeneration. An ABP1(M2X) variant that lacks the capacity to bind auxin is unable to complement these defects in abp1 mutants. These data indicate that ABP1 is the auxin receptor for TMK1-based cell-surface signalling, which mediates the global phospho-response and auxin canalization.},
  author       = {Friml, Jiří and Gallei, Michelle C and Gelová, Zuzana and Johnson, Alexander J and Mazur, Ewa and Monzer, Aline and Rodriguez Solovey, Lesia and Roosjen, Mark and Verstraeten, Inge and Živanović, Branka D. and Zou, Minxia and Fiedler, Lukas and Giannini, Caterina and Grones, Peter and Hrtyan, Mónika and Kaufmann, Walter and Kuhn, Andre and Narasimhan, Madhumitha and Randuch, Marek and Rýdza, Nikola and Takahashi, Koji and Tan, Shutang and Teplova, Anastasiia and Kinoshita, Toshinori and Weijers, Dolf and Rakusová, Hana},
  issn         = {1476-4687},
  journal      = {Nature},
  number       = {7927},
  pages        = {575--581},
  publisher    = {Springer Nature},
  title        = {{ABP1–TMK auxin perception for global phosphorylation and auxin canalization}},
  doi          = {10.1038/s41586-022-05187-x},
  volume       = {609},
  year         = {2022},
}

@phdthesis{11362,
  abstract     = {Deep learning has enabled breakthroughs in challenging computing problems and has emerged as the standard problem-solving tool for computer vision and natural language processing tasks.
One exception to this trend is safety-critical tasks where robustness and resilience requirements contradict the black-box nature of neural networks. 
To deploy deep learning methods for these tasks, it is vital to provide guarantees on neural network agents' safety and robustness criteria. 
This can be achieved by developing formal verification methods to verify the safety and robustness properties of neural networks.

Our goal is to design, develop and assess safety verification methods for neural networks to improve their reliability and trustworthiness in real-world applications.
This thesis establishes techniques for the verification of compressed and adversarially trained models as well as the design of novel neural networks for verifiably safe decision-making.

First, we establish the problem of verifying quantized neural networks. Quantization is a technique that trades numerical precision for the computational efficiency of running a neural network and is widely adopted in industry.
We show that neglecting the reduced precision when verifying a neural network can lead to wrong conclusions about the robustness and safety of the network, highlighting that novel techniques for quantized network verification are necessary. We introduce several bit-exact verification methods explicitly designed for quantized neural networks and experimentally confirm on realistic networks that the network's robustness and other formal properties are affected by the quantization.

Furthermore, we perform a case study providing evidence that adversarial training, a standard technique for making neural networks more robust, has detrimental effects on the network's performance. This robustness-accuracy tradeoff has been studied before regarding the accuracy obtained on classification datasets where each data point is independent of all other data points. On the other hand, we investigate the tradeoff empirically in robot learning settings where a both, a high accuracy and a high robustness, are desirable.
Our results suggest that the negative side-effects of adversarial training outweigh its robustness benefits in practice.

Finally, we consider the problem of verifying safety when running a Bayesian neural network policy in a feedback loop with systems over the infinite time horizon. Bayesian neural networks are probabilistic models for learning uncertainties in the data and are therefore often used on robotic and healthcare applications where data is inherently stochastic.
We introduce a method for recalibrating Bayesian neural networks so that they yield probability distributions over safe decisions only.
Our method learns a safety certificate that guarantees safety over the infinite time horizon to determine which decisions are safe in every possible state of the system.
We demonstrate the effectiveness of our approach on a series of reinforcement learning benchmarks.},
  author       = {Lechner, Mathias},
  isbn         = {978-3-99078-017-6},
  keywords     = {neural networks, verification, machine learning},
  pages        = {124},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{Learning verifiable representations}},
  doi          = {10.15479/at:ista:11362},
  year         = {2022},
}

@article{10765,
  abstract     = {We establish the Hardy-Littlewood property (à la Borovoi-Rudnick) for Zariski open subsets in affine quadrics of the form q(x1,...,xn)=m, where q is a non-degenerate integral quadratic form in  n>3 variables and m is a non-zero integer. This gives asymptotic formulas for the density of integral points taking coprime polynomial values, which is a quantitative version of the arithmetic purity of strong approximation property off infinity for affine quadrics.},
  author       = {Cao, Yang and Huang, Zhizhong},
  issn         = {1090-2082},
  journal      = {Advances in Mathematics},
  number       = {3},
  publisher    = {Elsevier},
  title        = {{Arithmetic purity of the Hardy-Littlewood property and geometric sieve for affine quadrics}},
  doi          = {10.1016/j.aim.2022.108236},
  volume       = {398},
  year         = {2022},
}

@article{17058,
  abstract     = {We compare the Manin-type conjecture for Campana points recently formulated by Pieropan, Smeets, Tanimoto and Várilly-Alvarado with an alternative prediction of Browning and Van Valckenborgh in the special case of the orbifold (P1,D), where D=1/2[0]+1/2[1]+1/2[∞]. We find that the two predicted leading constants do not agree, and we discuss whether thin sets could explain this discrepancy. Motivated by this, we provide a counterexample to the Manin-type conjecture for Campana points, by considering orbifolds corresponding to squareful values of binary quadratic forms.},
  author       = {Shute, Alec L},
  issn         = {1730-6264},
  journal      = {Acta Arithmetica},
  number       = {4},
  pages        = {317--346},
  publisher    = {Institute of Mathematics},
  title        = {{On the leading constant in the Manin-type conjecture for Campana points}},
  doi          = {10.4064/aa210430-1-7},
  volume       = {204},
  year         = {2022},
}

@article{12109,
  abstract     = {Kelvin probe force microscopy (KPFM) is a powerful tool for studying contact electrification (CE) at the nanoscale, but converting KPFM voltage maps to charge density maps is nontrivial due to long-range forces and complex system geometry. Here we present a strategy using finite-element method (FEM) simulations to determine the Green's function of the KPFM probe/insulator/ground system, which allows us to quantitatively extract surface charge. Testing our approach with synthetic data, we find that accounting for the atomic force microscope (AFM) tip, cone, and cantilever is necessary to recover a known input and that existing methods lead to gross miscalculation or even the incorrect sign of the underlying charge. Applying it to experimental data, we demonstrate its capacity to extract realistic surface charge densities and fine details from contact-charged surfaces. Our method gives a straightforward recipe to convert qualitative KPFM voltage data into quantitative charge data over a range of experimental conditions, enabling quantitative CE at the nanoscale.},
  author       = {Pertl, Felix and Sobarzo Ponce, Juan Carlos A and Shafeek, Lubuna B and Cramer, Tobias and Waitukaitis, Scott R},
  issn         = {2475-9953},
  journal      = {Physical Review Materials},
  number       = {12},
  publisher    = {American Physical Society},
  title        = {{Quantifying nanoscale charge density features of contact-charged surfaces with an FEM/KPFM-hybrid approach}},
  doi          = {10.1103/PhysRevMaterials.6.125605},
  volume       = {6},
  year         = {2022},
}

@phdthesis{11196,
  abstract     = {One of the fundamental questions in Neuroscience is how the structure of synapses and their physiological properties are related. While synaptic transmission remains a dynamic process, electron microscopy provides images with comparably low temporal resolution (Studer et al., 2014). The current work overcomes this challenge and describes an improved “Flash and Freeze” technique (Watanabe et al., 2013a; Watanabe et al., 2013b) to study synaptic transmission at the hippocampal mossy fiber-CA3 pyramidal neuron synapses, using mouse acute brain slices and organotypic slices culture. The improved method allowed for selective stimulation of presynaptic mossy fiber boutons and the observation of synaptic vesicle pool dynamics at the active zones. Our results uncovered several intriguing morphological features of mossy fiber boutons. First, the docked vesicle pool was largely depleted (more than 70%) after stimulation, implying that the docked synaptic vesicles pool and readily releasable pool are vastly overlapping in mossy fiber boutons. Second, the synaptic vesicles are skewed towards larger diameters, displaying a wide range of sizes. An increase in the mean diameter of synaptic vesicles, after single and repetitive stimulation, suggests that smaller vesicles have a higher release probability. Third, we observed putative endocytotic structures after moderate light stimulation, matching the timing of previously described ultrafast endocytosis (Watanabe et al., 2013a; Delvendahl et al., 2016). 
	In addition, synaptic transmission depends on a sophisticated system of protein machinery and calcium channels (Südhof, 2013b), which amplifies the challenge in studying synaptic communication as these interactions can be potentially modified during synaptic plasticity. And although recent study elucidated the potential correlation between physiological and morphological properties of synapses during synaptic plasticity (Vandael et al., 2020), the molecular underpinning of it remains unknown. Thus, the presented work tries to overcome this challenge and aims to pinpoint changes in the molecular architecture at hippocampal mossy fiber bouton synapses during short- and long-term potentiation (STP and LTP), we combined chemical potentiation, with the application of a cyclic adenosine monophosphate agonist (i.e. forskolin) and freeze-fracture replica immunolabelling. This method allowed the localization of membrane-bound proteins with nanometer precision within the active zone, in particular, P/Q-type calcium channels and synaptic vesicle priming proteins Munc13-1/2. First, we found that the number of clusters of Munc13-1 in the mossy fiber bouton active zone increased significantly during STP, but decreased to lower than the control value during LTP. Secondly, although the distance between the calcium channels and Munc13-1s did not change after induction of STP, it shortened during the LTP phase. Additionally, forskolin did not affect Munc13-2 distribution during STP and LTP. These results indicate the existence of two distinct mechanisms that govern STP and LTP at mossy fiber bouton synapses: an increase in the readily realizable pool in the case of STP and a potential increase in release probability during LTP. “Flash and freeze” and functional electron microscopy, are versatile methods that can be successfully applied to intact brain circuits to study synaptic transmission even at the molecular level.
},
  author       = {Kim, Olena},
  issn         = {2663-337X},
  pages        = {132},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses}},
  doi          = {10.15479/at:ista:11196},
  year         = {2022},
}

@phdthesis{11879,
  abstract     = {As the overall global mean surface temperature is increasing due to climate change, plant
adaptation to those stressful conditions is of utmost importance for their survival. Plants are
sessile organisms, thus to compensate for their lack of mobility, they evolved a variety of
mechanisms enabling them to flexibly adjust their physiological, growth and developmental
processes to fluctuating temperatures and to survive in harsh environments. While these unique
adaptation abilities provide an important evolutionary advantage, overall modulation of plant
growth and developmental program due to non-optimal temperature negatively affects biomass
production, crop productivity or sensitivity to pathogens. Thus, understanding molecular
processes underlying plant adaptation to increased temperature can provide important
resources for breeding strategies to ensure sufficient agricultural food production.
An increase in ambient temperature by a few degrees leads to profound changes in organ growth
including enhanced hypocotyl elongation, expansion of petioles, hyponastic growth of leaves and
cotyledons, collectively named thermomorphogenesis (Casal & Balasubramanian, 2019). Auxin,
one of the best-studied growth hormones, plays an essential role in this process by direct
activation of transcriptional and non-transcriptional processes resulting in elongation growth
(Majda & Robert, 2018).To modulate hypocotyl growth in response to high ambient temperature
(hAT), auxin needs to be redistributed accordingly. PINs, auxin efflux transporters, are key
components of the polar auxin transport (PAT) machinery, which controls the amount and
direction of auxin translocated in the plant tissues and organs(Adamowski & Friml, 2015). Hence,
PIN-mediated transport is tightly linked with thermo-morphogenesis, and interference with PAT
through either chemical or genetic means dramatically affecting the adaptive responses to hAT.
Intriguingly, despite the key role of PIN mediated transport in growth response to hAT, whether
and how PINs at the level of expression adapt to fluctuation in temperature is scarcely
understood.
With genetic, molecular and advanced bio-imaging approaches, we demonstrate the role of PIN
auxin transporters in the regulation of hypocotyl growth in response to hAT. We show that via
adjustment of PIN3, PIN4 and PIN7 expression in cotyledons and hypocotyls, auxin distribution is modulated thereby determining elongation pattern of epidermal cells at hAT. Furthermore, we
identified three Zinc-Finger (ZF) transcription factors as novel molecular components of the
thermo-regulatory network, which through negative regulation of PIN transcription adjust the
transport of auxin at hAT. Our results suggest that the ZF-PIN module might be a part of the
negative feedback loop attenuating the activity of the thermo-sensing pathway to restrain
exaggerated growth and developmental responses to hAT.},
  author       = {Artner, Christina},
  isbn         = {978-3-99078-022-0},
  issn         = {2663-337X},
  keywords     = {high ambient temperature, auxin, PINs, Zinc-Finger proteins, thermomorphogenesis, stress},
  pages        = {128},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature}},
  doi          = {10.15479/at:ista:11879},
  year         = {2022},
}