Modeling high speed gas particle flows relevant to spacecraft landings A review and perspectives. The interactions between rocket exhaust plumes and the surface of extraterrestrial bodies during spacecraft landings involve complex multiphase flow dynamics that pose significant risk to space exploration missions. The two phase flow is characterized by high Reynolds and Mach number conditions with particle concentrations ranging from dilute to close packing. Low atmospheric pressure and gravity typically encountered in landing environments combined with reduced optical access by the granular material pose significant challenges for experimental investigations. Consequently, numerical modeling is expected to play an increasingly important role for future missions. This article presents a review and perspectives on modeling high speed disperse two phase flows relevant to plume surface interactions (PSI). We present an overview of existing drag laws, with origins from 18th century cannon fire experiments and new insights from particle resolved numerical simulations. While the focus here is on multiphase flows relevant to PSI, much of the same physics are shared by other compressible gas particle flows, such as coal dust explosions, volcanic eruptions, and detonation of solid material.


Word frequency rank relationship in tagged texts. We analyze the frequency rank relationship in sub vocabularies corresponding to three different grammatical classes (nouns, verbs, and others) in a collection of literary works in English, whose words have been automatically tagged according to their grammatical role. Comparing with a null hypothesis which assumes that words belonging to each class are uniformly distributed across the frequency ranked vocabulary of the whole work, we disclose statistically significant differences between the three classes. This results point to the fact that frequency rank relationships may reflect linguistic features associated with grammatical function.


Cyclic and Abelian coverings of real varieties. We describe the birational and the biregular theory of cyclic and Abelian coverings between real varieties.


Queuing Analysis of Opportunistic Cognitive Radio IoT Network with Imperfect Sensing. In this paper, we analyze a Cognitive Radio based Internet of Things (CR IoT) network comprising a Primary Network Provider (PNP) and an IoT operator. The PNP uses its licensed spectrum to serve its users. The IoT operator identifies the white space in the licensed band at regular intervals and opportunistically exploits them to serve the IoT nodes under its coverage. IoT nodes are battery operated devices that require periodical energy replenishment. We employ the Microwave Power Transfer (MPT) technique for its superior energy transfer efficiency over long distance. The white space detection process is not always perfect and the IoT operator may jeopardize the PNP's transmissions due to misdetection. To reduce the possibility of such interferences, some of the spectrum holes must remain unutilized, even when the IoT nodes have data to transmit. The IoT operator needs to decide what percentage of the white space to keep unutilized and how to judiciously use the rest for data transmission and energy replenishment to maintain an optimal balance between the average interference inflicted on PNP's users and the Quality of Service (QoS) experienced by IoT nodes. Due to the periodic nature of the spectrum sensing process, Discrete Time Markov Chain (DTMC) method can realistically model this framework. In literature, activities of the PNP and IoT operator are assumed to be mutually exclusive, for ease of analysis. Our model incorporates possible overlaps between these activities, making the analysis more realistic. Using our model, the sustainability region of the CR IoT network can be obtained. The accuracy of our analysis is demonstrated via extensive simulation.


Dompteur Taming Audio Adversarial Examples. Adversarial examples seem to be inevitable. These specifically crafted inputs allow attackers to arbitrarily manipulate machine learning systems. Even worse, they often seem harmless to human observers. In our digital society, this poses a significant threat. For example, Automatic Speech Recognition (ASR) systems, which serve as hands free interfaces to many kinds of systems, can be attacked with inputs incomprehensible for human listeners. The research community has unsuccessfully tried several approaches to tackle this problem. In this paper we propose a different perspective We accept the presence of adversarial examples against ASR systems, but we require them to be perceivable by human listeners. By applying the principles of psychoacoustics, we can remove semantically irrelevant information from the ASR input and train a model that resembles human perception more closely. We implement our idea in a tool named DOMPTEUR and demonstrate that our augmented system, in contrast to an unmodified baseline, successfully focuses on perceptible ranges of the input signal. This change forces adversarial examples into the audible range, while using minimal computational overhead and preserving benign performance. To evaluate our approach, we construct an adaptive attacker that actively tries to avoid our augmentations and demonstrate that adversarial examples from this attacker remain clearly perceivable. Finally, we substantiate our claims by performing a hearing test with crowd sourced human listeners.


Constant Amortized Time Enumeration of Eulerian trails. In this paper, we consider enumeration problems for edge distinct and vertex distinct Eulerian trails. Here, two Eulerian trails are emph edge distinct if the edge sequences are not identical, and they are emph vertex distinct if the vertex sequences are not identical. As the main result, we propose optimal enumeration algorithms for both problems, that is, these algorithm runs in mathcal O (N) total time, where N is the number of solutions. Our algorithms are based on the reverse search technique introduced by Avis and Fukuda, DAM 1996 , and the push out amortization technique introduced by Uno, WADS 2015 .


Excitation for Adaptive Optimal Control of Nonlinear Systems in Differential Games. This work focuses on the fulfillment of the Persistent Excitation (PE) condition for signals which result from transformations by means of polynomials. This is essential e.g. for the convergence of Adaptive Dynamic Programming algorithms due to commonly used polynomial function approximators. As theoretical statements are scarce regarding the nonlinear transformation of PE signals, we propose conditions on the system state such that its transformation by polynomials is PE. To validate our theoretical statements, we develop an exemplary excitation procedure based on our conditions using a feedforward control approach and demonstrate the effectiveness of our method in a nonzero sum differential game. In this setting, our approach outperforms commonly used probing noise in terms of convergence time and the degree of PE, shown by a numerical example.


Distributed Application of Guideline Based Decision Support through Mobile Devices Implementation and Evaluation. Traditionally Guideline(GL)based Decision Support Systems (DSSs) use a centralized infrastructure to generate recommendations to care providers. However, managing patients at home is preferable, reducing costs and empowering patients. We aimed to design, implement, and demonstrate the feasibility of a new architecture for a distributed DSS that provides patients with personalized, context sensitive, evidence based guidance through their mobile device, and increases the robustness of the distributed application of the GL, while maintaining access to the patient longitudinal record and to an up to date evidence based GL repository. We have designed and implemented a novel projection and callback (PCB) model, in which small portions of the evidence based GL procedural knowledge, adapted to the patient preferences and to their current context, are projected from a central DSS server, to a local DSS on the patient mobile device that applies that knowledge. When appropriate, as defined by a temporal pattern within the projected plan, the local DSS calls back the central DSS, requesting further assistance, possibly another projection. Thus, the GL specification includes two levels one for the central DSS, one for the local DSS. We successfully evaluated the PCB model within the MobiGuide EU project by managing Gestational Diabetes Mellitus patients in Spain, and Atrial Fibrillation patients in Italy. Significant differences exist between the two GL representations, suggesting additional ways to characterize GLs. Mean time between the central and local interactions was quite different for the two GLs 3.95 days for gestational diabetes, 23.80 days for atrial fibrillation. Most interactions, 83 , were due to projections to the mDSS. Others were data notifications, mostly to change context. Robustness was demonstrated through successful recovery from multiple local DSS crashes.


On the statistical properties of fluid flows with transitional power law rheology in heterogeneous porous media. In this work, we study non Newtonian fluid flow in heterogeneous porous media. We are interested in fluids presenting a specific change in rheology Newtonian below a certain shear rate and power law above. Since porous media generally exhibit strong spatial heterogeneity at large geological scales, we study the interaction between such inhomogeneity and the nonlinear rheology of the fluid. The coupling between permeability heterogeneity and nonlinear rheology significantly affects the flow. We are particularly in the statistical properties of the velocity field (mean, variance, correlation, etc). Depending on the imposed mean pressure gradient, three macroscopic flow regimes are identified. For a low or high average pressure gradient, the average flow rate increases linearly or according to a power law, respectively. In the latter regime, we observe that the velocity field is more heterogeneous for shear thinning fluids than for shear thickening fluids. This is corresponding to a channeling effect of shear thinning fluids. The intermediate regime corresponds to a progressive and inhomogeneous change of the local rheology. This transient regime is then characterized in terms of pressure gradient range. The flow field is also analyzed statistically. The spatial distribution of the regions above the rheology threshold shows interesting statistical properties. For instance, they exhibit multiscale characteristics (fractal), similar to other critical systems (percolation, avalanches, etc.). More surprisingly, even though some statistical properties are independent of the parameters, an interesting abrupt rotation of the correlations is found for a particular set of parameters. This is explained by using some symmetries of the problem.


A structure preserving shift invert infinite Arnoldi algorithm for a class of delay eigenvalue problems with Hamiltonian symmetry. In this work we consider a class of non linear eigenvalue problems that admit a spectrum similar to that of a Hamiltonian matrix, in the sense that the spectrum is symmetric with respect to both the real and imaginary axis. More precisely, we present a method to iteratively approximate the eigenvalues of such non linear eigenvalue problems closest to a given purely real or imaginary shift, while preserving the symmetries of the spectrum. To this end the presented method exploits the equivalence between the considered non linear eigenvalue problem and the eigenvalue problem associated with a linear but infinite dimensional operator. To compute the eigenvalues closest to the given shift, we apply a specifically chosen shift invert transformation to this linear operator and compute the eigenvalues with the largest modulus of the new shifted and inverted operator using an (infinite) Arnoldi procedure. The advantage of the chosen shift invert transformation is that the spectrum of the transformed operator has a "real skew Hamiltonian" like structure. Furthermore, it is proven that the Krylov space constructed by applying this operator, satisfies an orthogonality property in terms of a specifically chosen bilinear form. By taking this property into account in the orthogonalization process, it is ensured that even in the presence of rounding errors, the obtained approximation for, e.g., a simple, purely imaginary eigenvalue is simple and purely imaginary. The presented work can thus be seen as an extension of V. Mehrmann and D. Watkins, "Structure Preserving Methods for Computing Eigenpairs of Large Sparse Skew Hamiltonian Hamiltonian Pencils", SIAM J. Sci. Comput. (22.6), 2001 , to the considered class of non linear eigenvalue problems. Although the presented method is initially defined on function spaces, it can be implemented using finite dimensional linear algebra operations.


