cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Multi-Hop Cluster based IEEE 802.11p and LTE Hybrid Architecture for VANET Safety Message Dissemination
Creators: name: Ucar, Seyhan
name: Ergen, Sinem Coleri
name: Ozkasap, Oznur
Publisher: name: arXiv
Year: 2016
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences

description: This paper proposes a hybrid architecture, namely VMaSC-LTE, combining IEEE 802.11p based multi-hop clustering and the fourth generation cellular system, Long Term Evolution (LTE), with the goal of achieving high data packet delivery ratio and low delay while keeping the usage of the cellular architecture at the minimum level. In VMaSC-LTE, vehicles are clustered based on a novel approach named VMaSC: Vehicular Multi-hop algorithm for Stable Clustering. From the clustered topology, elected cluster heads operate as dual-interface nodes with the functionality of IEEE 802.11p and LTE interface to link VANET to LTE network. Using various key metrics of interest including data packet delivery ratio, delay, control overhead and clustering stability, we demonstrate superior performance of the proposed architecture compared to both previously proposed hybrid architectures and alternative routing mechanisms including flooding and cluster based routing via extensive simulations in ns-3 with the vehicle mobility input from the Simulation of Urban Mobility (SUMO). The proposed architecture also allows achieving higher required reliability of the application quantified by the data packet delivery ratio at the cost of higher LTE usage determined by the number of cluster heads in the network.
description: 16 pages, 13 figures, 7 tables, journal,transactions on vehicular technology
Backward timelike Compton scattering to decipher the photon content of the nucleon
Creators: name: Pire, Bernard
name: Semenov-Tian-Shansky, Kirill M.
name: Shaikhutdinova, Alisa A.
name: Szymanowski, Lech
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: Nuclear Experiment (nucl-ex)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The exclusive photoproduction off nucleon of a large invariant mass lepton pair in the backward region specified by the small Mandelstam variable $-u$ is discussed in the framework of collinear QCD factorization. The amplitude is factorized in terms of photon-to-nucleon Transition Distribution Amplitudes (TDAs) which encode the photon content of the nucleon. Model estimates of these new non-perturbative objects are described and the corresponding cross sections calculated. The background due to the electromagnetic Bethe-Heitler process is shown to be negligible in the kinematical regime of interest.
description: 33 pages, 9 figures, 1 table. A major revision of the paper. A sign mistake was corrected in amplitude calculations. This resulted in predicting higher cross section for the bTCS reaction
Increased lung expansion and lung development in fetal sheep
Creators: name: Nardo., Laura
Publisher: name: Monash University
Year: 2021

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
Irreducible representations of nilpotent groups generate classifiable C*-algebras
Creators: name: Eckhardt, Caleb
name: Gillaspy, Elizabeth
Publisher: name: arXiv
Year: 2015
Subjects: subject: Operator Algebras (math.OA)
subject: FOS: Mathematics
subject: 46L35, 22D25

description: We show that C*-algebras generated by irreducible representations of finitely generated nilpotent groups satisfy the universal coefficient theorem of Rosenberg and Schochet. This result combines with previous work to show that these algebras are classifiable by their Elliott invariants within the class of unital, simple, separable, nuclear C*-algebras with finite nuclear dimension that satisfy the universal coefficient theorem. We also show that these C*-algebras are central cutdowns of twisted group C*-algebras with homotopically trivial cocycles.
description: This version to appear in the M\"unster Journal of Mathematics
A simple model for high rotational excitations of molecules in a superfluid
Creators: name: Cherepanov, Igor N.
name: Bighin, Giacomo
name: Schouder, Constant A.
name: Chatterley, Adam S.
name: Stapelfeldt, Henrik
name: Lemeshko, Mikhail
Publisher: name: arXiv
Year: 2022
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Quantum Gases (cond-mat.quant-gas)
subject: Atomic and Molecular Clusters (physics.atm-clus)
subject: FOS: Physical sciences

