MADAN Multi source Adversarial Domain Aggregation Network for Domain Adaptation. Domain adaptation aims to learn a transferable model to bridge the domain shift between one labeled source domain and another sparsely labeled or unlabeled target domain. Since the labeled data may be collected from multiple sources, multi source domain adaptation (MDA) has attracted increasing attention. Recent MDA methods do not consider the pixel level alignment between sources and target or the misalignment across different sources. In this paper, we propose a novel MDA framework to address these challenges. Specifically, we design an end to end Multi source Adversarial Domain Aggregation Network (MADAN). First, an adapted domain is generated for each source with dynamic semantic consistency while aligning towards the target at the pixel level cycle consistently. Second, sub domain aggregation discriminator and cross domain cycle discriminator are proposed to make different adapted domains more closely aggregated. Finally, feature level alignment is performed between the aggregated domain and the target domain while training the task network. For the segmentation adaptation, we further enforce category level alignment and incorporate context aware generation, which constitutes MADAN . We conduct extensive MDA experiments on digit recognition, object classification, and simulation to real semantic segmentation. The results demonstrate that the proposed MADAN and MANDA models outperform state of the art approaches by a large margin.


Uncertainty Quantification of Trajectory Clustering Applied to Ocean Ensemble Forecasts. Partitioning ocean flows into regions dynamically distinct from their surroundings based on material transport can assist search and rescue planning by reducing the search domain. The spectral clustering method partitions the domain by identifying fluid particle trajectories that are similar. The partitioning validity depends on the accuracy of the ocean forecasting, which is subject to several sources of uncertainty model initialization, limited knowledge of the physical processes, boundary conditions, and forcing terms. Instead of a single model output, multiple realizations are produced spanning a range of potential outcomes, and trajectory clustering is used to identify robust features and quantify the uncertainty of the ensemble averaged results. First, ensemble statistics are used to investigate the cluster sensitivity to the spectral clustering method free parameters and the forecast parameters for the analytic Bickley jet, a geostrophic flow model. Then, we analyze an operational coastal ocean ensemble forecast and compare the clustering results to drifter trajectories south of Martha's Vineyard. This approach accurately identifies regions of low uncertainty where drifters released within a cluster remain there throughout the window of analysis. Drifters released in regions of high uncertainty tend to either enter neighboring clusters or deviate from all predicted outcomes.


Feedback Insertion Deletion Codes. In this paper, a new problem of transmitting information over the adversarial insertion deletion channel with feedback is introduced. Suppose that the encoder transmits n binary symbols one by one over a channel, in which some symbols can be deleted and some additional symbols can be inserted. After each transmission, the encoder is notified about the insertions or deletions that have occurred within the previous transmission and the encoding strategy can be adapted accordingly. The goal is to design an encoder that is able to transmit error free as much information as possible under the assumption that the total number of deletions and insertions is limited by tau n , 0 tau 1 . We show how this problem can be reduced to the problem of transmitting messages over the substitution channel. Thereby, the maximal asymptotic rate of feedback insertion deletion codes is completely established. The maximal asymptotic rate for the adversarial substitution channel has been partially determined by Berlekamp and later finished by Zigangirov. However, the analysis of the lower bound by Zigangirov is quite complicated. We revisit Zigangirov's result and present a more elaborate version of his proof.


Manually driven harmonic oscillator. Oscillations and resonance are essential topics in physics that can be explored theoretically and experimentally in the classroom or teaching laboratory environments. However, one of the main challenges concerning the experimental study of resonance phenomena via forced oscillations is the control of the oscillation frequency, which demands an electronic circuit or a fine tuned coupled mechanical system. In this work, we demonstrate that, in what concerns the physics teaching, such demanding accessories are not necessary. The forced oscillations can be implemented by the teacher's hand guided by an oscillating circle displayed in a web application loaded in a smartphone. The oscillations are applied to an ordinary spiral toy. Qualitative, as well quantitative, proposals are explored in this work with excellent results.


High efficiency fiber to chip interface for aluminum nitride quantum photonics. Integrated nonlinear photonic circuits received rapid development in recent years, providing all optical functionalities enabled by cavity enhanced photon photon interaction for classical and quantum applications. A high efficiency fiber to chip interface is key to the use of these integrated photonic circuits for quantum information tasks, as photon loss is a major source that weakens quantum protocols. Here, overcoming material and fabrication limitation of thin film aluminum nitride by adopting a stepwise waveguiding scheme, we demonstrate low loss adiabatic fiber optic couplers in aluminum nitride films with a substantial thickness (600 nm) for optimized nonlinear photon interaction. For telecom (1550 nm) and near visible (780 nm) transverse magnetic polarized light, the measured insertion loss of the fiber optic coupler is 0.97 dB and 2.6 dB, respectively. Our results will facilitate the use of aluminum nitride integrated photonic circuits as efficient quantum resources for generation of entangled photons and squeezed light on microchips.


3D Dynamic Scene Graphs Actionable Spatial Perception with Places, Objects, and Humans. We present a unified representation for actionable spatial perception 3D Dynamic Scene Graphs. Scene graphs are directed graphs where nodes represent entities in the scene (e.g. objects, walls, rooms), and edges represent relations (e.g. inclusion, adjacency) among nodes. Dynamic scene graphs (DSGs) extend this notion to represent dynamic scenes with moving agents (e.g. humans, robots), and to include actionable information that supports planning and decision making (e.g. spatio temporal relations, topology at different levels of abstraction). Our second contribution is to provide the first fully automatic Spatial PerceptIon eNgine(SPIN) to build a DSG from visual inertial data. We integrate state of the art techniques for object and human detection and pose estimation, and we describe how to robustly infer object, robot, and human nodes in crowded scenes. To the best of our knowledge, this is the first paper that reconciles visual inertial SLAM and dense human mesh tracking. Moreover, we provide algorithms to obtain hierarchical representations of indoor environments (e.g. places, structures, rooms) and their relations. Our third contribution is to demonstrate the proposed spatial perception engine in a photo realistic Unity based simulator, where we assess its robustness and expressiveness. Finally, we discuss the implications of our proposal on modern robotics applications. 3D Dynamic Scene Graphs can have a profound impact on planning and decision making, human robot interaction, long term autonomy, and scene prediction. A video abstract is available at https youtu.be SWbofjhyPzI


The domination monoid in o minimal theories. We study the monoid of global invariant types modulo domination equivalence in the context of o minimal theories. We reduce its computation to the problem of proving that it is generated by classes of 1 types. We show this to hold in Real Closed Fields, where generators of this monoid correspond to invariant convex subrings of the monster model. Combined with arxiv 1702.06504, this allows us to compute the domination monoid in the weakly o minimal theory of Real Closed Valued Fields.


Big Data Model "Entity and Features". The article deals with the problem which led to Big Data. Big Data information technology is the set of methods and means of processing different types of structured and unstructured dynamic large amounts of data for their analysis and use of decision support. Features of NoSQL databases and categories are described. The developed Big Data Model "Entity and Features" allows determining the distance between the sources of data on the availability of information about a particular entity. The information structure of Big Data has been devised. It became a basis for further research and for concentrating on a problem of development of diverse data without their preliminary integration.


Degenerate free discontinuity problems and spectral inequalities in quantitative form. We introduce a new geometric analytic functional that we analyse in the context of free discontinuity problems. Its main feature is that the geometric term (the length of the jump set) appears with negative sign. This is motivated by searching quantitative inequalities for best constants of Sobolev Poincar 'e inequalities with trace terms in mathbb R n which correspond to fundamental eigenvalues associated to semilinear problems for the Laplace operator with Robin boundary conditions. Our method is based on the study of this new, degenerate, functional which involves an obstacle problem in interaction with the jump set. Ultimately, this becomes a mixed free discontinuity free boundary problem occuring above at the level of the obstacle, respectively.


A dual adaptive explicit time integration algorithm for efficiently solving the cardiac monodomain equation. The monodomain model is widely used in in silico cardiology to describe excitation propagation in the myocardium. Frequently, operator splitting is used to decouple the stiff reaction term and the diffusion term in the monodomain model so that they can be solved separately. Commonly, the diffusion term is solved implicitly with a large time step while the reaction term is solved by using an explicit method with adaptive time stepping. In this work, we propose a fully explicit method for the solution of the decoupled monodomain model. In contrast to semi implicit methods, fully explicit methods present lower memory footprint and higher scalability. However, such methods are only conditionally stable. We overcome the conditional stability limitation by proposing a dual adaptive explicit method in which adaptive time integration is applied for the solution of both the reaction and diffusion terms. In a set of numerical examples where cardiac propagation is simulated under physiological and pathophysiological conditions, results show that our proposed method presents preserved accuracy and improved computational efficiency as compared to standard operator splitting based methods.


Characterisations of Variant Transfinite Computational Models Infinite Time Turing, Ordinal Time Turing, and Blum Shub Smale machines. We consider how changes in transfinite machine architecture can sometimes alter substantially their capabilities. We approach the subject by answering three open problems touching on firstly differing halting time considerations for machines with multiple as opposed to single heads, secondly space requirements, and lastly limit rules. We 1) use admissibility theory, Sigma 2 codes and Pi 3 reflection properties in the constructible hierarchy to classify the halting times of ITTMs with multiple independent heads the same for Ordinal Turing Machines which have tmop On length tapes 2) determine which admissible lengths of tapes for transfinite time machines with long tapes allow the machine to address each of their cells a question raised by B. Rin 3) characterise exactly the strength and behaviour of transfinitely acting Blum Shub Smale machines using a tmop Liminf rule on their registers thereby establishing there is a universal such machine. This is in contradistinction to the machine using a continuity' rule which fails to be universal.


