Our Work

This paper presents a self-observed case study of autobiographical memory reconstruction following a school reunion held after a long interval since graduation. Contemporary theories increasingly desc…

This paper presents a self-observed case study of autobiographical memory reconstruction following a school reunion held after a long interval since graduation. Contemporary theories increasingly describe memory as a reconstructive process rather than the retrieval of fixed records. The present observations provide an opportunity to examine this process in real time. Over approximately forty-four hours following the reunion, recognition of former classmates triggered the progressive re-emergence of contextual information including seasons, music, school events, interpersonal relationships, and temporally localized autobiographical episodes extending far into the past. Rather than appearing instantaneously, memories emerged through successive stages of reconstruction. Faces triggered contexts; contexts triggered environmental details; environmental details triggered music; music enabled temporal localization. The observations are interpreted within a generative framework inspired by recent developments in diffusion-based artificial intelligence models. The findings suggest that autobiographical memory may function less as retrieval from storage and more as iterative reconstruction from sparse cues. Implications for cognitive science, autobiographical memory research, music-evoked recall, reminiscence therapy, and cognitive medicine are discussed.

References used in IEEE Micro publication: SUPREME: Materials-to-Systems Advances in Emerging Devices, Interconnects, and Processing under SRC JUMP 2.0 by G.H. Xing et al.

Exact-arithmetic verification code in Python 3, a kernel-checked Lean 4 certificate of the finite arithmetic, Macaulay2 computations of local Ext algebras, the TikZ sources of every figure, and a list…

