UltraRAM: 'Universal Memory' That Brings RAM-Like Speed to Non-Volatile Storage
Points: 245 | Comments: 129 | Author: pulse7
What Wiki Software do you use for internal documentation?
I am looking to set up a wiki software for internal team documentation. We have tried tools like sharepoint and confluence in the past. Ideally looking for something that: • Is easy for non techn...
RAMSES-RTZ: Non-Equilibrium Metal Chemistry and Cooling Coupled to On-The-Fly Ra…
Emission and absorption lines from elements heavier than helium (metals) represent one of our strongest probes of galaxy formation physics across nearly all redshifts accessible to observations. The vast majority of simulations that model these metal...
Rigid analytic p-adic Simpson correspondence for line bundles
The p-adic Simpson correspondence due to Faltings is a p-adic analogue of non-abelian Hodge theory. The following is the main result of this article: The correspondence for line bundles can be enhanced to a rigid analytic morphism of moduli spaces un...
The Sparsest Solutions to $Z$-Tensor Complementarity Problems
Finding the sparsest solutions to a tensor complementarity problem is generally NP-hard due to the nonconvexity and noncontinuity of the involved $\ell_0$ norm. In this paper, a special type of tensor complementarity problems with $Z$-tensors has bee...
Linear Hodge-Newton decomposition and its applications
Firstly, we provide a different proof of an important lemma in Buzzard and Calegari's work on slopes of overconvergent 2-adic modular forms via nonarchimedean linear Hodge-Newton decomposition. The lemma shows that two equivalent matrices with coeffi...
World Wine Exports: What Determines the Success of New World Wine Producers?
By using an econometric approach this paper looks at the evolution of the world wine industry in the period 1961-2005. A particular stylized fact is the appearance of nontraditional producing and exporting countries of wine from the beginning of the...
The generalization error of max-margin linear classifiers: Benign overfitting an…
Modern machine learning classifiers often exhibit vanishing classification error on the training set. They achieve this by learning nonlinear representations of the inputs that maps the data into linearly separable classes. Motivated by these pheno...
Assume-Guarantee Synthesis for Digital Contract Signing
We study the automatic synthesis of fair non-repudiation protocols, a class of fair exchange protocols, used for digital contract signing. First, we show how to specify the objectives of the participating agents and the trusted third party (TTP) as p...
Assume-Guarantee Abstraction Refinement for Probabilistic Systems
We describe an automated technique for assume-guarantee style checking of strong simulation between a system and a specification, both expressed as non-deterministic Labeled Probabilistic Transition Systems (LPTSes). We first characterize counterexam...
Crystallographic Interacting Topological Phases and Equivariant Cohomology: To a…
For symmorphic crystalline interacting gapped systems we derive a classification under adiabatic evolution. This classification is complete for non-degenerate ground states. For the degenerate case we discuss some invariants given by equivariant char...
Brave Browser, is it as unsecure as the FireFox users say?
Jul 7, 2021 · Mostly Brave got accused to being a non-privacy browser with trackers and other unsecure stuff. I just switched to Brave from Vivaldi so I was worried and wanted to investigate the claims, …
Learning Brave Assumption-Based Argumentation Frameworks via ASP
Assumption-based Argumentation (ABA) is advocated as a unifying formalism for various forms of non-monotonic reasoning, including logic programming. It allows capturing defeasible knowledge, subject to argumentative debate. While, in much existing wo...
BRAVE: Brain-Controlled Prosthetic Arm with Voice Integration and Embodied Learn…
Non-invasive brain-computer interfaces (BCIs) have the potential to enable intuitive control of prosthetic limbs for individuals with upper limb amputations. However, existing EEG-based control systems face challenges related to signal noise, classif...
On families of differential equations on two-torus with all phase-lock areas
We consider two-parametric families of non-autonomous ordinary differential equations on the two-torus with the coordinates $(x,t)$ of the type $\dot x=v(x)+A+Bf(t)$. We study its rotation number as a function of the parameters $(A,B)$. The {\it phas...
Identifying the Geometry of an Object Using Lock-In Thermography
Lock-in Thermography (LIT) is a type of Infrared Thermography (IRT) that can be used as a useful non-destructive testing (NDT) technique for the detection of subsurface anomalies in objects. Currently, LIT fails to estimate the thickness at a point o...
Phase-locking at low-level of quanta
We discuss phase-locking phenomena at low-level of quanta for parametrically driven nonlinear Kerr resonator (PDNR) in strong quantum regime. Oscillatory mode of PDNR is created in the process of a degenerate down-conversion of photons under interact...
Perfect single error-correcting codes in the Johnson Scheme
Delsarte conjectured in 1973 that there are no nontrivial pefect codes in the Johnson scheme. Etzion and Schwartz recently showed that perfect codes must be k-regular for large k, and used this to show that there are no perfect codes correcting sin...
Cosa fare se una signora tenta di cacciarti da un bagno/spogliatoio pubblico?
La domanda è ipotetica perché non mi è mai capitato, ma penso che in caso sia meglio essere preparati, e purtroppo online trovo solo risposte che fanno riferimento agli Stati Uniti. Recentemente h...
Il matrimonio non si ripaga con i regali degli invitati
Mi sono sposato qualche mese fa. Qui parlerò esclusivamente dell'aspetto finanziario del matrimonio e risponderò ad eventuali domande, se interessati. Ci tengo a precisare, dato che l'argomento è ...