Our Work

Ushbu tezisda hududlarning moliyaviy barqarorligini ta’minlashda mahalliy soliqlarning o‘rni nazariy va amaliy jihatdan o‘rganilgan. Hududiy moliyaviy barqarorlik tushunchasi, mahall…

Ushbu tezisda hududlarning moliyaviy barqarorligini ta’minlashda mahalliy soliqlarning o‘rni nazariy va amaliy jihatdan o‘rganilgan. Hududiy moliyaviy barqarorlik tushunchasi, mahalliy daromadlarning iqtisodiy mazmuni, soliq salohiyati, hududlarning moliyaviy mustaqilligi va byudjetlararo munosabatlar masalalari tahlil qilingan. Shuningdek, hududlar o‘rtasidagi iqtisodiy imkoniyatlar farqi, mahalliy daromadlarni ko‘paytirish, hududiy investitsion faollikni oshirish va mahalliy moliyaviy resurslardan samarali foydalanish bo‘yicha takliflar ishlab chiqilgan.

This release provides the reproducibility package accompanying the VISA sRNA–mRNA regulatory network study in Staphylococcus aureus. It contains the organized R scripts used for data preparation, RNA-…

This release provides the reproducibility package accompanying the VISA sRNA–mRNA regulatory network study in Staphylococcus aureus. It contains the organized R scripts used for data preparation, RNA-seq analysis, RNase III-CLASH processing and analysis, evidence integration, Term-seq/3′UTR assessment, IntaRNA analysis, and generation of manuscript figures and tables. The repository is organized according to the computational workflow used in the study.

All raw numerical data and western blot images for Heller et al. "Dose dependent impact of global Cc2d1a reduction on cogntive, social, and metabolic phenotypes"

ISO 9001:2026 en Equipos eléctricos, electrónicos y ópticos (EA 19) es una guía teórico-práctica orientada a la aplicación sectorial de la gesti&oacute…

ISO 9001:2026 en Equipos eléctricos, electrónicos y ópticos (EA 19) es una guía teórico-práctica orientada a la aplicación sectorial de la gestión de la calidad en organizaciones dedicadas al diseño, fabricación, ensamble, instrumentación, metrología, integración y servicio de equipos eléctricos, electrónicos y ópticos. La obra desarrolla de manera progresiva los principales componentes del sistema de gestión de la calidad, abordando el contexto organizacional, liderazgo, riesgos y oportunidades, recursos y competencias técnicas, control operacional, diseño y desarrollo, gestión de proveedores, evaluación del desempeño, auditoría interna, no conformidades, acciones correctivas y mejora continua. El enfoque incorpora elementos propios del sector EA 19, como trazabilidad de componentes y firmware, control ESD, procesos SMT/THT, calibración, pruebas funcionales, homologación de proveedores, AVL, FPY, DPPM y CAPA. El libro integra 12 capítulos técnicos, casos prácticos y ejercicios aplicados, además de anexos orientados a la auditoría interna y a la estructuración y control de la información documentada del SGC. Su contenido busca facilitar la interpretación y aplicación de los requisitos de calidad en entornos tecnológicos de elevada complejidad, donde la confiabilidad, la trazabilidad, la metrología y el control del cambio son factores esenciales. Está dirigido a directivos, responsables de calidad, ingenieros, técnicos, auditores internos, profesionales de producción, diseño, compras, metrología y servicio técnico, así como a docentes y estudiantes de ingeniería y gestión de la calidad. Autor: Helbert Justo Luque ZevallosColección: ISO 9001:2026 por rubro — Libro 5Sector: Equipos eléctricos, electrónicos y ópticos — EA 19Idioma: Español