description: We present a simple quantum mechanical model describing excited rotational states of molecules in superfluid helium nanodroplets, as recently studied in non-adiabatic molecular alignment experiments [Cherepanov et al., Phys. Rev. A 104, L061303 (2021)]. We show that a linear molecule immersed in a superfluid can be seen as an effective symmetric top, similar to the rotational structure of radicals, such as OH or NO, but with the angular momentum of the superfluid playing the role of the electronic angular momentum in free molecules. The model allows to evaluate the effective rotational and centrifugal distortion constants for a broad range of species and to explain the crossover between light and heavy molecules in superfluid $^4$He in terms of the many-body wavefunction structure. Most important, the simple theory allows to answer the question as to what happens when the rotational angular momentum of the molecule increases beyond the lowest excited states accessible by infrared spectroscopy. Some of the above mentioned insights can be acquired by analyzing a simple 2x2 matrix.
Spontaneous currents in a bosonic ring
Creators: name: Makiela, Damian
name: Maska, Maciej M.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: Nonequilibrium dynamics of noninteracting bosons in a one-dimensional ring-shaped lattice is studied by means of the Kinetic Monte Carlo method. The system is approximated by the classical XY model (the kinetic term is neglected) and then the simulations are performed for the planar classical spins. We study the dynamics that follows a finite-time quench to zero temperature. If the quench is slow enough the system can equilibrate and finally reaches the ground state with uniform spin alignment. However, we show that if the quench is faster than the relaxation rate, the system can get locked in a current-carrying metastable state characterized by a nonzero winding number. We analyze how the zero-temperature state depends on the quench rate.
description: 6 pages, 3 figures
Different lattice geometries with synthetic dimension
Creators: name: Suszalski, Dominik
name: Zakrzewski, Jakub
Publisher: name: arXiv
Year: 2016
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: The possibility of creating different geometries with the help of an extra synthetic dimension in optical lattices is studied. Additional linear potential and Raman assisted tunnelings are used to engineer well controlled tunnelings between available states. The great flexibility of the system allows us to obtain different geometries of synthetic lattices with possibility of adding synthetic gauge fields.
description: 4pp.+
Leakage and Protocol Composition in a Game-Theoretic Perspective
Creators: name: Alvim, Mário S.
name: Chatzikokolakis, Konstantinos
name: Kawamoto, Yusuke
name: Palamidessi, Catuscia
Publisher: name: arXiv
Year: 2018
Subjects: subject: Cryptography and Security (cs.CR)
subject: Computer Science and Game Theory (cs.GT)
subject: Information Theory (cs.IT)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: In the inference attacks studied in Quantitative Information Flow (QIF), the adversary typically tries to interfere with the system in the attempt to increase its leakage of secret information. The defender, on the other hand, typically tries to decrease leakage by introducing some controlled noise. This noise introduction can be modeled as a type of protocol composition, i.e., a probabilistic choice among different protocols, and its effect on the amount of leakage depends heavily on whether or not this choice is visible to the adversary. In this work we consider operators for modeling visible and invisible choice in protocol composition, and we study their algebraic properties. We then formalize the interplay between defender and adversary in a game-theoretic framework adapted to the specific issues of QIF, where the payoff is information leakage. We consider various kinds of leakage games, depending on whether players act simultaneously or sequentially, and on whether or not the choices of the defender are visible to the adversary. Finally, we establish a hierarchy of these games in terms of their information leakage, and provide methods for finding optimal strategies (at the points of equilibrium) for both attacker and defender in the various cases. The full version of this paper can be found in arXiv:1803.10042
description: POST'18 conference paper (An extended version of this paper with proofs can be found in arXiv:1803.10042). This paper extends one half of the unpublished v1 of arXiv:1705.05030, while v2 of arXiv:1705.05030 extends the other half and is published in GameSec'17
Supplementary materials for the paper "How Are Notebooks Actually Developed? A Fine-Grained Analysis of Jupyter Notebooks Execution Logs"
Creators: name: Anonymous
Publisher: name: Zenodo
Year: 2023

