Global ETD Search

161	A Revised Framework for the Investigation of Expectation Update Versus Maintenance in the Context of Expectation Violations: The ViolEx 2.0 Model Panitz, Christian, Endres, Dominik, Buchholz, Merle, Khosrowtaj, Zahra, Sperl, Matthias F. J., Mueller, Erik M., Schubö, Anna, Schütz, Alexander C., Teige-Mocigemba, Sarah, Pinquart, Martin 31 March 2023 (has links) Expectations are probabilistic beliefs about the future that shape and influence our perception, affect, cognition, and behavior in many contexts. This makes expectations a highly relevant concept across basic and applied psychological disciplines. When expectations are confirmed or violated, individuals can respond by either updating or maintaining their prior expectations in light of the new evidence. Moreover, proactive and reactive behavior can change the probability with which individuals encounter expectation confirmations or violations. The investigation of predictors and mechanisms underlying expectation update and maintenance has been approached from many research perspectives. However, in many instances there has been little exchange between different research fields. To further advance research on expectations and expectation violations, collaborative efforts across different disciplines in psychology, cognitive (neuro)science, and other life sciences are warranted. For fostering and facilitating such efforts, we introduce the ViolEx 2.0 model, a revised framework for interdisciplinary research on cognitive and behavioral mechanisms of expectation update and maintenance in the context of expectation violations. To support different goals and stages in interdisciplinary exchange, the ViolEx 2.0 model features three model levels with varying degrees of specificity in order to address questions about the research synopsis, central concepts, or functional processes and relationships, respectively. The framework can be applied to different research fields and has high potential for guiding collaborative research efforts in expectation research. info:eu-repo/classification/ddc/150 ddc:150
162	Funktionelle Analyse von Systemsoftware-Updatesystemen Knauf, Robert 27 March 2007 (has links) (PDF) Im Rahmen der vorliegenden Diplomarbeit wurden etablierte Systemsoftware-Updatefunktionen von DVB-Empfangsgeräten untersucht. Auf der Grundlage einer gezielten Analyse der Nutzersicht auf diese Systeme wurden dabei wiederkehrende Problematiken in der Durchführung aufgedeckt und mangelhafte Benutzer-Transparenz sowie deren Konsequenzen beleuchtet. Die Studie erfolgt in Form einer Online-Umfrage unter Nutzern themenbezogener Fach- bzw. Diskussionsforen. Mittels einer kritischen Bewertung der existierenden Systemsoftware-Updatemodelle unter gleichzeitiger Berücksichtigung der Hersteller- und Nutzerinteressen erfolgte eine Favorisierung, bei welcher die Updatemethoden „Over the Air“ und „Internet“ die günstigsten Voraussetzungen zeigten. An diesen wurden Ideenansätze mit dem Ziel einer weitergehenden Modelloptimierung diskutiert und konkretisiert. Im Ergebnis erwies sich die optimierte Variante der Updatemethode „Internet“ im Sinne der untersuchten Aspekte als besonders zweckmäßig. Als Praxisversuch wurde eine Systemsoftware-Updatefunktion unter Einbeziehung der Verbesserungen in einer VDR-Umgebung erfolgreich implementiert und getestet. Der großen Funktionsvielfalt dieses Multimedia-Entertainment-Systems und der Überschaubarmachung dieser für den Nutzer wurde dabei Rechnung getragen. DVB-C Standard Update Carousel Video Disc Recorder ddc:000 ddc:004 Bildschirmdialog DVB <Rundfunktechnik> DVB-S DVB-T Digitales Fernsehen Downloading Fernsehempfang Festplattenrekorder Firmware LINUX Medieninformatik Menütechnik Plug in Serielle Schnittstelle Settop - Box Softwarewartung Streaming <Kommunikationstechnik> Systemsoftware TV-Karte Update
163	Mises à jour de réseaux d'automates / Updating Automata Networks Noual, Mathilde 22 June 2012 (has links) Cette thèse s'intéresse aux évènements et aux ordonnancements d'évènements se produisant au sein de réseaux d'éléments conceptuels prédéterminés. Dans ces réseaux, les éléments, appelés plutôt "automates", s'incitent les uns les autres à changer d'état en accord avec des règles prédéfinies qui, précisément, définissent le (fonctionnement du) réseau. Lorsqu'un automate se conforme effectivement aux influences qu'il reçoit de la part des autres, on dit que son état est mis à jour. Les évènements élémentaires considérés sont les changements d'états des automates. Définir un mode de mise à jour pour l'ensemble des automates d'un réseau permet de sélectionner certains évènements parmi l'ensemble de ceux qui sont a priori possibles. Cela permet aussi d'organiser et d'ordonner les évènements les uns par rapport aux autres de façon, par exemple, à imposer que des évènements indépendants se produisent simultanément ou simplement, de manière assez rapprochée pour qu'aucun autre événement ne puisse se produire pendant leur occurrence. Informellement, les modes de mise à jour peuvent donc être interprétés comme l'expression d'influences extérieures au réseau interdisant certains changements, ou alors comme la formalisation d'une version relâchée et relative de l'écoulement de temps. Cette thèse propose d'étudier leur influence sur le comportement des réseaux. Et afin de distinguer cette influence de celle de la structure des réseaux, elle commence par mettre en évidence le rôle de certains motifs structurels. Après ça, elle s'intéresse en particulier à l'information "encodée" dans une séquence de mises à jour et à l'impact du synchronisme dans celles-ci. / This thesis is concerned with the events and the organisation of events that take place within networks of abstract predetermined elements called "automata". In these networks, automata incite one another to switch states in agreement with predefined rules which, precisely, define the net-work. When an automaton effectively conforms to the influences it receives from others, its state is said to be updated. The elementary events that are considered here are thus automata state changes. To define an update mode for all the automata of a network allows to select some events among all those that are a priori possible. It also allows to organise and order the events relatively so as to impose, for example, that independent events occur simultaneously or so that simply, they happen close enough to disallow the occurrence of any other events in between. Informally, update modes can be interpreted as the expressions of influences incoming from outside the network, forbidding certain changes, or else, as the formalisation of a relaxed and relative version of time flow. This thesis proposes to study their influences on network behaviours. And to distinguish their influences from that of network structures, it starts by highlighting the role of certain structural motives. After that, it explores in particular the information that is "encoded" in a sequence of updates as well as the general impact of synchronism in updates. Réseau d'automate Mode de mise à jour Synchronisme et asynchronisme Attracteur Mode parallèle Graphe de transitions général Circuit structurel Automata network Update modes and schedules Synchronism and asynchronism Attractor Parallel update schedule General transition graph Structural cycle Relative time flow in automata networks
164	Mitteilungen des URZ 2/2005 Blumtritt,, Clauß,, Fischer,, Kempe,, Trapp,, Richter,, Wolf,, Ziegler, 03 May 2005 (has links) (PDF) Informationen des Universitätsrechenzentrums: - Die Projekte Campusnetz II und IP-Telefonie (VoIP) - PROWeb - Ein neuer Dienst für Projekt-WWW-Server - Unterstützte Linux-Distributionen - WUSCH - Windows-Update-Service an der TU Chemnitz - Informationen des URZ zur "Rahmenvereinbarung zum Einkauf von Standard-PC-Technik" -Umstellung des Lokalsystems der UB auf LIBERO 5 - Elektronisches Publizieren an der TU Chemnitz - 10 Jahre MONARCH - Kurzinformationen - Software-News Acrobat Reader 7 PROWeb Projekt-WWW-Server Software-News TUC/URZ-CA Voice over IP (VoIP) Windows Update Backupdienst PC-Standardtechnik Printservice Sophos-Antivirenprogramm WUSCH Campusnetz II lokaler Windows-Update-Server neues Zertifikat IP-Telefonie LIBERO 5 Linux Linux-Distributionen MONARCH NT-Domänen-Controller ddc:050 ddc:004 Elektronisches Publizieren
165	Mitteilungen des URZ 3/2003 Richter, Frank 22 August 2003 (has links) Die 'Mitteilungen des URZ' enthalten Informationen für die Nutzer des Universitätsrechenzentrums der TU Chemnitz und erscheinen vierteljährlich.:Inhalt Nr. 3/2003: Mitteilungen des URZ - online Windows XP in den URZ-Pools Software unter Windows XP Automatisches Software-Update TUCWiki - TWiki-Einsatz an der TU Chemnitz Hochverfügbare Services mit kimberlite Formularmanagement Ein Windows-Programm auf dem CLiC Kurzinformationen YARU CLiC info:eu-repo/classification/ddc/050 ddc:050 info:eu-repo/classification/ddc/004 ddc:004 Windows XP; Software; Update
166	Funktionelle Analyse von Systemsoftware-Updatesystemen Knauf, Robert 12 May 2006 (has links) Im Rahmen der vorliegenden Diplomarbeit wurden etablierte Systemsoftware-Updatefunktionen von DVB-Empfangsgeräten untersucht. Auf der Grundlage einer gezielten Analyse der Nutzersicht auf diese Systeme wurden dabei wiederkehrende Problematiken in der Durchführung aufgedeckt und mangelhafte Benutzer-Transparenz sowie deren Konsequenzen beleuchtet. Die Studie erfolgt in Form einer Online-Umfrage unter Nutzern themenbezogener Fach- bzw. Diskussionsforen. Mittels einer kritischen Bewertung der existierenden Systemsoftware-Updatemodelle unter gleichzeitiger Berücksichtigung der Hersteller- und Nutzerinteressen erfolgte eine Favorisierung, bei welcher die Updatemethoden „Over the Air“ und „Internet“ die günstigsten Voraussetzungen zeigten. An diesen wurden Ideenansätze mit dem Ziel einer weitergehenden Modelloptimierung diskutiert und konkretisiert. Im Ergebnis erwies sich die optimierte Variante der Updatemethode „Internet“ im Sinne der untersuchten Aspekte als besonders zweckmäßig. Als Praxisversuch wurde eine Systemsoftware-Updatefunktion unter Einbeziehung der Verbesserungen in einer VDR-Umgebung erfolgreich implementiert und getestet. Der großen Funktionsvielfalt dieses Multimedia-Entertainment-Systems und der Überschaubarmachung dieser für den Nutzer wurde dabei Rechnung getragen. info:eu-repo/classification/ddc/000 ddc:000 info:eu-repo/classification/ddc/004 ddc:004 Bildschirmdialog DVB <Rundfunktechnik> DVB-S DVB-T Digitales Fernsehen Downloading Fernsehempfang Festplattenrekorder Firmware LINUX Medieninformatik Menütechnik Plug in Serielle Schnittstelle Settop - Box Softwarewartung Streaming <Kommunikationstechnik> Systemsoftware TV-Karte Update DVB-C Standard Update Carousel Video Disc Recorder
167	Jämförelse av cache-tjänster: WSUS Och LanCache / Comparison of cache services: WSUS and LanCache Shammaa, Mohammad Hamdi, Aldrea, Sumaia January 2023 (has links) Inom nätverkstekniken och datakommunikationen råder idag en tro på tekniken nätverkscache som kan spara data för att senare kunna hämta hem det snabbare. Tekniken har genom åren visat att den effektivt kan skicka den önskade data till sina klienter. Det finns flera cache-tjänster som använder tekniken för Windows-uppdateringar. Bland dessa finns Windows Server Update Services (WSUS) och LanCache. På uppdrag från företaget TNS Gaming AB jämförs dessa tjänster med varandra under examensarbetet. Nätverkscache är ett intressant forskningsområde för framtida kommunikationssystem och nätverk tack vare sina fördelar. Likaså är uppgiften om att jämföra cache-tjänsterna WSUS och LanCache intressant i och med det öppnar upp insikt om vilken tjänst är bättre för företaget eller andra intressenter. Både forskningsområdet och uppgiften är viktiga och intressanta när användare vill effektivisera användningen av internetanslutningen och bespara nätverksresurser. Därmed kan tekniken minska nedladdningstiden. Till det här arbetet besvaras frågor om vilken nätverksprestanda, resursanvändning och administrationstid respektive cache-tjänst har, och vilken cache-tjänst som lämpar sig bättre för företagets behov. I arbetet genomförs experiment, som omfattar tre huvudmättningar, och följs av en enfallstudie. Syftet med arbetet är att med hjälp av experimentets mätningar få en jämförelse mellan WSUS och LanCache. Resultatet av arbetet utgör sedan ett underlag för det framtida lösningsvalet. Resultaten består av två delar. Den första visar att båda cache-tjänsterna bidrar till kortare nedladdningstider. Den andra är att LanCache är bättre än WSUS när det gäller nätverksprestanda och resursanvändning, samt mindre administrationstid jämfört med WSUS. Givet resultat dras slutsatsen att LanCache är cache-tjänsten som är mest lämpad i det här fallet. / In the field of network technology and data communication, there is a current belief in the technology of network caching, which can store data to later retrieve it more quickly. Over the years, this technology has proven its ability to efficiently deliver the desired data to its clients. There are several caching services that utilize this technology for Windows updates, among them are Windows Server Update Services (WSUS) and LanCache. On behalf of the company TNS Gaming AB, these services are compared to each other in this thesis. Network caching is an interesting area of research for future communication systems and networks due to its benefits. Likewise, the task of comparing the cache services WSUS and LanCache is interesting as it provides insights into which service is better suited for the company or other stakeholders. Both the research area and the task are important and intriguing when users seek to streamline the use of their internet connection and conserve network resources. Thus, the technology can reduce download times. For this work, questions about the network performance, resource usage, and administration time of each cache service are answered, as well as which cache service that is better suited to the company's needs. The work involves conducting experiments, including three main measurements, followed by a single case study. The purpose of the work is to compare WSUS and LanCache using the measurements from the experiment. The outcome of the work then forms a basis for future solution choice. The results consist of two parts. The first shows that both cache services contribute to shorter download times. The second is that LanCache outperforms WSUS in terms of network performance and resource usage, and also requires less administration time than WSUS. Given the results, the conclusion is drawn that LanCache is the most suitable caching service in this case. Network Cache Cache LanCache Windows Server Update Services WSUS Event Viewer Linux Ubuntu Zabbix Grafana Microsoft Windows Windows 11 Windows Update Temporary Storage Comparison Network Performance Resource Usage Administration Time Download Time Network Network technology IT caching Active Directory (AD) Docker Cloud services Containers Virtualization Network monitoring data communication cache technology cache service Nätverkscache cache LanCache Windows Server Update Services WSUS Event Viewer Linux Ubuntu Zabbix Grafana Microsoft Windows Windows 11 Windows-uppdatering tillfällig lagring jämförelse Loggboken nätverksprestanda resursanvändning administrationstid nedladdningstid Nätverk Nätverksteknik IT caching Active Directory (AD) Docker Molntjänster Containers Virtualisering Nätverksövervakning Datakommunikation cache-teknik cache-tjänst Communication Systems Kommunikationssystem Computer Engineering Datorteknik
168	Les comportements orientés vers un but : implication de l'hippocampe et du cortex préfrontal chez le rat Saint Blanquat, Paul de 20 December 2011 (has links) Les comportements orientés vers un but sont complexes et font appel à un grand nombre de processus cérébraux. Le cortex préfrontal médian (mPFC) apparaît comme une structure clef dans la réalisation de ces comportements de par son rôle dans la planification. De plus, il existe au sein du mPFC des cellules signalant les lieux à forte valeur motivationnelle. L’activité de ces neurones pourrait être essentielle à la mise en place d’un comportement spatial dirigé vers un but. S’orienter vers un but nécessite aussi la construction d’une représentation stable de l’environnement, qui repose sur l’activité de l’hippocampe (HPC). Néanmoins, peu de travaux ont analysé le rôle respectif de ces deux structures, et leurs interactions, lors de l’acquisition et de la consolidation d’une stratégie comportementale orientée vers un but. L’objectif des recherches réalisées au cours de ma thèse est donc d’étudier l’implication de l’hippocampe et du cortex préfrontal médian du rat dans ce processus. Notre première étude a montré l’existence d’un codage prospectif au sein des neurones du mPFC durant la réalisation d’une tâche de mémoire de travail.L’activité des neurones signale à la fois, la séquence temporelle comportementale, et l’anticipation de la récompense, et jouerait ainsi un rôle dans les fonctions exécutives. Dans la deuxième étude, nous nous sommes intéressés aux structures cérébrales impliquées dans la mise à jour de la valence du but ainsi que dans sa rétention à long terme. Nos résultats ont montré que l’inactivation de l’hippocampe intermédiaire provoque des déficits dans le traitement à court terme d’un changement de valence. En revanche, l’inactivation du mPFC empêche le stockage à long terme de ce changement. L’activité de ces deux structures serait donc essentielle pour effectuer une mise à jour en temps réel de la valence d’un but et pour sa consolidation en mémoire à long terme. Leur interaction permettrait d’adapter rapidement et de façon durable la stratégie comportementale de l’animal face aux changements de l’environnement. / Goal-directed behaviors are complex and involve a variety of cognitive processes. Medial prefrontal cortex (mPFC) plays a key role in behavioral planning. More over, cells in the rat mPFC show specific firing modulations at location with a high motivational value. Such neuronal activity could be essential for the setting up installation of a goal-directed behavior. Further more, navigating to a spatial goal requires the building of a stable presentation of the environment which is hippocampus-dependent. So far however, only few studies have addressed the respective role of these two structures, and their interaction, during the acquisition and the consolidation of a goal directed-behavior. The work conducted during my PhD thesis aimed at studying the role of hippocampus and prefrontal cortex in this process. In a first study,we showed the existence of a prospective coding by mPFC neurons when the rat performs a working memory task. Neuronal activity signals both, the temporal sequence of the behavior, and the prediction of reward. These neurons would play a role inexecutive functions. In a second study, we focused on cerebral structures involved in the updating of the value of a goal as well as in its long-term retention. Our results showed that the inactivation of the intermediate hippocampus causes deficit in the short-term processing of a change in the goal value. On the other hand, the inactivation of the mPFC prevents long-term consolidation of this change. Integrity of this two structures would therefore be essential to perform an on-line updating of the goal value and for its long-term consolidation. Their interaction would be necessary to rapidly adapt, and in a lasting manner, the behavioral strategy of the animal when it faces an environmental change. Cortex préfrontal Hippocampe dorsal Hippocampe intermédiaire Mémoire de travail Valence du but Comportements orientés vers un but Enregistrement unitaire Inactivation cérébrale Rat Prefrontal cortex Dorsal hippocampus Intermediate hippocampus Working memory Goal value update Goal-directed behavior Single unit recording Brain inactivation Rat
169	Changement de croyances dans des fragments de la logique propositionnelle / Belief change within fragments of propositional logic Ktari, Raïda 27 May 2016 (has links) Cette thèse s'inscrit dans le domaine de la représentation des connaissances et du raisonnement en Intelligence Artificielle. Elle traite divers aspects du changement de croyances dans le cadre de fragments de la logique propositionnelle.Dans un premier temps, nous nous intéressons à la complexité du problème de vérification de modèle pour des opérateurs de révision de bases de croyances dans le cadre général de la logique propositionnelle et dans le cadre restreint des formules de Horn et des formules de Krom.Notre contribution principale porte ensuite sur le raffinement des opérateurs de changement de croyances afin que ceux-ci opèrent dans des fragments de la logique propositionnelle. Nous examinons en particulier les opérations de révision, de mise-à-jour et de contraction. Cette approche permet, dans chacun des cas, d'obtenir des opérateurs concrets, dont nous étudions les propriétés logiques en terme de de satisfaction de postulats que doivent satisfaire les opérateurs de changement de croyances rationnels. Divers fragments de la logique propositionnelle sont considérés, notamment les fragment de Horn et de Krom. / This thesis takes place in the field of knowledge representation and reasoning in Artificial Intelligence.It deals with various issues of belief change within fragments of propositional logic.First we focus on the complexity of model-checking for different revision operators within the general framework of propositional logic and within the framework of Horn and Krom fragments.Second, our main contribution is the study of the refinement of belief change operators in such a way that they act within fragments of propositional logic. In particular, we address refinement of revision, update and contraction operators. In each case this approach allows us to define concrete operators, for which we study logical properties in terms of satisfaction of postulates that should hold for any rational belief change operator. Various propositional fragments of propositional logic are considered, such as Horn and Krom fragments. Révision des croyances Mise-À-Jour Contraction Fragments propositionnels Horn Krom Complexité algorithmique Belief revision Update Contraction Propositional fragments Horn Krom Computational complexity 004
170	Etude des codes en graphes pour le stockage de données / Study of Sparse-Graph for Distributed Storage Systems Jule, Alan 07 March 2014 (has links) Depuis deux décennies, la révolution technologique est avant tout numérique entrainant une forte croissance de la quantité de données à stocker. Le rythme de cette croissance est trop importante pour les solutions de stockage matérielles, provoquant une augmentation du coût de l'octet. Il est donc nécessaire d'apporter une amélioration des solutions de stockage ce qui passera par une augmentation de la taille des réseaux et par la diminution des copies de sauvegarde dans les centres de stockage de données. L'objet de cette thèse est d'étudier l'utilisation des codes en graphe dans les réseaux de stockage de donnée. Nous proposons un nouvel algorithme combinant construction de codes en graphe et allocation des noeuds de ce code sur le réseau. Cet algorithme permet d'atteindre les hautes performances des codes MDS en termes de rapport entre le nombre de disques de parité et le nombre de défaillances simultanées pouvant être corrigées sans pertes (noté R). Il bénéficie également des propriétés de faible complexité des codes en graphe pour l'encodage et la reconstruction des données. De plus, nous présentons une étude des codes LDPC Spatiallement-Couplés permettant d'anticiper le comportement de leur décodage pour les applications de stockage de données.Il est généralement nécessaire de faire des compromis entre différents paramètres lors du choix du code correcteur d'effacement. Afin que ce choix se fasse avec un maximum de connaissances, nous avons réalisé deux études théoriques comparatives pour compléter l'état de l'art. La première étude s'intéresse à la complexité de la mise à jour des données dans un réseau dynamique établi et déterminons si les codes linéaires utilisés ont une complexité de mise à jour optimale. Dans notre seconde étude, nous nous sommes intéressés à l'impact sur la charge du réseau de la modification des paramètres du code correcteur utilisé. Cette opération peut être réalisée lors d'un changement du statut du fichier (passage d'un caractère hot à cold par exemple) ou lors de la modification de la taille du réseau. L'ensemble de ces études, associé au nouvel algorithme de construction et d'allocation des codes en graphe, pourrait mener à la construction de réseaux de stockage dynamiques, flexibles avec des algorithmes d'encodage et de décodage peu complexes. / For two decades, the numerical revolution has been amplified. The spread of digital solutions associated with the improvement of the quality of these products tends to create a growth of the amount of data stored. The cost per Byte reveals that the evolution of hardware storage solutions cannot follow this expansion. Therefore, data storage solutions need deep improvement. This is feasible by increasing the storage network size and by reducing data duplication in the data center. In this thesis, we introduce a new algorithm that combines sparse graph code construction and node allocation. This algorithm may achieve the highest performance of MDS codes in terms of the ratio R between the number of parity disks and the number of failures that can be simultaneously reconstructed. In addition, encoding and decoding with sparse graph codes helps lower the complexity. By this algorithm, we allow to generalize coding in the data center, in order to reduce the amount of copies of original data. We also study Spatially-Coupled LDPC (SC-LDPC) codes which are known to have optimal asymptotic performance over the binary erasure channel, to anticipate the behavior of these codes decoding for distributed storage applications. It is usually necessary to compromise between different parameters for a distributed storage system. To complete the state of the art, we include two theoretical studies. The first study deals with the computation complexity of data update and we determine whether linear code used for data storage are update efficient or not. In the second study, we examine the impact on the network load when the code parameters are changed. This can be done when the file status changes (from a hot status to a cold status for example) or when the size of the network is modified by adding disks. All these studies, combined with the new algorithm for sparse graph codes, could lead to the construction of new flexible and dynamical networks with low encoding and decoding complexities. Réseau de Stockage de données Codes LDPC Codes en graphe Codes Sptiallement couplés Complexité Mise à Jour Extension du réseau Sparse Graph Codes Distributed Storage systems LDPC codes Spatially Coupled codes Update Complexity Load Rebalancing

Search results