A Semantic Framework for Enabling Radio Spectrum Policy Management and Evaluation. Because radio spectrum is a finite resource, its usage and sharing is regulated by government agencies. These agencies define policies to manage spectrum allocation and assignment across multiple organizations, systems, and devices. With more portions of the radio spectrum being licensed for commercial use, the importance of providing an increased level of automation when evaluating such policies becomes crucial for the efficiency and efficacy of spectrum management. We introduce our Dynamic Spectrum Access Policy Framework for supporting the United States government's mission to enable both federal and non federal entities to compatibly utilize available spectrum. The DSA Policy Framework acts as a machine readable policy repository providing policy management features and spectrum access request evaluation. The framework utilizes a novel policy representation using OWL and PROV O along with a domain specific reasoning implementation that mixes GeoSPARQL, OWL reasoning, and knowledge graph traversal to evaluate incoming spectrum access requests and explain how applicable policies were used. The framework is currently being used to support live, over the air field exercises involving a diverse set of federal and commercial radios, as a component of a prototype spectrum management system.


Duoidal categories, measuring comonoids and enrichment. We extend the theory of Sweeder's measuring comonoids to the framework of duoidal categories categories equipped with two compatible monoidal structures. We use one of the tensor products to endow the category of monoids for the other with an enrichment in the category of comonoids. The enriched homs are provided by the universal measuring comonoids. We study a number of duoidal structures on categories of graded objects and of species and the associated enriched categories, such as an enrichment of graded (twisted) monoids in graded (twisted) comonoids, as well as two enrichments of symmetric operads in symmetric cooperads.


Integrated monitoring of ice in selected Swiss lakes. Final project report. Various lake observables, including lake ice, are related to climate and climate change and provide a good opportunity for long term monitoring. Lakes (and as part of them lake ice) is therefore considered an Essential Climate Variable (ECV) of the Global Climate Observing System (GCOS). Following the need for an integrated multi temporal monitoring of lake ice in Switzerland, MeteoSwiss in the framework of GCOS Switzerland supported this 2 year project to explore not only the use of satellite images but also the possibilities of Webcams and in situ measurements. The aim of this project is to monitor some target lakes and detect the extent of ice and especially the ice on off dates, with focus on the integration of various input data and processing methods. The target lakes are St. Moritz, Silvaplana, Sils, Sihl, Greifen and Aegeri, whereby only the first four were mainly frozen during the observation period and thus processed. The observation period was mainly the winter 2016 17. During the project, various approaches were developed, implemented, tested and compared. Firstly, low spatial resolution (250 1000 m) but high temporal resolution (1 day) satellite images from the optical sensors MODIS and VIIRS were used. Secondly, and as a pilot project, the use of existing public Webcams was investigated for (a) validation of results from satellite data, and (b) independent estimation of lake ice, especially for small lakes like St. Moritz, that could not be possibly monitored in the satellite images. Thirdly, in situ measurements were made in order to characterize the development of the temperature profiles and partly pressure before freezing and under the ice cover until melting. This report presents the results of the project work.


Crowd Sourced Data Analysis Mapping of Programming Concepts to Syntactical Patterns. Since programming concepts do not match their syntactic representations, code search is a very tedious task. For instance in Java or C, array doesn't match , so using "array" as a query, one cannot find what they are looking for. Often developers have to search code whether to understand any code, or to reuse some part of that code, or just to read it, without natural language searching, developers have to often scroll back and forth or use variable names as their queries. In our work, we have used Stackoverflow (SO) question and answers to make a mapping of programming concepts with their respective natural language keywords, and then tag these natural language terms to every line of code, which can further we used in searching using natural language keywords.


Ergodic theorems for queuing systems with dependent inter arrival times. We study a G GI 1 single server queuing model with i.i.d. service times that are independent of a stationary process of inter arrival times. We show that the distribution of the waiting time converges to a stationary law as time tends to infinity provided that inter arrival times satisfy a G "artner Ellis type condition. A convergence rate is given and a law of large numbers established. These results provide tools for the statistical analysis of such systems, transcending the standard case with independent inter arrival times.


Placepedia Comprehensive Place Understanding with Multi Faceted Annotations. Place is an important element in visual understanding. Given a photo of a building, people can often tell its functionality, e.g. a restaurant or a shop, its cultural style, e.g. Asian or European, as well as its economic type, e.g. industry oriented or tourism oriented. While place recognition has been widely studied in previous work, there remains a long way towards comprehensive place understanding, which is far beyond categorizing a place with an image and requires information of multiple aspects. In this work, we contribute Placepedia, a large scale place dataset with more than 35M photos from 240K unique places. Besides the photos, each place also comes with massive multi faceted information, e.g. GDP, population, etc., and labels at multiple levels, including function, city, country, etc.. This dataset, with its large amount of data and rich annotations, allows various studies to be conducted. Particularly, in our studies, we develop 1) PlaceNet, a unified framework for multi level place recognition, and 2) a method for city embedding, which can produce a vector representation for a city that captures both visual and multi faceted side information. Such studies not only reveal key challenges in place understanding, but also establish connections between visual observations and underlying socioeconomic cultural implications.


Blockene A High throughput Blockchain Over Mobile Devices. We introduce Blockene, a blockchain that reduces resource usage at member nodes by orders of magnitude, requiring only a smartphone to participate in block validation and consensus. Despite being lightweight, Blockene provides a high throughput of transactions and scales to a large number of participants. Blockene consumes negligible battery and data in smartphones, enabling millions of users to participate in the blockchain without incentives, to secure transactions with their collective honesty. Blockene achieves these properties with a novel split trust design based on delegating storage and gossip to untrusted nodes. We show, with a prototype implementation, that Blockene provides throughput of 1045 transactions sec, and runs with very low resource usage on smartphones, pointing to a new paradigm for building secure, decentralized applications.


Geo Based Scheduling for C V2X Networks. Cellular Vehicle to Everything (C V2X) networks can operate without cellular infrastructure support. Vehicles can autonomously select their radio resources using the sensing based Semi Persistent Scheduling (SPS) algorithm specified by the Third Generation Partnership Project (3GPP). The sensing nature of the SPS scheme makes C V2X communications prone to the well known hidden terminal problem. To address this problem, this paper proposes a novel geo based scheduling scheme that allows vehicles to autonomously select their radio resources based on the location and ordering of neighboring vehicles on the road. The proposed scheme results in an implicit resource selection coordination between vehicles (even with those outside the sensing range) that reduces packet collisions. This paper evaluates analytically and through simulations the proposed scheduling scheme. The obtained results demonstrate that it reduces packet collisions and significantly increases the C V2X performance compared to when using the sensing based SPS scheme.


Context based Broadcast Acknowledgement for Enhanced Reliability of Cooperative V2X Messages. Most V2X applications services are supported by the continuous exchange of broadcast messages. One of the main challenges is to increase the reliability of broadcast transmissions that lack of mechanisms to assure the correct delivery of the messages. To address this issue, one option is the use of acknowledgments. However, this option has scalability issues when applied to broadcast transmissions because multiple vehicles can transmit acknowledgments simultaneously. To control scalability while addressing reliability of broadcast messages, this paper proposes and evaluates a context based broadcast acknowledgement mechanism where the transmitting vehicles selectively request the acknowledgment of specific critical broadcast messages, and performs retransmissions if they are not correctly received. In addition, the V2X applications services identify the situations conditions that trigger the execution of the broadcast acknowledgment mechanism, and the receiver(s) that should acknowledge the broadcast messages. The paper evaluates the performance of the context based broadcast acknowledgment mechanism for a Collective Perception Service. The obtained results show the proposed mechanism can contribute to improve the awareness of crossing pedestrians at intersections by increasing the reliability in the exchange of CPM messages between vehicles approaching the intersection. This solution is being discussed under IEEE 802.11bd, and thus can be relevant for the standardization process.


Optical magnetic dipole levitation using a plasmonic surface. Optically induced magnetic resonances in non magnetic media have unlocked magnetic light matter interactions and led to new technologies in many research fields. Previous proposals for the levitation of nanoscale particles without structured illumination have worked on the basis of epsilon near zero surfaces or anisotropic materials but these carry with them significant fabrication difficulties. We report the optical levitation of a magnetic dipole over a wide range of realistic materials, including bulk metals, thereby relieving these difficulties. The repulsion is independent of surface losses and we propose an experiment to detect this force which consists of a core shell nanoparticle, exhibiting a magnetic resonance, in close proximity to a gold substrate under plane wave illumination. We anticipate the use of this phenomenon in new nanomechanical devices.


From Semantic Communication to Semantic aware Networking Model, Architecture, and Open Problems. Existing communication systems are mainly built based on Shannon's information theory which deliberately ignores the semantic aspects of communication. The recent iteration of wireless technology, the so called 5G and beyond, promises to support a plethora of services enabled by carefully tailored network capabilities based on the contents, requirements, as well as semantics. This sparkled significant interest in the semantic communication, a novel paradigm that involves the meaning of message into the communication. In this article, we first review the classic semantic communication framework and then summarize key challenges that hinder its popularity. We observe that some semantic communication processes such as semantic detection, knowledge modeling, and coordination, can be resource consuming and inefficient, especially for the communication between a single source and a destination. We therefore propose a novel architecture based on federated edge intelligence for supporting resource efficient semantic aware networking. Our architecture allows each user to offload the computationally intensive semantic encoding and decoding tasks to the edge servers and protect its proprietary model related information by coordinating via intermediate results. Our simulation result shows that the proposed architecture can reduce the resource consumption and significantly improve the communication efficiency.


