Bibliographies thématiques / TIMED BEHAVIOR

Littérature scientifique sur le sujet « TIMED BEHAVIOR »

Auteur : Grafiati
Publié le 10 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Sommaire

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « TIMED BEHAVIOR ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "TIMED BEHAVIOR"

1

PETERS, J. F., et S. RAMANNA. « MODELING TIMED BEHAVIOR IN REAL-TIME SYSTEMS WITH TEMPORAL LOGIC ». Cybernetics and Systems 22, no 5 (septembre 1991) : 583–608. http://dx.doi.org/10.1080/01969729108902301.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

NAKATA, AKIO, TADAAKI TANIMOTO, SUGURU SASAKI et TERUO HIGASHINO. « A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA ». International Journal of Foundations of Computer Science 17, no 04 (août 2006) : 833–49. http://dx.doi.org/10.1142/s0129054106004133.

Texte intégral
Résumé :
In the development of real-time communicating hardware/embedded-software systems, it is frequently the case that we want to refine/optimize the system's internal behavior while preserving the external timed I/O behavior. In such a design refinement, modification of the systems' internal branching structures, as well as re-scheduling of internal actions, may frequently occur. Our goal is, then, to ensure that such modification of internal branching structures and re-scheduling of internal actions preserve the systems' external timed behavior, which is typically formalized by the notion of (timed) failure equivalence since it is less sensitive to the difference of internal branching structures than (timed) weak bisimulation. In order to know the degree of freedom of such re-scheduling, parametric analysis is useful. One of the models suitable for such an analysis is a parametric time-interval automaton(PTIA), which is a subclass of the existing model, a parametric timed automaton. It has only a time interval with upper- and lower-bound parameters as a relative timing constraint between consecutive actions. In this paper, at first, we propose an abstraction algorithm of PTIA which preserves timed failure equivalence. Timed failure equivalence is strictly weaker than timed weak bisimulation in the sense that it does not distinguish the difference of the timing when the internal resolution of nondeterminism has occurred, but it does distinguish the difference of the refusals of communicating actions observed by an external environment. Then, we also show that after applying our algorithm, the reduced PTIA has no internal actions, and thus the problem deriving a parameter condition in order that given two models are timed failure equivalent can be reduced to the existing parametric strong bisimulation equivalence checking.
Styles APA, Harvard, Vancouver, ISO, etc.
3

Tosun, Tuğçe, Ezgi Gür et Fuat Balcı. « Mice plan decision strategies based on previously learned time intervals, locations, and probabilities ». Proceedings of the National Academy of Sciences 113, no 3 (5 janvier 2016) : 787–92. http://dx.doi.org/10.1073/pnas.1518316113.

Texte intégral
Résumé :
Animals can shape their timed behaviors based on experienced probabilistic relations in a nearly optimal fashion. On the other hand, it is not clear if they adopt these timed decisions by making computations based on previously learnt task parameters (time intervals, locations, and probabilities) or if they gradually develop their decisions based on trial and error. To address this question, we tested mice in the timed-switching task, which required them to anticipate when (after a short or long delay) and at which of the two delay locations a reward would be presented. The probability of short trials differed between test groups in two experiments. Critically, we first trained mice on relevant task parameters by signaling the active trial with a discriminative stimulus and delivered the corresponding reward after the associated delay without any response requirement (without inducing switching behavior). During the test phase, both options were presented simultaneously to characterize the emergence and temporal characteristics of the switching behavior. Mice exhibited timed-switching behavior starting from the first few test trials, and their performance remained stable throughout testing in the majority of the conditions. Furthermore, as the probability of the short trial increased, mice waited longer before switching from the short to long location (experiment 1). These behavioral adjustments were in directions predicted by reward maximization. These results suggest that rather than gradually adjusting their time-dependent choice behavior, mice abruptly adopted temporal decision strategies by directly integrating their previous knowledge of task parameters into their timed behavior, supporting the model-based representational account of temporal risk assessment.
Styles APA, Harvard, Vancouver, ISO, etc.
4

Niggemann, Oliver, Benno Stein, Asmir Vodencarevic, Alexander Maier et Hans Kleine Büning. « Learning Behavior Models for Hybrid Timed Systems ». Proceedings of the AAAI Conference on Artificial Intelligence 26, no 1 (20 septembre 2021) : 1083–90. http://dx.doi.org/10.1609/aaai.v26i1.8296.

