Search results for "firings"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
57	Thomas L. Saaty	Part 2 - The firings of many neurons and their density; the neural network its connections and field of firings.	Neural Networks	2017	DBLP DOI BibTeX RDF
49	Ichiro Suzuki	Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	temporal Petri nets, omega -regular expressions, Buchi-automata, formal specification, formal specification, Petri nets, formal verification, program verification, programming theory, transitions, formal analysis, automata theory, firings, formulas, alternating bit protocol, temporal operators
45	Tatiana Britvina, Jos J. Eggermont	A Markov model for interspike interval distributions of auditory cortical neurons that do not show periodic firings.	Biol. Cybern.	2007	DBLP DOI BibTeX RDF
33	Peter J. Haas, Gerald S. Shedler	Stochastic Petri Net Representation of Discrete Event Simulations.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	transition firings, timed transitions, Petri net simulation, countable state GSMP, generalized semi-Markov process, simulation, formal specification, Petri nets, discrete event simulation, Markov processes, stochastic Petri net
32	Virginia Giorno, Amelia G. Nobile, Luigi M. Ricciardi	On the Moments of Firing Numbers in Diffusion Neuronal Models with Refractoriness.	IWINAC (1)	2005	DBLP DOI BibTeX RDF
32	Luigi M. Ricciardi, Gelsomina Esposito, Virginia Giorno, Chiara Valerio	Modeling Neuronal Firing in the Presence of Refractoriness.	IWANN (1)	2003	DBLP DOI BibTeX RDF
32	Albert Mo Kim Cheng, Jeng-Rung Chen	Response Time Analysis of OPS5 Production Systems.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	real-time decision systems, special forms, verification, static analysis, response time, Computer-aided software engineering, rule-based programs, OPS
32	James Bailey 0001, Alexandra Poulovassilis, Peter Newson	A Dynamic Approach to Termination Analysis for Active Database Rules.	Computational Logic	2000	DBLP DOI BibTeX RDF
28	Jin Shan, Yilin Song, Yiding Wang, Penghui Fan, Botao Lu, Jinping Luo, Wei Xu, Luyi Jing, Fan Mo, Ruilin Hu, Yan Luo, Gang Mao, Ying Wang, Xinxia Cai	Highly Activated Neuronal Firings Monitored by Implantable Microelectrode Array in the Paraventricular Thalamus of Insomnia Rats.	Sensors	2023	DBLP DOI BibTeX RDF
28	Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke	State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.	ACM Trans. Model. Comput. Simul.	2021	DBLP DOI BibTeX RDF
28	Rositsa Raikova, Vessela Tz. Krasteva, Piotr Krutki, Hanna Drzymala-Celichowska, Katarzyna Krysciak, Jan Celichowski	Effect of synchronization of firings of different motor unit types on the force variability in a model of the rat medial gastrocnemius muscle.	PLoS Comput. Biol.	2021	DBLP DOI BibTeX RDF
28	Han Bao 0001, Dong Zhu, Wenbo Liu 0001, Quan Xu 0001, Mo Chen, Bocheng Bao	Memristor Synapse-Based Morris-Lecar Model: Bifurcation Analyses and FPGA-Based Validations for Periodic and Chaotic Bursting/Spiking Firings.	Int. J. Bifurc. Chaos	2020	DBLP DOI BibTeX RDF
28	Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke	State-space construction of Hybrid Petri nets with multiple stochastic firings.	CoRR	2020	DBLP BibTeX RDF
28	Han Bao 0001, Aihuang Hu, Wenbo Liu 0001, Bocheng Bao	Hidden Bursting Firings and Bifurcation Mechanisms in Memristive Neuron Model With Threshold Electromagnetic Induction.	IEEE Trans. Neural Networks Learn. Syst.	2020	DBLP DOI BibTeX RDF
28	Carina Pilch, Arnd Hartmanns, Anne Remke	Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings.	HSCC	2020	DBLP DOI BibTeX RDF
28	Carina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám	A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.	NFM	2020	DBLP DOI BibTeX RDF
28	Jannik Hüls	Model checking hybrid Petri nets with multiple general transition firings.		2020	RDF
28	Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke	State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.	QEST	2019	DBLP DOI BibTeX RDF
28	Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám	Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.	VALUETOOLS	2017	DBLP DOI BibTeX RDF
28	Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort	Hybrid Petri nets with multiple stochastic transition firings.	EAI Endorsed Trans. Self Adapt. Syst.	2015	DBLP DOI BibTeX RDF
28	Blazej Ruszczycki, Zhenyuan Zhao, Nicholas Johnson, Neil F. Johnson 0002	Temporal network approach to unraveling collective neuron firings.	J. Complex Networks	2014	DBLP DOI BibTeX RDF
28	Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort	Hybrid Petri nets with multiple stochastic transition firings. (DOI:10.4108/icst.valuetools.2014.258204 reused by journals/sas/GhasemiehRH15)	VALUETOOLS	2014	DBLP BibTeX RDF
28	Andrea Grigorescu, Marek Rudnicki, Michael Isik, Werner Hemmert, Stefano Rini	Improving the Entropy Estimate of Neuronal Firings of Modeled Cochlear Nucleus Neurons	CoRR	2012	DBLP BibTeX RDF
28	Andrea Grigorescu, Marek Rudnicki, Michael Isik, Werner Hemmert, Stefano Rini	Improving the Entropy Estimate of Neuronal Firings of Modeled Cochlear Nucleus Neurons.	INTERSPEECH	2012	DBLP DOI BibTeX RDF
28	Luqman R. Bachtiar, Charles P. Unsworth, Richard D. Newcomb, Edmund J. Crampin	Using artificial neural networks to classify unknown volatile chemicals from the firings of insect olfactory sensory neurons.	EMBC	2011	DBLP DOI BibTeX RDF
28	Boris Gourévitch, Jos J. Eggermont	Maximum decoding abilities of temporal patterns and synchronized firings: application to auditory neurons responding to click trains and amplitude modulated white noise.	J. Comput. Neurosci.	2010	DBLP DOI BibTeX RDF
28	Can Ozan Tan, J. Andrew Taylor, Albert Ler, Michael A. Cohen	Detection of Multifiber Neuronal Firings: A Mixture Separation Model Applied to Sympathetic Recordings.	IEEE Trans. Biomed. Eng.	2009	DBLP DOI BibTeX RDF
28	Xiao-Bo Zheng, Xian Tian, Tiao-Tiao Liu, Hua-Ying Tao	Entropy Coding of Neuron Firings at Hippocampus CA1 for Memory Dysfunctional Mice.	ICNC (4)	2008	DBLP DOI BibTeX RDF
28	Takashi Kanamaru, Masatoshi Sekine	Synchronized Firings in the Networks of Class 1 Excitable Neurons with Excitatory and Inhibitory Connections and Their Dependences on the Forms of Interactions.	Neural Comput.	2005	DBLP DOI BibTeX RDF
28	David C. Tam	A spike train analysis for quantifying inhibitory near synchrony in spike firings.	Neurocomputing	2002	DBLP DOI BibTeX RDF
28	David C. Tam	An alternate burst analysis for detecting intra-burst firings based on inter-burst periods.	Neurocomputing	2002	DBLP DOI BibTeX RDF
28	David C. Tam	A multi-unit spike train analysis for quantifying phase relationships of near-synchrony firings.	Neurocomputing	2001	DBLP DOI BibTeX RDF
28	David C. Tam	A spike train analysis for correlating burst firings in neurons.	Neurocomputing	2001	DBLP DOI BibTeX RDF
28	Ian C. Bruce, Laurence S. Irlicht, Graeme M. Clark	A Mathematical Analysis of Spatiotemporal Summation of Auditory Nerve Firings.	Inf. Sci.	1998	DBLP DOI BibTeX RDF
28	Kazuko Terada, Shuji Yoshizawa, Chiaki Nishimura	Theoretical Analysis of Repetitive Firings in Muscle Membranes.	J. Robotics Mechatronics	1996	DBLP DOI BibTeX RDF
28	Steve Kuo, Dan I. Moldovan, Seungho Cha	Control in Production Systems with Multiple Rule Firings.	ICPP (2)	1990	DBLP BibTeX RDF
28	Peter J. Haas, Gerald S. Shedler	Stochastic Petri Nets with Simultaneous Transition Firings.	PNPM	1987	DBLP BibTeX RDF
16	Abhishek Udupa, R. Govindarajan, Matthew J. Thazhuthaveetil	Synergistic execution of stream programs on multicores with accelerators.	LCTES	2009	DBLP DOI BibTeX RDF	CUDAa, partitioning, software pipelining, stream programming, GPU programming
16	Anna Dedova, Irina B. Virbitskaite	Towards Parametric Verification of Prioritized Time Petri Nets.	PaCT	2009	DBLP DOI BibTeX RDF
16	Paul Mullowney, Satish Iyengar	Parameter estimation for a leaky integrate-and-fire neuronal model from ISI data.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Parameter inference, Inverse Laplace transform, Ornstein-Uhlenbeck process
16	Xin Jin 0003, Stephen B. Furber, John V. Woods	Efficient modelling of spiking neural networks on a scalable chip multiprocessor.	IJCNN	2008	DBLP DOI BibTeX RDF
16	Natasha Alechina, Brian Logan 0001, Nguyen Hoang Nga, Abdur Rakib	Verifying Resource Requirements for Distributed Rule-Based Systems.	RuleML	2008	DBLP DOI BibTeX RDF
16	Hiroaki Wagatsuma	Hybrid Design Principles and Time Constants in the Construction of Brain-Based Robotics: A Real-Time Simulator of Oscillatory Neural Networks Interacting with the Real Environment via Robotic Devices.	ICONIP (1)	2008	DBLP DOI BibTeX RDF
16	Toshio Akimitsu, Yoichi Okabe, Akira Hirose	Self-Organization through Spike-Timing Dependent Plasticity Using localized Synfire-Chain Patterns.	Neural Process. Lett.	2007	DBLP DOI BibTeX RDF	topological map, STDP, temporal coding, synfire-chain
16	Hiroyuki Kuwahara, Chris J. Myers	Production-Passage-Time Approximation: A New Approximation Method to Accelerate the Simulation Process of Enzymatic Reactions.	RECOMB	2007	DBLP DOI BibTeX RDF
16	Sheng-Bo Guo, Ying Wang, Xing Yan, Longnian Lin, Joe Tsien, De-Shuang Huang	Long-Range Temporal Correlations in the Spontaneous in vivo Activity of Interneuron in the Mouse Hippocampus.	ICIC (2)	2007	DBLP DOI BibTeX RDF	Long-Range Temporal Correlations, Detrended Fluctuation Analysis, Fractal, Hippocampus, Interneuron
16	Jianhua Peng, Hongjie Yu	The Segmentation and Associative Memory Using Hindmarsh-Rose Neuronal Network.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Hindmarsh-Rose, Nchronization, Segmentation, Associative Memory, Neuron
16	Raul Vicente, Gordon Pipa, Ingo Fischer, Claudio R. Mirasso	Zero-Lag Long Range Synchronization of Neurons Is Enhanced by Dynamical Relaying.	ICANN (1)	2007	DBLP DOI BibTeX RDF
16	DaeEun Kim	Neural network mechanism for the orientation behavior of sand scorpions towards prey.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
16	Roberto Bruni, Hernán C. Melgratti	Non-sequential Behaviour of Dynamic Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
16	Fernando J. Álvarez, Álvaro Hernández, Jesús Ureña, Juan Jesús García, Ana Jiménez, P. Santa Teresa	Detection Module in a Complementary Set of Sequences-Based Pulse Compression System.	FPL	2006	DBLP DOI BibTeX RDF
16	Ming-Ying Chung, Gianfranco Ciardo	A dynamic firing speculation to speedup distributed symbolic state-space generation.	IPDPS	2006	DBLP DOI BibTeX RDF
16	Noriyasu Homma, Madan M. Gupta, Zeng-Guang Hou	Noise resistance and enhancement of neural performance by using spike signals.	IJCNN	2006	DBLP DOI BibTeX RDF
16	Takashi Kanamaru, Masatoshi Sekine	Detecting chaotic structures in noisy pulse trains based on interspike interval reconstruction.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
16	Richard R. Carrillo, Eduardo Ros 0001, Eva M. Ortigosa, Boris Barbour, Rodrigo Agís	Lookup Table Powered Neural Event-Driven Simulator.	IWANN	2005	DBLP DOI BibTeX RDF
16	Xiaoyu Mao, Janette Cardoso, Robert Valette	A New Graph of Classes for the Preservation of Quantitative Temporal Constraints.	ATVA	2005	DBLP DOI BibTeX RDF
16	Ugo A. Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally	Supervisory Control of Time Petri Nets Using Net Unfolding.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
16	Vladimir A. Bashkin, Irina A. Lomazova	Similarity of Generalized Resources in Petri Nets.	PaCT	2005	DBLP DOI BibTeX RDF
16	Ugo A. Buy, Mihai Lehene, Houshang Darabi	Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets.	SEW	2005	DBLP DOI BibTeX RDF
16	Jaime Ramírez, Angélica de Antonio	Consistency Verification of the Reasoning in a Deliberative Agent with Respect to the Communication Protocols.	ESAW	2005	DBLP DOI BibTeX RDF
16	Albert Mo Kim Cheng, Seiya Fujii	Self-Stabilizing Real-Time OPS5 Production Systems.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	fault tolerance, real-time, knowledge-based systems, expert systems, self-stabilization, Rule-based systems, production systems, OPS5
16	Jaime Ramírez, Angélica de Antonio	Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols.	FAABS	2004	DBLP DOI BibTeX RDF
16	Shouguang Wang, Senlin Zhang, Gangfeng Yan	Synthesis of Petri net controller to enforce conjunction of GMEC using observer.	SMC (2)	2004	DBLP DOI BibTeX RDF
16	Hiroshi Umeo, Masaya Hisaoka, Takashi Sogabe	A Comparative Investigation into Optimum-Time Synchronization Protocols for a Large Scale of One-Dimensional Cellular Automata.	ISPA	2003	DBLP DOI BibTeX RDF
16	Hiroshi Fujii, Ichiro Tsuda	Itinerant Dynamics of Class I* Neurons Coupled by Gap Junctions.	Summer School on Neural Networks	2003	DBLP DOI BibTeX RDF
16	Daniel Riera, Miquel Angel Piera Eroles, Antoni Guasch	PN to CSP Methodology: Improved Bounds.	CCIA	2002	DBLP DOI BibTeX RDF
16	Andrei Karatkevich, Arkadij Zakrevskij	Analysis of Petri Nets by Means of Concurrent Simulation.	PARELEC	2002	DBLP DOI BibTeX RDF
16	René David, Hassane Alla	On Hybrid Petri Nets.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	modeling, Petri nets, continuous, hybrid, extended
16	Shinji Doi, Shuhei Nabetani, Sadatoshi Kumagai	Complex nonlinear dynamics of the Hodgkin-Huxley equations induced by time scale changes.	Biol. Cybern.	2001	DBLP DOI BibTeX RDF
16	Albert Mo Kim Cheng, Seiya Fujii	Bounded-Response-Time Self-Stabilizing OPS5 Production Systems.	IPDPS	2000	DBLP DOI BibTeX RDF	real-time systems, self-stabilization, timing analysis, rule-based systems, production systems, OPS5
16	Noé Lopez-Benitez, Ja-Young Hyon	Simulation of Task Graph Systems in Heterogeneous Computing Environments.	Heterogeneous Computing Workshop	1999	DBLP DOI BibTeX RDF	simulation, performance evaluation, Petri nets, distributed computing, heterogeneous computing, task graphs
16	Mona Spiridon, Wulfram Gerstner	Noise Modulation by Stochastic Neurons of the Integrate-and Fire Type.	IWANN (1)	1999	DBLP DOI BibTeX RDF
16	Laura Recalde, Enrique Teruel, Manuel Silva Suárez	Autonomous Continuous P/T Systems.	ICATPN	1999	DBLP DOI BibTeX RDF
16	Irina B. Virbitskaite, E. Pokozy	Parametric Behaviour Analysis for Time Petri Nets.	PaCT	1999	DBLP DOI BibTeX RDF
16	Gabriel Juhás	On Semantics of Petri Nets over Partial Algebra.	SOFSEM	1999	DBLP DOI BibTeX RDF
16	Bruno Gaujal	Some Algebraic Considerations for Efficient Computations in Timed Petri Nets.	HICSS (1)	1996	DBLP DOI BibTeX RDF
16	Nacéra Bennacer, Gerard Florin, Céline Fraize, Stéphane Natkin	Probabilistic Validation of a Remote Procedure Call Protocol.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
16	Jean-Michel Ilié, Omar Rojas	On Well-Formed Nets and Optimizations in Enabling Tests.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
16	Lalita Jategaonkar, Albert R. Meyer	Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report).	ICALP	1993	DBLP DOI BibTeX RDF
16	Marija Cubric, Prakash Panangaden	Minimal Memory Schedules for Dataflow Networks.	CONCUR	1993	DBLP DOI BibTeX RDF
16	Serge Abiteboul, Allen Van Gelder	Optimizing Active Databases using the Split Technique.	ICDT	1992	DBLP DOI BibTeX RDF
16	Wilson A. Harvey, Dirk Kalp, Milind Tambe, David M. McKeown, Allen Newell	The Effectiveness of Task-Level Parallelism for High-Level Vision.	PPoPP	1990	DBLP DOI BibTeX RDF	OPS5
16	Anoop Gupta, Charles Forgy, Allen Newell	High-Speed Implementations of Rule-Based Systems.	ACM Trans. Comput. Syst.	1989	DBLP DOI BibTeX RDF	OPS5
16	Hans-Jörg Kreowski	A Comparison Between Petri-Nets and Graph Grammars.	WG	1980	DBLP DOI BibTeX RDF