Global ETD Search

1	Mathematical Theories of Interaction with Oracles Yang, Liu 01 October 2013 (has links) No description available. Property Testing Active Learning Computational Learning Theory Learning DNF Statistical Learning Theory Transfer Learning
2	Automatické ověřování softwarových balíků za pomocí DNS / Automatic verification of software packages with help of DNS Sehnoutka, Martin January 2018 (has links) Tato diplomová práce se zabývá problémem bezpečné distribuce software. Je navrženo zlepšení s pomocí doménového systému, který je použit pro uložení verifikačních klíčů, potřebných pro ověření integrity balíků stáhnutých pomocí správce balíků. Navíc je navržena rozšířená verze, které se zabývá zabezpečením metadat repositářů. Obě verze jsou implementovány v jazyce Python a integrovány do správce balíků dnf. Tato implementace je otestována ve virtuálním prostředí, diskutována a zhodnocena z hlediska způsobené zátěže.
3	Unified Software Database for RPM Based Systems / Unified Software Database for RPM Based Systems Šilhan, Jan January 2014 (has links) V GNU/Linuxovém prostředí je nepřeberné množství možností, jak instalovat aplikace. V dnešní době existuje spousty nástrojů, které mají na starost různé části systému. Linuxové distribuce mají hlavního správce balíčků a populární programovací jazyky mají také vlastního správce balíčků. Všechny tyto nástroje si udržují informace o nainstalovaném softwaru, a proto si každý z nich spravuje vlastní databázi s redundantními metadaty o balíčcích. Záměrem této práce je analyzovat úložné prostory, identifikovat případy užití správců balíčků v distribuci Fedora a následně navrhnout a implementovat jednotnou cen- trální softwarovou databázi na systému.
4	PRIVACY-PRESERVING ATTRIBUTE-BASED ACCESS CONTROL IN A GRID Park, Sang Mork 27 October 2010 (has links) No description available. Computer Science Grid Security Attribute-Based Access Control Privacy DNF conversion CNF conversion Globus Shibboleth
5	Application of Hazard and Operability (HAZOP) Methodology to Safety-Related Scientific Software Gupta, Jatin 02 October 2014 (has links) No description available. Engineering Mechanical Engineering Mathematics
6	Representation and Reconstruction of Linear, Time-Invariant Networks Woodbury, Nathan Scott 01 April 2019 (has links) Network reconstruction is the process of recovering a unique structured representation of some dynamic system using input-output data and some additional knowledge about the structure of the system. Many network reconstruction algorithms have been proposed in recent years, most dealing with the reconstruction of strictly proper networks (i.e., networks that require delays in all dynamics between measured variables). However, no reconstruction technique presently exists capable of recovering both the structure and dynamics of networks where links are proper (delays in dynamics are not required) and not necessarily strictly proper.The ultimate objective of this dissertation is to develop algorithms capable of reconstructing proper networks, and this objective will be addressed in three parts. The first part lays the foundation for the theory of mathematical representations of proper networks, including an exposition on when such networks are well-posed (i.e., physically realizable). The second part studies the notions of abstractions of a network, which are other networks that preserve certain properties of the original network but contain less structural information. As such, abstractions require less a priori information to reconstruct from data than the original network, which allows previously-unsolvable problems to become solvable. The third part addresses our original objective and presents reconstruction algorithms to recover proper networks in both the time domain and in the frequency domain. Dynamic systems networks network reconstruction target specificity system identification learning linear systems system representations state space models generalized state space models dynamical structure functions dynamical network functions DSF DNF multi-DSF feedback well-posedness algebraic loops representability abstraction immersion identifiability informativity data proper systems strictly proper systems causality strict causality frequency domain time domain Computer Sciences Physical Sciences and Mathematics

1

Page generated in 0.0178 seconds