Texte intégral
Résumé :
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algorithmic learning of a system’s behavior model given a sample of observations. In particular, we consider real-world production plants where the learned model must capture timing behavior, dependencies between system variables, as well as mode switches—in short: hybrid system’s characteristics. Usually, such model formation tasks are solved by human engineers, entailing the well-known bunch of problems including knowledge acquisition, development cost, or lack of experience. Our contributions to the outlined field are as follows. (1) We present a taxonomy of learning problems related to model formation tasks. As a result, an important open learning problem for the domain of production system is identified: The learning of hybrid timed automata. (2) For this class of models, the learning algorithm HyBUTLA is presented. This algorithm is the first of its kind to solve the underlying model formation problem at scalable precision. (3) We present two case studies that illustrate the usability of this approach in realistic settings. (4) We give a proof for the learning and runtime properties of HyBUTLA.
Styles APA, Harvard, Vancouver, ISO, etc.
5

Zhang, Yihuan, Qin Lin, Jun Wang et Sicco Verwer. « Car-following Behavior Model Learning Using Timed Automata ». IFAC-PapersOnLine 50, no 1 (juillet 2017) : 2353–58. http://dx.doi.org/10.1016/j.ifacol.2017.08.423.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Mathes, M. Todd, Scott G. Hinch, Steven J. Cooke, Glenn T. Crossin, David A. Patterson, Andrew G. Lotto et Anthony P. Farrell. « Effect of water temperature, timing, physiological condition, and lake thermal refugia on migrating adult Weaver Creek sockeye salmon (Oncorhynchus nerka) ». Canadian Journal of Fisheries and Aquatic Sciences 67, no 1 (janvier 2010) : 70–84. http://dx.doi.org/10.1139/f09-158.

Texte intégral
Résumé :
We coupled physiological biopsy and positional telemetry to examine survival to reach spawning grounds in relation to water temperature, timing, physiological condition, and holding location (river or lake) in adult migrating sockeye salmon ( Oncorhynchus nerka ). We tracked 83 fish across a large temperature range (13.5–21.5 °C), which included record highs. Only early-timed migrants that held in Harrison Lake survived to reach spawning grounds (16%, or n = 4). Normal-timed fish, those that migrated at historically observed times, survived at higher levels if they held in Harrison River (72%, or n = 18). Mortalities were identified on the bottoms of both the lake and river. Hypothetical degree-day (DD) accumulation revealed that early-timed river fish would have greatly surpassed (~800 °C DD) a critical disease threshold value (~500 °C DD). There was no difference in hypothetical DD accumulation between normal-timed river fish and early-timed lake fish. Early-timed sockeye had elevated physiological stress (e.g., plasma lactate, glucose, and hematocrit), which may have contributed to high levels of mortality. By using lakes as thermal refugia, early-timed fish likely reduce rates of disease development and may better recover from physiological stress associated with high encountered temperatures.
Styles APA, Harvard, Vancouver, ISO, etc.
7

Brasic, James Robert, Jacqueline Y. Barnett, Seok Cheol Ahn, Robert H. Nadrich, Michael V. Will et Andrea Clair. « Clinical Assessment of Self-Injurious Behavior ». Psychological Reports 80, no 1 (février 1997) : 155–60. http://dx.doi.org/10.2466/pr0.1997.80.1.155.

Texte intégral
Résumé :
The Timed Self-injurious Behavior Scale is an observational scale rating the frequency of 16 types of self-injurious behaviors during each 10-sec. interval of a 10-min. observation period. Advantages of the scale are utilization of direct observation and independence from the variable recollection of symptoms by subjects and care givers. 19 videotaped sessions of a subject who exhibited eight types of self-injurious behaviors were rated with the scale independently by three raters. Eighty percent and better agreement was found for the four specific forms of those behaviors exhibited by the subject sufficiently frequently, self biting, head punching, head slapping, and hair removal.
Styles APA, Harvard, Vancouver, ISO, etc.
8

