@inbook{10820, abstract = {Streaky structures in the boundary layers are often generated by surface roughness elements and/or free-stream turbulence, and are known to have significant effects on boundary-layer instability. In this paper, we investigate the impact of two forms of streaks on the instability of supersonic boundary layers. The first concerns the streaks generated by an array of spanwise periodic and streamwise elongated surface roughness elements, and our interest is how these streaks influence the lower-branch viscous first modes, whose characteristic wavelength and frequency are on the classical triple-deck scales. By adapting the triple-deck theory in the incompressible regime to the supersonic one, we first derived a simplified system which allows for efficient calculation of the streaks. The asymptotic analysis simplifies a bi-global eigenvalue problem to a one-dimensional problem in the spanwise direction, showing that the instability is controlled at leading order solely by the spanwise-dependent wall shear. In the fundamental configuration, the streaks stabilize first modes at low frequencies but destabilize the high-frequency ones. In the subharmonic configuration, the streaks generally destabilize the first mode across the entire frequency band. Importantly, the spanwise even modes are of radiating nature, i.e. they emit acoustic waves spontaneously to the far field. Streaks of the second form are generated by low-frequency vortical disturbances representing free-stream turbulence. They alter the flow in the entire layer and their effects on instability are investigated by solving the inviscid bi-global eigenvalue problem. Different from the incompressible case, a multitude of compressible instability modes exists, of which the dominant mode is an inviscid instability associated with the spanwise shear. In addition, there exists a separate branch of instability modes that have smaller growth rates but are spontaneously radiating.}, author = {Liu, Jianxin and Marensi, Elena and Wu, Xuesong}, booktitle = {IUTAM Laminar-Turbulent Transition}, editor = {Sherwin, Spencer and Schmid, Peter and Wu, Xuesong}, isbn = {9783030679019}, issn = {1875-3493}, location = {London, United Kingdom}, pages = {587--598}, publisher = {Springer Nature}, title = {{Effects of streaky structures on the instability of supersonic boundary layers}}, doi = {10.1007/978-3-030-67902-6_51}, volume = {38}, year = {2022}, } @unpublished{10821, abstract = {Rhythmical cortical activity has long been recognized as a pillar in the architecture of brain functions. Yet, the dynamic organization of its underlying neuronal population activity remains elusive. Here we uncover a unique organizational principle regulating collective neural dynamics associated with the alpha rhythm in the awake resting-state. We demonstrate that cascades of neural activity obey attenuation-amplification dynamics (AAD), with a transition from the attenuation regime—within alpha cycles—to the amplification regime—across a few alpha cycles—that correlates with the characteristic frequency of the alpha rhythm. We find that this short-term AAD is part of a large-scale, size-dependent temporal structure of neural cascades that obeys the Omori law: Following large cascades, smaller cascades occur at a rate that decays as a power-law of the time elapsed from such events—a long-term AAD regulating brain activity over the timescale of seconds. We show that such an organization corresponds to the "waxing and waning" of the alpha rhythm. Importantly, we observe that short- and long-term AAD are unique to the awake resting-state, being absent during NREM sleep. These results provide a quantitative, dynamical description of the so-far-qualitative notion of the "waxing and waning" phenomenon, and suggest the AAD as a key principle governing resting-state dynamics across timescales.}, author = {Lombardi, Fabrizio and Herrmann, Hans J. and Parrino, Liborio and Plenz, Dietmar and Scarpetta, Silvia and Vaudano, Anna Elisabetta and de Arcangelis, Lucilla and Shriki, Oren}, booktitle = {bioRxiv}, pages = {25}, publisher = {Cold Spring Harbor Laboratory}, title = {{Alpha rhythm induces attenuation-amplification dynamics in neural activity cascades}}, doi = {10.1101/2022.03.03.482657}, year = {2022}, } @article{10825, abstract = {In development, lineage segregation is coordinated in time and space. An important example is the mammalian inner cell mass, in which the primitive endoderm (PrE, founder of the yolk sac) physically segregates from the epiblast (EPI, founder of the fetus). While the molecular requirements have been well studied, the physical mechanisms determining spatial segregation between EPI and PrE remain elusive. Here, we investigate the mechanical basis of EPI and PrE sorting. We find that rather than the differences in static cell surface mechanical parameters as in classical sorting models, it is the differences in surface fluctuations that robustly ensure physical lineage sorting. These differential surface fluctuations systematically correlate with differential cellular fluidity, which we propose together constitute a non-equilibrium sorting mechanism for EPI and PrE lineages. By combining experiments and modeling, we identify cell surface dynamics as a key factor orchestrating the correct spatial segregation of the founder embryonic lineages.}, author = {Yanagida, Ayaka and Corujo-Simon, Elena and Revell, Christopher K. and Sahu, Preeti and Stirparo, Giuliano G. and Aspalter, Irene M. and Winkel, Alex K. and Peters, Ruby and De Belly, Henry and Cassani, Davide A.D. and Achouri, Sarra and Blumenfeld, Raphael and Franze, Kristian and Hannezo, Edouard B and Paluch, Ewa K. and Nichols, Jennifer and Chalut, Kevin J.}, issn = {10974172}, journal = {Cell}, number = {5}, pages = {777--793.e20}, publisher = {Cell Press}, title = {{Cell surface fluctuations regulate early embryonic lineage sorting}}, doi = {10.1016/j.cell.2022.01.022}, volume = {185}, year = {2022}, } @article{10826, abstract = {Animals that lose one sensory modality often show augmented responses to other sensory inputs. The mechanisms underpinning this cross-modal plasticity are poorly understood. We probe such mechanisms by performing a forward genetic screen for mutants with enhanced O2 perception in Caenorhabditis elegans. Multiple mutants exhibiting increased O2 responsiveness concomitantly show defects in other sensory responses. One mutant, qui-1, defective in a conserved NACHT/WD40 protein, abolishes pheromone-evoked Ca2+ responses in the ADL pheromone-sensing neurons. At the same time, ADL responsiveness to pre-synaptic input from O2-sensing neurons is heightened in qui-1, and other sensory defective mutants, resulting in enhanced neurosecretion although not increased Ca2+ responses. Expressing qui-1 selectively in ADL rescues both the qui-1 ADL neurosecretory phenotype and enhanced escape from 21% O2. Profiling ADL neurons in qui-1 mutants highlights extensive changes in gene expression, notably of many neuropeptide receptors. We show that elevated ADL expression of the conserved neuropeptide receptor NPR-22 is necessary for enhanced ADL neurosecretion in qui-1 mutants, and is sufficient to confer increased ADL neurosecretion in control animals. Sensory loss can thus confer cross-modal plasticity by changing the peptidergic connectome.}, author = {Valperga, Giulio and De Bono, Mario}, issn = {2050084X}, journal = {eLife}, publisher = {eLife Sciences Publications}, title = {{Impairing one sensory modality enhances another by reconfiguring peptidergic signalling in Caenorhabditis elegans}}, doi = {10.7554/eLife.68040}, volume = {11}, year = {2022}, } @article{10827, abstract = {Titanium dioxide has been extensively studied in the rutile or anatase phase, while its high-pressure phases are less well-understood, despite that many are thought to have interesting optical, mechanical, and electrochemical properties. First-principles methods, such as density functional theory (DFT), are often used to compute the enthalpies of TiO2 phases at 0 K, but they are expensive and, thus, impractical for long time scale and large system-size simulations at finite temperatures. On the other hand, cheap empirical potentials fail to capture the relative stabilities of various polymorphs. To model the thermodynamic behaviors of ambient and high-pressure phases of TiO2, we design an empirical model as a baseline and then train a machine learning potential based on the difference between the DFT data and the empirical model. This so-called Δ-learning potential contains long-range electrostatic interactions and predicts the 0 K enthalpies of stable TiO2 phases that are in good agreement with DFT. We construct a pressure–temperature phase diagram of TiO2 in the range 0 < P < 70 GPa and 100 < T < 1500 K. We then simulate dynamic phase transition processes by compressing anatase at different temperatures. At 300 K, we predominantly observe an anatase-to-baddeleyite transformation at about 20 GPa via a martensitic two-step mechanism with a highly ordered and collective atomic motion. At 2000 K, anatase can transform into cotunnite around 45–55 GPa in a thermally activated and probabilistic manner, accompanied by diffusive movement of oxygen atoms. The pressures computed for these transitions show good agreement with experiments. Our results shed light on how to synthesize and stabilize high-pressure TiO2 phases, and our method is generally applicable to other functional materials with multiple polymorphs.}, author = {Lee, Jacob G. and Pickard, Chris J. and Cheng, Bingqing}, issn = {10897690}, journal = {The Journal of chemical physics}, number = {7}, publisher = {AIP Publishing}, title = {{High-pressure phase behaviors of titanium dioxide revealed by a Δ-learning potential}}, doi = {10.1063/5.0079844}, volume = {156}, year = {2022}, } @inproceedings{10828, abstract = {Digital images enable quantitative analysis of material properties at micro and macro length scales, but choosing an appropriate resolution when acquiring the image is challenging. A high resolution means longer image acquisition and larger data requirements for a given sample, but if the resolution is too low, significant information may be lost. This paper studies the impact of changes in resolution on persistent homology, a tool from topological data analysis that provides a signature of structure in an image across all length scales. Given prior information about a function, the geometry of an object, or its density distribution at a given resolution, we provide methods to select the coarsest resolution yielding results within an acceptable tolerance. We present numerical case studies for an illustrative synthetic example and samples from porous materials where the theoretical bounds are unknown.}, author = {Heiss, Teresa and Tymochko, Sarah and Story, Brittany and Garin, Adélie and Bui, Hoa and Bleile, Bea and Robins, Vanessa}, booktitle = {2021 IEEE International Conference on Big Data}, isbn = {9781665439022}, location = {Orlando, FL, United States; Virtuell}, pages = {3824--3834}, publisher = {IEEE}, title = {{The impact of changes in resolution on the persistent homology of images}}, doi = {10.1109/BigData52589.2021.9671483}, year = {2022}, } @article{10829, abstract = {A novel multivariable system, combining a transistor with fiber optic-based surface plasmon resonance spectroscopy with the gate electrode simultaneously acting as the fiber optic sensor surface, is reported. The dual-mode sensor allows for discrimination of mass and charge contributions for binding assays on the same sensor surface. Furthermore, we optimize the sensor geometry by investigating the influence of the fiber area to transistor channel area ratio and distance. We show that larger fiber optic tip diameters are favorable for electronic and optical signals and demonstrate the reversibility of plasmon resonance wavelength shifts after electric field application. As a proof of principle, a layer-by-layer assembly of polyelectrolytes is performed to benchmark the system against multivariable sensing platforms with planar surface plasmon resonance configurations. Furthermore, the biosensing performance is assessed using a thrombin binding assay with surface-immobilized aptamers as receptors, allowing for the detection of medically relevant thrombin concentrations.}, author = {Hasler, Roger and Reiner-Rozman, Ciril and Fossati, Stefan and Aspermair, Patrik and Dostalek, Jakub and Lee, Seungho and Ibáñez, Maria and Bintinger, Johannes and Knoll, Wolfgang}, issn = {23793694}, journal = {ACS Sensors}, number = {2}, pages = {504--512}, publisher = {American Chemical Society}, title = {{Field-effect transistor with a plasmonic fiber optic gate electrode as a multivariable biosensor device}}, doi = {10.1021/acssensors.1c02313}, volume = {7}, year = {2022}, } @misc{10833, abstract = {Detailed information about the data set see "dataset description.txt" file.}, author = {Hasler, Roger and Reiner-Rozman, Ciril and Fossati, Stefan and Aspermair, Patrik and Dostalek, Jakub and Lee, Seungho and Ibáñez, Maria and Bintinger, Johannes and Knoll, Wolfgang}, publisher = {Zenodo}, title = {{Field-effect transistor with a plasmonic fiber optic gate electrode as a multivariable biosensor device}}, doi = {10.5281/ZENODO.5500360}, year = {2022}, } @article{10841, abstract = {In eukaryotes, clathrin-coated vesicles (CCVs) facilitate the internalization of material from the cell surface as well as the movement of cargo in post-Golgi trafficking pathways. This diversity of functions is partially provided by multiple monomeric and multimeric clathrin adaptor complexes that provide compartment and cargo selectivity. The adaptor-protein assembly polypeptide-1 (AP-1) complex operates as part of the secretory pathway at the trans-Golgi network (TGN), while the AP-2 complex and the TPLATE complex jointly operate at the plasma membrane to execute clathrin-mediated endocytosis. Key to our further understanding of clathrin-mediated trafficking in plants will be the comprehensive identification and characterization of the network of evolutionarily conserved and plant-specific core and accessory machinery involved in the formation and targeting of CCVs. To facilitate these studies, we have analyzed the proteome of enriched TGN/early endosome-derived and endocytic CCVs isolated from dividing and expanding suspension-cultured Arabidopsis (Arabidopsis thaliana) cells. Tandem mass spectrometry analysis results were validated by differential chemical labeling experiments to identify proteins co-enriching with CCVs. Proteins enriched in CCVs included previously characterized CCV components and cargos such as the vacuolar sorting receptors in addition to conserved and plant-specific components whose function in clathrin-mediated trafficking has not been previously defined. Notably, in addition to AP-1 and AP-2, all subunits of the AP-4 complex, but not AP-3 or AP-5, were found to be in high abundance in the CCV proteome. The association of AP-4 with suspension-cultured Arabidopsis CCVs is further supported via additional biochemical data.}, author = {Dahhan, DA and Reynolds, GD and Cárdenas, JJ and Eeckhout, D and Johnson, Alexander J and Yperman, K and Kaufmann, Walter and Vang, N and Yan, X and Hwang, I and Heese, A and De Jaeger, G and Friml, Jiří and Van Damme, D and Pan, J and Bednarek, SY}, issn = {1532-298x}, journal = {Plant Cell}, number = {6}, pages = {2150--2173}, publisher = {Oxford Academic}, title = {{Proteomic characterization of isolated Arabidopsis clathrin-coated vesicles reveals evolutionarily conserved and plant-specific components}}, doi = {10.1093/plcell/koac071}, volume = {34}, year = {2022}, } @article{10842, abstract = {We determine the unique factorization of some polynomials over a finite local commutative ring with identity explicitly. This solves and generalizes the main conjecture of Qian, Shi and Solé in [13]. We also give some applications to enumeration of certain generalized double circulant self-dual and linear complementary dual (LCD) codes over some finite rings together with an application in asymptotic coding theory.}, author = {Köse, Seyda and Özbudak, Ferruh}, issn = {1936-2455}, journal = {Cryptography and Communications}, keywords = {Applied Mathematics, Computational Theory and Mathematics, Computer Networks and Communications}, number = {4}, pages = {933--948}, publisher = {Springer Nature}, title = {{Factorization of some polynomials over finite local commutative rings and applications to certain self-dual and LCD codes}}, doi = {10.1007/s12095-022-00557-8}, volume = {14}, year = {2022}, } @article{10845, abstract = {We study an impurity with a resonance level whose position coincides with the Fermi energy of the surrounding Fermi gas. An impurity causes a rapid variation of the scattering phase shift for fermions at the Fermi surface, introducing a new characteristic length scale into the problem. We investigate manifestations of this length scale in the self-energy of the impurity and in the density of the bath. Our calculations reveal a model-independent deformation of the density of the Fermi gas, which is determined by the width of the resonance. To provide a broader picture, we investigate time evolution of the density in quench dynamics, and study the behavior of the system at finite temperatures. Finally, we briefly discuss implications of our findings for the Fermi-polaron problem.}, author = {Maslov, Mikhail and Lemeshko, Mikhail and Volosniev, Artem}, issn = {2643-1564}, journal = {Physical Review Research}, publisher = {American Physical Society}, title = {{Impurity with a resonance in the vicinity of the Fermi energy}}, doi = {10.1103/PhysRevResearch.4.013160}, volume = {4}, year = {2022}, } @article{10846, abstract = {The Golgi apparatus regulates the process of modification and subcellular localization of macromolecules, including proteins and lipids. Aberrant protein sorting caused by defects in the Golgi leads to various diseases in mammals. However, the role of the Golgi apparatus in organismal longevity remained largely unknown. By employing a quantitative proteomic approach, we demonstrated that MON-2, an evolutionarily conserved Arf-GEF protein implicated in Golgi-to-endosome trafficking, promotes longevity via upregulating macroautophagy/autophagy in C. elegans. Our data using cultured mammalian cells indicate that MON2 translocates from the Golgi to the endosome under starvation conditions, subsequently increasing autophagic flux by binding LGG-1/GABARAPL2. Thus, Golgi-to-endosome trafficking appears to be an evolutionarily conserved process for the upregulation of autophagy, which contributes to organismal longevity.}, author = {Artan, Murat and Sohn, Jooyeon and Lee, Cheolju and Park, Seung Yeol and Lee, Seung Jae V.}, issn = {1554-8635}, journal = {Autophagy}, number = {5}, pages = {1208--1210}, publisher = {Taylor & Francis}, title = {{MON-2, a Golgi protein, promotes longevity by upregulating autophagy through mediating inter-organelle communications}}, doi = {10.1080/15548627.2022.2039523}, volume = {18}, year = {2022}, } @article{10850, abstract = {We study two interacting quantum particles forming a bound state in d-dimensional free space, and constrain the particles in k directions to (0, ∞)k ×Rd−k, with Neumann boundary conditions. First, we prove that the ground state energy strictly decreases upon going from k to k+1. This shows that the particles stick to the corner where all boundary planes intersect. Second, we show that for all k the resulting Hamiltonian, after removing the free part of the kinetic energy, has only finitely many eigenvalues below the essential spectrum. This paper generalizes the work of Egger, Kerner and Pankrashkin (J. Spectr. Theory 10(4):1413–1444, 2020) to dimensions d > 1.}, author = {Roos, Barbara and Seiringer, Robert}, issn = {0022-1236}, journal = {Journal of Functional Analysis}, keywords = {Analysis}, number = {12}, publisher = {Elsevier}, title = {{Two-particle bound states at interfaces and corners}}, doi = {10.1016/j.jfa.2022.109455}, volume = {282}, year = {2022}, } @article{10851, abstract = {Superconductor-semiconductor hybrid devices are at the heart of several proposed approaches to quantum information processing, but their basic properties remain to be understood. We embed a twodimensional Al-InAs hybrid system in a resonant microwave circuit, probing the breakdown of superconductivity due to an applied magnetic field. We find a fingerprint from the two-component nature of the hybrid system, and quantitatively compare with a theory that includes the contribution of intraband p±ip pairing in the InAs, as well as the emergence of Bogoliubov-Fermi surfaces due to magnetic field. Separately resolving the Al and InAs contributions allows us to determine the carrier density and mobility in the InAs.}, author = {Phan, Duc T and Senior, Jorden L and Ghazaryan, Areg and Hatefipour, M. and Strickland, W. M. and Shabani, J. and Serbyn, Maksym and Higginbotham, Andrew P}, issn = {1079-7114}, journal = {Physical Review Letters}, keywords = {General Physics and Astronomy}, number = {10}, publisher = {American Physical Society}, title = {{Detecting induced p±ip pairing at the Al-InAs interface with a quantum microwave circuit}}, doi = {10.1103/physrevlett.128.107701}, volume = {128}, year = {2022}, } @article{10863, abstract = {Nonlinear optical responses are commonly used as a probe for studying the electronic properties of materials. For topological materials, studies thus far focused on photogalvanic electric currents, which are forbidden in centrosymmetric materials because they require broken inversion symmetry. In this Letter, we propose a class of symmetry-allowed responses for inversion-symmetric topological insulators with two doubly degenerate bands. We consider a specific example of such a response, the orbital current, and show that the sign of the response reflects the Z2 topological index, i.e., the orbital current changes sign at the transition between trivial and topological insulator phases. This is illustrated in two models of topological insulators: the Bernevig-Hughes-Zhang model and the 1T′ phase of transition metal dichalcogenides.}, author = {Davydova, Margarita and Serbyn, Maksym and Ishizuka, Hiroaki}, issn = {2469-9969}, journal = {Physical Review B}, publisher = {American Physical Society}, title = {{Symmetry-allowed nonlinear orbital response across the topological phase transition in centrosymmetric materials}}, doi = {10.1103/PhysRevB.105.L121407}, volume = {105}, year = {2022}, } @article{10887, abstract = {We introduce a new way of representing logarithmically concave functions on Rd. It allows us to extend the notion of the largest volume ellipsoid contained in a convex body to the setting of logarithmically concave functions as follows. For every s>0, we define a class of non-negative functions on Rd derived from ellipsoids in Rd+1. For any log-concave function f on Rd , and any fixed s>0, we consider functions belonging to this class, and find the one with the largest integral under the condition that it is pointwise less than or equal to f, and we call it the John s-function of f. After establishing existence and uniqueness, we give a characterization of this function similar to the one given by John in his fundamental theorem. We find that John s-functions converge to characteristic functions of ellipsoids as s tends to zero and to Gaussian densities as s tends to infinity. As an application, we prove a quantitative Helly type result: the integral of the pointwise minimum of any family of log-concave functions is at least a constant cd multiple of the integral of the pointwise minimum of a properly chosen subfamily of size 3d+2, where cd depends only on d.}, author = {Ivanov, Grigory and Naszódi, Márton}, issn = {1096-0783}, journal = {Journal of Functional Analysis}, number = {11}, publisher = {Elsevier}, title = {{Functional John ellipsoids}}, doi = {10.1016/j.jfa.2022.109441}, volume = {282}, year = {2022}, } @article{10888, abstract = {Despite the growing interest in using chemical genetics in plant research, small molecule target identification remains a major challenge. The cellular thermal shift assay coupled with high-resolution mass spectrometry (CETSA MS) that monitors changes in the thermal stability of proteins caused by their interactions with small molecules, other proteins, or posttranslational modifications, allows the discovery of drug targets or the study of protein–metabolite and protein–protein interactions mainly in mammalian cells. To showcase the applicability of this method in plants, we applied CETSA MS to intact Arabidopsis thaliana cells and identified the thermal proteome of the plant-specific glycogen synthase kinase 3 (GSK3) inhibitor, bikinin. A comparison between the thermal and the phosphoproteomes of bikinin revealed the auxin efflux carrier PIN-FORMED1 (PIN1) as a substrate of the Arabidopsis GSK3s that negatively regulate the brassinosteroid signaling. We established that PIN1 phosphorylation by the GSK3s is essential for maintaining its intracellular polarity that is required for auxin-mediated regulation of vascular patterning in the leaf, thus revealing cross-talk between brassinosteroid and auxin signaling.}, author = {Lu, Qing and Zhang, Yonghong and Hellner, Joakim and Giannini, Caterina and Xu, Xiangyu and Pauwels, Jarne and Ma, Qian and Dejonghe, Wim and Han, Huibin and Van De Cotte, Brigitte and Impens, Francis and Gevaert, Kris and De Smet, Ive and Friml, Jiří and Molina, Daniel Martinez and Russinova, Eugenia}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences of the United States of America}, number = {11}, publisher = {Proceedings of the National Academy of Sciences}, title = {{Proteome-wide cellular thermal shift assay reveals unexpected cross-talk between brassinosteroid and auxin signaling}}, doi = {10.1073/pnas.2118220119}, volume = {119}, year = {2022}, } @article{10889, abstract = {Genetically encoded tags have introduced extensive lines of application from purification of tagged proteins to their visualization at the single molecular, cellular, histological and whole-body levels. Combined with other rapidly developing technologies such as clustered regularly interspaced palindromic repeats (CRISPR)/CRISPR-associated protein 9 (Cas9) system, proteomics, super-resolution microscopy and proximity labeling, a large variety of genetically encoded tags have been developed in the last two decades. In this review, I focus on the current status of tag development for electron microscopic (EM) visualization of proteins with metal particle labeling. Compared with conventional immunoelectron microscopy using gold particles, tag-mediated metal particle labeling has several advantages that could potentially improve the sensitivity, spatial and temporal resolution, and applicability to a wide range of proteins of interest (POIs). It may enable researchers to detect single molecules in situ, allowing the quantitative measurement of absolute numbers and exact localization patterns of POI in the ultrastructural context. Thus, genetically encoded tags for EM could revolutionize the field as green fluorescence protein did for light microscopy, although we still have many challenges to overcome before reaching this goal.}, author = {Shigemoto, Ryuichi}, issn = {2050-5701}, journal = {Microscopy}, number = {Supplement_1}, pages = {i72--i80}, publisher = {Oxford Academic}, title = {{Electron microscopic visualization of single molecules by tag-mediated metal particle labeling}}, doi = {10.1093/jmicro/dfab048}, volume = {71}, year = {2022}, } @article{10890, abstract = {Upon the arrival of action potentials at nerve terminals, neurotransmitters are released from synaptic vesicles (SVs) by exocytosis. CaV2.1, 2.2, and 2.3 are the major subunits of the voltage-gated calcium channel (VGCC) responsible for increasing intraterminal calcium levels and triggering SV exocytosis in the central nervous system (CNS) synapses. The two-dimensional analysis of CaV2 distributions using sodium dodecyl sulfate (SDS)-digested freeze-fracture replica labeling (SDS-FRL) has revealed their numbers, densities, and nanoscale clustering patterns in individual presynaptic active zones. The variation in these properties affects the coupling of VGCCs with calcium sensors on SVs, synaptic efficacy, and temporal precision of transmission. In this study, we summarize how the morphological parameters of CaV2 distribution obtained using SDS-FRL differ depending on the different types of synapses and could correspond to functional properties in synaptic transmission.}, author = {Eguchi, Kohgaku and Montanaro-Punzengruber, Jacqueline-Claire and Le Monnier, Elodie and Shigemoto, Ryuichi}, issn = {16625129}, journal = {Frontiers in Neuroanatomy}, publisher = {Frontiers}, title = {{The number and distinct clustering patterns of voltage-gated Calcium channels in nerve terminals}}, doi = {10.3389/fnana.2022.846615}, volume = {16}, year = {2022}, } @inproceedings{10891, abstract = {We present a formal framework for the online black-box monitoring of software using monitors with quantitative verdict functions. Quantitative verdict functions have several advantages. First, quantitative monitors can be approximate, i.e., the value of the verdict function does not need to correspond exactly to the value of the property under observation. Second, quantitative monitors can be quantified universally, i.e., for every possible observed behavior, the monitor tries to make the best effort to estimate the value of the property under observation. Third, quantitative monitors can watch boolean as well as quantitative properties, such as average response time. Fourth, quantitative monitors can use non-finite-state resources, such as counters. As a consequence, quantitative monitors can be compared according to how many resources they use (e.g., the number of counters) and how precisely they approximate the property under observation. This allows for a rich spectrum of cost-precision trade-offs in monitoring software.}, author = {Henzinger, Thomas A}, booktitle = {Software Verification}, isbn = {9783030955601}, issn = {1611-3349}, location = {New Haven, CT, United States}, pages = {3--6}, publisher = {Springer Nature}, title = {{Quantitative monitoring of software}}, doi = {10.1007/978-3-030-95561-8_1}, volume = {13124}, year = {2022}, }