Journal articles on the topic 'TIMED BEHAVIOR'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'TIMED BEHAVIOR.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
PETERS, J. F., and S. RAMANNA. "MODELING TIMED BEHAVIOR IN REAL-TIME SYSTEMS WITH TEMPORAL LOGIC." Cybernetics and Systems 22, no. 5 (September 1991): 583–608. http://dx.doi.org/10.1080/01969729108902301.
Full textNAKATA, AKIO, TADAAKI TANIMOTO, SUGURU SASAKI, and TERUO HIGASHINO. "A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA." International Journal of Foundations of Computer Science 17, no. 04 (August 2006): 833–49. http://dx.doi.org/10.1142/s0129054106004133.
Full textTosun, Tuğçe, Ezgi Gür, and 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 (January 5, 2016): 787–92. http://dx.doi.org/10.1073/pnas.1518316113.
Full textNiggemann, Oliver, Benno Stein, Asmir Vodencarevic, Alexander Maier, and Hans Kleine Büning. "Learning Behavior Models for Hybrid Timed Systems." Proceedings of the AAAI Conference on Artificial Intelligence 26, no. 1 (September 20, 2021): 1083–90. http://dx.doi.org/10.1609/aaai.v26i1.8296.
Full textZhang, Yihuan, Qin Lin, Jun Wang, and Sicco Verwer. "Car-following Behavior Model Learning Using Timed Automata." IFAC-PapersOnLine 50, no. 1 (July 2017): 2353–58. http://dx.doi.org/10.1016/j.ifacol.2017.08.423.
Full textMathes, M. Todd, Scott G. Hinch, Steven J. Cooke, Glenn T. Crossin, David A. Patterson, Andrew G. Lotto, and 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 (January 2010): 70–84. http://dx.doi.org/10.1139/f09-158.
Full textBrasic, James Robert, Jacqueline Y. Barnett, Seok Cheol Ahn, Robert H. Nadrich, Michael V. Will, and Andrea Clair. "Clinical Assessment of Self-Injurious Behavior." Psychological Reports 80, no. 1 (February 1997): 155–60. http://dx.doi.org/10.2466/pr0.1997.80.1.155.
Full textKim, Ja-Hee. "An Asymptotic Cyclicity Analysis of Live Autonomous Timed Event Graphs." Applied Sciences 11, no. 11 (May 22, 2021): 4769. http://dx.doi.org/10.3390/app11114769.
Full textColvin, Robert, Lars Grunske, and Kirsten Winter. "Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems." Journal of Systems and Software 81, no. 12 (December 2008): 2163–82. http://dx.doi.org/10.1016/j.jss.2008.04.035.
Full textFerringer, 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.
Full textTigane, Samir, Fayçal Guerrouf, Nadia Hamani, Laid Kahloul, Mohamed Khalgui, and Masood Ashraf Ali. "Dynamic Timed Automata for Reconfigurable System Modeling and Verification." Axioms 12, no. 3 (February 22, 2023): 230. http://dx.doi.org/10.3390/axioms12030230.
Full textPINHANEZ, CLAUDIO S. "BEHAVIOR-BASED ACTIVE VISION." International Journal of Pattern Recognition and Artificial Intelligence 08, no. 06 (December 1994): 1493–526. http://dx.doi.org/10.1142/s0218001494000723.
Full textLI, GUOQIANG, XIAOJUAN CAI, and SHOJI YUEN. "MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS." International Journal of Foundations of Computer Science 23, no. 04 (June 2012): 831–51. http://dx.doi.org/10.1142/s0129054112400382.
Full textSrivastava, Kyle H., Caroline M. Holmes, Michiel Vellema, Andrea R. Pack, Coen P. H. Elemans, Ilya Nemenman, and Samuel J. Sober. "Motor control by precisely timed spike patterns." Proceedings of the National Academy of Sciences 114, no. 5 (January 18, 2017): 1171–76. http://dx.doi.org/10.1073/pnas.1611734114.
Full textTahiri, Imane, Alexandre Philippot, Véronique Carré-Ménétrier, and Bernard Riera. "A Fault-Tolerant and Reconfigurable Control Framework: Modeling, Design, and Synthesis." Processes 11, no. 3 (February 26, 2023): 701. http://dx.doi.org/10.3390/pr11030701.
Full textDaszczuk, Wiktor B. "Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems." Sensors 22, no. 3 (February 3, 2022): 1157. http://dx.doi.org/10.3390/s22031157.
Full textMuñoz, Doyra Mariela, Antonio Correcher, Emilio García, and Francisco Morant. "Identification of Stochastic Timed Discrete Event Systems with st-IPN." Mathematical Problems in Engineering 2014 (2014): 1–21. http://dx.doi.org/10.1155/2014/835312.
Full textGaujal, Bruno, and Alessandro Giua. "Optimal stationary behavior for a class of timed continuous Petri nets." Automatica 40, no. 9 (September 2004): 1505–16. http://dx.doi.org/10.1016/j.automatica.2004.04.018.
Full textYang, Xiaoxian, Tao Yu, and Huahu Xu. "A Novel Framework of Using Petri Net to Timed Service Business Process Modeling." International Journal of Software Engineering and Knowledge Engineering 26, no. 04 (May 2016): 633–52. http://dx.doi.org/10.1142/s0218194016400052.
Full textHubbard, Elizabeth A., and Robert W. Motl. "Sedentary behavior is associated with disability status and walking performance, but not cognitive function, in multiple sclerosis." Applied Physiology, Nutrition, and Metabolism 40, no. 2 (February 2015): 203–6. http://dx.doi.org/10.1139/apnm-2014-0271.
Full textFianco, Marcos, Pedro Guilherme Barrios de Souza-Dias, Fernando de Farias-Martins, Suzana Magro, Victor Mateus Prasniewski, Jéssica Ricci, Edison Zefa, and Neucir Szinwelski. "Ethology of the cricket Endecous (Endecous) chape Souza-Dias & de Mello, 2017 (Orthoptera: Grylloidea: Phalangopsidae) I: Agonistic and reproductive behavior." Journal of Orthoptera Research 27, no. 2 (December 10, 2018): 193–201. http://dx.doi.org/10.3897/jor.27.29687.
Full textLi, Shao Feng. "A Study on Network Protocol Validation Based on Timed Automata." Applied Mechanics and Materials 543-547 (March 2014): 3386–90. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.3386.
Full textCornanguer, Lénaïg, Christine Largouët, Laurence Rozé, and Alexandre Termier. "TAG: Learning Timed Automata from Logs." Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 4 (June 28, 2022): 3949–58. http://dx.doi.org/10.1609/aaai.v36i4.20311.
Full textTvardovskii, Aleksandr Sergeevich, and Nina Vladimirovna Yevtushenko. "Deriving Homing Sequences for Finite State Machines with Timed Guards." Modeling and Analysis of Information Systems 27, no. 4 (December 20, 2020): 376–95. http://dx.doi.org/10.18255/1818-1015-2020-4-376-395.
Full textMoldakarimov, Samat, Maxim Bazhenov, and Terrence J. Sejnowski. "Feedback stabilizes propagation of synchronous spiking in cortical neural networks." Proceedings of the National Academy of Sciences 112, no. 8 (February 9, 2015): 2545–50. http://dx.doi.org/10.1073/pnas.1500643112.
Full textPomponio, Laura, Marc Le Goc, Alain Anfosso, and Eric Pascual. "Levels of Abstraction for Behavior Modeling in the GerHome Project." International Journal of E-Health and Medical Communications 3, no. 3 (July 2012): 12–28. http://dx.doi.org/10.4018/jehmc.2012070102.
Full textHwang, Chi-Pan, and Cheng-Seen Ho. "A NEW TECHNIQUE FOR BEHAVIOR AND TEMPORAL ANALYSIS OF TIMED PETRI NETS." Journal of the Chinese Institute of Engineers 20, no. 5 (September 1, 1997): 481–92. http://dx.doi.org/10.1080/02533839.1997.9741855.
Full textTakai, Shigemasa. "A characterization of realizable behavior in supervisory control of timed event graphs." Automatica 33, no. 11 (November 1997): 2077–80. http://dx.doi.org/10.1016/s0005-1098(97)00121-0.
Full textYan, Xu Qin, Xiao Jian Liu, Zhi Xue Wang, Xiao Bo Che, Cheng Yong Mao, Yang Li, and Wei Cheng. "Towards a Component-Based Requirements Modeling for Automotive Systems." Applied Mechanics and Materials 40-41 (November 2010): 955–60. http://dx.doi.org/10.4028/www.scientific.net/amm.40-41.955.
Full textAllamigeon, Xavier, Marin Boyet, and Stéphane Gaubert. "Piecewise Affine Dynamical Models of Petri Nets – Application to Emergency Call Centers*." Fundamenta Informaticae 183, no. 3-4 (January 10, 2022): 169–201. http://dx.doi.org/10.3233/fi-2021-2086.
Full textLonghurst, Jason K., John V. Rider, Kameron Eckard, Ryan Hammar, Franjo Vukojevic, Jillian Campbell, and Merrill R. Landers. "Factors predicting fear of falling avoidance behavior in parkinsonisms." NeuroRehabilitation 50, no. 1 (January 31, 2022): 65–73. http://dx.doi.org/10.3233/nre-210267.
Full textChen, Shin-Guang. "Modeling and Applications on Timed Stochastic-Flow Networks." International Journal of Reliability, Quality and Safety Engineering 22, no. 05 (October 2015): 1550023. http://dx.doi.org/10.1142/s0218539315500230.
Full textPOERNOMO, IMAN, HEINZ SCHMIDT, and JANE JAYAPUTERA. "VERIFICATION AND PREDICTION OF TIMED PROBABILISTIC PROPERTIES OVER THE DMTF CIM." International Journal of Cooperative Information Systems 15, no. 04 (December 2006): 633–58. http://dx.doi.org/10.1142/s0218843006001517.
Full textLiu, Qing, Daiyong Cui, Guanglei Cong, Jinliang Ma, Jie Yu, Chuanliang Ji, and Shenming Zeng. "Timed Artificial Insemination by Combining Estrous Behavior Observation With Deslorelin Treatment in Jennies." Journal of Equine Veterinary Science 95 (December 2020): 103279. http://dx.doi.org/10.1016/j.jevs.2020.103279.
Full textCOMINI, MARCO, LAURA TITOLO, and ALICIA VILLANUEVA. "Abstract diagnosis for timed concurrent constraint programs." Theory and Practice of Logic Programming 11, no. 4-5 (July 2011): 487–502. http://dx.doi.org/10.1017/s1471068411000135.
Full textMarshakov, D. V. "Modeling of the processes of extracting rules from Neural Network components with Petri nets." Journal of Physics: Conference Series 2131, no. 2 (December 1, 2021): 022133. http://dx.doi.org/10.1088/1742-6596/2131/2/022133.
Full textLanders, Merrill R., Sarrie Oscar, Jessica Sasaoka, and Kyle Vaughn. "Balance Confidence and Fear of Falling Avoidance Behavior Are Most Predictive of Falling in Older Adults: Prospective Analysis." Physical Therapy 96, no. 4 (April 1, 2016): 433–42. http://dx.doi.org/10.2522/ptj.20150184.
Full textBalcı, Fuat. "Interval Timing, Dopamine, and Motivation." Timing & Time Perception 2, no. 3 (2014): 379–410. http://dx.doi.org/10.1163/22134468-00002035.
Full textMuñoz, Doyra Mariela, Antonio Correcher, Emilio García, and Francisco Morant. "Stochastic DES Fault Diagnosis with Coloured Interpreted Petri Nets." Mathematical Problems in Engineering 2015 (2015): 1–13. http://dx.doi.org/10.1155/2015/303107.
Full textFALASCHI, MORENO, and ALICIA VILLANUEVA. "Automatic verification of timed concurrent constraint programs." Theory and Practice of Logic Programming 6, no. 3 (May 2006): 265–300. http://dx.doi.org/10.1017/s1471068406002675.
Full textJacobson, Lisa A., and E. Mark Mahone. "Sluggish Cognitive Tempo Predicts Academic Fluency, Beyond Contributions of Core Academic Skills, Attention, and Motor Speed." Journal of Attention Disorders 23, no. 14 (May 20, 2018): 1703–10. http://dx.doi.org/10.1177/1087054718776468.
Full textTóth, Tamás, and István Majzik. "Formal Verification of Real-Time Systems with Data Processing." Periodica Polytechnica Electrical Engineering and Computer Science 61, no. 2 (May 23, 2017): 166. http://dx.doi.org/10.3311/ppee.9766.
Full textCadogan, Beresford L., and Roger D. Scharbach. "EFFICACY OF FORAY 48B (BACILLUS THURINGIENSIS BERLINER) APPLICATIONS AGAINST THE SPRUCE BUDWORM, CHORISTONEURA FUMIFERANA (CLEMENS) (LEPIDOPTERA: TORTRICIDAE), TIMED FOR PHENOLOGICAL DEVELOPMENT OF BALSAM FIR AND BLACK SPRUCE." Canadian Entomologist 125, no. 3 (June 1993): 479–88. http://dx.doi.org/10.4039/ent125479-3.
Full textFRIBOURG, LAURENT, and ULRICH KÜHNE. "PARAMETRIC VERIFICATION AND TEST COVERAGE FOR HYBRID AUTOMATA USING THE INVERSE METHOD." International Journal of Foundations of Computer Science 24, no. 02 (February 2013): 233–49. http://dx.doi.org/10.1142/s0129054113400091.
Full textLee, Stephen M., Alicia Peltsch, Maureen Kilmade, Donald C. Brien, Brian C. Coe, Ingrid S. Johnsrude, and Douglas P. Munoz. "Neural Correlates of Predictive Saccades." Journal of Cognitive Neuroscience 28, no. 8 (August 2016): 1210–27. http://dx.doi.org/10.1162/jocn_a_00968.
Full textLarsen, Caroline M., and David R. Grattan. "Prolactin-Induced Mitogenesis in the Subventricular Zone of the Maternal Brain during Early Pregnancy Is Essential for Normal Postpartum Behavioral Responses in the Mother." Endocrinology 151, no. 8 (May 19, 2010): 3805–14. http://dx.doi.org/10.1210/en.2009-1385.
Full textSharp, N. C. C. "Timed running speed of a cheetah (Acinonyx jubatus)." Journal of Zoology 241, no. 3 (March 1997): 493–94. http://dx.doi.org/10.1111/j.1469-7998.1997.tb04840.x.
Full textWilliams, Douglas A., Carla Lawson, Rachel Cook, Amber A. Mather, and Kenneth W. Johns. "Timed excitatory conditioning under zero and negative contingencies." Journal of Experimental Psychology: Animal Behavior Processes 34, no. 1 (2008): 94–105. http://dx.doi.org/10.1037/0097-7403.34.1.94.
Full textZhang, Hai Bin, and Li Ya Yang. "Model Checking Multirate Hybrid Systems with Dense Timed Interval Temporal Logic." Applied Mechanics and Materials 198-199 (September 2012): 889–93. http://dx.doi.org/10.4028/www.scientific.net/amm.198-199.889.
Full textThexton, A. J., A. W. Crompton, and R. Z. German. "EMG activity in hyoid muscles during pig suckling." Journal of Applied Physiology 112, no. 9 (May 1, 2012): 1512–19. http://dx.doi.org/10.1152/japplphysiol.00450.2011.
Full text