Kim, Ja-Hee. « An Asymptotic Cyclicity Analysis of Live Autonomous Timed Event Graphs ». Applied Sciences 11, no 11 (22 mai 2021) : 4769. http://dx.doi.org/10.3390/app11114769.

Texte intégral
Résumé :
Designing a discrete event system converging to steady temporal patterns is an essential issue of a system with time window constraints. Until now, to analyze asymptotic stability, we have modeled a timed event graph’s dynamic behavior, transformed it into the matrix form of (max,+) algebra, and then constructed a precedence graph. This article’s aim is to provide a theoretical basis for analyzing the stability and cyclicity of timed event graphs without using (max,+) algebra. In this article, we propose converting one timed event graph to another with a dynamic behavior equivalent to that of the original without going through the conversion process. This paper also guarantees that the derived final timed event graph has the properties of a precedence graph. It then investigates the relationship between the properties of the derived precedence graph and that of the original timed event graph. Finally, we propose a method to analyze asymptotic cyclicity and stability for a given timed event graph by itself. The analysis this article provides makes it easy to analyze and improve asymptotic time patterns of tasks in a given discrete event system modeled with a live autonomous timed event graph such as repetitive production scheduling.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Colvin, Robert, Lars Grunske et Kirsten Winter. « Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems ». Journal of Systems and Software 81, no 12 (décembre 2008) : 2163–82. http://dx.doi.org/10.1016/j.jss.2008.04.035.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Ferringer, Markus. « On Self-Timed Circuits in Real-Time Systems ». International Journal of Reconfigurable Computing 2011 (2011) : 1–16. http://dx.doi.org/10.1155/2011/972375.

Texte intégral
Résumé :
While asynchronous logic has many potential advantages compared to traditional synchronous designs, one of the major drawbacks is its unpredictability with respect to temporal behavior. Having no high-precision oscillator, a self-timed circuit's execution speed is heavily dependent on temperature and supply voltage. Small fluctuations of these parameters already result in noticeable changes of the design's throughput and performance. Without further provisions this jitter makes the use of asynchronous logic hardly feasible for real-time applications. We investigate the temporal characteristics of self-timed circuits regarding their usage in real-time systems, especially the Time-Triggered Protocol. We propose a simple timing model and elaborate a self-adapting circuit which shall derive a suitable notion of time for both bit transmission and protocol execution. We further introduce and analyze our jitter compensation concept, which is a threefold mechanism to keep the asynchronous circuit's notion of time tightly synchronized to the remaining communication participants. To demonstrate the robustness of our solution, we perform different tests and investigate their impact on jitter and frequency stability.
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "TIMED BEHAVIOR"

1

Maier, Alexander [Verfasser]. « Identification of timed behavior models for diagnosis in production systems / Alexander Maier ». Paderborn : Universitätsbibliothek, 2015. http://d-nb.info/1068255609/34.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Amer, Ahmed. « Statistical and Behavioral Modeling of Driver Behavior on Signalized Intersection Approaches ». Diss., Virginia Tech, 2010. http://hdl.handle.net/10919/77995.