RRL Resnet as representation for Reinforcement Learning. The ability to autonomously learn behaviors via direct interactions in uninstrumented environments can lead to generalist robots capable of enhancing productivity or providing care in unstructured settings like homes. Such uninstrumented settings warrant operations only using the robot's proprioceptive sensor such as onboard cameras, joint encoders, etc which can be challenging for policy learning owing to the high dimensionality and partial observability issues. We propose RRL Resnet as representation for Reinforcement Learning a straightforward yet effective approach that can learn complex behaviors directly from proprioceptive inputs. RRL fuses features extracted from pre trained Resnet into the standard reinforcement learning pipeline and delivers results comparable to learning directly from the state. In a simulated dexterous manipulation benchmark, where the state of the art methods fail to make significant progress, RRL delivers contact rich behaviors. The appeal of RRL lies in its simplicity in bringing together progress from the fields of Representation Learning, Imitation Learning, and Reinforcement Learning. Its effectiveness in learning behaviors directly from visual inputs with performance and sample efficiency matching learning directly from the state, even in complex high dimensional domains, is far from obvious.


Flare Flexible In Network Allreduce. The allreduce operation is one of the most commonly used communication routines in distributed applications. To improve its bandwidth and to reduce network traffic, this operation can be accelerated by offloading it to network switches, that aggregate the data received from the hosts, and send them back the aggregated result. However, existing solutions provide limited customization opportunities and might provide suboptimal performance when dealing with custom operators and data types, with sparse data, or when reproducibility of the aggregation is a concern. To deal with these problems, in this work we design a flexible programmable switch by using as a building block PsPIN, a RISC V architecture implementing the sPIN programming model. We then design, model, and analyze different algorithms for executing the aggregation on this architecture, showing performance improvements compared to state of the art approaches.


Positive surface group representations in PO(p,q). We show that Theta positive Anosov representations rho Gamma to mathsf PO (p,q) of a surface group Gamma satisfy root vs weight collar lemmas for all the Anosov roots, and are positively ratioed with respect to all such roots. From this we deduce that Theta positive Anosov representations rho Gamma to mathsf PO (p,q) form connected components of character varieties.


DeLag Detecting Latency Degradation Patterns in Service based Systems. Performance debugging in production is a fundamental activity in modern service based systems. The diagnosis of performance issues is often time consuming, since it requires thorough inspection of large volumes of traces and performance indices. In this paper we present DeLag, a novel automated search based approach for diagnosing performance issues in service based systems. DeLag identifies subsets of requests that show, in the combination of their Remote Procedure Call execution times, symptoms of potentially relevant performance issues. We call such symptoms Latency Degradation Patterns. DeLag simultaneously search for multiple latency degradation patterns while optimizing precision, recall and latency dissimilarity. Experimentation on 700 datasets of requests generated from two microservice based systems shows that our approach provide better and more stable effectiveness than three state of the art approaches and general purpose machine learning clustering algorithms. Moreover, DeLag outperforms in terms of efficiency the second and the third most effective baseline techniques on the largest datasets used in our evaluation.


TEASEL A Transformer Based Speech Prefixed Language Model. Multimodal language analysis is a burgeoning field of NLP that aims to simultaneously model a speaker's words, acoustical annotations, and facial expressions. In this area, lexicon features usually outperform other modalities because they are pre trained on large corpora via Transformer based models. Despite their strong performance, training a new self supervised learning (SSL) Transformer on any modality is not usually attainable due to insufficient data, which is the case in multimodal language learning. This work proposes a Transformer Based Speech Prefixed Language Model called TEASEL to approach the mentioned constraints without training a complete Transformer model. TEASEL model includes speech modality as a dynamic prefix besides the textual modality compared to a conventional language model. This method exploits a conventional pre trained language model as a cross modal Transformer model. We evaluated TEASEL for the multimodal sentiment analysis task defined by CMU MOSI dataset. Extensive experiments show that our model outperforms unimodal baseline language models by 4 and outperforms the current multimodal state of the art (SoTA) model by 1 in F1 score. Additionally, our proposed method is 72 smaller than the SoTA model.


On the number of countable subdirect powers of unary algebras. A finite unary algebra (A,F) has only countably many countable subdirect powers if and only if every operation f in F is either a permutation or a constant mapping.


Preferential concentration by mechanically driven turbulence in the two fluid formalism. Preferential concentration is thought to play a key role in promoting particle growth, which is crucial to processes such as warm rain formation in clouds, planet formation, and industrial sprays. In this work, we investigate preferential concentration using 3D Direct Numerical Simulations adopting the Eulerian Eulerian two fluid approach, where the particles are treated as a continuum field with its own momentum and mass conservation laws. We consider particles with Stokes number St lesssim O(0.01) in moderately turbulent flows with fluid Reynolds number Re leq 600 . In our previous work (Nasab Garaud, Physical Review Fluids. doi 10.1103 PhysRevFluids.5.114308, 2020), we established scaling laws to predict maximum and typical particle concentration enhancements in the context of the particle driven convective instability. Here we verify that the same results apply when turbulence is externally driven, extending the relevance of our model to a wider class of particle laden flows. We find in particular that (i) the maximum particle concentration enhancement above the mean scales as u rms 2 tau p kappa p , where u rms is the rms fluid velocity, tau p is the particle stopping time, and kappa p is the assumed particle diffusivity from the two fluid equations (ii) the typical particle concentration enhancement over the mean scales as (u rms 2 tau p kappa p) 1 2 and (iii) the probability distribution function of the particle concentration enhancement over the mean has an exponential tail whose slope scales like (u rms 2 tau p kappa p) 1 2 . We conclude by discussing the caveats of our model and its implications in a relevant cloud application.


DeepHyperion Exploring the Feature Space of Deep Learning Based Systems through Illumination Search. Deep Learning (DL) has been successfully applied to a wide range of application domains, including safety critical ones. Several DL testing approaches have been recently proposed in the literature but none of them aims to assess how different interpretable features of the generated inputs affect the system's behaviour. In this paper, we resort to Illumination Search to find the highest performing test cases (i.e., misbehaving and closest to misbehaving), spread across the cells of a map representing the feature space of the system. We introduce a methodology that guides the users of our approach in the tasks of identifying and quantifying the dimensions of the feature space for a given domain. We developed DeepHyperion, a search based tool for DL systems that illuminates, i.e., explores at large, the feature space, by providing developers with an interpretable feature map where automatically generated inputs are placed along with information about the exposed behaviours.


Elliptical Ordinal Embedding. Ordinal embedding aims at finding a low dimensional representation of objects from a set of constraints of the form "item j is closer to item i than item k ". Typically, each object is mapped onto a point vector in a low dimensional metric space. We argue that mapping to a density instead of a point vector provides some interesting advantages, including an inherent reflection of the uncertainty about the representation itself and its relative location in the space. Indeed, in this paper, we propose to embed each object as a Gaussian distribution. We investigate the ability of these embeddings to capture the underlying structure of the data while satisfying the constraints, and explore properties of the representation. Experiments on synthetic and real world datasets showcase the advantages of our approach. In addition, we illustrate the merit of modelling uncertainty, which enriches the visual perception of the mapped objects in the space.


Auto tagging of Short Conversational Sentences using Natural Language Processing Methods. In this study, we aim to find a method to auto tag sentences specific to a domain. Our training data comprises short conversational sentences extracted from chat conversations between company's customer representatives and web site visitors. We manually tagged approximately 14 thousand visitor inputs into ten basic categories, which will later be used in a transformer based language model with attention mechanisms for the ultimate goal of developing a chatbot application that can produce meaningful dialogue. We considered three different state of the art models and reported their auto tagging capabilities. We achieved the best performance with the bidirectional encoder representation from transformers (BERT) model. Implementation of the models used in these experiments can be cloned from our GitHub repository and tested for similar auto tagging problems without much effort.


Long Term, in the Wild Study of Feedback about Speech Intelligibility for K 12 Students Attending Class via a Telepresence Robot. Telepresence robots offer presence, embodiment, and mobility to remote users, making them promising options for homebound K 12 students. It is difficult, however, for robot operators to know how well they are being heard in remote and noisy classroom environments. One solution is to estimate the operator's speech intelligibility to their listeners in order to provide feedback about it to the operator. This work contributes the first evaluation of a speech intelligibility feedback system for homebound K 12 students attending class remotely. In our four long term, in the wild deployments we found that students speak at different volumes instead of adjusting the robot's volume, and that detailed audio calibration and network latency feedback are needed. We also contribute the first findings about the types and frequencies of multimodal comprehension cues given to homebound students by listeners in the classroom. By annotating and categorizing over 700 cues, we found that the most common cue modalities were conversation turn timing and verbal content. Conversation turn timing cues occurred more frequently overall, whereas verbal content cues contained more information and might be the most frequent modality for negative cues. Our work provides recommendations for telepresence systems that could intervene to ensure that remote users are being heard.


