Search results for "transition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Justinus Pieper	How to Manage Any Transition: History as a Teacher of Leadership Principles, and as a Booster to Student Engineers' Careers, Education and Integration.	ICL (1)	2022	DBLP DOI BibTeX RDF
16	Kyeong-Min Ko, Dohyeon Kwon, Jin-Ku Kang	Design of 20Gb/s PAM4 Transmitter with Maximum Transition Elimination and Transition Compensation Techniques.	ISOCC	2021	DBLP DOI BibTeX RDF
16	Alice Berthier	Transition vers une usine 4.0 grâce à l'utilisation d'outils d'aide à la décision dans le secteur textile. (Transition to a 4.0 Industry through the use of decision support tools in textile in the textile field).		2021	RDF
16	Ginevra Rubino	Laminar-to-Turbulence Transition Modeling of Incompressible Flows ina RANS Framework for 2D and 3D Configurations. (Modélisation de la transition laminaire-turbulent de fluides incompressibles dans un contexte RANS pour des configuraions 2D et 3D).		2021	RDF
16	Isadora Cardoso-Pereira, João B. Borges Neto, Pedro H. Barros, Antonio A. F. Loureiro, Osvaldo Anibal Rosso, Heitor S. Ramos	Leveraging the Self-Transition Probability of Ordinal Pattern Transition Graph for Transportation Mode Classification.	CoRR	2020	DBLP BibTeX RDF
16	Rahul Thakurta, Nils Urbach, Anamitra Basu	Understanding technology transition: a cross-cultural study on the transition from PCs to tablet computers.	Int. J. Technol. Manag.	2020	DBLP DOI BibTeX RDF
16	Chia-Kai Yang, Tanja Blascheck, Chat Wacharamanotham	A Comparison of a Transition-based and a Sequence-based Analysis of AOI Transition Sequences.	ETRA Short Papers	2020	DBLP DOI BibTeX RDF
16	Masahiro Kohjima, Takeshi Kurashima, Hiroyuki Toda	Learning with Labeled and Unlabeled Multi-Step Transition Data for Recovering Markov Chain from Incomplete Transition Data.	IJCAI	2020	DBLP DOI BibTeX RDF
16	Asmaa Achtaich	Graphes "State Constraint Transition" : un langage pour la spécification formelle des systèmes de systèmes dynamiques. ("State Constraint Transition" graph : a language for the formal specification of dynamic systems of systems).		2020	RDF
16	Xin Gong	Gestion de patrimoine immobilier et transition numérique : modélisation des flux de données et mesure des impacts du BIM. (Real estate management and digital transition : modeling of data flows and measurement of BIM impacts).		2020	RDF
16	Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi 0001	Modal transition system encoding of featured transition systems.	J. Log. Algebraic Methods Program.	2019	DBLP DOI BibTeX RDF
16	Nicolas Bacaër, Hisashi Inaba, Ali Moussaoui	Un modèle mathématique pour une transition démographique partielle [A mathematical model for a partial demographic transition].	ARIMA J.	2019	DBLP DOI BibTeX RDF
16	Tomohiko Takagi, Ryo Kurozumi, Tetsuro Katayama	State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing.	PRDC	2019	DBLP DOI BibTeX RDF
16	Emmanouil Giannisakis	Promoting and characterizing the menu to keyboard shortcuts transition. (Favoriser et caractériser la transition des menus vers les raccourcis claviers).		2019	RDF
16	Satoshi Ishii, Satish L. Shinde, Tadaaki Nagao	Photocurrent Generation with Transition Metal Nitrides and Transition Metal Carbides.	ICTON	2018	DBLP DOI BibTeX RDF
16	Irith Pomeranz	Covering undetected transition fault sites with optimistic unspecified transition faults under multicycle tests.	ETS	2018	DBLP DOI BibTeX RDF
16	Guillaume Bégou	Prévision de la transition laminaire-turbulent dans le code elsA par la méthode des paraboles. (Database approach for laminar-turbulent transition prediction in the RANS solver elsA).		2018	RDF
16	José Luis Horta	Innovative paradigms and architecture for future distribution electricity networks supporting the energy transition. (Paradigmes et architectures innovantes pour l'avenir des réseaux électriques de distribution soutenant la transition énergétique).		2018	RDF
16	Jing Wang, Bouna M. Cisse, Derek Brown	Design of a microgrid transition controller I: For smooth transition operation under normal conditions.	ISGT Europe	2017	DBLP DOI BibTeX RDF
16	Abdelaziz Benantar	Optimisation pour des problèmes industriels de tournées de véhicules: vers une transition énergétique. (Optimization for industrial vehicle routinge problems: towards an energy transition).		2017	RDF
16	Lai-Xiang Shan, Zheng Qin	A fast transition of linear temporal logic formulae to transition-based Büchi automata.	Int. J. Comput. Appl. Technol.	2016	DBLP DOI BibTeX RDF
16	Dante Chavarría-Barrientos, Jhonattan Miranda, Arturo Molina 0001	Business Model Transition using the Integrated Product, Process and Manufacturing System Development Reference Model Transition from Product Centric to Product-Service System.	ICE/ITMC	2016	DBLP DOI BibTeX RDF
16	Lauriane Aufrant, Guillaume Wisniewski, François Yvon	Ne nous arrêtons pas en si bon chemin : améliorations de l'apprentissage global d'analyseurs en dépendances par transition (Don't Stop Me Now ! Improved Update Strategies for Global Training of Transition-Based).	JEP-TALN-RECITAL (2)	2016	DBLP BibTeX RDF
16	Arthur Givois, Didier Demolin, Lise Crevier-Buchman, Angélique Amelot	Investigation glottographique et laryngoscopique de la transition entre les deux principaux mécanismes laryngés (Glottographic and laryngoscopic investigation of the transition between the two main laryngeal mechanisms).	JEP-TALN-RECITAL (1)	2016	DBLP BibTeX RDF
16	Tetsuya Matsui, Seiji Yamada	Building Trust in PRVAs by User Inner State Transition through Agent State Transition.	HAI	2016	DBLP DOI BibTeX RDF
16	Natacha Szulga	Etude expérimentale et numérique du contrôle de transition de couche limite par actionneurs à plasma froid surfacique. (Experimental and numerical study of boundary layer transition control by means of cold surface plasma actuators).		2016	RDF
16	Alexandre Minot	Modélisation de la transition laminaire-turbulent par rugosité et bulbe de décollement laminaire sur les aubes de turbomachines. (Modeling of roughness-indused and separation-indused laminar-turbulent transition of boundary layer on turbomachinery blades).		2016	RDF
16	Prasenjit Mondal, Sagnik Sinha	Ordered Field Property for Semi-Markov Games when One Player Controls Transition Probabilities and Transition Times.	IGTR	2015	DBLP DOI BibTeX RDF
16	Raija Järvinen, Uolevi Lehtinen	Service Characteristics in Transition: Influence of Transition from Traditional Health Services to e-Health Services in Service Characteristics.	Int. J. E Serv. Mob. Appl.	2015	DBLP DOI BibTeX RDF
16	Ashwin Srinivasan 0001, Michael Bain 0001, Deepika Vatsa, Sumeet Agarwal	Identification of Transition Models of Biological Systems in the Presence of Transition Noise.	ILP	2015	DBLP DOI BibTeX RDF
16	Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini	From Featured Transition Systems to Modal Transition Systems with Variability Constraints.	SEFM	2015	DBLP DOI BibTeX RDF
16	Raphaël Gross	Prise en compte de la transition laminaire/turbulent dans un code Navier-Stokes éléments finis non structurés. (Automatic prediction of laminar/turbulent transition in an unstructured finite element Navier-Stokes solver).		2015	RDF
16	Hany Fahmy	Modelling nonlinearities in commodity prices using smooth transition regression models with exogenous transition variables.	Stat. Methods Appl.	2014	DBLP DOI BibTeX RDF
16	Takahiro J. Yamaguchi, James S. Tandon, Satoshi Komatsu, Kunihiro Asada	A Novel Circuit for Transition-Edge Detection: Using a Stochastic Comparator Group to Test Transition-Edge.	ATS	2014	DBLP DOI BibTeX RDF
16	Ophélie Lacroix	De l'étiquetage syntaxique pour les grammaires catégorielles de dépendances à l'analyse par transition dans le domaine de l'analyse en dépendances non-projective. (From syntactic tagging for categorial dependency grammars to transition-based parsing in the domain of non-projective dependency parsing).		2014	RDF
16	Adrien Champion	Collaboration de techniques formelles pour la vérification de propriétés de sûreté sur des systèmes de transition. (Collaboration of formal techniques for the verification of safety properties over transition systems).		2014	RDF
16	Bertrand Gazanion	Transition laminaire-turbulent dans un conduit à paroi débitante. (Laminar-turbulent transition in injection-driven flows).		2014	RDF
16	Josephine McMurray, Elisabeth Hicks, Helen Johnson 0003, Jacobi Elliott, Kerry Byrne, Paul Stolee	'Trying to find information is like hating yourself every day': The collision of electronic information systems in transition with patients in transition.	Health Informatics J.	2013	DBLP DOI BibTeX RDF
16	Keith W. Brawner	GIFT Research Transition: An Outline of Options: How transition in GIFT moves through phases of idea, project, paper, and to real-world use.	AIED Workshops	2013	DBLP BibTeX RDF
16	Andrzej Zbrzezny	On Boolean Encodings of Transition Relation for Parallel Compositions of Transition Systems.	CS&P	2013	DBLP BibTeX RDF
16	Boris Karlov, Ophélie Lacroix	Prémices d'une analyse syntaxique par transition pour des structures de dépendances non-projectives (Beginnings of a Transition-Based Parsing for Non-Projectives Dependency Structures) [in French].	JEP-TALN-RECITAL	2012	DBLP BibTeX RDF
16	Kun Ma	Système énergétique territorial face à la montée en puissance des énergies renouvelables : modélisation de la transition appliquée à La Réunion. (Territorial energy system facing the rise of renewable energy: modeling the transition applied to Réunion).		2012	RDF
16	Malika Grim-Yefsah	Gestion des connaissances et externalisation informatique. Apports managériaux et techniques pour l'amélioration du processus de transition : Cas de l'externalisation informatique dans un EPST. (Knowledge Management and IT Outsourcing. Managerial and technical inputs to improve the transition process).		2012	RDF
16	James Miller 0001, James E. Prieger	The Broadcasters' Transition Date Roulette: Strategic Aspects of the DTV Transition.	J. Telecommun. High Technol. Law	2011	DBLP BibTeX RDF
16	Andreas Podelski, Andrey Rybalchenko	Transition Invariants and Transition Predicate Abstraction for Program Termination.	TACAS	2011	DBLP DOI BibTeX RDF
16	Marte A. Ramírez-Ortegón, Ernesto Tapia, Raúl Rojas 0001, Erik Cuevas	Transition thresholds and transition operators for binarization and edge detection.	Pattern Recognit.	2010	DBLP DOI BibTeX RDF
16	Juncheng Wei, Jun Yang 0036	Toda system and cluster phase transition layers in an inhomogeneous phase transition model.	Asymptot. Anal.	2010	DBLP DOI BibTeX RDF
16	Dahud K. Shangodoyin, O. A. Adebile, R. Arnab	Smooth transition modelling: Empirical investigation of logistic and exponential transition functions.	Model. Assist. Stat. Appl.	2008	DBLP DOI BibTeX RDF
16	Dan Lu	Transition I, Transition III.	SIGGRAPH Art Gallery	2006	DBLP DOI BibTeX RDF
16	Corneliu Buda, Abul B. Kazi, Adriana Dinescu, Thomas R. Cundari	Stability Studies of Transition-Metal Linkage Isomers Using Quantum Mechanical Methods. Groups 11 and 12 Transition Metals.	J. Chem. Inf. Model.	2005	DBLP DOI BibTeX RDF
16	Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz	Transition-by-transition FSM traversal for reachability analysis in bounded model checking.	ICCAD	2005	DBLP DOI BibTeX RDF
16	Minh D. Nguyen, Dominik Stoffel, Wolfgang Kunz	Enhancing BMC-based Protocol Verification Using Transition-By-Transition FSM Traversal.	GI Jahrestagung (1)	2005	DBLP BibTeX RDF
16	Roy D. Cideciyan, Thomas Mittelholzer	Average transition density constraints for mitigating transition noise in magnetic recording.	ISIT	2004	DBLP DOI BibTeX RDF
16	Sangyoon Yoon, Byongki Kim, Hyoeun Kim, Jin-Wook Chung	The Implementation of DHCPv6 Server for Transition to IPv6 Environment in DSTM (Dual Stack Transition Mechanism).	International Conference on Internet Computing	2003	DBLP BibTeX RDF
16	Christine Arangio, Tom Chen, Steve Neidhardt	Security Products (Security Pro) Transition Analysis Facility (STAF): Pragmatic concepts for MLS technology transition.	ACSAC	1992	DBLP DOI BibTeX RDF
16	Sunil R. Das, Ping Chao, Zen Chen, Yow Lung Dai, Mrinal K. Das	Transition submatrices in regular homing experiments and identification of sequential machines of known class using direct-sum transition matrices.	Comput. Oper. Res.	1987	DBLP DOI BibTeX RDF
16	Shinsaku Fujita	Description of organic reactions based on imaginary transition structures. 8. Synthesis space attached by a charge space and three-dimensional imaginary transition structures with charges.	J. Chem. Inf. Comput. Sci.	1987	DBLP DOI BibTeX RDF
15	Eike Best, Philippe Darondeau	A decomposition theorem for finite persistent transition systems.	Acta Informatica	2009	DBLP DOI BibTeX RDF
15	Alberto Bosio, Patrick Girard 0001, Serge Pravossoudovitch, Paolo Bernardi, Matteo Sonza Reorda	An efficient fault simulation technique for transition faults in non-scan sequential circuits.	DDECS	2009	DBLP DOI BibTeX RDF
15	Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel	A Sound Observational Semantics for Modal Transition Systems.	ICTAC	2009	DBLP DOI BibTeX RDF
15	Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink	Rate-Based Transition Systems for Stochastic Process Calculi.	ICALP (2)	2009	DBLP DOI BibTeX RDF
15	Amaia Aizpurua, Myriam Arrue, Markel Vigo, Julio Abascal	Transition of accessibility evaluation tools to new standards.	W4A	2009	DBLP DOI BibTeX RDF	web accessibility, guidelines, automatic evaluation
15	Bartek Klin	Structural Operational Semantics for Weighted Transition Systems.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
15	Hiroto Sakai, Yusuke Ogura, Jun Tanida	Positional State Representation and Its Transition Control for Photonic DNA Automaton.	DNA	2009	DBLP DOI BibTeX RDF
15	Javier Miguel Sastre-Martínez	Efficient Parsing Using Filtered-Popping Recursive Transition Networks.	CIAA	2009	DBLP DOI BibTeX RDF
15	Grace Mbipom, Simon Harper	The transition from web content accessibility guidelines 1.0 to 2.0: what this means for evaluation and repair.	SIGDOC	2009	DBLP DOI BibTeX RDF	WCAG 1.0 and 2.0, automated testing, evaluation tools
15	Hayssam Soueidan, Grégoire Sutre, Macha Nikolski	Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models.	CMSB	2009	DBLP DOI BibTeX RDF
15	Ou Wei, Arie Gurfinkel, Marsha Chechik	Mixed Transition Systems Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF
15	Pierre Soille, Jacopo Grazzini	Constrained Connectivity and Transition Regions.	ISMM	2009	DBLP DOI BibTeX RDF
15	Gift Dumedah, Nadine Schuurman	Minimizing the effects of inaccurate sediment description in borehole data using rough sets and transition probability.	J. Geogr. Syst.	2008	DBLP DOI BibTeX RDF	JEL Classification C00
15	Irith Pomeranz, Sudhakar M. Reddy	Improving the Transition Fault Coverage of Functional Broadside Tests by Observation Point Insertion.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
15	Young Choon Lee, Albert Y. Zomaya	A Novel State Transition Method for Metaheuristic-Based Scheduling in Heterogeneous Computing Systems.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF
15	Hangkyu Lee, Irith Pomeranz, Sudhakar M. Reddy	On Complete Functional Broadside Tests for Transition Faults.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
15	Efthymia Tsamoura, Vasileios Mezaris, Ioannis Kompatsiaris	Gradual transition detection using color coherence and other criteria in a video shot meta-segmentation framework.	ICIP	2008	DBLP DOI BibTeX RDF
15	Leonard Jaillet, Juan Cortés, Thierry Siméon	Transition-based RRT for path planning in continuous cost spaces.	IROS	2008	DBLP DOI BibTeX RDF
15	Zheng Wu, H. Neal Bertram, Paul H. Siegel, Jack K. Wolf	Nonlinear Transition Shift and Write Precompensation in Perpendicular Magnetic Recording.	ICC	2008	DBLP DOI BibTeX RDF
15	Xinguo Yu, Yiqun Li, Wei San Lee	Robust time recognition of video clock based on digit transition detection and digit-sequence recognition.	ICPR	2008	DBLP DOI BibTeX RDF
15	Lixian Zhang, El Kébir Boukas, Luc Baron	Fault detection for discrete-time Markov jump linear systems with partially known transition probabilities.	CDC	2008	DBLP DOI BibTeX RDF
15	Jan Tretmans	Model Based Testing with Labelled Transition Systems.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
15	Iwan Tabakow	Using Place and Transition Fault Net Models for Sequential Diagnosis Time Assessment in Discrete Event Systems.	IEA/AIE	2008	DBLP DOI BibTeX RDF
15	Vassilis Cutsuridis, Stuart Cobb, Bruce P. Graham	A CA2+ Dynamics Model of the STDP Symmetry-to-Asymmetry Transition in the CA1 Pyramidal Cell of the Hippocampus.	ICANN (2)	2008	DBLP DOI BibTeX RDF	CA1 pyramidal neuron, LTD, computer model, Hippocampus, STDP, LTP, GABA, calcium
15	Victor J. Martínez, Abraham Gutiérrez, Luis Fernando de Mingo López	Circuit FPGA for Active Rules Selection in a Transition P System Region.	ICONIP (2)	2008	DBLP DOI BibTeX RDF
15	Afshin Abdollahi, Farzan Fallah, Massoud Pedram	A Robust Power Gating Structure and Power Mode Transition Strategy for MTCMOS Design.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
15	Ryan Farrell, David S. Doermann, Larry S. Davis	Learning Higher-order Transition Models in Medium-scale Camera Networks.	ICCV	2007	DBLP DOI BibTeX RDF
15	Toshihiko Yamakami	Command Transition Probability Analysis on Mobile Internet Command Sequences.	NBiS	2007	DBLP DOI BibTeX RDF
15	Edin Arnautovic, Hermann Kaindl, Jürgen Falb, Roman Popp, Alexander Szep	Gradual transition towards autonomic software systems based on high-level communication specification.	SAC	2007	DBLP DOI BibTeX RDF	autonomic computing, interaction modeling, self-managing systems
15	Javier Miguel Sastre-Martínez, Mikel L. Forcada	Efficient Parsing Using Recursive Transition Networks with Output.	LTC	2007	DBLP DOI BibTeX RDF
15	Giordano Fusco, Eric Bach 0001	Phase Transition of Multivariate Polynomial Systems.	TAMC	2007	DBLP DOI BibTeX RDF
15	Li Pan, Weidong Zhao, Zhicheng Wang, Gang Wei, Shumei Wang	On Computation Complexity of the Concurrently Enabled Transition Set Problem.	TAMC	2007	DBLP DOI BibTeX RDF
15	TzuYen Wong, Peter Kovesi, Amitava Datta	Projective Transformations for Image Transition Animations.	ICIAP	2007	DBLP DOI BibTeX RDF
15	Harald Fecher, Immo Grabe	Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.	FSEN	2007	DBLP DOI BibTeX RDF
15	Yasuo Itoh, Mayumi Oyama	Does the transition of the interval in perceptional alternation have a chaotic rhythm?	SMC	2007	DBLP DOI BibTeX RDF
15	Michele Nasu Tomiyama, Stéphane Julia	Modelling biological processes using differential predicate transition Petri nets.	SMC	2007	DBLP DOI BibTeX RDF
15	Yanlin Guo, Ying Shan, Harpreet S. Sawhney, Rakesh Kumar 0001	PEET: Prototype Embedding and Embedding Transition for Matching Vehicles over Disparate Viewpoints.	CVPR	2007	DBLP DOI BibTeX RDF
15	Mariëlle den Hengst, Lis Weimar, Stephan O. den Hengst	How to increase GSS transition? A case study at a Dutch Police Force.	HICSS	2007	DBLP DOI BibTeX RDF
15	Rohit Chadha, Mahesh Viswanathan 0001	Decidability Results for Well-Structured Transition Systems with Auxiliary Storage.	CONCUR	2007	DBLP DOI BibTeX RDF
15	Baohua Li, Jennie Si	Approximate Robust Policy Iteration for Discounted Infinite-Horizon Markov Decision Processes with Uncertain Stationary Parametric Transition Matrices.	IJCNN	2007	DBLP DOI BibTeX RDF
15	Nick Tredennick	Computing in transition.	HPRCTA	2007	DBLP DOI BibTeX RDF
15	Lixin Ding, Sanyou Zeng	About the Limit Behaviors of the Transition Operators Associated with EAs.	ISICA	2007	DBLP DOI BibTeX RDF
15	Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin	Comparing the Expressive Power of Well-Structured Transition Systems.	CSL	2007	DBLP DOI BibTeX RDF	well-structured systems, language theory, Expressiveness