All posts under category "Research"
A population of firing neurons is expected to carry information not only by mean firing rate but also by fluctuation and synchrony among neurons. In order to examine this possibility, we have studied responses of neuronal ensembles to three kinds of
Completed in May 2008, the ANTARES neutrino telescope is located 40 km off the coast of Toulon, at a depth of about 2500 m. The telescope consists of 12 detect or lines housing a total of 884 optical modules. Each line is anchored to the seabed and p
By resorting to basic features of topological knot theory we propose a (classical) cryptographic protocol based on the `difficulty' of decomposing complex knots generated as connected sums of prime knots and their mutants. The scheme combines an asym
We have performed a measurement of the absolute yield of fluorescence photons at the Fermilab Test Beam. A systematic uncertainty at 5% level was achieved by the use of Cherenkov radiation as a reference calibration light source. A cross-check was pe
The official meteorological network is poor on the island of Corsica: only three sites being about 50 km apart are equipped with pyranometers which enable measurements by hourly and daily step. These sites are Ajaccio (seaside), Bastia (seaside) and
Evaluating vision-language models (VLMs) in scientific domains like mathematics and physics poses unique challenges that go far beyond predicting final answers. These domains demand conceptual understanding, symbolic reasoning, and adherence to forma
One of the greatest achievements of Greek mathematics is the proof that the square root of 2 is irrational. It has not been thought that the Babylonians appreciated the concept of irrationality and certainly that they did not prove that the square ro
Our objective is to provide guaranteed packet delivery service in time constrained sensor networks. The wireless network is a highly variable environment, where available link bandwidth may vary with network load. Since multimedia applications requir
We study the state complexity of regular operations in the class of ideal languages. A language L over an alphabet Sigma is a right (left) ideal if it satisfies L = L Sigma (L = Sigma L). It is a two-sided ideal if L = Sigma L Sigma , and an all-
We present the high resolution spectra of the youn and compact planerary nebula NGC 6790 obtained with the echelle spectrograph at Bohyunsan Optical Astronomy Observatory and report the discovery of Raman scattered He II 6545 in this object. This lin
There has recently been considerable interest in design of low-complexity, myopic, distributed and stable scheduling policies for constrained queueing network models that arise in the context of emerging communication networks. Here, we consider two
In this paper, we describe randomized Shellsort--a simple, randomized, data-oblivious version of the Shellsort algorithm that always runs in O(n log n) time and, as we show, succeeds in sorting any given input permutation with very high probability.
We propose an extension of the concept of Expected Improvement criterion commonly used in Kriging based optimization. We extend it for more complex Kriging models, e.g. models using derivatives. The target field of application are CFD problems, where
The paper titled ''Global gridded population datasets systematically underrepresent rural population'' by Josias Láng-Ritter et al. provides a valuable contribution to the discourse on the accuracy of global population datasets, particularly in rural
In the recent years, the discovery of a new class of Galactic transients with fast and bright flaring X-ray activity, the Supergiant Fast X-ray Transients, has completely changed our view and comprehension of massive X-ray binaries. These objects dis
We revisit the issue of the recent dynamical evolution of clusters of galaxies using a sample of ACO clusters with z<0.14, which has been selected such that it does not contain clusters with multiple velocity components nor strongly merging or intera
We report about the search for short-term variability in the high-energy gamma-ray energy band of three flat-spectrum radio quasars (3C 454.3, 3C 273, PKS B1222+216), whose flux at E > 100 MeV exceeded the value of 10^-5 ph cm^-2 s^-1 for at least on
The individualization-refinement paradigm for computing a canonical labeling and the automorphism group of a graph is investigated. A new algorithmic design aimed at reducing the size of the associated search space is introduced, and a new tool, name
The H.E.S.S. experiment, an array of four Imaging Atmospheric Cherenkov Telescopes, observes the Galactic Centre (GC) region in the very high-energy (VHE, E > 100 GeV) domain since 2003. The GC is believed to be the region with the highest Dark Matte
Network coding permits to deploy distributed packet delivery algorithms that locally adapt to the network availability in media streaming applications. However, it may also increase delay and computational complexity if it is not implemented efficien
It is well known that the discrete Sierpinski triangle can be defined as the nonzero residues modulo 2 of Pascal's triangle, and that from this definition one can easily construct a tileset with which the discrete Sierpinski triangle self-assembles i
For a class L of languages let PDL[L] be an extension of Propositional Dynamic Logic which allows programs to be in a language of L rather than just to be regular. If L contains a non-regular language, PDL[L] can express non-regular properties, in co
We present an analysis of far-infrared dust emission from diffuse cirrus clouds. This study is based on serendipitous observations at 160 microns at high galactic latitude with the Multiband Imaging Photometer (MIPS) onboard the Spitzer Space Telesco
The intermediate-frequency-peaked BL Lac object 3C 66A was detected in a flaring state by the Fermi-LAT and VERITAS observatories in October 2008. These data and follow-up observations at other wavelengths create a rich sample of light curves and a c
Optimal dissemination schemes have previously been studied for peer-to-peer live streaming applications. Live streaming being a delay-sensitive application, fine tuning of dissemination parameters is crucial. In this report, we investigate optimal si
The application of mobile computing is currently altering patterns of our behavior to a greater degree than perhaps any other invention. In combination with the introduction of BLE (Bluetooth Low Energy) and similar technologies enabling context-awar
From the relative scarcity of training data to the lack of standardized benchmarks, the development of foundation models for polymers face significant and multi-faceted challenges. At the core, many of these issues are tied directly to the structural
A novel approach to evaluation of hardware and software testability, represented in the form of register transfer graph, is proposed. Instances of making of software graph models for their subsequent testing and diagnosis are shown.
There are two fair ways to distribute particles in boxes. The first way is to divide the particles equally between the boxes. The second way, which is calculated here, is to score fairly the particles between the boxes. The obtained power law distrib
If g is a map from a space X into mathbb R^m and znotin g(X) , let P_{2,1,m}(g,z) be the set of all lines Pi^1subsetmathbb R^m containing z such that g^{-1}(Pi^1) geq 2 . We prove that for any n -dimensional metric compactum X the f
In this paper we analyze the bound on the additive white Gaussian noise channel (AWGNC) pseudo-weight of a (c,d)-regular linear block code based on the two largest eigenvalues of H^T H. In particular, we analyze (c,d)-regular quasi-cyclic (QC) codes
The input to the unrooted traveling repairman problem is an undirected metric graph and a subset of nodes, each of which has a time window of unit length. Given that a repairman can start at any location, the goal is to plan a route that visits as ma
Superconductivity and magnetism generally do not coexist. Changing the relative number of up and down spin electrons disrupts the basic mechanism of superconductivity, where atoms of opposite momentum and spin form Cooper pairs. Nearly forty years ag
Multimodal LLMs often produce fluent yet unreliable reasoning, exhibiting weak step-to-step coherence and insufficient visual grounding, largely because existing alignment approaches supervise only the final answer while ignoring the reliability of t
The recent proof by Madsen and Weiss of Mumford's conjecture on the stable cohomology of moduli spaces of Riemann surfaces, was a dramatic example of an important stability theorem about the topology of moduli spaces. In this article we give a survey
We show that the space of density matrices for n-qubit states, considered as a (2^n)^2 dimensional real vector space, has a basis consisting of density matrices of stabilizer states. We describe an application of this result to automated verification
Model checking is a widespread automatic formal analysis that has been successful in discovering flaws in security protocols. However existing possibilities for state space explosion still hinder analyses of complex protocols and protocol configurati
The Women's Health Initiative randomized clinical trial of hormone therapy found no benefit of hormones in preventive cardiovascular disease, a finding in striking contrast with a large body of observational research. Understanding whether better met
Statistics has moved beyond the frequentist-Bayesian controversies of the past. Where does this leave our ability to interpret results? I suggest that a philosophy compatible with statistical practice, labeled here statistical pragmatism, serves as a
We investigate the stochastic homogenization of a class of turbulent diffusions generated by non-local symmetric Lévy operators with divergence-free drift fields in ergodic random environments, where neither the drift fields nor their associated stre
The Lorenz equations [1] are a severe Galerkin-truncation of the Oberbeck-Boussinesq (OB) equations describing Rayleigh-Bénard convection (RBC). Here we examine the mathematical connections between the chaotic lobe-switching behavior of a stochastic
Process calculi and graph transformation systems provide models of reactive systems with labelled transition semantics. While the semantics for process calculi is compositional, this is not the case for graph transformation systems, in general. Hence
A good particle candidate for Cold Dark Matter (CDM) is the supersymmetric neutralino or more generally a weakly interacting massive particle (WIMP). The expected interaction rate of WIMPs with the detector medium in the direct detection experiments
We study low energy hadronic interaction models based on BESS observed cosmic ray proton and antiproton spectra at medium high altitude. Among the three popular low energy interaction models, we find that FLUKA reproduces results of BESS observations
Micro-indentation test with a micro flat-end cone indenter was employed to simulate micro embossing process and investigate the thermo-mechanical response of ceramic green substrates. The laminated low temperature co-fired ceramic green tapes were us
As the cost of information processing and Internet accessibility falls, most organizations are becoming increasingly vulnerable to potential cyber threats which its rate has been dramatically increasing every year in recent times. In this paper, we s
A solid object impacting on liquid creates a liquid jet due to the collapse of the impact cavity. Using visualization experiments with smoke particles and multiscale simulations we show that in addition a high-speed air-jet is pushed out of the cavit
LLM-based automatic survey systems are transforming how users acquire information from the web by integrating retrieval, organization, and content synthesis into end-to-end generation pipelines. While recent works focus on developing new generation p
Ring topologies of repressing genes have qualitatively different long-term dynamics if the number of genes is odd (they oscillate) or even (they exhibit bistability). However, these attractors may not fully explain the observed behavior in transient
We introduce collaborative tagging and faceted search on structured P2P systems. Since a trivial and brute force mapping of an entire folksonomy over a DHT-based system may reduce scalability, we propose an approximated graph maintenance approach. Ev
Enter keywords to search articles