Modello Vettoriale Sardo-Beotico (MVSB) Dossier di Ricerca, Analisi Storico-Geografica e Matrice di Corrispondenze 1. Quadro Generale della Beozia: Geografia, Strategia e Mito La Beozia (in greco &Bet…

Modello Vettoriale Sardo-Beotico (MVSB) Dossier di Ricerca, Analisi Storico-Geografica e Matrice di Corrispondenze 1. Quadro Generale della Beozia: Geografia, Strategia e Mito La Beozia (in greco Βοιωτία, Boiōtía) costituisce il fulcro geografico della Grecia centrale, delimitata a sud dall'Attica e dal Golfo di Corinto e a est dal canale dell'Eubea. Il toponimo è tradizionalmente ricondotto a bous (bue), a evidenziare una vocazione pastorale e agricola fondata su pianure fertili e ricche d'acqua, in netto contrasto con l'aridità rocciosa dell'Attica. [GRECIA SETTENTRIONALE] │ ▼ ┌───────────────┐ │ BEOZIA │ ◄── [Canale dell'Eubea] │ (Copaide/Tebe)│ └───────┬───────┘ │ ▼ [ISTMO / PELOPONNESE] Geografia e valore strategico Anticamente la regione era scandita da due bacini principali: la piana meridionale di Tebe e l'invaso carsico del Lago Copaide a nord, sottoposto già in età micenica a monumentali canalizzazioni. Snodo obbligato lungo la direttrice nord-sud, la Beozia fu battezzata da Epaminonda «l'orchestra di Marte» (il terreno di danza della guerra), ospitando scontri campali che hanno segnato la storia ellenica: Platea (479 a.C.): Sconfitta definitiva delle forze persiane di Mardonio. Leutra (371 a.C.): Collasso dell'egemonia militare spartana per mano dell'esercito tebano. Cheronea (338 a.C.): Vittoria di Filippo II di Macedonia e tramonto dell'autonomia delle poleis. Densità mitologica e poli cultuali Ciclo Tebano: Dalla fondazione per opera di Cadmo all'introduzione delle lettere, dalle vicende edipiche alla saga dei Sette contro Tebe. Monte Elicona: Dimora delle Muse e scaturigine della fonte Ippocrene, cuore della tradizione poetica di Esiodo. Santuari oracolari e ctonii: Il tempio di Apollo Ptoios ad Akraiphia e l'oracolo sotterraneo di Trofonio a Lebadea. La Lega Beotica e l'assetto federale Periodo Evento e Assetto Politico Tarda Età del Bronzo Egemonia dei regni palaziali di Tebe e Orcomeno (sede del Tesoro di Minia). Guerre Persiane (V sec. a.C.) Frattura interna: medismo tebano contrapposto alla resistenza di Platea e Tespie. Egemonia Tebana (371–362 a.C.) Supremazia continentale sotto la guida tattica di Epaminonda e Pelopida. Crisi e distruzione (335 a.C.) Annientamento di Tebe da parte di Alessandro Magno, con la preservazione della sola casa di Pindaro. 2. Il Vettore Aristeico: Dalla Matrice Nuragica alla Colonia Beotica Il Modello Vettoriale Sardo-Beotico inverte la prospettiva mitografica classica: la tradizione non riflette una colonizzazione greca verso l'Occidente, ma la memoria storica di un flusso generatore partito dal bacino sardo-nuragico e approdato nella Grecia centrale lungo la Rotta Aristeica. ┌─────────────────────────┐ Rotta Aristeica ┌─────────────────────────┐ │ SARDEGNA NURAGICA │ ──────────────────────────────► │ BEOZIA │ │ (Centro Generatore) │ (Metallurgia, Acque, Riti) │ (Colonia d'Oltremare) │ │ Campidano / Golfo CA │ │ Orcomeno / Copaide │ └─────────────────────────┘ └─────────────────────────┘ Aristeo come vettore socio-tecnologico Nel canone letterario (Pindaro, IX Pitica; Diodoro Siculo; Pausania), Aristeo incarna l'eroe civilizzatore per eccellenza: Sapere agro-pastorale: Maestro nell'innesto dell'olivo silvestre, nella caseificazione e nell'apicoltura razionale. Controllo idrico e climatico: Invocato per placare i venti estivi di Sirio (i venti Etesii) e regimentare le acque delle piane. Traiettoria geografica: Dalla Beozia e da Ceo verso la Sardegna, circuito che codifica sul piano mitico il corridoio marittimo diretto percorso da maestranze e coloni insulari. Orcomeno, i Minii e il bacino Tritonide Le Argonautiche di Apollonio Rodio identificano i navigatori della nave Argo con i Minii di Orcomeno. La loro perizia nella bonifica del Lago Copaide trova un riscontro tipologico e funzionale nelle opere di canalizzazione dei bacini lagunari sardi (Campidano e Golfo di Cagliari, corrispondente al sistema della Tritonide). Il richiamo delle saghe epiche all'approdo argonautico nelle acque della Tritonide occidentale traccia la rotta originaria che collegava Orcomeno alle coste della Sardegna meridionale. 3. Convergenze Architettoniche, Metallurgiche ed Epigrafiche PARALLELISMI TECNOLOGICI │ ┌──────────────────────────┴──────────────────────────┐ ▼ ▼ [Architettura a Tholos] [Metallurgia d'Élite] • Nuraghi a falsa cupola (Sardegna) • Placchette d'elmo in zanna (Orroli) • Tesoro di Minia (Orcomeno) • Bronzetto di Mantiklos (Tebe) Architettura litica a tholos Matrice nuragica: Sviluppo estensivo della copertura a falsa cupola (tholos ad aggetto) applicata a torri mastio, bastioni complessi e vani ipogei di pozzi sacri. Orcomeno (Tesoro di Minia): Presenza nella Grecia centrale di una monumentale tholos lapidea, espressione dell'ingegneria dei Minii, che replica i medesimi canoni di sollevamento ciclopico e aggetto progressivo dei conci. Evidenze d'apparato guerriero e metallurgia votiva L'elmo a zanne di cinghiale del Nuraghe Arrubiu (Orroli): Il rinvenimento di placchette lavorate e forate in zanna di cinghiale nel complesso di Orroli, associate a vasellame fine miceneo (LH IIIB-C), dimostra l'integrazione di guerrieri e capi nuragici nei ranghi delle aristocrazie marziali micenee. Il Bronzetto di Mantiklos (Tebe, c. 700–675 a.C.): Il più antico manufatto bronzeo recante un'iscrizione alfabetica con dedica a Febo Apollo: «Μάντικλός μ' ἀνέθεκε ϝεκαβόλοι ἀργυροτόξσοι...» L'impostazione anatomica filiforme, il collo allungato e la gestualità marziale riprendono i canoni plastici della fusione a cera persa dei bronzetti figurati sardi. Il teonimo in Lineare B (pa-ja-wo-ne): La tavoletta di Cnosso (KN V 52) documenta il precursore divino della medicina già nel Tardo Bronzo, saldando la figura iatrica di Febo ai culti delle acque sorgive e termali tipici dell'orizzonte sardo. 4. Dossier Onomastico, Toponomastico e Idronimico L'irradiazione di genti sarde lungo la Rotta Aristeica ha impresso sul suolo egeo una fitta rete di corrispondenze linguistiche, antroponimiche e idronimiche. Tabella delle Corrispondenze Antroponimiche Cognome / Radice Sarda Forma Greca / Beotica Ambito Funzionale e Riferimento Culturale Marras / Marra Marras (Μάρρας) Radice arcaica legata al lavoro rurale e agli attrezzi agricoli da scavo. Sanna Sannas (Σάννας) / Sannos (Σάννος) Attestato nell'epigrafia arcaica; connesso alla zanna/dente e all'iconografia fiera. Melas / Mela Melas (Μέλας) Eponimo del fiume Melas che alimenta il Copaide; radice legata ai corsi d'acqua limosi e all'apicoltura. Piras Peiras (Πείρας) / Piras Designa il passaggio, la traversata marittima e la pietra di confine. Gessa Gessios (Γέσσιος) / Gessas Antroponimo documentato nell'area egeo-balcanica e diffuso nel Campidano. Palla / Pallas Pallas (Πάλλας) Titolo sacro associato al vigore guerriero e ad Atena Pallas. Karras / Carra Karras (Καρράς) / Carrus Radice legata alla viabilità, al trasporto pesante e alla pietra lavorata. Isaglossie Toponomastiche e Tracciati Idrografici Oristano (Aristanis) $\leftrightarrow$ Arisba / Aristaion: Toponimi e santuari collegati alla rotta e al culto fondativo di Aristeo. Eubea $\leftrightarrow$ Euboia: L'isola prospiciente la Beozia, legata dalla tradizione storiografica al contingente che accompagnò Iolao e Aristeo; matrice dei cognomi sardi del ceppo Obino / Obeo. Bithia (costa di Chia) $\leftrightarrow$ Bithyna / Bithyas: Presidio marittimo meridionale con riscontri diretti nel sistema toponomastico traco-egeo. Serdica $\leftrightarrow$ Sardus / Sardoi: Diffusione dell'etnonimo eponimo lungo l'asse balcanico-continentale. La Variante Idronimica: Limen Tritonis / Límni Trichonída Il complesso idrografico della laguna della Tritonide nel Golfo di Cagliari trova il suo specchio continentale nella Grecia centrale nel Lago Trichonida (Límni Trichonída, Λίμνη Τριχωνίδα) e nel fiume Tritone (Τρίτων) del bacino copaidico: Identità lessicale: Il termine greco Límni (Λίμνη) preserva la designazione del bacino lagunare costiero. Alternanza dentale/velare ($t \to ch$): Il passaggio da Tritonis a Trichonida riflette l'adattamento fonetico della radice idronimica mediterranea all'interno dei dialetti della Grecia centrale. 5. Decodifica Antropologica: La Genesi dello Stereotipo del «Beota» La stigmatizzazione dei Beoti nella commedia e nella storiografia ateniese classica (descritti come torpidi, rozzi e voraci) trova una spiegazione unificata nel modello: [Persistenza Identitaria Sarda] • Struttura tribale/cantonale (Lega) • Cucina carnea e formaggi (Copaide) • Fonetica eolica arcaica e cadenzata │ ▼ [Reazione Urbana Attica] • Pregiudizio sofistico ed egemonico • Stereotipo della "scrofa beotica" Alterità politico-sociale: Rifiuto del modello individualista della polis chiusa in favore della confederazione cantonale (la Lega Beotica), espressione del modello federale nuragico dei cantoni rurali. Conservatorismo materiale: Dieta ricca di formaggi, carni bovine e prodotti palustri, derivata dall'abbondanza agricola del Copaide e dalle tradizioni aristeiche. Isolamento dialettale: La cadenza del dialetto beotico-eolico manteneva suoni pieni, aperture vocaliche e arcaismi fonetici percepiti dagli Ateniesi come parlata "allogena" d'oltremare. 6. Architettura dei Dati del Modello (Ontologia JSON-LD) JSON   { "@context": { "@vocab": "https://schema.org/", "msbv": "https://atlantisfound.it/ontology/msbv#", "rdfs": "http://www.w3.org/2000/01/rdf-schema#", "xsd": "http://www.w3.org/2001/XMLSchema#", "matriceGeneratrice": { "@id": "msbv:matriceGeneratrice", "@type": "@id" }, "destinazioneColoniale": { "@id": "msbv:destinazioneColoniale", "@type": "@id" }, "vettoreRocciaMito": { "@id": "msbv:vettoreRocciaMito", "@type": "@id" }, "architetturaLitica": { "@id": "msbv:architetturaLitica", "@type": "@id" }, "trasferimentoTecnologico": { "@id": "msbv:trasferimentoTecnologico", "@type": "@id" }, "anomalieDecodificate": { "@id": "msbv:anomalieDecodificate", "@container": "@set" } }, "@graph": [ { "@id": "msbv:SardegnaMatrice", "@type": "Place", "name": "Sardegna (Matrice Nuragica)", "description": "Centro primario di sviluppo dell'architettura megalitica a falsa cupola e della gestione idraulica.", "geo": { "@type": "GeoCoordinates", "latitude": 39.2167, "longitude": 9.1167 }, "msbv:sitiChiave": [ "Bacino Tritonide / Golfo di Cagliari", "Nuraghe Arrubiu di Orroli", "Bithia / Chia", "Aristanis" ] }, { "@id": "msbv:BeoziaColonia", "@type": "Place", "name": "Beozia (Colonia Egea)", "description": "Piana alluvionale e carsica della Grecia centrale, sede dell'insediamento e della regimazione idraulica minia.", "msbv:sitiChiave": [ "Orcomeno", "Tebe", "Lago Copaide", "Torrente Tritone" ] }, { "@id": "msbv:RottaAristeica", "@type": "msbv:MigrationVector", "name": "Rotta Aristeica", "description": "Corridoio marittimo e commerciale percorso da maestranze specializzate nell'Età del Bronzo.", "matriceGeneratrice": "msbv:SardegnaMatrice", "destinazioneColoniale": "msbv:BeoziaColonia", "associatedAgent": "msbv:Aristeo" }, { "@id": "msbv:Aristeo", "@type": "Person", "name": "Aristeo", "description": "Personificazione del transfer tecnologico agro-pastorale, idraulico e apistico lungo la rotta occidentale.", "knowsAbout": [ "Ingegneria idraulica e regimazione delle acque", "Apicoltura e caseificazione", "Olivicoltura" ] }, { "@id": "msbv:TecnicaTholos", "@type": "msbv:ArchitecturalSystem", "name": "Costruzione Megalitica a Tholos", "description": "Copertura a corsi orizzontali aggettanti, attestata nei nuraghi sardi e nel Tesoro di Minia a Orcomeno.", "matriceGeneratrice": "msbv:SardegnaMatrice", "msbv:manifestazioneMonumentale": [ "Nuraghe Arrubiu", "Tesoro di Minia" ] }, { "@id": "msbv:BonificaCopaide", "@type": "HowTo", "name": "Ingegneria Idraulica del Bacino del Copaide", "description": "Sistema di canali, argini e gallerie per il drenaggio delle acque verso gli inghiottitoi carsici naturali.", "location": "msbv:BeoziaColonia" }, { "@id": "msbv:ModelloMVSB", "@type": "Intangible", "name": "Modello Vettoriale Sardo-Beotico", "description": "Quadro interpretativo unificato che spiega la specificità beotica come esito di una colonizzazione nuragica.", "matriceGeneratrice": "msbv:SardegnaMatrice", "destinazioneColoniale": "msbv:BeoziaColonia", "vettoreRocciaMito": "msbv:RottaAristeica", "architetturaLitica": "msbv:TecnicaTholos", "trasferimentoTecnologico": "msbv:BonificaCopaide", "anomalieDecodificate": [ "Singolarità monumentale della tholos di Orcomeno spiegata tramite maestranze nuragiche d'oltremare.", "Mito di Aristeo letto come tracciato memoriale della rotta idro-pastorale Sardegna-Grecia.", "Stereotipo ateniese del Beota spiegato come resistenza di un sostrato insulare allogeno conservativo." ] } ] }   1. Dati Bibliografici Ufficiali Autore: Luigi Usai Titolo: Modello Vettoriale Sardo Beotico Anno: 2026 Editore / Repository: Zenodo (CERN) DOI: 10.5281/zenodo.23108944 Accesso: Open Access (Creative Commons Attribution 4.0 International) Parole chiave: Archeologia dell'Età del Bronzo, Civiltà Nuragica, Beozia micenea, Orcomeno, Tesoro di Minia, Lago Copaide, Aristeo, Bronzetto di Mantiklos, Onomastica comparata, Modello Vettoriale Sardo-Beotico (MVSB). 2. Record di Citazione Formale BibTeX Snippet di codice @misc{usai_2026_mvsb, author = {Usai, Luigi}, title = {{Modello Vettoriale Sardo Beotico}}, month = oct, year = 2026, publisher = {Zenodo}, doi = {10.5281/zenodo.23108944}, url = {https://doi.org/10.5281/zenodo.23108944} } RIS (EndNote, Zotero, Mendeley) Snippet di codice TY - GEN AU - Usai, Luigi TI - Modello Vettoriale Sardo Beotico PY - 2026 PB - Zenodo DO - 10.5281/zenodo.23108944 UR - https://doi.org/10.5281/zenodo.23108944 ER - 3. Abstract Ufficiale del Lavoro Abstract (Italiano) Il presente lavoro propone il Modello Vettoriale Sardo-Beotico (MVSB), un paradigma euristico interdisciplinare che interpreta le specificità culturali, architettoniche, idrauliche e mitologiche della Beozia della Tarda Età del Bronzo e dell'Età Arcaica come il risultato di un vettore migratorio e coloniale originatosi nella Sardegna nuragica lungo la cosiddetta "Rotta Aristeica". Attraverso un'analisi incrociata del record materiale e mitistorico, il lavoro esamina: (1) il parallelismo tra la regimazione delle acque della piana del Campidano/Tritonide e l'imponente bonifica del bacino del Lago Copaide condotta dai Minii di Orcomeno; (2) l'omologia strutturale tra la maestria litica a tholos dei nuraghi e la monumentale tomba a falsa cupola del Tesoro di Minia; (3) la convergenza metallurgica e votiva attestata dal Bronzetto di Mantiklos a Tebe e dalle placchette per elmi a zanne di cinghiale rinvenute nel Nuraghe Arrubiu di Orroli; (4) la rete di isaglossie toponomastiche, idronimiche (Limen Tritonis / Límni Trichonída) e antroponimiche condivise tra i due bacini; (5) la decodifica socio-antropologica dello stereotipo attico del "Beota", interpretato non come rozzezza intellettuale, ma come conservazione refrattaria di un'identità insulare allogena d'oltremare fondata su strutture confederali cantonate e modelli agro-pastorali arcaici. Abstract (English) This paper presents the Sardinian-Boeotian Vector Model (SBVM), an interdisciplinary heuristic paradigm interpreting the architectural, hydraulic, mythological, and onomastic idiosyncrasies of Late Bronze Age and Archaic Boeotia as the legacy of a direct overseas migration and settlement vector originating from Nuragic Sardinia along the "Aristaean Route". By synthesising material evidence and ancient myth-historical traditions, the model establishes five primary operational axes: (1) the hydraulic parallel between the drainage of the Sardinian Campidano/Tritonis basins and the monumental drainage of Lake Copais by the Minyans of Orchomenos; (2) the lithic architectural affinity between corbelled Nuragic tholoi and the Treasury of Minyas; (3) archaeometallurgical links connecting early Boeotian votive bronzes (the Mantiklos Apollo) with Nuragic lost-wax traditions and warrior elite equipment (the boar's tusk helmet plates from Nuraghe Arrubiu, Orroli); (4) a cohesive corpus of hydronymic (Limen Tritonis / Límni Trichonída), toponymic, and onomastic cognates; and (5) the sociological decoding of the Athenian "Boeotian" stereotype, reframed as the cultural and linguistic persistence of an insular, non-urban confederated overseas substratum. 4. Sinossi Strutturale dei 5 Pilastri del Preprint MODELLO VETTORIALE SARDO-BEOTICO (DOI: 23108944) │ ┌──────────────┬──────────────┼──────────────┬──────────────┐ ▼ ▼ ▼ ▼ ▼ [IDRAULICA] [ARCHITETTURA] [METALLURGIA] [LINGUISTICA] [MITISTORIA] Copaide / Tholos di Mantiklos / Idronimi & Aristeo, Tritonide Orcomeno Arrubiu Isaglossie Iolao e Minii Vettore Idraulico: Omologia tra le opere di captazione/drenaggio dei sistemi palustri sardi e la bonifica polderizzata del Copaide. Vettore Architettonico: Continuità formale della tecnica a conci aggettanti (falsa cupola/tholos) tra torri nuragiche e monumenti funerari minii. Vettore Metallurgico e Militare: Condivisione dei codici d'apparato guerriero miceneo-nuragico (zanne di cinghiale a Orroli) e stilemi plastici della bronzistica votiva arcaica (Mantiklos a Tebe). Vettore Linguistico-Onomastico: Corrispondenze antroponimiche (Marras, Sanna, Melas, Piras) e idronimiche (Tritonide $\leftrightarrow$ Trichonida / Tritone). Vettore Mitistorico ed Etnografico: Tradizione aristeica quale mappa geografica di popolamento; reinterpretazione dell'alterità cantonale della Lega Beotica come persistenza dell'assetto socio-politico nuragico.