New non linearity parameters of Boolean functions. The study of non linearity (linearity) of Boolean function was initiated by Rothaus in 1976. The classical non linearity of a Boolean function is the minimum Hamming distance of its truth table to that of affine functions. In this note we introduce new "multidimensional" non linearity parameters (N f,H f) for conventional and vectorial Boolean functions f with m coordinates in n variables. The classical non linearity may be treated as a 1 dimensional parameter in the new definition. r dimensional parameters for r geq 2 are relevant to possible multidimensional extensions of the Fast Correlation Attack in stream ciphers and Linear Cryptanalysis in block ciphers. Besides we introduce a notion of optimal vectorial Boolean functions relevant to the new parameters. For r 1 and even n geq 2m optimal Boolean functions are exactly perfect nonlinear functions (generalizations of Rothaus' bent functions) defined by Nyberg in 1991. By a computer search we find that this property holds for r 2, m 1, n 4 too. That is an open problem for larger n,m and r geq 2 . The definitions may be easily extended to q ary functions.


Noncompact quasi Einstein manifolds conformal to a Euclidean space. The goal of this article is to investigate nontrivial m quasi Einstein manifolds globally conformal to an n dimensional Euclidean space. By considering such manifolds, whose conformal factors and potential functions are invariant under the action of an (n 1) dimensional translation group, we provide a complete classification when lambda 0 and m geq 1 or m 2 n.


Experimental Evaluation of Algorithms for Computing Quasiperiods. Quasiperiodicity is a generalization of periodicity that was introduced in the early 1990s. Since then, dozens of algorithms for computing various types of quasiperiodicity were proposed. Our work is a step towards answering the question "Which algorithm for computing quasiperiods to choose in practice?". The central notions of quasiperiodicity are covers and seeds. We implement algorithms for computing covers and seeds in the original and in new simplified versions and compare their efficiency on various types of data. We also discuss other known types of quasiperiodicity, distinguish partial covers as currently the most promising for large real world data, and check their effectiveness using real world data.


COVID 19 Related Mobility Reduction Heterogenous Effects on Sleep and Physical Activity Rhythms. Mobility restrictions imposed to suppress coronavirus transmission can alter physical activity (PA) and sleep patterns. Characterization of response heterogeneity and their underlying reasons may assist in tailoring customized interventions. We obtained wearable data covering baseline, incremental movement restriction and lockdown periods from 1824 city dwelling, working adults aged 21 to 40 years, incorporating 206,381 nights of sleep and 334,038 days of PA. Four distinct rest activity rhythms (RARs) were identified using k means clustering of participants' temporally distributed step counts. Hierarchical clustering of the proportion of time spent in each of these RAR revealed 4 groups who expressed different mixtures of RAR profiles before and during the lockdown. Substantial but asymmetric delays in bedtime and waketime resulted in a 24 min increase in weekday sleep duration with no loss in sleep efficiency. Resting heart rate declined 2 bpm. PA dropped an average of 38 . 4 groups with different compositions of RAR profiles were found. Three were better able to maintain PA and weekday weekend differentiation during lockdown. The least active group comprising 51 percent of the sample, were younger and predominantly singles. Habitually less active already, this group showed the greatest reduction in PA during lockdown with little weekday weekend differences. Among different mobility restrictions, removal of habitual social cues by lockdown had the largest effect on PA and sleep. Sleep and resting heart rate unexpectedly improved. RAR evaluation uncovered heterogeneity of responses to lockdown and can identify characteristics of persons at risk of decline in health and wellbeing.


Probing weakly hybridized magnetic molecules by spin polarized tunneling. Advances in molecular spintronics rely on the in depth characterization of the molecular building blocks in terms of their electronic and, more importantly, magnetic properties. For this purpose, inert substrates that interact only weakly with adsorbed molecules are required in order to preserve their electronic states. Here, we investigate the magnetic field response of a single paramagnetic 5,5 dibromosalophenatocobalt(II) (CoSal) molecule adsorbed on a weakly interacting magnetic substrate, namely Fe intercalated graphene (GR Fe) grown on Ir(111), by using spin polarized scanning tunneling microscopy and spectroscopy (SP STM STS). We have obtained local magnetization curves, spin dependent tunneling spectra, and spatial maps of magnetic asymmetry for a single CoSal molecule, revealing its magnetic properties and coupling to the local environment. The distinct magnetic behavior of the Co metal center is found to rely strictly on its position relative to the GR Fe moire structure, which determines the level of hybridization between the GR Fe surface pi system, the molecular ligand pi orbitals and the molecular Co ion d orbital.


The higher Cichon diagram in the degenerate case. For a regular uncountable cardinal kappa, we discuss the order relationship between the unbounding and dominating numbers on kappa and cardinal invariants of the higher meager ideal M kappa. In particular, we obtain a complete characterization of add(M kappa) and cof(M kappa) in terms of cov(M kappa) and non(M kappa) and unbounding and dominating numbers, and we provide models showing that there are no restrictions on the value of non(M kappa) in the degenerate case 2 kappa kappa except 2 kappa leq non(M kappa) leq 2 kappa. The corresponding question for cof(M kappa) remains open. Our results answer questions of joint work of the author with Brooke Taylor, Friedman, and Montoya.


Tensor Decomposition for Multi agent Predictive State Representation. Predictive state representation (PSR) uses a vector of action observation sequence to represent the system dynamics and subsequently predicts the probability of future events. It is a concise knowledge representation that is well studied in a single agent planning problem domain. To the best of our knowledge, there is no existing work on using PSR to solve multi agent planning problems. Learning a multi agent PSR model is quite difficult especially with the increasing number of agents, not to mention the complexity of a problem domain. In this paper, we resort to tensor techniques to tackle the challenging task of multi agent PSR model development problems. By first focusing on a two agent setting, we construct the system dynamics matrix as a high order tensor for a PSR model, learn the prediction parameters and deduce state vectors directly through two different tensor decomposition methods respectively, and derive the transition parameters via linear regression. Subsequently, we generalize the PSR learning approaches in a multi agent setting. Experimental results show that our methods can effectively solve multi agent PSR modelling problems in multiple problem domains.


Multi Domain Dialogue State Tracking based on State Graph. We investigate the problem of multi domain Dialogue State Tracking (DST) with open vocabulary, which aims to extract the state from the dialogue. Existing approaches usually concatenate previous dialogue state with dialogue history as the input to a bi directional Transformer encoder. They rely on the self attention mechanism of Transformer to connect tokens in them. However, attention may be paid to spurious connections, leading to wrong inference. In this paper, we propose to construct a dialogue state graph in which domains, slots and values from the previous dialogue state are connected properly. Through training, the graph node and edge embeddings can encode co occurrence relations between domain domain, slot slot and domain slot, reflecting the strong transition paths in general dialogue. The state graph, encoded with relational GCN, is fused into the Transformer encoder. Experimental results show that our approach achieves a new state of the art on the task while remaining efficient. It outperforms existing open vocabulary DST approaches.


Real MFF A Large Realistic Multi focus Image Dataset with Ground Truth. Multi focus image fusion, a technique to generate an all in focus image from two or more partially focused source images, can benefit many computer vision tasks. However, currently there is no large and realistic dataset to perform convincing evaluation and comparison of algorithms in multi focus image fusion. Moreover, it is difficult to train a deep neural network for multi focus image fusion without a suitable dataset. In this letter, we introduce a large and realistic multi focus dataset called Real MFF, which contains 710 pairs of source images with corresponding ground truth images. The dataset is generated by light field images, and both the source images and the ground truth images are realistic. To serve as both a well established benchmark for existing multi focus image fusion algorithms and an appropriate training dataset for future development of deep learning based methods, the dataset contains a variety of scenes, including buildings, plants, humans, shopping malls, squares and so on. We also evaluate 10 typical multi focus algorithms on this dataset for the purpose of illustration.


Mode Locking of the Hermite Gaussian Modes of a Nanolaser. Mode locking is predicted in a nanolaser cavity forming an effective photonic harmonic potential. The cavity is substantially more compact than a Fabry Perot resonator with comparable pulsing period, which is here controlled by the potential. In the limit of instantaneous gain and absorption saturation, mode locking corresponds to a stable dissipative soliton, which it very well approximated by the coherent state of a quantum mechanical harmonic oscillator. This property is robust against non instantaneous material response and non zero phase intensity coupling.


Community of Practice A framework for understanding identity development within informal physics programs. Studies on physics identity have shown that it is one of the main factors that can predict a person's persistence in the field therefore, studying physics identity is critical to increase diversity within the field of physics and to understand what changes can allow more women and minorities to identify with the field. In this study, we investigate informal physics programs as spaces for physics identity exploration. These programs provide unique conditions under which to study physics identity development along with other identities. Informal physics spaces allow for voluntary engagement, as well as elements of agency and autonomy within the exploration of physics. Thus these spaces allow an identity to form outside of the constraints traditionally found in academic settings. In this work, we operationalized the Community of Practice (CoP) framework to study the development of physics identities within university students who facilitate informal physics programs. We present the stories from two physics graduate students out of our sample to provide a context for testing the feasibility of the extended framework and to identify how experiences within an informal physics program can shape physics identity development. This paper presents the operationalized constructs within the Community of Practice framework, how these constructs are applied to the narrated experiences of our participants, and highlights how we can use this framework to understand the nuances of physics identity development as well as the factors that can influence that development.


A plan quality control method of treatment planning for Gamma Knife radiosurgery. With many variables to adjust, conventional manual forward planning for Gamma Knife (GK) radiosurgery is very complicated and cumbersome. The resulting plan quality heavily depends on planners skills, experiences and devoted efforts, and varies significantly among cases, planners, and institutions. Quality control for GK planning is desired to consistently provide high quality plan to each patient. In this study, we proposed a quality control method for GK planning by building a database of high quality GK plans. Patient anatomy was described by target volume, target shape complexity, and spatial relationship between target and nearby organs, which determine GK planning difficulty level. Plan quality was evaluated using target coverage, selectivity, intermediate dose spillage, maximum dose to 0.1 cc of brainstem, mean dose of ipsilateral cochlea, and beam on time. When a new plan is created, a high quality plan that has the most similar target volume size and shape complexity will be identified from the database. A model has also been built to predict the dose to brainstem and cochlea based on their overlap volume histograms. The identified reference plan and the predicted organ dose will help planners to make quality control decisions accordingly. To validate this method, we have built a database for vestibular schwannoma, which are considered to be challenging for GK planning due to the irregularly shaped target and its proximity to brainstem and cochlea. Five cases were tested, among which one case was considered to be of high quality and four cases had a lower plan quality than prediction. These four cases were replanned and got substantially improved. Our results have demonstrated the efficacy of our proposed quality control method. This method may also be used as a plan quality prediction method to facilitate the development of automatic treatment planning for GK radiosurgery.


Critical Need for a National Initiative in Low Temperature Plasma Research. In the white paper we describe a national program in Low Temperature Plasma (LTP). The program should take advantage of the research opportunities of 3 rapidly growing areas (nanomaterial plasma synthesis, plasma medicine, microelectronics). The main theme is to achieve a fundamental understanding of Low Temperature Plasmas as they are applied to these different applications. This understanding will allow U.S. industry to meet the challenges of international competition.


Higher analogs of simplicial and combinatorial complexity. We introduce higher simplicial complexity of a simplicial complex K and higher combinatorial complexity of a finite space P (i.e. P is a finite poset). We relate higher simplicial complexity with higher topological complexity of K and higher combinatorial complexity with higher simplicial complexity of the order complex of P .


Optimal Mutation Rates for the (1 lambda) EA on OneMax. The OneMax problem, alternatively known as the Hamming distance problem, is often referred to as the "drosophila of evolutionary computation (EC)", because of its high relevance in theoretical and empirical analyses of EC approaches. It is therefore surprising that even for the simplest of all mutation based algorithms, Randomized Local Search and the (1 1) EA, the optimal mutation rates were determined only very recently, in a GECCO 2019 poster. In this work, we extend the analysis of optimal mutation rates to two variants of the (1 lambda) EA and to the (1 lambda) RLS. To do this, we use dynamic programming and, for the (1 lambda) EA, numeric optimization, both requiring Theta(n 3) time for problem dimension n . With this in hand, we compute for all population sizes lambda in 2 i mid 0 le i le 18 and for problem dimension n in 1000, 2000, 5000 which mutation rates minimize the expected running time and which ones maximize the expected progress. Our results do not only provide a lower bound against which we can measure common evolutionary approaches, but we also obtain insight into the structure of these optimal parameter choices. For example, we show that, for large population sizes, the best number of bits to flip is not monotone in the distance to the optimum. We also observe that the expected remaining running time are not necessarily unimodal for the (1 lambda) EA 0 rightarrow 1 with shifted mutation.


Optimal Throughput Outage Analysis of Cache Aided Wireless Multi Hop D2D Networks Derivations of Scaling Laws. Cache aided wireless device to device (D2D) networks have demonstrated promising performance improvement for video distribution compared to conventional distribution methods. Understanding the fundamental scaling behavior of such networks is thus of paramount importance. However, existing scaling laws for multi hop networks have not been found to be optimal even for the case of Zipf popularity distributions (gaps between upper and lower bounds are not constants) furthermore, there are no scaling law results for such networks for the more practical case of a Mandelbrot Zipf (MZipf) popularity distribution. We thus in this work investigate the throughput outage performance for cache aided wireless D2D networks adopting multi hop communications, with the MZipf popularity distribution for file requests and users distributed according to Poisson point process. We propose an achievable content caching and delivery scheme and analyze its performance. By showing that the achievable performance is tight to the proposed outer bound, the optimal scaling law is obtained. Furthermore, since the Zipf distribution is a special case of the MZipf distribution, the optimal scaling law for the networks considering Zipf popularity distribution is also obtained, which closes the gap in the literature.


Efficient analytic second derivative of electrostatic embedding QM MM energy normal mode analysis of plant cryptochrome. Analytic second derivatives of electrostatic embedding (EE) quantum mechanics molecular mechanics (QM MM) energy are important for performing vibrational analysis and simulating vibrational spectra of quantum systems interacting with an environment represented as a classical electrostatic potential. The main bottleneck of EE QM MM second derivatives is the solution of coupled perturbed equations for each MM atom perturbation. Here, we exploit the Q vector method J. Chem. Phys., 151, 041102 (2019) to workaround this bottleneck. We derive the full analytic second derivative of the EE QM MM energy, which allows to compute QM, MM and QM MM Hessian blocks in an efficient and easy to implement manner. To show the capabilities of our method, we compute the normal modes for the full textit arabidopsis thaliana plant cryptochrome. We show that the flavin adenine dinucleotide vibrations (QM subsystem) strongly mix with protein modes. We compute approximate vibronic couplings for the lowest bright transition, from which we extract spectral densities and the homogeneous broadening of FAD absorption spectrum in protein using vibrationally resolved electronic spectrum simulations.


MAVBench Micro Aerial Vehicle Benchmarking. Unmanned Aerial Vehicles (UAVs) are getting closer to becoming ubiquitous in everyday life. Among them, Micro Aerial Vehicles (MAVs) have seen an outburst of attention recently, specifically in the area with a demand for autonomy. A key challenge standing in the way of making MAVs autonomous is that researchers lack the comprehensive understanding of how performance, power, and computational bottlenecks affect MAV applications. MAVs must operate under a stringent power budget, which severely limits their flight endurance time. As such, there is a need for new tools, benchmarks, and methodologies to foster the systematic development of autonomous MAVs. In this paper, we introduce the MAVBench' framework which consists of a closed loop simulator and an end to end application benchmark suite. A closed loop simulation platform is needed to probe and understand the intra system (application data flow) and inter system (system and environment) interactions in MAV applications to pinpoint bottlenecks and identify opportunities for hardware and software co design and optimization. In addition to the simulator, MAVBench provides a benchmark suite, the first of its kind, consisting of a variety of MAV applications designed to enable computer architects to perform characterization and develop future aerial computing systems. Using our open source, end to end experimental platform, we uncover a hidden, and thus far unexpected compute to total system energy relationship in MAVs. Furthermore, we explore the role of compute by presenting three case studies targeting performance, energy and reliability. These studies confirm that an efficient system design can improve MAV's battery consumption by up to 1.8X.


On the theta representations of finite inverse monoids. (I) We study Clifford Mackey Rieffel's theory for finite monoid (II) We prove some results of Theta Representations of finite inverse monoids.


Inequalities related to some types of entropies and divergences. The aim of this paper is to discuss new results concerning some kinds of parametric extended entropies and divergences. As a result of our studies for mathematical properties on entropy and divergence, we give new bounds for the Tsallis quasilinear entropy and divergence by applying the Hermite Hadamard inequality. We also give bounds for biparametrical extended entropies and divergences which have been given in cite 7 . In addition, we study (r,q) quasilinear entropies and divergences as alternative biparametrical extended entropy and divergence, and then we give bounds for them. Finally we obtain inequalities for an extended Lin's divergence and some characterizations of Fermi Dirac entropy and Bose Einstein entropy.


Residual Recurrent CRNN for End to End Optical Music Recognition on Monophonic Scores. One of the challenges of the Optical Music Recognition task is to transcript the symbols of the camera captured images into digital music notations. Previous end to end model which was developed as a Convolutional Recurrent Neural Network does not explore sufficient contextual information from full scales and there is still a large room for improvement. We propose an innovative framework that combines a block of Residual Recurrent Convolutional Neural Network with a recurrent Encoder Decoder network to map a sequence of monophonic music symbols corresponding to the notations present in the image. The Residual Recurrent Convolutional block can improve the ability of the model to enrich the context information. The experiment results are benchmarked against a publicly available dataset called CAMERA PRIMUS, which demonstrates that our approach surpass the state of the art end to end method using Convolutional Recurrent Neural Network.


Symmetry problems in harmonic analysis. Symmetry problems in harmonic analysis are formulated and solved. One of these problems is equivalent to the refined Schiffer's conjecture which was recently proved by the author. Let k const 0 be fixed, S 2 be the unit sphere in mathbb R 3 , D be a connected bounded domain with C 2 smooth boundary S , j 0(r) be the spherical Bessel function. The harmonic analysis symmetry problems are stated in the following theorems bf Theorem A. em Assume that int S e ik beta cdot s ds 0 for all beta in S 2 . Then S is a sphere of radius a , where j 0(ka) 0 . bf Theorem B. em Assume that int D e ik beta cdot x dx 0 for all beta in S 2 . Then D is a ball.


Flow Motion and Depth Network for Monocular Stereo and Beyond. We propose a learning based method that solves monocular stereo and can be extended to fuse depth information from multiple target frames. Given two unconstrained images from a monocular camera with known intrinsic calibration, our network estimates relative camera poses and the depth map of the source image. The core contribution of the proposed method is threefold. First, a network is tailored for static scenes that jointly estimates the optical flow and camera motion. By the joint estimation, the optical flow search space is gradually reduced resulting in an efficient and accurate flow estimation. Second, a novel triangulation layer is proposed to encode the estimated optical flow and camera motion while avoiding common numerical issues caused by epipolar. Third, beyond two view depth estimation, we further extend the above networks to fuse depth information from multiple target images and estimate the depth map of the source image. To further benefit the research community, we introduce tools to generate photorealistic structure from motion datasets such that deep networks can be well trained and evaluated. The proposed method is compared with previous methods and achieves state of the art results within less time. Images from real world applications and Google Earth are used to demonstrate the generalization ability of the method.


A Lower Bound for Relaxed Locally Decodable Codes. A locally decodable code (LDC) C 0,1 k 0,1 n is an error correcting code wherein individual bits of the message can be recovered by only querying a few bits of a noisy codeword. LDCs found a myriad of applications both in theory and in practice, ranging from probabilistically checkable proofs to distributed storage. However, despite nearly two decades of extensive study, the best known constructions of O(1) query LDCs have super polynomial blocklength. The notion of relaxed LDCs is a natural relaxation of LDCs, which aims to bypass the foregoing barrier by requiring local decoding of nearly all individual message bits, yet allowing decoding failure (but not error) on the rest. State of the art constructions of O(1) query relaxed LDCs achieve blocklength n O(k 1 gamma ) for an arbitrarily small constant gamma. We prove a lower bound which shows that O(1) query relaxed LDCs cannot achieve blocklength n k 1 o(1) . This resolves an open problem raised by Goldreich in 2004.


Exponential Binary State Space Search. Iterative deepening search is used in applications where the best cost bound for state space search is unknown. The iterative deepening process is used to avoid overshooting the appropriate cost bound and doing too much work as a result. However, iterative deepening search also does too much work if the cost bound grows too slowly. This paper proposes a new framework for iterative deepening search called exponential binary state space search. The approach interleaves exponential and binary searches to find the desired cost bound, reducing the worst case overhead from polynomial to logarithmic. Exponential binary search can be used with bounded depth first search to improve the worst case performance of IDA and with breadth first heuristic search to improve the worst case performance of search with inconsistent heuristics.


Female scholars need to achieve more for equal public recognition. Different kinds of "gender gap" have been reported in different walks of the scientific life, almost always favouring male scientists over females. In this work, for the first time, we present a large scale empirical analysis to ask whether female scientists with the same level of scientific accomplishment are as likely as males to be recognised. We particularly focus on Wikipedia, the open online encyclopedia that its open nature allows us to have a proxy of community recognition. We calculate the probability of appearing on Wikipedia as a scientist for both male and female scholars in three different fields. We find that women in Physics, Economics and Philosophy are considerable less likely than men to be recognised on Wikipedia across all levels of achievement.


Efficient Convolutional Neural Networks for Depth Based Multi Person Pose Estimation. Achieving robust multi person 2D body landmark localization and pose estimation is essential for human behavior and interaction understanding as encountered for instance in HRI settings. Accurate methods have been proposed recently, but they usually rely on rather deep Convolutional Neural Network (CNN) architecture, thus requiring large computational and training resources. In this paper, we investigate different architectures and methodologies to address these issues and achieve fast and accurate multi person 2D pose estimation. To foster speed, we propose to work with depth images, whose structure contains sufficient information about body landmarks while being simpler than textured color images and thus potentially requiring less complex CNNs for processing. In this context, we make the following contributions. i) we study several CNN architecture designs combining pose machines relying on the cascade of detectors concept with lightweight and efficient CNN structures ii) to address the need for large training datasets with high variability, we rely on semi synthetic data combining multi person synthetic depth data with real sensor backgrounds iii) we explore domain adaptation techniques to address the performance gap introduced by testing on real depth images iv) to increase the accuracy of our fast lightweight CNN models, we investigate knowledge distillation at several architecture levels which effectively enhance performance. Experiments and results on synthetic and real data highlight the impact of our design choices, providing insights into methods addressing standard issues normally faced in practical applications, and resulting in architectures effectively matching our goal in both performance and speed.