description: This package represents supplementary materials for the paper "How Are Notebooks Actually Developed? A Fine-Grained Analysis of Jupyter Notebooks Execution Logs". Please refer to README in the archive for details.
Resolving Extreme Jet Substructure
Creators: name: Lu, Yadong
name: Romero, Alexis
name: Fenton, Michael James
name: Whiteson, Daniel
name: Baldi, Pierre
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We study the effectiveness of theoretically-motivated high-level jet observables in the extreme context of jets with a large number of hard sub-jets (up to $N=8$). Previous studies indicate that high-level observables are powerful, interpretable tools to probe jet substructure for $N\le 3$ hard sub-jets, but that deep neural networks trained on low-level jet constituents match or slightly exceed their performance. We extend this work for up to $N=8$ hard sub-jets, using deep particle-flow networks (PFNs) and Transformer based networks to estimate a loose upper bound on the classification performance. A fully-connected neural network operating on a standard set of high-level jet observables, 135 $\textrm{N}$-subjetiness observables and jet mass, reach classification accuracy of 86.90\%, but fall short of the PFN and Transformer models, which reach classification accuracies of 89.19\% and 91.27\% respectively, suggesting that the constituent networks utilize information not captured by the set of high-level observables. We then identify additional high-level observables which are able to narrow this gap, and utilize LASSO regularization for feature selection to identify and rank the most relevant observables and provide further insights into the learning strategies used by the constituent-based neural networks. The final model contains only 31 high-level observables and is able to match the performance of the PFN and approximate the performance of the Transformer model to within 2\%.
Reinforcement learning of optimal active particle navigation
Creators: name: Nasiri, Mahdi
name: Liebchen, Benno
Publisher: name: arXiv
Year: 2022
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Machine Learning (cs.LG)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: The development of self-propelled particles at the micro- and the nanoscale has sparked a huge potential for future applications in active matter physics, microsurgery, and targeted drug delivery. However, while the latter applications provoke the quest on how to optimally navigate towards a target, such as e.g. a cancer cell, there is still no simple way known to determine the optimal route in sufficiently complex environments. Here we develop a machine learning-based approach that allows us, for the first time, to determine the asymptotically optimal path of a self-propelled agent which can freely steer in complex environments. Our method hinges on policy gradient-based deep reinforcement learning techniques and, crucially, does not require any reward shaping or heuristics. The presented method provides a powerful alternative to current analytical methods to calculate optimal trajectories and opens a route towards a universal path planner for future intelligent active particles.
The Impact of the Revised Sunspot Record on Solar Irradiance Reconstructions
Creators: name: Kopp, G.
name: Krivova, N.
name: Lean, J.
name: Wu, C. J.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Reliable historical records of total solar irradiance (TSI) are needed for climate change attribution and research to assess the extent to which long-term variations in the Sun's radiant energy incident on the Earth may exacerbate (or mitigate) the more dominant warming in recent centuries due to increasing concentrations of greenhouse gases. We investigate potential impacts of the new Sunspot Index and Long-term Solar Observations (SILSO) sunspot-number time series on model reconstructions of TSI. In contemporary TSI records, variations on time scales longer than about a day are dominated by the opposing effects of sunspot darkening and facular brightening. These two surface magnetic features, retrieved either from direct observations or from solar activity proxies, are combined in TSI models to reproduce the current TSI observational record. Indices that manifest solar-surface magnetic activity, in particular the sunspot-number record, then enable the reconstruction of historical TSI. Revisions to the sunspot-number record therefore affect the magnitude and temporal structure of TSI variability on centennial time scales according to the model reconstruction methodologies. We estimate the effects of the new SILSO record on two widely used TSI reconstructions, namely the NRLTSI2 and the SATIRE models. We find that the SILSO record has little effect on either model after 1885 but leads to greater amplitude solar-cycle fluctuations in TSI reconstructions prior, suggesting many 18th and 19th century cycles could be similar in amplitude to those of the current Modern Maximum. TSI records based on the revised sunspot data do not suggest a significant change in Maunder Minimum TSI values, and comparing that era to the present we find only very small potential differences in estimated solar contributions to climate with this new sunspot record.
description: 18 pages, 6 figures, accepted for publication in Solar Physics, Jan. 2016
On the Anonymization of Differentially Private Location Obfuscation
Creators: name: Kawamoto, Yusuke
name: Murakami, Takao
Publisher: name: arXiv
Year: 2018
Subjects: subject: Cryptography and Security (cs.CR)
subject: Databases (cs.DB)
subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: Obfuscation techniques in location-based services (LBSs) have been shown useful to hide the concrete locations of service users, whereas they do not necessarily provide the anonymity. We quantify the anonymity of the location data obfuscated by the planar Laplacian mechanism and that by the optimal geo-indistinguishable mechanism of Bordenabe et al. We empirically show that the latter provides stronger anonymity than the former in the sense that more users in the database satisfy k-anonymity. To formalize and analyze such approximate anonymity we introduce the notion of asymptotic anonymity. Then we show that the location data obfuscated by the optimal geo-indistinguishable mechanism can be anonymized by removing a smaller number of users from the database. Furthermore, we demonstrate that the optimal geo-indistinguishable mechanism has better utility both for users and for data analysts.
description: ISITA'18 conference paper
Australian marine natural products : purification and pharmacology
Creators: name: Nadeson., Raymond
Publisher: name: Monash University
Year: 2021

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow
Creators: name: Biondi, Fabrizio
name: Kawamoto, Yusuke
name: Legay, Axel
name: Traonouez, Louis-Marie
Publisher: name: arXiv
Year: 2018
Subjects: subject: Information Theory (cs.IT)
subject: Cryptography and Security (cs.CR)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Analysis of a probabilistic system often requires to learn the joint probability distribution of its random variables. The computation of the exact distribution is usually an exhaustive precise analysis on all executions of the system. To avoid the high computational cost of such an exhaustive search, statistical analysis has been studied to efficiently obtain approximate estimates by analyzing only a small but representative subset of the system's behavior. In this paper we propose a hybrid statistical estimation method that combines precise and statistical analyses to estimate mutual information, Shannon entropy, and conditional entropy, together with their confidence intervals. We show how to combine the analyses on different components of a discrete system with different accuracy to obtain an estimate for the whole system. The new method performs weighted statistical analysis with different sample sizes over different components and dynamically finds their optimal sample sizes. Moreover, it can reduce sample sizes by using prior knowledge about systems and a new abstraction-then-sampling technique based on qualitative analysis. To apply the method to the source code of a system, we show how to decompose the code into components and to determine the analysis method for each component by overviewing the implementation of those techniques in the HyLeak tool. We demonstrate with case studies that the new method outperforms the state of the art in quantifying information leakage.
description: Accepted by Formal Aspects of Computing
On the Derivation of Chiral Symmetry Breaking in QCD-like Theories and S-confining Theories
Creators: name: Luzio, Andrea
name: Xu, Ling-Xiao
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Recent works argue that the pattern of chiral symmetry breaking in QCD-like theories can be derived from supersymmetric (SUSY) QCD with perturbation of anomaly-mediated SUSY breaking (AMSB). Nevertheless, despite the fact that AMSB needs to be a small (but still exact) perturbation, there are two other major problems remaining unsolved: first, in order to derive the chiral symmetry breaking pattern, one needs to minimize the potential along a certain specific direction, identifying this direction fully as an outcome is nontrivial given the moduli space of degenerate vacua in the SUSY limit; second, when SUSY is broken, non-holomorphic states might emerge and be relevant for determining the vacuum structure. In this work, we focus on SUSY QCD with $N_f\leq N_c+1$ and perturb the theories using AMSB. Without minimizing the potential along a certain specific direction in the moduli space, we successfully derive the expected chiral symmetry breaking pattern when $N_f
description: 24 pages+appendix; v2: references added, minor revision, conclusion unchanged
Efficient implementation of molecular CCSD gradients with Cholesky-decomposed electron repulsion integrals
Creators: name: Schnack-Petersen, Anna Kristina
name: Koch, Henrik
name: Coriani, Sonia
name: Kjønstad, Eirik F.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: We present an efficient implementation of ground and excited state CCSD gradients based on Cholesky-decomposed electron repulsion integrals. Cholesky decomposition, like density-fitting, is an inner projection method, and thus similar implementation schemes can be applied for both methods. One well-known advantage of inner projection methods, which we exploit in our implementation, is that one can avoid storing large V3O and V4 arrays by instead considering three-index intermediates. Furthermore, our implementation does not require the formation and storage of Cholesky vector derivatives. The new implementation is shown to perform well, with less than 10% of the time spent calculating the gradients in geometry optimizations. The computational time spent per optimization cycle are furthermore found to be significantly lower compared to other implementations based on an inner projection method. We illustrate the capabilities of the implementation by optimizing the geometry of the retinal molecule (C20H28O) at the CCSD/aug-cc-pVDZ level of theory.
description: 12 pages, 1 figure
A method for virtual optical sectioning and tomography utilizing shallow depth of field
Creators: name: Gureyev, T. E.
name: Quiney, H. M.
name: Allen, L. J.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Optics (physics.optics)
subject: Image and Video Processing (eess.IV)
subject: Medical Physics (physics.med-ph)
subject: FOS: Physical sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: A method is proposed for high-resolution, three-dimensional reconstruction of internal structure of objects from planar transmission images. The described approach can be used with any form of radiation or matter waves, in principle, provided that the depth of field is smaller than the thickness of the sample. The physical optics basis for the method is elucidated and the reconstruction algorithm is presented in detail. A simulated example demonstrates an application of the method to three-dimensional electron transmission imaging of a nanoparticle under realistic radiation dose and spatial resolution constraints. It is envisaged that the method can be applicable in high-resolution transmission electron microscopy, soft X-ray microscopy, ultrasound imaging and other areas.
description: 20 pages, 5 figures
Modular representation and control of floppy networks
Creators: name: Chen, Siheng
name: Giardina, Fabio
name: Choi, Gary P. T.
name: Mahadevan, L.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Robotics (cs.RO)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Materials Science (cond-mat.mtrl-sci)
subject: Soft Condensed Matter (cond-mat.soft)
subject: Optimization and Control (math.OC)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: Geometric graph models of systems as diverse as proteins, robots, and mechanical structures from DNA assemblies to architected materials point towards a unified way to represent and control them in space and time. While much work has been done in the context of characterizing the behavior of these networks close to critical points associated with bond and rigidity percolation, isostaticity, etc., much less is known about floppy, under-constrained networks that are far more common in nature and technology. Here we combine geometric rigidity and algebraic sparsity to provide a framework for identifying the zero-energy floppy modes via a representation that illuminates the underlying hierarchy and modularity of the network, and thence the control of its nestedness and locality. Our framework allows us to demonstrate a range of applications of this approach that include robotic reaching tasks with motion primitives, and predicting the linear and nonlinear response of elastic networks based solely on infinitesimal rigidity and sparsity, which we test using physical experiments. Our approach is thus likely to be of use broadly in dissecting the geometrical properties of floppy networks using algebraic sparsity to optimize their function and performance.
Establishment and maintenance of persistent HIV-1 infection in cells of the macrophage lineage
Creators: name: Mutimer., Helen
Publisher: name: Monash University
Year: 2021

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
Interface Condition for the Darcy Velocity at the Water-oil Flood Front in the Porous Medium
Creators: name: Peng, Xiaolong
name: Liu, Yong
name: Liang, Baosheng
Publisher: name: arXiv
Year: 2016
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: Flood front is the jump interface where fluids distribute discontinuously, whose interface condition is the theoretical basis of a mathematical model of the multiphase flow in porous medium. The conventional interface condition at the jump interface is expressed as the continuous Darcy velocity and fluid pressure (named CVCM ). Our study has inspected this conclusions. First, it is revealed that the principle of mass conservation has no direct relation to the velocity conservation, and the former is not the true foundation of the later, because the former only reflects the kinetic characteristic of the fluid particles at one position(the interface), but not the neighborhood of the interface which required by the later. Then the reasonableness of CVCM is queried from the following three aspects:(1)Using Mukat's two phase seepage equation and the mathematical method of apagoge, we have disproved the continuity of each fluid velocity;(2)Since the analytical solution of the equation of Buckley-Leveret equations is acquirable, its velocity jumps at the flood front presents an appropriate example to disprove the CVCM;(3) The numerical simulation model gives impractical result that flood front would stop moving if CVCM were used to calculate the velocities at the interface between two gridcells. Subsequently, a new one, termed as Jump Velocity Condition Model (JVCM), is deduced from Muskat's two phase seepage equations and Darcy's law without taking account of the capillary force and compressibility of rocks and fluids. Finally, several cases are presented. And the comparisons of the velocity, pressure difference and the front position, which are given by JVCM, CVCM and SPU, have shown that the result of JVCM is the closest to the exact solution.
description: 13 pages,six figures
Backflash light characterization to prevent QKD zero-error hacking
Creators: name: Meda, A.
name: Degiovanni, I. P.
name: Tosi, A.
name: Yuan, Z. L.
name: Brida, G.
name: Genovese, M.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Single photon avalanche diodes (SPADs) are the most commercially diffused solution for single-photon counting in quantum key distribution (QKD) applications. However, the secondary photon emission, arising from the avalanche of charge carriers during a photon detection, may be exploited by an eavesdropper to gain information without forcing errors in the transmission key. In this paper, we characterise such backflash light in gated InGaAs/InP SPADs, and its spectral and temporal characterization for different detector models and different operating parameters. We qualitatively bound the maximum information leakage due to backflash light, and propose a solution.
Сунцова О.О. Робоча програма навчальної дисципліни «Вища математика 1» для бакалаврів спеціальності 051 «Економіка», спеціалізація «Економічна кібернетика» / ПВНЗ «УГІ», каф. ЕКФМ, 2021. 10 с.
Creators: name: Олександрівна, Сунцова Олеся
Publisher: name: Zenodo
Year: 2021