Texte intégral
Résumé :
The onset of a yellow indication is typically associated with the risk of vehicle crashes resulting from dilemma-zone and red-light-running problems. Such risk of vehicle crashes is greater for high-speed signalized intersection approaches. The research presented in this dissertation develops statistical as well as behavioral frameworks for modeling driver behavior while approaching high-speed signalized intersection approaches at the onset of a yellow indication. The analysis in this dissertation utilizes two sources of data. The main source is a new dataset that was collected as part of this research effort during the summer of 2008. This experiment includes two instructed speeds; 72.4 km/h (45 mph) with 1727 approaching trials (687 running and 1040 stopping), and 88.5 km/h (55 mph) with 1727 approaching trials (625 running and 1102 stopping). The complementary source is an existing dataset that was collected earlier in the spring of 2005 on the Virginia Smart Road facility. This dataset includes a total of 1186 yellow approaching trials (441 running and 745 stopping). The adopted analysis approach comprises four major parts that fulfill the objectives of this dissertation. The first part is concerned with the characterization of different driver behavioral attributes, including driver yellow/red light running behavior, driver stop-run decisions, driver perception-reaction times (PRT), and driver deceleration levels. The characterization of these attributes involves analysis of variance (ANOVA) and frequency distribution analyses, as well as the calibration of statistical models. The second part of the dissertation introduces a novel approach for computing the clearance interval duration that explicitly accounts for the reliability of the design (probability that drivers do not encounter a dilemma zone). Lookup tables are developed to assist practitioners in the design of yellow timings that reflects the stochastic nature of driver PRT and deceleration levels. An extension of the proposed approach is presented that can be integrated with the IntelliDriveSM initiative. Furthermore, the third part of the dissertation develops an agent-based Bayesian statistics approach to capture the stochastic nature of the driver stop-run decision. The Bayesian model parameters are calibrated using the Markov Chain Monte Carlo (MCMC) slice procedure implemented within the MATLAB® software. In addition, two procedures for the Bayesian model application are illustrated; namely Cascaded regression and Cholesky decomposition. Both procedures are demonstrated to produce replications that are consistent with the Bayesian model realizations, and capture the parameter correlations without the need to store the set of parameter realizations. The proposed Bayesian approach is ideal for modeling multi-agent systems in which each agent has its own unique set of parameters. Finally, the fourth part of the dissertation introduces and validates a state-of-the-art behavioral modeling framework that can be used as a tool to simulate driver behavior after the onset of a yellow indication until he/she reaches the intersection stop line. The behavioral model is able to track dilemma zone drivers and update the information available to them every time step until they reach a final decision. It is anticipated that this behavioral model will be implemented in microscopic traffic simulation software to enhance the modeling of driver behavior as they approach signalized intersections.
Ph. D.
Styles APA, Harvard, Vancouver, ISO, etc.
3

Edmiston, William Jr. « The Effects of Time-Compression on Recall Utilizing a Videotape Presentation ». TopSCHOLAR®, 1986. https://digitalcommons.wku.edu/theses/2289.

Texte intégral
Résumé :
Three population samples of college students were found to be similar on two stratifying variables, general intelligence and knowledge of conditioning principles, before viewing a time-compressed or non-compressed videotape presentation. The amount of unprompted information recalled did not differ significantly between the time-compressed and non-compressed treatment conditions. Additionally, neither treatment condition differed significantly on a multiple-choice posttest, although both groups did differ significantly from a control group that did not view the videotape. No significant difference was found between the time-compressed and non-compressed groups on their ratings of Quality of Narrator, Interest Level of Topic, and Overall Quality of Videotape Presentation. The time-compressed group rated their presentation as significantly faster than the non-compressed group.
Styles APA, Harvard, Vancouver, ISO, etc.
4

Daugherty, James R. « Time perception’s effect on individual differences and behavior : the mediating role of impulsivity on the relationship between time perception and intertemporal health behaviors ». Diss., Kansas State University, 2011. http://hdl.handle.net/2097/9164.

Texte intégral
Résumé :
Doctor of Philosophy
Department of Psychology
Gary L. Brase
This research tested a general mediation model which proposes that individual differences (e.g., impulsivity, delay discounting, and time orientation) mediate the relationship between time perception (one’s subjective experience of the passage of time relative to actual time) and intertemporal behavior (decision-making involving tradeoffs between costs and rewards in both the present and the future). Study I did not find evidence to support the general mediation model and found that time perception was only weakly correlated with individual differences and intertemporal behavior (average r = .06) . Study II found tentative support for the proposed mediation model: individual differences in impulsivity fully mediated the relationship between time perception and intertemporal behavior in 4 separate mediation models. Three additional mediation models met the assumptions of mediation, demonstrating indirect effects significantly different from zero, but did not fully mediate the relationship between time perception and intertemporal behavior. In general, the mediation models explored in Study II (both fully and partially mediated) suggest that self-report impulsivity mediates the relationship between time perception and intertemporal health behaviors, like hours of sleep slept per night, sociosexual orientation, and frequency of eating breakfast. The findings from Study II suggest that how time is perceived influences intertemporal behavior indirectly by influencing impulsivity. Guidelines to aid future research linking time perception to individual differences and intertemporal behavior are provided.
Styles APA, Harvard, Vancouver, ISO, etc.
5

Dascaliuc, Radu. « Backward time behavior of dissipative PDE ». Texas A&M University, 2005. http://hdl.handle.net/1969.1/4940.