Mean field analysis of multi population dynamics with label switching. The mean field analysis of a multi population agent based model is performed. The model couples a particle dynamics driven by a nonlocal velocity with a Markow type jump process on the probability that each agent has of belonging to a given population. A general functional analytic framework for the well posedness of the problem is established, and some concrete applications are presented, both in the case of discrete and continuous set of labels. In the particular case of a leader follower dynamics, the existence and approximation results recently obtained in 2 are recovered and generalized as a byproduct of the abstract approach proposed.


2 irreducible and strongly 2 irreducible submodules of a module. Let R be a commutative ring with identity and M be an R module. In this paper, we will introduce the concept of 2 irreducible (resp., strongly 2 irreducible) submodules of M as a generalization of irreducible (resp., strongly irreducible) submodules of M and investigated some properties of these classes of modules.


The SIGMORPHON 2019 Shared Task Morphological Analysis in Context and Cross Lingual Transfer for Inflection. The SIGMORPHON 2019 shared task on cross lingual transfer and contextual analysis in morphology examined transfer learning of inflection between 100 language pairs, as well as contextual lemmatization and morphosyntactic description in 66 languages. The first task evolves past years' inflection tasks by examining transfer of morphological inflection knowledge from a high resource language to a low resource language. This year also presents a new second challenge on lemmatization and morphological feature analysis in context. All submissions featured a neural component and built on either this year's strong baselines or highly ranked systems from previous years' shared tasks. Every participating team improved in accuracy over the baselines for the inflection task (though not Levenshtein distance), and every team in the contextual analysis task improved on both state of the art neural and non neural baselines.