description: Сунцова О.О. Робоча програма навчальної дисципліни «Вища математика 1» для бакалаврів спеціальності 051 «Економіка», спеціалізація «Економічна кібернетика» / ПВНЗ «УГІ», каф. ЕКФМ, 2021. 10 с. DOI: 10.5281/zenodo.8389151
Acyclic Constraint Logic and Games
Creators: name: Hoogeboom, Hendrik Jan
name: Kosters, Walter A.
name: van Rijn, Jan N.
name: Vis, Jonathan K.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences

description: Non-deterministic Constraint Logic is a family of graph games introduced by Demaine and Hearn that facilitates the construction of complexity proofs. It is convenient for the analysis of games, providing a uniform view. We focus on the acyclic version, apply this to Klondike, Mahjong Solitaire and Nonogram (that requires planarity), and discuss the more complicated game of Dou Shou Qi. While for the first three games we reobtain known characterizations in a simple and uniform manner, the result for Dou Shou Qi is new.
description: 14 pages, originally published at: ICGA Journal Vol. 37, pp. 3-16, 2014
Local Obfuscation Mechanisms for Hiding Probability Distributions
Creators: name: Kawamoto, Yusuke
name: Murakami, Takao
Publisher: name: arXiv
Year: 2018
Subjects: subject: Cryptography and Security (cs.CR)
subject: Databases (cs.DB)
subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: We introduce a formal model for the information leakage of probability distributions and define a notion called distribution privacy as the local differential privacy for probability distributions. Roughly, the distribution privacy of a local obfuscation mechanism means that the attacker cannot significantly gain any information on the distribution of the mechanism's input by observing its output. Then we show that existing local mechanisms can hide input distributions in terms of distribution privacy, while deteriorating the utility by adding too much noise. For example, we prove that the Laplace mechanism needs to add a large amount of noise proportionally to the infinite Wasserstein distance between the two distributions we want to make indistinguishable. To improve the tradeoff between distribution privacy and utility, we introduce a local obfuscation mechanism, called a tupling mechanism, that adds random dummy data to the output. Then we apply this mechanism to the protection of user attributes in location based services. By experiments, we demonstrate that the tupling mechanism outperforms popular local mechanisms in terms of attribute obfuscation and service quality.
description: Full version of Proc. ESORICS 2019 (with a longer appendix)
The T-cell repertoire in health and disease : helper T-cell recognition of HIV1gag and env gene products by HIV1-infected and non-infected individuals
Creators: name: Mutch., David Alexander
Publisher: name: Monash University
Year: 2021

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
Symmetry-breaking induced frequency combs in graphene resonators
Creators: name: Keşkekler, Ata
name: Arjmandi, Hadi
name: Steeneken, Peter G.
name: Alijani, Farbod
Publisher: name: arXiv
Year: 2022
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences

