In the decades since alcoholism became widely recognized as a disease (Jellinek, 1960), evidence for alcohol-induced physical damage has accumulated both in quantity and in detail. Prominent amongst the affected organ systems at-risk is the brain, which responds to alcohol in a variety of ways. Free radicals formed during metabolism of alcohol damage the brain. Acetaldehyde, which is generated ...

We prove that (1) for any complete lattice $L$, the set $\mathcal {D}(L)$ of all non-empty saturated compact subsets Scott space $L$ is a Heyting algebra (with reverse inclusion order); and (2) if latti

This paper proposes the t-class of SOBER stream ciphers: t8, t16 and t32. t8, t16 and t32 offer 64-, 128and 256-bit key strength respectively. The t-class ciphers are based on the same principles as the original SOBER family: SOBER [17], SOBER-II [18], S16 and S32 [19], utilising the structure SOBER-II and S16 are based. The t-class ciphers are software stream ciphers designed for software impl...

We study the topological spectrum of a seminormed ring $R$ which we define as space prime ideals $\mathfrak{p}$ such that equals kernel some bounded power-multiplicative seminorm. For any show is quasi-compact sober space. When perfectoid Tate construct natural homeomorphism between and its tilt $R^{\flat}$. As an application, prove integral domain if only domain.

Two ways of mounting distinguishing attacks on two similar stream ciphers, SOBER-t16 and SOBER-t32, are proposed. It results in distinguishing attacks faster than exhaustive key search on full SOBERt16 and on SOBER-t32 without stuttering.

It is proved that the quasi-proximity space induced by the bicompletion of a quasi-uniform T0-space X is a subspace of the quasi-proximity space induced by the Samuel bicompactification of X. The result is then used to establish that the locally finite covering quasi-uniformity defined on the category Top0 of topological T0-spaces and continuous maps is not lower K-true (in the sense of Brümmer...

The notion of sobriety is extended to the realm topological spaces valued in a commutative and unital quantale, via an adjunction between category quantale modules quantale-valued spaces. Relations such sober domains based on flat ideals are investigated. In particular, it shown that if unit element coincides with its top element, then every domain (relative ideals) Scott topology space.

A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational values are determined by the observations that can be made of them. A new definition of sobriety is formulated in terms of lambda calculus and elementary category theory, with no reference to lattice structure, but, for topological spaces, this...