The star center of the quaternionic numerical range. In this paper we prove that the quaternionic numerical range is always star shaped and its star center is given by the equivalence classes of the star center of the bild. We determine the star center of the bild, and consequently of the numerical range, by showing that the geometrical shape of the upper part of the center is defined by two lines, tangents to the lower bild.


Contraction Mapping of Feature Norms for Classifier Learning on the Data with Different Quality. The popular softmax loss and its recent extensions have achieved great success in the deep learning based image classification. However, the data for training image classifiers usually has different quality. Ignoring such problem, the correct classification of low quality data is hard to be solved. In this paper, we discover the positive correlation between the feature norm of an image and its quality through careful experiments on various applications and various deep neural networks. Based on this finding, we propose a contraction mapping function to compress the range of feature norms of training images according to their quality and embed this contraction mapping function into softmax loss or its extensions to produce novel learning objectives. The experiments on various classification applications, including handwritten digit recognition, lung nodule classification, face verification and face recognition, demonstrate that the proposed approach is promising to effectively deal with the problem of learning on the data with different quality and leads to the significant and stable improvements in the classification accuracy.


Spherical complexities, with applications to closed geodesics. We construct and discuss new numerical homotopy invariants of topological spaces that are suitable for the study of functions on loop and sphere spaces. These invariants resemble the Lusternik Schnirelmann category and provide lower bounds for the numbers of critical orbits of SO(n) invariant functions on spaces of n spheres in a manifold. Lower bounds on these invariants are derived using weights of cohomology classes. As an application, we prove new existence results for closed geodesics on Finsler manifolds of positive flag curvature satisfying a pinching condition.


Learning the Compositional Visual Coherence for Complementary Recommendations. Complementary recommendations, which aim at providing users product suggestions that are supplementary and compatible with their obtained items, have become a hot topic in both academia and industry in recent years. However, it is challenging due to its complexity and subjectivity. Existing work mainly focused on modeling the co purchased relations between two items, but the compositional associations of item collections are largely unexplored. Actually, when a user chooses the complementary items for the purchased products, it is intuitive that she will consider the visual semantic coherence (such as color collocations, texture compatibilities) in addition to global impressions. Towards this end, in this paper, we propose a novel Content Attentive Neural Network (CANN) to model the comprehensive compositional coherence on both global contents and semantic contents. Specifically, we first propose a textit Global Coherence Learning (GCL) module based on multi heads attention to model the global compositional coherence. Then, we generate the semantic focal representations from different semantic regions and design a textit Focal Coherence Learning (FCL) module to learn the focal compositional coherence from different semantic focal representations. Finally, we optimize the CANN in a novel compositional optimization strategy. Extensive experiments on the large scale real world data clearly demonstrate the effectiveness of CANN compared with several state of the art methods.


T convex valued fields with tempered exponentiation. We continue the effort of grokking the structure of power bounded T convex valued fields, whose theory is in general referred to as TCVF. In the present paper our focus is on certain expansion of it that is equipped with a tempered exponential function beyond the valuation ring. In order to construct such a tempered exponential function, the signed value group is also converted into a model of T plus exponentiation and is in fact identified with (a section of) the residue field via the composition of a diagonal cross section and an angular component map. In a sense, the resulting universal theory TKVF is a halfway point between power bounded TCVF and exponential TCVF. This theory is reasonably well behaved. In particular, we show that it admits quantifier elimination in a natural language, a notion of dimension, a generalized Euler characteristic, etc.


Malware Makeover Breaking ML based Static Analysis by Modifying Executable Bytes. Motivated by the transformative impact of deep neural networks (DNNs) in various domains, researchers and anti virus vendors have proposed DNNs for malware detection from raw bytes that do not require manual feature engineering. In this work, we propose an attack that interweaves binary diversification techniques and optimization frameworks to mislead such DNNs while preserving the functionality of binaries. Unlike prior attacks, ours manipulates instructions that are a functional part of the binary, which makes it particularly challenging to defend against. We evaluated our attack against three DNNs in white and black box settings, and found that it often achieved success rates near 100 . Moreover, we found that our attack can fool some commercial anti viruses, in certain cases with a success rate of 85 . We explored several defenses, both new and old, and identified some that can foil over 80 of our evasion attempts. However, these defenses may still be susceptible to evasion by attacks, and so we advocate for augmenting malware detection systems with methods that do not rely on machine learning.


