Search

The pursuit of targeted therapies capable of overcoming biological barriers, including the tenacious blood-brain barrier, has spurred the investigation into stimuli-responsive microagents. This approach could improve therapeutic efficacy, reduce undesirable side effects, and open avenues for treating previously incurable diseases. Intravenously-administered ultrasound-responsive microbubbles are one of the most promising agents, having demonstrated potential in several clinical trials. However, the mechanism by which microbubbles enhance drug absorption remains unclear. Here, we reveal through unprecedented time-resolved side-view visualisations that single microbubbles, upon microsecond-long ultrasound driving, puncture the cell membrane and induce drug uptake via stable cyclic microjets. Our theoretical models successfully reproduce the observed bubble and cell dynamic responses. We find that cyclic jets arise from shape instabilities, warranting recognition as a novel class of jets in bubbles, distinct from classical inertial jets driven by pressure gradients. We also establish a threshold for bubble radial expansion beyond which microjets form and facilitate cellular permeation. Remarkably, these microjets occur at ultrasound pressures below 100 kPa due to their unique formation mechanism. We show that the stress generated by microjetting surpasses all previously suggested mechanisms by at least an order of magnitude. In summary, this work elucidates the physics behind microbubble-mediated targeted drug delivery and provides criteria for its effective yet safe application.

Action-dependent field theories are systems where the Lagrangian or Hamiltonian depends on new variables that encode the action. After a friendly introduction, we make a quick presentation of a new mathematical framework for action-dependent field theory: multicontact geometry. The formalism is illustrated in a variety of action-dependent Lagrangians, some of which are regular and other singular, that come from some well-known theories whose Lagrangians have been modified to incorporate action-dependent terms. Detailed computations are provided, including the constraint algorithm, in both the Lagrangian and Hamiltonian formalisms. They include the Klein-Gordon equation, the Bosonic string theory, Metric-affine gravity, Maxwell's electromagnetism, (2+1)-dimensional gravity and Chern-Simons equation, and the heat equation and Burgers' equation., Comment: 37 pages, plus appendix and references

We study the impact of black hole nuclear activity on both the global and radial star formation rate (SFR) profiles in X-ray-selected active galactic nuclei (AGN) in the field of miniJPAS, the precursor of the much wider J-PAS project. Our sample includes 32 AGN with z < 0.3 detected via the XMM-Newton and Chandra surveys. For comparison, we assembled a control sample of 71 star-forming (SF) galaxies with similar magnitudes, sizes, and redshifts. To derive the global properties of both the AGN and the control SF sample, we used CIGALE to fit the spectral energy distributions derived from the 56 narrowband and 4 broadband filters from miniJPAS. We find that AGN tend to reside in more massive galaxies than their SF counterparts. After matching samples based on stellar mass and comparing their SFRs and specific SFRs (sSFRs), no significant differences appear. This suggests that the presence of AGN does not strongly influence overall star formation. However, when we used miniJPAS as an integral field unit (IFU) to dissect galaxies along their position angle, a different picture emerges. We find that AGN tend to be more centrally concentrated in mass with respect to SF galaxies. Moreover, we find a suppression of the sSFR up to 1Re and then an enhancement beyond 1Re , strongly contrasting with the decreasing radial profile of sSFRs in SF galaxies. This could point to an inside-out quenching of AGN host galaxies. These findings suggest that the reason we do not see differences on a global scale is because star formation is suppressed in the central regions and enhanced in the outer regions of AGN host galaxies. While limited in terms of sample size, this work highlights the potential of the upcoming J-PAS as a wide-field low-resolution IFU for thousands of nearby galaxies and AGN., Comment: 21 pages, 20 figures, Accepted for Publication in A&A

