Search results for "transitions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
80	Maruthappan Shanmugasundaram, Pourang Irani, Carl Gutwin	Can smooth view transitions facilitate perceptual constancy in node-link diagrams?	Graphics Interface	2007	DBLP DOI BibTeX RDF	node-link connectivity, smooth transitions, evaluation, animations, structure recognition
58	Weixiong Zhang	Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT.	CP	2001	DBLP DOI BibTeX RDF
53	Peter J. Giblin, Benjamin B. Kimia, Anthony J. Pollitt	Transitions of the 3D Medial Axis under a One-Parameter Family of Deformations.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
48	Jeffrey Heer, George G. Robertson	Animated Transitions in Statistical Data Graphics.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Statistical data graphics, design, information visualization, animation, experiment, transitions
48	Stefan Pusca	Modelling Short Range Alternating Transitions by Alternating Practical Test Functions.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	short range phenomena, transitions, test functions
48	Maruthappan Shanmugasundaram, Pourang Irani	The effect of animated transitions in zooming interfaces.	AVI	2008	DBLP DOI BibTeX RDF	information visualization, animation, zooming interfaces
43	Partha Pratim Mohanta, Sanjoy Kumar Saha 0001, Bhabatosh Chanda	Shot Boundary Detection Using Frame Transition Parameters and Edge Strength Scatter.	PReMI	2007	DBLP DOI BibTeX RDF	abrupt transitions, gradual transitions, cut, shot detection
43	Gerald Bieber, Philipp Koldrack, Christopher Sablowski, Christian Peter, Bodo Urban	Mobile physical activity recognition of stand-up and sit-down transitions for user behavior analysis.	PETRA	2010	DBLP DOI BibTeX RDF	DiaTrace, physical activity transitions, user state detection, assistive technologies, activity monitoring, acceleration sensor
43	Jing Wang 0011, Bobby Bodenheimer	Synthesis and evaluation of linear motion transitions.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	linear blending, motion transitions, Animation, perception
43	Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink	Compositionality for Markov Reward Chains with Fast Transitions.	EPEW	2007	DBLP DOI BibTeX RDF	discontinuous Markov reward chains, Markov reward chains with fast transitions, lumpability, Kronecker product and sum, reduction, compositionality, parallel composition
43	Céline Schlienger, Pierre Dragicevic, Claire Ollagnon, Stéphane Chatty	Les transitions visuelles différenciées: principes et applications.	IHM	2006	DBLP DOI BibTeX RDF	animated transitions, animation, situation awareness, cartoon
43	Ville Laurikari	NFAs with Tagged Transitions, Their Conversion to Deterministic Automata and Application to Regular Expressions.	SPIRE	2000	DBLP DOI BibTeX RDF	tagged transitions, automata conversion, input string position tracking, last-use tracking, nondeterministic Mealy machines, string processing, substring addressing, lookahead operator, regular expressions, finite automata, formal semantics, deterministic automata, nondeterministic finite automata
43	Geert Stremersch, René K. Boel	Structuring Acyclic Petri Nets for Reachability Analysis and Control.	Discret. Event Dyn. Syst.	2002	DBLP DOI BibTeX RDF	acyclic Petri net, uncontrollable transitions, Petri net, supervisory control
42	Peter J. Giblin, Benjamin B. Kimia	Transitions of the 3D Medial Axis under a One-Parameter Family of Deformations.	ECCV (2)	2002	DBLP DOI BibTeX RDF
42	Matthias Jantzen, Georg Zetzsche	Labeled Step Sequences in Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF
38	Keerthi Heragu, Janak H. Patel, Vishwani D. Agrawal	Segment delay faults: a new fault model.	VTS	1996	DBLP DOI BibTeX RDF	segment delay faults, delay defect, distributed defect, rising transitions, falling transitions, transition tests, nonrobust tests, VLSI, fault diagnosis, logic testing, delays, integrated circuit testing, fault model, automatic testing, circuit analysis computing, robust tests, integrated circuit modelling, production testing, spot defect, manufacturing defects
38	Marwan A. Gharaybeh, Michael L. Bushnell, Vishwani D. Agrawal	Parallel concurrent path-delay fault simulation using single-input change patterns.	VLSI Design	1996	DBLP DOI BibTeX RDF	concurrent path-delay fault simulation, single-input change patterns, singly-testable path-delay faults, random values, rising transitions, falling transitions, sixteen-valued algebra, machine word parallelism, ISCAS '85 benchmarks, ISCAS '89 benchmarks, parallel algorithms, fault diagnosis, logic testing, delays, Boolean functions, sequential circuits, logic CAD, circuit analysis computing, flip-flops, Boolean operations
38	Fanny Chevalier, Pierre Dragicevic, Anastasia Bezerianos, Jean-Daniel Fekete	Using text animated transitions to support navigation in document histories.	CHI	2010	DBLP DOI BibTeX RDF	animated transitions, revision control, text editing
38	Jussi Huhtala, Ari-Heikki Sarjanoja, Jani Mäntyjärvi, Minna Isomursu, Jonna Häkkilä	Animated UI transitions and perception of time: a user study on animated effects on a mobile screen.	CHI	2010	DBLP DOI BibTeX RDF	ui animations, ui transitions, user studies, ui design
38	Kara Schultz, Pascale Carayon, Ann Schoofs Hundt, Scott R. Springman	Care transitions in the outpatient surgery preoperative process: facilitators and obstacles to information flow and their consequences.	Cogn. Technol. Work.	2007	DBLP DOI BibTeX RDF	Transitions of care, Outpatient surgery, Awareness, Handoffs, Patient safety
38	Myra Spiliopoulou, Irene Ntoutsi, Yannis Theodoridis, René Schult	MONIC: modeling and monitoring cluster transitions.	KDD	2006	DBLP DOI BibTeX RDF	cluster change detection, cluster transitions, clusters, data streams, temporal analysis
37	Vishwani D. Agrawal	Low-Power Design by Hazard Filtering.	VLSI Design	1997	DBLP DOI BibTeX RDF	hazard filtering, multiple transitions, hazard pulses, differential delay, low-power design, power consumption, CMOS logic circuits, CMOS circuit, logic gate, gate delays
37	Jorik Blaas, Charl P. Botha, Edward Grundy, Mark W. Jones, Robert S. Laramee, Frits H. Post	Smooth Graphs for Visual Exploration of Higher-Order State Transitions.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
37	Yoshiki Higo, Kenji Murao, Shinji Kusumoto, Katsuro Inoue	Predicting fault-prone modules based on metrics transitions.	DEFECTS	2008	DBLP DOI BibTeX RDF
37	Mathieu Giraud, Philippe Veber, Dominique Lavenier	Path-Equivalent Removals of epsilon-transitions in a Genomic Weighted Finite Automaton.	CIAA	2006	DBLP DOI BibTeX RDF
37	Roberto Barbuti, Luca Tesei	Timed automata with urgent transitions.	Acta Informatica	2004	DBLP DOI BibTeX RDF
37	Masayoshi Kubo, Robert C. Wagenaar, Elliot Saltzman, Kenneth G. Holt	Biomechanical mechanism for transitions in phase and frequency of arm and leg swing during walking.	Biol. Cybern.	2004	DBLP DOI BibTeX RDF	Coordination dynamics, Biomechanics, Gait
37	Christophe Giovannangeli, Philippe Gaussier	Autonomous vision-based navigation: Goal-oriented action planning by transient states prediction, cognitive map building, and sensory-motor learning.	IROS	2008	DBLP DOI BibTeX RDF
37	Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan	Transaction Based Modeling and Verification of Hardware Protocols.	FMCAD	2007	DBLP DOI BibTeX RDF
37	Nicolas Cuperlier, Mathias Quoy, Christophe Giovannangeli, Philippe Gaussier, Philippe Laroque	Transition Cells for Navigation and Planning in an Unknown Environment.	SAB	2006	DBLP DOI BibTeX RDF
37	A. Bourguet-Rouger	External Behaviour Equivalence between two Petri Nets.	Concurrency	1988	DBLP DOI BibTeX RDF
33	K. S. Sainarayanan, J. V. R. Ravindra, M. B. Srinivas	Minimizing Simultaneous Switching Noise (SSN) using Modified Odd/Even Bus Invert Method.	DELTA	2006	DBLP DOI BibTeX RDF	Simultaneous Switching Noise (SSN), Odd Simultaneous Transitions (OST), Even Simultaneous Transitions (EST), VLSI, Low power, Coding
33	Carlos Humberto Llanos Quintero, Marius Strum	SINMEF - A Decomposition Based Synthesis Tool for Large FSMs.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF	non-deterministic transitions, redundant transitions, decomposition, FSM, clustering technique
33	Alan L. Yuille, James M. Coughlan	Fundamental Limits of Bayesian Inference: Order Parameters and Phase Transitions for Road Tracking.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	Bayesian inference, phase transitions, curve tracking
33	Ramón Béjar, Felip Manyà	Phase Transitions in the Regular Random 3-SAT Problem.	ISMIS	1999	DBLP DOI BibTeX RDF	regular CNF formulas, benchmarks, satisfiability, threshold, Multiple-valued logics, phase transitions
33	Milos D. Ercegovac, Tomás Lang	Sign detection and comparison networks with a small number of transitions.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	comparison networks, signal transitions, iterative implementation, k-bit modules, digital arithmetic, flip-flops, tree network, sign detection
32	Yu-Ze Wu, Mango Chia-Tso Chao	Scan-Chain Reordering for Minimizing Scan-Shift Power Based on Non-Specified Test Cubes.	VTS	2008	DBLP DOI BibTeX RDF	signal transitions, correlation, reordering, scan-chain
32	Madhu Mutyam	Selective shielding technique to eliminate crosstalk transitions.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	power consumption, Crosstalk, switching activity, bus encoding
32	Alexandre Hardy	Programmable transitions for video stream editing.	Afrigraph	2009	DBLP DOI BibTeX RDF	video shaders, stream processing, video editing
32	Andreas Gegenfurtner, Markus Nivala, Roger Säljö, Erno Lehtinen	Capturing Individual and Institutional Change: Exploring Horizontal versus Vertical Transitions in Technology-Rich Environments.	EC-TEL	2009	DBLP DOI BibTeX RDF	professional learning, technology, expertise, change, human-machine systems
32	Zhiyu Liu, Volkan Kursun	Charge Recycling MTCMOS for Low Energy Active/Sleep Mode Transitions.	ISCAS	2007	DBLP DOI BibTeX RDF
32	Georg Schnitger	Regular Expressions and NFAs Without epsilon-Transitions.	STACS	2006	DBLP DOI BibTeX RDF
32	Juraj Hromkovic, Georg Schnitger	NFAs With and Without epsilon-Transitions.	ICALP	2005	DBLP DOI BibTeX RDF
32	Kerawit Somchaipeng, Jon Sporring, Sven Kreiborg, Peter Johansen	Transitions of Multi-scale Singularity Trees.	DSSCV	2005	DBLP DOI BibTeX RDF
32	Patrick E. McSharry	Detection of Dynamical Transitions in Biomedical Signals Using Nonlinear Methods.	KES	2004	DBLP DOI BibTeX RDF
32	Ulrich Rückert 0002, Stefan Kramer 0001, Luc De Raedt	Phase Transitions and Stochastic Local Search in k-Term DNF Learning.	ECML	2002	DBLP DOI BibTeX RDF
32	Hong Liu 0004, Raymond E. Miller	Generalized fair reachability analysis for cyclic protocols with nondeterministic and internal transitions.	ICNP	1995	DBLP DOI BibTeX RDF
31	Frédéric Lang, Radu Mateescu 0001	Partial Order Reductions Using Compositional Confluence Detection.	FM	2009	DBLP DOI BibTeX RDF
31	Béatrice Bérard, Paul Gastin, Antoine Petit 0001	On the Power of Non-Observable Actions in Timed Automata.	STACS	1996	DBLP DOI BibTeX RDF
28	Emad Elabd, Emmanuel Coquery, Mohand-Said Hacid	Timed Web Services Analysis after Removing Complex Implicit Transitions.	ICWS	2011	DBLP DOI BibTeX RDF	Implicit transitions, Web Services, Business protocols
28	Michiel De Smet, Andreas Weiermann	Phase Transitions for Weakly Increasing Sequences.	CiE	2008	DBLP DOI BibTeX RDF	Ackermann function, weakly increasing sequences, Erdös-Szekeres, Dilworth, phase transitions, Ramsey theory
27	Adam Barclay, Hannes Kaufmann	An Event-Driven, Stochastic, Undirected Narrative (EDSUN) Framework for Interactive Contents.	TIDSE	2006	DBLP DOI BibTeX RDF	stochastic transitions, undirected narrative, augmented reality, framework, grammar, content, event driven, story telling
27	K. Ananda Vardhan, Y. N. Srikant	Transition aware scheduling: increasing continuous idle-periods in resource units.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	leakage energy consumption, instruction scheduling, transitions, functional units, idle periods
27	Jianmin Jiang, Jinzhao Wu	The Preservation of Interleaving Equivalences.	ICECCS	2005	DBLP DOI BibTeX RDF	bundle action transitions, interleaving equivalences, action refinement, Event structures
27	Monika Büscher, Gunnar Kramp, Peter Gall Krogh	In formation: Support for flexibility, mobility, collaboration, and coherence.	Pers. Ubiquitous Comput.	2003	DBLP DOI BibTeX RDF	Emerging practice, Interdisciplinary participatory design, Transitions
27	Shyamanta M. Hazarika, Anthony G. Cohn 0001	Qualitative Spatio-Temporal Continuity.	COSIT	2001	DBLP DOI BibTeX RDF	conceptual neighbourhoods, continuity, transitions, spatio-temporal reasoning, space-time
27	Bert O. de Brock	Declarative Specifications of Complex Transactions.	FMLDO - Selected Papers	1999	DBLP DOI BibTeX RDF	transaction design, database dynamics, declarative specifications of database behavior, (static and dynamic) integrity constraints, (allowable versus available) transitions, cascading deletes, adaptations, semantics, Transactions, transaction models
27	Derek Coleman, Fiona Hayes, Stephen Bear	Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Objectchart transitions, state-changing methods, Objectchart states, Objectchart notions, alarm clock application, subtyping inheritance relationships, Objectchart specifications, formal specification, data structures, object-oriented programming, Statechart, diagrams, state machine, postconditions, object classes, observer methods
27	Arjan Kuijper	Transitions of a Multi-scale Image Hierarchy Tree.	SSVM	2009	DBLP DOI BibTeX RDF
27	Catalin Dima, Ruggero Lanotte	Removing All Silent Transitions from Timed Automata.	FORMATS	2009	DBLP DOI BibTeX RDF
27	Hima B. Puppala, Robert Kozma 0001	Identification of phase transitions in simulated EEG signals.	IJCNN	2008	DBLP DOI BibTeX RDF
27	Alessandro Giua, Daniele Corona, Carla Seatzu	State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	labeled nets, marking estimation, Petri nets, observer
27	Robert Kozma 0001, Marko Puljic, Paul Balister, Béla Bollobás, Walter J. Freeman	Phase transitions in the neuropercolation model of neural populations with mixed local and non-local interactions.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
27	Guangming Xing	A simple way to construct NFA with fewer states and transitions.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF
27	David J. Pinto, Stephanie R. Jones, Tasso J. Kaper, Nancy Kopell	Analysis of State-Dependent Transitions in Frequency and Long-Distance Coordination in a Model Oscillatory Cortical Circuit.	J. Comput. Neurosci.	2003	DBLP DOI BibTeX RDF	gamma, synchrony, rhythms, alpha, neuromodulation, arousal, beta, neocortex
27	Hemantha Kodikara Arachchi, Warnakulasuriya Anil Chandana Fernando	Improving the video quality at scene transitions for MPEG-1/2 video encoders.	ISCAS (2)	2003	DBLP DOI BibTeX RDF
27	Seok-Woo Jang, Gye-Young Kim, Hyung-Il Choi	FAM-Based Fuzzy Inference for Detecting Shot Transitions.	MLDM	2001	DBLP DOI BibTeX RDF
27	Shigeo Takahashi, Yoshiyuki Kokojima, Ryutarou Ohbuchi	Explicit Control of Topological Transitions in Morphing Shapes of 3D Meshes.	PG	2001	DBLP DOI BibTeX RDF	3D mesh morphing, 4D hypersurfaces, topological handles, embeddings, critical points, tetrahedral meshes, key-frames, topological evolutions
27	Seok-Woo Jang, Gye-Young Kim, Hyung-Il Choi	Detecting Shot Transitions for Video Indexing with FAM.	ICANN	2001	DBLP DOI BibTeX RDF
27	Rajeev Murgai, Masahiro Fujita	On Reducing Transitions Through Data Modifications.	DATE	1999	DBLP DOI BibTeX RDF
27	Rajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira	Using Complementation and Resequencing to Minimize Transitions.	DAC	1998	DBLP DOI BibTeX RDF	reconfigurable computing, event-driven simulation
27	Volker Diekert, Paul Gastin, Antoine Petit 0001	Removing epsilon-Transitions in Timed Automata.	STACS	1997	DBLP DOI BibTeX RDF
27	Wim L. G. van Warmerdam, V. Ralph Algazi	Describing 1-D Intensity Transitions with Gaussian Derivatives at the Resolutions Matching the Transition Widths.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	width matching, 1D intensity transition, transition width, zero-crossing slope, pattern recognition, pattern recognition, picture processing, picture processing, edge detection, spatial structure, Gaussian derivatives
26	Antti Valmari	Bisimilarity Minimization in O(m logn) Time.	Petri Nets	2009	DBLP DOI BibTeX RDF	Analysis of reachability graphs, verification of systems
26	Michael Philetus Weller, Brian T. Kirby, H. Benjamin Brown, Mark D. Gross, Seth Copen Goldstein	Design of prismatic cube modules for convex corner traversal in 3D.	IROS	2009	DBLP DOI BibTeX RDF
26	Yuta Yasugahira, Yasuo Horiuchi, Shingo Kuroiwa	Analysis of hand movement variation related to speed in Japanese sign language.	IUCS	2009	DBLP DOI BibTeX RDF	Japanese sign language, transition, hand movement
26	Ralph Ewerth, Bernd Freisleben	Unsupervised Detection of Gradual Video Shot Changes with Motion-Based False Alarm Removal.	ACIVS	2009	DBLP DOI BibTeX RDF	gradual transition detection, gradual video shot changes, video retrieval, Video indexing, shot boundary detection
26	George Jiroveanu, René K. Boel, Behzad Bordbar	On-Line Monitoring of Large Petri Net Models Under Partial Observation.	Discret. Event Dyn. Syst.	2008	DBLP DOI BibTeX RDF	Monitoring, Diagnosis, DES
26	Thomas Ball, Orna Kupferman	Better Under-Approximation of Programs by Hiding Variables.	VMCAI	2007	DBLP DOI BibTeX RDF
26	Sharon Shoham, Orna Grumberg	3-Valued Abstraction: More Precision at Less Cost.	LICS	2006	DBLP DOI BibTeX RDF
26	Unni Narayanan, Ki-Seok Chung, Taewhan Kim	Enhanced bus invert encodings for low-power.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
26	Jesús Bescós, José María Martínez Sanchez, Julián Cabrera, José M. Menéndez, Guillermo Cisneros	Gradual Shot Transition Detection Based on Multidimensional Clustering.	SSIAI	2000	DBLP DOI BibTeX RDF
26	Karl R. P. H. Leung	Extending Statecharts with ad lib and multi-thread features.	APSEC	2000	DBLP DOI BibTeX RDF	ad lib features, multithread features, dynamic reactive systems, software engineering, rules, diagrams, multi-threading, information resources, Web navigation, state diagram
26	Jonathan D. Hay, Joanne M. Atlee	Composing features and resolving interactions.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	modularity, conflict resolution, feature interaction, incremental programming
26	Vijay Sundararajan, Keshab K. Parhi	Reducing bus transition activity by limited weight coding with codeword slimming.	ACM Great Lakes Symposium on VLSI	2000	DBLP DOI BibTeX RDF
26	Walter Vogler	Concurrent Implementation of Asynchronous Transition Systems.	ICATPN	1999	DBLP DOI BibTeX RDF
26	Joseph Sifakis	A General Framework for the Composition of Timed Systems Extended Abstract.	FTRTFT	1998	DBLP DOI BibTeX RDF
22	Ilyes Hamitouche	Machine learning for determining continuous conformational transitions of biomolecular complexes from single-particle cryo-electron microscopy images. (Apprentissage automatique pour la détermination des transitions conformationnelles continues de complexes biomoléculaires à partir des images de cryo microscopie électronique).		2023	RDF
22	Elizabeth Walton	Dance style transitions: from dancers' practice to movement-based technology. (Transitions de styles de danse: de la pratique des danseurs à la technologie basée sur le mouvement).		2022	RDF
22	John R. Fanchi	Neutrino Flavor Transitions as Mass State Transitions.	Symmetry	2019	DBLP DOI BibTeX RDF
22	Mahmudur Rahman Fatmi, Muhammad Ahsanul Habib	Microsimulation of life-stage transitions and residential location transitions within a life-oriented integrated urban modeling system.	Comput. Environ. Urban Syst.	2018	DBLP DOI BibTeX RDF
22	Yong-Jia He, Jing Zhou, Su-Peng Li, Zheng-Hang Sun	Quantum coherence as indicators of quantum phase transitions, factorization and thermal phase transitions in the anisotropic XY model.	Quantum Inf. Process.	2018	DBLP DOI BibTeX RDF
22	Thomas Bellitto	Walks, Transitions and Geometric Distances in Graphs. (Marches, Transitions et Distances Géométriques dans les Graphes).		2018	RDF
22	María-Jesús Lobo	Interactive Transitions for Map Applications. (Transitions interactives pour des applications cartographiques).		2017	RDF
22	Maxime Cordeil	Exploration et exploitation de l'espace de conception des transitions animées en visualisation d'information. (Exploration and Exploitation of the design space of animated transitions in Information Visualization).		2013	RDF
22	Julien Hirel	Codage hippocampique par transitions spatio-temporelles pour l'apprentissage autonome de comportements dans des tâches de navigation sensori-motrice et de planification en robotique. (Hippocampal coding of spatio-temporal transitions for autonomous behavior learning in robotic tasks of sensori-motor navigation and planning).		2011	RDF
22	Nicolas Stouls	Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés. (Symbolic and labelled transitions systems for the design and the validation of refined B models).		2007	RDF
22	Huai-Sheng Huang, Yu-Jen Chen, Shih-Lin Wu, Jen-Jee Chen	A power saving scheduling algorithm for multiple MSSs in large-scale IEEE 802.16e environments.	IWCMC	2010	DBLP DOI BibTeX RDF	IEEE 802.16-2009, multiple MSSs, power saving class (PSC), energy saving, state transitions
22	Shivkumar Sabesan, Niranjan Chakravarthy, Kostas Tsakalis, Panos M. Pardalos, Leonidas D. Iasemidis	Measuring resetting of brain dynamics at epileptic seizures: application of global optimization and spatial synchronization techniques.	J. Comb. Optim.	2009	DBLP DOI BibTeX RDF	Quadratic binary programming, Dynamical Synchronization, Spatiotemporal transitions, Epileptic seizure dynamics
22	Gabriel Istrate, Stefan Boettcher, Allon G. Percus	Spines of random constraint satisfaction problems: definition and connection with computational complexity.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	resolution complexity, constraint satisfaction problems, phase transitions, spine