@article{10404, abstract = {While convolutional neural networks (CNNs) have found wide adoption as state-of-the-art models for image-related tasks, their predictions are often highly sensitive to small input perturbations, which the human vision is robust against. This paper presents Perturber, a web-based application that allows users to instantaneously explore how CNN activations and predictions evolve when a 3D input scene is interactively perturbed. Perturber offers a large variety of scene modifications, such as camera controls, lighting and shading effects, background modifications, object morphing, as well as adversarial attacks, to facilitate the discovery of potential vulnerabilities. Fine-tuned model versions can be directly compared for qualitative evaluation of their robustness. Case studies with machine learning experts have shown that Perturber helps users to quickly generate hypotheses about model vulnerabilities and to qualitatively compare model behavior. Using quantitative analyses, we could replicate users’ insights with other CNN architectures and input images, yielding new insights about the vulnerability of adversarially trained models.}, author = {Sietzen, Stefan and Lechner, Mathias and Borowski, Judy and Hasani, Ramin and Waldner, Manuela}, issn = {1467-8659}, journal = {Computer Graphics Forum}, number = {7}, pages = {253--264}, publisher = {Wiley}, title = {{Interactive analysis of CNN robustness}}, doi = {10.1111/cgf.14418}, volume = {40}, year = {2021}, } @misc{13058, abstract = {The zip file includes source data used in the main text of the manuscript "Theory of branching morphogenesis by local interactions and global guidance", as well as a representative Jupyter notebook to reproduce the main figures. A sample script for the simulations of branching and annihilating random walks is also included (Sample_script_for_simulations_of_BARWs.ipynb) to generate exemplary branched networks under external guidance. A detailed description of the simulation setup is provided in the supplementary information of the manuscipt.}, author = {Ucar, Mehmet C}, publisher = {Zenodo}, title = {{Source data for the manuscript "Theory of branching morphogenesis by local interactions and global guidance"}}, doi = {10.5281/ZENODO.5257160}, year = {2021}, } @inproceedings{10408, abstract = {Key trees are often the best solution in terms of transmission cost and storage requirements for managing keys in a setting where a group needs to share a secret key, while being able to efficiently rotate the key material of users (in order to recover from a potential compromise, or to add or remove users). Applications include multicast encryption protocols like LKH (Logical Key Hierarchies) or group messaging like the current IETF proposal TreeKEM. A key tree is a (typically balanced) binary tree, where each node is identified with a key: leaf nodes hold users’ secret keys while the root is the shared group key. For a group of size N, each user just holds log(N) keys (the keys on the path from its leaf to the root) and its entire key material can be rotated by broadcasting 2log(N) ciphertexts (encrypting each fresh key on the path under the keys of its parents). In this work we consider the natural setting where we have many groups with partially overlapping sets of users, and ask if we can find solutions where the cost of rotating a key is better than in the trivial one where we have a separate key tree for each group. We show that in an asymptotic setting (where the number m of groups is fixed while the number N of users grows) there exist more general key graphs whose cost converges to the cost of a single group, thus saving a factor linear in the number of groups over the trivial solution. As our asymptotic “solution” converges very slowly and performs poorly on concrete examples, we propose an algorithm that uses a natural heuristic to compute a key graph for any given group structure. Our algorithm combines two greedy algorithms, and is thus very efficient: it first converts the group structure into a “lattice graph”, which is then turned into a key graph by repeatedly applying the algorithm for constructing a Huffman code. To better understand how far our proposal is from an optimal solution, we prove lower bounds on the update cost of continuous group-key agreement and multicast encryption in a symbolic model admitting (asymmetric) encryption, pseudorandom generators, and secret sharing as building blocks.}, author = {Alwen, Joel F and Auerbach, Benedikt and Baig, Mirza Ahad and Cueto Noval, Miguel and Klein, Karen and Pascual Perez, Guillermo and Pietrzak, Krzysztof Z and Walter, Michael}, booktitle = {19th International Conference}, isbn = {9-783-0309-0455-5}, issn = {1611-3349}, location = {Raleigh, NC, United States}, pages = {222--253}, publisher = {Springer Nature}, title = {{Grafting key trees: Efficient key management for overlapping groups}}, doi = {10.1007/978-3-030-90456-2_8}, volume = {13044}, year = {2021}, } @article{10527, abstract = {We show that in a two-dimensional electron gas with an annular Fermi surface, long-range Coulomb interactions can lead to unconventional superconductivity by the Kohn-Luttinger mechanism. Superconductivity is strongly enhanced when the inner and outer Fermi surfaces are close to each other. The most prevalent state has chiral p-wave symmetry, but d-wave and extended s-wave pairing are also possible. We discuss these results in the context of rhombohedral trilayer graphene, where superconductivity was recently discovered in regimes where the normal state has an annular Fermi surface. Using realistic parameters, our mechanism can account for the order of magnitude of Tc, as well as its trends as a function of electron density and perpendicular displacement field. Moreover, it naturally explains some of the outstanding puzzles in this material, that include the weak temperature dependence of the resistivity above Tc, and the proximity of spin singlet superconductivity to the ferromagnetic phase.}, author = {Ghazaryan, Areg and Holder, Tobias and Serbyn, Maksym and Berg, Erez}, issn = {1079-7114}, journal = {Physical Review Letters}, keywords = {general physics and astronomy}, number = {24}, publisher = {American Physical Society}, title = {{Unconventional superconductivity in systems with annular Fermi surfaces: Application to rhombohedral trilayer graphene}}, doi = {10.1103/physrevlett.127.247001}, volume = {127}, year = {2021}, } @article{10534, abstract = {For many years, fullerene derivatives have been the main n-type material of organic electronics and optoelectronics. Recently, fullerene derivatives functionalized with ethylene glycol (EG) side chains have been showing important properties such as enhanced dielectric constants, facile doping and enhanced self-assembly capabilities. Here, we have prepared field-effect transistors using a series of these fullerene derivatives equipped with EG side chains of different lengths. Transport data show the beneficial effect of increasing the EG side chain. In order to understand the material properties, full structural determination of these fullerene derivatives has been achieved by coupling the X-ray data with molecular dynamics (MD) simulations. The increase in transport properties is paired with the formation of extended layered structures, efficient molecular packing and an increase in the crystallite alignment. The layer-like structure is composed of conducting layers, containing of closely packed C60 balls approaching the inter-distance of 1 nm, that are separated by well-defined EG layers, where the EG chains are rather splayed with the chain direction almost perpendicular to the layer normal. Such a layered structure appears highly ordered and highly aligned with the C60 planes oriented parallel to the substrate in the thin film configuration. The order inside the thin film increases with the EG chain length, allowing the systems to achieve mobilities as high as 0.053 cm2 V−1 s−1. Our work elucidates the structure of these interesting semiconducting organic molecules and shows that the synergistic use of X-ray structural analysis and MD simulations is a powerful tool to identify the structure of thin organic films for optoelectronic applications.}, author = {Dong, Jingjin and Sami, Selim and Balazs, Daniel and Alessandri, Riccardo and Jahani, Fatimeh and Qiu, Li and Marrink, Siewert J. and Havenith, Remco W.A. and Hummelen, Jan C. and Loi, Maria A. and Portale, Giuseppe}, issn = {2050-7526}, journal = {Journal of Materials Chemistry C}, number = {45}, pages = {16217--16225}, publisher = {Royal Society of Chemistry}, title = {{Fullerene derivatives with oligoethylene-glycol side chains: An investigation on the origin of their outstanding transport properties}}, doi = {10.1039/d1tc02753k}, volume = {9}, year = {2021}, } @article{10533, abstract = {Flowering plants utilize small RNA molecules to guide DNA methyltransferases to genomic sequences. This RNA-directed DNA methylation (RdDM) pathway preferentially targets euchromatic transposable elements. However, RdDM is thought to be recruited by methylation of histone H3 at lysine 9 (H3K9me), a hallmark of heterochromatin. How RdDM is targeted to euchromatin despite an affinity for H3K9me is unclear. Here we show that loss of histone H1 enhances heterochromatic RdDM, preferentially at nucleosome linker DNA. Surprisingly, this does not require SHH1, the RdDM component that binds H3K9me. Furthermore, H3K9me is dispensable for RdDM, as is CG DNA methylation. Instead, we find that non-CG methylation is specifically associated with small RNA biogenesis, and without H1 small RNA production quantitatively expands to non-CG methylated loci. Our results demonstrate that H1 enforces the separation of euchromatic and heterochromatic DNA methylation pathways by excluding the small RNA-generating branch of RdDM from non-CG methylated heterochromatin.}, author = {Choi, Jaemyung and Lyons, David B and Zilberman, Daniel}, issn = {2050-084X}, journal = {eLife}, keywords = {genetics and molecular biology}, publisher = {eLife Sciences Publications}, title = {{Histone H1 prevents non-CG methylation-mediated small RNA biogenesis in Arabidopsis heterochromatin}}, doi = {10.7554/elife.72676}, volume = {10}, year = {2021}, } @article{10536, abstract = {TGFβ overexpression is commonly detected in cancer patients and correlates with poor prognosis and metastasis. Cancer progression is often associated with an enhanced recruitment of myeloid-derived cells to the tumor microenvironment. Here we show that functional TGFβ-signaling in myeloid cells is required for metastasis to the lungs and the liver. Myeloid-specific deletion of Tgfbr2 resulted in reduced spontaneous lung metastasis, which was associated with a reduction of proinflammatory cytokines in the metastatic microenvironment. Notably, CD8+ T cell depletion in myeloid-specific Tgfbr2-deficient mice rescued lung metastasis. Myeloid-specific Tgfbr2-deficiency resulted in reduced liver metastasis with an almost complete absence of myeloid cells within metastatic foci. On contrary, an accumulation of Tgfβ-responsive myeloid cells was associated with an increased recruitment of monocytes and granulocytes and higher proinflammatory cytokine levels in control mice. Monocytic cells isolated from metastatic livers of Tgfbr2-deficient mice showed increased polarization towards the M1 phenotype, Tnfα and Il-1β expression, reduced levels of M2 markers and reduced production of chemokines responsible for myeloid-cell recruitment. No significant differences in Tgfβ levels were observed at metastatic sites of any model. These data demonstrate that Tgfβ signaling in monocytic myeloid cells suppresses CD8+ T cell activity during lung metastasis, while these cells actively contribute to tumor growth during liver metastasis. Thus, myeloid cells modulate metastasis through different mechanisms in a tissue-specific manner.}, author = {Stefanescu, Cristina and Van Gogh, Merel and Roblek, Marko and Heikenwalder, Mathias and Borsig, Lubor}, issn = {2234-943X}, journal = {Frontiers in Oncology}, publisher = {Frontiers}, title = {{TGFβ signaling in myeloid cells promotes lung and liver metastasis through different mechanisms}}, doi = {10.3389/fonc.2021.765151}, volume = {11}, year = {2021}, } @article{10537, abstract = {We consider the quantum many-body evolution of a homogeneous Fermi gas in three dimensions in the coupled semiclassical and mean-field scaling regime. We study a class of initial data describing collective particle–hole pair excitations on the Fermi ball. Using a rigorous version of approximate bosonization, we prove that the many-body evolution can be approximated in Fock space norm by a quasi-free bosonic evolution of the collective particle–hole excitations.}, author = {Benedikter, Niels P and Nam, Phan Thành and Porta, Marcello and Schlein, Benjamin and Seiringer, Robert}, issn = {1424-0637}, journal = {Annales Henri Poincaré}, publisher = {Springer Nature}, title = {{Bosonization of fermionic many-body dynamics}}, doi = {10.1007/s00023-021-01136-y}, year = {2021}, } @article{10549, abstract = {We derive optimal-order homogenization rates for random nonlinear elliptic PDEs with monotone nonlinearity in the uniformly elliptic case. More precisely, for a random monotone operator on \mathbb {R}^d with stationary law (that is spatially homogeneous statistics) and fast decay of correlations on scales larger than the microscale \varepsilon >0, we establish homogenization error estimates of the order \varepsilon in case d\geqq 3, and of the order \varepsilon |\log \varepsilon |^{1/2} in case d=2. Previous results in nonlinear stochastic homogenization have been limited to a small algebraic rate of convergence \varepsilon ^\delta . We also establish error estimates for the approximation of the homogenized operator by the method of representative volumes of the order (L/\varepsilon )^{-d/2} for a representative volume of size L. Our results also hold in the case of systems for which a (small-scale) C^{1,\alpha } regularity theory is available.}, author = {Fischer, Julian L and Neukamm, Stefan}, issn = {1432-0673}, journal = {Archive for Rational Mechanics and Analysis}, keywords = {Mechanical Engineering, Mathematics (miscellaneous), Analysis}, number = {1}, pages = {343--452}, publisher = {Springer Nature}, title = {{Optimal homogenization rates in stochastic homogenization of nonlinear uniformly elliptic equations and systems}}, doi = {10.1007/s00205-021-01686-9}, volume = {242}, year = {2021}, } @inproceedings{10409, abstract = {We show that Yao’s garbling scheme is adaptively indistinguishable for the class of Boolean circuits of size S and treewidth w with only a SO(w) loss in security. For instance, circuits with constant treewidth are as a result adaptively indistinguishable with only a polynomial loss. This (partially) complements a negative result of Applebaum et al. (Crypto 2013), which showed (assuming one-way functions) that Yao’s garbling scheme cannot be adaptively simulatable. As main technical contributions, we introduce a new pebble game that abstracts out our security reduction and then present a pebbling strategy for this game where the number of pebbles used is roughly O(δwlog(S)) , δ being the fan-out of the circuit. The design of the strategy relies on separators, a graph-theoretic notion with connections to circuit complexity. with only a SO(w) loss in security. For instance, circuits with constant treewidth are as a result adaptively indistinguishable with only a polynomial loss. This (partially) complements a negative result of Applebaum et al. (Crypto 2013), which showed (assuming one-way functions) that Yao’s garbling scheme cannot be adaptively simulatable. As main technical contributions, we introduce a new pebble game that abstracts out our security reduction and then present a pebbling strategy for this game where the number of pebbles used is roughly O(δwlog(S)) , δ being the fan-out of the circuit. The design of the strategy relies on separators, a graph-theoretic notion with connections to circuit complexity.}, author = {Kamath Hosdurg, Chethan and Klein, Karen and Pietrzak, Krzysztof Z}, booktitle = {19th International Conference}, isbn = {9-783-0309-0452-4}, issn = {1611-3349}, location = {Raleigh, NC, United States}, pages = {486--517}, publisher = {Springer Nature}, title = {{On treewidth, separators and Yao’s garbling}}, doi = {10.1007/978-3-030-90453-1_17}, volume = {13043 }, year = {2021}, } @article{10545, abstract = {Classical models with complex energy landscapes represent a perspective avenue for the near-term application of quantum simulators. Until now, many theoretical works studied the performance of quantum algorithms for models with a unique ground state. However, when the classical problem is in a so-called clustering phase, the ground state manifold is highly degenerate. As an example, we consider a 3-XORSAT model defined on simple hypergraphs. The degeneracy of classical ground state manifold translates into the emergence of an extensive number of Z2 symmetries, which remain intact even in the presence of a quantum transverse magnetic field. We establish a general duality approach that restricts the quantum problem to a given sector of conserved Z2 charges and use it to study how the outcome of the quantum adiabatic algorithm depends on the hypergraph geometry. We show that the tree hypergraph which corresponds to a classically solvable instance of the 3-XORSAT problem features a constant gap, whereas the closed hypergraph encounters a second-order phase transition with a gap vanishing as a power-law in the problem size. The duality developed in this work provides a practical tool for studies of quantum models with classically degenerate energy manifold and reveals potential connections between glasses and gauge theories.}, author = {Medina Ramos, Raimel A and Serbyn, Maksym}, issn = {2469-9934}, journal = {Physical Review A}, number = {6}, publisher = {American Physical Society}, title = {{Duality approach to quantum annealing of the 3-variable exclusive-or satisfiability problem (3-XORSAT)}}, doi = {10.1103/physreva.104.062423}, volume = {104}, year = {2021}, } @inproceedings{10554, abstract = {We present DAG-Rider, the first asynchronous Byzantine Atomic Broadcast protocol that achieves optimal resilience, optimal amortized communication complexity, and optimal time complexity. DAG-Rider is post-quantum safe and ensures that all values proposed by correct processes eventually get delivered. We construct DAG-Rider in two layers: In the first layer, processes reliably broadcast their proposals and build a structured Directed Acyclic Graph (DAG) of the communication among them. In the second layer, processes locally observe their DAGs and totally order all proposals with no extra communication.}, author = {Keidar, Idit and Kokoris Kogias, Eleftherios and Naor, Oded and Spiegelman, Alexander}, booktitle = {Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing}, isbn = {978-1-4503-8548-0}, location = {Virtual, Italy}, pages = {165--175}, publisher = {Association for Computing Machinery}, title = {{All You Need is DAG}}, doi = {10.1145/3465084.3467905}, year = {2021}, } @article{10568, abstract = {Genetic adaptation and phenotypic plasticity facilitate the migration into new habitats and enable organisms to cope with a rapidly changing environment. In contrast to genetic adaptation that spans multiple generations as an evolutionary process, phenotypic plasticity allows acclimation within the life-time of an organism. Genetic adaptation and phenotypic plasticity are usually studied in isolation, however, only by including their interactive impact, we can understand acclimation and adaptation in nature. We aimed to explore the contribution of adaptation and plasticity in coping with an abiotic (salinity) and a biotic (Vibrio bacteria) stressor using six different populations of the broad-nosed pipefish Syngnathus typhle that originated from either high [14–17 Practical Salinity Unit (PSU)] or low (7–11 PSU) saline environments along the German coastline of the Baltic Sea. We exposed wild caught animals, to either high (15 PSU) or low (7 PSU) salinity, representing native and novel salinity conditions and allowed animals to mate. After male pregnancy, offspring was split and each half was exposed to one of the two salinities and infected with Vibrio alginolyticus bacteria that were evolved at either of the two salinities in a fully reciprocal design. We investigated life-history traits of fathers and expression of 47 target genes in mothers and offspring. Pregnant males originating from high salinity exposed to low salinity were highly susceptible to opportunistic fungi infections resulting in decreased offspring size and number. In contrast, no signs of fungal infection were identified in fathers originating from low saline conditions suggesting that genetic adaptation has the potential to overcome the challenges encountered at low salinity. Offspring from parents with low saline origin survived better at low salinity suggesting genetic adaptation to low salinity. In addition, gene expression analyses of juveniles indicated patterns of local adaptation, trans-generational plasticity and developmental plasticity. In conclusion, our study suggests that pipefish are locally adapted to the low salinity in their environment, however, they are retaining phenotypic plasticity, which allows them to also cope with ancestral salinity levels and prevailing pathogens.}, author = {Goehlich, Henry and Sartoris, Linda and Wagner, Kim-Sara and Wendling, Carolin C. and Roth, Olivia}, issn = {2296-701X}, journal = {Frontiers in Ecology and Evolution}, keywords = {ecology, evolution, behavior and systematics, trans-generational plasticity, genetic adaptation, local adaptation, phenotypic plasticity, Baltic Sea, climate change, salinity, syngnathids}, publisher = {Frontiers Media}, title = {{Pipefish locally adapted to low salinity in the Baltic Sea retain phenotypic plasticity to cope with ancestral salinity levels}}, doi = {10.3389/fevo.2021.626442}, volume = {9}, year = {2021}, } @article{10586, abstract = {A facile approach for developing an interfacial solar evaporator by heat localization of solar-thermal energy conversion at water-air liquid composed by in-situ polymerization of Fe2O3 nanoparticles (Fe2O3@PPy) deposited over a facial sponge is proposed. The demonstrated system consists of a floating solar receiver having a vertically cross-linked microchannel for wicking up saline water. The in situ polymerized Fe2O3@PPy interfacial layer promotes diffuse reflection and its rough black surface allows Omni-directional solar absorption (94%) and facilitates efficient thermal localization at the water/air interface and offers a defect-rich surface to promote heat localization (41.9 °C) and excellent thermal management due to cellulosic content. The self-floating composite foam reveals continuous vapors generation at a rate of 1.52 kg m−2 h−1 under one 1 kW m−2 and profound evaporating efficiency (95%) without heat losses that dissipates in its surroundings. Indeed, long-term evaporation experiments reveal the negligible disparity in continuous evaporation rate (33.84 kg m−2/8.3 h) receiving two sun solar intensity, and ensures the stability of the device under intense seawater conditions synchronized with excellent salt rejection potential. More importantly, Raman spectroscopy investigation validates the orange dye rejection via Fe2O3@PPy solar evaporator. The combined advantages of high efficiency, self-floating capability, multimedia rejection, low cost, and this configuration are promising for producing large-scale solar steam generating systems appropriate for commercial clean water yield due to their scalable fabrication.}, author = {Lu, Yuzheng and Arshad, Naila and Irshad, Muhammad Sultan and Ahmed, Iftikhar and Ahmad, Shafiq and Alshahrani, Lina Abdullah and Yousaf, Muhammad and Sayed, Abdelaty Edrees and Nauman, Muhammad}, issn = {2073-4352}, journal = {Crystals}, number = {12}, publisher = {MDPI}, title = {{Fe2O3 nanoparticles deposited over self-floating facial sponge for facile interfacial seawater solar desalination}}, doi = {10.3390/cryst11121509}, volume = {11}, year = {2021}, } @article{10569, abstract = {For animals to survive until reproduction, it is crucial that juveniles successfully detect potential predators and respond with appropriate behavior. The recognition of cues originating from predators can be innate or learned. Cues of various modalities might be used alone or in multi-modal combinations to detect and distinguish predators but studies investigating multi-modal integration in predator avoidance are scarce. Here, we used wild, naive tadpoles of the Neotropical poison frog Allobates femoralis ( Boulenger, 1884) to test their reaction to cues with two modalities from two different sympatrically occurring potential predators: heterospecific predatory Dendrobates tinctorius tadpoles and dragonfly larvae. We presented A. femoralis tadpoles with olfactory or visual cues, or a combination of the two, and compared their reaction to a water control in a between-individual design. In our trials, A. femoralis tadpoles reacted to multi-modal stimuli (a combination of visual and chemical information) originating from dragonfly larvae with avoidance but showed no reaction to uni-modal cues or cues from heterospecific tadpoles. In addition, visual cues from conspecifics increased swimming activity while cues from predators had no effect on tadpole activity. Our results show that A. femoralis tadpoles can innately recognize some predators and probably need both visual and chemical information to effectively avoid them. This is the first study looking at anti-predator behavior in poison frog tadpoles. We discuss how parental care might influence the expression of predator avoidance responses in tadpoles.}, author = {Szabo, B and Mangione, R and Rath, M and Pašukonis, A and Reber, SA and Oh, Jinook and Ringler, M and Ringler, E}, issn = {1477-9145}, journal = {Journal of Experimental Biology}, number = {24}, publisher = {The Company of Biologists}, title = {{Naïve poison frog tadpoles use bi-modal cues to avoid insect predators but not heterospecific predatory tadpoles}}, doi = {10.1242/jeb.243647}, volume = {224}, year = {2021}, } @article{10575, abstract = {The choice of the boundary conditions in mechanical problems has to reflect the interaction of the considered material with the surface. Still the assumption of the no-slip condition is preferred in order to avoid boundary terms in the analysis and slipping effects are usually overlooked. Besides the “static slip models”, there are phenomena that are not accurately described by them, e.g. at the moment when the slip changes rapidly, the wall shear stress and the slip can exhibit a sudden overshoot and subsequent relaxation. When these effects become significant, the so-called dynamic slip phenomenon occurs. We develop a mathematical analysis of Navier–Stokes-like problems with a dynamic slip boundary condition, which requires a proper generalization of the Gelfand triplet and the corresponding function space setting.}, author = {Abbatiello, Anna and Bulíček, Miroslav and Maringová, Erika}, issn = {1793-6314}, journal = {Mathematical Models and Methods in Applied Sciences}, number = {11}, pages = {2165--2212}, publisher = {World Scientific Publishing}, title = {{On the dynamic slip boundary condition for Navier-Stokes-like problems}}, doi = {10.1142/S0218202521500470}, volume = {31}, year = {2021}, } @article{10574, abstract = {The understanding of material appearance perception is a complex problem due to interactions between material reflectance, surface geometry, and illumination. Recently, Serrano et al. collected the largest dataset to date with subjective ratings of material appearance attributes, including glossiness, metallicness, sharpness and contrast of reflections. In this work, we make use of their dataset to investigate for the first time the impact of the interactions between illumination, geometry, and eight different material categories in perceived appearance attributes. After an initial analysis, we select for further analysis the four material categories that cover the largest range for all perceptual attributes: fabric, plastic, ceramic, and metal. Using a cumulative link mixed model (CLMM) for robust regression, we discover interactions between these material categories and four representative illuminations and object geometries. We believe that our findings contribute to expanding the knowledge on material appearance perception and can be useful for many applications, such as scene design, where any particular material in a given shape can be aligned with dominant classes of illumination, so that a desired strength of appearance attributes can be achieved.}, author = {Chen, Bin and Wang, Chao and Piovarci, Michael and Seidel, Hans Peter and Didyk, Piotr and Myszkowski, Karol and Serrano, Ana}, issn = {1432-2315}, journal = {Visual Computer}, number = {12}, pages = {2975--2987}, publisher = {Springer Nature}, title = {{The effect of geometry and illumination on appearance perception of different material categories}}, doi = {10.1007/s00371-021-02227-x}, volume = {37}, year = {2021}, } @article{10573, abstract = {How tissues acquire complex shapes is a fundamental question in biology and regenerative medicine. Zebrafish semicircular canals form from invaginations in the otic epithelium (buds) that extend and fuse to form the hubs of each canal. We find that conventional actomyosin-driven behaviors are not required. Instead, local secretion of hyaluronan, made by the enzymes uridine 5′-diphosphate dehydrogenase (ugdh) and hyaluronan synthase 3 (has3), drives canal morphogenesis. Charged hyaluronate polymers osmotically swell with water and generate isotropic extracellular pressure to deform the overlying epithelium into buds. The mechanical anisotropy needed to shape buds into tubes is conferred by a polarized distribution of actomyosin and E-cadherin-rich membrane tethers, which we term cytocinches. Most work on tissue morphogenesis ascribes actomyosin contractility as the driving force, while the extracellular matrix shapes tissues through differential stiffness. Our work inverts this expectation. Hyaluronate pressure shaped by anisotropic tissue stiffness may be a widespread mechanism for powering morphological change in organogenesis and tissue engineering.}, author = {Munjal, Akankshi and Hannezo, Edouard B and Tsai, Tony Y.C. and Mitchison, Timothy J. and Megason, Sean G.}, issn = {1097-4172}, journal = {Cell}, number = {26}, pages = {6313--6325.e18}, publisher = {Elsevier ; Cell Press}, title = {{Extracellular hyaluronate pressure shaped by cellular tethers drives tissue morphogenesis}}, doi = {10.1016/j.cell.2021.11.025}, volume = {184}, year = {2021}, } @article{10674, abstract = {In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner of the game. Such games are central in formal methods since they model the interaction between a non-terminating system and its environment. In bidding games the players bid for the right to move the token: in each round, the players simultaneously submit bids, and the higher bidder moves the token and pays the other player. Bidding games are known to have a clean and elegant mathematical structure that relies on the ability of the players to submit arbitrarily small bids. Many applications, however, require a fixed granularity for the bids, which can represent, for example, the monetary value expressed in cents. We study, for the first time, the combination of discrete-bidding and infinite-duration games. Our most important result proves that these games form a large determined subclass of concurrent games, where determinacy is the strong property that there always exists exactly one player who can guarantee winning the game. In particular, we show that, in contrast to non-discrete bidding games, the mechanism with which tied bids are resolved plays an important role in discrete-bidding games. We study several natural tie-breaking mechanisms and show that, while some do not admit determinacy, most natural mechanisms imply determinacy for every pair of initial budgets.}, author = {Aghajohari, Milad and Avni, Guy and Henzinger, Thomas A}, issn = {1860-5974}, journal = {Logical Methods in Computer Science}, keywords = {computer science, computer science and game theory, logic in computer science}, number = {1}, pages = {10:1--10:23}, publisher = {International Federation for Computational Logic}, title = {{Determinacy in discrete-bidding infinite-duration games}}, doi = {10.23638/LMCS-17(1:10)2021}, volume = {17}, year = {2021}, } @inproceedings{10609, abstract = {We study Multi-party computation (MPC) in the setting of subversion, where the adversary tampers with the machines of honest parties. Our goal is to construct actively secure MPC protocols where parties are corrupted adaptively by an adversary (as in the standard adaptive security setting), and in addition, honest parties’ machines are compromised. The idea of reverse firewalls (RF) was introduced at EUROCRYPT’15 by Mironov and Stephens-Davidowitz as an approach to protecting protocols against corruption of honest parties’ devices. Intuitively, an RF for a party P is an external entity that sits between P and the outside world and whose scope is to sanitize P ’s incoming and outgoing messages in the face of subversion of their computer. Mironov and Stephens-Davidowitz constructed a protocol for passively-secure two-party computation. At CRYPTO’20, Chakraborty, Dziembowski and Nielsen constructed a protocol for secure computation with firewalls that improved on this result, both by extending it to multi-party computation protocol, and considering active security in the presence of static corruptions. In this paper, we initiate the study of RF for MPC in the adaptive setting. We put forward a definition for adaptively secure MPC in the reverse firewall setting, explore relationships among the security notions, and then construct reverse firewalls for MPC in this stronger setting of adaptive security. We also resolve the open question of Chakraborty, Dziembowski and Nielsen by removing the need for a trusted setup in constructing RF for MPC. Towards this end, we construct reverse firewalls for adaptively secure augmented coin tossing and adaptively secure zero-knowledge protocols and obtain a constant round adaptively secure MPC protocol in the reverse firewall setting without setup. Along the way, we propose a new multi-party adaptively secure coin tossing protocol in the plain model, that is of independent interest.}, author = {Chakraborty, Suvradip and Ganesh, Chaya and Pancholi, Mahak and Sarkar, Pratik}, booktitle = {27th International Conference on the Theory and Application of Cryptology and Information Security}, isbn = {978-3-030-92074-6}, issn = {1611-3349}, location = {Virtual, Singapore}, pages = {335--364}, publisher = {Springer Nature}, title = {{Reverse firewalls for adaptively secure MPC without setup}}, doi = {10.1007/978-3-030-92075-3_12}, volume = {13091}, year = {2021}, }