We present the second NuSTAR and XMM-Newton extragalactic survey of the JWST North Ecliptic Pole (NEP) Time-Domain Field (TDF). The first NuSTAR NEP-TDF survey (Zhao et al. 2021) had 681 ks total exposure time executed in NuSTAR cycle 5, in 2019 and 2020. This second survey, acquired from 2020 to 2022 in cycle 6, adds 880 ks of NuSTAR exposure time. The overall NuSTAR NEP-TDF survey is the most sensitive NuSTAR extragalactic survey to date, and a total of 60 sources were detected above the 95% reliability threshold. We constrain the hard X-ray number counts, logN-log S, down to 1.7 x 10$^{-14}$ erg cm$^{-2}$ s$^{-1}$ at 8-24 keV and detect an excess of hard X-ray sources at the faint end. About 47% of the NuSTAR-detected sources are heavily obscured (NH > 10$^{23}$ cm$^{-2}$), and 18+20% of the NuSTAR-detected sources are Compton-thick (N>10$^{24}$ cm$^{-2}$). These fractions are consistent with those measured in other NuSTAR surveys. Four sources presented >2$\sigma$ variability in the 3-year survey. In addition to NuSTAR, a total of 62 ks of XMM-Newton observations were taken during NuSTAR cycle 6. The XMM-Newton observations provide soft X-ray (0.5-10keV) coverage in the same field and enable more robust identification of the visible and infrared counterparts of the NuSTAR-detected sources. A total of 286 soft X-ray sources were detected, out of which 214 XMM-Newton sources have secure counterparts from multiwavelength catalogs., Comment: 37 pages, 27 figures, Accepted by ApJ

In this paper, we define canonical lifts of vector fields to the multisymplectic multimomentum bundles of De Donder-Weyl Hamiltonian first-order field theories and to the appropriate premultisymplectic embedded constraint submanifolds on which singular field theories are studied. These new canonical lifts are used to study the so-called natural Noether symmetries present in both regular and singular Hamiltonian field theories along with their associated conserved quantities obtained from Noether's theorem. The Klein-Gordon field, the Polyakov bosonic string, and Einstein-Cartan gravity in 3 + 1 dimensions are analyzed in depth as applications of these concepts; as a peripheral result obtained in the analysis of the bosonic string, we provide a new geometrical interpretation of the well-known Virasoro constraint., Comment: 36 pages. A general revision of the work has been made. Clarifying comments have been added and errors corrected, mainly in Section 3.3. The bibliography has been updated

We present a straightforward, non-intrusive adaptive bit rate streaming segment quality selection policy which aims at extending battery lifetime during playback while limiting the impact on the user's quality of experience, thus benefiting consumers of video streaming services. This policy relies on the relationship between the available channel bandwidth and the bit rate of the representations in the quality ladder. It results from the characterization of the energy consumed by smartphones when running adaptive streaming client applications for different network connections (Wifi, 4G, and 5G) and the modeling of the energy consumed as a function of said relationship. Results show that a significant amount of energy can be saved (10 to 30%) by slightly modifying the default policy at the expense of a controlled reduction of video quality.

A novel Key Quality Indicator for video delivery applications, XLR (piXel Loss Rate), is defined, characterized, and evaluated. The proposed indicator is an objective measure that captures the effects of transmission errors in the received video, has a good correlation with subjective Mean Opinion Scores, and provides comparable results with state-of-the-art Full-Reference metrics. Moreover, XLR can be estimated using only a lightweight analysis on the compressed bitstream, thus allowing a No-Reference operational method. Therefore, XLR can be used for measuring the quality of experience without latency at any network location. Thus, it is a relevant tool for network planning, specially in new high-demanding scenarios. The experiments carried out show the outstanding performance of its linear-dimension score and the reliability of the bitstream-based estimation.

An optimization technique based on an adapted combination of simulated annealing (SA) and tabu search (TS) is presented. This method aims at finding near-optimal unequal error protection (UEP) application-layer FEC code configurations. This approach is intended to smartly protect audio and video transmission over IP networks when hard time restrictions apply. The considered code is a UEP version of the widely-used Pro-MPEG COP3 codes enabling the use of several matrices of dissimilar size and thus of unequal recovery capability. Finding the optimal configuration frequently requires the evaluation of a large solution space. So, to fulfill the imposed constraints, SA is adapted to the specifics of the scenario. In particular, the annealing schedule is conditioned by the real-time restrictions. Furthermore, solution neighborhood structures are determined by a proposed definition of distance between protection configurations, which, jointly with TS, conditions the selection of candidate solutions. Experimental results show a significantly improved performance of the optimization process, which invariably fulfills imposed timing constraints, at the expense of a very low distortion increase, when compared to using exhaustive search. These results allow the use of UEP Pro-MPEG COP3 codes for protecting video and audio transmission, which distinctly outperforms the standard code in a wide range of scenarios.