High Order Curvilinear Finite Element Magneto Hydrodynamics I A Conservative Lagrangian Scheme. Magneto hydrodynamics is one of the foremost models in plasma physics with applications in inertial confinement fusion, astrophysics and elsewhere. Advanced numerical methods are needed to get an insight into the complex physical phenomena. The classical Lagrangian methods are typically limited to the low orders of convergence and suffer from violation of the divergence free condition for magnetic field or conservation of the invariants. This paper is the first part of a new series about high order non ideal magneto hydrodynamics, where a multi dimensional conservative Lagrangian method based on curvilinear finite elements is presented. The condition on zero divergence of magnetic field and conservation of mass, momentum, magnetic flux and the total energy are satisfied exactly. The curvilinear elements prevent entangling of the computational mesh and its imprinting into the solution. A high order conservative time integration is applied, where an arbitrary order of convergence is attained for problems of ideal magneto hydrodynamics. The resistive magnetic field diffusion is solved by an implicit scheme. Description of the method is given and multiple test problems demonstrating properties of the scheme are performed. The construction of the method and possible future directions of development are discussed.


Measurement of Excess Noise in Thin Film and Metal Foil Resistor Networks. Low frequency resistance fluctuations cause excess noise in biased resistors. The magnitude of these fluctuations varies significantly between different resistor types. In this work measurements of excess noise in precision thin film and metal foil resistor networks are presented. The lowest levels were found in metal foil devices, followed by thin film NiCr networks deposited on silicon substrates. Higher excess noise with a significant spread between different types was seen in thin film devices deposited on ceramic substrates.


EPick Multi Class Attention based U shaped Neural Network for Earthquake Detection and Seismic Phase Picking. Earthquake detection and seismic phase picking not only play a crucial role in travel time estimation of body waves(P and S waves) but also in the localisation of the epicenter of the corresponding event. Generally, manual phase picking is a trustworthy and the optimum method to determine the phase arrival time, however, its capacity is restricted by available resources and time. Moreover, noisy seismic data renders an additional critical challenge for fast and accurate phase picking. In this study, a deep learning based model, EPick, is proposed which benefits both from U shaped neural network (also called UNet)and attention mechanism, as a strong alternative for seismic event detection and phase picking. On one hand, the utilization of UNet structure enables addressing different levels of deep features. On the other hand, attention mechanism promotes the decoder in the UNet structure to focus on the efficient exploitation of the low resolution features learned from the encoder part to achieve precise phase picking. Extensive experimental results demonstrate that EPick achieves better performance over the benchmark method, and show the models robustness when tested on a different seismic dataset.


Scalable universal tunable virtual wavevector spatial frequency shift (TVSFS) super resolution imaging. Developing a chip based super resolution imaging technique with large field of view (FOV), deep subwavelength resolution, and compatibility for both fluorescent and non fluorescent samples is desired for material science, biomedicine, and life researches, etc. Previous on chip super resolution methods focus on either fluorescent or non fluorescent imaging, putting an urgent requirement on the general imaging technique compatible with both of them. Here, we introduce a universal super resolution imaging method based on tunable virtual wavevector spatial frequency shift (TVSFS), realizing both labeled and label free super resolution imaging on a single delicately fabricated scalable photonic chip. Theoretically, with TVSFS, the diffraction limit of a linear optical system can be overcome, and the resolution can be improved more than three times, which is the limitation for most super resolution imaging based on spatial frequency engineering. Diffractive units were fabricated on the chip's surface to provide a wavevector variable evanescent wave illumination and induce tunable deep SFS in the samples' Fourier space. A resolution of lambda 4.7 for the label free sample and lambda 7.1 for the labeled sample with a large FOV could be achieved with a CMOS compatible process on a GaP chip. The large FOV, high compatibility, and high integration TVSFS chip may advance the fields like cell engineering, precision inspection in the industry, chemical research, etc.


Entropy Stable Discontinuous Galerkin Methods for Balance Laws in Non Conservative Form Applications to Euler with Gravity. In this work a non conservative balance law formulation is considered that encompasses the rotating, compressible Euler equations for dry atmospheric flows. We develop a semi discretely entropy stable discontinuous Galerkin method on curvilinear meshes using a generalization of flux differencing for numerical fluxes in fluctuation form. The method uses the skew hybridized formulation of the element operators to ensure that, even in the presence of under integration on curvilinear meshes, the resulting discretization is entropy stable. Several atmospheric flow test cases in one, two, and three dimensions confirm the theoretical entropy stability results as well as show the high order accuracy and robustness of the method.


On planar arcs of size (q 3) 2 . The subject of this paper is the study of small complete arcs in mathrm PG (2,q) , for q odd, with at least (q 1) 2 points on a conic. We give a short comprehensive proof of the completeness problem left open by Segre in his seminal work 20 . This gives an alternative to Pellegrino's long proof which was obtained in a series of papers in the 1980s. As a corollary of our analysis, we obtain a counterexample to a misconception in the literature 6 .


Cobordism distance on the projective space of the knot concordance group. The cobordism distance on the knot concordance group is used to define a measure of how close two knots are to being linearly dependent. Roughly stated, d(K,J) is defined by minimizing the cobordism distance between pairs of knots in cyclic subgroups containing K and J. When made precise, this leads to the definition of the projective space of the knot concordance group. We explore basic properties of this projective space and its integer valued metric by considering torus knots. Twist knots are used to show that the associated simplicial complex contains an infinite set of simplices of arbitrarily large dimension.


Proximal Quasi Newton Methods for Multiobjective Optimization Problems. We introduce some new proximal quasi Newton methods for unconstrained multiobjective optimization problems (in short, UMOP), where each objective function is the sum of a twice continuously differentiable strongly convex function and a proper lower semicontinuous convex but not necessarily differentiable function. We propose proximal BFGS method, proximal self scaling BFGS method, and proximal Huang BFGS method for (UMOP) with both line searches and without line searches cases. Under mild assumputions, we show that each accumulation point of the sequence generated by these algorithms, if exists, is a Pareto stationary point of the (UMOP). Moreover, we present their applications in both constrained multiobjective optimization problems and robust multiobjective optimization problems. In particular, for robust multiobjective optimization problems, we show that the subproblems of proximal quasi Newton algorithms can be regarded as quadratic minimization problems with quadratic inequality constraints. Numerical experiments are also carried out to verify the effectiveness of the proposed proximal quasi Newton methods.


Non steady state model of global temperature change Can we keep temperature from rising more than on two degrees?. We propose a non steady state model of the global temperature change. The model describes Earth's surface temperature dynamics under main climate forcing. The equations were derived from basic physical relationships and detailed assessment of the numeric parameters used in the model. It shows an accurate fit with observed changes in the surface mean annual temperature (MAT) for the past 116 years. Using our model, we analyze the future global temperature change under scenarios of drastic reductions of CO textsubscript 2 . The presence of non linear feed backs in the model indicates on the possibility of exceeding two degrees threshold even under the carbon dioxide drastic reduction scenario. We discuss the risks associated with such warming and evaluate possible benefits of developing CO textsubscript 2 absorbing deciduous tree plantations in the boreal zone of Northern Hemisphere.


Mixed methods for the velocity pressure pseudostress formulation of the Stokes eigenvalue problem. In two and three dimensional domains, we analyze mixed finite element methods for a velocity pressure pseudostress formulation of the Stokes eigenvalue problem. The methods consist in two schemes the velocity and pressure are approximated with piecewise polynomial and for the pseudostress we consider two classic families of finite elements for mathrm H ( mathop mathrm div ) spaces the Raviart Thomas and the Brezzi Douglas Marini elements. With the aid of the classic spectral theory for compact operators, we prove that our method does not introduce spurious modes. Also, we obtain convergence and error estimates for the proposed methods. In order to assess the performance of the schemes, we report numerical results to compare the accuracy and robustness between both numerical schemes.


Algebraic topological techniques for elliptic problems involving fractional Laplacian. We prove the existence of infinitely many solutions to an elliptic problem by borrowing the techniques from algebraic topology. The solution(s) thus obtained will also be proved to be bounded.


mathfrak sl 2 Harish Chandra modules for mathfrak sl 2 ltimes L(4) . We use analogues of Enright's and Arkhipov's functors to determine the quiver and relations for a category of mathfrak sl 2 ltimes L(4) modules which are locally finite (and with finite multiplicities) over mathfrak sl 2 . We also outline serious obstacles to extend our result to mathfrak sl 2 ltimes L(k) , for k 4 .


To fit or not to fit Model based Face Reconstruction and Occlusion Segmentation from Weak Supervision. 3D face reconstruction under occlusions is highly challenging due to the large variability of occluders. Currently, the most successful methods fit a 3D face model through inverse rendering and assume a given segmentation of the occluder to avoid fitting the occluder. However, training an occlusion segmentation model requires large amounts of annotated data. In this work, we introduce a model based approach for 3D face reconstruction that is highly robust to occlusions but does not require any occlusion annotations for training. In our approach, we exploit the fact that generative face models can only synthesize human faces, but not the occluders. We use this property to guide the decision making process of an occlusion segmentation network and resulting in unsupervised training. The main challenge is that the model fitting and the occlusion segmentation are mutually dependent on each other, and need to be inferred jointly. We resolve this chicken and egg problem with an EM type training strategy. This leads to a synergistic effect, in which the segmentation network prevents the face encoder from fitting to the occlusion, enhancing the reconstruction quality. The improved 3D face reconstruction, in turn, enables the segmentation network to better predict the occlusion. Qualitative and quantitative experiments on the CelebA HQ, the AR databases, and the NoW challenge demonstrate that the proposed pipeline achieves the state of the art 3D face reconstruction under occlusion. Moreover, the segmentation network localizes occlusions accurately despite being trained without any occlusion annotation. The code is available at https github.com unibas gravis Occlusion Robust MoFA.