Texte intégral
Résumé :
We study behavior for negative times t of the 2D periodic Navier-Stokes equations and Burgers' original model for turbulence. Both systems are proved to have rich sets of solutions that exist for all t - R and increase exponentially as t -> -(Infinity) However, our study shows that the behavior of these solutions as well as the geometrical structure of the sets of their initial data are very different. As a consequence, Burgers original model for turbulence becomes the first known dissipative system that despite possessing a rich set of backward-time exponentially growing solutions, does not display any similarities, as t -> -(Infinity), to the linear case.
Styles APA, Harvard, Vancouver, ISO, etc.
6

Ibrahim, Mohamed El Hady M. « An Examination of an Integrative Expectancy Model for Auditors' Performance Behaviors Under Time Budget Pressure ». Thesis, North Texas State University, 1985. https://digital.library.unt.edu/ark:/67531/metadc331382/.

Texte intégral
Résumé :
In recent years there has been a growing use of expectancy theory to study motivation and performance in accounting environments. Such research efforts have resulted in reporting some inconsistent findings and low explanatory power for the expectancy model. In an attempt to increase the explanatory power of the model, several researchers have suggested the inclusion of nonexpectancy components in the model. This research was undertaken to develop an integrative expectancy model by incorporating some elements of goal setting theory and attribution theory into the expectancy formulation. The study was also designed to provide empirical evidence on the validity of a within-subject design of the proposed model through an empirical investigation of auditors* performance behaviors to meet budgeted time in public accounting firms. Alternative performance behaviors to meet budgeted time were modeled in three choice processes. The first deals with auditors choice to report unfiltered time (i.e. report actual time worked) as opposed to filtered time worked (i.e., underreporting and sign-off behaviors). The second process deals with auditors' choice to engage in underreporting as opposed to sign-off behaviors. The third process deals with auditors' choice to reduce or overrule some audit procedures based on professional judgment. Data were collected using an anonymous questionnaire from a sample of auditors at the staff, senior, and supervisory staff levels of fifty-three national, regional and local accounting firms in the Dallas- Fort Worth area. Data received from 671 participants were analyzed using th Automatic Interaction Detector (AID3) and multiple regression techniques. The findings of this research support the expectancy formulation and its relevancy to the accounting environments. However, five nonexpectancy variables were found to have significant relationships with auditors' choice processes to meet budgeted time. These five variables were supervision, budget feasibility, length of experience, organizational level and firm size classification.
Styles APA, Harvard, Vancouver, ISO, etc.
7

Heacock, Jessica Lynn. « The Effects of a Modified Time Delay Procedure on Intraverbal Responding ». The Ohio State University, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=osu1374194687.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Parthey, Daniel. « Analyzing Real-Time Behavior of Flash Memories ». Master's thesis, Universitätsbibliothek Chemnitz, 2007. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200700459.

Texte intégral
Résumé :
Flash memories are used as the main storage in many portable consumer electronic devices because they are more robust than hard drives. This document gives an overview of existing consumer flash memory technologies which are mostly removable flash memory cards. It discusses to which degree consumer flash devices are suitable for real-time systems and provides a detailed timing analysis of some consumer flash devices. Further, it describes methods to analyze mount times, access performance and timing predictability of flash memories. Important factors which influence access timings of flash memories are pointed out and different flash file systems are evaluated with regard to their suitability for real-time systems. Some remaining problems of existing flash file system implementations concerning real-time use are discussed.
Styles APA, Harvard, Vancouver, ISO, etc.
9

Shams, Mohamed Khalil. « Time-dependent behavior of high-performance concrete ». Diss., Georgia Institute of Technology, 2000. http://hdl.handle.net/1853/20682.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Hallberg, Daniel Klevmarken Anders Johansson Per. « Essays on household behavior and time-use / ». Uppsala : Dept. of Economics, Uppsala University, 2002. http://www.loc.gov/catdir/toc/fy042/2003504326.html.

Texte intégral
Résumé :
Thesis (doctoral)--Uppsala universitet, 2002.
"Essay 2 (with Anders Klevmarken) ... Essay 4 (with Per Johansson)"--Abstract. Added t.p. with thesis statement inserted. Includes bibliographical references.
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "TIMED BEHAVIOR"

