搜索结果：Minerva surgery

It is known that any contact 3-manifold can be obtained by rational contact Dehn surgery along a Legendrian link L in the standard tight contact 3-sphere. We define and study various versions of contact surgery numbers, the minimal number of components of a surgery link L describing a given contact 3-manifold under consideration. In the first part of the paper, we relate contact surgery numbers to other invariants in terms of various inequalities. In particular, we show that the contact surgery number of a contact manifold is bounded from above by the topological surgery number of the underlying topological manifold plus three. In the second part, we compute contact surgery numbers of all contact structures on the 3-sphere. Moreover, we completely classify the contact structures with contact surgery number one on $S^1\times S^2$, the Poincaré homology sphere, and the Brieskorn sphere $Σ(2,3,7)$. We conclude that there exist infinitely many non-isotopic contact structures on each of the above manifolds which cannot be obtained by a single rational contact surgery from the standard tight contact $3$-sphere. We further obtain results for the 3-torus and lens spaces. As one ingredient

Despite advances in AI for contact centers, customer experience (CX) continues to suffer from high average handling time (AHT), low first-call resolution, and poor customer satisfaction (CSAT). A key driver is the cognitive load on agents, who must navigate fragmented systems, troubleshoot manually, and frequently place customers on hold. Existing AI-powered agent-assist tools are often reactive driven by static rules, simple prompting, or retrieval-augmented generation (RAG) without deeper contextual reasoning. We introduce Agentic AI goal-driven, autonomous, tool-using systems that proactively support agents in real time. Unlike conventional approaches, Agentic AI identifies customer intent, triggers modular workflows, maintains evolving context, and adapts dynamically to conversation state. This paper presents a case study of Minerva CQ, a real-time Agent Assist product deployed in voice-based customer support. Minerva CQ integrates real-time transcription, intent and sentiment detection, entity recognition, contextual retrieval, dynamic customer profiling, and partial conversational summaries enabling proactive workflows and continuous context-building. Deployed in live product

Concept erasure in text-to-image diffusion models is crucial for mitigating harmful content, yet existing methods often compromise generative quality. We introduce Semantic Surgery, a novel training-free, zero-shot framework for concept erasure that operates directly on text embeddings before the diffusion process. It dynamically estimates the presence of target concepts in a prompt and performs a calibrated vector subtraction to neutralize their influence at the source, enhancing both erasure completeness and locality. The framework includes a Co-Occurrence Encoding module for robust multi-concept erasure and a visual feedback loop to address latent concept persistence. As a training-free method, Semantic Surgery adapts dynamically to each prompt, ensuring precise interventions. Extensive experiments on object, explicit content, artistic style, and multi-celebrity erasure tasks show our method significantly outperforms state-of-the-art approaches. We achieve superior completeness and robustness while preserving locality and image quality (e.g., 93.58 H-score in object erasure, reducing explicit content to just 1 instance, and 8.09 H_a in style erasure with no quality degradation).

Ransomware attacks have caused billions of dollars in damages in recent years, and are expected to cause billions more in the future. Consequently, significant effort has been devoted to ransomware detection and mitigation. Behavioral-based ransomware detection approaches have garnered considerable attention recently. These behavioral detectors typically rely on process-based behavioral profiles to identify malicious behaviors. However, with an increasing body of literature highlighting the vulnerability of such approaches to evasion attacks, a comprehensive solution to the ransomware problem remains elusive. This paper presents Minerva, a novel, robust approach to ransomware detection. Minerva is engineered to be robust by design against evasion attacks, with architectural and feature selection choices informed by their resilience to adversarial manipulation. We conduct a comprehensive analysis of Minerva across a diverse spectrum of ransomware types, encompassing unseen ransomware as well as variants designed specifically to evade Minerva. Our evaluation showcases the ability of Minerva to accurately identify ransomware, generalize to unseen threats, and withstand evasion attacks