Our anonymized artifacts are publicly accessible on Zenodo for our paper to support transparency, reproducibility, and replicability within the software engineering and testing communities. The detail…

Our anonymized artifacts are publicly accessible on Zenodo for our paper to support transparency, reproducibility, and replicability within the software engineering and testing communities. The details will be updated once the double-blind anonymous peer review is completed.

Nesse cenário, o urbanismo tático emerge como uma abordagem relevante no debate urbano contemporâneo, propondo intervenções de pequena escala, baixo custo e rá…

Nesse cenário, o urbanismo tático emerge como uma abordagem relevante no debate urbano contemporâneo, propondo intervenções de pequena escala, baixo custo e rápida implementação, capazes de requalificar espaços urbanos de forma incremental (LYDON; GARCIA, 2015). Diferentemente de modelos tradicionais de planejamento, baseados em grandes transformações estruturais, o urbanismo tático atua de forma pontual, sensível ao contexto e orientado à experiência do usuário. A problemática dos espaços públicos subutilizados está frequentemente associada a modelos de planejamento que priorizam aspectos técnicos e funcionais, como a circulação viária, em detrimento da escala do pedestre e da qualidade da experiência urbana (GEHL, 2013). Essa lógica resulta em espaços que, embora fisicamente presentes, não cumprem plenamente sua função social, configurando-se como áreas de passagem pouco qualificadas ou de baixa permanência. Diante desse contexto, o presente trabalho parte do seguinte problema de pesquisa: como intervenções de urbanismo tático podem contribuir para a ressignificação de espaços públicos subutilizados, especialmente aqueles cuja vocação predominante é o fluxo, e não a permanência? Como forma de responder a essa questão, o estudo tem como objetivo analisar a ressignificação de um espaço público subutilizado a partir de intervenções de baixo custo, com foco na qualificação da experiência do pedestre. Especificamente, busca-se compreender as relações entre forma urbana, uso e apropriação, bem como propor estratégias projetuais alinhadas à realidade do espaço analisado. Para tanto, adota-se como estudo de caso a Praça Etelvina Luz, em Florianópolis (SC), cuja análise permite articular conceitos teóricos do urbanismo com a observação empírica da dinâmica urbana contemporânea.