Exact-arithmetic verification code in Python 3, a kernel-checked Lean 4 certificate of the finite arithmetic, Macaulay2 computations of local Ext algebras, the TikZ sources of every figure, and a list of every computation with the results of the paper it checks (COMPUTATIONS.md), accompanying the paper Density of Algebraic Loci of Weil Classes on Abelian Varieties by Deep Bhattacharjee, Priyabrata Mandal and Ushashi Bhattacharya.code/verify_all.py runs sixty-nine items and prints 2135 checks passed, 0 failed. All arithmetic is exact: rational, integer, or exterior algebra over the rationals, except in fourfold_products.py, which evaluates integrals of theta functions by quadrature in double precision and reads one rank off from a gap of the singular values. The item closure_graph.py carries the logical skeleton of the paper and of the literature it quotes as a rule set and computes what separates it from the Hodge conjecture: the conjecture is not in the closure of what the paper proves; the conjecture for varieties that are not abelian is equivalent to the whole conjecture, because it covers A x P^1 for every abelian variety A; with its weaker form, the conjecture modulo abelian varieties, added, there are exactly five minimal sufficient sets of open statements: that statement alone; the Lefschetz standard conjecture together with the motivatedness of every Hodge class; and the weaker form together with the Lefschetz standard conjecture, with the variational Hodge conjecture for algebraic classes, or with the propagation statement for the split families of the CM fields of degree at least four and the classes beyond the Weil lines, the route of the paper; every member of these sets except the propagation statement is a consequence of the conjecture; with the implication from the classes beyond the Weil lines to the conjecture for abelian varieties adjoined, the propagation statement lies in no minimal set; and the secant route the paper narrows lies outside every minimal set: through a descent lemma it reaches every imaginary quadratic family, and it reaches no CM field of higher degree. The item p2_support.py checks the linear algebra behind the two theorems that sharpen the remaining propagation criterion: that it is met as soon as one complex has Ext^2 of dimension 2n(2n-1), and that such a complex cannot be supported in codimension n. The item weil_tori.py checks the Hodge-theoretic input of the theorem that this criterion, in the form in which the Chern character of the complex is exactly a Weil class, is never met, in any dimension: such a complex would deform along every K-linear deformation of the abelian variety, and a very general K-linear complex torus of Weil type has no Hodge classes of degree 2k for 0 < k < n and only the Weil plane in degree 2n, so it has no proper analytic subsets of positive dimension and its coherent sheaves have no Chern classes in intermediate degree; the criterion survives only in a corrected form in which the Chern character may also carry powers of the polarisation. The item lefschetz_family.py checks the linear algebra behind the proof of the Lefschetz standard conjecture for the total space of an abelian scheme over a curve whose invariant cycles are algebraic, and so for every Mumford family: the operator Lambda of an abelian variety is a Pontryagin product with an algebraic class. The item targets_reduction.py checks the finite computations behind the reduction of the two remaining targets to one case of the Lefschetz standard conjecture each, and behind the Hodge conjecture for the square of a Mumford fourfold at every CM point. The item mumford_rigidity.py checks, block by block and in exact arithmetic, the rigidity of the exceptional classes on the square of a Mumford fourfold: the only first order deformation keeping such a class of Hodge type is the direction of the compact Mumford curve, and contraction into the class has rank 119 on the 120-dimensional HT^2, which turns the semiregularity criterion for these classes into the single dimension dim Ext^2 = 119. The item mumford_object.py computes what any perfect complex with the Chern character of such a class must satisfy: lower bounds 1, 16, 119, 328, 560, 328, 119, 16, 1 for its self-extensions in degrees 0 to 8, which the vanishing of its Euler characteristic turns into at least 800 dimensions in odd degrees, and the fact that products of divisor classes miss the class at every point. The item lefschetz_closure.py checks that every object built from line bundles on powers of a Mumford fourfold by cones, tensor products, pull-backs, push-forwards and Fourier-Mukai functors has a Chern character invariant under the Lefschetz group, which the exceptional classes are not, at every point of the curve: the Lefschetz invariants of the square are spanned by products of divisor classes in every degree, and the module an exceptional class generates is irreducible of dimension 308. The item twistor_locus.py checks the finite computations behind the description of the Hodge locus of an exceptional class among all complex tori: its component through the square of a member is the Mumford curve, so no twistor line through a member keeps the class of Hodge type, while the twistor lines of the compact quaternionic factor, on which it is of Hodge type, carry tori that no invariant class of degree two polarises. The item hk_pullback.py checks the computations behind the description of the square of a Mumford fourfold as a holomorphic symplectic variety: its symplectic class generates the only sub-Hodge structure of H^2 with h^{2,0} = 1, a copy of the structure of K3 type attached to the fourfold, the exceptional classes are the dual forms of that copy twisted by the real multiplication, and the octic form it carries rules out hyperkaehler eightfolds as targets of a pull-back argument. The item mumford_routes.py computes which of the open routes to that target are needed: over what is proved, three of them are equivalent to the target, two imply it, every minimal set of open statements yielding it has one element, and the target is an input to no minimal route to the conjecture. The item criterion_shape.py checks the finite ingredients of the theorem on the shape of an object meeting the numerical criterion: by the Hodge-Riemann relations its Euler characteristic is positive, an indecomposable summand carries the Weil class, and in dimension four, and in dimension six granting a compatibility the paper already uses, the object has at least three independent endomorphisms, so no simple object meets the criterion. The item mumford_rm.py checks the linear algebra and arithmetic behind the reduction of the first Hodge classes beyond the Weil lines, the two exceptional classes on the square of a Mumford fourfold, to the Kuga-Satake class of one K3 surface of Picard number thirteen attached to the fourfold. The item p2prime.py computes the corrected propagation criterion, for a Chern character equal to a Weil class plus a polynomial in the polarisation: contraction from HT^2 into it has rank (4+rho)n^2-2n, with rho the rank of a Hankel matrix of the coefficients, and a complex whose Ext^2 has that dimension meets the criterion; it is checked exactly for n up to 4 by default and up to 10 with --extreme. The item p2prime_profile.py computes the same ranks in every degree of HT^*, and the Euler characteristic of such a complex. The item descent.py checks the linear algebra of the descent lemma, by which a product with an abelian surface of Weil type carries the Weil classes of a family in dimension n+1 to those of every family in dimension n, of every discriminant, and of scalar extension from an imaginary quadratic field to a CM field containing it. The item attack_checks.py runs a fast subset of the scripts in code/attack/, which hold four sets of computations, each with an independent re-implementation and the transcripts of both: the Weil classes of a quartic CM field at n = 2 (divisor classes reach them exactly on a Noether-Lefschetz locus governed by a quaternion algebra; the Casimir class of the weight-two part is algebraic exactly when they are; the corrected criterion asks dim Ext^2 = 112 of one complex for a general shape, and quartic_rank.py computes the rank it asks for exactly: fifteen values, the least 80 and only for a constant polynomial part, so that with the exclusion of the pure shape a complex meeting it has dim Ext^2 >= 88, and at 88 a polynomial part exponential or linear at each real place, while the Hodge locus of each character, computed to first order, is the family of Weil tori only for the theta^4 shape and the polarised family itself for every other character left at 88); the powers of a Mumford fourfold (pull-backs and products of Hodge classes of X x X span 7 of the 8 dimensions of the degree-four multilinear invariants, and one composite of correspondences reaches the eighth, so the two exceptional classes give every Hodge class on every power of X); explicit objects on a split member (the Hochschild profile of a secant class, and twisted certificates at n = 2 and n = 3 with dim Ext^2 equal to the number the criterion asks); and natural objects at n = 4 (a combination with a Weil part needs at least eight of them, on one conic of a quadric of Lagrangians, as in the relation sum m_i [B_i] = 14 W_2 over eight graph subvarieties). None of it is a new case of the Hodge conjecture. The item sextic_count.py computes the dimension count for Orlov products over a sextic CM field: the ranks of contraction into a secant class in closed form, and the Euler form on the secant space, which is negative definite, so that the obstruction proved in degree four does not extend to degree six. The item sextic_lattice.py tests that count on the lattice of integral characters, and sextic_weil.py computes the part of the twisted character of an Orlov product that lies on the Weil planes of the sextic field and the least integral characters for which it is nonzero. The item quartic_kernels.py checks kernels on X x X for a quartic CM field; mumford_motivic.py the four possible motivic groups of a Mumford fourfold and the fact that every class generated by divisor classes and Weil classes is fixed by a cyclic permutation that moves the exceptional classes, which also shows that the Hodge conjecture for the classes beyond the Weil lines is equivalent to the conjecture for all abelian varieties; k3_hodge.py Hodge classes on powers and Hilbert schemes of K3 surfaces and on varieties of K3^[n] type; f3prime_chow.py the Hodge numbers behind the reach of the arguments on zero-cycles; mumford_mass.py the Wirtinger bound on the square of a Mumford fourfold, the numbers behind the reformulation of the conjecture as the vanishing of an integrality gap for mass-minimising currents; cm_source.py the Weil structure of a Mumford fourfold at a CM point, where pull-backs of its Weil line along homomorphisms with components in the Weil field span 110 of the 132 Hodge classes of the square and reach no exceptional class; and delsarte.py the Fermat covers and the smoothness of the Delsarte sextic fourfolds, which put them in the domain of the conjecture modulo abelian varieties. The item simplex_type.py checks the lattice data behind the theorem that a smooth closure of a torus hypersurface defined by affinely independent monomials, in a projective toric variety, has its whole cohomology spanned by images of Fermat varieties of one degree under algebraic correspondences, so that every smooth Delsarte hypersurface, in every dimension, and the cyclic covers branched along them, satisfy the conjecture modulo abelian varieties: the degree of the Fermat varieties for the 29 sextic shapes, Euler numbers through the orbits, and holomorphic forms of the Fermat covers. The item quartic_local.py checks the global part of the theorem that Markman's explicit pair for a biquadratic field does not satisfy the weakened semiregularity criterion: two compensated classes in HT^2, one for each real place, preserve every quartic secant character, the annihilators of the two characters of the pair have dimensions 16 and 8, their contraction ranks are 12 and 20, and contraction into their external product on X x X has rank 96; the local part, that at a point where a sheaf is locally free on a smooth curve or is the ideal of a curve in a smooth divisor the relevant products of jet classes are nonzero, is m2/local_germs.m2. The item lattice_congruence.py checks the lattice statement for secant objects on a principally polarised abelian fourfold: the Chern characters of bundles built from line bundles lie in the lattice spanned by the classes e^{j Theta}, and the secant class u + 3v lies in it exactly when d is 15 or 23 modulo 24, so a smooth support, which forces d at most 9, never has a resolution by such bundles. The item burch_rank.py checks that a resolution of such a secant ideal by vector bundles has rank at least two, so that the support is never the zero locus of a section of a rank two bundle, and at rank two needs d congruent to 3 modulo 4 when the Chern classes are polynomials in the polarisation. The item line_bundle_convolutions.py checks the computations behind the convolutions of line bundles on a power of the Gaussian elliptic curve: 2 4^{n-1} line bundles whose signed Chern characters add up to a real Weil class, the fact that for n at least 3 no Massey product of such a convolution reaches the diagonal classes of its self-extensions, the cup products, which leave at least 249 of the 525 diagonal classes at n = 3 against the 57 that the corrected criterion asks for, and the enumeration showing that only one family of fourfold products can remove the rest. The item fourfold_products.py computes the fourfold Massey products of the one family that survives on the sixth power of the Gaussian elliptic curve, after pulling the pieces back along covers on which they become products of line bundles on curves: on the 192 diagonal classes of type (1,1,0) they have rank 192, so the diagonal count of the corrected criterion can be met; it writes down a convolution of these line bundles whose Maurer-Cartan equation it solves exactly; and it checks the finite facts behind the theorem that no convolution of these pieces meets the criterion, because the self-extensions between two Weil pieces that differ in every coordinate, with adjacent shifts, are reached by no product and leave at least 69 classes against the 57 the criterion allows. The directory code/extreme/ holds longer runs of several items, with their transcripts.lean/HodgeObstruction.lean compiles against a bare Lean 4 toolchain with no Mathlib and no dependencies. It builds with lake build. One hundred and seventeen theorems are checked; ninety-three depend on no axiom at all and twenty-four on propositional extensionality alone, which is what decide and the core lemmas on natural numbers use.m2/local_products.m2, m2/lci_products.m2, m2/finite_length_products.m2 and m2/local_germs.m2 are Macaulay2 computations of local Ext modules and of products of jet classes, with their transcripts; they are not part of the Python suite.figures/ holds the generators and the TikZ sources of every plate. checkfigs.py re-reads the emitted TikZ of each figure and reports any pair of label boxes that touch; it reports none.