1

Feeling tired all the time. Dublin : Newleaf, 2001.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Feeling tired all the time. Dublin : Gill & Macmillan, 1993.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Michon, John A., et Janet L. Jackson, dir. Time, Mind, and Behavior. Berlin, Heidelberg : Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-70491-8.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

1935-, Michon John A., Jackson Janet L et International Workshop on Time, Mind, and Behavior (1984 : University of Groningen), dir. Time, mind, and behavior. Berlin : Springer-Verlag, 1985.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Michon, John A. Time, Mind, and Behavior. Berlin, Heidelberg : Springer Berlin Heidelberg, 1985.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Robert, Burton. Bird behavior. Sous la direction de Burton Jane et Taylor Kim 1933-. New York, N.Y : Knopf, 1985.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Rich, Lani Diane. Time off for good behavior. New York : Warner Books, 2004.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Sussman, Susan. Time off from good behavior. New York : Pocket Books, 1991.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Time off from good behavior. Boston, Mass : G.K. Hall, 1993.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Sussman, Susan. Time off from good behavior. New York : Pocket Books, 1992.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Chapitres de livres sur le sujet "TIMED BEHAVIOR"

1

Kaynar, Dilsun K., Nancy Lynch, Roberto Segala et Frits Vaandrager. « Describing Timed System Behavior ». Dans The Theory of Timed I/O Automata, 11–18. Cham : Springer International Publishing, 2006. http://dx.doi.org/10.1007/978-3-031-01794-0_3.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Probst, David K., et Hon F. Li. « Verifying timed behavior automata with nonbinary delay constraints ». Dans Computer Aided Verification, 123–36. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56496-9_11.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Maximova, Maria, Sven Schneider et Holger Giese. « Compositional Analysis of Probabilistic Timed Graph Transformation Systems ». Dans Fundamental Approaches to Software Engineering, 196–217. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71500-7_10.

Texte intégral
Résumé :
AbstractThe analysis of behavioral models is of high importance for cyber-physical systems, as the systems often encompass complex behavior based on e.g. concurrent components with mutual exclusion or probabilistic failures on demand. The rule-based formalism of probabilistic timed graph transformation systems is a suitable choice when the models representing states of the system can be understood as graphs and timed and probabilistic behavior is important. However, model checking PTGTSs is limited to systems with rather small state spaces.We present an approach for the analysis of large-scale systems modeled as probabilistic timed graph transformation systems by systematically decomposing their state spaces into manageable fragments. To obtain qualitative and quantitative analysis results for a large-scale system, we verify that results obtained for its fragments serve as overapproximations for the corresponding results of the large-scale system. Hence, our approach allows for the detection of violations of qualitative and quantitative safety properties for the large-scale system under analysis. We consider a running example in which we model shuttles driving on tracks of a large-scale topology and for which we verify that shuttles never collide and are unlikely to execute emergency brakes. In our evaluation, we apply an implementation of our approach to the running example.
Styles APA, Harvard, Vancouver, ISO, etc.
4

Probst, David K., et Hon F. Li. « Verifying timed behavior automata with input/output critical races ». Dans Computer Aided Verification, 424–37. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56922-7_35.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Mansoor, Faisal, Abbas K. Zaidi, Lee Wagenhals et Alexander H. Levis. « Meta-modeling the Cultural Behavior Using Timed Influence Nets ». Dans Social Computing and Behavioral Modeling, 1–9. Boston, MA : Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0056-2_19.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

André, Étienne, Masaki Waga, Natuski Urabe et Ichiro Hasuo. « Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior ». Dans Lecture Notes in Computer Science, 470–88. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-06773-0_25.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Naik, Kshirasagar. « Design of Reliable Architecture for Testing Timed Behavior of OSI Protocols ». Dans IFIP Advances in Information and Communication Technology, 121–36. Boston, MA : Springer US, 1995. http://dx.doi.org/10.1007/978-0-387-34867-4_8.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Santos, Adriano A., António Ferreira da Silva et Filipe Pereira. « Simulation of Cyber-Physical Intelligent Mechatronic Component Behavior Using Timed Automata Approach ». Dans Innovations in Mechatronics Engineering II, 72–85. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-09385-2_7.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Oldenburg, Ian Antón, Hayley Anne Bounds et Nicolas C. Pégard. « High-Speed All-Optical Neural Interfaces with 3D Temporally Focused Holography ». Dans Neuromethods, 101–35. New York, NY : Springer US, 2023. http://dx.doi.org/10.1007/978-1-0716-2764-8_4.

