Spelling suggestions: "subject:"update"" "subject:"apdated""
161 |
A Revised Framework for the Investigation of Expectation Update Versus Maintenance in the Context of Expectation Violations: The ViolEx 2.0 ModelPanitz, 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.
|
162 |
Funktionelle Analyse von Systemsoftware-UpdatesystemenKnauf, 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.
|
163 |
Mises à jour de réseaux d'automates / Updating Automata NetworksNoual, 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.
|
164 |
Mitteilungen des URZ 2/2005Blumtritt,, 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
|
165 |
Mitteilungen des URZ 3/2003Richter, 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
|
166 |
Funktionelle Analyse von Systemsoftware-UpdatesystemenKnauf, 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.
|
167 |
Jämförelse av cache-tjänster: WSUS Och LanCache / Comparison of cache services: WSUS and LanCacheShammaa, 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.
|
168 |
Les comportements orientés vers un but : implication de l'hippocampe et du cortex préfrontal chez le ratSaint 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.
|
169 |
Changement de croyances dans des fragments de la logique propositionnelle / Belief change within fragments of propositional logicKtari, Raï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.
|
170 |
Etude des codes en graphes pour le stockage de données / Study of Sparse-Graph for Distributed Storage SystemsJule, 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.
|
Page generated in 0.0607 seconds