The longest increasing subsequence (LIS) of a random walk has been studied mainly for zero-mean, symmetric step increments. We numerically investigate the LIS of biased Gaussian random walks, with unit-variance increments and positive drift $μ_{p} = Φ^{-1}(p)$, where $p = P(ξ>0)$. In contrast with the symmetric case, we find that for every fixed $p>1/2$ the mean LIS length grows linearly, $\langle L_{n}(p)\rangle \sim a(p)n$, with $a(p)$ increasing from $0$ at $p=1/2$ to $1$ as $p \to 1$. The record count is also linear, with coefficient $λ(p)$ fixed by Spitzer's formula for the ascending ladder epoch, and the LIS becomes increasingly aligned with this record skeleton as $p$ grows. At the symmetric point $p=1/2$, the record skeleton collapses to the Sparre Andersen $\sqrt{n}$ scale, while the LIS returns to the finite-variance $\sqrt{n}\log{n}$ regime. Near this limit the record rate has the closed-form small-drift slope $λ(μ_{p}) \simeq \sqrt{2}\,μ_{p}$, whereas the excess $a(μ_{p})-λ(μ_{p})$ vanishes more slowly than linearly in the drift, although our data do not resolve a single power law. The empirical distribution of $L_{n}$ also changes across this point, from lognorma
This paper proves a conditional structural uniqueness theorem for induced weight on robust record sectors within an admissible Hilbert record layer. Its theorem target and additive carrier differ from those of the standard Born-rule routes: additivity is not placed on the full projector lattice, but on disjoint admissible continuation bundles through an extensive bundle valuation, from which the sector-level additive law is inherited under admissible refinement. Accordingly, the result is not a Gleason-type representation theorem in different language, but a distinct uniqueness theorem about induced sector weight inherited from bundle additivity on admissible continuation structure. Under two explicit structural conditions, internal equivalence of admissible binary refinement profiles and sufficient admissible refinement richness, the quadratic assignment is the only non-negative refinement-stable induced weight on robust record sectors. In the main theorem, refinement richness is secured by admissible binary saturation. A supplementary proposition shows that dense admissible saturation already suffices if continuity of the profile function is added. Under normalization, the result
Diffusion models revolutionize image generation by leveraging natural language to guide the creation of multimedia content. Despite significant advancements in such generative models, challenges persist in depicting detailed human-object interactions, especially regarding pose and object placement accuracy. We introduce a training-free method named Reasoning and Correcting Diffusion (ReCorD) to address these challenges. Our model couples Latent Diffusion Models with Visual Language Models to refine the generation process, ensuring precise depictions of HOIs. We propose an interaction-aware reasoning module to improve the interpretation of the interaction, along with an interaction correcting module to refine the output image for more precise HOI generation delicately. Through a meticulous process of pose selection and object positioning, ReCorD achieves superior fidelity in generated images while efficiently reducing computational requirements. We conduct comprehensive experiments on three benchmarks to demonstrate the significant progress in solving text-to-image generation tasks, showcasing ReCorD's ability to render complex interactions accurately by outperforming existing metho
Effective evaluation of web data record extraction methods is crucial, yet hampered by static, domain-specific benchmarks and opaque scoring practices. This makes fair comparison between traditional algorithmic techniques, which rely on structural heuristics, and Large Language Model (LLM)-based approaches, offering zero-shot extraction across diverse layouts, particularly challenging. To overcome these limitations, we introduce a concrete evaluation framework. Our framework systematically generates evaluation datasets from arbitrary MHTML snapshots, annotates XPath-based supervision labels, and employs structure-aware metrics for consistent scoring, specifically preventing text hallucination and allowing only for the assessment of positional hallucination. It also incorporates preprocessing strategies to optimize input for LLMs while preserving DOM semantics: HTML slimming, Hierarchical JSON, and Flat JSON. Additionally, we created a publicly available synthetic dataset by transforming DOM structures and modifying content. We benchmark deterministic heuristic algorithms and off-the-shelf LLMs across these multiple input formats. Our benchmarking shows that Flat JSON input enables
Record linkage (de-duplication or entity resolution) is the process of merging noisy databases to remove duplicate entities. While record linkage removes duplicate entities from such databases, the downstream task is any inferential, predictive, or post-linkage task on the linked data. One goal of the downstream task is obtaining a larger reference data set, allowing one to perform more accurate statistical analyses. In addition, there is inherent record linkage uncertainty passed to the downstream task. Motivated by the above, we propose a generalized Bayesian record linkage method and consider multiple regression analysis as the downstream task. Records are linked via a random partition model, which allows for a wide class to be considered. In addition, we jointly model the record linkage and downstream task, which allows one to account for the record linkage uncertainty exactly. Moreover, one is able to generate a feedback propagation mechanism of the information from the proposed Bayesian record linkage model into the downstream task. This feedback effect is essential to eliminate potential biases that can jeopardize resulting downstream task. We apply our methodology to multip
Physical visualizations (i.e., data representations by means of physical objects) have been used for many centuries in medical and anatomical education. Recently, 3D printing techniques started also to emerge. Still, other medical physicalizations that rely on affordable and easy-to-find materials are limited, while smart strategies that take advantage of the optical properties of our physical world have not been thoroughly investigated. We propose the Anatomical Edutainer, a workflow to guide the easy, accessible, and affordable generation of physicalizations for tangible, interactive anatomical edutainment. The Anatomical Edutainer supports 2D printable and 3D foldable physicalizations that change their visual properties (i.e., hues of the visible spectrum) under colored lenses or colored lights, to reveal distinct anatomical structures through user interaction.
Radiological images such as computed tomography (CT) and X-rays render anatomy with intrinsic structures. Being able to reliably locate the same anatomical structure across varying images is a fundamental task in medical image analysis. In principle it is possible to use landmark detection or semantic segmentation for this task, but to work well these require large numbers of labeled data for each anatomical structure and sub-structure of interest. A more universal approach would learn the intrinsic structure from unlabeled images. We introduce such an approach, called Self-supervised Anatomical eMbedding (SAM). SAM generates semantic embeddings for each image pixel that describes its anatomical location or body part. To produce such embeddings, we propose a pixel-level contrastive learning framework. A coarse-to-fine strategy ensures both global and local anatomical information are encoded. Negative sample selection strategies are designed to enhance the embedding's discriminability. Using SAM, one can label any point of interest on a template image and then locate the same body part in other images by simple nearest neighbor searching. We demonstrate the effectiveness of SAM in m
We address a recent conjecture stated by Z. Van Herstraeten and N.J. Cerf. They claim that the Shannon entropy for positive Wigner functions is bounded below by a positive constant, which can be attained only by Gaussian pure states. We introduce an alternative definition of entropy for all absolutely integrable Wigner functions, which is the Shannon entropy for positive Wigner functions. Moreover, we are able to prove, in arbitrary dimension, that this entropy is indeed bounded below by a positive constant, which is not very distant from the constant suggested by Van Herstraeten and Cerf. We also prove an analogous result for another conjecture stated by the same authors for the Rényi entropy of positive Wigner functions. As a by-product we prove a new inequality for the radar-ambiguity function (and for the Wigner distribution) which is reminiscent of Lieb's inequalities.
Dwarf spheroidal galaxies (dSphs) are excellent targets for indirect dark matter (DM) searches using gamma-ray telescopes because they are thought to have high DM content and a low astrophysical background. The sensitivity of these searches is improved by combining the observations of dSphs made by different gamma-ray telescopes. We present the results of a combined search by the most sensitive currently operating gamma-ray telescopes, namely: the satellite-borne Fermi-LAT telescope; the ground-based imaging atmospheric Cherenkov telescope arrays H.E.S.S., MAGIC, and VERITAS; and the HAWC water Cherenkov detector. Individual datasets were analyzed using a common statistical approach. Results were subsequently combined via a global joint likelihood analysis. We obtain constraints on the velocity-weighted cross section $\langle σ\mathit{v} \rangle$ for DM self-annihilation as a function of the DM particle mass. This five-instrument combination allows the derivation of up to 2-3 times more constraining upper limits on $\langle σ\mathit{v} \rangle$ than the individual results over a wide mass range spanning from 5 GeV to 100 TeV. Depending on the DM content modeling, the 95% confidence
This paper replies the comments by J. D. Jackson [Am. J. Phys. 75, 844-845 (2007)] and V. Hnizdo [Am. J. Phys. 75, 845-846 (2007)].
the study of both human anatomy and medicine in general is based on knowledge of anatomical and medical terminology. However, for a student of higher medical education, there is a whole series of difficulties associated with memorizing a large number of specialized terms of Latin or Greek origin, which is a big problem when studying, first of all, human anatomy, where the number of terms is about 7.5 thousand. This article is a continuation of the work of the Department of Human Anatomy, Operative Surgery and Topographic Anatomy of ZSMPhU with the study of anatomical terminology, which was started by Doctor of Sciences in Medicine, Professor M. A. Voloshyn. The aim of the study was to conduct an analysis of anatomical terms in order to study, systematize and exclusion of errors. In order to facilitate the understanding and memorization of specialized anatomical terms by the staff of the Department of Human Anatomy, Operative Surgery and Topographic Anatomy of ZSMPhU, together with the teachers of the Department of Foreign Languages of ZSMPhU, a classification of anatomical terms by origin has been developed and proposed. Materials and methods: the search and selection of scientific literature for a systematic review was carried out by the authors independently in the PubMed, Scopus and Cochrane databases using the keywords: "anatomy", "eponyms", "classification", "linguistics", "terminology" in the full texts of articles in English and Ukrainian based on the results of studies with the level of evidence I-III. All terms in human anatomy can be classified by the language of origin (linguistic classification) and by the connection of the term with the object or phenomenon of the surrounding world from which it originates (etymological classification). By language of origin (linguistic classification): 1. Latin (classical, postclassical); 2. Greek; 3. Arabic; 4. Old English; 5. other languages. According to the connection with the object or phenomenon of the surrounding world (etymological classification), terms are divided into anatomical names that reflect ancient ideas about living and inanimate objects of the surrounding world (terms whose origin is connected with objects of the inanimate world: cosmological terms; geological terms, as well as terms, the origin of which is related to the objects of the living world; terms of animalistic origin (terms , the origin of which is related to tableware, the origin of which is related to clothing and jewelry, the origin of which is related to furniture and toys, the origin of which is related to household tools and appliances, the origin of which is related to parts of the human dwelling, which are related to the domestic activity of a person and related to the military activity of a person), terms related to geometric figures, terms related to the names of colors, terms related to mythical or Biblical characters (terms related to Greek mythology, related to Roman mythology, related to Egyptian mythology, of biblical origin), eponyms, terms derived from the names of human body parts, terms related to certain functions of an organ, terms, related to certain characteristics of the object (shape, position, dimensions) and general terms, terms of uncertain origin and anachronisms. The proposed classification of anatomical terms by origin allows a deeper understanding of the historical, cultural, social and scientific meaning of some terms, makes them more understandable for students studying human anatomy.
Scandium was substituted for yttrium to observe the effect of unit cell size on the optical metal-to-insulator (MIT) transition in the Y_(1-z)Sc_(z)H_(x) alloy system. The optical transmittance decreases significantly for z>0.10. Simultaneous electrical resistivity measurements confirm the transition from trihydride to dihydride behavior with increasing z. These observations imply a quenching of the MIT when the unit cell volume falls below a critical level that is consistent with the boundary between trihydride and non-trihydride forming rare-earth elements. A combinatoric model reveals this formation boundary corresponds to two or more Sc per unit cell.
Motivated by the advances of quantum Darwinism and recognizing the role played by redundancy in identifying the small subset of quantum states with resilience characteristic of objective classical reality, we explore the implications of redundant records for consistent histories. The consistent histories formalism is a tool for describing sequences of events taking place in an evolving closed quantum system. A set of histories is consistent when one can reason about them using Boolean logic, i.e., when probabilities of sequences of events that define histories are additive. However, the vast majority of the sets of histories that are merely consistent are flagrantly non-classical in other respects. This embarras de richesses (known as the set selection problem) suggests that one must go beyond consistency to identify how the classical past arises in our quantum Universe. The key intuition we follow is that the records of events that define the familiar objective past are inscribed in many distinct systems, e.g., subsystems of the environment, and are accessible locally in space and time to observers. We identify histories that are not just consistent but redundantly consistent usin
The internal jugular vein (IJV) is of utmost importance during various surgical and endovascular approaches, including central access. It descends through the parapharyngeal space, carotid triangle, and sternocleidomastoid region. The anatomical variables of the IJV are mainly related to its calibre and dominance, number of venous channels (i.e., duplications and fenestrations), and compression sites. Specific compressions of the IJV are not exclusively due to the jugular nutcracker between the styloid process (SP) of the temporal bone and the C1 transverse process, which, in turn, should not be granted the eponym of Eagle. The possible morphologies of the SP and ossified stylohyoid chain are discussed here. Additionally, the digastric and sternocleidomastoid muscles, the hyoid, and the distorted carotid arteries may compress the IJV, thereby raising intracranial pressure. Here, a case is documented with a long inferior petrosal sinus adjacent to the IJV, both compressed into the C1-styloid nutcracker, which is an absolute novelty. Multiple compression sites of the IJV are supported here with original evidence. All anatomical variables of the IJV are relevant, as they may lead to stenoses or interfere with IJV cannulation. In rare cases of IJV agenesis, multiple compression sites on the opposite side may significantly alter bilateral cerebral drainage. Different methods may be used to decompress a stenotic IJV, including styloidectomy. In conclusion, the anatomical variables of the IJV should be acknowledged by practitioners and documented on a case-by-case basis.
The problem of intermediates in the fossil record has been frequently discussed ever since Darwin. The extent of `gaps' (missing transitional stages) has been used to argue against gradual evolution from a common ancestor. Traditionally, gaps have often been explained by the improbability of fossilization and the discontinuous selection of found fossils. Here we take an analytical approach and demonstrate why, under certain sampling conditions, we may not expect intermediates to be found. Using a simple null model, we show mathematically that the question of whether a taxon sampled from some time in the past is likely to be morphologically intermediate to other samples (dated earlier and later) depends on the shape and dimensions of the underlying phylogenetic tree that connects the taxa, and the times from which the fossils are sampled.
An Objective Structured Practical Examination (OSPE) is an effective and robust, but resource-intensive, means of evaluating anatomical knowledge. Since most OSPEs employ short answer or fill-in-the-blank style questions, the format requires many people familiar with the content to mark the exams. However, the increasing prevalence of online delivery for anatomy and physiology courses could result in students losing the OSPE practice that they would receive in face-to-face learning sessions. The purpose of this study was to test the accuracy of Decision Trees (DTs) in marking OSPE questions as a potential first step to creating an intelligent, online OSPE tutoring system. The study used the results of the winter 2020 semester final OSPE from McMaster University's anatomy and physiology course in the Faculty of Health Sciences (HTHSCI 2FF3/2LL3/1D06) as the data set. Ninety percent of the data set was used in a 10-fold validation algorithm to train a DT for each of the 54 questions. Each DT was comprised of unique words that appeared in correct, student-written answers. The remaining 10% of the data set was marked by the generated DTs. When the answers marked by the DT were compared
This note describes the results of some tests of the ABC-PRC algorithm of Sissons et al. (PNAS, 2007), and demonstrates with a toy example that the method does not converge on the true posterior distribution.
This paper bundles 40 contributions by the IceCube collaboration that were submitted to the 30th International Cosmic Ray Conference ICRC 2007. The articles cover studies on cosmic rays and atmospheric neutrinos, searches for non-localized, extraterrestrial electron, muon and tau neutrino signals, scans for steady and intermittent neutrino point sources, searches for dark matter candidates, magnetic monopoles and other exotic particles, improvements in analysis techniques, as well as future detector extensions. The IceCube observatory will be finalized in 2011 to form a cubic-kilometer ice-Cherenkov detector at the location of the geographic South Pole. At the present state of construction, IceCube consists of 52 paired IceTop surface tanks and 22 IceCube strings with a total of 1426 Digital Optical Modules deployed at depths up to 2350 m. The observatory also integrates the 19 string AMANDA subdetector, that was completed in 2000 and extends IceCube's reach to lower energies. Before the deployment of IceTop, cosmic air showers were registered with the 30 station SPASE-2 surface array. IceCube's low noise Digital Optical Modules are very reliable, show a uniform response and record
This volume contains the papers presented at WLPE 2007: the 17th Workshop on Logic-based Methods in Programming Environments on 13th September, 2007 in Porto, Portugal. It was held as a satellite workshop of ICLP 2007, the 23th International Conference on Logic Programming.
Geometric morphometrics is used in the biological sciences to quantify morphological traits. However, the need for manual landmark placement hampers scalability, which is both time-consuming, labor-intensive, and open to human error. The selected landmarks embody a specific hypothesis regarding the critical geometry relevant to the biological question. Any adjustment to this hypothesis necessitates acquiring a new set of landmarks or revising them significantly, which can be impractical for large datasets. There is a pressing need for more efficient and flexible methods for landmark placement that can adapt to different hypotheses without requiring extensive human effort. This study investigates the precision and accuracy of landmarks derived from functional correspondences obtained through the functional map framework of geometry processing. We utilize a deep functional map network to learn shape descriptors, which enable us to achieve functional map-based and point-to-point correspondences between specimens in our dataset. Our methodology involves automating the landmarking process by interrogating these maps to identify corresponding landmarks, using manually placed landmarks from the entire dataset as a reference. We apply our method to a dataset of rodent mandibles and compare its performance to MALPACA's, a standard tool for automatic landmark placement. Our model demonstrates a speed improvement compared to MALPACA while maintaining a competitive level of accuracy. Although MALPACA typically shows the lowest RMSE, our models perform comparably well, particularly with smaller training datasets, indicating strong generalizability. Visual assessments confirm the precision of our automated landmark placements, with deviations consistently falling within an acceptable range for MALPACA estimates. Our results underscore the potential of unsupervised learning models in anatomical landmark placement, presenting a practical and efficient alternative to traditional methods. Our approach saves significant time and effort and provides the flexibility to adapt to different hypotheses about critical geometrical features without the need for manual re-acquisition of landmarks. This advancement can significantly enhance the scalability and applicability of geometric morphometrics, making it more feasible for large datasets and diverse biological studies.