A video-aware unequal loss protection (ULP) system for protecting RTP video streaming in bursty packet loss networks is proposed. Considering the relevance of the frame, the state of the channel, and the bitrate constraints of the protection bitstream, our algorithm selects in real time the most suitable frames to be protected through forward error protection (FEC) techniques. It benefits from a wise RTP encapsulation that allows working at a frame level without requiring any further process than that of parsing RTP headers. This makes our system straightforward and fast, perfectly suitable to be included in commercial video streaming servers. Simulation results show how our technique outperforms other proposed ULP schemes.

We present the description, results, and analysis of the experiments conducted to find the equivalent resolution associated with handheld devices. That is, the resolution from which users stop perceiving quality improvements if better resolutions are presented to them in such devices. Thus, it is the maximum resolution that it is worth considering for generating and delivering video, as long as sequences are not too intensively compressed. Therefore, the detection of the equivalent resolutions allows for notable savings in bandwidth consumption. Subjective assessments have been carried out on fifty subjects using a set of video sequences of very different nature and four handheld devices with a broad range of screen dimensions. The results prove that the equivalent resolution in current handheld devices is 720p as higher resolutions are not valued by users.

Rewriting logic is a natural and expressive framework for the specification of concurrent systems and logics. The Maude specification language provides an implementation of this formalism that allows executing, verifying, and analyzing the represented systems. These specifications declare their objects by means of terms and equations, and provide rewriting rules to represent potentially non-deterministic local transformations on the state. Sometimes a controlled application of these rules is required to reduce non-determinism, to capture global, goal-oriented or efficiency concerns, or to select specific executions for their analysis. That is what we call a strategy. In order to express them, respecting the separation of concerns principle, a Maude strategy language was proposed and developed. The first implementation of the strategy language was done in Maude itself using its reflective features. After ample experimentation, some more features have been added and, for greater efficiency, the strategy language has been implemented in C++ as an integral part of the Maude system. This paper describes the Maude strategy language along with its semantics, its implementation decisions, and several application examples from various fields.

Extreme Emission Line Galaxies (EELGs) stand as remarkable objects due to their extremely metal poor environment and intense star formation. Considered as local analogues of high-redshift galaxies in the peak of their star-forming activity, they offer insights into conditions prevalent during the early Universe. Assessment of their stellar and gas properties is, therefore, of critical importance, which requires the assembly of a considerable sample, comprehending a broad redshift range. The Javalambre-Physics of the Accelerating Universe Astrophysical Survey (JPAS) plays a significant role in assembling such a sample, encompassing approximately 8000 deg2 and employing 54 narrow-band optical filters. The present work describes the development and subsequent application of the tools that will be employed in the forthcoming JPAS spectrophotometric data, allowing for the massive and automated characterization of EELGs that are expected to be identified. This fully automated pipeline (requiring only the object coordinates from users) constructs Spectral Energy Distributions (SEDs) by retrieving virtually all the available multi-wavelength photometric data archives, employs SED fitting tools and identifies optical emission lines. It was applied to the sample of extreme line emitters identified in the miniJPAS Survey, and its derived physical properties such as stellar mass and age, coupled with fundamental relations, mirror results obtained through spectral modeling of SDSS spectra. Thorough testing using galaxies with documented photometric measurements across different wavelengths confirmed the pipeline's accuracy, demonstrating its capability for automated analysis of sources with varying characteristics, spanning brightness, morphology, and redshifts. The modular nature of this pipeline facilitates any addition from the user., Comment: 15 pages, 9 Figures, accepted for publication in MNRAS

We study the geometry underlying mechanics and its application to describe autonomous and nonautonomous conservative dynamical systems of different types; as well as dissipative dynamical systems. We use different geometric descriptions to study the main properties and characteristics of these systems; such as their Lagrangian, Hamiltonian and unified formalisms, their symmetries, the variational principles, and others. The study is done mainly for the regular case, although some comments and explanations about singular systems are also included., Comment: 237 pages. This is a draft version of a future book. Comments are welcome