Multistage linguistic conditioning of convolutional layers for speech emotion recognition. In this contribution, we investigate the effectiveness of deep fusion of text and audio features for categorical and dimensional speech emotion recognition (SER). We propose a novel, multistage fusion method where the two information streams are integrated in several layers of a deep neural network (DNN), and contrast it with a single stage one where the streams are merged in a single point. Both methods depend on extracting summary linguistic embeddings from a pre trained BERT model, and conditioning one or more intermediate representations of a convolutional model operating on log Mel spectrograms. Experiments on the MSP Podcast and IEMOCAP datasets demonstrate that the two fusion methods clearly outperform a shallow (late) fusion baseline and their unimodal constituents, both in terms of quantitative performance and qualitative behaviour. Overall, our multistage fusion shows better quantitative performance, surpassing alternatives on most of our evaluations. This illustrates the potential of multistage fusion in better assimilating text and audio information.


Adaptive Normalized Representation Learning for Generalizable Face Anti Spoofing. With various face presentation attacks arising under unseen scenarios, face anti spoofing (FAS) based on domain generalization (DG) has drawn growing attention due to its robustness. Most existing methods utilize DG frameworks to align the features to seek a compact and generalized feature space. However, little attention has been paid to the feature extraction process for the FAS task, especially the influence of normalization, which also has a great impact on the generalization of the learned representation. To address this issue, we propose a novel perspective of face anti spoofing that focuses on the normalization selection in the feature extraction process. Concretely, an Adaptive Normalized Representation Learning (ANRL) framework is devised, which adaptively selects feature normalization methods according to the inputs, aiming to learn domain agnostic and discriminative representation. Moreover, to facilitate the representation learning, Dual Calibration Constraints are designed, including Inter Domain Compatible loss and Inter Class Separable loss, which provide a better optimization direction for generalizable representation. Extensive experiments and visualizations are presented to demonstrate the effectiveness of our method against the SOTA competitors.


Federated Face Recognition. Face recognition has been extensively studied in computer vision and artificial intelligence communities in recent years. An important issue of face recognition is data privacy, which receives more and more public concerns. As a common privacy preserving technique, Federated Learning is proposed to train a model cooperatively without sharing data between parties. However, as far as we know, it has not been successfully applied in face recognition. This paper proposes a framework named FedFace to innovate federated learning for face recognition. Specifically, FedFace relies on two major innovative algorithms, Partially Federated Momentum (PFM) and Federated Validation (FV). PFM locally applies an estimated equivalent global momentum to approximating the centralized momentum SGD efficiently. FV repeatedly searches for better federated aggregating weightings via testing the aggregated models on some private validation datasets, which can improve the model's generalization ability. The ablation study and extensive experiments validate the effectiveness of the FedFace method and show that it is comparable to or even better than the centralized baseline in performance.


Self learning sparse PCA for multimode process monitoring. This paper proposes a novel sparse principal component analysis algorithm with self learning ability for successive modes, where synaptic intelligence is employed to measure the importance of variables and a regularization term is added to preserve the learned knowledge of previous modes. Different from traditional multimode monitoring methods, the monitoring model is updated based on the current model and new data when a new mode arrives, thus delivering prominent performance for sequential modes. Besides, the computation and storage resources are saved in the long run, because it is not necessary to retrain the model from scratch frequently and store data from previous modes. More importantly, the model furnishes excellent interpretability owing to the sparsity of parameters. Finally, a numerical case and a practical pulverizing system are adopted to illustrate the effectiveness of the proposed algorithm.


