Miracle-dz/UniFAR-FTUs huggingface dataset:
Optimized kinematics enable both aerial and aquatic propulsion from a single three-dimensional flapping wing

Flapping wings in nature demonstrate a large force envelope, with capabilities far beyond the traditional limits of static airfoil section coefficients. Puffins, murres, and other auks particularly showcase this effect, as they are able to generate both enough thrust to swim and enough lift to fly, using the same wing, purely by changing the wing motion trajectory. The wing trajectory is therefore an additional design criterion to be optimized along with traditional aircraft parameters and could open the door to dual aerial-aquatic robotic vehicles. In this paper we showcase one realization of a three-dimensional flapping-wing actuation system that reproduces the force coefficients necessary for dual aerial-aquatic flight. The wing apparatus oscillates by the root and employs an active upstream and downstream sweep degree of freedom. We analyze two types of motions in detail: aerial motions where the wing tip moves upstream during the power stroke of each flapping cycle and aquatic motions where the wing tip moves downstream during the power stroke. We design these aerial and aquatic flapping-wing trajectories using an experiment-coupled optimization routine, allowing control of the unsteady forces throughout each flapping cycle. Additionally, we elucidate the wakes of these complex wing trajectories using dye visualization, correlating the wake vortex structures with simultaneous experiment force measurements. After optimization, the wing trajectories generate the large force envelope necessary for propulsion in both fluid media and furthermore demonstrate improved control over the unsteady wake.
Accuracy of white box and black box adversarial attacks on a sign activation 01 loss neural network ensemble

In this work we ask the question: is an ensemble of single hidden layer sign activation 01 loss networks more robust to white box and black box adversarial attacks than an ensemble of its differentiable counterpart of cross-entropy loss with relu activations and an ensemble of the approximate differentiable counterpart of cross-entropy loss with sign activations? We consider a simple experimental setting of attacking models trained for binary classification on pairwise CIFAR10 datasets - altogether a total of 45 datasets. We study ensembles of bcebp : binary cross-entropy loss with relu activations trained with back-propagation, bceban : binary cross-entropy loss with sign activations trained with back-propagation with the straight through estimator gradient, 01scd : 01-loss with sign activations trained with gradient-free stochastic coordinate descent, and bcescd : binary cross-entropy loss with relu activation trained with gradient-free stochastic coordinate descent (to isolate the effect of 01 loss from gradient-free training). We train each model in an ensemble with a different random number generator seed. Our four models have similar mean test accuracies in the mid to high 80s on pairwise CIFAR10 datasets but under powerful PGD white-box attacks they each drop to near 0% except for our 01 loss network ensemble that has 31% accuracy. Even training with the gradient-free stochastic coordinate descent can be attacked thus suggesting that the defense lies in 01 loss. In a black-box transfer attack we find adversaries produced from the bcebp model fully transfer to bceban but much less to 01scd - we see the same transferability pattern from bceban to bcebp and 01scd. We also find that adversaries from 01scd barely transfer to bcebp and bceban. While our results are far from those of multi-class
Enumerating meandric systems with large number of components

We investigate meandric systems with large number of connected components using tools inspired by free probability. For any fixed integer $r$, we express the generating function of meandric systems on $2n$ points with $n-r$ connected components in terms of a finite (the size depends on $r$) subclass of irreducible meanders, via the moment-cumulant formula from free probability theory. We show that the generating function, after an appropriate change of variable, is a rational function, and we bound its degree. Exact expressions for the generating functions are obtained for $r \leq 6$, as well as the asymptotic behavior of the meandric numbers for general $r$.
Implementation and Test of a Weighted Fair Queuing (WFQ) I/O Request Scheduler

: This report describes the work conducted by Alessa Mayer during a two-month internship in the Inria center of the University of Bordeaux, as a member of the Tadaam team. During her internship, her advisors were Luan Teylo and Francieli Boito. The goal of the internship was to implement and test the weighted fair queuing scheduling algorithm applied to I/O requests, and to integrate it into the AGIOS I/O scheduling library. That scheduler will be used to implement the I/O Sets method, proposed by members of the team in a recent paper.
Electronic structure and nearly room-temperature ferromagnetism in V-doped monolayer and bilayer MoS2