description: Nonlinearities are inherent to the dynamics of two-dimensional materials. Phenomena like intermodal coupling already arise at amplitudes of only a few nanometers, and a range of unexplored effects still awaits to be harnessed. Here, we demonstrate a route for generating mechanical frequency combs in graphene resonators undergoing symmetry-breaking forces. We use electrostatic force to break the membrane's out-of-plane symmetry and tune its resonance frequency towards a two-to-one internal resonance, thus achieving strong coupling between two of its mechanical modes. When increasing the drive level, we observe splitting of the fundamental resonance peak, followed by the emergence of a frequency comb regime. We attribute the observed physics to a non-symmetric restoring potential, and show that the frequency comb regime is mediated by a Neimark bifurcation of the periodic solution. These results demonstrate that mechanical frequency combs and chaotic dynamics in 2D material resonators can emerge near internal resonances due to symmetry-breaking.
An interacting particle system with geometric jump rates near a partially reflecting boundary
Creators: name: Kuan, Jeffrey
Publisher: name: arXiv
Year: 2016
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics

description: This paper constructs a new interacting particle system on a two--dimensional lattice with geometric jumps near a boundary which partially reflects the particles. The projection to each horizontal level is Markov, and on every level the dynamics match stochastic matrices constructed from pure alpha characters of $Sp(\infty)$, while on every other level they match an interacting particle system from Pieri formulas for $Sp(2r)$. Using a previously discovered correlation kernel, asymptotics are shown to be the Discrete Jacobi and Symmetric Pearcey processes.
Local Distribution Obfuscation via Probability Coupling
Creators: name: Kawamoto, Yusuke
name: Murakami, Takao
Publisher: name: arXiv
Year: 2019
Subjects: subject: Cryptography and Security (cs.CR)
subject: Databases (cs.DB)
subject: Information Theory (cs.IT)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: We introduce a general model for the local obfuscation of probability distributions by probabilistic perturbation, e.g., by adding differentially private noise, and investigate its theoretical properties. Specifically, we relax a notion of distribution privacy (DistP) by generalizing it to divergence, and propose local obfuscation mechanisms that provide divergence distribution privacy. To provide f-divergence distribution privacy, we prove that probabilistic perturbation noise should be added proportionally to the Earth mover's distance between the probability distributions that we want to make indistinguishable. Furthermore, we introduce a local obfuscation mechanism, which we call a coupling mechanism, that provides divergence distribution privacy while optimizing the utility of obfuscated data by using exact/approximate auxiliary information on the input distributions we want to protect.
description: Full version of Allerton 2019 paper (This paper extends some part of the unpublished v3 of arXiv:1812.00939, while v4 of arXiv:1812.00939 extends the other part and is published in ESORICS'19.)
Statistical Epistemic Logic
Creators: name: Kawamoto, Yusuke
Publisher: name: arXiv
Year: 2019
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: We introduce a modal logic for describing statistical knowledge, which we call statistical epistemic logic. We propose a Kripke model dealing with probability distributions and stochastic assignments, and show a stochastic semantics for the logic. To our knowledge, this is the first semantics for modal logic that can express the statistical knowledge dependent on non-deterministic inputs and the statistical significance of observed results. By using statistical epistemic logic, we express a notion of statistical secrecy with a confidence level. We also show that this logic is useful to formalize statistical hypothesis testing and differential privacy in a simple and abstract manner.
$Λ_b\to p$ transition form factors in perturbative QCD
Creators: name: Han, Jia-Jie
name: Li, Ya
name: Li, Hsiang-nan
name: Shen, Yue-Long
name: Xiao, Zhen-Jun
name: Yu, Fu-Sheng
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We reanalyze the $Λ_b\to p$ transition form factors in the perturbative QCD (PQCD) approach by including higher-twist light-cone distribution amplitudes (LCDAs) of a $Λ_b$ baryon and a proton. The previous PQCD evaluation performed decades ago with only the leading-twist $Λ_b$ baryon and proton LCDAs gave the form factors, which are two orders of magnitude smaller than indicated by experimental data. We find that the twist-4 $Λ_b$ baryon LCDAs and the twist-4 and -5 proton LCDAs contribute dominantly, and the enhanced form factors become consistent with those from lattice QCD and other nonperturbative methods. The estimated branching ratios of the semileptonic decays $Λ_b\to p\ell\barν_\ell$ and the hadronic decay $Λ_b\to pπ$ are also close to the data. It implies that the $b$ quark mass is not really heavy enough, and higher-power contributions play a crucial role, similar to the observation made in analyses of $B$ meson transition form factors. With the formalism established in this work, we are ready to study various exclusive heavy baryon decays systematically in the PQCD approach.
description: 37 pages, 7 figures, version to be published in Eur.Phys.J.C
title: Using the MIMO Method to Evaluate the Modal Properties of the Elements of a Wheelset in an Active Experiment
Creators: name: Milewicz, Julia
name: Mokrzan, Daniel
name: Nowakowski, Tomasz
name: Szymański, Grzegorz M.
Publisher: name: Publishing House of Poznan University of Technology
Year: 2022

description: Vibrations in Physical Systems, 33(3), 2022324-1 - 2022324-8
Towards Logical Specification of Statistical Machine Learning
Creators: name: Kawamoto, Yusuke
Publisher: name: arXiv
Year: 2019
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: Cryptography and Security (cs.CR)
subject: Machine Learning (cs.LG)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: We introduce a logical approach to formalizing statistical properties of machine learning. Specifically, we propose a formal model for statistical classification based on a Kripke model, and formalize various notions of classification performance, robustness, and fairness of classifiers by using epistemic logic. Then we show some relationships among properties of classifiers and those between classification performance and robustness, which suggests robustness-related properties that have not been formalized in the literature as far as we know. To formalize fairness properties, we define a notion of counterfactual knowledge and show techniques to formalize conditional indistinguishability by using counterfactual epistemic operators. As far as we know, this is the first work that uses logical formulas to express statistical properties of machine learning, and that provides epistemic (resp. counterfactually epistemic) views on robustness (resp. fairness) of classifiers.
description: SEFM'19 conference paper (full version with errors corrected)
Quantum information scrambling and quantum chaos in little string theory
Creators: name: Mahish, Sandip
name: Sil, Karunava
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In the current manuscript we perform a systematic investigation about the effects of nonlocal interaction to the spread of quantum information in many body system. In particular, we have studied how nonlocality influence the existing bound on the growth rate of the commutator involving two local operators, the butterfly velocity. For this purpose, we consider the nonlocal theory on the worldvolume of $N\gg 1$, NS$5$ branes arising in the limit of vanishing string coupling, the `little string theory'. A direct evidence of nonlocality can be realized from the `volume law' behavior for the most dominant part of holographic entanglement entropy. We obtain the butterfly velocity by studying the dynamics of the near horizon geometry backreacted by a high energy quanta in the form of a shockwave resulting from an early perturbation on the corresponding thermofield double state. We observe that the butterfly velocity increases with the nonlocal scale of little string theory, the inverse Hagedorn temperature $β_{h}$, indicating a faster rate of information spread due to the nonlocal interaction. The same conclusion follows as the disruption of two sided mutual information is observed to occur at a faster rate for higher values of $β_{h}$. Finally, we realize a direct connection between the parameters of quantum chaos and the quasinormal modes for collective excitations through the phenomenon of `pole skipping'.
description: 38 pages, 15 figures, new comments added, References added, Accepted for publication in JHEP
Introduction to high-energy gamma-ray astronomy
Creators: name: Degrange, Bernard
name: Fontaine, Gérard
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: The present issue is the first of of a two-volume review devoted to gamma-ray astronomy above 100 MeV which has witnessed considerable progress over the last 20 years. The motivations for research in this area are explained, the follow-on articles of these two thematic issues are introduced and a brief history of the field is given.
description: 15 pages, 6 figures. Introduction to a two-volume topical issue on Gamma-ray Astronomy above 100 MeV coordinated by the authors
Models of human behavior for human-robot interaction and automated driving: How accurate do the models of human behavior need to be?
Creators: name: Markkula, Gustav
name: Dogar, Mehmet
Publisher: name: arXiv
Year: 2022
Subjects: subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: There are many examples of cases where access to improved models of human behavior and cognition has allowed creation of robots which can better interact with humans, and not least in road vehicle automation this is a rapidly growing area of research. Human-robot interaction (HRI) therefore provides an important applied setting for human behavior modeling - but given the vast complexity of human behavior, how complete and accurate do these models need to be? Here, we outline some possible ways of thinking about this problem, starting from the suggestion that modelers need to keep the right end goal in sight: A successful human-robot interaction, in terms of safety, performance, and human satisfaction. Efforts toward model completeness and accuracy should be focused on those aspects of human behavior to which interaction success is most sensitive. We emphasise that identifying which those aspects are is a difficult scientific objective in its own right, distinct for each given HRI context. We propose and exemplify an approach to formulating a priori hypotheses on this matter, in cases where robots are to be involved in interactions which currently take place between humans, such as in automated driving. Our perspective also highlights some possible risks of overreliance on machine-learned models of human behavior in HRI, and how to mitigate against those risks.
description: Accepted for publication in IEEE Robotics & Automation Magazine. In press
Certifying quantumness beyond steering and nonlocality and its implications on quantum information processing
Creators: name: Jebarathinam, Chellasamy
name: Das, Debarshi
Publisher: name: arXiv
Year: 2019
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Superunsteerability is a particular kind of spatial quantum correlation that can be observed in a steering scenario in the presence of limited shared randomness. In this work, we define an experimentally measurable quantity in a steering scenario to certify superunsteerability. In the context of certification of randomness with this scenario, we demonstrate that such certification of superunsteerability provides a bound on the amount of genuine randomness generation. On the other hand, superlocality is another kind of spatial quantum correlation that can be observed in a Bell scenario in the presence of limited shared randomness. We identify inequalities to certify superlocality in the Bell scenarios that can be adopted to implement $2$-to-$1$ and $3$-to-$1$ random-access codes. We observe that such certification of superlocality acts as resource for the random-access codes in the presence of limited shared randomness. As a by-product of our certification of superunsteerability and superlocality, we identify a new classification of separable states having quantumness.
description: v1: 11 pages, 5 figures, Comments are welcome; v2: Substantially revised version, modified title, v3: Accepted for publication in Quantum Information & Computation
Involvement of the p75 receptor in the death of axotomised neurons in vivo
Creators: name: Murray., Simon Scott
Publisher: name: Monash University
Year: 2021

description: This thesis was scanned from the print manuscript for digital preservation and is copyright the author.
 Researchers can access this thesis by asking their local university, institution or public library to
 make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.
Critical Reflections on Visualization Authoring Systems
Creators: name: Satyanarayan, Arvind
name: Lee, Bongshin
name: Ren, Donghao
name: Heer, Jeffrey
name: Stasko, John
name: Thompson, John
name: Brehmer, Matthew
name: Liu, Zhicheng
Publisher: name: arXiv
Year: 2019
Subjects: subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences

description: An emerging generation of visualization authoring systems support expressive information visualization without textual programming. As they vary in their visualization models, system architectures, and user interfaces, it is challenging to directly compare these systems using traditional evaluative methods. Recognizing the value of contextualizing our decisions in the broader design space, we present critical reflections on three systems we developed -- Lyra, Data Illustrator, and Charticulator. This paper surfaces knowledge that would have been daunting within the constituent papers of these three systems. We compare and contrast their (previously unmentioned) limitations and trade-offs between expressivity and learnability. We also reflect on common assumptions that we made during the development of our systems, thereby informing future research directions in visualization authoring systems.