Sorting Lists with Equal Keys Using Mergesort in Linear Time. This article introduces a new optimization method to improve mergesort's runtime complexity, when sorting sequences that have equal keys to O(n log 2 k) , where k is the number of distinct keys in the sequence. When k is constant, it is evident that mergesort is capable of achieving linear time by utilizing linked lists as its underlying data structure. Mergesort linked list implementations can be optimized by introducing a new mechanism to group elements with equal keys together, thus allowing merge algorithm to achieve linear time.


Age Energy Tradeoff in Fading Channels with Packet Based Transmissions. The optimal transmission strategy to minimize the weighted combination of age of information (AoI) and total energy consumption is studied in this paper. It is assumed that the status update information is obtained and transmitted at fixed rate over a Rayleigh fading channel in a packet based wireless communication system. A maximum transmission round on each packet is enforced to guarantee certain reliability of the update packets. Given fixed average transmission power, the age energy tradeoff can be formulated as a constrained Markov decision process (CMDP) problem considering the sensing power consumption as well. Employing the Lagrangian relaxation, the CMDP problem is transformed into a Markov decision process (MDP) problem. An algorithm is proposed to obtain the optimal power allocation policy. Through simulation results, it is shown that both age and energy efficiency can be improved by the proposed optimal policy compared with two benchmark schemes. Also, age can be effectively reduced at the expense of higher energy cost, and more emphasis on energy consumption leads to higher average age at the same energy efficiency. Overall, the tradeoff between average age and energy efficiency is identified.


PDDLGym Gym Environments from PDDL Problems. We present PDDLGym, a framework that automatically constructs OpenAI Gym environments from PDDL domains and problems. Observations and actions in PDDLGym are relational, making the framework particularly well suited for research in relational reinforcement learning and relational sequential decision making. PDDLGym is also useful as a generic framework for rapidly building numerous, diverse benchmarks from a concise and familiar specification language. We discuss design decisions and implementation details, and also illustrate empirical variations between the 20 built in environments in terms of planning and model learning difficulty. We hope that PDDLGym will facilitate bridge building between the reinforcement learning community (from which Gym emerged) and the AI planning community (which produced PDDL). We look forward to gathering feedback from all those interested and expanding the set of available environments and features accordingly. Code https github.com tomsilver pddlgym


Large sets at infinity and Maximum Principle on unbounded domains for a class of sub elliptic operators. Maximum Principles on unbounded domains play a crucial r ole in several problems related to linear second order PDEs of elliptic and parabolic type. In this paper we consider a class of sub elliptic operators mathcal L in mathbb R N and we establish some criteria for an unbounded open set to be a Maximum Principle set for mathcal L . We extend some classical results related to the Laplacian (by Deny, Hayman and Kennedy) and to the sub Laplacians on stratified Lie groups (by Bonfiglioli and the second named author).


The counting matrix of a simplicial complex. For a finite abstract simplicial complex G with n sets, define the n x n matrix K(x,y) which is the number of subsimplices in the intersection of x and y. We call it the counting matrix of G. Similarly as the connection matrix L which is L(x,y) 1 if x and y intersect and 0 else, the counting matrix K is unimodular. Actually, K is always in SL(n,Z). The inverse of K has the Green function entries K ( 1)(x,y) w(x) w(y) W (x) intersected W y , where W (x) is the star of x, the sets in G which contain x and w(x) ( 1) dim(x). The matrix K is always positive definite. The spectra of K and K ( 1) always agree so that the matrix Q K K ( 1) has the spectral symmetry spec(Q) spec(Q) and the zeta function z(s) summing l(k) ( s) with eigenvalues l(k) of K satisfies the functional equation z(a ib) z( a ib). The energy theorem in this case tells that the sum of the matrix elements of K ( 1)(x,y) is equal to the number sets in G. In comparison, we had in the connection matrix case the identity that the sum of the matrix elements of L ( 1) is the Euler characteristic of G.


Generalizations of Douady's magic formula. We generalize a combinatorial formula of Douady from the main cardioid to other hyperbolic components H of the Mandelbrot set, constructing an explicit piecewise linear map which sends the set of angles of external rays landing on H to the set of angles of external rays landing on the real axis.


A Note on the Evolution of Covid 19 in Italy. We employ methods largely exploited in Physics, in the analysis of the evolution of dynamical systems, to study the pattern of the Covid 19 infection in Italy. The techniques we employ are based on the use of logistic function and of its derivative, namely the Hubbert function. The latter is exploited to give a prediction on the number of infected per day. We also mention the possibility of taking advantage from other mathematical tools based e.g. on the Gompertz equation and make some comparison on the different predictive capabilities.


Average and Expected Distortion of Voronoi Paths and Scapes. The approximation of a circle with a fine square grid distorts the perimeter by a factor of tfrac 4 pi . We prove that this factor is the same on average for approximations of any curve with any Delaunay mosaic (known as Voronoi path), and extend the results to all dimensions, generalizing Voronoi paths to Voronoi scapes.


The Cucker Smale model with time delay. We study the classical Cucker Smale model in continuous time with a positive time delay tau . As in the non delayed case, unconditional flocking occurs when beta leq 1 2 for every tau 0 . Furthermore, we prove the exponential decay for the diameter of the velocities.


Contact Planning for the ANYmal Quadruped Robot using an Acyclic Reachability Based Planner. Despite the great progress in quadrupedal robotics during the last decade, selecting good contacts (footholds) in highly uneven and cluttered environments still remains an open challenge. This paper builds upon a state of the art approach, already successfully used for humanoid robots, and applies it to our robotic platform the quadruped robot ANY mal. The proposed algorithm decouples the problem into two subprob lems first a guide trajectory for the robot is generated, then contacts are created along this trajectory. Both subproblems rely on approximations and heuristics that need to be tuned. The main contribution of this work is to explain how this algorithm has been retuned to work with ANY mal and to show the relevance of the approach with a variety of tests in realistic dynamic simulations.


Artificial Neural Networks and Fault Injection Attacks. This chapter is on the security assessment of artificial intelligence (AI) and neural network (NN) accelerators in the face of fault injection attacks. More specifically, it discusses the assets on these platforms and compares them with ones known and well studied in the field of cryptographic systems. This is a crucial step that must be taken in order to define the threat models precisely. With respect to that, fault attacks mounted on NNs and AI accelerators are explored.


Cylindrical Algebraic Decomposition with Equational Constraints. Cylindrical Algebraic Decomposition (CAD) has long been one of the most important algorithms within Symbolic Computation, as a tool to perform quantifier elimination in first order logic over the reals. More recently it is finding prominence in the Satisfiability Checking community as a tool to identify satisfying solutions of problems in nonlinear real arithmetic. The original algorithm produces decompositions according to the signs of polynomials, when what is usually required is a decomposition according to the truth of a formula containing those polynomials. One approach to achieve that coarser (but hopefully cheaper) decomposition is to reduce the polynomials identified in the CAD to reflect a logical structure which reduces the solution space dimension the presence of Equational Constraints (ECs). This paper may act as a tutorial for the use of CAD with ECs we describe all necessary background and the current state of the art. In particular, we present recent work on how McCallum's theory of reduced projection may be leveraged to make further savings in the lifting phase both to the polynomials we lift with and the cells lifted over. We give a new complexity analysis to demonstrate that the double exponent in the worst case complexity bound for CAD reduces in line with the number of ECs. We show that the reduction can apply to both the number of polynomials produced and their degree.


Finite Rank Perturbations of Toeplitz Products on the Bergman Space. In this paper we investigate when a finite sum of products of two Toeplitz operators with quasihomogeneous symbols is a finite rank perturbation of another Toeplitz operator on the Bergman space. We discover a noncommutative convolution diamond on the space of quasihomogeneous functions and use it in solving the problem. Our main results show that if F j, G j ( 1 leq j leq N ) are polynomials of z and bar z then sum j 1 N T F j T G j T H is a finite rank operator for some L 1 function H if and only if sum j 1 N F j diamond G j belongs to L 1 and H sum j 1 N F j diamond G j . In the case F j 's are holomorphic and G j 's are conjugate holomorphic, it is shown that H is a solution to a system of first order partial differential equations with a constraint.


Deep Video Inpainting. Video inpainting aims to fill spatio temporal holes with plausible content in a video. Despite tremendous progress of deep neural networks for image inpainting, it is challenging to extend these methods to the video domain due to the additional time dimension. In this work, we propose a novel deep network architecture for fast video inpainting. Built upon an image based encoder decoder model, our framework is designed to collect and refine information from neighbor frames and synthesize still unknown regions. At the same time, the output is enforced to be temporally consistent by a recurrent feedback and a temporal memory module. Compared with the state of the art image inpainting algorithm, our method produces videos that are much more semantically correct and temporally smooth. In contrast to the prior video completion method which relies on time consuming optimization, our method runs in near real time while generating competitive video results. Finally, we applied our framework to video retargeting task, and obtain visually pleasing results.


