220,689 results on '"Pacheco, A"'
Search Results
2. Towards a Physics Engine to Simulate Robotic Laser Surgery: Finite Element Modeling of Thermal Laser-Tissue Interactions
- Author
-
Pacheco, Nicholas E., Zhang, Kang, Reyes, Ashley S., Pacheco, Christopher J., Burstein, Lucas, and Fichera, Loris
- Subjects
Computer Science - Robotics - Abstract
This paper presents a computational model, based on the Finite Element Method (FEM), that simulates the thermal response of laser-irradiated tissue. This model addresses a gap in the current ecosystem of surgical robot simulators, which generally lack support for lasers and other energy-based end effectors. In the proposed model, the thermal dynamics of the tissue are calculated as the solution to a heat conduction problem with appropriate boundary conditions. The FEM formulation allows the model to capture complex phenomena, such as convection, which is crucial for creating realistic simulations. The accuracy of the model was verified via benchtop laser-tissue interaction experiments using agar tissue phantoms and ex-vivo chicken muscle. The results revealed an average root-mean-square error (RMSE) of less than 2 degrees Celsius across most experimental conditions., Comment: Submitted to the International Symposium on Medical Robotics 2025
- Published
- 2024
3. Monarchs on Horseback: The Role of Music at the Inauguration of Equestrian Statues in Portugal and Brazil
- Author
-
Pacheco, Alberto Joséé Vieira
- Published
- 2022
- Full Text
- View/download PDF
4. CLIX: Cross-Lingual Explanations of Idiomatic Expressions
- Author
-
Gluck, Aaron, von der Wense, Katharina, and Pacheco, Maria
- Subjects
Computer Science - Computation and Language - Abstract
Automated definition generation systems have been proposed to support vocabulary expansion for language learners. The main barrier to the success of these systems is that learners often struggle to understand definitions due to the presence of potentially unfamiliar words and grammar, particularly when non-standard language is involved. To address these challenges, we propose CLIX, the task of Cross-Lingual explanations of Idiomatic eXpressions. We explore the capabilities of current NLP models for this task, and observe that while it remains challenging, large language models show promise. Finally, we perform a detailed error analysis to highlight the key challenges that need to be addressed before we can reliably incorporate these systems into educational tools.
- Published
- 2025
5. Experiences and attitudes toward working remotely from home in a time of pandemic: A snapshot from a New Zealand-based online survey
- Author
-
Pacheco, Edgar
- Subjects
Computer Science - Computers and Society - Abstract
Due to the Covid-19 pandemic, employees from around the world were compelled to work remotely from home and, in many cases, without much preparation. A substantial body of international research has been conducted on the experiences and attitudes of remote workers as well as the implications of this phenomenon for organisations. While New Zealand research evidence is growing, most existing inquiry is qualitative. This paper provides a quantitative snapshot of remote working using survey data from participants whose jobs can be done from home (n=415). Data collection took place when the country was facing Covid-related measures. Based on descriptive and inferential statistics, it was found that, not only was remote working common, but that hybrid working arrangements were also more prevalent. While half of the participants wanted to work from home more frequently, age, but not gender, was significantly associated with this preference. Another relevant finding is that perceived change in the workplace culture due to flexible work arrangements was significantly associated with preference for working remotely more often. Finally, the most common perceived barriers to working from home were slow internet speed, the need to attend face-to-face meetings, and limited space at home to work. The implications of the results are discussed and some directions for future research are proposed., Comment: 20 pages, 6 tables, 1 figure
- Published
- 2025
- Full Text
- View/download PDF
6. Communication in the oil and gas industry: contributions from applied linguistics and aviation english = Comunicação na indústria de óleo e gás: contribuições da linguística aplicada e do iInglês para aviação = Comunicación en la industria del petróleo y el gas: aportes de la lingüística aplicada y el inglés aeronáutico
- Author
-
Pacheco, Aline
- Subjects
inglês para aviação ,linguística inglesa ,linguística aplicada ,linguística ,Philology. Linguistics ,P1-1091 ,Literature (General) ,PN1-6790 - Abstract
Este artigo tem como objetivo descrever algumas características da comunicação na indústria de óleo e gás considerando as contribuições da linguística aplicada e do inglês de aviação, tais como particularidades de natureza sintática, semântica e pragmática. Os estudos foram motivados pela necessidade de se ter um retrato da dinâmica comunicacional que ocorre no cenário proposto, realizados no âmbito do Projeto HF2 e organizados em três etapas. A fase 1 revisou os relatórios de acidentes para descobrir fatores de comunicação que poderiam estar associados à segurança e ajudar a construir uma versão preliminar de uma taxonomia baseada na taxonomia de fatores de comunicação e linguagem na aviação usada para análise linguística na aviação. A segunda etapa compreendeu entrevistas com trabalhadores de duas diferentes operações offshore, a fim de avaliar as informações metalinguísticas a respeito de possível treinamento e uso padronizado da linguagem durante a realização das atividades. A terceira etapa compreendeu a coleta de dados in loco e a análise das informações linguísticas. A linguística de corpus, a análise conversacional, o princípio cooperativo e a taxonomia dos fatores de comunicação e linguagem na aviação foram alguns dos referenciais teóricos que orientaram a análise. Os resultados apresentados são preliminares, porém significativos, e mostram que fatores procedimentais são marcantes quando se contempla a possibilidade de falha na comunicação e, por isso, podem ser considerados o cerne de uma taxonomia. Adicionalmente, os dados metalinguísticos das entrevistas mostram que parece haver um comportamento comunicativo padronizado nas operações dado o rigoroso treinamento técnico a que os trabalhadores são submetidos No entanto, o uso indevido ou a não utilização de certas estruturas léxico-morfológicas e de estratégias e procedimentos comunicativos podem impactar a segurança. Nessa linha, o artigo também aborda algumas sugestões para práticas de comunicação otimizadas
- Published
- 2023
7. A reduced-order framework for temperature estimation in food freezing from optimally located sensors, including turbulent conjugate flow scenarios
- Author
-
Galarce, Felipe, Rivera, Diego, Pacheco, Douglas, Caiazzo, Alfonso, and Castillo, Ernesto
- Subjects
Mathematics - Numerical Analysis - Abstract
This article proposes a framework for estimating temperature fields in food-freezing applications that significantly reduces computational load while ensuring accurate temperature monitoring, representing a promising technological tool for optimizing and controlling food engineering processes. The strategy is based on (i) a mathematical model of a convection-dominated problem coupling thermal convection and turbulence and (ii) a least-squares approach for solving the inverse data assimilation problem, regularized by projecting the governing dynamics onto a reduced-order model (ROM). The unsteady freezing process considers an idealized salmon slice in a freezer cabinet, modeled with temperature-dependent thermophysical properties. The forward problem is approximated using a third-order WENO finite volume solver, including an optimized second-order backward scheme for time discretization. We employ our data assimilation framework to reconstruct the temperature field from a limited number of sensor data and to estimate temperature distributions within frozen food. Sensor placement is optimized using a new greedy algorithm, relying on maximizing the observability of the reduced-order dynamics for a fixed set of sensors. The proposed approach allows efficient extrapolation from external sensor measurements to the internal temperature of the food, which is crucial for maintaining food quality.
- Published
- 2024
8. Autonomous Vehicle Security: A Deep Dive into Threat Modeling
- Author
-
Yousseef, Amal, Satam, Shalaka, Latibari, Banafsheh Saber, Pacheco, Jesus, Salehi, Soheil, Hariri, Salim, and Satam, Partik
- Subjects
Electrical Engineering and Systems Science - Systems and Control - Abstract
Autonomous vehicles (AVs) are poised to revolutionize modern transportation, offering enhanced safety, efficiency, and convenience. However, the increasing complexity and connectivity of AV systems introduce significant cybersecurity challenges. This paper provides a comprehensive survey of AV security with a focus on threat modeling frameworks, including STRIDE, DREAD, and MITRE ATT\&CK, to systematically identify and mitigate potential risks. The survey examines key components of AV architectures, such as sensors, communication modules, and electronic control units (ECUs), and explores common attack vectors like wireless communication exploits, sensor spoofing, and firmware vulnerabilities. Through case studies of real-world incidents, such as the Jeep Cherokee and Tesla Model S exploits, the paper highlights the critical need for robust security measures. Emerging technologies, including blockchain for secure Vehicle-to-Everything (V2X) communication, AI-driven threat detection, and secure Over-The-Air (OTA) updates, are discussed as potential solutions to mitigate evolving threats. The paper also addresses legal and ethical considerations, emphasizing data privacy, user safety, and regulatory compliance. By combining threat modeling frameworks, multi-layered security strategies, and proactive defenses, this survey offers insights and recommendations for enhancing the cybersecurity of autonomous vehicles.
- Published
- 2024
9. Unveiling social vibrancy in urban spaces with app usage
- Author
-
Collins, Thomas, Pacheco, Diogo, Di Clemente, Riccardo, and Botta, Federico
- Subjects
Computer Science - Computers and Society - Abstract
Urban vibrancy is an important measure of the energetic nature of a city that is related to why and how people use urban spaces, and it is inherently connected with our social behaviour. Increasingly, people use a wide range of mobile phone apps in their daily lives to connect socially, search for information, make decisions, and arrange travel, amongst many other reasons. However, the relationship between online app usage and urban vibrancy remains unclear, particularly regarding how sociospatial behaviours interact with urban features. Here, we use app-usage data as a digital signature to investigate this question. To do this, we use a high-resolution data source of mobile service-level traffic volumes across eighteen cities in France. We investigate the social component of cities using socially relevant urban features constructed from OpenStreetMap 'Points of Interest'. We developed a methodology for identifying and classifying multidimensional app usage time series based on similarity. We used these in predictive models to interpret the results for each city and across France. Across cities, there were spatial behavioural archetypes, characterised by multidimensional properties. We found patterns between the week and the weekend, and across cities, and the country. These archetypes correspond to changes in socially relevant urban features that impact urban vibrancy. Our results add further evidence for the importance of using computational approaches to understand urban environments, the use of sociological concepts in computational science, and urban vibrancy in cities., Comment: 40 pages, 10 figures. Submitted to Computers, Environment and Urban Systems
- Published
- 2024
10. Fractional Skyrmion Tubes in Chiral-Interfaced Three-Dimensional Magnetic Nanowires
- Author
-
Fullerton, John, Leo, Naëmi, Jurczyk, Jakub, Donnelly, Claire, Sanz-Hernández, Dédalo, Skoric, Luka, Mille, Nicolas, Stanescu, Stefan, MacLaren, Donald A., Belkhou, Rachid, Hierro-Rodriguez, Aurelio, and Fernández-Pacheco, Amalio
- Subjects
Condensed Matter - Mesoscale and Nanoscale Physics - Abstract
Magnetic skyrmions are chiral spin textures with rich physics and great potential for unconventional computing. Typically, skyrmions form in bulk crystals with reduced symmetry or ultrathin film multilayers involving heavy metals. Here, we demonstrate the formation of fractional Bloch skyrmion tubes at room temperature by 3D printing ferromagnetic double-helix nanowires with two regions of opposite chirality. Using X-ray microscopy and micromagnetic simulations, we show that the coexistence of vortex and anti-parallel spin states induces the formation of fractional skyrmion tubes at zero magnetic fields, minimising the energy cost of breaking the coupling between geometric and magnetic chirality. We also demonstrate control over zero-field states, including pure vortex, or mixed skyrmion-vortex states, highlighting the magnetic reconfigurability of these 3D nanowires. This work shows how interfacing chiral geometries at the nanoscale can enable advanced forms of topological spintronics.
- Published
- 2024
11. Two-dimensional orbital-obstructed insulators with higher-order band topology
- Author
-
Arroyo-Gascon, Olga, Bravo, Sergio, Pacheco, Monica, and Chico, Leonor
- Subjects
Condensed Matter - Mesoscale and Nanoscale Physics ,Condensed Matter - Materials Science - Abstract
Obstructed atomic phases, with their realizations in systems of diverse dimensionality, have recently arisen as one of the topological states with greatest potential to show higher-order phenomena. In this work we report a special type of obstruction, known as orbital-mediated atomic obstruction, in monolayers of materials with spatial symmetry described by the space group P-3m1. By means of a minimal tight-binding model and first-principles calculations, we show that this obstructed phase is related to the mismatch of the charge centers coming from the atomic limit with respect to the centers that are obtained from the reciprocal space description. Although we find atomic limits that correspond with occupied atomic sites, orbital-mediated atomic obstruction requires the presence of orbitals that have no support in real space. In order to demonstrate the nontrivial character of the obstruction, we confirm the presence of a filling anomaly for finite geometries that is directly associated with the bulk configuration, and discuss the role of the boundary states and their underlying mechanism. Several material examples are presented to illustrate the ubiquity of these nontrivial responses and, in turn, to discuss the differences related to the particular ground state configuration. In addition, we perform a survey of materials and elaborate a list of candidate systems which will host this obstructed phase in monolayer form., Comment: Supplementary Material in preparation
- Published
- 2024
12. Real-Time Trajectory Generation for Soft Robot Manipulators Using Differential Flatness
- Author
-
Dickson, Akua, Garcia, Juan C. Pacheco, Jing, Ran, Anderson, Meredith L., and Sabelhaus, Andrew P.
- Subjects
Computer Science - Robotics ,Electrical Engineering and Systems Science - Systems and Control - Abstract
Soft robots have the potential to interact with sensitive environments and perform complex tasks effectively. However, motion plans and trajectories for soft manipulators are challenging to calculate due to their deformable nature and nonlinear dynamics. This article introduces a fast real-time trajectory generation approach for soft robot manipulators, which creates dynamically-feasible motions for arbitrary kinematically-feasible paths of the robot's end effector. Our insight is that piecewise constant curvature (PCC) dynamics models of soft robots can be differentially flat, therefore control inputs can be calculated algebraically rather than through a nonlinear differential equation. We prove this flatness under certain conditions, with the curvatures of the robot as the flat outputs. Our two-step trajectory generation approach uses an inverse kinematics procedure to calculate a motion plan of robot curvatures per end-effector position, then, our flatness diffeomorphism generates corresponding control inputs that respect velocity. We validate our approach through simulations of our representative soft robot manipulator along three different trajectories, demonstrating a margin of 23x faster than real-time at a frequency of 100 Hz. This approach could allow fast verifiable replanning of soft robots' motions in safety-critical physical environments, crucial for deployment in the real world.
- Published
- 2024
13. Topological Valley Photonic Waveguides: Scattering matrix evaluation for linear computing
- Author
-
Johnson-Richards, Christian, Yakovlev, Alex, and Pacheco-Peña, Victor
- Subjects
Physics - Optics ,Physics - Applied Physics - Abstract
Topological boundary modes utilizing valley mode waveguides have opened opportunities in, for instance, the design of high transmission waveguides with tolerance to geometrical defects and sharp bends. Applications of these waveguides include linear computational processes and the emulation of logic gates using linear structures, among other scenarios. Here we present the design of a 6-port junction that exhibits equal power splitting to three other ports when excited at single port with no reflections. In studying this structure, a scattering matrix is extracted at telecom wavelengths (around 1550 nm). The linearity of the system along with the scattering matrix are exploited to produce linear operations such as routing of information considering two incident signals or multiple signals applied from different ports. Our work may be exploited to analytically design larger networks without the need of computationally expensive trial and error numerical methods., Comment: 27 pages, 5 Figures, 83 References
- Published
- 2024
14. Misinformation Dissemination: Effects of Network Density in Segregated Communities
- Author
-
Karimi, Soroush, Oliveira, Marcos, and Pacheco, Diogo
- Subjects
Computer Science - Social and Information Networks ,Computer Science - Computers and Society ,Computer Science - Multiagent Systems ,Physics - Physics and Society - Abstract
Understanding the relationship between network features and misinformation propagation is crucial for mitigating the spread of false information. Here, we investigate how network density and segregation affect the dissemination of misinformation using a susceptible-infectious-recovered framework. We find that a higher density consistently increases the proportion of misinformation believers. In segregated networks, our results reveal that minorities affect the majority: denser minority groups increase the number of believers in the majority, demonstrating how the structure of a segregated minority can influence misinformation dynamics within the majority group., Comment: 9 pages, 3 figures, Social Simulation Conference 2024
- Published
- 2024
15. Emulating photonic time interfaces via smooth temporal transitions
- Author
-
Antyufeyeva, Mariya and Pacheco-Peña, Victor
- Subjects
Physics - Optics ,Physics - Applied Physics - Abstract
The introduction of time as an additional degree of freedom to control wave-matter interactions have opened new avenues to fully control wave propagation in four dimensions (x,y,z,t). Time interfaces (rapid changes of the constitutive relations of the medium where a wave propagates) have recently become popular as they are the temporal analogue of spatial interfaces. While recent groundbreaking experimental work has demonstrated time interfaces from water waves, microwaves and the optical regime, rapidly changing, for instance, the permittivity of the medium requires carefully engineered structures. Here, we study the possibility of implementing smooth temporal transitions of the refractive index of the medium in order to mimic the response of time interfaces via adiabatic modulations. It is shown that indeed, as long as the signal is inside the structure during the modulation time, there are some values of rising/falling time of the adiabatic modulation that enables a full approximate emulation of a time interface. These results may open further avenues to explore by relaxing the speed at which the time-modulation should be introduced when designing four-dimensional media., Comment: 24 pages. 5 figures, 79 references
- Published
- 2024
16. Remote-sensing based control of 3D magnetic fields using machine learning for in-operando applications
- Author
-
Sandoval, Miguel A. Cascales, Jurczyk, J., Skoric, L., Sanz-Hernández, D., Leo, N., Kovacs, A., Schrefl, T., Hierro-Rodríguez, A., and Fernández-Pacheco, A.
- Subjects
Physics - Applied Physics - Abstract
In-operando techniques enable real-time measurement of intricate physical properties at the micro- and nano-scale under external stimuli, allowing the study of a wide range of materials and functionalities. In nanomagnetism, in-operando techniques greatly benefit from precise three-dimensional (3D) magnetic field control, enabling access to complex magnetic states forming in systems where multiple energies are set to compete with each other. However, achieving such precision is challenging and uncommon, as specific applications impose constraints on the type and geometry of magnetic field sources, limiting their capabilities. Here, we introduce an approach that leverages machine learning algorithms to achieve precise 3D magnetic field control using a hexapole electromagnet that is composed of three independent, non-collinear dipole electromagnets. In our experimental setup, magnetic field sensors are placed at a distance from the sample position due to inherent constraints, leading to indirect field measurements that differ from the magnetic field experienced by the sample. We find that the existing relationship between the remote and sample frames of reference is non-linear, thus requiring a more complex calibration method. To address this, we employ a multi-layer perceptron neural network that processes multiple inputs from a dynamic magnetic field sequence, effectively capturing the time-dependent non-linear field response. The network achieves high calibration accuracy and demonstrates exceptional generalization to unseen magnetic field sequences. This study highlights the significant potential of machine learning in achieving high-precision control and calibration, crucial for in-operando experiments where direct measurement at the point of interest is not possible.
- Published
- 2024
17. Cosmic inflation in an extended non-commutative foliated quantum gravity: the wave function of the universe
- Author
-
Vasconcellos, César A. Zen, Hess, Peter O., Pacheco, José de Freitas, Weber, Fridolin, Bodmann, Benno, Hadjimichef, Dimiter, Naysinger, Geovane, Fraga, Rodrigo, Gimenez, João G. G., Netz-Marzola, Marcelo, and Razeira, Moisés
- Subjects
General Relativity and Quantum Cosmology ,High Energy Physics - Theory - Abstract
We propose a novel extension to the recently developed non-commutative Riemannian foliated branch-cut quantum gravity (BCQG). Based on an extended Faddeev-Jackiw symplectic deformation of the conventional Poisson algebra, we investigate non-commutativity effects on a symplectic topological manifold that provides a natural isomorphic setting composed by a triad of canonically conjugate scalar complex fields which comprise quantum complementary dualities. Based on a complementary analytically continued Friedmann-type equation, combined with a quantum approach based on the Ho\v{r}awa-Lifshitz quantum gravity, we describe the dynamic evolution of the universe's wave function, unfolding unprecedented predictions for the cosmic evolution and inflation. The non-commutative foliated quantum gravity approach offers a new perspective on explaining the accelerated cosmic expansion of the universe, strongly suggesting that non-commutative algebra induces the late accelerated growth of both the universe's wave function and the corresponding scale factor, along with their quantum counterparts. In contrast to the conventional inflationary model, where inflation requires a remarkably fine-tuned set of initial conditions in a patch of the universe, non-commutative foliated quantum gravity, analytically continued to the complex plane, captures short and long scales of spacetime, leading to an evolutionary cosmic dynamic through a topological reconfiguration of the primordial cosmic matter and energy content. This result introduces new speculative framework elements regarding the reconfiguration of matter and energy due to an underlying non-commutative spatio-temporal structure as a driver of spacetime cosmic acceleration.
- Published
- 2024
18. $T_{cc}^+$ via the plane wave approach and including diquark-antidiquark operators
- Author
-
Vujmilovic, Ivan, Collins, Sara, Leskovec, Luka, Ortiz-Pacheco, Emmanuel, Padmanath, M., and Prelovsek, Sasa
- Subjects
High Energy Physics - Lattice - Abstract
The determination of the $DD^{*}$ scattering amplitude from lattice QCD is complicated by long-range interactions. In particular, the L\"uscher method is no longer applicable in the kinematical region close to the left-hand cut. We tackle this problem by adopting plane-wave and effective-field-theoretic methods, which also address partial wave mixing. In addition, we incorporate a diquark-antidiquark interpolator in the operator basis (along with the relevant scattering operators) in order to achieve a better resolution of the energy spectrum. Results show that inclusion of it already has some impact at physical charm quark mass, although it is more significant for larger heavy quark masses, in line with expectations., Comment: 9 pages. Proceedings of the 41st International Symposium on Lattice Field Theory, LATTICE2024, 28th July -3rd August, 2024, University of Liverpool, UK
- Published
- 2024
19. Leidenfrost drop dynamics: An approach to follow the complete evolution
- Author
-
Ledesma-Alonso, René, Lalanne, Benjamin, Morán-Cortés, Jesús Israel, Aguilar-González, Martín, and Pacheco-Vázquez, Felipe
- Subjects
Physics - Fluid Dynamics ,Physics - Chemical Physics - Abstract
A new model to follow the complete evolution of a drop in Leidenfrost state is presented in this work. The main ingredients of the phenomenon were considered, including: 1) the shape and weight of a sessile drop, according to its size, compared to the capillary length, using the Young-Laplace equation; 2) the evaporation at the entire surface of the drop, due to the heat transfer across the vapor film, to the proximitiy of a hot plate and to the diffusion in air; 3) the velocity, pressure and temperature fields at the vapor film, between the drop and the hot plate, which are recovered by means of a Hankel transform method, being valid for any size of drops and any thickness of vapor films (below the vapor film stability threshold); 4) an estimation of the thermo-capillary Marangoni convection flow, without simulating numerically the flow within the drop. The aforementioned features were addressed and calculated, in order to include their effect within a single non-linear ODE, describing the temporal evolution of the size of the drop, through the Bond number. Three dimensionless parameters, relating the thermophysical properties of the drop fluid and the surrounding air, control the development of the phenomenon. All those properties were calculated according to the ideal gas approximation and to widely used empirical correlations, without any fitting parameter. The model predictions were compared against experimental results, using different organic and inorganic compounds, for which a good agreement has been found, when no bounce or rotation of the drop spontaneously occurs., Comment: 15 pages, 9 figures
- Published
- 2024
20. Doubly charm tetraquark channel with isospin $1$ from lattice QCD
- Author
-
Meng, Lu, Ortiz-Pacheco, Emmanuel, Baru, Vadim, Epelbaum, Evgeny, Padmanath, M., and Prelovsek, Sasa
- Subjects
High Energy Physics - Lattice - Abstract
Experimentally, the doubly charm tetraquark channel $cc\bar q\bar q$ with $q\!=\!u,d$ features an exotic hadron, $T_{cc}$, with isospin $I\!=\!0$ near the $DD^*$ threshold, while no peak was observed for $I\!=\!1$. We present a lattice QCD study of this channel with $I\!=\!1$, $J^P\!=\!1^+$ and $m_\pi\simeq 280~$MeV. Finite-volume energies calculated across five charm quark masses consistently indicate a repulsive interaction in this channel. These energies are used to compute the $DD^*$ scattering amplitude using both the standard L\"uscher method and the recently proposed effective-field-theory-based approach in the plane-wave basis, which incorporates the long-range interactions and the left-hand cut. Both analyses reaffirm the repulsive interaction resulting in a scattering amplitude that does not feature any poles in the energy region near the $DD^*$ threshold, in line with LHCb results. We identify that the Wick contraction resembling $t$-channel isovector-vector meson exchanges between $D$ and $D^*$ plays a key role in distinguishing between the $I=0$ and $I=1$ channels, leading to repulsion in the $I=1$ and attraction in the $I=0$ channel., Comment: 14 pages and 11 figures
- Published
- 2024
21. Fully consistent lowest-order finite element methods for generalised Stokes flows with variable viscosity
- Author
-
Galarce, Felipe and Pacheco, Douglas R. Q.
- Subjects
Mathematics - Numerical Analysis - Abstract
Variable viscosity arises in many flow scenarios, often imposing numerical challenges. Yet, discretisation methods designed specifically for non-constant viscosity are few, and their analysis is even scarcer. In finite element methods for incompressible flows, the most popular approach to allow equal-order velocity-pressure interpolation are residual-based stabilisations. For low-order elements, however, the viscous part of that residual cannot be approximated, often compromising accuracy. Assuming slightly more regularity on the viscosity field, we can construct stabilisation methods that fully approximate the residual, regardless of the polynomial order of the finite element spaces. This work analyses two variants of this fully consistent approach, with the generalised Stokes system as a model problem. We prove unique solvability and derive expressions for the stabilisation parameter, generalising some classical results for constant viscosity. Numerical results illustrate how our method completely eliminates the spurious pressure boundary layers typically induced by low-order PSPG-like stabilisations.
- Published
- 2024
22. Show, Don't Tell: Learning Reward Machines from Demonstrations for Reinforcement Learning-Based Cardiac Pacemaker Synthesis
- Author
-
Komp, John, Srinivas, Dananjay, Pacheco, Maria, and Trivedi, Ashutosh
- Subjects
Computer Science - Machine Learning ,Electrical Engineering and Systems Science - Signal Processing ,I.2.1 - Abstract
An (artificial cardiac) pacemaker is an implantable electronic device that sends electrical impulses to the heart to regulate the heartbeat. As the number of pacemaker users continues to rise, so does the demand for features with additional sensors, adaptability, and improved battery performance. Reinforcement learning (RL) has recently been proposed as a performant algorithm for creative design space exploration, adaptation, and statistical verification of cardiac pacemakers. The design of correct reward functions, expressed as a reward machine, is a key programming activity in this process. In 2007, Boston Scientific published a detailed description of their pacemaker specifications. This document has since formed the basis for several formal characterizations of pacemaker specifications using real-time automata and logic. However, because these translations are done manually, they are challenging to verify. Moreover, capturing requirements in automata or logic is notoriously difficult. We posit that it is significantly easier for domain experts, such as electrophysiologists, to observe and identify abnormalities in electrocardiograms that correspond to patient-pacemaker interactions. Therefore, we explore the possibility of learning correctness specifications from such labeled demonstrations in the form of a reward machine and training an RL agent to synthesize a cardiac pacemaker based on the resulting reward machine. We leverage advances in machine learning to extract signals from labeled demonstrations as reward machines using recurrent neural networks and transformer architectures. These reward machines are then used to design a simple pacemaker with RL. Finally, we validate the resulting pacemaker using properties extracted from the Boston Scientific document., Comment: 8 pages, 3 page appendix
- Published
- 2024
23. Williams' and Graded Equivalence Conjectures for small graphs
- Author
-
Hazrat, Roozbeh and Pacheco, Elizabeth
- Subjects
Mathematics - Rings and Algebras ,Mathematics - Operator Algebras - Abstract
We prove what might have been expected: The Williams Conjecture in symbolic dynamics and Graded Morita Equivalence Conjecture for Leavitt/$C^*$-graph algebras hold for ``small graphs'', i.e., connected graphs with three vertices, no parallel edges, no sinks with no trivial hereditary and saturated subsets. Namely, two small graphs are shift equivalent if and only if they are strong shift equivalent if and only if their Leavitt/$C^*$-graph algebras are graded/equivariant Morita equivalent., Comment: 33 pages
- Published
- 2024
24. Consideraciones finales
- Author
-
Pacheco, Alexis, Castañeda, Olga, and Blanco, Diana
- Published
- 2020
25. Anexos
- Author
-
Pacheco, Alexis, Castañeda, Olga, and Blanco, Diana
- Published
- 2020
26. El barrio Jorge Eliécer Gaitán hoy
- Author
-
Pacheco, Alexis, Castañeda, Olga, and Blanco, Diana
- Published
- 2020
27. Bibliografía
- Author
-
Pacheco, Alexis, Castañeda, Olga, and Blanco, Diana
- Published
- 2020
28. Presentación
- Author
-
Pacheco, Alexis, Castañeda, Olga, and Blanco, Diana
- Published
- 2020
29. Recorridos para conocer el Gaitán
- Author
-
Pacheco, Alexis, Castañeda, Olga, and Blanco, Diana
- Published
- 2020
30. El territorio antes de ser barrio
- Author
-
Pacheco, Alexis, Castañeda, Olga, and Blanco, Diana
- Published
- 2020
31. El futuro
- Author
-
Pacheco, Alexis, Castañeda, Olga, and Blanco, Diana
- Published
- 2020
32. Introducción
- Author
-
Pacheco, Alexis, Castañeda, Olga, and Blanco, Diana
- Published
- 2020
33. El 9 de abril de 1948: de La Providencia al Jorge Eliécer Gaitán
- Author
-
Pacheco, Alexis, Castañeda, Olga, and Blanco, Diana
- Published
- 2020
34. La llegada de los gorgojos: transformaciones del barrio durante la segunda mitad del siglo XX
- Author
-
Pacheco, Alexis, Castañeda, Olga, and Blanco, Diana
- Published
- 2020
35. El proceso de urbanización del barrio La Providencia
- Author
-
Pacheco, Alexis, Castañeda, Olga, and Blanco, Diana
- Published
- 2020
36. Contenido
- Author
-
Pacheco, Alexis, Castañeda, Olga, and Blanco, Diana
- Published
- 2020
37. Créditos, Página del título, Agradecimientos
- Author
-
Pacheco, Alexis, Castañeda, Olga, and Blanco, Diana
- Published
- 2020
38. Reclassification and Multilingual Learners' Science Achievement
- Author
-
Mark B. Pacheco, F. Chris Curran, Lelydeyvis Boza, Amber W. Deig, Katharine T. Harris, and Tiffany S. Tan
- Abstract
This study contributes to a growing body of scholarship at the intersection of bilingual education and education policy and examines reclassification, or the transition out of formal English language services in schools, as one potential lever in accelerating or decelerating multilingual learners' science learning. More specifically, it traces multilingual learners' science academic achievement vis-à-vis science test scores over a six-year period using the nationally-representative Early Childhood Longitudinal Study of 2010-11 (ECLS-K:2011) data set. We use regression analyses with panel data to explore the relationship of reclassification with MLs' science achievement at a national scale, and then, how variation in contextual factors (including family, school, and individual characteristics) shapes this relationship. Results show that, after controlling for covariates and prior test scores, reclassification is not significantly associated with differential science test scores when compared to students that retain their EL status. Results further show that reclassification is associated with higher science achievement for MLs who were previously in a dual-language program but lower scores for those with higher prior achievement. We conclude with implications for the reclassification process, as well as directions for future research on reclassification, multilingual learners, and academic achievement.
- Published
- 2024
- Full Text
- View/download PDF
39. Teacher Vulnerability as a Pedagogical Tool: A Comparative Case Study in Two Literacy Classrooms
- Author
-
Yi Lai, Mark B. Pacheco, and Jared McKee
- Abstract
Viewing teacher vulnerability as a pedagogical tool, this comparative case study examined two secondary literacy teachers' use of vulnerability in relation to various instructional goals. Through the analysis of eight video-recorded lessons, we found that teachers demonstrated vulnerability through multiple ways within their literacy instruction through modeling ways of connecting personal experiences to texts, and establishing classroom norms that welcome difficult emotions and experiences. However, we also found that teacher vulnerability can sometimes lead to uncertainty, and even constrain student participation. We argue that teacher vulnerability helps establish a "humanizing pedagogy," and offer possible strategies for teachers who are vulnerable within literacy instruction. We conclude with a discussion of different levels of appropriating vulnerability as a pedagogical tool.
- Published
- 2024
- Full Text
- View/download PDF
40. Multilingual Learners' Exposure to Science and Language Inputs in Elementary School: ¿Qué Sabemos?
- Author
-
Lelydeyvis Boza, F. Chris Curran, Katharine Harris-Walls, Tiffany S. Tan, Amber Deig, and Mark B. Pacheco
- Abstract
As linguistic diversity continues to increase in the United States public school system, schools are expected to meet the needs of their ever-changing student body. While much attention within education research has understandably focused on multilingual learners' (MLs) English language acquisition, an emergent body of work points to science as an important subject for attention among elementary MLs. We suggest that understanding what "science and language inputs" are afforded to MLs in schools can contribute to understanding the needs and opportunities for enhancing MLs' science learning. This study leveraged nationally representative data from the Early Childhood Longitudinal Study of 2010-2011 to explore the science and language inputs available to MLs in elementary school. Using descriptive statistics, our analysis of science and language inputs provides evidence on what MLs have, or do not have, access to inside of their schools. Science inputs appear to be relatively evenly distributed across classrooms serving non-MLs, MLs, and subgroups therein. In comparison, language inputs are differentially distributed across ML subgroups, but they are distributed in ways that may align with student needs. However, while the science inputs do not necessarily vary across subgroups, the language inputs do, and this may affect how students can engage with science inputs. In understanding what science and language inputs MLs are afforded, this study provides a foundation for how to improve formal learning environments for them, especially regarding science learning.
- Published
- 2024
- Full Text
- View/download PDF
41. An Overview of Solar Orbiter Observations of Interplanetary Shocks in Solar Cycle 25
- Author
-
Trotta, D., Dimmock, A., Hietala, H., Blanco-Cano, X., Horbury, T. S., Vainio, R., Dresing, N., Jebaraj, I. C., Espinosa, F., Gomez-Herrero, R., Rodriguez-Pacheco, J., Kartavykh, Y., Lario, D., Gieseler, J., Janvier, M., Maksimovic, M., Sheshvan, N. Talebpour, Owen, C. J., Kilpua, E. K. J., and Wimmer-Schweingruber, R.
- Subjects
Astrophysics - Solar and Stellar Astrophysics ,Physics - Space Physics - Abstract
Interplanetary shocks are fundamental constituents of the heliosphere, where they form as a result of solar activity. We use previously unavailable measurements of interplanetary shocks in the inner heliosphere provided by Solar Orbiter, and present a survey of the first 100 shocks observed in situ at different heliocentric distances during the rising phase of solar cycle 25. The fundamental shock parameters (shock normals, shock normal angles, shock speeds, compression ratios, Mach numbers) have been estimated and studied as a function of heliocentric distance, revealing a rich scenario of configurations. Comparison with large surveys of shocks at 1~au show that shocks in the quasi-parallel regime and with high speed are more commonly observed in the inner heliosphere. The wave environment of the shocks has also been addressed, with about 50\% of the events exhibiting clear shock-induced upstream fluctuations. We characterize energetic particle responses to the passage of IP shocks at different energies, often revealing complex features arising from the interaction between IP shocks and pre-existing fluctuations, including solar wind structures being processed upon shock crossing. Finally, we give details and guidance on the access use of the present survey, available on the EU-project ``solar energetic particle analysis platform for the inner heliosphere'' (SERPENTINE) website. The algorithm used to identify shocks in large datasets, now publicly available, is also described.
- Published
- 2024
42. The stable uniqueness theorem for unitary tensor category equivariant KK-theory
- Author
-
Pacheco, Sergio Girón, Kitamura, Kan, and Neagu, Robert
- Subjects
Mathematics - Operator Algebras ,Mathematics - K-Theory and Homology ,Mathematics - Quantum Algebra ,19K35, 46L35, 46L37, 46L55 - Abstract
We introduce the Cuntz-Thomsen picture of $\mathcal{C}$-equivariant Kasparov theory, denoted $\mathrm{KK}^\mathcal{C}$, for a unitary tensor category $\mathcal{C}$ with countably many isomorphism classes of simple objects. We use this description of $\mathrm{KK}^\mathcal{C}$ to prove the stable uniqueness theorem in this setting.
- Published
- 2024
43. Information diffusion assumptions can distort our understanding of social network dynamics
- Author
-
DeVerna, Matthew R., Pierri, Francesco, Aiyappa, Rachith, Pacheco, Diogo, Bryden, John, and Menczer, Filippo
- Subjects
Computer Science - Social and Information Networks - Abstract
To analyze the flow of information online, experts often rely on platform-provided data from social media companies, which typically attribute all resharing actions to an original poster. This obscures the true dynamics of how information spreads online, as users can be exposed to content in various ways. While most researchers analyze data as it is provided by the platform and overlook this issue, some attempt to infer the structure of these information cascades. However, the absence of ground truth about actual diffusion cascades makes verifying the efficacy of these efforts impossible. This study investigates the implications of the common practice of ignoring reconstruction all together. Two case studies involving data from Twitter and Bluesky reveal that reconstructing cascades significantly alters the identification of influential users, therefore affecting downstream analyses in general. We also propose a novel reconstruction approach that allows us to evaluate the effects of different assumptions made during the cascade inference procedure. Analysis of the diffusion of over 40,000 true and false news stories on Twitter reveals that the assumptions made during the reconstruction procedure drastically distort both microscopic and macroscopic properties of cascade networks. This work highlights the challenges of studying information spreading processes on complex networks and has significant implications for the broader study of digital platforms.
- Published
- 2024
44. AiSciVision: A Framework for Specializing Large Multimodal Models in Scientific Image Classification
- Author
-
Hogan, Brendan, Kabra, Anmol, Pacheco, Felipe Siqueira, Greenstreet, Laura, Fan, Joshua, Ferber, Aaron, Ummus, Marta, Brito, Alecsander, Graham, Olivia, Aoki, Lillian, Harvell, Drew, Flecker, Alex, and Gomes, Carla
- Subjects
Computer Science - Machine Learning ,Computer Science - Artificial Intelligence ,Computer Science - Computation and Language ,Computer Science - Computer Vision and Pattern Recognition - Abstract
Trust and interpretability are crucial for the use of Artificial Intelligence (AI) in scientific research, but current models often operate as black boxes offering limited transparency and justifications for their outputs. We introduce AiSciVision, a framework that specializes Large Multimodal Models (LMMs) into interactive research partners and classification models for image classification tasks in niche scientific domains. Our framework uses two key components: (1) Visual Retrieval-Augmented Generation (VisRAG) and (2) domain-specific tools utilized in an agentic workflow. To classify a target image, AiSciVision first retrieves the most similar positive and negative labeled images as context for the LMM. Then the LMM agent actively selects and applies tools to manipulate and inspect the target image over multiple rounds, refining its analysis before making a final prediction. These VisRAG and tooling components are designed to mirror the processes of domain experts, as humans often compare new data to similar examples and use specialized tools to manipulate and inspect images before arriving at a conclusion. Each inference produces both a prediction and a natural language transcript detailing the reasoning and tool usage that led to the prediction. We evaluate AiSciVision on three real-world scientific image classification datasets: detecting the presence of aquaculture ponds, diseased eelgrass, and solar panels. Across these datasets, our method outperforms fully supervised models in low and full-labeled data settings. AiSciVision is actively deployed in real-world use, specifically for aquaculture research, through a dedicated web application that displays and allows the expert users to converse with the transcripts. This work represents a crucial step toward AI systems that are both interpretable and effective, advancing their use in scientific research and scientific discovery.
- Published
- 2024
45. Composition variation of the May 16 2023 Solar Energetic Particle Event observed by Solar Orbiter and Parker Solar Probe
- Author
-
Xu, Z. G., Cohen, C. M. S, Leske, R. A., Muro, G. D., Cummings, A. C., McComas, D. J., Schwadron, N. A., Christian, E. R., Wiedenbeck, M. E., McNutt, R. L., Mitchell, D. G., Mason, G. M., Kouloumvakos, A., Wimmer-Schweingruber, R. F., Ho, G. C., and Rodriguez-Pacheco, J.
- Subjects
Astrophysics - Solar and Stellar Astrophysics ,Physics - Space Physics - Abstract
In this study, we employ the combined charged particle measurements from Integrated Science Investigation of the Sun (\ISOIS) onboard the Parker Solar Probe (PSP) and Energetic Particle Detector (EPD) onboard the Solar Orbiter (SolO) to study the composition variation of the solar energetic particle (SEP) event occurring on May 16, 2023. During the event, SolO and PSP were located at a similar radial distance of ~0.7 au and were separated by $\sim$60$^\circ$ in longitude. The footpoints of both PSP and SolO were west of the flare region but the former was much closer (18$^\circ$ vs 80$^\circ$). Such a distribution of observers is ideal for studying the longitudinal dependence of the ion composition with the minimum transport effects of particles along the radial direction. We focus on H, He, O, and Fe measured by both spacecraft in sunward and anti-sunward directions. Their spectra are in a double power-law shape, which is fitted best by the Band function. Notably, the event was Fe-rich at PSP, where the mean Fe/O ratio at energies of 0.1 - 10 Mev/nuc was 0.48, higher than the average Fe/O ratio in previous large SEP events. In contrast, the mean Fe/O ratio at SolO over the same energy range was considerable lower at 0.08. The Fe/O ratio between 0.5 and 10 MeV/nuc at both spacecraft is nearly constant. Although the He/H ratio shows energy dependence, decreasing with increasing energy, the He/H ratio at PSP is still about twice as high as that at SolO. Such a strong longitudinal dependence of element abundances and the Fe-rich component in the PSP data could be attributed to the direct flare contribution. Moreover, the temporal profiles indicate that differences in the Fe/O and He/H ratios between PSP and SolO persisted throughout the entire event rather than only at the start., Comment: 11 pages, 5 figures
- Published
- 2024
46. All Entities are Not Created Equal: Examining the Long Tail for Fine-Grained Entity Typing
- Author
-
Deshmukh, Advait, Umadi, Ashwin, Srinivas, Dananjay, and Pacheco, Maria Leonor
- Subjects
Computer Science - Computation and Language - Abstract
Pre-trained language models (PLMs) are trained on large amounts of data, which helps capture world knowledge alongside linguistic competence. Due to this, they are extensively used for ultra-fine entity typing tasks, where they provide the entity knowledge held in its parameter space. Given that PLMs learn from co-occurrence patterns, they likely contain more knowledge or less knowledge about entities depending on their how frequent they are in the pre-training data. In this work, we probe PLMs to elicit encoded entity probabilities and demonstrate that they highly correlate with their frequency in large-scale internet data. Then, we demonstrate that entity-typing approaches that rely on PLMs struggle with entities at the long tail on the distribution. Our findings suggests that we need to go beyond PLMs to produce solutions that perform well for rare, new or infrequent entities.
- Published
- 2024
47. Magnetic Field Simulation and Correlated Low-Frequency Noise Subtraction for an In-Orbit Demonstrator of Magnetic Measurements
- Author
-
Maria-Moreno, Cristian, Mateos, Ignacio, Pacheco-Ramos, Guillermo, Rivas, Francisco, Cifredo-Chacón, María-Ángeles, Quirós-Olozábal, Ángel, Guerrero-Rodríguez, José-María, and Karnesis, Nikolaos
- Subjects
Astrophysics - Instrumentation and Methods for Astrophysics ,Physics - Instrumentation and Detectors - Abstract
In recent years, nanosatellites have revolutionized the space sector due to their significant economic and time-saving advantages. As a result, they have fostered the testing of advanced instruments intended for larger space science missions. The case of MELISA is presented in this work. MELISA is a magnetic measurement instrument which aims at demonstrating the in-orbit performance of AMR sensors featuring dedicated noise reduction techniques at sub-millihertz frequencies. Such low frequency ranges are relevant for future space-borne gravitational wave detectors, where the local magnetic environment of the satellite might yield a significant contribution to the overall noise budget of the observatory. The demanding magnetic noise levels required for this bandwidth, down to 0.1 mHz, make measurements arduous. To explore sensing solutions within the H2020 European Commission Programme with the involvement of ESA, the functional performance of MELISA-III will be validated in-orbit. During operations, there is the possibility to measure the low-frequency magnetic contribution stemming from orbiting the Earth's magnetic field, impeding the characterization of the intrinsic performance of the sensor. With the objective of minimizing excess noise during the in-flight operations, the present research aims to simulate the environmental magnetic conditions in LEO to identify and subtract undesired contributions to the measurements. The in-orbit long-term magnetic fluctuations are replicated using a Helmholtz coil system. A fluxgate magnetometer allows the correlation of the generated field with the payload measurements, leading to the subsequent subtraction. Proving the effect of this approach will facilitate the noise characterization of magnetic sensors in LEO, paving the way for the in-orbit validation of MELISA-III for use in magnetically demanding missions with long integration times.
- Published
- 2024
- Full Text
- View/download PDF
48. Unconditionally stable, linearised IMEX schemes for incompressible flows with variable density
- Author
-
Espinoza-Contreras, Nicolás, Barrenechea, Gabriel, Castillo, Ernesto, and Pacheco, Douglas
- Subjects
Mathematics - Numerical Analysis - Abstract
For the incompressible Navier--Stokes system with variable density and viscosity, we propose and analyse an IMEX framework treating the convective and diffusive terms semi-implicitly. This extends to variable density and second order in time some methods previously analysed for variable viscosity and constant density. We present three new schemes, both monolithic and fractional-step. All of them share the methodological novelty that the viscous term is treated in an implicit-explicit (IMEX) fashion, which allows decoupling the velocity components. Unconditional temporal stability is proved for all three variants. Furthermore, the system to solve at each time step is linear, thus avoiding the costly solution of nonlinear problems even if the viscosity follows a non-Newtonian rheological law. Our presentation is restricted to the semi-discrete case, only considering the time discretisation. In this way, the results herein can be applied to any spatial discretisation. We validate our theory through numerical experiments considering finite element methods in space. The tests range from simple manufactured solutions to complex two-phase viscoplastic flows., Comment: 23 pages
- Published
- 2024
49. Weak topological phases in the presence of interactions
- Author
-
Camarena, Omar Antolín, Debray, Arun, Krulewski, Cameron, Pacheco-Tallaj, Natalia, Sheinbaum, Daniel, and Stehouwer, Luuk
- Subjects
Mathematical Physics ,Condensed Matter - Strongly Correlated Electrons ,High Energy Physics - Theory - Abstract
We investigate the stability of weak symmetry-protected topological phases (SPTs) in the presence of short-range interactions, focusing on the tenfold way classification. Using Atiyah's Real $\mathit{KR}$-theory and Anderson-dualized bordism, we classify free and interacting weak phases across all Altland-Zirnbauer symmetry classes in low dimensions. Extending the free-to-interacting map of Freed-Hopkins, we mathematically compute how the behavior of free weak SPTs changes when interactions are introduced as well as predict intrinsically-interacting weak phases in certain classes. Our mathematical techniques involve T-duality and the James splitting of the torus. Our results provide a mathematical framework for understanding the persistence of weak SPTs under interactions, with potential implications for experimental and theoretical studies of these phases., Comment: 48 pages. Comments welcome!
- Published
- 2024
50. Strong decay widths of S- and P-wave singly-, doubly- and triply-heavy charm and bottom baryons
- Author
-
Ortiz-Pacheco, Emmanuel and Bijker, Roelof
- Subjects
High Energy Physics - Phenomenology ,High Energy Physics - Experiment ,Nuclear Theory - Abstract
We present a study of two-body decay widths of heavy baryons into another heavy baryon and a light pseudoscalar meson in the framework of the non-relativistic quark model in combination with the elementary emission model for the strong couplings. The present study includes the decays of 1S- and 1P-wave baryons with one, two or three heavy quarks, either charm (c) or bottom (b). The relative partial widths are given by the appropriate flavor SU(3) isoscalar factors. The flavor, spin and orbital contributions are discussed explicitly as well as selection rules for forbidden decays. The total widths are compared with the available experimental data as well as with other theoretical studies. The calculated widths of singly-heavy baryons are found to be in reasonable agreement with the observed widths. The decay widths of doubly-heavy baryons are suppressed with respect to those of the singly-heavy baryons by the ratios of the quark masses appearing in the orbital contributions., Comment: 16 pages, 4 figures, 8 tables, submitted to Physical Review D
- Published
- 2024
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.