cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Reducing constitutional hyper-rigidity by means of digital technologies: a case study on e-consultations in Canada
Creators: name: Buckley, Amy Jade
Publisher: name: Macquarie University
Year: 2024
Subjects: classificationCode: 480702
subject: Constitutional law

description: This thesis considers the possibility of using e-consultations as a digital mechanism for democratic participation as part of a reformative proposal to reduce constitutional hyper-rigidity. Hyper-rigidity arises when the procedure for formal amendment within a constitution is so demanding that the constitution is extremely difficult or even impossible to amend. Historically, the protection and maintenance of constitutional stability has often been cited as the reason why such stringent amendment requirements have been necessary. Scholars and politicians often assume that the only way to deal with hyper-rigidity is by means of judicial interpretation. However, in an age in which the use of digital technologies for strengthening democracy has become increasingly prevalent, this thesis examines the suitability for e-consultations to be adjusted to a constitutional level to contribute to a proposal for reducing structural constitutional hyper-rigidity.After examining the case study of e-consultations in Canada, this thesis suggests a new two-part reformative proposal; namely, a reduction in the onerous requirements for formal constitutional amendments that make a constitution hyper-rigid, accompanied by the inclusion of an e-consultation process. Reducing the structural elements of a constitutional amendment mechanism alone could negatively impact constitutional stability. Introducing an e-consultation process alone would only serve to increase the already stringent requirements for formal amendments that make a constitution hyper-rigid. By doing both, structural hyper-rigidity would be reduced whilst constitutional stability would be preserved.To ground this claim, Part I explores constitutional hyper-rigidity as a problem that subverts the popular sovereignty and participation, and the separation of powers principles of democratic constitutionalism. Part II explores whether digital technologies, in theory, can achieve the goals of deliberative democracy and are therefore consistent with democratic constitutionalism. Arising out of this theoretical backdrop, Part III undertakes a case study on Canada’s non-constitutional e-consultations to assess whether this is also true in practice. Part IV explores the possibility of adjusting e-consultations to a constitutional level, as a mechanism through which constitutional amendment rules can be more compliant with democratic constitutionalism, and outlines a reformative proposal.
VIRTUAL BORLIQ VA UNING ASOSIY TUSHINCHALARI
Creators: name: Shamsiddinov, G'iyosjon
name: Raxmatova, Gulandom
name: Rajapova, Zilola
Publisher: name: Zenodo
Year: 2025

description: Ushbu maqolada virtual borliq tushunchasi va uning zamonaviy texnologiyalar bilan integratsiyasi tahlil qilinadi. Virtual reallik(VR), kengaytirilgan reallik (AR) va metaverse kabi asosiy tushunchalar kengroq yoritilib, ularning ilm-fan, ta’lim, tibbiyot va sanoat sohalaridagi o‘rni ko‘rib chiqiladi. Shuningdek, virtual borliqning inson ongiga va ijtimoiy hayotga ta’siri, uning afzalliklari hamda ehtimoliy xavflari haqida fikr yuritiladi. Maqola virtual muhitning kelajak rivoji va uning hayotimizga ta’sirini o‘rganishga qaratilgan.
Graphic designer senza committenti
Creators: name: FAORO, STEFANO
Publisher: name: Universit� IUAV di Venezia
Year: 2021

description: La ricerca mette in luce caratteri e specificit� del fenomeno del self-initiated project in relazione alle pratiche di graphic design sul territorio italiano.
Per self-initiated project si intendono tutti quei progetti e artefatti comunicativi che i designer producono, grazie soprattutto alla disponibilit� dei mezzi di produzione consentita dal digitale, indipendentemente dall?esistenza una committenza specifica.
La ricerca si concentra su alcuni aspetti, in particolare come questi progetti siano stati inizialmente mezzo di espressione di una forma autoriale di progettazione e come nel tempo propositi simili abbiano lasciato spazio a altre applicazioni per le pratiche self-initiated quali la formazione, la definizione di un proprio linguaggio riconoscibile, la ricerca di lavoro.
Dall?analisi della letteratura esistente sull?argomento emerge la necessit� di rileggere questo fenomeno dal punto di vista storico, pur trattandosi di una storia relativamente recente, e metterlo in relazione con la condizione contemporanea della professione del progettista grafico.�
La ricerca si sviluppa ripercorrendo esperienze progettuali e discorsi critici sul fenomeno, a partire dagli anni della cosiddetta rivoluzione digitale, arrivando fino alla contemporaneit�.
Si ritiene importante approfondire questo fenomeno per capire come un ambito professionale inizialmente marginale e dedicato a episodi di progettazione puntuali e sperimentali sia in realt� diventato strumento fondamentale della formazione e della pratica lavorativa dei progettisti grafici contemporanei.�
Obbiettivo del progetto di tesi � stato dunque approfondire la storia e la condizione contemporanea del progetto self-initiated nel panorama del graphic design italiano al fine di comprenderne punti di forza e criticit� e per poter immaginare una possibile evoluzione di un aspetto cos� diffuso del progettare.
title: Megatrend-Report #06: Staatsfinanzen im Fokus
title: Wie Megatrends, Kriege und Krisen den Fiskus herausfordern
titleType: Subtitle
Creators: name: Holzmann, Sara
name: Meyer zu Schwabedissen, Otto
name: Petersen, Thieß
name: Putzhammer, Fritz
name: Wortmann, Marcus
Publisher: name: Bertelsmann Stiftung
publisherIdentifier: https://ror.org/01wj9hk44
publisherIdentifierScheme: ROR
Year: 2024
Subjects: Finanzpolitik
Öffentliche Finanzen
Staatshaushalt