Explicit stabilized multirate method for stiff stochastic differential equations. Stabilized explicit methods are particularly efficient for large systems of stiff stochastic differential equations (SDEs) due to their extended stability domain. However, they loose their efficiency when a severe stiffness is induced by very few "fast" degrees of freedom, as the stiff and nonstiff terms are evaluated concurrently. Therefore, inspired by A. Abdulle, M. J. Grote, and G. Rosilho de Souza, Preprint (2020), arXiv 2006.00744 we introduce a stochastic modified equation whose stiffness depends solely on the "slow" terms. By integrating this modified equation with a stabilized explicit scheme we devise a multirate method which overcomes the bottleneck caused by a few severely stiff terms and recovers the efficiency of stabilized schemes for large systems of nonlinear SDEs. The scheme is not based on any scale separation assumption of the SDE and therefore it is employable for problems stemming from the spatial discretization of stochastic parabolic partial differential equations on locally refined grids. The multirate scheme has strong order 1 2, weak order 1 and its stability is proved on a model problem. Numerical experiments confirm the efficiency and accuracy of the scheme.


cs.DM cs.IT cs.LG math.CO math.IT math.OC

Concave Aspects of Submodular Functions. Submodular Functions are a special class of set functions, which generalize several information theoretic quantities such as entropy and mutual information 1 . Submodular functions have subgradients and subdifferentials 2 and admit polynomial time algorithms for minimization, both of which are fundamental characteristics of convex functions. Submodular functions also show signs similar to concavity. Submodular function maximization, though NP hard, admits constant factor approximation guarantees, and concave functions composed with modular functions are submodular. In this paper, we try to provide a more complete picture of the relationship between submodularity with concavity. We characterize the super differentials and polyhedra associated with upper bounds and provide optimality conditions for submodular maximization using the super differentials. This paper is a concise and shorter version of our longer preprint 3 .


Electron Groups in Solar Wind and Gas Discharge Plasmas. The formation of electron groups is a common phenomenon in gas discharges and space plasmas. We describe similarities between electron kinetics in solar wind, cathode region of glow discharges, and magnetic nozzles. Remarkable resemblances between adiabatic focusing of magnetized electrons and spherical geometry effects for neutral particles escaping planet atmosphere are pointed out. The previously developed kinetic solvers for electrons coupled to Poisson equation for self consistent simulations of the electric field are used to analyse the formation of electron groups in the cathode region of glow discharges and solar wind plasma.


Local Poisson groupoids over mixed product Poisson structures and generalised double Bruhat cells. Given a standard complex semisimple Poisson Lie group (G, pi st ) , generalised double Bruhat cells G u, v and generalised Bruhat cells O u equipped with naturally defined holomorphic Poisson structures, where u, v are finite sequences of Weyl group elements, were defined and studied by Jiang Hua Lu and the author. We prove in this paper that G u,u is naturally a Poisson groupoid over O u , extending a result from the aforementioned authors about double Bruhat cells in (G, pi st ) . Our result on G u,u is obtained as an application of a construction interesting in its own right, of a local Poisson groupoid over a mixed product Poisson structure associated to the action of a pair of Lie bialgebras. This construction involves using a local Lagrangian bisection in a double symplectic groupoid closely related to the global R matrix studied by Weinstein and Xu, to twist a direct product of Poisson groupoids.


Review and new concepts for neutron capture measurements of astrophysical interest. The idea of slow neutron capture nucleosynthesis formulated in 1957 triggered a tremendous experimental effort in different laboratories worldwide to measure the relevant nuclear physics input quantities, namely ( n, gamma ) cross sections over the stellar temperature range (from few eV up to several hundred keV) for most of the isotopes involved from Fe up to Bi. A brief historical review focused on total energy detectors will be presented to illustrate how, advances in instrumentation have led, over the years, to the assessment and discovery of many new aspects of s process nucleosynthesis and to the progressive refinement of theoretical models of stellar evolution. A summary will be presented on current efforts to develop new detection concepts, such as the Total Energy Detector with gamma ray imaging capability (i TED). The latter is based on the simultaneous combination of Compton imaging with neutron time of flight (TOF) techniques, in order to achieve a superior level of sensitivity and selectivity in the measurement of stellar neutron capture rates.


L 2 minimal extensions over Hermitian symmetric domains. In this paper, we study the L 2 minimal extension problem for polarized variations of Hodge structures over Hermitian symmetric domains. We are able to explicitly find the L 2 minimal extensions using a group theoretic construction. In particular, this gives a construction without using L 2 estimates as in the Ohsawa Takegoshi type extension theorems. The key ingredient is the Harish Chandra embedding of Hermitian symmetric domains. The construction of holomorphic sections might be of independent interest since it gives a concrete description in the setting of Hermitian VHS.


Automatic Calibration of Artificial Neural Networks for Zebrafish Collective Behaviours using a Quality Diversity Algorithm. During the last two decades, various models have been proposed for fish collective motion. These models are mainly developed to decipher the biological mechanisms of social interaction between animals. They consider very simple homogeneous unbounded environments and it is not clear that they can simulate accurately the collective trajectories. Moreover when the models are more accurate, the question of their scalability to either larger groups or more elaborate environments remains open. This study deals with learning how to simulate realistic collective motion of collective of zebrafish, using real world tracking data. The objective is to devise an agent based model that can be implemented on an artificial robotic fish that can blend into a collective of real fish. We present a novel approach that uses Quality Diversity algorithms, a class of algorithms that emphasise exploration over pure optimisation. In particular, we use CVT MAP Elites, a variant of the state of the art MAP Elites algorithm for high dimensional search space. Results show that Quality Diversity algorithms not only outperform classic evolutionary reinforcement learning methods at the macroscopic level (i.e. group behaviour), but are also able to generate more realistic biomimetic behaviours at the microscopic level (i.e. individual behaviour).


Oblique droplet impact onto a deep liquid pool. The oblique impact of a liquid droplet onto a deep liquid pool is studied numerically with the adaptive volume of fluid solver Basilisk. The splashing threshold, cavity formation, cavity evolution and the maximum cavity dimensions are quantified as a function of the Weber number and the impact angle. We compare the numerical results with recent experimental work by Gielen et al. Phys. Rev. Fluids 2, 083602 (2017) . Similarly to the experimental results, three different impact regimes are observed deposition of the droplet onto the pool, single sided splashing in the direction of the impact and splashing in all directions. We show good qualitative and quantitative agreement of the splashing behaviour and cavity formation between the simulations and the experiments. Furthermore, the simulations provide a three dimensional view of the impact phenomenon, give access to velocity and pressure fields, and allow to explore impact parameters that are hard to achieve experimentally.


The Wold type decomposition for m isometries. The aim of this paper is to study the Wold type decomposition in the class of m isometries. One of our main results establishes an equivalent condition for an analytic m isometry to admit the Wold type decomposition for m ge2 . In particular, we introduce the k kernel condition which we use to characterize analytic m isometric operators which are unitarily equivalent to unilateral operator valued weighted shifts for m ge2 . As a result, we also show that m isometric composition operators on directed graphs with one circuit containing only one element are not unitarily equivalent to unilateral weighted shifts. We also provide a characterization of m isometric unilateral operator valued weighted shifts with positive and commuting weights.


Sensitivity analysis in the infinite dimensional Heston model. We consider the infinite dimensional Heston stochastic volatility model proposed in arXiv 1706 03500. The price of a forward contract on a non storable commodity is modelled by a generalized Ornstein Uhlenbeck process in the Filipovi ' c space with this volatility. We prove different representation formulas for the forward price. Then we consider prices of options written on these forward contracts and we study sensitivity analysis with computation of the Greeks with respect to different parameters in the model. Since these parameters are infinite dimensional, we need to reinterpret the meaning of the Greeks. For this we use infinite dimensional Malliavin calculus and a randomization technique.


Mass threshold for infinite time blowup in a chemotaxis model with splitted population. We study the chemotaxis model partial t u div( nabla u u nabla w) theta v u in (0, infty ) x Omega , partial t v u theta v in (0, infty ) x Omega , partial t w D Delta w alpha w v in (0, infty ) x Omega , with no flux boundary conditions in a bounded and smooth domain Omega subset R 2 , where u and v represent the densities of subpopulations of moving and static individuals of some species, respectively, and w the concentration of a chemoattractant. We prove that, in an appropriate functional setting, all solutions exist globally in time. Moreover, we establish the existence of a critical mass M c 0 of the whole population u v such that, for M in (0, M c), any solution is bounded, while, for almost all M M c , there exist solutions blowing up in infinite time. The building block of the analysis is the construction of a Liapunov functional. As far as we know, this is the first result of this kind when the mass conservation includes the two subpopulations and not only the moving one.


On the partial hyperbolicity of robustly transitive sets with singularities. Homoclinic tangencies and singular hyperbolicity are involved in the Palis conjecture for vector fields. Typical three dimensional vector fields are well understood by recent works. We study the dynamics of higher dimensional vector fields that are away from homoclinic tangencies. More precisely, we prove that for emph any dimensional vector field that is away from homoclinic tangencies, all singularities contained in its robustly transitive singular set are all hyperbolic and have the same index. Moreover, the robustly transitive set is C 1 generically partially hyperbolic if the vector field cannot be accumulated by ones with a homoclinic tangency.


Understand Watchdogs Discover How Game Bot Get Discovered. The game industry has long been troubled by malicious activities utilizing game bots. The game bots disturb other game players and destroy the environmental system of the games. For these reasons, the game industry put their best efforts to detect the game bots among players' characters using the learning based detections. However, one problem with the detection methodologies is that they do not provide rational explanations about their decisions. To resolve this problem, in this work, we investigate the explainabilities of the game bot detection. We develop the XAI model using a dataset from the Korean MMORPG, AION, which includes game logs of human players and game bots. More than one classification model has been applied to the dataset to be analyzed by applying interpretable models. This provides us explanations about the game bots' behavior, and the truthfulness of the explanations has been evaluated. Besides, interpretability contributes to minimizing false detection, which imposes unfair restrictions on human players.