Generating cryptographically strong random lattice bases and recognizing rotations of mathbb Z n . Lattice based cryptography relies on generating random bases which are difficult to fully reduce. Given a lattice basis (such as the private basis for a cryptosystem), all other bases are related by multiplication by matrices in GL(n, mathbb Z ) . We compare the strengths of various methods to sample random elements of GL(n, mathbb Z ) , finding some are stronger than others with respect to the problem of recognizing rotations of the mathbb Z n lattice. In particular, the standard algorithm of multiplying unipotent generators together (as implemented in Magma's RandomSLnZ command) generates instances of this last problem which can be efficiently broken, even in dimensions nearing 1,500. Likewise, we find that the random basis generation method in one of the NIST Post Quantum Cryptography competition submissions (DRS) generates instances which can be efficiently broken, even at its 256 bit security settings. Other random basis generation algorithms (some older, some newer) are described which appear to be much stronger.


Learning Multimodal VAEs through Mutual Supervision. Multimodal VAEs seek to model the joint distribution over heterogeneous data (e.g. vision, language), whilst also capturing a shared representation across such modalities. Prior work has typically combined information from the modalities by reconciling idiosyncratic representations directly in the recognition model through explicit products, mixtures, or other such factorisations. Here we introduce a novel alternative, the MEME, that avoids such explicit combinations by repurposing semi supervised VAEs to combine information between modalities implicitly through mutual supervision. This formulation naturally allows learning from partially observed data where some modalities can be entirely missing something that most existing approaches either cannot handle, or do so to a limited extent. We demonstrate that MEME outperforms baselines on standard metrics across both partial and complete observation schemes on the MNIST SVHN (image image) and CUB (image text) datasets. We also contrast the quality of the representations learnt by mutual supervision against standard approaches and observe interesting trends in its ability to capture relatedness between data.


Complete objects in categories. We introduce the notions of proto complete, complete, complete and strong complete objects in pointed categories. We show under mild conditions on a pointed exact protomodular category that every proto complete (respectively complete) object is the product of an abelian proto complete (respectively complete) object and a strong complete object. This together with the observation that the trivial group is the only abelian complete group recovers a theorem of Baer classifying complete groups. In addition we generalize several theorems about groups (subgroups) with trivial center (respectively, centralizer), and provide a categorical explanation behind why the derivation algebra of a perfect Lie algebra with trivial center and the automorphism group of a non abelian (characteristically) simple group are strong complete.


End to End Self Debiasing Framework for Robust NLU Training. Existing Natural Language Understanding (NLU) models have been shown to incorporate dataset biases leading to strong performance on in distribution (ID) test sets but poor performance on out of distribution (OOD) ones. We introduce a simple yet effective debiasing framework whereby the shallow representations of the main model are used to derive a bias model and both models are trained simultaneously. We demonstrate on three well studied NLU tasks that despite its simplicity, our method leads to competitive OOD results. It significantly outperforms other debiasing approaches on two tasks, while still delivering high in distribution performance.


A Fair Model of Identity Information Exchange Leveraging Zero Knowledge. Many companies use identity information for different goals. There are a lot of marketplaces for identity information. These markets have some practical issues such as privacy, mutual trust and fairing exchange. The management of identity information is one of the most important applications for blockchain, for which researchers have proposed a large number of models. In the present paper, an attempt has been made to solve the problems that mentioned earlier to exchange identity information on the blockchain. By using the game theory we propose a fair model of selling authorized identity information in an environment that include untrusted parties. Moreover, we employ ZK SNARK to protect users' privacy. Also, we use proxy re encryption to record these informations in IPFS.


Designing Toxic Content Classification for a Diversity of Perspectives. In this work, we demonstrate how existing classifiers for identifying toxic comments online fail to generalize to the diverse concerns of Internet users. We survey 17,280 participants to understand how user expectations for what constitutes toxic content differ across demographics, beliefs, and personal experiences. We find that groups historically at risk of harassment such as people who identify as LGBTQ or young adults are more likely to to flag a random comment drawn from Reddit, Twitter, or 4chan as toxic, as are people who have personally experienced harassment in the past. Based on our findings, we show how current one size fits all toxicity classification algorithms, like the Perspective API from Jigsaw, can improve in accuracy by 86 on average through personalized model tuning. Ultimately, we highlight current pitfalls and new design directions that can improve the equity and efficacy of toxic content classifiers for all users.


POSEFusion Pose guided Selective Fusion for Single view Human Volumetric Capture. We propose POse guided SElective Fusion (POSEFusion), a single view human volumetric capture method that leverages tracking based methods and tracking free inference to achieve high fidelity and dynamic 3D reconstruction. By contributing a novel reconstruction framework which contains pose guided keyframe selection and robust implicit surface fusion, our method fully utilizes the advantages of both tracking based methods and tracking free inference methods, and finally enables the high fidelity reconstruction of dynamic surface details even in the invisible regions. We formulate the keyframe selection as a dynamic programming problem to guarantee the temporal continuity of the reconstructed sequence. Moreover, the novel robust implicit surface fusion involves an adaptive blending weight to preserve high fidelity surface details and an automatic collision handling method to deal with the potential self collisions. Overall, our method enables high fidelity and dynamic capture in both visible and invisible regions from a single RGBD camera, and the results and experiments show that our method outperforms state of the art methods.


Electron phase space control in photonic chip based particle acceleration. Particle accelerators are essential tools in science, hospitals and industry. Yet, their costs and large footprint, ranging in length from meters to several kilometres, limit their use. The recently demonstrated nanophotonics based acceleration of charged particles can reduce the cost and size of these accelerators by orders of magnitude. In this approach, a carefully designed nano structure transfers energy from laser light to the particles in a phase synchronous manner, thereby accelerating them. However, so far, confinement of the particle beam in the structure over extended distance has been elusive it requires complex control of the electron beam phase space and is mandatory to accelerate particles to the MeV range and beyond with minimal particle loss. Here, we demonstrate complex electron phase space control at optical frequencies in the 225 nanometre narrow channel of a record long photonic nanostructure. In particular, we experimentally show alternating phase focusing, a particle propagation scheme for, in principle, arbitrarily long minimal loss transport. We expect this work to enable MeV electron beam generation on a photonic chip, with direct ramification for new forms of radiotherapy and compact light sources, and other forms of electron phase space control resulting in narrow energy or zeptosecond bunched beams, for instance.


A Bayesian Approach for Medical Inquiry and Disease Inference in Automated Differential Diagnosis. We propose a Bayesian approach for both medical inquiry and disease inference, the two major phases in differential diagnosis. Unlike previous work that simulates data from given probabilities and uses ML algorithms on them, we directly use the Quick Medical Reference (QMR) belief network, and apply Bayesian inference in the inference phase and Bayesian experimental design in the inquiry phase. Moreover, we improve the inquiry phase by extending the Bayesian experimental design framework from one step search to multi step search. Our approach has some practical advantages as it is interpretable, free of costly training, and able to adapt to new changes without any additional effort. Our experiments show that our approach achieves new state of the art results on two simulated datasets, SymCAT and HPO, and competitive results on two diagnosis dialogue datasets, Muzhi and Dxy.


Partial Okounkov bodies and Duistermaat Heckman measures of non Archimedean metrics. Let X be a smooth projective variety. We construct partial Okounkov bodies associated to Hermitian pseudo effective line bundles (L, phi) on X . We show that partial Okounkov bodies are universal invariants of the singularity of phi . As an application, we generalize the theorem of Boucksom Chen and construct Duistermaat Heckman measures associated to finite energy metrics on the Berkovich analytification of an ample line bundle.


A Hybrid Reduced Order Model for nonlinear LES filtering. We develop a Reduced Order Model (ROM) for a Large Eddy Simulation (LES) approach that combines a three step algorithm called Evolve Filter Relax (EFR) with a computationally efficient finite volume method. The main novelty of our ROM lies in the use within the EFR algorithm of a nonlinear, deconvolution based indicator function that identifies the regions of the domain where the flow needs regularization. The ROM we propose is a hybrid projection data driven strategy a classical Proper Orthogonal Decomposition Galerkin projection approach for the reconstruction of the velocity and the pressure fields and a data driven reduction method to approximate the indicator function used by the nonlinear differential filter. This data driven technique is based on interpolation with Radial Basis Functions. We test the performance of our ROM approach on two benchmark problems 2D and 3D unsteady flow past a cylinder at Reynolds number 0 Re 100. The accuracy of the ROM is assessed against results obtained with the full order model for velocity, pressure, indicator function and time evolution of the aerodynamics coefficients.


4D Optically Reconfigurable Volumetric Metamaterials. Metamaterials are artificially created media, which allow introducing additional degrees of freedom into electromagnetic design by controlling constitutive material parameters. Reconfigurable time dependent metamaterials can further enlarge those capabilities by introducing a temporal variable as an additional controllable parameter. Here we demonstrate a first of its kind reconfigurable volumetric metamaterial based scatterer, wherein the electromagnetic properties are controlled dynamically with light. In particular, hybridized resonances in arrays of split ring resonators give rise to a collective mode that presents properties of artificial high frequency magnetism for centimeter waves. Resonant behavior of each individual ring is controlled with a photocurrent, which allows the fast tuning of macroscopic effective permeability. Thus, the artificial gigahertz magnon resonant excitation within a subwavelength spherical scatterer is governed by light intensity. Four dimensional control over electromagnetic scattering in both space and time opens new venues for modern applications, including wireless communications and automotive radars to name just a few.


Autonomous bot with ML based reactive navigation for indoor environment. Local or reactive navigation is essential for autonomous mobile robots which operate in an indoor environment. Techniques such as SLAM, computer vision require significant computational power which increases cost. Similarly, using rudimentary methods makes the robot susceptible to inconsistent behavior. This paper aims to develop a robot that balances cost and accuracy by using machine learning to predict the best obstacle avoidance move based on distance inputs from four ultrasonic sensors that are strategically mounted on the front, front left, front right, and back of the robot. The underlying hardware consists of an Arduino Uno and a Raspberry Pi 3B. The machine learning model is first trained on the data collected by the robot. Then the Arduino continuously polls the sensors and calculates the distance values, and in case of critical need for avoidance, a suitable maneuver is made by the Arduino. In other scenarios, sensor data is sent to the Raspberry Pi using a USB connection and the machine learning model generates the best move for navigation, which is sent to the Arduino for driving motors accordingly. The system is mounted on a 2 WD robot chassis and tested in a cluttered indoor setting with most impressive results.


Partitioned Coupling vs. Monolithic Block Preconditioning Approaches for Solving Stokes Darcy Systems. We consider the time dependent Stokes Darcy problem as a model case for the challenges involved in solving coupled systems. Keeping the model, its discretization, and the underlying numerics for the subproblems in the free flow domain and the porous medium constant, we focus on different solver approaches for the coupled problem. We compare a partitioned coupling approach using the coupling library preCICE with a monolithic block preconditioned one that is tailored to different formulations of the problem. Both approaches enable the reuse of already available iterative solvers and preconditioners, in our case, from the DuMux framework. Our results indicate that the approaches can yield performance and scalability improvements compared to using direct solvers Partitioned coupling is able to solve large problems faster if iterative solvers with suitable preconditioners are applied for the subproblems. The monolithic approach shows even stronger requirements on preconditioning, as standard simple solvers fail to converge. Our monolithic block preconditioning yields the fastest runtimes for large systems, but they vary strongly with the preconditioner configuration. Interestingly, using a specialized Uzawa preconditioner for the Stokes subsystem leads to overall increased runtimes compared to block preconditioners utilizing a more general algebraic multigrid. This highlights that optimizing for the non coupled cases does not always pay off.


Genetic Algorithms For Extractive Summarization. Most current work in NLP utilizes deep learning, which requires a lot of training data and computational power. This paper investigates the strengths of Genetic Algorithms (GAs) for extractive summarization, as we hypothesized that GAs could construct more efficient solutions for the summarization task due to their relative customizability relative to deep learning models. This is done by building a vocabulary set, the words of which are represented as an array of weights, and optimizing those set of weights with the GA. These weights can be used to build an overall weighting of a sentence, which can then be passed to some threshold for extraction. Our results showed that the GA was able to learn a weight representation that could filter out excessive vocabulary and thus dictate sentence importance based on common English words.


Weak Pontryagin's Maximum Principle for Optimal Control Problems Involving a General Analytic Kernel. We prove a duality relation and an integration by parts formula for fractional operators with a general analytical kernel. Based on these basic results, we are able to prove a new Gronwall's inequality and continuity and differentiability of solutions of control differential equations. This allow us to obtain a weak version of Pontryagin's maximum principle. Moreover, our approach also allow us to consider mixed problems with both integer and fractional order operators and derive necessary optimality conditions for isoperimetric variational problems and other problems of the calculus of variations.


Dynamic Lambda Field A Counterpart of the Bayesian Occupancy Grid for Risk Assessment in Dynamic Environments. In the context of autonomous vehicles, one of the most crucial tasks is to estimate the risk of the undertaken action. While navigating in complex urban environments, the Bayesian occupancy grid is one of the most popular types of maps, where the information of occupancy is stored as the probability of collision. Although widely used, this kind of representation is not well suited for risk assessment because of its discrete nature, the probability of collision becomes dependent on the tessellation size. Therefore, risk assessments on Bayesian occupancy grids cannot yield risks with meaningful physical units. In this article, we propose an alternative framework called Dynamic Lambda Field that is able to assess generic physical risks in dynamic environments without being dependent on the tessellation size. Using our framework, we are able to plan safe trajectories where the risk function can be adjusted depending on the scenario. We validate our approach with quantitative experiments, showing the convergence speed of the grid and that the framework is suitable for real world scenarios.


Revisiting Non Convexity in Topology Optimization of Compliance Minimization Problems. Purpose This is an attempt to better bridge the gap between the mathematical and the engineering physical aspects of the topic. We trace the different sources of non convexification in the context of topology optimization problems starting from domain discretization, passing through penalization for discreteness and effects of filtering methods, and end with a note on continuation methods. Design Methodology Approach Starting from the global optimum of the compliance minimization problem, we employ analytical tools to investigate how intermediate density penalization affects the convexity of the problem, the potential penalization like effects of various filtering techniques, how continuation methods can be used to approach the global optimum, and how the initial guess has some weight in determining the final optimum. Findings The non convexification effects of the penalization of intermediate density elements simply overshadows any other type of non convexification introduced into the problem, mainly due to its severity and locality. Continuation methods are strongly recommended to overcome the problem of local minima, albeit its step and convergence criteria are left to the user depending on the type of application. Originality Value In this article, we present a comprehensive treatment of the sources of non convexity in density based topology optimization problems, with a focus on linear elastic compliance minimization. We put special emphasis on the potential penalization like effects of various filtering techniques through a detailed mathematical treatment.


Clustered Sampling Low Variance and Improved Representativity for Clients Selection in Federated Learning. This work addresses the problem of optimizing communications between server and clients in federated learning (FL). Current sampling approaches in FL are either biased, or non optimal in terms of server clients communications and training stability. To overcome this issue, we introduce textit clustered sampling for clients selection. We prove that clustered sampling leads to better clients representatitivity and to reduced variance of the clients stochastic aggregation weights in FL. Compatibly with our theory, we provide two different clustering approaches enabling clients aggregation based on 1) sample size, and 2) models similarity. Through a series of experiments in non iid and unbalanced scenarios, we demonstrate that model aggregation through clustered sampling consistently leads to better training convergence and variability when compared to standard sampling approaches. Our approach does not require any additional operation on the clients side, and can be seamlessly integrated in standard FL implementations. Finally, clustered sampling is compatible with existing methods and technologies for privacy enhancement, and for communication reduction through model compression.