description: Das jüngste Scheitern der Ampelkoalition an einer Einigung zu finanzpolitischen Fragen verdeutlicht, dass Deutschland vor einer großen Herausforderung steht: Wie lassen sich dringende Investitionen in die Dekarbonisierung der Volkswirtschaft, die Modernisierung des Standorts und die Verteidigungsfähigkeit Deutschlands realisieren, ohne die Nachhaltigkeit der öffentlichen Finanzen zu gefährden? Diese Frage dürfte die politische Debatte und die Öffentlichkeit auch in der nächsten Legislaturperiode beschäftigen.
Um fundierte finanzpolitische Entscheidungen treffen zu können, sind ein umfassendes Lagebild der fiskalischen Entwicklungen und Herausforderungen, eine Analyse der Rolle des Staates bei der Bewältigung der Zukunftsaufgaben, die Abschätzung öffentlicher Ausgabenbedarfe sowie ein Überblick über bestehende Finanzierungsoptionen notwendig. Dies bietet der neue Megatrend-Report #6. Bereichert wird der Report in diesem Jahr durch Einschätzungen von fünf renommierten Expertinnen und Experten.
DEFINABLE TOPOLOGICAL SPACES IN O-MINIMAL STRUCTURES
Creators: name: Guerrero, Pablo J Andujar
Publisher: name: Purdue University Graduate School
Year: 2021
Subjects: Mathematical logic, set theory, lattices and universal algebra