Finite group actions on symplectic Calabi Yau 4 manifolds with b 1 0 . This is the first of a series of papers devoted to the topology of symplectic Calabi Yau 4 manifolds endowed with certain symplectic finite group actions. We completely determine the fixed point set structure of a finite cyclic action on a symplectic Calabi Yau 4 manifold with b 1 0 . As an outcome of this fixed point set analysis, the 4 manifold is shown to be a T 2 bundle over T 2 in some circumstances, e.g., in the case where the group action is an involution which fixes a 2 dimensional surface in the 4 manifold. Our project on symplectic Calabi Yau 4 manifolds is based on an analysis of the existence and classification of disjoint embeddings of certain configurations of symplectic surfaces in a rational 4 manifold. This paper lays the ground work for such an analysis at the homological level. Some other result which is of independent interest, concerning the maximal number of disjointly embedded symplectic ( 2) spheres in a rational 4 manifold, is also obtained.


Model agnostic Fits for Understanding Information Seeking Patterns in Humans. In decision making tasks under uncertainty, humans display characteristic biases in seeking, integrating, and acting upon information relevant to the task. Here, we reexamine data from previous carefully designed experiments, collected at scale, that measured and catalogued these biases in aggregate form. We design deep learning models that replicate these biases in aggregate, while also capturing individual variation in behavior. A key finding of our work is that paucity of data collected from each individual subject can be overcome by sampling large numbers of subjects from the population, while still capturing individual differences. In addition, we can predict human behavior with high accuracy without making any assumptions about task goals, reward structure, or individual biases, thus providing a model agnostic fit to human behavior in the task. Such an approach can sidestep potential limitations in modeler specified inductive biases, and has implications for computational modeling of human cognitive function in general, and of human AI interfaces in particular.


Universality of Diffractive Collisions and the Quantum Pressure Standard. This work demonstrates that quantum diffractive collisions, those that result in very small momentum and energy transfer, are universal. Specifically, the cumulative energy distribution transferred to an initially stationary sensor particle by a quantum diffractive collision follows a universal function that depends only on the sensor particle mass and the thermally averaged, total collision cross section. The characteristic energy scale corresponds to the localization length associated with the collision induced quantum measurement, and the shape of the universal function is determined it only by the analytic form of the interaction potential at long range. Using cold 87 Rb sensor atoms confined in a magnetic trap, we observe experimentally the universal function specific to van der Waals collisions, and realize a emph self defining particle pressure sensor that can be used for any ambient gas. This provides the first primary and quantum definition of the Pascal, applicable to any species and therefore represents a key advance for vacuum and pressure metrology. The quantum pressure standard realized here was compared with a state of the art orifice flow standard transferred by an ionization gauge calibrated for N 2 . The pressure measurements agreed at the 0.5 level.


Privacy Preserving Script Sharing in GUI based Programming by Demonstration Systems. An important concern in end user development (EUD) is accidentally embedding personal information in program artifacts when sharing them. This issue is particularly important in GUI based programming by demonstration (PBD) systems due to the lack of direct developer control of script contents. Prior studies reported that these privacy concerns were the main barrier to script sharing in EUD. We present a new approach that can identify and obfuscate the potential personal information in GUI based PBD scripts based on the uniqueness of information entries with respect to the corresponding app GUI context. Compared with the prior approaches, ours supports broader types of personal information beyond explicitly pre specified ones, requires minimal user effort, addresses the threat of re identification attacks, and can work with third party apps from any task domain. Our approach also recovers obfuscated fields locally on the script consumer's side to preserve the shared scripts' transparency, readability, robustness, and generalizability. Our evaluation shows that our approach (1) accurately identifies the potential personal information in scripts across different apps in diverse task domains (2) allows end user developers to feel comfortable sharing their own scripts and (3) enables script consumers to understand the operation of shared scripts despite the obfuscated fields.


Learning based State Reconstruction for a Scalar Hyperbolic PDE under noisy Lagrangian Sensing. The state reconstruction problem of a heterogeneous dynamic system under sporadic measurements is considered. This system consists of a conversation flow together with a multi agent network modeling particles within the flow. We propose a partial state reconstruction algorithm using physics informed learning based on local measurements obtained from these agents. Traffic density reconstruction is used as an example to illustrate the results and it is shown that the approach provides an efficient noise rejection.


Clustered colouring of graph classes with bounded treedepth or pathwidth. The "clustered chromatic number" of a class of graphs is the minimum integer k such that for some integer c every graph in the class is k colourable with monochromatic components of size at most c . We determine the clustered chromatic number of any minor closed class with bounded treedepth, and prove a best possible upper bound on the clustered chromatic number of any minor closed class with bounded pathwidth. As a consequence, we determine the fractional clustered chromatic number of every minor closed class.


LIT Light field Inference of Transparency for Refractive Object Localization. Translucency is prevalent in everyday scenes. As such, perception of transparent objects is essential for robots to perform manipulation. Compared with texture rich or texture less Lambertian objects, transparency induces significant uncertainty on object appearances. Ambiguity can be due to changes in lighting, viewpoint, and backgrounds, each of which brings challenges to existing object pose estimation algorithms. In this work, we propose LIT, a two stage method for transparent object pose estimation using light field sensing and photorealistic rendering. LIT employs multiple filters specific to light field imagery in deep networks to capture transparent material properties, with robust depth and pose estimators based on generative sampling. Along with the LIT algorithm, we introduce the light field transparent object dataset ProLIT for the tasks of recognition, localization and pose estimation. With respect to this ProLIT dataset, we demonstrate that LIT can outperform both state of the art end to end pose estimation methods and a generative pose estimator on transparent objects.


A Model Based Testing Tool for Asynchronous Reactive Systems. Reactive systems are characterized by the interaction with the environment, where the exchange of the input and output stimuli, usually, occurs asynchronously. Systems of this nature, in general, require a rigorous testing activity over their developing process. Therefore model based testing has been successfully applied over asynchronous reactive systems using Input Output Labeled Transition Systems (IOLTSs) as the basis. In this work we present a reactive testing tool to check conformance, generate test suites and run test cases using IOLTS models. Our tool can check whether the behavior of an implementation under test (IUT) complies with the behavior of its respective specification. We have implemented a classical conformance relation ioco and a more general notion of conformance based on regular languages. Further, the tool provides a test suite generation in a black box testing setting for finding faults over IUTs according to a specific domain. We have also described some case studies to probe the tool's functionalities and also to highlight a comparative analysis on both conformance approaches. Finally, we offer experiments to evaluate the performance of our tool using several scenarios.


MNN A Universal and Efficient Inference Engine. Deploying deep learning models on mobile devices draws more and more attention recently. However, designing an efficient inference engine on devices is under the great challenges of model compatibility, device diversity, and resource limitation. To deal with these challenges, we propose Mobile Neural Network (MNN), a universal and efficient inference engine tailored to mobile applications. In this paper, the contributions of MNN include (1) presenting a mechanism called pre inference that manages to conduct runtime optimization (2)deliveringthorough kernel optimization on operators to achieve optimal computation performance (3) introducing backend abstraction module which enables hybrid scheduling and keeps the engine lightweight. Extensive benchmark experiments demonstrate that MNN performs favorably against other popular lightweight deep learning frameworks. MNN is available to public at https github.com alibaba MNN.


E Tree Learning A Novel Decentralized Model Learning Framework for Edge AI. Traditionally, AI models are trained on the central cloud with data collected from end devices. This leads to high communication cost, long response time and privacy concerns. Recently Edge empowered AI, namely Edge AI, has been proposed to support AI model learning and deployment at the network edge closer to the data sources. Existing research including federated learning adopts a centralized architecture for model learning where a central server aggregates the model updates from the clients workers. The centralized architecture has drawbacks such as performance bottleneck, poor scalability and single point of failure. In this paper, we propose a novel decentralized model learning approach, namely E Tree, which makes use of a well designed tree structure imposed on the edge devices. The tree structure and the locations and orders of aggregation on the tree are optimally designed to improve the training convergency and model accuracy. In particular, we design an efficient device clustering algorithm, named by KMA, for E Tree by taking into account the data distribution on the devices as well as the the network distance. Evaluation results show E Tree significantly outperforms the benchmark approaches such as federated learning and Gossip learning under NonIID data in terms of model accuracy and convergency.


Optimization of noisy blackboxes with adaptive precision. In derivative free and blackbox optimization, the objective function is often evaluated through the execution of a computer program seen as a blackbox. It can be noisy, in the sense that its outputs are contaminated by random errors. Sometimes, the source of these errors is identified and controllable, in the sense that it is possible to reduce the standard deviation of the stochastic noise it generates. A common strategy to deal with such a situation is to monotonically diminish this standard deviation, to asymptotically make it converge to zero and ensure convergence of algorithms because the noise is dismantled. This work presents MpMads, an algorithm which follows this approach. However, in practice a reduction of the standard deviation increases the computation time, and makes the optimization process long. Therefore, a second algorithm called DpMads is introduced to explore another strategy, which does not force the standard deviation to monotonically diminish. Although these strategies are proved to be theoretically equivalents, tests on analytical problems and an industrial blackbox are presented to illustrate practical differences.


Shape of Big Rockets. Recent publications discuss the size of chemical rockets for long distance travel, to be launched from a planet. Here I point out that such a rocket cannot be tall and slim but will be short and fat.