Texte intégral
Résumé :
AbstractUnderstanding brain function requires technologies that can monitor and manipulate neural activity with cellular resolution and millisecond precision in three dimensions across large volumes. These technologies are best designed using interdisciplinary approaches combining optical techniques with reporters and modulators of neural activity. While advances can be made by separately improving optical resolution or opsin effectiveness, optimizing both systems together matches the strengths and constraints of different approaches to create a solution optimized for the needs of neuroscientists. To achieve this goal, we first developed a new multiphoton photoexcitation method, termed 3D-Scanless Holographic Optogenetics with Temporal focusing (3D-SHOT), that enables simultaneous photoactivation of arbitrary sets of neurons in 3D. Our technique uses point-cloud holography to place multiple copies of a temporally focused disc, matched to the dimensions of a neuron’s cell body, anywhere within the operating volume of the microscope. However, since improved placement of light, on its own, is not sufficient to allow precise control of neural firing patterns, we also developed and tested optogenetic actuators ST-ChroME and ST-eGtACR1 that fully leverage the new experimental capabilities of 3D-SHOT. The synergy of fast opsins matched with our technology allows reliable, precisely timed control of evoked action potentials and enables on-demand read-write operations with unprecedented precision. In this chapter, we review the steps necessary to implement 3D-SHOT and provide a guide to selecting ideal opsins that will work with it. Such collaborative, interdisciplinary approaches will be essential to develop the experimental capabilities needed to gain causal insight into the fundamental principles of the neural code underlying perception and behavior.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Park, David. « Brain Time and Mind Time ». Dans Time, Mind, and Behavior, 53–64. Berlin, Heidelberg : Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-70491-8_3.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "TIMED BEHAVIOR"

1