Route planning for a fleet of vehicles is an important task in applications such as package delivery, surveillance, or transportation. This problem is usually modeled as a Combinatorial Optimization problem named as Team Orienteering Problem. The most popular Team Orienteering Problem solvers are mainly based on either linear programming, which provides accurate solutions by employing a large computation time that grows with the size of the problem, or heuristic methods, which usually find suboptimal solutions in a shorter amount of time. In this paper, a multi-agent route planning system capable of solving the Team Orienteering Problem in a very fast and accurate manner is presented. The proposed system is based on a centralized Transformer neural network that can learn to encode the scenario (modeled as a graph) and the context of the agents to provide fast and accurate solutions. Several experiments have been performed to demonstrate that the presented system can outperform most of the state-of-the-art works in terms of computation speed. In addition, the code is publicly available at http://gti.ssr.upm.es/data.

We present a list of quasar candidates including photometric redshift estimates from the miniJPAS Data Release constructed using SQUEzE. This work is based on machine-learning classification of photometric data of quasar candidates using SQUEzE. It has the advantage that its classification procedure can be explained to some extent, making it less of a `black box' when compared with other classifiers. Another key advantage is that using user-defined metrics means the user has more control over the classification. While SQUEzE was designed for spectroscopic data, here we adapt it for multi-band photometric data, i.e. we treat multiple narrow-band filters as very low-resolution spectra. We train our models using specialized mocks from Queiroz et al. (2022). We estimate our redshift precision using the normalized median absolute deviation, $\sigma_{\rm NMAD}$ applied to our test sample. Our test sample returns an $f_1$ score (effectively the purity and completeness) of 0.49 for quasars down to magnitude $r=24.3$ with $z\geq2.1$ and 0.24 for quasars with $z<2.1$. For high-z quasars, this goes up to 0.9 for $r<21.0$. We present two catalogues of quasar candidates including redshift estimates: 301 from point-like sources and 1049 when also including extended sources. We discuss the impact of including extended sources in our predictions (they are not included in the mocks), as well as the impact of changing the noise model of the mocks. We also give an explanation of SQUEzE reasoning. Our estimates for the redshift precision using the test sample indicate a $\sigma_{NMAD}=0.92\%$ for the entire sample, reduced to 0.81\% for $r<22.5$ and 0.74\% for $r<21.3$. Spectroscopic follow-up of the candidates is required in order to confirm the validity of our findings., Comment: Accepted in A&A 24 pages, 24 figures, 7 tables

In previous work, summarized in this paper, we proposed an operation of parallel composition for rewriting-logic theories, allowing compositional specification of systems and reusability of components. The present paper focuses on compositional verification. We show how the assume/guarantee technique can be transposed to our setting, by giving appropriate definitions of satisfaction based on transition structures and path semantics. We also show that simulation and equational abstraction can be done componentwise. Appropriate concepts of fairness and deadlock for our composition operation are discussed, as they affect satisfaction of temporal formulas. We keep in parallel a distributed and a global view of composed systems. We show that these views are equivalent and interchangeable, which may help our intuition and also has practical uses as, for example, it allows global-style verification of a modularly specified system., Comment: Under consideration in Theory and Practice of Logic Programming (TPLP)

We present the Lyman-$a$ (Lya) Luminosity Function (LF) at $2.0543.5. This work serves as a proof-of-concept for the results that can be obtained with the upcoming data releases of the J-PAS survey., Comment: 25 pages, 15 figures, Accepted for publication in A&A

This work reviews the classical Darboux theorem for symplectic, presymplectic, and cosymplectic manifolds (which are used to describe regular and singular mechanical systems), and certain cases of multisymplectic manifolds, and extends it in new ways to k-symplectic and k-cosymplectic manifolds (all these structures appear in the geometric formulation of first-order classical field theories). Moreover, we discuss the existence of Darboux theorems for classes of precosymplectic, k-presymplectic, k-precosymplectic, and premultisymplectic manifolds, which are the geometrical structures underlying some kinds of singular field theories. Approaches to Darboux theorems based on flat connections associated with geometric structures are given, while new results on polarisations for (k-)(pre)(co)symplectic structures arise., Comment: improved and extended proofs. 33 pp