The electronic structure, magnetic properties and ferromagnetic transition temperature (Tc) of Vandium (V) doped monolayer (ML) and bilayer (BL) MoS2 are investigated using density function theory (DFT) plus on-site Hubbard potential correction (U). The results show that substitution of V dopant atom at the Mo sites are energetically favorable and magnetic interaction between two dopants in ML and BL MoS2 oscillates from ferromagnetic (FM) to antiferromagnetic (AF) depending on atomic distance between dopants. Our result also shows that a pair of V dopants in different layers of BL MoS2 interacts antiferromagnetically. Moreover, it is obtained that interlayer interaction in BL MoS2 affects the magnetic interaction in V-doped BL MoS2. The calculated ferromagnetic transition temperatures (Tc) value for impurity concentration of 12.5% and 22.22% are 242 and 285 K, respectively, for ML phase. However, for BL phase T[Formula: see text] values are 187 and 256 K for concentration of 6.25% and 11.11%, respectively, these values are closer to room-temperature. Our calculations indicate that, V-doped ML and BL MoS2 are promising candidates for 2D dilute magnetic semiconductors for spintronics applications.
Knowledge Acquisition Process: A Case Study on Cellular Telephony

Nowadays telecommunication operators need to create automatic techniques to know the large and complex amount of data generated during their daily operations, such operations mainly include: billing, services accounting, traffic measurements among others. This paper shows the use of the Bayesian Model to make inferences on the behavior of a telecommunication network using a large database of Calling Detailed Record (CDR) which are used to billing proposal for voice service, but on these records are stored important information about many events that frequently occur on the telephony network.
Sliding-mode Control For The Decoupled Power Control Of Doubly-fed Induction Generator

Filipe S. Trindade*, Alfeu J. Sguarezi Filho**, Rogério V. Jacomini**, José A. T. Altuna** and Ernesto Ruppert* * School of Electrical and Computer Engineering of State of Campinas UNICAMP Campinas, Brazil **Centro de Engenharia, Modelagem e Ciências Sociais Aplicadas da Universidade Federal do ABC UFABC Santo André, Brazil fstrindade@gmail.com, alfeu.sguarezi@ufabc.edu. br, rogeriovj@yahoo.com. br and ruppert@fee.unicamp. br Abstract This paper proposes a decoupled control of active and reactive power for doubly-fed induction generators (DFIG) by using the rotor current control loop and sliding mode control (SMC). In order to decouple the active and reactive power generated, stator-fluxoriented vector control is applied. The sliding mode control strategy proposes is based on two sliding modes plus PI controllers whose main advantage is the easy implementation. Simulation and experimental results are presented to validate the proposed control scheme for a 2 kW DFIG during stator active and reactive power steps and rotor speed variation. During transient operation it is checked good dynamic response.
Isoluminant Color Halftoning for Generating Pointillistic Tile Images and Photomosaics

We propose a non-photorealistic (NPR) rendering technique for generating mosaic images of which color composition is analogous to the pointillistic paintings. Input images are firstly downsampled. Next, the downsampled image is halftoned in the way where the luminance is preserved while the hue of colors is different between adjacent pixels. Finally, the halftoned image is upsampled to the original size of the input image by pasting patch images to each pixel in the halftoned image with preserving the average color of patches. When patches are geometrical tiles, results are colorful tile images while if the patches are small photographs then the enlarged image yields photomosaics.
Well-posedness and stability of solutions for set optimization problems

Abstract In this paper, some characterizations for the generalized l-B-well-posedness and the generalized u-B-well-posedness of set optimization problems are given. Moreover, the Hausdorff upper semi-continuity of l-minimal solution mapping and u-minimal solution mapping are established by assuming that the set optimization problem is l-H-well-posed and u-H-well-posed, respectively. Finally, the upper semi-continuity and the lower semi-continuity of solution mappings to parametric set optimization problems are investigated under some suitable conditions.
Barely Visible Impact Damage Identification in a 3D Core Sandwich Structure