description: We further the research in o-minimal topology by studying in full generality definable topological spaces in o-minimal structures. These are topological spaces $(X, \tau)$, where $X$ is a definable set in an o-minimal structure and the topology $\tau$ has a basis that is (uniformly) definable. Examples include the canonical o-minimal "euclidean" topology, “definable spaces” in the sense of van den Dries [17], definable metric spaces [49], as well as generalizations of classical non-metrizable topological spaces such as the Split Interval and the Alexandrov Double Circle.
We develop a usable topological framework in our setting by introducing definable analogues of classical topological properties such as separability, compactness and metrizability. We characterize these notions, showing in particular that, whenever the underlying o-minimal structure expands $(\mathbb{R},
We prove classification and universality results for one-dimensional definable topological spaces, showing that these can be largely described in terms of a few canonical examples. We derive in particular that the three element basis conjecture of Gruenhage [25] holds for all infinite Hausdorff definable topological spaces in o-minimal structures expanding $(\mathbb{R},
A definable topological space is affine if it is definably homeomorphic to a euclidean space. We prove affineness results in o-minimal expansions of ordered fields. This includes a result for Hausdorff one-dimensional definable topological spaces. We give two new proofs of an affineness theorem of Walsberg [49] for definable metric spaces. We also prove an affineness result for definable topological spaces of any dimension that are Tychonoff in a definablesense, and derive that a large class of locally affine definable topological spaces are affine.
Building a platform for flexible and scalable testing of genetic editors
Creators: name: PETRUCCI, TERESA
Publisher: name: Universit� degli Studi di Siena
Year: 2021

description: Cell-free systems allow to perform in-vitro transcription-translation reactions without requiring living organisms, revolutionising scientific research over the last decade.
This allows to easily synthesise a variety of molecular components for genetic editing applications without requiring expensive and time-consuming procedures such as cell culture, animal maintenance etc.
In this work, I aimed to develop a high-throughput platform for the rapid, flexible and scalable in-vitro testing of various genetic editors, such as those part of the CRISPR/Cas repertoire. I used the commercially available E. coli cell extract (MyTXTL) in combination with a fully customisable design to generate fluorescent reporters, that allow standardised testing of various CRISPR components against any predesigned target or protospacer adjacent motif (PAM) sequences.
In order to increase the scalability of this screening platform, I utilised automated liquid handling technologies (Echo 525) and explored the possibility to introduce a high throughput cloning method (BASIC assembly).
I believe that this approach will be highly valuable for the screening of CRISPR components prior than their final application in in-vivo systems, such as humans or animals.
These genetic editors could then be used in many biological and artificial systems, such as gene editing, metabolomics and genetic engineering.
GRADUATE STUDENTS’ PERCEPTIONS AND RESPONSES TO BULLYING FROM ACADEMIC ADVISORS
Creators: name: Amuah, Theodora L
Publisher: name: Purdue University Graduate School
Year: 2021
Subjects: Communication studies

description: Workplace bullying is a major global issue which has received a lot of recognition because of its negative effects on victims’ health and work productivity. There have been many attempts to mitigate the effects of workplace bullying, leading researchers to extensively study the phenomenon in various contexts and relationships. Information on workplace bullying in the academic context, precisely relationships between academic advisors and graduate student advisees, is however, lacking. This study aimed at filling in the gap by seeking information about communicative behaviors from advisors that graduate advisees characterized as bullying, and common responses graduate advisees resorted to in the face of adversity. We also sought to understand why advisees may have responded to maltreatment in specific ways. We, therefore, proposed a working model which hypothesized a relationship between advisor negative acts, commitment levels of advisees, and advisee responses. Using Amazon’s Mechanical (MTurk) to recruit our sample, participants filled out a survey which included a few demographic questions, the revised version of the Negative Acts Questionnaire (NAQ-R) to measure advisor negative acts, the Exit-Voice-Loyalty-Neglect (EVLN) typology to measure advisee responses, and the Investment Model Scale (IMS) to measure advisee commitment levels to the work relationship with advisors. We verified the reliability and validity of the scales adopted for this study and ran some correlation and mediation analyses to answer our research questions and test our hypotheses. From our findings, we learned that most advisees reported personal insults occurring more frequently in their work relationships with advisors. Advisees also reported a high commitment to the work relationships with their advisors, despite maltreatment, and often responded by adopting the voice or neglect strategy. Findings from this exploratory study imply there is more information to be sought on workplace bullying between advisees and advisors in academic contexts.
Large components in inhomogeneous random graphs
Creators: name: Lienau, Matthias
Publisher: name: TUHH Universitätsbibliothek
Year: 2025
Subjects: subject: inhomogeneous random graphs
subject: random connection model
subject: (extremal) counting statistics
subject: subcritical regime
subject: power law
subject: Poisson process convergence
classificationCode: 5
subject: Natural Sciences and Mathematics::519: Applied Mathematics, Probabilities

description: This thesis studies two types of inhomogeneous random graphs, so-called rank-1 models and the weighted random connection model. Under suitable parameter choices, both random graphs exhibit a scale-free degree distribution as observed in real-world complex networks. For both models, we study the sizes of large components in the subcritical regime. In the rank-1 case, we also establish quantitative Poisson approximation results for cycle counts. The latter allow us to deduce the asymptotic distributions of the lengths of the shortest and of the longest cycle in the subcritical regime.
description: Diese Arbeit befasst sich mit zwei Arten von inhomogenen Zufallsgraphen, sogenannten Rang-1-Modellen und dem gewichteten Random Connection Model. Mit geeigneten Parametern weisen beide Modelle skalenfreie Gradverteilungen auf, wie sie empirisch bei komplexen Netzwerken zu beobachten sind. Wir untersuchen die Größen der großen Komponenten beider Modelle im subkritischen Regime. Für die Rang-1-Modelle zeigen wir außerdem quantitative Resultate hinsichtlich der Poisson-Approximation der Anzahl an Kreisen. Damit schließen wir auf die asymptotischen Verteilungen der Längen des kürzesten und des längsten Kreises im subkritischen Regime.
Mathematical and Computational Modeling in Biomedical Engineering
Creators: name: Giolando, Patrick A
Publisher: name: Purdue University Graduate School
Year: 2021
Subjects: Mechanical engineering not elsewhere classified

description: Mathematical and computational modeling allow for the rationalization of complex phenomenon observed in our reality. Through the careful selection of assumptions, the intractable task of simulating reality can be reduced to the simulation of a practical system whose behavior can be replicated. The development of computational models allow for the full comprehension of the defined system, and the model itself can be used to evaluate the results of thousands of simulate experiments to aid in the rational design process. Biomedical engineering is the application of engineering principles to the field of medicine and biology. This discipline is composed of numerous diverse subdisciplines that span from genetic engineering to biomechanics. Each of these subdisciplines is concerned with its own complex and seemingly chaotic systems, whose behavior is difficult to characterize. The development and application of computational modeling to rationalize these systems is often necessary in this field and will be the focus of this thesis. This thesis is centered on the development and application of mathematical and computational modeling in three diverse systems in biomedical engineering. First, computational modeling is employed to investigate the behavior of key proteins in the post-synapse centered around learning and memory. Second, computational modeling is utilized to characterize the drug release rate from implantable drug delivery depots, and produce a tool to aid in the tailoring of the release rate. Finally, computational modeling is utilized to understand the motion of particles through an inertial focusing microfluidics chip and optimize the size selective capture efficiency.
Real blocks with dihedral defect groups revisited
Creators: name: Sambale, Benjamin
Publisher: name: Cambridge : Cambridge Univ. Press
Year: 2023
Subjects: subject: dihedral defect groups
subject: Frobenius–Schur indicator
subject: real blocks
subject: Dewey Decimal Classification::500 | Naturwissenschaften::510 | Mathematik

description: The Frobenius–Schur indicators of characters in a real 2-block with dihedral defect groups have been determined by Murray [‘Real subpairs and Frobenius–Schur indicators of characters in 2-blocks’, J. Algebra 322 (2009), 489–513]. We show that two infinite families described in his work do not exist and we construct examples for the remaining families. We further present some partial results on Frobenius–Schur indicators of characters in other tame blocks.
L?architettura degli ottani: nuovi luoghi per nuovi pellegrinaggi
Creators: name: MANGINI, STEFANIA
Publisher: name: Universit� IUAV di Venezia
Year: 2020

description: L?architettura degli ottani fissa un particolare momento della cultura progettuale italiana rappresentativo delle trasformazioni infrastrutturali, sociali e culturali che hanno investito il Paese nel secondo dopoguerra, quando lo sviluppo di nuove autostrade oltre a veicolare il desiderio di riscatto dalle difficolt� della Guerra, ha innescato un?attenta ricerca formale sulla stazione di servizio caratterizzata dall?estetica della mobilit� e della velocit�.
Si � trattato di una sperimentazione inedita che ha trovato nel bordo autostradale un laboratorio privilegiato di architetture, la cui modernit� � figlia della loro intrinseca evoluzione tipologica e quasi immune alle influenze del dibattito internazionale sulla ridefinizione dei principi dell?architettura e dell?urbanistica. Proprio la condizione altra che ha caratterizzato la nascita e l?evoluzione di queste esperienze, il loro carattere introverso e autoreferenziale, insieme alla visione settoriale con cui sono stati disegnati i tracciati delle autostrade, hanno portato a trattare il territorio e la citt� come temi solo interferenti e non intercorrelati alla strada, causando la loro netta separazione fisica e semantica che sovente, appare ancora oggi, inviolabile.
Nell?impossibilit� di continuare a pensare all?infrastruttura nella sua enclave, la tesi tenta di riflettere sulla capacit� ordinatrice e di relazione dell?architettura, offrendo i modelli di una visione integrata del progetto, che abbracciando tempi, scale e saperi differenti, fa interagire le componenti infrastrutturali con quelle insediative, economiche e socioculturali, consentendo di riconnettere, rintracciare e risignificare lo spessore dei luoghi in cui essa si inserisce. Articolando ritmi e grandezze diverse in un sistema capace di accogliere le esigenze di ogni viaggiatore, l?area di servizio va organizzata come una soluzione al passaggio tra urbano ed extraurbano, tra la velocit� e la lentezza: un luogo intermedio, organicamente concepito, in cui elementi spaziali e funzionali vanno declinati e tra loro relazionati per essere le porte di accesso a quel paesaggio che fino ad ora ci si � sempre lasciati alle spalle.
Design e tecnologie digitali per la danza. Dispositivi di progettazione coreografica del movimento.
Creators: name: PERESSINI, GIOELE
Publisher: name: Universit� IUAV di Venezia
Year: 2020

description: La tesi analizza e approfondisce l?influenza delle tecnologie digitali nella danza contemporanea, domandandosi quali siano gli apporti del design dell?interazione in questo ambito.
I cambiamenti subiti dalla danza negli ultimi anni, infatti, hanno dimostrato come il movimento del danzatore possa venire ricostruito e reinterpretato attraverso le tecnologie digitali. Si assiste alla produzione di artefatti e dispositivi digitali (CD, DVD, siti web, intelligenze artificiali) che hanno ampliato i confini della danza. Tali artefatti vengono qui definiti come dispositivi coreografici: non sono sostituti della danza dal vivo ma il prodotto di una pratica interdisciplinare e collaborativa che mira a visualizzare, comprendere e trasmettere il progetto coreografico.
I casi studio scelti sono analizzati non tanto per la loro ricaduta estetica quanto per le modalit� secondo cui sono progettati i supporti, enfatizzandone gli elementi di rottura (cap. 1). Attraverso un approccio speculativo che incorpora esperienze pratiche, analizzando i dispositivi e intervistando i protagonisti, e prospettive teoriche, avvalendosi di studi che hanno enfatizzato la collaborazione tra danza e design dell?interazione, emerge chiara l?idea che � il sistema collaborativo a dare forma al progetto, modellando il prodotto finito. Se i dispositivi coreografici sono il frutto di uno scambio di conoscenze tra professionalit� diverse, vengono presi in considerazione i nuovi ruoli assunti dal danzatore e dal coreografo, in relazione alle tecnologie in uso (cap. 2). Viene cos� introdotta la figura del progettista dell?interazione, inteso come designer dramaturg attorno cui ruotano le continue negoziazioni tra dimensione corporea e possibilit� tecnologiche. Vengono, dunque, astratti alcuni principi progettuali, tanto per comprendere l?idea di performativit� in relazione alle tecnologie digitali, quanto per posizionare il designer dell?interazione nell?orizzonte delle pratiche performative contemporanee (cap. 3). Tale operazione permette di affermare che lo sviluppo dei dispositivi coreografici produce conoscenze che possono essere trasposte al di fuori del settore performativo. Il corpo viene riconosciuto non in quanto soggetto, ma materia della sperimentazione tecnologica: la pratica della danza diviene un luogo di collaborazione nel quale sperimentare e ripensare le interazioni con gli oggetti della vita quotidiana.
Corrispondenze e interazioni tra suono spazio e corpo, strategie per un design sonoro dello spazio
Creators: name: VISMARA, GIULIA
Publisher: name: Universit� IUAV di Venezia
Year: 2020

description: Con il diffondersi di tecnologie sofisticate e al contempo facilmente accessibili per la registrazione e la riproduzione surround del suono, emergono pratiche sonore eterogenee in cui l'impatto e la complessit� della dimensione spaziale diventano parte integrante del processo di progettazione. Pertanto, grazie alla possibilit� di ricreare un sound field sempre pi� simile a quello che ci circonda, l?esperienza dello spazio e? espansa (dal suono) e al contempo predeterminata da risultati matematici, strategie compositive e modalit� di ascolto specifiche. Si evidenzia, quindi come le tecnologie di integrazione del suono e dello spazio implichino una riconfigurazione delle interazioni tra spazio, suono e corpo. La proliferazione di questi metodi e sistemi conduce cos� alla necessit� di una riflessione ontologica sulla natura stessa dello spazio, sulla sua interrelazione con lo spazio fisico di proiezione e con il corpo. La tesi qui di seguito presentata, si basa sugli approcci tra teoria e pratica specifici della musica elettroacustica, della sound art e del sound design, mirando per� ad individuare le corrispondenze gi� esistenti e a delinearne di nuovi implementando un quadro transdisciplinare. L?analisi si inserisce in quella sfera relativamente recente di opere e autori che cercano di orientarsi al di l� del paradigma binario di soggetto e oggetto, spazio e tempo, natura e cultura, mente e corpo, umano e non umano, reale e virtuale, per abbracciare una prospettiva ecologica che tiene conto della complessit� delle relazioni dinamiche e dell?influenza reciproca tra gli elementi. La mappatura realizzata permette dunque di formulare un modello teorico tripartito, basato sul macro-concetto di spazio complesso, che a sua volta genera uno spazio potenziale da cui, a seconda delle interazioni attivate tra spazio corpo e suono, sono generate tre diverse tipologie di spazio. Per verificare il modello formulato, le tre categorie spaziali sono accompagnate da relativi esempi sonori. Il contesto cos� delineato contribuisce a creare un terreno fertile per ripensare i concetti e sviluppare strategie alternative per la pratica della composizione spaziale sonora.
Si propongono infine due prototipi in via di sperimentazione: il primo legato alla stimolazione della sensazione di spazialit�?, attraverso una composizione creata per mezzo di uno specifico sistema di spazializzazione 3D, mentre il secondo e? un progetto collaborativo che riguarda l?investigazione della dimensione sonora nello spazio urbano.
Influence of process parameters on single weld seam geometry and process stability in Laser Hot-Wire Cladding of AISI 52100
Creators: name: Budde, L.
name: Biester, K.
name: Lammers, M.
name: Hermsdorf, J.
name: Kaierle, S.
name: Overmeyer, L.
Publisher: name: [Amsterdam] : Elsevier Science
Year: 2023
Subjects: subject: AISI 52100
subject: Cladding
subject: Laser Hot-Wire Cladding
subject: Process stability
subject: Weld seam geometry
subject: Dewey Decimal Classification::600 | Technik
subject: Dewey Decimal Classification::600 | Technik::620 | Ingenieurwissenschaften und Maschinenbau

description: Steels with high carbon content can hardly or not at all be welded, but are of great interest for cladding applications due to their high hardness. In this study, the influence of process parameters on weld seam geometry and process stability is investigated when welding AISI 52100 bearing steel using the laser hot-wire cladding process. Process stability is evaluated using actual and set values for the wire feed rate and current parameters to determine a process window for a stable welding process. Weld seams are measured and analyzed in terms of width, height, contact angle, and shape. The effect of the process parameters on the weld seam geometry is investigated and appropriate mathematical functions to describe the geometry are determined. Process parameter sets in the range of 1-2 m/min wire feed rate and 45-75 A hot wire current were investigated. Unstable parameter sets occur clustered at high wire feed rate of 2 m/min for all hot wire currents. In addition, the process is unstable at high hot wire current of 75 A and low wire feed speed of 1 m/min. The remaining parameter sets resulted in a stable process. The investigated functions parabolic, cosinusoidal and circular arc for the mathematical description of the weld seam geometry, no clearly significant result could be determined. Only a trend towards the circular arc function and the parabolic function is apparent.
Modular Termination Verification: Machine-Checked Proofs
Creators: name: Jacobs, Bart
Publisher: name: Zenodo
Year: 2018

description: Machine-checked using Coq 8.6.

Contents:

	Generic Utility Concepts

		Util: Notations for lists and decidable equality

	Module Correctness

		Programs: The syntax of programs. Parameterized over the set of types, values, and operators, and the well-founded type of levels.
		ProgramExecution: Relates programs to outcomes (termination with a result value or divergence).
		ProgramCorrectness: Correctness of a class, and correctness of a program in terms of correctness of its classes.
		WellTyped: Well-typedness of a program. Implies that the import graph is acyclic.
		Soundness: Correct well-typed programs do not diverge.

	Specification Style

		NonWf: Relates well-foundedness to descending chains. Used by WellOrderingTheoremEx.
		WellOrderingTheoremEx: Each well-founded relation can be extended to a well-ordering.
		MultisetOrder: Finite multisets, the Dershowitz-Manna ordering, and a proof of its well-foundedness.
		SpecStyle: Instantiates the syntax of programs with a well-founded (in fact: well-ordered) type of method bags.
		MethodBagLemmas: Some lemmas about method bag order, useful for the example correctness proofs.

	Example Programs

		Loopy: An example program that performs infinite inter-module recursion through dynamic binding.
		PlusOneFunc: An example program with dynamic binding that terminates.
		ExamplesWellTyped: Loopy and PlusOneFunc are well-typed.
		ProgramExecutionTests: Loopy diverges; PlusOneFunc has an execution that terminates with result 0.
		PlusOneFunc_is_Correct: A modular proof of correctness of PlusOneFunc.
		PlusOneFunc_terminates: Applies the soundness theorem to obtain that PlusOneFunc does not have diverging executions.
La "Historia Troyana Polim�trica": edizione critica, studio e glossario.
Creators: name: ANZANI, MATTEO
Publisher: name: Universit� degli Studi di Siena
Year: 2021

description: La presente tesi di dottorato intende proporre uno studio aggiornato e una nuova edizione critica di un curioso testo iberoromanzo noto con il titolo di ?Historia Troyana Polim�trica?. L?opera, parziale ?traduzione? del ?Roman de Troie? di Beno�t de Sainte-Maure, rappresenta una rarit� nel panorama letterario medievale tanto per l?insolita conformazione testuale, quanto per la travagliata e intricata trasmissione manoscritta. Si tratta, in effetti, di un prosimetrum che intercala a una prosa altrimenti monotona e ridondante, delle inserzioni poetiche briose e polimetriche. I ?versos?, utilizzati per interrompere la narrazione, sottolineare gli episodi salienti e dar voce ai personaggi, si organizzano di volta in volta in strutture metrico-stilistiche differenti, rispondendo a una precisa istanza sperimentale coraggiosamente portata avanti dal nostro anonimo autore. La prima sezione di questo lavoro offre, dunque, un?introduzione bibliograficamente aggiornata delle principali opere di materia troiana diffuse o composte in Spagna a cavallo dei secoli XIII e XIV, cos� da tracciare e delimitare un preciso panorama storico-letterario entro il quale si colloca il testo di cui ci occupiamo. Particolare importanza assume l?ultimo paragrafo di questa introduzione, in cui vengono descritte pi� da vicino le coordinate e le direttrici principali della produzione letteraria di tema troiano in ambito iberoromanzo. La seconda sezione si occupa invece di indagare la particolarissima tradizione manoscritta dell?opera, a partire da una nuova ricognizione dei codici relatori. Viene quindi tracciato e discusso lo stemma codicum e vengono analizzati i dati relativi alla cronologia dell?opera, per la quale viene proposta anche una nuova ipotesi di datazione. Dopo aver passato in rassegna le caratteristiche del genere letterario del prosimetro, si indagano le fonti dell?opera allargando la comparazione alle prosificazioni del romanzo francese alla ?Cr�nica troyana di Alfonso XI?, testo strettamente connesso al nostro. La terza sezione, invece, � interamente occupata dall?edizione, preparata secondo i criteri descritti e argomentati nello studio critico. A complemento della nuova edizione si propongono la traduzione italiana integrale del testo e un paragrafo di note lessicali ed etimologiche utili a chiarire il significato dei termini pi� complessi. Trovano infine spazio in appendice le trascrizioni paleografiche dei due manoscritti che tramandano l?opera.
sj-docx-3-sgo-10.1177_21582440211046942 – Supplemental material for Interventions Targeting the Wellbeing of Migrant Youths: A Systematic Review of the Literature
Creators: name: Heyeres, Marion
name: Perera, Nirukshi
name: Udah, Hyacinth
name: Attakey, Akpene
name: Whiteside, Mary
name: Tsey, Komla
Publisher: name: SAGE Journals
Year: 2021
Subjects: subject: 200199 Communication and Media Studies not elsewhere classified
subject: FOS: Media and communications
subject: 160299 Criminology not elsewhere classified
subject: FOS: Law
subject: Education
subject: 170199 Psychology not elsewhere classified
subject: FOS: Psychology
subject: Sociology
subject: FOS: Sociology

description: Supplemental material, sj-docx-3-sgo-10.1177_21582440211046942 for Interventions Targeting the Wellbeing of Migrant Youths: A Systematic Review of the Literature by Marion Heyeres, Nirukshi Perera, Hyacinth Udah, Akpene Attakey, Mary Whiteside and Komla Tsey in SAGE Open
Design, development, and evaluation of an individual digital study assistant for higher education students
Creators: name: Karrenbauer, Christin
name: Brauner, Tim
name: König, Claudia M.
name: Breitner, Michael H.
Publisher: name: Heidelberg ; Berlin ; Wien [u.a.] : Springer
Year: 2023
Subjects: subject: Action design research
subject: Evaluation
subject: Higher education institution
subject: Individual digital study assistant
subject: Prototyping
subject: Requirement analysis
subject: Dewey Decimal Classification::300 | Sozialwissenschaften, Soziologie, Anthropologie::370 | Erziehung, Schul- und Bildungswesen

description: The growing number of students in higher education institutions, along with students’ diverse educational backgrounds, is driving demand for more individual study support. Furthermore, online lectures increased due to the COVID-19 pandemic and are expected to continue, further accelerating the need for self-regulated learning. Individual digital study assistants (IDSA) address these challenges via ubiquitous, easy, automatic online access. This Action Design Research-based study entailed designing, developing, and evaluating an IDSA that aims to support students’ self-regulated learning, study organization, and goal achievement for students in their early study phase with limited knowledge of higher education institutions. Therefore, data from 28 qualitative expert interviews, a quantitative survey of 570 students, and a literature review was used to derive seven general IDSA requirements, including functionalities, contact options, data-based responsiveness and individuality, a well-tested system, marketing strategies, data protection, and usability. The research team incorporated the identified requirements into an IDSA prototype, tested by more than 1000 students, that includes functionalities as recommending lectures based on individual interests and competencies, matching students, and providing feedback about strengths and weaknesses in learning behaviors. The results and findings compromise a knowledge base for academics, support IDSA theory building, and illustrate IDSA design and development to guide system developers and decision-makers in higher education. This knowledge can also be transferred to other higher education institutions to support implementing IDSAs with limited adaptations. Further, this research introduces a feasible functional system to support self-organization.
Media Recognition: Golden Retriever Health and Pet Care Initiative Featured in Jornal A Crítica
Creators: name: Valquerizo, Pamela Cristina
Publisher: name: Zenodo
Year: 2013
Subjects: Veterinary Public Health
Golden Retriever
Animal Welfare
Public Engagement

description: This article was published on October 6, 2013, in Jornal A Crítica, the leading newspaper in the state of Amazonas, Brazil. It highlights veterinarian Pamela Cristina Valquerizo as the creator and promoter of the first Golden Retriever gathering in Manaus.

 

The event brought attention to veterinary public health, pet care culture, and the role of veterinarians in community engagement. The article emphasizes Pamela's pioneering work in combining animal aesthetics, hygiene, and preventive health — reinforcing her broader mission in food safety, zoonotic disease prevention, and veterinary outreach.

 

The scanned article is attached for public reference. This publication represents professional media recognition and veterinary leadership in public health initiatives in Brazil.
Lithium Niobate for Fast Cycling in Li-ion Batteries: Review and New Experimental Results
Creators: name: Hüger, Erwin
name: Riedel, Lukas
name: Zhu, Jing
name: Stahn, Jochen
name: Heitjans, Paul
name: Schmidt, Harald
Publisher: name: Basel : MDPI
Year: 2023
Subjects: subject: diffusivity
subject: gravimetric and volumetric capacity
subject: lithium ion battery
subject: lithium niobate
subject: long-term cycling
subject: mass density
subject: neutron reflectometry
subject: porosity
subject: rate capability
subject: supercapacitor
subject: Dewey Decimal Classification::600 | Technik::620 | Ingenieurwissenschaften und Maschinenbau
subject: Dewey Decimal Classification::500 | Naturwissenschaften::530 | Physik

description: Li-Nb-O-based insertion layers between electrodes and electrolytes of Li-ion batteries (LIBs) are known to protect the electrodes and electrolytes from unwanted reactions and to enhance Li transport across interfaces. An improved operation of LIBs, including all-solid-state LIBs, is reached with Li-Nb-O-based insertion layers. This work reviews the suitability of polymorphic Li-Nb-O-based compounds (e.g., crystalline, amorphous, and mesoporous bulk materials and films produced by various methodologies) for LIB operation. The literature survey on the benefits of niobium-oxide-based materials for LIBs, and additional experimental results obtained from neutron scattering and electrochemical experiments on amorphous LiNbO3 films are the focus of the present work. Neutron reflectometry reveals a higher porosity in ion-beam sputtered amorphous LiNbO3 films (22% free volume) than in other metal oxide films such as amorphous LiAlO2 (8% free volume). The higher porosity explains the higher Li diffusivity reported in the literature for amorphous LiNbO3 films compared to other similar Li-metal oxides. The higher porosity is interpreted to be the reason for the better suitability of LiNbO3 compared to other metal oxides for improved LIB operation. New results are presented on gravimetric and volumetric capacity, potential-resolved Li+ uptake and release, pseudo-capacitive fractions, and Li diffusivities determined electrochemically during long-term cycling of LiNbO3 film electrodes with thicknesses between 14 and 150 nm. The films allow long-term cycling even for fast cycling with rates of 240C possessing reversible capacities as high as 600 mAhg−1. Electrochemical impedance spectroscopy (EIS) shows that the film atomic network is stable during cycling. The Li diffusivity estimated from the rate capability experiments is considerably lower than that obtained by EIS but coincides with that from secondary ion mass spectrometry. The mostly pseudo-capacitive behavior of the LiNbO3 films explains their ability of fast cycling. The results anticipate that amorphous LiNbO3 layers also contribute to the capacity of positive (LiNixMnyCozO2, NMC) and negative LIB electrode materials such as carbon and silicon. As an outlook, in addition to surface-engineering, the bulk-engineering of LIB electrodes may be possible with amorphous and porous LiNbO3 for fast cycling with high reversible capacity.
A Knowledge-Based Engineering System for the Planning of Networked Rainwater Harvesting and Distribution Systems
Creators: name: Gembarski, Paul Christoph
name: Melching, Jan
name: Plappert, Stefan
Publisher: name: Basel : MDPI
Year: 2023
Subjects: subject: Bayesian networks
subject: knowledge-based engineering systems
subject: rainwater harvesting systems
subject: residential water systems
subject: resource balancing
subject: Dewey Decimal Classification::300 | Sozialwissenschaften, Soziologie, Anthropologie::330 | Wirtschaft::333 | Boden- und Energiewirtschaft::333,7 | Natürliche Ressourcen, Energie und Umwelt
subject: Dewey Decimal Classification::600 | Technik::690 | Hausbau, Bauhandwerk

description: Rainwater harvesting attracts growing interest from the field of municipal planning. When considering a rainwater harvesting system as a design object, questions include whether the system is designed for a single property or for a local water network serving multiple properties, what allows for the inclusion of buffer tanks and resource balancing among participants in the network, how to size the tanks, and how robust the system is in the face of changing demands. Knowledge-based engineering provides methods and a tool set for such planning objects. For this article, the authors applied techniques based on model-based and resource-based configuration and Bayesian decision networks to propose a knowledge-based engineering system for residential, networked rainwater harvesting and distribution systems. This enables designers to investigate the effects of different catchment areas, adjust or minimize the storage tank sizes in the grid and evaluate their effect on the individual harvest and the exchange with a central network buffer, evaluate the demands within a neighborhood based on a detailed consumer model also over time, and test the sensitivities of the single sinks and sources to the water grid. For urban planners, this offers the possibility, for example, to make design obligations for housing construction or for the refurbishment of settlements.
RAQAMLI TEXNOLOGIYALAR VA ULARNING RIVOJLANISH TENDENSIYALARI
Creators: name: QODIROV, FARRUX
name: BUXOROVA, IRODA
Publisher: name: Zenodo
Year: 2025

description: Raqamli texnologiyalar jamiyatning turli sohalarida inqilobiy o‘zgarishlarni yuzaga keltirib, iqtisodiyot, ta’lim, sog‘liqni saqlash va sanoatda samaradorlikni oshirmoqda. Sun’iy intellekt, mashinaviy o‘rganish, kvant hisoblash va Internet narsalar (IoT) kabi ilg‘or texnologiyalar biznes jarayonlarini avtomatlashtirish, tibbiy diagnostikani yaxshilash va axborot almashinuvini tezlashtirishga xizmat qilmoqda. Bulutli texnologiyalar va blokcheyn esa ma’lumotlarni xavfsiz saqlash va boshqarishda muhim rol o‘ynamoqda. Ushbu maqolada raqamli texnologiyalarning rivojlanish tendensiyalari, ularning zamonaviy jamiyatga ta’siri va kelajakdagi istiqbollari tahlil qilinadi.
Forensic Analysis of GroupMe on Android and iOS Smartphones
Creators: name: Gandhi, Tanvi Milind
Publisher: name: Purdue University Graduate School
Year: 2021

description: The growing popularity of instant messaging has led to the conception of several new applications over the span of the past decade. This has opened up an attack surface for cybercriminals to target susceptible app users. GroupMe is a free IM app widely used by students and so far, no comprehensive forensic analysis has been performed to aid forensic practitioners in recovering evidence from GroupMe on smartphones. This research performs a detailed analysis of the digital artifacts left by the app on Android and iOS devices. This was achieved by installing the app on two mobile phones (Samsung Galaxy S7 Edge and iPhone 6), and identifying each artifact created by performing a series of actions in the app ranging from sending texts, to sharing images and documents, along with their location. Using Cellebrite UFED and Magnet AXIOM, a significant number of artifacts were accurately recovered mainly from the “GroupMe.sqlite” and “GroupMe.sqlite-wal” databases. Out of the 335 artifacts populated on the iPhone, 317 were correctly recovered by both UFED and AXIOM, resulting in an accuracy of 94.62%. No GroupMe related artifacts could be recovered from the Android device. This was due to several physical imaging and rooting limitations imposed by the Samsung SM-935A model, which was used during the study.
sj-docx-2-dhj-10.1177_20552076211038165 - Supplemental material for Immunisation provider experiences with an automated short message service-based active surveillance system for monitoring adverse events following immunisation: A qualitative descriptive study
Creators: name: Singh, Gurkamal
name: Nesaraj, Rachel
name: Bchara, Nicolas
name: Kop, Benjamin
name: Leeb, Alan
name: Nissen, Lisa
name: Peters, Ian
name: Perry, Danae
name: Salter, Sandra
name: Lee, Kenneth
Publisher: name: SAGE Journals
Year: 2021
Subjects: subject: 111708 Health and Community Services
subject: FOS: Health sciences
subject: Cardiology
subject: 110306 Endocrinology
subject: FOS: Clinical medicine
subject: 110308 Geriatrics and Gerontology
subject: 111099 Nursing not elsewhere classified
subject: 111299 Oncology and Carcinogenesis not elsewhere classified
subject: 111702 Aged Health Care
subject: 111799 Public Health and Health Services not elsewhere classified
subject: 99999 Engineering not elsewhere classified
subject: FOS: Other engineering and technologies
subject: Anthropology
subject: FOS: Sociology
subject: 200299 Cultural Studies not elsewhere classified
subject: FOS: Other humanities
subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences
subject: 150310 Organisation and Management Theory
subject: FOS: Economics and business
subject: Science Policy
subject: 160512 Social Policy
subject: FOS: Political science
subject: Sociology

description: Supplemental material, sj-docx-2-dhj-10.1177_20552076211038165 for Immunisation provider experiences with an automated short message service-based active surveillance system for monitoring adverse events following immunisation: A qualitative descriptive study by Gurkamal Singh, Rachel Nesaraj, Nicolas Bchara, Benjamin Kop, Alan Leeb, Lisa Nissen, Ian Peters, Danae Perry, Sandra Salter and Kenneth Lee in Digital Health
Evaluation of anti-proliferative and antioxidant potential of tomato extract against melanoma
Creators: name: D'ANGELO, COSTANTINO
Publisher: name: Universit� degli Studi di Siena
Year: 2021

description: Abstract
Melanoma is a form of skin cancer occurring prevalently, in fair-skinned and lighthaired person; its incidence is constantly increasing and in Italy is the second most
frequent cancer males under 50 and third most frequent in female under 50 years.
Increasing evidences are demonstrating that antioxidants from vegetables have both
antriproliferative activity and ratio-sensiting property on cancer cell. Here, we will
investigate the anti-proliferative and ratio-sensitizing potential of polyphenolic fraction
from different tomato cultivars in melanoma cells lines. Aim of this work is to expand
the existing knowledge on the effects of anti-oxidants and antiproliferative on
melanoma cancer cells. The melanoma cancer cell line we used for this study is M14
with mutation in the BRAF gene which is involved in cancer drug resistance.
Polyphenolic fraction obtained from our tomatoes extracts has been examined for
identification of polyphenols by High Performance Liquid Chromatography technology,
and we will study the effects of these compounds on the main pathways to be
deregulated in cancer (Rb2, p21/Cip1 and p27/Kip1), according with our published results.
Cytotoxicity assay, western blot, qRT-PCR, cell cycle analysis and will be performed to
study the impact of these compouds on melanoma cells biology. In the second part of
this work we evaluated also the capacity to inhibition of UV-A induced ROS generation
in fibroblast cell by tomato extract and the ability to screen UV light and to reduce the
harm to DNA caused by free oxygen radicals.