In this paper, we set up two surgery theories and two kinds of Whitehead torsion for foliations. First, we construct a bounded surgery theory and bounded Whitehead torsion for foliations, which correspond to the Connes' foliation algebra in the K-theory of operator algebras, in the sense that there is an analogy between surgery theory and index theory, and a Novikov Conjecture for bounded surgery on foliations in analogy with the foliated Novikov conjecture of P.Baum and A.Connes in operator theory. This surgery theory classifies the leaves topologically. Secondly, we construct a bounded geometry surgery for foliations, which is a generalization of blocked surgery, and a bounded geometry Whitehead torsion. The classifications in this surgery theory include the specification of the Riemannian metrics of the leaves up to quasi=isometry. We state Borel conjectures for foliations, which solves a problem posed by S.Weinberger \cite{Wein}, and verify these in some cases of geometrical interest.

We compare recent MINERvA antineutrino-hydrogen charged-current measurements to phenomenological predictions of the axial-vector form factor based on fits to all available electron scattering and deuterium bubble-chamber data and to representative lattice-QCD (LQCD) determination by the PNDME Collaboration. While there is $1$--$2σ$ agreement in the cross section with MINERvA data for each bin in $Q^2$, we identify three regions with different relevance and opportunity for LQCD predictions. For $Q^2 \lesssim 0.2~\mathrm{GeV}^2$, the phenomenological extractions have large number of data points and LQCD is competitive, while MINERvA data have large errors. For $0.2~\mathrm{GeV}^2 \lesssim Q^2 \lesssim 1~\mathrm{GeV}^2$, LQCD is competitive with the MINERvA determination, and both give values larger than from phenomenological extraction. For $Q^2 > 1~\mathrm{GeV}^2$, the MINERvA data are the most precise. Our analysis indicates that with improving precision of MINERvA-like experiments and LQCD data, the uncertainty in the nucleon axial-vector form factor will be steadily reduced.

Two Dehn surgeries on a knot are called cosmetic if they yield homeomorphic three-manifolds. We show for a certain family of null-homologous knots in any closed orientable three-manifold, if the knot admits cosmetic surgeries with a pair of positive surgery coefficients, then the coefficients are both greater than $1$. In addition, for this family of knots, we show that $1/q$ Dehn surgery for $q$ at least $2$ is not homeomorphic to the original three-manifold. The proofs of these results use the mapping cone formula for the Heegaard Floer homology of Dehn surgery in terms of the knot Floer homology of the knot; we provide a new proof of this formula for integer surgeries in $\text{Spin}^c$ structures with nontorsion first Chern class.

