Our Work

A parity network is a CNOT circuit in which every parity from a prescribed set S appears on some wire; such networks are the CNOT skeletons of phase-polynomial circuits. Amy, Azimzadeh and Mosca (Quan…

A parity network is a CNOT circuit in which every parity from a prescribed set S appears on some wire; such networks are the CNOT skeletons of phase-polynomial circuits. Amy, Azimzadeh and Mosca (Quantum Science and Technology, 2018) left open the ancilla-free problem with arbitrary output. We prove that deciding whether S admits such a network with at most K CNOTs is NP-complete, even if every CNOT must produce a new parity, all parities share a variable and have weight at most five, and connectivity is a star. Hence CNOT minimization of phase polynomials is NP-hard even with a free linear part. The reduction is from Hamiltonian cycle in grid graphs: networks meeting the trivial lower bound are path covers with at most one path per wire, and chaining many copies of the instance makes a missing Hamiltonian path cost more paths than there are wires. We also show that unrestricted networks can be shorter than fixed-target ones by a factor linear in the number of qubits. This is a preprint; it has not been peer reviewed.

Added pyproximal.optimization.red.RED solver. Added pyproximal.proximal.RED operator. Added class-based solvers in pyproximal.optimization.cls_primal and pyproximal.optimization.cls_primaldual. Added …

Added pyproximal.optimization.red.RED solver. Added pyproximal.proximal.RED operator. Added class-based solvers in pyproximal.optimization.cls_primal and pyproximal.optimization.cls_primaldual. Added tau and mu optional parameters to pyproximal.optimization.segmentation.Segment solver. Added support for sigma vector in pyproximal.proximal.L1. Added numba-cuda to optional dependencies. Fixed pyproximal.projection.L1BallProj to preserve feasible inputs in L1 ball projection. Fixed handling of complex-valued inputs in pyproximal.proximal.L21 and pyproximal.proximal.L21_plus_L1.

El Método TAM-C fue concebido como una propuesta metodológica de vanguardia estructurada en  tres  niveles  analíticos  de  complejidad  creciente &n…

El Método TAM-C fue concebido como una propuesta metodológica de vanguardia estructurada en  tres  niveles  analíticos  de  complejidad  creciente  (Tipológico,  Acotativo,  Microscópico)  y  una  fase Comprobacional. Esta metodología aplica procedimientos de medición matemática estricta a lo largo de sus  tres  niveles  (acotando  en  centímetros,  milímetros  y  micras)  sobre  impresiones  dactilares, quiroscópicas  y  pelmatoscópicas,  integrando  preceptivamente  la  “Verificación  ciega”.  Este  enfoque sistémico habilita una discriminación forense rigurosa (huellas humanas vs. reproducciones artificiales) mediante la caracterización micrométrica del relieve lofoscópico.  El TAM-C (Metodología) se integra de forma estructural y complementaria al ACE-V (Método). Mientras que el ACE-V rige el conjunto de procedimientos, técnicas y pasos lógicos concretos utilizados para  alcanzar  un  objetivo  en  los  dictámenes  periciales  (el  cómo  del  razonamiento  forense),  el  TAM-C aporta  la  armadura  técnica  y  metrológica  detallada  para  ejecutar  dicha  labor  (el  porqué  y  con  qué herramientas),  mitigando  activamente  los  sesgos  cognitivos  a  través  de  protocolos  estandarizados  y replicables. Frente a la disparidad doctrinal internacional que en el Nivel II (Acotativo) exige cantidades mínimas arbitrarias de minucias según la jurisprudencia de cada país, el Método TAM-C proporciona una herramienta transversal de homogeneidad: la Densidad  lofoscópica. Este cálculo estandariza el análisis global  transformando  el  simple  conteo  visual  y  subjetivo  de  puntos  característicos  en  una  métrica cuantitativa  de  concentración  biométrica  por  unidad  de  área  (cm²),  dotando  al  dictamen  de  un  peso probatorio estadístico universal y reproducible.  En  el  Nivel  III  (Microscópico),  el  método  operacionaliza  fórmulas  poroscópicas  (basadas  en cuadrantes/subcuadrantes  y  numerador/exponente)  y  la  evaluación  integral  mediante  alboscopía forense, aplicando fórmulas alboscópicas que identifican geometrías bajo una taxonomía estandarizada (ej. líneas continuas, líneas simples, ojales e islas). Para ello, exige el empleo de software especializado destinado a la acotación micrométrica (μm) y a la vectorización geométrica, transformando el juicio visual en  un  parámetro  estadístico  objetivo  y  verificable.  En  estricto  apego  a  los  estándares  científicos contemporáneos,  este  rigor  metrológico  transversal  permite  abandonar  los  modelos  dogmáticos  de “certeza absoluta del 100%” para culminar, de manera transparente y ética, en una conclusión pericial de “Identificación Propuesta”. 

Este relatório integra dados do sistema oceânico-atmosférico (índice ONI do NOAA/CPC), da vigilância climática municipal e da vigilância epidemiológica (InfoDengue, SINAN) para caracterizar o cenário …

Este relatório integra dados do sistema oceânico-atmosférico (índice ONI do NOAA/CPC), da vigilância climática municipal e da vigilância epidemiológica (InfoDengue, SINAN) para caracterizar o cenário de risco à saúde pública no município do Rio de Janeiro no ciclo 2026/27 e propor um painel de indicadores operacional para a Secretaria Municipal de Saúde (SMS-Rio). Três achados estruturam a análise. Primeiro, o El Niño de 2026 já está em curso e é forte: o ONI trimestral atingiu $+2{,}16$ °C no trimestre JAS/2026, o maior valor desde o pico de 2015/16, com intensificação de $+0{,}36$ °C em um único trimestre — precedente direto das maiores epidemias de dengue registradas no Brasil. Segundo, o gatilho hídrico local já foi acionado, mas o gatilho térmico ainda não: a chuva acumulada de julho a setembro de 2026 no município foi de 238 mm, $+56\%$ acima da climatologia 2010–2025 ($z=+1{,}93$), enquanto a temperatura máxima permaneceu abaixo do normal ($z=-0{,}36$). Terceiro, a temporada de dengue 2025/26 encerra com 17.701 casos — queda de $79\%$ e $44\%$ em relação às duas temporadas anteriores — o que reconstitui a bolsa de suscetíveis justamente quando a forçante climática se torna mais favorável. A combinação "El Niño forte + pré-temporada úmida + bolsa de suscetíveis reposta" configura o cenário que antecedeu a epidemia de 2024 (148.431 casos). O relatório quantifica esse risco, mapeia as cadeias causais para arboviroses, leptospirose, doenças diarreicas agudas, agravos respiratórios e mortalidade por calor, identifica territórios e grupos vulneráveis, e propõe um painel de 24 indicadores com limiares de alerta em três níveis, um protocolo de acionamento e um roteiro de implantação de 120 dias para a SMS-Rio.

Annotatsiya: Ushbu maqolada o‘zbek va ingliz tillaridagi amaliy san’at terminlarining semantik guruhlari qiyosiy jihatdan tahlil qilinadi. Terminlar hunarmandchilik turlari, materiallar, a…

Annotatsiya: Ushbu maqolada o‘zbek va ingliz tillaridagi amaliy san’at terminlarining semantik guruhlari qiyosiy jihatdan tahlil qilinadi. Terminlar hunarmandchilik turlari, materiallar, asbob-uskunalar, texnologik jarayonlar, tayyor mahsulotlar hamda bezak va naqshlarni ifodalashiga ko‘ra guruhlanadi. Shuningdek, terminlarning semantik muvofiqligi va milliy-madaniy xususiyatlari yoritiladi.

Sinxron tarjima – tinglash, tahlil qilish, xotirada saqlash va nutq ishlab chiqarish jarayonlarining bir vaqtning o‘zida, uzluksiz tarzda amalga oshirilishini talab qiluvchi murakkab kogni…

Sinxron tarjima – tinglash, tahlil qilish, xotirada saqlash va nutq ishlab chiqarish jarayonlarining bir vaqtning o‘zida, uzluksiz tarzda amalga oshirilishini talab qiluvchi murakkab kognitiv faoliyat turidir. D. Jaylning “Sa’y-harakat modellari” (Effort Models) nazariyasiga ko‘ra, tarjimonning kognitiv resurslari cheklangan bo‘lib, ular tinglash-tahlil (Listening and Analysis Effort), xotira (Memory Effort), nutq ishlab chiqarish (Production Effort) va muvofiqlashtirish (Coordination Effort) kabi bir necha “sa’y-harakat” o‘rtasida taqsimlanadi. Ushbu resurslar muvozanati buzilganda – masalan, manba matn juda tez yoki terminologik jihatdan murakkab bo‘lganda – tarjima sifati keskin pasayadi. Bu holat ilmiy adabiyotda “Tight-rope Hypothesis” (arqonda yurish gipotezasi) nomi bilan ham yuritiladi: tarjimon doimiy ravishda o‘zining kognitiv imkoniyat chegarasiga yaqin holatda ishlaydi va bu chegaradan ozgina chetga chiqish butun tizimning “muvozanatdan chiqishi”ga olib kelishi mumkin.

This record documents that the educational and science outreach contest "Mi superpoder preferido es…" ("My favorite superpower is…") was submitted by Constanza Ruiz-Danegger to the Innov…

This record documents that the educational and science outreach contest "Mi superpoder preferido es…" ("My favorite superpower is…") was submitted by Constanza Ruiz-Danegger to the Innovar 2019 national innovation contest (Argentina) under project number 2019-2771, and that it appears under that number in the official Innovar 2019 catalog [section: exact name], listed with the contact location Salta. The contest was originally conceived, designed and run in 2018 during Brain Awareness Week; its original design and rules are deposited in [DOI of the 2018 record]. It was also presented as a poster at INSAR 2019 (Montréal) [DOI of the poster record]. Derivative or replicated versions of the contest appeared in 2020 and later. They introduced substantial changes to the original design, including changes with educational implications [briefly state which rules changed, once you have written them in the rules document]. This record exists so that the original 2018 design and its 2019 submission can be cited with a fixed date, independently of those later versions. The Innovar 2019 catalog is not authored by the depositor and is not included in this record; it is cited by reference.

jnwb is a Python toolbox for analysing Neurodata Without Borders (NWB) electrophysiology data: composable, tested operations over NWB files, arrays and metadata, usable directly or by coding agents th…

jnwb is a Python toolbox for analysing Neurodata Without Borders (NWB) electrophysiology data: composable, tested operations over NWB files, arrays and metadata, usable directly or by coding agents through skills.

Orekit version 13.1.9. The main changes are: Fixed power computation of units containing a current part. Fix wrong term in Coppola's encounter duration. Fix calculation of inferred LOD in EOPHistory …

Orekit version 13.1.9. The main changes are: Fixed power computation of units containing a current part. Fix wrong term in Coppola's encounter duration. Fix calculation of inferred LOD in EOPHistory to be scaled by JULIAN_DAY. Fixed EOP fitting when leap seconds are present. Fixed area calculations leading to too-high albedo flux in KnockeRediffusedForceModel. Improved tidal displacement performance. Avoid unnecessary recomputation in Vienna 3 tropospheric model. Fix implementation of OrekitCcsdsFrameMapper equals method. Fixed spurious non-zero velocity appearing when transforming SP3 files between Earth and inertial frames. Replaced geocentric position vector with relative position vector in KnockeRediffusedForceModel. Align OpsStatus enum with the SANA Operational Status registry. Fixed date indexing in GenericTimeStampedCache, which used a 1 microsecond quantization. Exact time offsets are now used instead (attosecond accuracy).

Annotatsiya: O’zbekistonda oilaviy munosabatlar buzilishining gender jihatlari falsafiy yondashuv asosida tahlil qilinadi. Oilaviy nizolar va ajrimlarga ta’sir etuvchi gender stereotiplari…

Annotatsiya: O’zbekistonda oilaviy munosabatlar buzilishining gender jihatlari falsafiy yondashuv asosida tahlil qilinadi. Oilaviy nizolar va ajrimlarga ta’sir etuvchi gender stereotiplari, ijtimoiy rollarning o’zgarishi hamda zamonaviy qadriyatlar transformatsiyasining oila barqarorligiga ta’sir etuvchi gender stereotiplari, ijtimoiy rollarning o’zgarishi hamda zamonaviy qadriyatlar transformatsiyasining oila barqarorligiga ta’siri yoritiladi. Shuningdek, oilada adolat, gender tengligi, o’zaro hurmat va mas’uliyat tamoyillarining falsafiy mohiyati ochib beriladi. Ushbu tezis orqali oilaviy munosabatlarni mustahkamlashda gender madaniyatni rivojlantirish, sog’lom oilaviy qadriyatlarni qo’llab quvvatlash va falsafiy yondashuvlardan samarali foydalanish zarurligi haqida ma’lumotga ega bo’lishimiz mumkin.