All posts under category "Research"
Synthetic 3D scenes are essential for developing Physical AI and generative models. Existing procedural generation methods often have low output throughput, creating a significant bottleneck in scaling up dataset creation. In this work, we introduce
Breakthrough discoveries and inventions involve unexpected combinations of contents including problems, methods, and natural entities, and also diverse contexts such as journals, subfields, and conferences. Drawing on data from tens of millions of re
Segmentation is a critical step in medical image analysis. Fully Convolutional Networks (FCNs) have emerged as powerful segmentation models achieving state-of-the-art results in various medical image datasets. Network architectures are usually design
Heart Failure is a major component of healthcare expenditure and a leading cause of mortality worldwide. Despite higher inter-rater variability, endomyocardial biopsy (EMB) is still regarded as the standard technique, used to identify the cause (e.g.
We perform a fully self-consistent 3-D numerical simulation for a compressible, dissipative magneto-plasma driven by large-scale perturbations, that contain a fairly broader spectrum of characteristic modes, ranging from largest scales to intermediat
Multimedia documents such as slide presentations and posters are designed to be interactive and easy to modify. Yet, they are often distributed in a static raster format, which limits editing and customization. Restoring their editability requires co
While mainstream robotics pursues metric precision and flawless performance, this paper explores the creative potential of a deliberately 'lo-fi' approach. We present the 'Semantic Glitch,' a soft flying robotic art installation whose physical form,
Large language models are increasingly used for text classification tasks such as sentiment analysis, yet their reliance on natural language prompts exposes them to prompt injection attacks. In particular, class-directive injections exploit knowledge
Orbital-free (OF) methods promise significant speed-up of computations based on density functional theory (DFT). In this field, the development of accurate kinetic-energy density functionals remains an open question. In this chapter we review the she
We investigate the symbiotic star BI Crucis through a comprehensive and self-consistent analysis of the spectra emitted in three different epochs: 60's, 70's, and late 80's. In particular, we would like to find out the physical conditions in the shoc
Despite rapid advances in multilingual natural language processing (NLP), the Bantu language Shona remains under-served in terms of morphological analysis and language-aware tools. This paper presents Shona spaCy, an open-source, rule-based morpholog
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantified) multimodal logics and intuitionistic logics, can be elegantly emb
We prove that it is NP-hard to decide whether two points in a polygonal domain with holes can be connected by a wire. This implies that finding any approximation to the shortest path for a long snake amidst polygonal obstacles is NP-hard. On the posi
In this paper, we describe efficient MapReduce simulations of parallel algorithms specified in the BSP and PRAM models. We also provide some applications of these simulation results to problems in parallel computational geometry for the MapReduce fra
Consider a two-by-two factorial experiment with more than 1 replicate. Suppose that we have uncertain prior information that the two-factor interaction is zero. We describe new simultaneous frequentist confidence intervals for the 4 population cell m
We derive a 1/c -expansion for the single-particle density matrix of a strongly interacting time-dependent one-dimensional Bose gas, described by the Lieb-Liniger model ( c denotes the strength of the interaction). The formalism is derived by expan
We implemented a Soft Decision Tree (SDT) and a Short-term Memory Soft Decision Tree (SM-SDT) using PyTorch. The methods were extensively tested on simulated and clinical datasets. The SDT was visualized to demonstrate the potential for its explainab
The Software Design Document of UUIS describes the prototype design details of the system architecture, database layer, deployment and configuration details as well as test cases produced while working the design and implementation of the prototype.
Modern processors are highly optimized systems where every single cycle of computation time matters. Many optimizations depend on the data that is being processed. Software-based microarchitectural attacks exploit effects of these optimizations. Micr
In this paper, based on the user-tag-object tripartite graphs, we propose a recommendation algorithm, which considers social tags as an important role for information retrieval. Besides its low cost of computational time, the experiment results of tw
A space X is finite dimensional, locally compact and separable metrizable if and only if X has a finite basic family: continuous functions Phi_1,...,Phi_n of X to the reals, R, such that for all continuous f from X to R there are g_1,..., g_n in C(R)
The emergence of accurate open large language models (LLMs) has sparked a push for advanced quantization techniques to enable efficient deployment on end-user devices. In this paper, we revisit the challenge of extreme LLM compression -- targeting ul
We compute statistical properties of the lowest-order multipole coefficients of the magnetic field generated by a dynamo of arbitrary shape. To this end we expand the field in a complete biorthogonal set of base functions, viz. B = sum_k a^k(t) b^k(r
Finding the optimal assignment in budget-constrained auctions is a combinatorial optimization problem with many important applications, a notable example being the sale of advertisement space by search engines (in this context the problem is often re
Motivated by the trend to outsource work to commercial cloud computing services, we consider a variation of the streaming paradigm where a streaming algorithm can be assisted by a powerful helper that can provide annotations to the data stream. We ex
According to the WHO, Cerebrovascular Stroke, or CS, is the second largest cause of death worldwide. Current diagnosis of CS relies on labor and cost intensive neuroimaging techniques, unsuitable for areas with inadequate access to quality medical fa
Ecohydrological models are increasingly applied across multiple scenarios, yet their application remains constrained by high computational costs of fine-resolution simulations and structural inconsistencies in cross-scale modeling. This study develop
Project-Based Learning (PBL) is a teaching technique in which authentic, real-world projects are used as the primary vehicle to drive the student's learning experience. This technique has been found to be very effective, but its overall adoption rate
We report on submillimetre bolometer observations of the isolated neutron star RX J1856.5--3754 using the LABOCA bolometer array on the Atacama Pathfinder Experiment (APEX) Telescope. No cold dust continuum emission peak at the position of RX J1856.5
Speech separation is the task of separating target speech from background interference. Traditionally, speech separation is studied as a signal processing problem. A more recent approach formulates speech separation as a supervised learning problem,
The concept of the sustainable business model describes the rationale of how an organization creates, delivers, and captures value, in economic, social, cultural, or other contexts, in a sustainable way. The process of sustainable business model cons
We report the Suzaku observation of 1E 1740.7-2942, a black hole candidate called the 'Great Annihilator' (GA). The high-quality spectrum of Suzaku provides the severest constraints on the parameters of the GA. Two clumpy structures are found around
There is an increasing demand for controller design techniques capable of addressing the complex requirements of todays embedded applications. This demand has sparked the interest in symbolic control where lower complexity models of control systems a
In this work we propose a new numerical approach to distinguish between regular and chaotic orbits in Hamiltonian systems, based on the simultaneous integration of both the orbit and the deviation vectors using a symplectic scheme, hereby called {em
Equity options are known to be notoriously difficult to price accurately, and even with the development of established mathematical models there are many assumptions that must be made about the underlying processes driving market movements. As such,
Recent advances in LLMs have outpaced the computational and memory capacities of edge platforms that primarily employ CPUs, thereby challenging efficient and scalable deployment. While ternary quantization enables significant resource savings, existi
We develop an incremental-tableau-based decision procedure for the multi-agent epistemic logic MAEL(CD) (aka S5_n (CD)), whose language contains operators of individual knowledge for a finite set Ag of agents, as well as operators of distributed and
In today's world of computers, any kind of information can be made available within few clicks for different endeavors. The information may be tampered by changing the statistical properties and can be further used for criminal activities. These days
Based on the K'onigl's inhomogeneous jet model, we estimate the jet parameters, such as bulk Lorentz factor Gamma , viewing angle theta and electron number density n_{rm e} from radio VLBI and X-ray data for a sample of active galactic nuclei (A
S5 0716+714 is a well-studied BL Lac object in the sky. Verifying the existence of correlations among the flux variations in different bands serves as an important tool to investigate the emission processes. To examine the possible existence of a lag
The past decade has seen a remarkable series of advances in machine learning, and in particular deep learning approaches based on artificial neural networks, to improve our abilities to build more accurate systems across a broad range of areas, inclu
We experimentally study how redistribution choices are affected by positive and negative information regarding the behaviour of a previous participant in a dictator game with a taking option. We use the strategy method to identify behavioural 'types'
The electronic structure of charybdotoxin (ChTX), a scorpion venom peptide that is known to act as a potassium channel blocker, is investigated with the aid of quantum mechanical calculations. The dipole moment vector (145 D) of ChTX can be stirred b
We employ the Chandra Multiwavelength Project (ChaMP) and the Sloan Digital Sky Survey (SDSS) to study the fraction of X-ray-active galaxies in the field out to z = 0.7. We utilize spectroscopic redshifts from SDSS and ChaMP, as well as photometric r
A generic prediction in the paradigm of weakly interacting dark matter is the production of relativistic particles from dark matter pair-annihilation in regions of high dark matter density. Ultra-relativistic electrons and positrons produced in the c
In a functional calculus, the so called Omega-rule states that if two terms P and Q applied to any closed term N return the same value (i.e. PN = QN), then they are equal (i.e. P = Q holds). As it is well known, in the lambdabeta-calculus the Omega-r
It was proposed earlier that the relativistic ejections observed in microquasars could be produced by violent magnetic reconnection episodes at the inner disk coronal region. Here we revisit this model, which employs a standard accretion disk descrip
We combine IR, optical and X-ray data from the overlapping, 9.3 square degree NOAO Deep Wide-Field Survey (NDWFS), AGN and Galaxy Evolution Survey (AGES), and XBootes Survey to measure the X-ray evolution of 6146 normal galaxies as a function of abso
We summarize a book under publication with his title written by the three present authors, on the theory of Zipf's law, and more generally of power laws, driven by the mechanism of proportional growth. The preprint is available upon request from the
We analyze the long-term tidal evolution of a single-planet system through the use of numerical simulations and averaged equations giving the variations of semi-major axis and eccentricity of the relative orbit. For different types of planets, we com
Enter keywords to search articles