We investigate the impact of the new measurement of the antineutrino-proton scattering cross-section from the MINERvA Collaboration on generalized parton distributions (GPDs), particularly the polarized GPDs denoted as $\widetilde{H}^q$. To achieve this, we perform some QCD analyses of the MINERvA data, in addition to all available data of the proton's axial form factors. We demonstrate that MINERvA data lead to consistent results with other related experimental data, confirming the universality of GPDs. Our results indicate that MINERvA data can impose new constraints on GPDs, particularly on $\widetilde{H}^q$. Our predictions for the proton's axial charge radius, WACS cross-section, and axial form factor show good consistency with those of other studies and measurements. This leads us to conclude that the result of a more comprehensive analysis, considering all related experimental data, is not only reasonable but also more reliable, even in light of existing tensions among the data. The present study can be considered as a guideline for performing a new and comprehensive QCD global analysis of GPDs including the MINERvA measurements like that presented in Phys. Rev. D \textbf{10

Data silos create barriers in accessing and utilizing data dispersed over networks. Directly sharing data easily suffers from the long downloading time, the single point failure and the untraceable data usage. In this paper, we present Minerva, a peer-to-peer cross-cluster data query system based on InterPlanetary File System (IPFS). Minerva makes use of the distributed Hash table (DHT) lookup to pinpoint the locations that store content chunks. We theoretically model the DHT query delay and introduce the fat Merkle tree structure as well as the DHT caching to reduce it. We design the query plan for read and write operations on top of Apache Drill that enables the collaborative query with decentralized workers. We conduct comprehensive experiments on Minerva, and the results show that Minerva achieves up to $2.08 \times$ query performance acceleration compared to the original IPFS data query, and could complete data analysis queries on the Internet-like environments within an average latency of $0.615$ second. With collaborative query, Minerva could perform up to $1.39 \times$ performance acceleration than centralized query with raw data shipment.

The recent Segment Anything Model (SAM) 2 has demonstrated remarkable foundational competence in semantic segmentation, with its memory mechanism and mask decoder further addressing challenges in video tracking and object occlusion, thereby achieving superior results in interactive segmentation for both images and videos. Building upon our previous empirical studies, we further explore the zero-shot segmentation performance of SAM 2 in robot-assisted surgery based on prompts, alongside its robustness against real-world corruption. For static images, we employ two forms of prompts: 1-point and bounding box, while for video sequences, the 1-point prompt is applied to the initial frame. Through extensive experimentation on the MICCAI EndoVis 2017 and EndoVis 2018 benchmarks, SAM 2, when utilizing bounding box prompts, outperforms state-of-the-art (SOTA) methods in comparative evaluations. The results with point prompts also exhibit a substantial enhancement over SAM's capabilities, nearing or even surpassing existing unprompted SOTA methodologies. Besides, SAM 2 demonstrates improved inference speed and less performance degradation against various image corruption. Although slightly u

Surgery on a knot in $S^3$ is said to be an alternating surgery if it yields the double branched cover of an alternating link. The main theoretical contribution is to show that the set of alternating surgery slopes is algorithmically computable and to establish several structural results. Furthermore, we calculate the set of alternating surgery slopes for many examples of knots, including all hyperbolic knots in the SnapPy census. These examples exhibit several interesting phenomena including strongly invertible knots with a unique alternating surgery and asymmetric knots with two alternating surgery slopes. We also establish upper bounds on the set of alternating surgeries, showing that an alternating surgery slope on a hyperbolic knot satisfies $|p/q| \leq 3g(K)+4$. Notably, this bound applies to lens space surgeries, thereby strengthening the known genus bounds from the conjecture of Goda and Teragaito.

For a nullhomologous Legendrian knot in a closed contact 3-manifold Y we consider a contact structure obtained by positive rational contact surgery. We prove that in this situation the Heegaard Floer contact invariant of Y is mapped by a surgery cobordism to the contact invariant of the result of contact surgery. In addition we characterize the spin-c structure on the cobordism that induces the relevant map. As a consequence we determine necessary and sufficient conditions for the nonvanishing of the contact invariant after rational surgery when Y is the standard 3-sphere, generalizing previous results of Lisca-Stipsicz and Golla. In fact our methods allow direct calculation of the contact invariant in terms of the rational surgery mapping cone of Ozsváth and Szabó. The proof involves a construction called reducible open book surgery, which reduces in special cases to the capping-off construction studied by Baldwin.

We revisit models of heavy neutral leptons (neutrissimos) with transition magnetic moments as explanations of the $4.8σ$ excess of electron-like events at MiniBooNE. We perform a detailed Monte Carlo-based analysis to re-examine the preferred regions in the model parameter space to explain MiniBooNE, considering also potential contributions from oscillations due to an eV-scale sterile neutrino. We then derive robust constraints on the model using neutrino-electron elastic scattering data from MINERvA. We find that MINERvA rules out a large region of parameter space, but allowed solutions exist at the $2σ$ confidence level. A dedicated MINERvA analysis would likely be able to probe the entire region of preference of MiniBooNE in this model.

Purpose: Common dense stereo Simultaneous Localization and Mapping (SLAM) approaches in Minimally Invasive Surgery (MIS) require high-end parallel computational resources for real-time implementation. Yet, it is not always feasible since the computational resources should be allocated to other tasks like segmentation, detection, and tracking. To solve the problem of limited parallel computational power, this research aims at a lightweight dense stereo SLAM system that works on a single-core CPU and achieves real-time performance (more than 30 Hz in typical scenarios). Methods: A new dense stereo mapping module is integrated with the ORB-SLAM2 system and named BDIS-SLAM. Our new dense stereo mapping module includes stereo matching and 3D dense depth mosaic methods. Stereo matching is achieved with the recently proposed CPU-level real-time matching algorithm Bayesian Dense Inverse Searching (BDIS). A BDIS-based shape recovery and a depth mosaic strategy are integrated as a new thread and coupled with the backbone ORB-SLAM2 system for real-time stereo shape recovery. Results: Experiments on in-vivo data sets show that BDIS-SLAM runs at over 30 Hz speed on modern single-core CPU in typ

Deep neural networks power most recent successes of artificial intelligence, spanning from self-driving cars to computer aided diagnosis in radiology and pathology. The high-stake data intensive process of surgery could highly benefit from such computational methods. However, surgeons and computer scientists should partner to develop and assess deep learning applications of value to patients and healthcare systems. This chapter and the accompanying hands-on material were designed for surgeons willing to understand the intuitions behind neural networks, become familiar with deep learning concepts and tasks, grasp what implementing a deep learning model in surgery means, and finally appreciate the specific challenges and limitations of deep neural networks in surgery. For the associated hands-on material, please see https://github.com/CAMMA-public/ai4surgery.

The Minerva-Australis telescope array is a facility dedicated to the follow-up, confirmation, characterisation, and mass measurement of bright transiting planets discovered by the Transiting Exoplanet Survey Satellite (TESS) -- a category in which it is almost unique in the southern hemisphere. It is located at the University of Southern Queensland's Mount Kent Observatory near Toowoomba, Australia. Its flexible design enables multiple 0.7m robotic telescopes to be used both in combination, and independently, for high-resolution spectroscopy and precision photometry of TESS transit planet candidates. Minerva-Australis also enables complementary studies of exoplanet spin-orbit alignments via Doppler observations of the Rossiter-McLaughlin effect, radial velocity searches for non-transiting planets, planet searches using transit timing variations, and ephemeris refinement for TESS planets. In this first paper, we describe the design, photometric instrumentation, software, and science goals of Minerva-Australis, and note key differences from its Northern hemisphere counterpart -- the Minerva array. We use recent transit observations of four planets--WASP-2b, WASP-44b, WASP-45b, and HD

From a set of adaptive optics (AO) observations collected with the W.M. Keck telescope between August and September 2009, we derived the orbital parameters of the most recently discovered satellites of the large C-type asteroid (93) Minerva. The satellites of Minerva, which are approximately 3 and 4 km in diameter, orbit very close to the primary $\sim$5 & $\sim$8 $\times$ Rp and $\sim$1% & $\sim$2% $\times$ RHill) in a circular manner, sharing common characteristics with most of the triple asteroid systems in the main-belt. Combining these AO observations with lightcurve data collected since 1980 and two stellar occultations in 2010 & 2011, we removed the ambiguity of the pole solution of Minerva's primary and showed that it has an almost regular shape with an equivalent diameter Deq = 154 $\pm$ 6 km in agreement with IRAS observations. The surprisingly high bulk density of 1.75 $\pm$ 0.30 g/cm$\^3$ for this C-type asteroid, suggests that this taxonomic class is composed of asteroids with different compositions, For instance, Minerva could be made of the same material as dry CR, CO, and CV meteorites. We discuss possible scenarios on the origin of the system and conclu

The MINERvA collaboration operated a scaled-down replica of the solid scintillator tracking and sampling calorimeter regions of the MINERvA detector in a hadron test beam at the Fermilab Test Beam Facility. This article reports measurements with samples of protons, pions, and electrons from 0.35 to 2.0 GeV/c momentum. The calorimetric response to protons, pions, and electrons are obtained from these data. A measurement of the parameter in Birks' law and an estimate of the tracking efficiency are extracted from the proton sample. Overall the data are well described by a Geant4-based Monte Carlo simulation of the detector and particle interactions with agreements better than 4%, though some features of the data are not precisely modeled. These measurements are used to tune the MINERvA detector simulation and evaluate systematic uncertainties in support of the MINERvA neutrino cross section measurement program.

Determination of the quasi-elastic scattering cross-section over a broad range of neutrino energies, nuclear targets and Q^2 is a primary goal of the MINERvA experiment. We present preliminary comparisons of data and simulation in a sample rich in anti-ν_μ+p\rightarrowμ+n events from approximately one eighth of the total anti-ν events collected by MINERvA to date. We discuss future plans for quasi-elastic analyses in MINERvA.