3D core sandwich structure (3DCSS) is a popular lightweight construction material in the automotive, aerospace and marine industries. But, barely visible low-speed impact-damage (BVLID) may occur in 3DCSS due to foreign-object-impact that can significantly reduce the load-bearing capacity of the structure. This paper presents a guided wave (GW) propagation based BVLID identification technique for the 3DCSS. A global-matrix formulation based semi-analytical model is applied to generate the dispersion curve for GW propagation in 3DCSS. It is observed that the GW propagation in 3DCSS is multi-modal in nature. Finite element numerical simulation of GW propagation in the 3DCSS is carried out in Abaqus. A significant increment in the primary antisymmetric mode is noticed due to the presence of BVLID region in the structure. Experiments are then conducted on a sample 3DCSS to validate the simulation results. A good agreement is observed between the simulation and experimental results, in all the cases.
Modelling Deep Etched Optical Waveguide Step Discontinuities

Gratings are important components for optoelectronic applications such as high reflectivity mirrors in distributed Bragg reflector (DBR) lasers and as wavelength dependent filters. Most theoretical methods use the coupled mode theory which is only suitable for very shallow etched structures. As the etch depth of the structure increases, radiation becomes important, and must be included in the calculation.
Experimental evaluation of in ﬂ uence of FADs on community structure and ﬁ sheries in coastal Kenya

– Fish aggregating devices (FADs) have been widely used by commercial ﬁ sheries to increase the catchabilityofpelagicstocksintheopensea.FADshavethepotentialtoenhancenearshoresmall-scale ﬁ sheries where stocks are often over ﬁ shed. This study examined changes in catch composition, abundance, catch and effort, and aspects of diversity in Kenya's nearshore coastal ﬁ sheries after deployment of anchored ﬁ sh aggregating devices (AFADs). The study combined both ﬁ shery independent and dependent methods in assessing changes in ﬁ sh assemblages post-deployment. Results showed orders of magnitude increase in length, weight, commercial value, and catch per unit effort (CPUE) of landed catch after deployment of FADs suggesting that FADs had a positive effect on the local ﬁ shery. Species richness at FAD sites increased post-deployment ( n = 281) compared to pre-deployment values ( n = 223). Simultaneous use of several complementary structural indices may be required in order to accurately describe and monitor ﬁ sh assemblages around the FADs. The ﬁ ndings suggest that AFADs are capable of creating both short and long-term impacts on livelihoods, with the potential to de ﬂ ect pressure on the over ﬁ shed nearshore ﬁ sh stocks. However, more research will be needed on redistribution of ﬁ sh around FADs
1 Measurement report: Brown Carbon Aerosol in Polluted Urban Air of North China Plain: 1 Day-night Differences in the Chromophores and Optical Properties