Readiness of the South African Agricultural Sector to Implement IoT. As the world's population increases, so does the demand for food. This demand for food in turn puts pressure on agriculture in many countries. The impact of climate change on the environment has made it difficult to produce food that may be necessary to accommodate the growing population. Due to these concerns, the agriculture sector is forced to move towards more efficient and sustainable methods of farming to increase productivity. There is evidence that the use of technology in agriculture has the potential to improve food production and food sustainability thereby addressing the concerns of food security. The Internet of Things (IoT) has been suggested as a potential tool for farmers to overcome the impact of climate change on food security. However, there is dearth of research on the readiness of implementing IoT in South Africa's agricultural sector. Therefore, this research aims to explore the readiness of the agricultural sector of South Africa for a wide implementation of IoT. This research conducts a desktop study through the lens of the PEST framework on the special case of South Africa. A thematic literature and documents review was deployed to examine the political, economic, societal and technological factors that may facilitate or impede the implementation of IoT in the agricultural sectors of South Africa. The findings suggest that the wide ranging political, economic, societal and technological constructs enable the implementation of IoT within South Africa's agricultural sector. The most important include current policies, technological infrastructure, access to internet, and mobile technology which places South Africa in a good position to implement IoT in agriculture.


Motion Aware Robotic 3D Ultrasound. Robotic three dimensional (3D) ultrasound (US) imaging has been employed to overcome the drawbacks of traditional US examinations, such as high inter operator variability and lack of repeatability. However, object movement remains a challenge as unexpected motion decreases the quality of the 3D compounding. Furthermore, attempted adjustment of objects, e.g., adjusting limbs to display the entire limb artery tree, is not allowed for conventional robotic US systems. To address this challenge, we propose a vision based robotic US system that can monitor the object's motion and automatically update the sweep trajectory to provide 3D compounded images of the target anatomy seamlessly. To achieve these functions, a depth camera is employed to extract the manually planned sweep trajectory after which the normal direction of the object is estimated using the extracted 3D trajectory. Subsequently, to monitor the movement and further compensate for this motion to accurately follow the trajectory, the position of firmly attached passive markers is tracked in real time. Finally, a step wise compounding was performed. The experiments on a gel phantom demonstrate that the system can resume a sweep when the object is not stationary during scanning.


Freiheitssatz and phase transition for the density model of random groups. Magnus' Freiheitssatz states that if a group is defined by a presentation with m generators and a single relator containing the last generating letter, then the first m 1 letters freely generate a free subgroup. We study an analogue of this theorem in the Gromov density model of random groups, showing a phase transition phenomenon at density d r min frac 1 2 , 1 log 2m 1 (2r 1) with 1 leq r leq m 1 we prove that for a random group with m generators at density d , if d d r then the first r letters freely generate a free subgroup whereas if d d r then the first r letters generate the whole group.


VinaFood21 A Novel Dataset for Evaluating Vietnamese Food Recognition. Vietnam is such an attractive tourist destination with its stunning and pristine landscapes and its top rated unique food and drink. Among thousands of Vietnamese dishes, foreigners and native people are interested in easy to eat tastes and easy to do recipes, along with reasonable prices, mouthwatering flavors, and popularity. Due to the diversity and almost all the dishes have significant similarities and the lack of quality Vietnamese food datasets, it is hard to implement an auto system to classify Vietnamese food, therefore, make people easier to discover Vietnamese food. This paper introduces a new Vietnamese food dataset named VinaFood21, which consists of 13,950 images corresponding to 21 dishes. We use 10,044 images for model training and 6,682 test images to classify each food in the VinaFood21 dataset and achieved an average accuracy of 74.81 when fine tuning CNN EfficientNet B0. (https github.com nguyenvd uit uit together dataset)


A baseline for multiple choice testing in the university classroom. There is a broad literature in multiple choice test development, both in terms of item writing guidelines and psychometric functionality as a measurement tool. However, most of the published literature concerns multiple choice testing in the context of expert designed high stakes standardized assessments, with little attention being paid to the use of the technique within non expert instructor created classroom examinations. In this work we present a quantitative analysis of a large corpus of multiple choice tests deployed in the classrooms of a primarily undergraduate university in Canada. Our report aims to establish three related things First, reporting on the functional and psychometric operation of 182 multiple choice tests deployed in a variety of courses at all undergraduate levels of education establishes a much needed baseline for actual as deployed classroom tests. Second, we motivate and present modified statistical measures such as item excluded correlation measures of discrimination and length normalized measures of reliability that should serve as useful parameters for future comparisons of classroom test psychometrics. Finally, we use the broad empirical data from our survey of tests to update widely used item quality guidelines.


Transfinite game values in infinite draughts. Infinite draughts, or checkers, is played just like the finite game, but on an infinite checkerboard extending without bound in all four directions. We prove that every countable ordinal arises as the game value of a position in infinite draughts. Thus, there are positions from which Red has a winning strategy enabling her to win always in finitely many moves, but the length of play can be completely controlled by Black in a manner as though counting down from a given countable ordinal.


Generating Self Contained and Summary Centric Question Answer Pairs via Differentiable Reward Imitation Learning. Motivated by suggested question generation in conversational news recommendation systems, we propose a model for generating question answer pairs (QA pairs) with self contained, summary centric questions and length constrained, article summarizing answers. We begin by collecting a new dataset of news articles with questions as titles and pairing them with summaries of varying length. This dataset is used to learn a QA pair generation model producing summaries as answers that balance brevity with sufficiency jointly with their corresponding questions. We then reinforce the QA pair generation process with a differentiable reward function to mitigate exposure bias, a common problem in natural language generation. Both automatic metrics and human evaluation demonstrate these QA pairs successfully capture the central gists of the articles and achieve high answer accuracy.


The Riemann Liouville fractional integral in Bochner Lebesgue spaces II. In this work we study the Riemann Liouville fractional integral of order alpha in(0,1 p) as an operator from L p(I X) into L q (I X) , with 1 leq q leq p (1 p alpha) , whether I t 0,t 1 or I t 0, infty) and X is a Banach space. When I t 0,t 1 , we prove an important property on the uniform continuity of this operator, regarding the order of integration, that allowed us to deduce necessary and sufficient conditions to ensure the compactness of the Riemann Liouville fractional integral, which was an open problem.


Recent Advances in Bianisotropic Boundary Conditions Theory, Capabilities, Realizations, and Applications. In recent years, new functionality and unprecedented wavefront control has been enabled by the introduction of bianisotropic metasurfaces. A bianisotropic metasurface is characterized by an electric response, a magnetic response, and an electromagnetic magnetoelectric response. In general, these metasur faces consists of an array of metallic or dielectric particles located within a subwavelength thick host medium, and are approximated and modelled as infinitely thin, idealized sheet boundaries defined along a surface. An appropriate sheet boundary condition which effectively models the tangential field discontinuity due to the array of magnetoelectric inclusions is the Generalized Sheet Transition Condition or GSTC. Several forms of the GSTC appear in literature. Here, we present each interpretation and show how they are related. Synthesis approaches unique to each form are overviewed. By utilizing the GSTC in metasurface design, new possibilities emerge which are not possible with conventional design techniques incorporating only electric or only magnetic responses. Since the metasurfaces are designed using bianisotropic boundary conditions, they must be realized using particles which contain magnetoelectric responses. This review article discusses the design of metasurfaces using the GSTC, and the bianisotropic particles used to realize GSTCs. Further, it discusses new and recent applications that have emerged due to bianisotropy, and future prospects in metasurface design using bianisotropic boundary conditions. The intent is to provide a comprehensive overview of metasurface design involving bianisotropy and for this review article to serve as a starting point for engineers and scientist that wish to introduce bianisotropy into metasurface design.


On free field realization of quantum affine W algebras. We find an explicit formula for the conformal vector of any quantum affine W algebra in its free field realization.