Accurately measuring fuzzy behavioral concepts like deception in large language models (LLMs) is notoriously difficult and many different methods have been proposed to do so. One strategy judges a mod…

Accurately measuring fuzzy behavioral concepts like deception in large language models (LLMs) is notoriously difficult and many different methods have been proposed to do so. One strategy judges a model's response to a single user message, containing its role, motivation, context, and a question. This narrated framing differs from the interactive framing of deployment, where the model's role is established in a system prompt and the model directly addresses a counterparty. We ask how much of a model's measured deception rate is carried by this difference, decomposing the narrated-to-interactive transformation into two operations that can be varied independently: rewording the scenario from a single narrated block into a separate description and direct in-scenario user question, and splitting the delivery from a single user message into a system message plus a user message. Applying those operations to the narrated benchmark DeceptionBench (Huang et al., 2025), we evaluate their effect on deception rates across eight target models drawn from four vendor lineages. Both operations increase deception in seven of eight models, with the median rewording effect more than doubling the odds of deception and the median split effect more than tripling them. The operations compose roughly additively without amplifying one another. The consistency of these shifts across the four vendor lineages suggests that the framing a benchmark uses carries a meaningful share of the deception rate it reports, and that scores from differently-framed benchmarks cannot be read as comparable measures of the same underlying construct.