Brown carbon (BrC) aerosol is light-absorbing organic carbon that affects radiative 16 forcing and atmospheric photochemistry. The BrC chromophoric composition and its linkage 17 to optical properties at the molecular level, however, are still not well characterized. In this 18 study, we investigate the day-night differences in the chromophoric composition (38 species) 19 and optical properties of water-soluble and water-insoluble BrC fractions (WS-BrC and WIS-20 BrC) in aerosol samples collected in Shijiazhuang, one of the most polluted cities in China. We 21 found that the light absorption contribution of WS-BrC to total BrC at 365 nm was higher during 22 the day (62 ± 8%) than during the night (47 ± 26%), which is in line with the difference in 23 chromophoric polarity between daytime (more polar nitrated aromatics) and nighttime (more 24 less-polar polycyclic aromatic hydrocarbons, PAHs). The high polarity and water solubility of 25 BrC in daytime suggests the enhanced contribution of secondary formation to BrC during the 26 day. There was a decrease of the mass absorption efficiency of BrC from nighttime to daytime 27 (2.88 ± 0.24 vs. 2.58 ± 0.14 for WS-BrC and 1.43 ± 0.83 vs. 1.02 ± 0.49 m 2 g C -1 for WIS-BrC, 28 respectively). Large polycyclic aromatic hydrocarbons (PAHs) with 4–6-rings PAHs and 29 nitrophenols contributed to 76.7% of the total light absorption between 300–420 nm at night 30 time, while nitrocatechols and 2–3-ring oxygenated PAHs accounted for 52.6% of the total light 31 absorption at day. The total mass concentrations of the identified chromophores showed larger 32 day-night difference during the low-pollution period (day-to-night ratio of 4.3) than during the 33 high-pollution period (day-to-night ratio of 1.8). The large day-night difference in BrC 34 composition and absorption, therefore, should be
Gender heterogeneity in peer effects on work: Evidence from multidimensional social networks in rural India

We investigate heterogeneous peer effects on male and female employment outcomes through various social networks in developing areas. Using data on social networks in rural India, we find a strong peer influence on female labor supply, regardless of peer types, such as friends, relatives, and risk-sharing partners, whereas men’s work decisions seem to be unaffected. The peer effects on female labor supply are mostly driven by peers’ aggregate outcome rather than the average outcome of peers. The results indicate the presence of social multiplier effects such that having more women who work in rural villages amplifies women’s labor force participation. The same-gender network neighbors have a stronger impact on the female labor supply than the opposite-gender peers. Moreover, we find that women respond to peers’ aggregate decisions on working outside their village, whereas men’s work locations are more subject to peers’ average outcome. Our findings imply that policymakers could utilize social network information to improve women’s employment and welfare
Verification-Driven Design for Asynchronous VLSI

Although verification has widespread use in hardware design, there is still a gap in verifying the functional description of hardware against its detailed design. In this paper, we present our effort to close that gap. Drawing an analogy from test-driven development in software development, we propose the idea of verification-driven design for hardware design—the hardware design flow should be engineered in a verification-friendly way. We showcase this idea by leveraging a methodology in asynchronous circuit design that is similar to software optimization—complicated, parallel microarchitectural optimizations are derived from a simple, sequential functional description through iterative rewriting. We propose a technique to formally verify these transformations of hardware designs by extending the state-of-the-art translation validation algorithm for software verification. This approach is demonstrated by a superscalar processor example. We assert that our parallel superscalar processor design is equivalent to a sequential non-superscalar processor specification using the translation validation technique presented in this paper.
Spatiotemporal Mapping of Brain Cilia Reveals Region-Specific Oscillation of Length and Orientation

In this study, we conducted high-throughput spatiotemporal analysis of primary cilia length and orientation across 22 mouse brain regions. We developed automated image analysis algorithms, which enabled us to examine over 10 million individual cilia, generating the largest spatiotemporal atlas of cilia. We found that cilia length and orientation display substantial variations across different brain regions and exhibit fluctuations over a 24-hour period, with region-specific peaks during light-dark phases. Our analysis revealed unique orientation patterns of cilia at 45° intervals, suggesting that cilia orientation within the brain is not random but follows specific patterns. Using BioCycle, we identified circadian rhythms of cilia length in five brain regions: nucleus accumbens core, somatosensory cortex, and three hypothalamic nuclei. Our findings present novel insights into the complex relationship between cilia dynamics, circadian rhythms, and brain function, highlighting cilia crucial role in the brain’s response to environmental changes and regulation of time-dependent physiological processes.
Optimization of the Brain Command Dictionary in Silent Speech Recognition Task Based on Statistical Proximity Criterion.