Back to the Feature Learning Robust Camera Localization from Pixels to Pose. Camera pose estimation in known scenes is a 3D geometry task recently tackled by multiple learning algorithms. Many regress precise geometric quantities, like poses or 3D points, from an input image. This either fails to generalize to new viewpoints or ties the model parameters to a specific scene. In this paper, we go Back to the Feature we argue that deep networks should focus on learning robust and invariant visual features, while the geometric estimation should be left to principled algorithms. We introduce PixLoc, a scene agnostic neural network that estimates an accurate 6 DoF pose from an image and a 3D model. Our approach is based on the direct alignment of multiscale deep features, casting camera localization as metric learning. PixLoc learns strong data priors by end to end training from pixels to pose and exhibits exceptional generalization to new scenes by separating model parameters and scene geometry. The system can localize in large environments given coarse pose priors but also improve the accuracy of sparse feature matching by jointly refining keypoints and poses with little overhead. The code will be publicly available at https github.com cvg pixloc.


Characterization of Collective Behaviors for Directed Signed Networks. This paper targets at exploring how to characterize collective behaviors of directed signed networks. The right eigenvector of the Laplacian matrix associated with zero eigenvalue is further investigated and its mathematical expression is proposed. It is shown that the right eigenvector plays an important role in determining the collective behaviors of directed signed networks. Furthermore, algebraic criteria are introduced for collective behaviors of directed signed networks, such as bipartite consensus, interval bipartite consensus and bipartite containment tracking. In addition, a simulation example is given to the correctness of our developed theoretical results.


Stronger Baseline for Person Re Identification. Person re identification (re ID) aims to identify the same person of interest across non overlapping capturing cameras, which plays an important role in visual surveillance applications and computer vision research areas. Fitting a robust appearance based representation extractor with limited collected training data is crucial for person re ID due to the high expanse of annotating the identity of unlabeled data. In this work, we propose a Stronger Baseline for person re ID, an enhancement version of the current prevailing method, namely, Strong Baseline, with tiny modifications but a faster convergence rate and higher recognition performance. With the aid of Stronger Baseline, we obtained the third place (i.e., 0.94 in mAP) in 2021 VIPriors Re identification Challenge without the auxiliary of ImageNet based pre trained parameter initialization and any extra supplemental dataset.


Space Shift Keying with Reconfigurable Intelligent Surfaces Phase Configuration Designs and Performance Analysis. Reconfigurable intelligent surface (RIS) assisted transmission and space shift keying (SSK) appear as promising candidates for future energy efficient wireless systems. In this paper, two RIS based SSK schemes are proposed to efficiently improve the error and throughput performance of conventional SSK systems, respectively. The first one, termed RIS SSK with passive beamforming (RIS SSK PB), employs an RIS for beamforming and targets the maximization of the minimum squared Euclidean distance between any two decision points. The second one, termed RIS SSK with Alamouti space time block coding (RIS SSK ASTBC), employs an RIS for ASTBC and enables the RIS to transmit its own Alamouti coded information while reflecting the incident SSK signals to the destination. A low complexity beamformer and an efficient maximum likelihood (ML) detector are designed for RIS SSK PB and RIS SSK ASTBC, respectively. Approximate expressions for the average bit error probabilities of the source and or the RIS are derived in closed form assuming ML detection. Extensive computer simulations are conducted to verify the performance analysis. Results show that RIS SSK PB significantly outperforms the existing RIS free and RIS based SSK schemes, and RIS SSK ASTBC enables highly reliable transmission with throughput improvement.


Effect of Vaccination to COVID 19 Disease Progression. A mathematical model of COVID 19 with minimal compartments is developed. The model is simple enough to fit data on confirmed cases, estimate the hidden infection figure and incorporate the effect of vaccination. With the effect of the new variant being considered, the model fits well with Philippine data of confirmed cases. With the fitted parameters, results show that a second peak, strikingly similar in magnitude to the first, is to be expected if the current transmission rate is increased by about 5 and already a complete disaster if it will go up to 20 . The model is then used to estimate time to achieve herd immunity considering natural immunity from being infected and vaccination plan of the country. Results show that if the plan of 200,000 vaccinated people per day is achieved then herd immunity can be attained by March 2022. But if only half of that is achieved the time could go up to February 2023.


An Improved Approximation Algorithm for the Minimum k Edge Connected Multi Subgraph Problem. We give a randomized 1 sqrt frac 8 ln k k approximation algorithm for the minimum k edge connected spanning multi subgraph problem, k ECSM.


The Expanding Universe of the Geometric Mean. In this paper the authors seek to trace in an accessible fashion the rapid recent development of the theory of the matrix geometric mean in the cone of positive definite matrices up through the closely related operator geometric mean in the positive cone of a unital C algebra. The story begins with the two variable matrix geometric mean, moves to the breakthrough developments in the multivariable matrix setting, the main focus of the paper, and then on to the extension to the positive cone of the C algebra of operators on a Hilbert space, even to general unital C algebras, and finally to the consideration of barycentric maps that grow out of the geometric mean on the space of integrable probability measures on the positive cone. Besides expected tools from linear algebra and operator theory, one observes a surprisingly substantial interplay with geometrical notions in metric spaces, particularly the notion of nonpositive curvature. Added features include a glance at the probabilistic theory of random variables with values in a metric space of nonpositive curvature, and the appearance of related means such as the inductive and power means.


Modeling of Personalized Privacy Disclosure Behavior A Formal Method Approach. In order to create user centric and personalized privacy management tools, the underlying models must account for individual users' privacy expectations, preferences, and their ability to control their information sharing activities. Existing studies of users' privacy behavior modeling attempt to frame the problem from a request's perspective, which lack the crucial involvement of the information owner, resulting in limited or no control of policy management. Moreover, very few of them take into the consideration the aspect of correctness, explainability, usability, and acceptance of the methodologies for each user of the system. In this paper, we present a methodology to formally model, validate, and verify personalized privacy disclosure behavior based on the analysis of the user's situational decision making process. We use a model checking tool named UPPAAL to represent users' self reported privacy disclosure behavior by an extended form of finite state automata (FSA), and perform reachability analysis for the verification of privacy properties through computation tree logic (CTL) formulas. We also describe the practical use cases of the methodology depicting the potential of formal technique towards the design and development of user centric behavioral modeling. This paper, through extensive amounts of experimental outcomes, contributes several insights to the area of formal methods and user tailored privacy behavior modeling.


Inertial based Integration with Transformed INS Mechanization in Earth Frame. This paper proposes to use a newly derived transformed inertial navigation system (INS) mechanization to fuse INS with other complementary navigation systems. Through formulating the attitude, velocity and position as one group state of group of double direct spatial isometries SE2(3), the transformed INS mechanization has proven to be group affine, which means that the corresponding vector error state model will be trajectory independent. In order to make use of the transformed INS mechanization in inertial based integration, both the right and left vector error state models are derived. The INS GPS and INS Odometer integration are investigated as two representatives of inertial based integration. Some application aspects of the derived error state models in the two applications are presented, which include how to select the error state model, initialization of the SE2(3) based error state covariance and feedback correction corresponding to the error state definitions. Extensive Monte Carlo simulations and land vehicle experiments are conducted to evaluate the performance of the derived error state models. It is shown that the most striking superiority of using the derived error state models is their ability to handle the large initial attitude misalignments, which is just the result of log linearity property of the derived error state models. Therefore, the derived error state models can be used in the so called attitude alignment for the two applications. Moreover, the derived right error state space model is also very preferred for long endurance INS Odometer integration due to the filtering consistency caused by its less dependence on the global state estimate.


Video Class Agnostic Segmentation with Contrastive Learning for Autonomous Driving. Semantic segmentation in autonomous driving predominantly focuses on learning from large scale data with a closed set of known classes without considering unknown objects. Motivated by safety reasons, we address the video class agnostic segmentation task, which considers unknown objects outside the closed set of known classes in our training data. We propose a novel auxiliary contrastive loss to learn the segmentation of known classes and unknown objects. Unlike previous work in contrastive learning that samples the anchor, positive and negative examples on an image level, our contrastive learning method leverages pixel wise semantic and temporal guidance. We conduct experiments on Cityscapes VPS by withholding four classes from training and show an improvement gain for both known and unknown objects segmentation with the auxiliary contrastive loss. We further release a large scale synthetic dataset for different autonomous driving scenarios that includes distinct and rare unknown objects. We conduct experiments on the full synthetic dataset and a reduced small scale version, and show how contrastive learning is more effective in small scale datasets. Our proposed models, dataset, and code will be released at https github.com MSiam video class agnostic segmentation.


DoSSIER COLIEE 2021 Leveraging dense retrieval and summarization based re ranking for case law retrieval. In this paper, we present our approaches for the case law retrieval and the legal case entailment task in the Competition on Legal Information Extraction Entailment (COLIEE) 2021. As first stage retrieval methods combined with neural re ranking methods using contextualized language models like BERT achieved great performance improvements for information retrieval in the web and news domain, we evaluate these methods for the legal domain. A distinct characteristic of legal case retrieval is that the query case and case description in the corpus tend to be long documents and therefore exceed the input length of BERT. We address this challenge by combining lexical and dense retrieval methods on the paragraph level of the cases for the first stage retrieval. Here we demonstrate that the retrieval on the paragraph level outperforms the retrieval on the document level. Furthermore the experiments suggest that dense retrieval methods outperform lexical retrieval. For re ranking we address the problem of long documents by summarizing the cases and fine tuning a BERT based re ranker with the summaries. Overall, our best results were obtained with a combination of BM25 and dense passage retrieval using domain specific embeddings.