For positive integers $n,k$, Baranyai's theorem (1975) says that if $k$ divides $n$, the $\binom nk$ $k$-element subsets of an$n$-element set can be split into $\binom{n-1}{k-1}$ classes, each of whic…

For positive integers $n,k$, Baranyai's theorem (1975) says that if $k$ divides $n$, the $\binom nk$ $k$-element subsets of an$n$-element set can be split into $\binom{n-1}{k-1}$ classes, each of which is a partition of the$n$-set into $n/k$ blocks. For $k=2$ this is the classical 1-factorisation of the complete graph$K_n$, $n$ even. We describe a Lean~4 formalisation, built on Mathlib, of the theorem for vertexset $\{0,\dots,n-1\}$ (the formal colouring statement also admits $n=0$, where it holds onlyvacuously), together with its transport to an arbitrary finite type (and to theelements of a \lean{Finset}) and, for $n>0$, a partition form that spells out the disjointness,covering and class-size properties of the colour classes: each class has $n/k$ blocks (a divisionlemma that needs $k>0$), and the number of classes satisfies $\binom{n-1}{k-1}=\binom nk/(n/k)$ (anidentity that needs $n>0$, $k>0$ and $k\mid n$, and fails for $n=0$, $k=1$). The proof is Baranyai's vertex-by-vertex induction in the formgiven by Brouwer and Schrijver; the integral rounding step is obtained from Mathlib's Hall marriagetheorem, with Hall's condition derived by a weighted double count, so no integral-flow theorem isneeded. A converse shows that $k\mid n$ is necessary as soon as one colour class is a perfectmatching. The library has 617 lines in three files, contains no \lean{sorry}, and its 32 checkeddeclarations use only Lean's three standard axioms. As far as we could determine, within the searchscope described in Section 7, no earlier formal proof of the theorem was public.

Mazkur maqolada O‘zbekiston telefilmlarda milliy identitetning shakllanishi va audiovizual ifodalanish mexanizmlari kinopublitsistika, media kommunikatsiya va madaniy identitet nazariyalari kesi…

Mazkur maqolada O‘zbekiston telefilmlarda milliy identitetning shakllanishi va audiovizual ifodalanish mexanizmlari kinopublitsistika, media kommunikatsiya va madaniy identitet nazariyalari kesishmasida tadqiq etiladi. Tadqiqotda milliy identitet faqat milliy urf-odatlar, kiyim-kechak, til yoki tarixiy obrazlarning ekrandagi namoyishi sifatida emas, balki tarixiy xotira, madaniy kodlar, ijtimoiy qadriyatlar, makon, qahramon va narrativ strukturalar orqali konstruksiya qilinadigan murakkab kommunikativ hodisa sifatida talqin etiladi.