—In our work, we focus on silent speech recognition in electroencephalography (EEG) in order to develop a new brain-computer interface (BCI) with a manipulator which will be capable of assisting people with physical disabilities. We have previously shown that the silent speech of some words leads to almost identical distributions of electroencephalographic signal data. In this paper, we continue to develop the previously proposed research topic of algorithmic maximization of the semantic load of a dictionary for BCI. We propose a predictive criterion for the accuracy of classifying words in a dictionary whose aim is to estimate the classifiers’ behavior only by measuring statistical criterion (The Kolmogorov-Smirnov method) of the data. The application of this predictive criterion helps to achieve higher levels of accuracy for neural network classifiers. The use of the proposed approach makes it possible to form a dictionary for the EEG-based BCIs, taking into account the semantic and phonetic proximity of words with the possibility of increasing the silent speech recognition accuracy.
Toward Verification of the 𝜸 − 𝑹𝒆 𝜽𝒕 Transition Model in OVERFLOW and FUN3D

The results of an ongoing assessment of the transition modeling capability in NASA's OVERFLOW and FUN3D codes are presented, with a focus on the Langtry-Menter γ - Re θ t transition model in combination with the shear-stress transport (SST) turbulence model. While the effect of numerics and boundary conditions on the accuracy and iterative convergence of RANS solutions for fully turbulent flows has been well documented, especially in the context of canonical flow configurations, the same cannot be said for transport-equation-based transition models coupled with RANS-based turbulence models. Given the criticality of transition modeling for new aircraft design and optimization, there has been a renewed focus on the accuracy of such transition models and their inconsistent implementation across different flow solvers as seen from the AIAA and NATO-AVT workshops. In this work, we aim to establish the verification of such models via these two well established CFD codes with different numerics. The goal is to produce high-quality data, such as grids, solutions, and other auxiliary data, that may be utilized for code verification by others in the CFD community. As a first step, the work reported here is focused on the Langtry-Menter transition model as applied to two simple 2D configurations, namely the flat plate, and the NLF-0416, respectively. The paper also highlights how the boundary conditions and baseline turbulence model can affect the solutions from the SST-based Langtry-Menter transition model. A preliminary evaluation of the automatic mesh adaption capabilities of these solvers and potential benefits for flow configurations involving a mix of laminar, transitional, and fully turbulent flows is also reported.
A new approach to correct yaw misalignment in the spinning ultrasonic anemometer

Single-axis ultrasonic anemometers are the modern instruments for accurate wind speed measurements. Despite their widespread and ever increasing applications, little attention has been paid up to now to spinning ultrasonic anemometers that can accurately measure both the wind speed and its direction in a single and robust apparatus. In this study, intensive wind-tunnel tests were conducted on a spinning single-axis ultrasonic anemometer to investigate the yaw misalignment in ultrasonic wind speed measurements during the yaw rotation. The anemometer was rotating inside the test section with various angular velocities, and the experiments were performed at several combinations of wind speed and anemometer angular velocity. The instantaneous angular position of the ultrasonic signal path with wind direction was measured using an angular position sensor. For a spinning anemometer, the circulatory wake and the associated flow distortion, along with the Doppler effect, impart a phase shift in the signals measured by the anemometer, which should be added to the position data for correcting the yaw misalignment. In this paper, the experimental data are used to construct a theoretical model, based on a response surface method, to correct the phase shift for various wind speeds and anemometer rotational velocities. This model is shown to successfully correct the velocity indicated by the spinning anemometer for the phase shift due to the rotation, and can easily be used in the calibration process for such anemometers.
L 2 − L ∞ control for memristive NNs with non-necessarily di ff erentiable time-varying delay

: This paper investigates L 2 −L ∞ control for memristive neural networks (MNNs) with a non-necessarily di ff erentiable time-varying delay. The objective is to design an output-feedback controller to ensure the L 2 −L ∞ stability of the considered MNN. A criterion on the L 2 −L ∞ stability is proposed using a Lyapunov functional, the Bessel-Legendre inequality, and the convex combination inequality. Then, a linear matrix inequalities-based design scheme for the required output-feedback controller is developed by decoupling nonlinear terms. Finally, two examples are presented to verify the proposed L 2 − L ∞ stability criterion and design method.