Video Moment Retrieval with Text Query Considering Many to Many Correspondence Using Potentially Relevant Pair. In this paper we undertake the task of text based video moment retrieval from a corpus of videos. To train the model, text moment paired datasets were used to learn the correct correspondences. In typical training methods, ground truth text moment pairs are used as positive pairs, whereas other pairs are regarded as negative pairs. However, aside from the ground truth pairs, some text moment pairs should be regarded as positive. In this case, one text annotation can be positive for many video moments. Conversely, one video moment can be corresponded to many text annotations. Thus, there are many to many correspondences between the text annotations and video moments. Based on these correspondences, we can form potentially relevant pairs, which are not given as ground truth yet are not negative effectively incorporating such relevant pairs into training can improve the retrieval performance. The text query should describe what is happening in a video moment. Hence, different video moments annotated with similar texts, which contain a similar action, are likely to hold the similar action, thus these pairs can be considered as potentially relevant pairs. In this paper, we propose a novel training method that takes advantage of potentially relevant pairs, which are detected based on linguistic analysis about text annotation. Experiments on two benchmark datasets revealed that our method improves the retrieval performance both quantitatively and qualitatively.


The cohomology of framed moduli spaces and the coordinate ring of torus fixed points of quotient singularities. If two conical symplectic resolutions X to X 0 and X ! to X 0 ! are symplectic dual, the cohomology ring H (X) and the coordinate ring of mathbb C fixed points in X 0 ! are expected to be isomorphic as graded algebras. This statement is called Hikita conjecture and it is known that the conjecture holds for some cases. In this paper, we deal with the cohomology of framed moduli spaces over the projective plane and the coordinate ring of mathbb C fixed points of mathbb C 2n (( mathbb Z r mathbb Z ) wr S n) and show that these are isomorphic as graded vector spaces.


Strichartz estimates for higher order Schr "odinger equations and their applications. In this paper, we consider the higher order linear Schr "odinger equations, that is, a formal finite Taylor expansion of the linear pseudo relativistic equation. We establish the global in time Strichartz estimates for these higher order equations which hold uniformly in the speed of light. As nonlinear applications, we show that the higher order Hartree( Fock) equation approximates the corresponding pseudo relativistic equation on an arbitrarily long time interval, with higher accuracy than the non relativistic equation. We also prove small data scattering for the higher order nonlinear Schr "odinger equations.


On exact estimates of the order of approximation of functions of several variables in the anisotropic Lorentz Zygmund space. In this paper we consider L overline p , overline alpha, overline tau ( mathbb T m ) anisotropic Lorentz Zyg mu nd space 2 pi of periodic functions of m variables and Nikol'skii Besov's class S overline p , overline alpha, overline tau , bar theta bar r B . In this paper, we establish order sharp estimates of the best approximation by trigonometric polynomials with harmonic numbers from the step hyperbolic cross of functions from the Nikol'skii Besov class in the norm of the anisotropic Lorentz Zygmund space.


Aggregated Multi GANs for Controlled 3D Human Motion Prediction. Human motion prediction from historical pose sequence is at the core of many applications in machine intelligence. However, in current state of the art methods, the predicted future motion is confined within the same activity. One can neither generate predictions that differ from the current activity, nor manipulate the body parts to explore various future possibilities. Undoubtedly, this greatly limits the usefulness and applicability of motion prediction. In this paper, we propose a generalization of the human motion prediction task in which control parameters can be readily incorporated to adjust the forecasted motion. Our method is compelling in that it enables manipulable motion prediction across activity types and allows customization of the human movement in a variety of fine grained ways. To this aim, a simple yet effective composite GAN structure, consisting of local GANs for different body parts and aggregated via a global GAN is presented. The local GANs game in lower dimensions, while the global GAN adjusts in high dimensional space to avoid mode collapse. Extensive experiments show that our method outperforms state of the art. The codes are available at https github.com herolvkd AM GAN.


K polystability of 3 dimensional log Fano pairs of Maeda type. Using the Abban Zhuang theory and the classification of three dimensional log smooth log Fano pairs due to Maeda, we prove that threefold log Fano pairs (X, D) of Maeda type with reducible boundary D are K unstable, with four exceptions. We also correct several inaccuracies in Maeda's classification.


A remark on singular cohomology and sheaf cohomology. We prove a comparison isomorphism between singular cohomology and sheaf cohomology.


A comparison of Cahn Hilliard and Navier Stokes Cahn Hilliard models on manifolds. We consider phase field models with and without lateral flow for the numerical simulation of lateral phase separation and coarsening in lipid membranes. For the numerical solution of these models, we apply an unfitted finite element method that is flexible in handling complex and possibly evolving shapes in the absence of an explicit surface parametrization. Through several numerical tests, we investigate the effect of the presence of lateral flow on the evolution of phases. In particular, we focus on understanding how variable line tension, viscosity, membrane composition, and surface shape affect the pattern formation. Keywords Lateral phase separation, surface Cahn Hilliard equation, lateral flow, surface Navier Stokes Cahn Hilliard system, TraceFEM


Asymptotic analysis of Poisson shot noise processes, and applications. Poisson shot noise processes are natural generalizations of compound Poisson processes that have been widely applied in insurance, neuroscience, seismology, computer science and epidemiology. In this paper we study sharp deviations, fluctuations and the stable probability approximation of Poisson shot noise processes. Our achievements extend, improve and complement existing results in the literature. We apply the theoretical results to Poisson cluster point processes, including generalized linear Hawkes processes, and risk processes with delayed claims. Many examples are discussed in detail.


LeQua CLEF2022 Learning to Quantify. LeQua 2022 is a new lab for the evaluation of methods for "learning to quantify" in textual datasets, i.e., for training predictors of the relative frequencies of the classes of interest in sets of unlabelled textual documents. While these predictions could be easily achieved by first classifying all documents via a text classifier and then counting the numbers of documents assigned to the classes, a growing body of literature has shown this approach to be suboptimal, and has proposed better methods. The goal of this lab is to provide a setting for the comparative evaluation of methods for learning to quantify, both in the binary setting and in the single label multiclass setting. For each such setting we provide data either in ready made vector form or in raw document form.


MultiplexNet Towards Fully Satisfied Logical Constraints in Neural Networks. We propose a novel way to incorporate expert knowledge into the training of deep neural networks. Many approaches encode domain constraints directly into the network architecture, requiring non trivial or domain specific engineering. In contrast, our approach, called MultiplexNet, represents domain knowledge as a logical formula in disjunctive normal form (DNF) which is easy to encode and to elicit from human experts. It introduces a Categorical latent variable that learns to choose which constraint term optimizes the error function of the network and it compiles the constraints directly into the output of existing learning algorithms. We demonstrate the efficacy of this approach empirically on several classical deep learning tasks, such as density estimation and classification in both supervised and unsupervised settings where prior knowledge about the domains was expressed as logical constraints. Our results show that the MultiplexNet approach learned to approximate unknown distributions well, often requiring fewer data samples than the alternative approaches. In some cases, MultiplexNet finds better solutions than the baselines or solutions that could not be achieved with the alternative approaches. Our contribution is in encoding domain knowledge in a way that facilitates inference that is shown to be both efficient and general and critically, our approach guarantees 100 constraint satisfaction in a network's output.


The Concept of Truth. On the basis of elementary thinking about language functioning, a solution of truth paradoxes is given and a corresponding semantics of a truth predicate is founded. It is shown that it is precisely the two valued description of the maximal intrinsic fixed point of the strong Kleene three valued semantics.


Joint Management and Analysis of Textual Documents and Tabular Data within the AUDAL Data Lake. In 2010, the concept of data lake emerged as an alternative to data warehouses for big data management. Data lakes follow a schema on read approach to provide rich and flexible analyses. However, although trendy in both the industry and academia, the concept of data lake is still maturing, and there are still few methodological approaches to data lake design. Thus, we introduce a new approach to design a data lake and propose an extensive metadata system to activate richer features than those usually supported in data lake approaches. We implement our approach in the AUDAL data lake, where we jointly exploit both textual documents and tabular data, in contrast with structured and or semi structured data typically processed in data lakes from the literature. Furthermore, we also innovate by leveraging metadata to activate both data retrieval and content analysis, including Text OLAP and SQL querying. Finally, we show the feasibility of our approach using a real word use case on the one hand, and a benchmark on the other hand.


Synchronization of non solitonic Kerr combs. Synchronization is a ubiquitous phenomenon in nature that manifests as the spectral or temporal locking of coupled nonlinear oscillators. In the field of photonics, synchronization has been implemented in various laser and oscillator systems, enabling applications including coherent beam combining and high precision pump probe measurements. Recent experiments have also shown time domain synchronization of Kerr frequency combs via coupling of two separate oscillators operating in the dissipative soliton i.e., anomalous group velocity dispersion (GVD) regime. Here, we demonstrate all optical synchronization of Kerr combs in the non solitonic, normal GVD regime in which phase locked combs with high pump to comb conversion efficiencies and relatively flat spectral profiles are generated. Our results reveal the universality of Kerr comb synchronization and extend its scope beyond the soliton regime, opening a promising path towards coherently combined normal GVD Kerr combs with spectrally flat profiles and high comb line powers in an efficient microresonator platform.


On analytic groupoid cardinality. Groupoids graded by the groupoid of bijections between finite sets admit generating functions which encode the groupoid cardinalities of their graded components. We use analytic continuation of such generating functions to define a complex valued cardinality for groupoids whose usual groupoid cardinality diverges. The complex nature of such a cardinality invariant is shown to reflect a recursion of structure which we refer to as nested equivalence'.