Anais do I Tech & Science, evento técnico-científico integrado à XXXI Semana de Informática do Departamento de Informática (DPI) da Universidade Federal de …

Anais do I Tech & Science, evento técnico-científico integrado à XXXI Semana de Informática do Departamento de Informática (DPI) da Universidade Federal de Viçosa (UFV), realizado em Viçosa, Minas Gerais. O volume reúne os artigos completos e resumos expandidos premiados e apresentados nas sessões oral e de painel, abrangendo as áreas de Ciência da Computação, Sistemas de Informação, Engenharia de Software, Inteligência Artificial e Tecnologias Aplicadas. Comissão Organizadora:    - Daniel Louzada Fernandes (UFV)    - Henrique Resende Silva (UFV)    - Julio Cesar Soares dos Reis (UFV)    - Maria Lúcia Bento Villela (UFV)    - Rafael Martins Caetité Lopes Cançado (UFV)     Publicação e Realização: Departamento de Informática — DPI/UFV.

Code and summary statistics

Description / Abstract: Project Sovereign Genesis Part 2 Update builds directly on THE GRAND COSMOLOGICAL SYNTHESIS VERSION 777 [10.5281/zenodo.23092121] and TECHNICAL MANIFESTO VERSION 112 [10.5281/z…

Description / Abstract: Project Sovereign Genesis Part 2 Update builds directly on THE GRAND COSMOLOGICAL SYNTHESIS VERSION 777 [10.5281/zenodo.23092121] and TECHNICAL MANIFESTO VERSION 112 [10.5281/zenodo.23072877] / System Update VERSION 113 [10.5281/zenodo.23072080]. This update resolves Earnshaw instability, synchrotron loss, and p/pbar annihilation identified in Version 777/112 by replacing the single-track quad-particle roller coaster with a Nested Double-Well Tri-Wigner Crystal architecture. The 99.99% Infinity Loop Engine cosmology [10.5281/zenodo.23092121] is revised to the 3x3x3 Law: three tripartite phase-locked timelines hosting three Feng-Huang gyroscopic nodes each, yielding 27 (3^3) topological anchors - the minimum for a 3x3 surface code. The Fluidic Photon-Plasma Buffer [10.5281/zenodo.22808388] is re-scoped as the coupling medium between Inner and Outer rings. Engineering revisions [10.5281/zenodo.22808388, 10.5281/zenodo.23036999, 10.5281/zenodo.23072080]: Dual Orbit Separation: Inner Light Ring (R=12mm) for 3x(3e- + 3e+) and Outer Heavy Ring (R=15mm) for 3x(3p- + 3p+) in Halbach-triskele REBCO persistent loops, replacing permanent dipole tracks. Double-Well per 120-degree station with 2mm electrostatic barrier to prevent annihilation. 4-Point Wobble redefined as low-loss zig-zag collective mode of the rigid Wigner crystal (target Q >1e6), sustained via active RF feedback using TEG/TENG mesh as image-charge diagnostic [10.5281/zenodo.23072080], not free energy. Absolute energetic independence withdrawn; Giant Anti-Stokes Upconversion [10.5281/zenodo.22808388] and Dual Vacuum Shielding [10.5281/zenodo.23072080] re-scoped as ultra-low-loss envelope. Appendix A (A114-FIELD-01) provides a full open-hardware field spec test protocol for Phase 1 validation: 9-electron, 3-cluster Wigner crystal clock at 120-degree phasing, 600s hold with <2-degree drift, including REBCO B-field, 1e-11 mbar Inner Vacuum Beta, Hahn Echo ^13C/NV mirror [10.5281/zenodo.23072877], and topological waveguide protection. Licence: CERN-OHL-W v2 + CC BY-SA 4.0. Parent DOIs: 10.5281/zenodo.23072080 / 10.5281/zenodo.22808388 / 10.5281/zenodo.23036999 / 10.5281/zenodo.23072877 / 10.5281/zenodo.23092121.

A coarse description of a conservative amplitude dynamics is not determined by an energy compression alone. We develop a conditional account of refinement, unresolved contrasts, and effective preparat…

A coarse description of a conservative amplitude dynamics is not determined by an energy compression alone. We develop a conditional account of refinement, unresolved contrasts, and effective preparation for finite weighted graphs and a supplied one-dimensional local chain. Norm conservation, covariance, and additive refinement permit different site measures. Repeated-value refinement closes exactly only when the measure-normalized external rates agree within each coarse block. When they do not, eliminating the complementary coordinates yields coherent memory and an initial-data forcing term, not stochastic noise or irreversible decoherence. A three-site example separates return to the coarse subspace at one time from autonomous coarse evolution. On a uniform pair-refined cycle, a contrast of vanishing norm retains finite energy feedback; a corrected nearest-neighbor generator has a fixed-band, finite-time second-order compressed estimate. Static elimination induces both stiffness and a generally nondiagonal metric. For uniformly positive nonuniform couplings, the normalized static graph has fourth-order low-energy eigenvalue accuracy, but its general prepared-state estimate is separately only first order. A contracting inverse series controls finite-range approximation, with additional costs for normalization and evolution. First-resolvent dressing improves an isolated low mode's state and phase ceiling to fourth order under quantitative spectral separation. The contribution is the source-bound combination of these conditional statements and obstructions, not a new general Schur, projection-memory, or subspace-perturbation mechanism. Geometry, measure, couplings, preparation, clock, action scale, and any empirical readout interpretation remain supplied.