Grunske, Lars, Kirsten Winter et Robert Colvin. « Timed Behavior Trees and Their Application to Verifying Real-Time Systems ». Dans 2007 Australian Software Engineering Conference (ASWEC'07). IEEE, 2007. http://dx.doi.org/10.1109/aswec.2007.49.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Wan, Lu, et Deming Chen. « Analysis of circuit dynamic behavior with timed ternary decision diagram ». Dans 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 2010. http://dx.doi.org/10.1109/iccad.2010.5653852.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Henkler, Stefan, Joel Greenyer, Martin Hirsch, Wilhelm Schafer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Loffler, Andreas Seibel et Holger Giese. « Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite ». Dans 2009 IEEE 31st International Conference on Software Engineering. IEEE, 2009. http://dx.doi.org/10.1109/icse.2009.5070569.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Krejci, Lukas. « Programming autonomous behavior of AMM network data concentrator by timed automata ». Dans 2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems : Technology and Applications (IDAACS). IEEE, 2015. http://dx.doi.org/10.1109/idaacs.2015.7340731.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

He, Zhou, Zhiwu Li et Alessandro Giua. « Stationary behavior of manufacturing systems modeled by timed weighted marked graphs ». Dans TENCON 2016 - 2016 IEEE Region 10 Conference. IEEE, 2016. http://dx.doi.org/10.1109/tencon.2016.7848678.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Barakat, Kamal, Stefan Kowalewski et Thomas Noll. « A Native Approach to Modeling Timed Behavior in the Pi-Calculus ». Dans 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2012. http://dx.doi.org/10.1109/tase.2012.27.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Takai, Shigemasa, et Shinzo Kodama. « On strongly controllable behavior in supervisory control of timed event graphs ». Dans 1997 European Control Conference (ECC). IEEE, 1997. http://dx.doi.org/10.23919/ecc.1997.7082094.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Goli, Mehran, Jannis Stoppe et Rolf Drechsler. « Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata ». Dans 2017 IEEE 35th International Conference on Computer Design (ICCD). IEEE, 2017. http://dx.doi.org/10.1109/iccd.2017.65.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Benfekir, A., S. Hamaci, A. M. Darcherif, L. Laval et M. Bouhamida. « On the nonlinear dynamic behavior of unrelaxed timed Petri nets in idempotent semirings ». Dans 2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR). IEEE, 2013. http://dx.doi.org/10.1109/mmar.2013.6670010.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Shan-Jun He, Fei Cheng et Jian Luo. « Modeling and Implementing of an Automated Warehouse via Colored Timed Petri Nets ; a Behavior Perspective ». Dans 2007 IEEE International Conference on Control and Automation. IEEE, 2007. http://dx.doi.org/10.1109/icca.2007.4376877.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "TIMED BEHAVIOR"

1

Bradford, David, Charles Courtemanche, Garth Heutel, Patrick McAlvanah et Christopher Ruhm. Time Preferences and Consumer Behavior. Cambridge, MA : National Bureau of Economic Research, juillet 2014. http://dx.doi.org/10.3386/w20320.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Skarsoulis, Emmanuel, Bruce Cornuelle et Matthew Dzieciuch. Behavior and Sensitivity of Phase Arrival Times (PHASE). Fort Belvoir, VA : Defense Technical Information Center, septembre 2013. http://dx.doi.org/10.21236/ada598648.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Skarsoulis, Emmanuel, Bruce Cornuelle et Matthew Dzieciuch. Behavior and Sensitivity of Phase Arrival Times (PHASE). Fort Belvoir, VA : Defense Technical Information Center, septembre 2014. http://dx.doi.org/10.21236/ada618123.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Barbacci, Mario R., et Jeannette M. Wing. Specifying Functional and Timing Behavior for Real-Time Applications. Fort Belvoir, VA : Defense Technical Information Center, décembre 1986. http://dx.doi.org/10.21236/ada178769.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

McGehee, Duncan E., Amatzia Genin et Jules S. Jaffe. Swimming Behavior of Individual Zooplankters During Night-time Foraging. Fort Belvoir, VA : Defense Technical Information Center, septembre 1998. http://dx.doi.org/10.21236/ada536359.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

McGehee, Duncan E., Amatzia Genin et Jules S. Jaffe. Swimming Behavior of Individual Zooplankters During Night-time Foraging. Fort Belvoir, VA : Defense Technical Information Center, septembre 1997. http://dx.doi.org/10.21236/ada629342.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Zimmerman, Emily, et Jana Smith. Behavioral tactics to support providers in offering quality care : Insights from provider behavior change research and practice. Population Council, 2022. http://dx.doi.org/10.31899/sbsr2022.1043.

Texte intégral
Résumé :
This document offers a synthesis of insights from recent research and design activities conducted by ideas42 through Breakthrough RESEARCH, Breakthrough ACTION, and other projects across nine different low- and middle-income settings about the behavioral roots of challenges health care providers face in providing high quality services. We discuss how the physical and social environment in which they work and live sends signals to providers about what is important, how they can navigate difficulties, and how well they are performing. We discuss how experiences outside the health facility impact how providers approach their professional duties. We also discuss how pervasive time and resource constraints create a cognitive and emotional burden that gets in the way of what they can do, even within these constraints. For each challenge, we also share lessons emerging from this research about about how global health practitioners can address these challenges through program design and implementation.
Styles APA, Harvard, Vancouver, ISO, etc.
8

Zhou, Min. Time-Resolved Analysis of the Dynamic Behavior of Granular Materials. Fort Belvoir, VA : Defense Technical Information Center, décembre 1999. http://dx.doi.org/10.21236/ada373452.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Johnson, Anna K., Thomas Hoff, Larry J. Sadler et Chad H. Stahl. Dietary Inclusion of Colicin E1. : Effect on Behavior Over Time. Ames (Iowa) : Iowa State University, janvier 2009. http://dx.doi.org/10.31274/ans_air-180814-914.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Wadehra, J. M. Theoretical Investigations of Time-Dependent Behavior of Electrons in Gases. Fort Belvoir, VA : Defense Technical Information Center, janvier 1995. http://dx.doi.org/10.21236/ada299082.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « TIMED BEHAVIOR » pour d’autres types de sources :
Articles de revues Thèses Livres
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie